Showing 1–50 of 73 results for author: Schwede, K

The Briançon-Skoda Theorem via weak functoriality of big Cohen-Macaulay algebras

Authors: Sandra Rodríguez-Villalobos, Karl Schwede

Abstract: We prove that, given a sufficiently functorial assignment from rings to big Cohen-Macaulay algebras $R \mapsto B$, that the associated big Cohen-Macaulay closure operation on ideals $I \mapsto I B \cap R$ necessarily satisfies the Briançon-Skoda type property. The proof combines arguments of Lipman-Teissier, Hochster, Ma, and Hochster-Huneke. Specializing to mixed characteristic, and utilizing a r… ▽ More We prove that, given a sufficiently functorial assignment from rings to big Cohen-Macaulay algebras $R \mapsto B$, that the associated big Cohen-Macaulay closure operation on ideals $I \mapsto I B \cap R$ necessarily satisfies the Briançon-Skoda type property. The proof combines arguments of Lipman-Teissier, Hochster, Ma, and Hochster-Huneke. Specializing to mixed characteristic, and utilizing a result of Bhatt on absolute integral closures, this recovers a slight strengthening of a result of Heitmann. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Comments: 13 pages, comments welcome

MSC Class: 13B22; 13A30; 13D22; 14B05; 13A35

Finite generation of split F-regular monoid algebras

Authors: Rankeya Datta, Karl Schwede, Kevin Tucker

Abstract: Let $S$ be a submonoid of a free Abelian group of finite rank. We show that if $k$ is a field of prime characteristic such that the monoid $k$-algebra $k[S]$ is split $F$-regular, then $k[S]$ is a finitely generated $k$-algebra, or equivalently, that $S$ is a finitely generated monoid. Split $F$-regular rings are possibly non-Noetherian or non-$F$-finite rings that satisfy the defining property of… ▽ More Let $S$ be a submonoid of a free Abelian group of finite rank. We show that if $k$ is a field of prime characteristic such that the monoid $k$-algebra $k[S]$ is split $F$-regular, then $k[S]$ is a finitely generated $k$-algebra, or equivalently, that $S$ is a finitely generated monoid. Split $F$-regular rings are possibly non-Noetherian or non-$F$-finite rings that satisfy the defining property of strongly $F$-regular rings from the theories of tight closure and $F$-singularities. Our finite generation result provides evidence in favor of the conjecture that split $F$-regular rings in function fields over $k$ have to be Noetherian. The key tool is Diophantine approximation from convex geometry. △ Less

Submitted 24 April, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

Comments: 50 pages, comments welcome, an application added, other minor changes

MSC Class: 13A35; 14M25; 52B20; 20M25

Test ideals in mixed characteristic: a unified theory up to perturbation

Authors: Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub Witaszek

