Karl Schwede

We study the plus-pure threshold (ppt) of hypersurfaces in mixed characteristic. We show that the ppt limits to the $F$-pure threshold (fpt) as we ramify the base DVR. Additionally, we show that analogs of some positive characteristic…

In this paper we show that any Noetherian $F$-finite scheme has a dualizing complex $\omega^{\bullet}_{X}$ with the property that for all finite type maps $f \colon X \to Y$ between $F$-finite Noetherian schemes there is a canonical…

Generalizing previous work of the first author, we introduce and study a characteristic free analog of the $F$-threshold for non-principal ideals, BCM-thresholds. We show that this coincides with the classical $F$-threshold for weakly…

Using the fact that the structure sheaf of a resolution of singularities, or regular alteration, pushes forward to a Cohen-Macaulay complex in equal characteristic zero with a differential graded algebra structure, we introduce a…

Suppose $J = (f_1, \dots, f_n)$ is an $n$-generated ideal in any ring $R$. We prove a general Brian\c{c}on-Skoda-type containment relating the integral closure $\overline{J^{n+k-1}}$ with ordinary powers $J^k$. We prove that our result…

The theory of singularities defined by Frobenius has been extensively developed for $F$-finite rings and for rings that are essentially of finite type over excellent local rings. However, important classes of non-local excellent rings, such…

Log-canonical and $F$-pure thresholds of pairs in equal characteristic admit an analog in the recent theory of singularities in mixed characteristic, which is known as the plus-pure threshold. In this paper we study plus-pure thresholds for…

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$, is computed from a sufficiently large alteration,…

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).…

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…

Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call…

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…

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…

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…

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.

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…

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…

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$…

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…

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…