Abstract: Let $X$ be an integral scheme of finite type over a complete DVR of mixed characteristic. We provide a definition of a test ideal which agrees with the multiplier ideal after inverting $p$, can be computed from a sufficiently large alteration, agrees with previous mixed characteristic BCM test ideals after localizing and completing at any point of residue characteristic $p$ (up to small perturbati… ▽ More Let $X$ be an integral scheme of finite type over a complete DVR of mixed characteristic. We provide a definition of a test ideal which agrees with the multiplier ideal after inverting $p$, can be computed from a sufficiently large alteration, agrees with previous mixed characteristic BCM test ideals after localizing and completing at any point of residue characteristic $p$ (up to small perturbation), and which satisfies the full suite of expected properties of a multiplier or test ideal. This object is obtained via the $p$-adic Riemann-Hilbert functor. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Comments: 99 pages, comments welcome

MSC Class: 14F18; 13A35

Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups

Authors: Hanlin Cai, Seungsu Lee, Linquan Ma, Karl Schwede, Kevin Tucker

Abstract: We define a (perfectoid) mixed characteristic version of $F$-signature and Hilbert-Kunz multiplicity by utilizing the perfectoidization functor of Bhatt-Scholze and Faltings' normalized length (also developed in the work of Gabber-Ramero). We show that these definitions coincide with the classical theory in equal characteristic $p > 0$. We prove that a ring is regular if and only if either its per… ▽ More We define a (perfectoid) mixed characteristic version of $F$-signature and Hilbert-Kunz multiplicity by utilizing the perfectoidization functor of Bhatt-Scholze and Faltings' normalized length (also developed in the work of Gabber-Ramero). We show that these definitions coincide with the classical theory in equal characteristic $p > 0$. We prove that a ring is regular if and only if either its perfectoid signature or perfectoid Hilbert-Kunz multiplicity is 1 and we show that perfectoid Hilbert-Kunz multiplicity characterizes BCM closure and extended plus closure of $\mathfrak{m}$-primary ideals. We demonstrate that perfectoid signature detects BCM-regularity and transforms similarly to $F$-signature or normalized volume under quasi-étale maps. As a consequence, we prove that BCM-regular rings have finite local étale fundamental group and also finite torsion part of their divisor class groups. Finally, we also define a mixed characteristic version of relative rational signature, and show it characterizes BCM-rational singularities. △ Less

Submitted 10 January, 2023; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: 75 pages, applications and examples added, other minor changes, comments welcome

MSC Class: 14G45; 13A35; 14F35; 14B05; 13D22; 14F18; 13C20; 14C20; 14D10; 11G99

Global generation of test ideals in mixed characteristic and applications

Authors: Christopher Hacon, Alicia Lamarche, Karl Schwede

Abstract: Suppose that $X$ is an integral scheme (quasi-)projective over a complete local ring of mixed characteristic. Using ideas of Takamatsu-Yoshikawa and Bhatt-Ma-et. al, we define a notion of a $+$-test ideal on $X$, including for divisors and linear series. We obtain global generation results in this setting that generalize the well known global generation results obtained via multiplier ideal sheaf… ▽ More Suppose that $X$ is an integral scheme (quasi-)projective over a complete local ring of mixed characteristic. Using ideas of Takamatsu-Yoshikawa and Bhatt-Ma-et. al, we define a notion of a $+$-test ideal on $X$, including for divisors and linear series. We obtain global generation results in this setting that generalize the well known global generation results obtained via multiplier ideal sheaf techniques in characteristic $0$ and via test ideals in characteristic $p>0$. We also obtain applications to the order of vanishing of linear series and to the diminished base locus in mixed characteristic similar to results of Ein-Lazarsfeld-Mustata-Nakamaye-Popa, Nakayama, and Mustata in the equal characteristic case. △ Less

Submitted 25 December, 2022; v1 submitted 27 June, 2021; originally announced June 2021.

Comments: 35 pages, references added, small changes and corrections

MSC Class: 14F18; 14C20; 14F17; 14B05; 13A35

Maximal Cohen-Macaulay complexes and their uses: A partial survey

Authors: Srikanth B. Iyengar, Linquan Ma, Karl Schwede, Mark E. Walker

Abstract: This work introduces a notion of complexes of maximal depth, and maximal Cohen-Macaulay complexes, over a commutative noetherian local ring. The existence of such complexes is closely tied to the Hochster's ``homological conjectures", most of which were recently settled by André. Various constructions of maximal Cohen-Macaulay complexes are described, and their existence is applied to give new pro… ▽ More This work introduces a notion of complexes of maximal depth, and maximal Cohen-Macaulay complexes, over a commutative noetherian local ring. The existence of such complexes is closely tied to the Hochster's ``homological conjectures", most of which were recently settled by André. Various constructions of maximal Cohen-Macaulay complexes are described, and their existence is applied to give new proofs of some of the homological conjectures, and also of certain results in birational geometry. △ Less

Submitted 15 June, 2021; originally announced June 2021.

Comments: 20 pages

MSC Class: 13D02 (primary); 13D22; 13D45; 14E15; 14F18 (secondary)

RandomPoints package for Macaulay2

Authors: Sankhaneel Bisui, Zhan Jiang, Sarasij Maitra, Thái Thành Nguyên, Karl Schwede

Abstract: We present {\tt RandomPoints}, a package in \emph{Macaulay2} designed mainly to identify rational and geometric points in a variety over a finite field. We provide tools to estimate the dimension of a variety. We also present methods to obtain non-vanishing minors of a given size in a given matrix, by evaluating the matrix at a point. We present {\tt RandomPoints}, a package in \emph{Macaulay2} designed mainly to identify rational and geometric points in a variety over a finite field. We provide tools to estimate the dimension of a variety. We also present methods to obtain non-vanishing minors of a given size in a given matrix, by evaluating the matrix at a point. △ Less

Submitted 19 July, 2021; v1 submitted 23 January, 2021; originally announced January 2021.

Comments: 10 pages, comments welcome. Package by Sankhaneel Bisui, Zhan Jiang, Sarasij Maitra, Thái Thành Nguyên, Frank-Olaf Schreyer, Karl Schwede. The current version can be found here https://github.com/Macaulay2/Workshop-2020-Cleveland/blob/FastLinAlg/FastLinAlg/M2/RandomPoints.m2

MSC Class: 14G05; 13C99

Journal ref: J. Softw. Alg. Geom. 13 (2023) 33-43

Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic

Authors: Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub Witaszek

Abstract: We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita's conjecture to mixed characteristic. We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita's conjecture to mixed characteristic. △ Less

Submitted 5 December, 2022; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: 132 pages, numerous minor changes, corrections, more detailed explanations and expositional improvements

MSC Class: 14E30; 14J30; 14F18; 14B05; 14D10; 13A35; 13D22; 11G99

Compatible ideals in Gorenstein rings

Authors: Thomas Polstra, Karl Schwede

Abstract: Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$ such that the ideal $I$ is the sum of images of all $R$-linear maps $S\to R$. Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$ such that the ideal $I$ is the sum of images of all $R$-linear maps $S\to R$. △ Less

Submitted 7 November, 2022; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: Previous versions of the article proved the main theorem under the additional assumption that the $\mathbb{Q}$-Gorenstein index was relatively prime to the characteristic of $R$. Edits to the proof of the main theorem have been made

FastMinors package for Macaulay2

Authors: Boyana Martinova, Marcus Robinson, Karl Schwede, Yuhui Yao

Abstract: In this article, we present FastMinors.m2, a package in Macaulay2 designed to introduce new methods focused on computations in function field linear algebra. Some key functionality that our package offers includes: finding a submatrix of a given rank in a provided matrix (when present), verifying that a ring is regular in codimension n, recursively computing the ideals of minors in a matrix, and f… ▽ More In this article, we present FastMinors.m2, a package in Macaulay2 designed to introduce new methods focused on computations in function field linear algebra. Some key functionality that our package offers includes: finding a submatrix of a given rank in a provided matrix (when present), verifying that a ring is regular in codimension n, recursively computing the ideals of minors in a matrix, and finding an upper bound of the projective dimension of a module. △ Less

Submitted 2 August, 2021; v1 submitted 13 February, 2020; originally announced February 2020.

Comments: Package title changed. 18 pages. New sections on limits of the package have been added. The lastest version of the package is avaiable at https://github.com/kschwede/M2/blob/master/M2/Macaulay2/packages/FastMinors.m2

MSC Class: 13D02 14B05

Journal ref: J. Softw. Alg. Geom. 13 (2023) 13-31

Symbolic power containments in singular rings in positive characteristic

Authors: Eloísa Grifo, Linquan Ma, Karl Schwede

Abstract: The containment problem for symbolic and ordinary powers of ideals asks for what values of $a$ and $b$ we have $I^{(a)} \subseteq I^b$. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to h… ▽ More The containment problem for symbolic and ordinary powers of ideals asks for what values of $a$ and $b$ we have $I^{(a)} \subseteq I^b$. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to hold for interesting classes of ideals - although it does not hold in general. In this paper, we develop a Fedder (respectively, Glassbrenner) type criterion for $F$-purity (respectively, strong $F$-regularity) for ideals of finite projective dimension over $F$-finite Gorenstein rings and use our criteria to extend the prime characteristic results of Grifo-Huneke to singular ambient rings. For ideals of infinite projective dimension, we prove that a variation of the containment still holds, in the spirit of work by Hochster-Huneke and Takagi. △ Less

Submitted 14 August, 2022; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: Final version

MSC Class: 13A35; 14B05; 14H20; 14M05; 13D99

An analog of adjoint ideals and PLT singularities in mixed characteristic

Authors: Linquan Ma, Karl Schwede, Kevin Tucker, Joe Waldron, Jakub Witaszek

Abstract: We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them… ▽ More We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic PLT and purely $F$-regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristic. We also use our theory to prove that two-dimensional KLT singularities are BCM-regular if the residue characteristic $p>5$, which implies an inversion of adjunction for three-dimensional PLT pairs of residue characteristic $p>5$. In particular, divisorial centers of PLT pairs in dimension three are normal when $p > 5$. Furthermore, in the appendix we provide a streamlined construction of perfectoid big Cohen-Macaulay algebras and show new functoriality properties for them using the perfectoidization functor of Bhatt and Scholze. △ Less

Submitted 15 May, 2022; v1 submitted 31 October, 2019; originally announced October 2019.

Comments: Missing hypothesis on residue characteristic added to Theorem 5.1

MSC Class: 14F18; 14B05; 13D22; 13A35; 14D10; 11G99

Journal ref: J. Algebraic Geom. 31 (2022), 497-559

RationalMaps, a package for Macaulay2

Authors: C. J. Bott, S. Hamid Hassanzadeh, Karl Schwede, Daniel Smolkin

Abstract: This paper describes the RationalMaps package for Macaulay2. This package provides functionality for computing several aspects of rational maps such as whether a map is birational, or a closed embedding. This paper describes the RationalMaps package for Macaulay2. This package provides functionality for computing several aspects of rational maps such as whether a map is birational, or a closed embedding. △ Less

Submitted 30 March, 2022; v1 submitted 12 August, 2019; originally announced August 2019.

Comments: 9 pages. The current version of the package (and other necessary files, such as the latest version of FastMinors.m2) can be accessed at https://github.com/Macaulay2/Workshop-2016-Utah/tree/master/RationalMaps

MSC Class: 14E05; 14E07; 13P99; 13A30

Journal ref: J. Softw. Alg. Geom. 12 (2022) 17-26

Covers of rational double points in mixed characteristic

Authors: Javier Carvajal-Rojas, Linquan Ma, Thomas Polstra, Karl Schwede, Kevin Tucker

Abstract: We further the classification of rational surface singularities. Suppose $(S, \mathfrak{n}, \mathcal{k})$ is a strictly Henselian regular local ring of mixed characteristic $(0, p > 5)$. We classify functions $f$ for which $S/(f)$ has an isolated rational singularity at the maximal ideal $\mathfrak{n}$. The classification of such functions are used to show that if $(R, \mathfrak{m}, \mathcal{k})$… ▽ More We further the classification of rational surface singularities. Suppose $(S, \mathfrak{n}, \mathcal{k})$ is a strictly Henselian regular local ring of mixed characteristic $(0, p > 5)$. We classify functions $f$ for which $S/(f)$ has an isolated rational singularity at the maximal ideal $\mathfrak{n}$. The classification of such functions are used to show that if $(R, \mathfrak{m}, \mathcal{k})$ is an excellent, strictly Henselian, Gorenstein rational singularity of dimension $2$ and mixed characteristic $(0, p > 5)$, then there exists a split finite cover of $\mbox{Spec}(R)$ by a regular scheme. We give an application of our result to the study of $2$-dimensional BCM-regular singularities in mixed characteristic. △ Less

Submitted 16 August, 2022; v1 submitted 4 August, 2019; originally announced August 2019.

Comments: Comments welcome!

Journal ref: J. Singul. 23 (2021), 127--150

The FrobeniusThresholds package for Macaulay2

Authors: Daniel J. Hernández, Karl Schwede, Pedro Teixeira, Emily E. Witt

Abstract: This article describes the \emph{Macaulay2} package \emph{FrobeniusThresholds}, designed to estimate and calculate $F$-pure thresholds, more general $F$-thresholds, and related numerical invariants arising in the study of singularities in prime characteristic commutative algebra. This article describes the \emph{Macaulay2} package \emph{FrobeniusThresholds}, designed to estimate and calculate $F$-pure thresholds, more general $F$-thresholds, and related numerical invariants arising in the study of singularities in prime characteristic commutative algebra. △ Less

Submitted 22 June, 2019; originally announced June 2019.

Comments: 15 pages. This paper is a companion to the FrobeniusThresholds package, previously called FThresholds. The version of the package this paper refers to is available at (https://github.com/kschwede/Workshop-2017-Berkeley/tree/master/Fsing/FrobeniusThresholdsPackage), and it should also be available in Macaulay2 version 1.15 and later

MSC Class: 13B05; 14F18

Journal ref: J. Softw. Alg. Geom. 11 (2021) 25-39

A Kunz-type characterization of regular rings via alterations

Authors: Linquan Ma, Karl Schwede

Abstract: We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $π: X \to Spec R$, we have that $R π_* \mathcal{O}_X$ has finite (equivalently zero in characteristic zero) projective dimension. We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $π: X \to Spec R$, we have that $R π_* \mathcal{O}_X$ has finite (equivalently zero in characteristic zero) projective dimension. △ Less

Submitted 22 June, 2019; v1 submitted 18 October, 2018; originally announced October 2018.

Comments: 7 pages, minor changes and clarifications of the explanations

MSC Class: 14F18; 13A35; 14F17; 13D05; 13D45; 14B15; 14B05

The TestIdeals package for Macaulay2

Authors: Alberto F. Boix, Daniel J. Hernández, Zhibek Kadyrsizova, Mordechai Katzman, Sara Malec, Marcus Robinson, Karl Schwede, Daniel Smolkin, Pedro Teixeira, Emily E. Witt

Abstract: This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map. This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map. △ Less

Submitted 22 June, 2019; v1 submitted 5 October, 2018; originally announced October 2018.

Comments: 21 pages, minor improvements throughout. This paper is the companion to the the latest version of the package (https://github.com/kschwede/Workshop-2017-Berkeley/tree/master/Fsing/TestIdealsPackage), which should be included in 1.15 of Macaulay2 and later

MSC Class: 13A35; 14F18

Journal ref: J. Softw. Alg. Geom. 9 (2019) 89-110

$F$-signature under birational morphisms

Authors: Linquan Ma, Thomas Polstra, Karl Schwede, Kevin Tucker

Abstract: We study $F$-signature under proper birational morphisms $π: Y \to X$, showing that $F$-signature strictly increases for small morphisms or if $ K_Y \geq π^*K_X$. In certain cases, we can even show that the $F$-signature of $Y$ is at least twice as that of $X$. We also provide examples of $F$-signature drop** and Hilbert-Kunz multiplicity increasing under birational maps without these hypotheses… ▽ More We study $F$-signature under proper birational morphisms $π: Y \to X$, showing that $F$-signature strictly increases for small morphisms or if $ K_Y \geq π^*K_X$. In certain cases, we can even show that the $F$-signature of $Y$ is at least twice as that of $X$. We also provide examples of $F$-signature drop** and Hilbert-Kunz multiplicity increasing under birational maps without these hypotheses. △ Less

Submitted 28 September, 2018; originally announced October 2018.

Comments: 15 pages, comments welcome

MSC Class: 14F18; 13A35; 14J17; 14B05

Journal ref: Forum of Mathematics, Sigma 7 (2019) e11

Seminormalization package for Macaulay2

Authors: Karl Schwede, Bernard Serbinowski

Abstract: This note describes a package for computing seminormalization of rings within Macaulay2. This note describes a package for computing seminormalization of rings within Macaulay2. △ Less

Submitted 24 September, 2018; originally announced September 2018.

Comments: 6 pages, comments welcome, the latest version of the package is available in https://github.com/kschwede/M2/blob/master/M2/Macaulay2/packages/Seminormalization.m2

MSC Class: 14M05; 13F45

Journal ref: J. Softw. Alg. Geom. 10 (2020) 1-7

Divisor package for Macaulay2

Authors: Karl Schwede, Zhaoning Yang

Abstract: This note describes a Macaulay2 package for handling divisors. Group operations for divisors are included. There are methods for converting divisors to reflexive or invertible sheaves. Additionally, there are methods for checking whether divisors are Cartier, $Q$-Cartier, simple normal crossings, generate base point free linear systems, or satisfy numerous other conditions. This note describes a Macaulay2 package for handling divisors. Group operations for divisors are included. There are methods for converting divisors to reflexive or invertible sheaves. Additionally, there are methods for checking whether divisors are Cartier, $Q$-Cartier, simple normal crossings, generate base point free linear systems, or satisfy numerous other conditions. △ Less

Submitted 5 September, 2018; originally announced September 2018.

Comments: 7 pages, to appear in the Journal of Software for Algebra and Geometry. The latest version of the package is available at: https://github.com/kschwede/M2/blob/master/M2/Macaulay2/packages/Divisor.m2

MSC Class: 14C20

Journal ref: J. Softw. Algebra Geom. 8 (2018), 87-94

Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras

Authors: Linquan Ma, Karl Schwede

Abstract: We utilize recent results of André and Gabber on the existence of weakly functorial integral perfectoid big Cohen-Macaulay (BCM) algebras to study singularities of local rings in mixed characteristic. In particular, we introduce a mixed characteristic BCM-variant of rational/$F$-rational singularities, of log terminal/$F$-regular singularities and of multiplier/test ideals of divisor pairs. We pro… ▽ More We utilize recent results of André and Gabber on the existence of weakly functorial integral perfectoid big Cohen-Macaulay (BCM) algebras to study singularities of local rings in mixed characteristic. In particular, we introduce a mixed characteristic BCM-variant of rational/$F$-rational singularities, of log terminal/$F$-regular singularities and of multiplier/test ideals of divisor pairs. We prove a number of results about these objects including a restriction theorem for perfectoid BCM multiplier/test ideals and deformation statements for perfectoid BCM-regular and BCM-rational singularities. As an application, we obtain results on the behavior of $F$-regular and $F$-rational singularities in arithmetic families. △ Less

Submitted 24 October, 2020; v1 submitted 25 June, 2018; originally announced June 2018.

Comments: 55 pages, minor corrections and improvements throughout, updated references. To appear in Duke Mathematical Journal

MSC Class: 13D22; 13A35; 14F18; 14B05; 14D10; 11G99

Bertini Theorems for $F$-signature and Hilbert-Kunz multiplicity

Authors: Javier Carvajal-Rojas, Karl Schwede, Kevin Tucker

Abstract: We show that Bertini theorems hold for $F$-signature and Hilbert--Kunz multiplicity. In particular, if $X \subseteq \mathbb{P}^n$ is normal and quasi-projective with $F$-signature greater than $λ$ (respectively the Hilbert--Kunz multiplicity is less than $λ$) at all points $x \in X$, then for a general hyperplane $H \subseteq \mathbb{P}^n$ the $F$-signature (respectively Hilbert--Kunz multiplicity… ▽ More We show that Bertini theorems hold for $F$-signature and Hilbert--Kunz multiplicity. In particular, if $X \subseteq \mathbb{P}^n$ is normal and quasi-projective with $F$-signature greater than $λ$ (respectively the Hilbert--Kunz multiplicity is less than $λ$) at all points $x \in X$, then for a general hyperplane $H \subseteq \mathbb{P}^n$ the $F$-signature (respectively Hilbert--Kunz multiplicity) of $X \cap H$ is greater than $λ$ (respectively less than $λ$) at all points $x \in X \cap H$. △ Less

Submitted 12 February, 2021; v1 submitted 3 October, 2017; originally announced October 2017.

Comments: 23 pages, typos corrected and proofs improved, to appear in Math. Z

MSC Class: 14F18; 13A35; 14B05; 14J17

Journal ref: Math. Z. 299 (2021), no. 1-2, 1131--1153

Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers

Authors: Linquan Ma, Karl Schwede

Abstract: Using perfectoid algebras, we introduce a mixed characteristic analog of the multiplier ideal, respectively test ideal, from characteristic zero, respectively $p > 0$, in the case of a regular ambient ring. We prove several properties about this ideal such as subadditivity. We then use these techniques to derive a uniform bound on the growth of symbolic powers of radical ideals in all excellent re… ▽ More Using perfectoid algebras, we introduce a mixed characteristic analog of the multiplier ideal, respectively test ideal, from characteristic zero, respectively $p > 0$, in the case of a regular ambient ring. We prove several properties about this ideal such as subadditivity. We then use these techniques to derive a uniform bound on the growth of symbolic powers of radical ideals in all excellent regular rings. The analogous result was shown in equal characteristic by Ein-Lazarsfeld-Smith and Hochster-Huneke. △ Less

Submitted 28 July, 2018; v1 submitted 5 May, 2017; originally announced May 2017.

Comments: 35 pages, numerous clarified proofs and expositional improvements throughout. To appear in Inventiones Mathematicae

MSC Class: 13B99; 13A35; 13D22; 14F18; 14B05; 13D45; 14B15

Journal ref: Invent. Math. 214 (2018), no. 2, 913-955

Étale fundamental groups of strongly $F$-regular schemes

Authors: Bhargav Bhatt, Javier Carvajal-Rojas, Patrick Graf, Karl Schwede, Kevin Tucker

Abstract: We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and étale-in-codimension-one cover $\widetilde X \to X$ such that the étale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree. Equivalently, every finite étale cover of $\widetilde X_{reg}$ extends to a finite étale cover of $\widetilde X$. This is analogous to a result for complex klt varieties… ▽ More We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and étale-in-codimension-one cover $\widetilde X \to X$ such that the étale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree. Equivalently, every finite étale cover of $\widetilde X_{reg}$ extends to a finite étale cover of $\widetilde X$. This is analogous to a result for complex klt varieties by Greb, Kebekus and Peternell. △ Less

Submitted 11 November, 2016; originally announced November 2016.

Comments: 10 pages, comments welcome

MSC Class: 14F35; 14F20; 14E20; 14F18; 14B05; 13A35; 13B40

Journal ref: Int. Math. Res. Not. IMRN 2019, no. 14, 4325-4339

Fundamental groups of $F$-regular singularities via $F$-signature

Authors: Javier Carvajal-Rojas, Karl Schwede, Kevin Tucker

Abstract: We prove that the local etale fundamental group of a strongly $F$-regular singularity is finite (and likewise for the étale fundamental group of the complement of a codimension $\geq 2$ set), analogous to results of Xu and Greb-Kebekus-Peternell for KLT singularities in characteristic zero. In fact our result is effective, we show that the reciprocal of the $F$-signature of the singularity gives a… ▽ More We prove that the local etale fundamental group of a strongly $F$-regular singularity is finite (and likewise for the étale fundamental group of the complement of a codimension $\geq 2$ set), analogous to results of Xu and Greb-Kebekus-Peternell for KLT singularities in characteristic zero. In fact our result is effective, we show that the reciprocal of the $F$-signature of the singularity gives a bound on the size of this fundamental group. To prove these results and their corollaries, we develop new transformation rules for the $F$-signature under finite etale-in-codimension-one extensions. As another consequence of these transformation rules, we also obtain purity of the branch locus over rings with mild singularities (particularly if the $F$-signature is $> 1/2$). Finally, we generalize our $F$-signature transformation rules to the context of pairs and not-necessarily etale-in-codimension-one extensions, obtaining an analog of another result of Xu. △ Less

Submitted 13 June, 2016; originally announced June 2016.

Comments: 22 pages, comments welcome

MSC Class: 14F35; 14F18; 13A35; 14B05

Journal ref: Ann. Sci. Éc. Norm. Supér. (4) 51 (2018), no. 4, 993-1016

Discreteness of $F$-jum** numbers at isolated non-Q-Gorenstein points

Authors: Patrick Graf, Karl Schwede

Abstract: We show that the $F$-jum** numbers of a pair $(X, \mathfrak a)$ in positive characteristic have no limit points whenever the symbolic Rees algebra of $-K_X$ is finitely generated outside an isolated collection of points. We also give a characteristic zero version of this result, as well as a generalization of the Hartshorne-Speiser-Lyubeznik-Gabber stabilization theorem describing the non-$F$-pu… ▽ More We show that the $F$-jum** numbers of a pair $(X, \mathfrak a)$ in positive characteristic have no limit points whenever the symbolic Rees algebra of $-K_X$ is finitely generated outside an isolated collection of points. We also give a characteristic zero version of this result, as well as a generalization of the Hartshorne-Speiser-Lyubeznik-Gabber stabilization theorem describing the non-$F$-pure locus of a variety. △ Less

Submitted 11 April, 2017; v1 submitted 12 May, 2016; originally announced May 2016.

Journal ref: Proc. AMS 146 (2018), pp. 473-487

Local cohomology of Du Bois singularities and applications to families

Authors: Linquan Ma, Karl Schwede, Kazuma Shimomoto

Abstract: In this paper we study the local cohomology modules of Du Bois singularities. Let $(R,m)$ be a local ring, we prove that if $R_{red}$ is Du Bois, then $H_m^i(R)\to H_m^i(R_{red})$ is surjective for every $i$. We find many applications of this result. For example we answer a question of Kovács and the second author on the Cohen-Macaulay property of Du Bois singularities. We obtain results on the in… ▽ More In this paper we study the local cohomology modules of Du Bois singularities. Let $(R,m)$ be a local ring, we prove that if $R_{red}$ is Du Bois, then $H_m^i(R)\to H_m^i(R_{red})$ is surjective for every $i$. We find many applications of this result. For example we answer a question of Kovács and the second author on the Cohen-Macaulay property of Du Bois singularities. We obtain results on the injectivity of $Ext$ that provide substantial partial answers of questions of Eisenbud-Mustata-Stillman in characteristic $0$, and these results can be viewed as generalizations of the Kodaira vanishing theorem for Cohen-Macaulay Du Bois varieties. We prove results on the set-theoretic Cohen-Macaulayness of the defining ideal of Du Bois singularities, which are characteristic $0$ analog of results of Singh-Walther and answer some of their questions. We extend results of Hochster-Roberts on the relation between Koszul cohomology and local cohomology for $F$-injective and Du Bois singularities, see Hochster-Roberts. We also prove that singularities of dense $F$-injective type deform. △ Less

Submitted 14 April, 2017; v1 submitted 9 May, 2016; originally announced May 2016.

Comments: 24 pages, minor changes. To appear in Compositio Mathematica

MSC Class: 14B05; 13D45; 14F18; 13A35; 14D99

Journal ref: Compositio Math. 153 (2017) 2147-2170

The dualizing complex of $F$-injective and Du Bois singularities

Authors: Bhargav Bhatt, Linquan Ma, Karl Schwede

Abstract: Let $(R,m,k)$ be an excellent local ring of equal characteristic. Let $j$ be a positive integer such that $H_m^i(R)$ has finite length for every $0\leq i <j$. We prove that if $R$ is $F$-injective in characteristic $p>0$ or Du Bois in characteristic $0$, then the truncated dualizing complex $τ_{>-j}ω_R^\bullet$ is quasi-isomorphic to a complex of $k$-vector spaces. As a consequence, $F$-injective… ▽ More Let $(R,m,k)$ be an excellent local ring of equal characteristic. Let $j$ be a positive integer such that $H_m^i(R)$ has finite length for every $0\leq i <j$. We prove that if $R$ is $F$-injective in characteristic $p>0$ or Du Bois in characteristic $0$, then the truncated dualizing complex $τ_{>-j}ω_R^\bullet$ is quasi-isomorphic to a complex of $k$-vector spaces. As a consequence, $F$-injective or Du Bois singularities with isolated non-Cohen-Macaulay locus are Buchsbaum. Moreover, when $R$ has $F$-rational or rational singularities on the punctured spectrum, we obtain stronger results. △ Less

Submitted 18 July, 2017; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: 13 pages, final version, to appear in Math.Z

Journal ref: Math. Z. 288 (2018), no. 3-4, 1143-1155

The $F$-different and a canonical bundle formula

Authors: Omprokash Das, Karl Schwede

Abstract: We study the structure of Frobenius splittings (and generalizations thereof) induced on compatible subvarieties $W \subseteq X$. In particular, if the compatible splitting comes from a compatible splitting of a divisor on some birational model $E \subseteq X' \to X$ (ie, this is a log canonical center), then we show that the divisor corresponding to the splitting on $W$ is bounded below by the div… ▽ More We study the structure of Frobenius splittings (and generalizations thereof) induced on compatible subvarieties $W \subseteq X$. In particular, if the compatible splitting comes from a compatible splitting of a divisor on some birational model $E \subseteq X' \to X$ (ie, this is a log canonical center), then we show that the divisor corresponding to the splitting on $W$ is bounded below by the divisorial part of the different as studied by Kawamata, Shokurov, Ambro and others. We also show that difference between the divisor associated to the splitting and the divisorial part of the different is largely governed by the (non-)Frobenius splitting of fibers of $E \to W$. In doing this analysis, we recover an $F$-canonical bundle formula by reinterpretting techniques common in the theory of Frobenius splittings. △ Less

Submitted 20 May, 2016; v1 submitted 28 August, 2015; originally announced August 2015.

Comments: 27 pages, numerous typos corrected, the exposition is also improved

MSC Class: 14F18; 13A35; 14B05; 14D99; 14E99

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), no. 3, 1173-1205

On the behavior of singularities at the $F$-pure threshold

Authors: Eric Canton, Daniel Hernández, Karl Schwede, Emily Witt, Alessandro De Stefani, Jack Jeffries, Zhibek Kadyrsizova, Robert Walker, George Whelan

Abstract: We provide a family of examples where the $F$-pure threshold and the log canonical threshold of a polynomial are different, but where $p$ does not divide the denominator of the $F$-pure threshold (compare with an example of \mustata-Takagi-Watanabe). We then study the $F$-signature function in the case where either the $F$-pure threshold and log canonical threshold coincide or where $p$ does not d… ▽ More We provide a family of examples where the $F$-pure threshold and the log canonical threshold of a polynomial are different, but where $p$ does not divide the denominator of the $F$-pure threshold (compare with an example of \mustata-Takagi-Watanabe). We then study the $F$-signature function in the case where either the $F$-pure threshold and log canonical threshold coincide or where $p$ does not divide the denominator of the $F$-pure threshold. We show that the $F$-signature function behaves similarly in those two cases. Finally, we include an appendix which shows that the test ideal can still behave in surprising ways even when the $F$-pure threshold and log canonical threshold coincide. △ Less

Submitted 10 May, 2016; v1 submitted 21 August, 2015; originally announced August 2015.

Comments: Typos corrected, other improvements to the exposition

MSC Class: 13A35; 14J17; 14B05

Journal ref: Illinois J. Math. 60 (2016), no. 3-4, 669-685

Test ideals in rings with finitely generated anti-canonical algebras

Authors: Alberto Chiecchio, Florian Enescu, Lance Edward Miller, Karl Schwede

Abstract: Many results are known about test ideals and $F$-singularities for ${\bf Q}$-Gorenstein rings. In this paper we generalize many of these results to the case when the symbolic Rees algebra $O_X \oplus O_X(-K_X) \oplus O_X(-2K_X) \oplus ...$ is finitely generated (or more generally, in the log setting for $-K_X - Δ$). In particular, we show that the $F$-jum** numbers of $τ(X, a^t)$ are discrete an… ▽ More Many results are known about test ideals and $F$-singularities for ${\bf Q}$-Gorenstein rings. In this paper we generalize many of these results to the case when the symbolic Rees algebra $O_X \oplus O_X(-K_X) \oplus O_X(-2K_X) \oplus ...$ is finitely generated (or more generally, in the log setting for $-K_X - Δ$). In particular, we show that the $F$-jum** numbers of $τ(X, a^t)$ are discrete and rational. We show that test ideals $τ(X)$ can be described by alterations as in Blickle-Schwede-Tucker (and hence show that splinters are strongly $F$-regular in this setting -- recovering a result of Singh). We demonstrate that multiplier ideals reduce to test ideals under reduction modulo $p$ when the symbolic Rees algebra is finitely generated. We prove that Hartshorne-Speiser-Lyubeznik-Gabber type stabilization still holds. We also show that test ideals satisfy global generation properties in this setting. △ Less

Submitted 31 March, 2016; v1 submitted 19 December, 2014; originally announced December 2014.

Comments: Lemma 2.10 was incorrect, it stated something that was too strong. We have restated Lemma 2.10 correctly we believe. Fortunately, we only needed the new weaker statement. This also corrects the published version

MSC Class: 14J17; 13A35; 14B05

Journal ref: J. Inst. Math. Jussieu 17 (2018), no. 1, 171-206

Positive characteristic algebraic geometry

Authors: Zsolt Patakfalvi, Karl Schwede, Kevin Tucker

Abstract: These are notes for the Bootcamp volume for the 2015 AMS Summer Institute in Algebraic Geometry. They are based on earlier notes for the "Positive Characteristic Algebraic Geometry Workshop" held at University of Illinois at Chicago in March 2014. These are notes for the Bootcamp volume for the 2015 AMS Summer Institute in Algebraic Geometry. They are based on earlier notes for the "Positive Characteristic Algebraic Geometry Workshop" held at University of Illinois at Chicago in March 2014. △ Less

Submitted 23 January, 2017; v1 submitted 6 December, 2014; originally announced December 2014.

Comments: 42 pages, typos corrected

Uniform bounds for strongly $F$-regular surfaces

Authors: Paolo Cascini, Yoshinori Gongyo, Karl Schwede

Abstract: We show that if $(X,B)$ is a two dimensional Kawamata log terminal pair defined over an algebraically closed field of characteristic $p$, and $p$ is sufficiently large, depending only on the coefficients of $B$, then $(X,B)$ is also strongly $F$-regular. We show that if $(X,B)$ is a two dimensional Kawamata log terminal pair defined over an algebraically closed field of characteristic $p$, and $p$ is sufficiently large, depending only on the coefficients of $B$, then $(X,B)$ is also strongly $F$-regular. △ Less

Submitted 18 July, 2014; v1 submitted 31 January, 2014; originally announced February 2014.

Comments: 19 pages, to appear in Transactions of the American Mathematical Society

MSC Class: 14F18; 13A35; 14B05

Inversion of adjunction for rational and Du Bois pairs

Authors: Sándor J Kovács, Karl Schwede

Abstract: We prove several results about the behavior Du Bois singularities and Du Bois pairs in families. Some of these generalize existing statements about Du Bois singularities to the pair setting while others are new even in the non-pair setting. We also prove a new inversion of adjunction result for Du Bois and rational pairs. In the non-pair setting this asserts that if a family over a smooth base has… ▽ More We prove several results about the behavior Du Bois singularities and Du Bois pairs in families. Some of these generalize existing statements about Du Bois singularities to the pair setting while others are new even in the non-pair setting. We also prove a new inversion of adjunction result for Du Bois and rational pairs. In the non-pair setting this asserts that if a family over a smooth base has a special fiber $X_0$ with Du Bois singularities and the general fiber has rational singularities, then the total space has rational singularities near $X_0$. △ Less

Submitted 16 May, 2016; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: 24 pages. More typos corrected and other minor fixes. To appear in Algebra and Number Theory

MSC Class: 14F18; 14B07; 14D05; 14E15; 14J17; 14B05

Journal ref: Algebra Number Theory 10 (2016) 969-1000

On Rational Connectedness of Globally F-Regular Threefolds

Authors: Yoshinori Gongyo, Zhiyuan Li, Zsolt Patakfalvi, Karl Schwede, Hiromu Tanaka, Hong R. Zong

Abstract: In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected. In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected. △ Less

Submitted 17 October, 2014; v1 submitted 30 July, 2013; originally announced July 2013.

Comments: 36 pages, largely rewritten according to referee advice, comments are welcome!

Journal ref: Advances in Mathematics, vol. 280, 47--78 (2015)

The weak ordinarity conjecture and $F$-singularities

Authors: Bhargav Bhatt, Karl Schwede, Shunsuke Takagi

Abstract: Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test ideals. We generalize this relation to the case of singular ambient varieties. Additionally, we connect these results to a conjecture relating $F$-injective and Du… ▽ More Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test ideals. We generalize this relation to the case of singular ambient varieties. Additionally, we connect these results to a conjecture relating $F$-injective and Du Bois singularities. Finally, using an unpublished result of Gabber, we also show that $F$-injective and Du Bois singularities have a common definition in terms of smooth hypercovers. △ Less

Submitted 17 March, 2016; v1 submitted 14 July, 2013; originally announced July 2013.

Comments: v3, the proof of Lemma 3.9, step (2) was incorrect, this version corrects the error. The statement of Lemma 3.9 is unchanged. Remark 3.10 is added which explains the issue

MSC Class: 14F18; 13A35; 14J17; 14B05; 14F20

F-singularities in families

Authors: Zsolt Patakfalvi, Karl Schwede, Wenliang Zhang

Abstract: We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards… ▽ More We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these. △ Less

Submitted 2 October, 2017; v1 submitted 7 May, 2013; originally announced May 2013.

Comments: 60 pages, typos corrected throughout and improved exposition, to appear in Algebraic Geometry

MSC Class: 14B05; 13A35; 14D05; 14F18; 13B40

Rings of Frobenius operators

Authors: Mordechai Katzman, Karl Schwede, Anurag K. Singh, Wenliang Zhang

Abstract: Let R be a local ring of prime characteristic. We study the ring of Frobenius operators F(E), where E is the injective hull of the residue field of R. In particular, we examine the finite generation of F(E) over its degree zero component, and show that F(E) need not be finitely generated when R is a determinantal ring; nonetheless, we obtain concrete descriptions of F(E) in good generality that we… ▽ More Let R be a local ring of prime characteristic. We study the ring of Frobenius operators F(E), where E is the injective hull of the residue field of R. In particular, we examine the finite generation of F(E) over its degree zero component, and show that F(E) need not be finitely generated when R is a determinantal ring; nonetheless, we obtain concrete descriptions of F(E) in good generality that we use, for example, to prove the discreteness of F-jum** numbers for arbitrary ideals in determinantal rings. △ Less

Submitted 22 April, 2013; originally announced April 2013.

MSC Class: Primary 13A35; Secondary 13C11; 13D45; 13C40

Journal ref: Math. Proc. Camb. Phil. Soc. 157 (2014) 151-167

Test ideals of non-principal ideals: Computations, Jum** Numbers, Alterations and Division Theorems

Authors: Karl Schwede, Kevin Tucker

Abstract: Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $τ(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe $τ(R, a^t)$ using (regular) alterations with a formula analogous to that… ▽ More Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $τ(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe $τ(R, a^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the $F$-jum** numbers of $τ(R, a^t)$ as $t$ varies are rational and have no limit points, including the important case where $R$ is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals. △ Less

Submitted 5 May, 2014; v1 submitted 31 December, 2012; originally announced December 2012.

Comments: 36 pages, typos corrected. To appear in Journal de Mathématiques Pures et Appliquées

MSC Class: 14F18; 13A35; 14E15; 14J17; 14B05

Depth of $F$-singularities and base change of relative canonical sheaves

Authors: Zsolt Patakfalvi, Karl Schwede

Abstract: For a characteristic $p > 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen-Macaulay or at least has depth $\geq 3$ at certain points. This mirrors results of Kollár for varieties in characteristic zero. As an application, we show that that relative canonical sheaves are compatible with arbitrary base change for certain families with… ▽ More For a characteristic $p > 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen-Macaulay or at least has depth $\geq 3$ at certain points. This mirrors results of Kollár for varieties in characteristic zero. As an application, we show that that relative canonical sheaves are compatible with arbitrary base change for certain families with sharply $F$-pure fibers. △ Less

Submitted 3 February, 2013; v1 submitted 8 July, 2012; originally announced July 2012.

Comments: 18 pages, typos corrected, exposition improved, Corollary 3.3 added. To appear in Journal of the Institute of Mathematics of Jussieu

MSC Class: 13A35; 14J10; 14J17; 14F18; 13C14; 13C15

Journal ref: Journal of the Institute of Mathematics Jussieu, vol 13, no. 1, (2014), 43-63

On the numerical dimension of pseudo-effective divisors in positive characteristic

Authors: Paolo Cascini, Christopher Hacon, Mircea Mustata, Karl Schwede

Abstract: Let X be a smooth projective variety over an algebraically closed field of positive characteristic. We prove that if D is a pseudo-effective R-divisor on X which is not numerically equivalent to the negative part in its divisorial Zariski decomposition, then the numerical dimension of D is positive. In characteristic zero, this was proved by Nakayama using vanishing theorems. Let X be a smooth projective variety over an algebraically closed field of positive characteristic. We prove that if D is a pseudo-effective R-divisor on X which is not numerically equivalent to the negative part in its divisorial Zariski decomposition, then the numerical dimension of D is positive. In characteristic zero, this was proved by Nakayama using vanishing theorems. △ Less

Submitted 11 June, 2013; v1 submitted 27 June, 2012; originally announced June 2012.

Comments: v.3 (17 pages): typos corrected and other minor changes. Additional remarks on the singular case. To appear in the American Journal of Mathematics

MSC Class: 14E99 (Primary) 13A35; 14F18 (Secondary)

$p^{-1}$-linear maps in algebra and geometry

Authors: Manuel Blickle, Karl Schwede

Abstract: In this article we survey the basic properties of $p^{-e}$-linear endomorphisms of coherent $Ø_X$-modules, i.e. of $Ø_X$-linear maps $F_* \sF \to \sG$ where $\sF,\sG$ are $Ø_X$-modules and $F$ is the Frobenius of a variety of finite type over a perfect field of characteristic $p > 0$. We emphasize their relevance to commutative algebra, local cohomology and the theory of test ideals on the one han… ▽ More In this article we survey the basic properties of $p^{-e}$-linear endomorphisms of coherent $Ø_X$-modules, i.e. of $Ø_X$-linear maps $F_* \sF \to \sG$ where $\sF,\sG$ are $Ø_X$-modules and $F$ is the Frobenius of a variety of finite type over a perfect field of characteristic $p > 0$. We emphasize their relevance to commutative algebra, local cohomology and the theory of test ideals on the one hand, and global geometric applications to vanishing theorems and lifting of sections on the other. △ Less

Submitted 25 June, 2012; v1 submitted 21 May, 2012; originally announced May 2012.

Comments: 62 pages, numerous typos corrected, many improvements to the exposition

MSC Class: 13A35; 13D45; 14B05; 14B15; 14C20; 14F17; 14F18

Journal ref: Commutative algebra, p 123-205, Springer, New York, 2013

Richardson Varieties Have Kawamata Log Terminal Singularities

Authors: Shrawan Kumar, Karl Schwede

Abstract: Let $X^v_w$ be a Richardson variety in the full flag variety $X$ associated to a symmetrizable Kac-Moody group $G$. Recall that $X^v_w$ is the intersection of the finite dimensional Schubert variety $X_w$ with the finite codimensional opposite Schubert variety $X^v$. We give an explicit $\bQ$-divisor $Δ$ on $X^v_w$ and prove that the pair $(X^v_w, Δ)$ has Kawamata log terminal singularities. In fa… ▽ More Let $X^v_w$ be a Richardson variety in the full flag variety $X$ associated to a symmetrizable Kac-Moody group $G$. Recall that $X^v_w$ is the intersection of the finite dimensional Schubert variety $X_w$ with the finite codimensional opposite Schubert variety $X^v$. We give an explicit $\bQ$-divisor $Δ$ on $X^v_w$ and prove that the pair $(X^v_w, Δ)$ has Kawamata log terminal singularities. In fact, $-K_{X^v_w} - Δ$ is ample, which additionally proves that $(X^v_w, Δ)$ is log Fano. We first give a proof of our result in the finite case (i.e., in the case when $G$ is a finite dimensional semisimple group) by a careful analysis of an explicit resolution of singularities of $X^v_w$ (similar to the BSDH resolution of the Schubert varieties). In the general Kac-Moody case, in the absence of an explicit resolution of $X^v_w$ as above, we give a proof that relies on the Frobenius splitting methods. In particular, we use Mathieu's result asserting that the Richardson varieties are Frobenius split, and combine it with a result of N. Hara and K.-I. Watanabe relating Frobenius splittings with log canonical singularities. △ Less

Submitted 3 October, 2012; v1 submitted 27 March, 2012; originally announced March 2012.

Comments: 15 pages, improved exposition and explanation. To appear in the International Mathematics Research Notices

MSC Class: 14M15; 14F18; 13A35; 14F17

Journal ref: Int Math Res Notices (2014) 2014 (3): 842-864

A Frobenius variant of Seshadri constants

Authors: Mircea Mustata, Karl Schwede

Abstract: We define and study a version of Seshadri constant for ample line bundles in positive characteristic. We prove that lower bounds for this constant imply the global generation or very ampleness of the corresponding adjoint line bundle. As a consequence, we deduce that the criterion for global generation and very ampleness of adjoint line bundles in terms of usual Seshadri constants holds also in po… ▽ More We define and study a version of Seshadri constant for ample line bundles in positive characteristic. We prove that lower bounds for this constant imply the global generation or very ampleness of the corresponding adjoint line bundle. As a consequence, we deduce that the criterion for global generation and very ampleness of adjoint line bundles in terms of usual Seshadri constants holds also in positive characteristic. △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: 16 pages

MSC Class: 14C20; 13A35

Journal ref: Mathematische Annalen Volume 358, Issue 3-4 , pp 861-878, 2014

Explicitly Extending Frobenius Splittings over Finite Maps

Authors: Karl Schwede, Kevin Tucker

Abstract: Suppose that $π\: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map) extend to $Y$. In this paper we give an alternate and highly explicit proof of this criterion (checking term by term) when $π$ is tamely ramified in codimension 1… ▽ More Suppose that $π\: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map) extend to $Y$. In this paper we give an alternate and highly explicit proof of this criterion (checking term by term) when $π$ is tamely ramified in codimension 1. Some additional examples are also explored. △ Less

Submitted 28 January, 2012; originally announced January 2012.

Comments: 8 pages, comments welcome

MSC Class: 14B05; 13A35

Bertini theorems for F-singularities

Authors: Karl Schwede, Wenliang Zhang

Abstract: We prove that strongly F-regular and F-pure singularities satisfy Bertini-type theorems (including in the context of pairs) by building upon a framework of Cumino, Greco and Manaresi (compare with the work of Jouanolou and Spreafico). We also prove that F-injective singularities fail to satisfy even the most basic Bertini-type results. We prove that strongly F-regular and F-pure singularities satisfy Bertini-type theorems (including in the context of pairs) by building upon a framework of Cumino, Greco and Manaresi (compare with the work of Jouanolou and Spreafico). We also prove that F-injective singularities fail to satisfy even the most basic Bertini-type results. △ Less

Submitted 3 January, 2013; v1 submitted 9 December, 2011; originally announced December 2011.

Comments: Typos corrected and other minor changes. To appear in the Proceedings of the London Mathematical Society

MSC Class: 14F18; 13A35; 14E15; 14J17; 14B05

Journal ref: Proc. London Math. Soc. (2013) 107 (4): 851-874

F-signature of pairs: Continuity, p-fractals and minimal log discrepancies

Authors: Manuel Blickle, Karl Schwede, Kevin Tucker

Abstract: This paper contains a number of observations on the {$F$-signature} of triples $(R,Δ,\ba^t)$ introduced in our previous joint work. We first show that the $F$-signature $s(R,Δ,\ba^t)$ is continuous as a function of $t$, and for principal ideals $\ba$ even convex. We then further deduce, for fixed $t$, that the $F$-signature is lower semi-continuous as a function on $\Spec R$ when $R$ is regular an… ▽ More This paper contains a number of observations on the {$F$-signature} of triples $(R,Δ,\ba^t)$ introduced in our previous joint work. We first show that the $F$-signature $s(R,Δ,\ba^t)$ is continuous as a function of $t$, and for principal ideals $\ba$ even convex. We then further deduce, for fixed $t$, that the $F$-signature is lower semi-continuous as a function on $\Spec R$ when $R$ is regular and $\ba$ is principal. We also point out the close relationship of the signature function in this setting to the works of Monsky and Teixeira on Hilbert-Kunz multiplicity and $p$-fractals. Finally, we conclude by showing that the minimal log discrepancy of an arbitrary triple $(R,Δ,\ba^t)$ is an upper bound for the $F$-signature. △ Less

Submitted 7 September, 2012; v1 submitted 11 November, 2011; originally announced November 2011.

Comments: 17 pages, exposition improved, typos corrected, to appear in Journal of the London Mathematical Society

MSC Class: 13A35; 13D40; 14B05; 13H10; 14F18

Journal ref: J. London Math. Soc. vol. 87, no. 3, 802--818, (2013)

A dual to tight closure theory

Authors: Neil Epstein, Karl Schwede

Abstract: We introduce an operation on modules over an $F$-finite ring of characteristic $p$. We call this operation \emph{tight interior}. While it exists more generally, in some cases this operation is equivalent to the Matlis dual of tight closure. Moreover, the interior of the ring itself is simply the big test ideal. We directly prove, without appeal to tight closure, results analogous to persistence,… ▽ More We introduce an operation on modules over an $F$-finite ring of characteristic $p$. We call this operation \emph{tight interior}. While it exists more generally, in some cases this operation is equivalent to the Matlis dual of tight closure. Moreover, the interior of the ring itself is simply the big test ideal. We directly prove, without appeal to tight closure, results analogous to persistence, colon capturing, and working modulo minimal primes, and we begin to develop a theory dual to phantom homology. Using our dual notion of persistence, we obtain new and interesting transformation rules for tight interior, and so in particular for the test ideal, which complement the main results of a recent paper of the second author and K. Tucker. Using our theory of phantom homology, we prove a vanishing theorem for maps of Ext. We also compare our theory to M. Blickle's notion of Cartier modules, and in the process, we prove new existence results for Blickle's test submodule. Finally, we apply the theory we developed to the study of test ideals in non-normal rings, proving that the finitistic test ideal coincides with the big test ideal in some cases. △ Less

Submitted 28 March, 2013; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: References added and other minor changes. To appear in the Nagoya Mathematical Journal

MSC Class: 13A35; 13B22; 13B40; 14B05; 14F18

Journal ref: Nagoya Math. J. 213 (2014), 41-75

Test ideals via a single alteration and discreteness and rationality of $F$-jum** numbers

Authors: Karl Schwede, Kevin Tucker, Wenliang Zhang

Abstract: Suppose $(X, Δ)$ is a log-$\bQ$-Gorenstein pair. Recent work of M. Blickle and the first two authors gives a uniform description of the multiplier ideal $\mJ(X;Δ)$ (in characteristic zero) and the test ideal $τ(X;Δ)$ (in characteristic $p > 0$) via regular alterations. While in general the alteration required depends heavily on $Δ$, for a fixed Cartier divisor $D$ on $X$ it is straightforward to f… ▽ More Suppose $(X, Δ)$ is a log-$\bQ$-Gorenstein pair. Recent work of M. Blickle and the first two authors gives a uniform description of the multiplier ideal $\mJ(X;Δ)$ (in characteristic zero) and the test ideal $τ(X;Δ)$ (in characteristic $p > 0$) via regular alterations. While in general the alteration required depends heavily on $Δ$, for a fixed Cartier divisor $D$ on $X$ it is straightforward to find a single alteration (e.g. a log resolution) computing $\mJ(X; Δ+ λD)$ for all $λ\geq 0$. In this paper, we show the analogous statement in positive characteristic: there exists a single regular alteration computing $τ(X; Δ+ λD)$ for all $λ\geq 0$. Along the way, we also prove the discreteness and rationality for the $F$-jum** numbers of $τ(X; Δ+ λD)$ for $λ\geq 0$ where the index of $K_X + Δ$ is arbitrary (and may be divisible by the characteristic). △ Less

Submitted 9 October, 2011; v1 submitted 20 July, 2011; originally announced July 2011.

Comments: 6 pages, added Remark 3.4 (explaining a further generalization of the discreteness results) and several other minor improvements. To appear in Mathematical Research Letters

MSC Class: 14F18; 13A35; 14B05; 14E15

Journal ref: Mathematical Research Letters, vol 19 (2012), no. 01, 191--197

A canonical linear system associated to adjoint divisors in characteristic $p > 0$

Authors: Karl Schwede

Abstract: Suppose that $X$ is a projective variety over an algebraically closed field of characteristic $p > 0$. Further suppose that $L$ is an ample (or more generally in some sense positive) divisor. We study a natural linear system in $|K_X + L|$. We further generalize this to incorporate a boundary divisor $Δ$. We show that these subsystems behave like the global sections associated to multiplier ideals… ▽ More Suppose that $X$ is a projective variety over an algebraically closed field of characteristic $p > 0$. Further suppose that $L$ is an ample (or more generally in some sense positive) divisor. We study a natural linear system in $|K_X + L|$. We further generalize this to incorporate a boundary divisor $Δ$. We show that these subsystems behave like the global sections associated to multiplier ideals, $H^0(X, \mJ(X, Δ) \tensor L)$ in characteristic zero. In particular, we show that these systems are in many cases base-point-free. While the original proof utilized Kawamata-Viehweg vanishing and variants of multiplier ideals, our proof uses test ideals. △ Less

Submitted 23 August, 2012; v1 submitted 19 July, 2011; originally announced July 2011.

Comments: 15 pages, improved exposition and typos corrected, to appear in Journal für die reine und angewandte Mathematik

MSC Class: 14F18; 13A35; 14B05