Related papers: Deformation of F-purity and F-regularity

We study a conjecture of Carvajal-Rojas, Schwede and Tucker which states that for a complex KLT singularity $(R, \mathfrak{m})$, the F-signatures of the reductions of $R$ to characteristic $p \gg 0$ remain bounded away from zero as $p \to…

Let $\mathcal{F}$ be a saturated fusion system on a $p$-group $S$. We study the ring $R(\mathcal{F})$ of $\mathcal{F}$-stable characters by exploiting a new connection to the modular characters of a finite group $G$ with $\mathcal{F} =…

Carvajal-Rojas, Schwede and Tucker asked whether the mod $p$ reductions of a complex klt type singularity have uniformly positive $F$-signature for almost all primes $p$. In this paper, we give an affirmative answer to this conjecture in…

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

Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining…

We prove a generalization of the Hochster-Roberts-Boutot-Kawamata Theorem conjectured by Aschenbrenner and the author: let $R\to S$ be a pure homomorphism of equicharacteristic zero Noetherian local rings. If $S$ is regular, then $R$ is…

The goal of this paper is to develop tools to study maximal families of Gorenstein quotients A of a polynomial ring R. We prove a very general Theorem on deformations of the homogeneous coordinate ring of a scheme Proj(A) which is defined…

We define a deformation space of V. Lafforgue's $G$-valued pseudocharacters of a profinite group $\Gamma$ for a possibly disconnected reductive group $G$. We show, that this definition generalizes Chenevier's construction. We show that the…

Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=Gr(2,n)$ defined over an algebraically closed field $k$ of characteristic $p \geq \max\{n-2,3\}$. In this paper we give a description of the decomposition of $R$,…

Let $(A,\mathfrak m)\rightarrow (B,\mathfrak n)$ be a pure homomorphism between Noetherian commutative rings. If $B/\mathfrak m B$ is an Artinian ring, then we have $\dim A=\dim B$ and $\mathop{\mathrm{depth}} A\geq \mathop{\mathrm{depth}}…

Let $G$ be the group ${\rm PAff}_+({\bf S}^1)$ of piecewise--affine circle homeomorphisms or the group ${\Diff}^{\infty}(\mathbb R/\mathbb Z)$ of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are…

The F theorem states that, for a unitary three dimensional quantum field theory, the F quantity defined in terms of the partition function on a three sphere is positive, stationary at fixed point and decreases monotonically along a…

A field extension $L/K$ of characteristic $p > 0$ is formally \'etale if and only if the relative Frobenius of $L/K$ is an isomorphism. Inspired by this classical result, we explore whether the formally \'etale property for a map $R \to S$…

In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is…

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…

In this article, we discuss the semicontinuity problem of certain properties on fibers for a morphism of schemes. One aspect of this problem is local. Namely, we consider properties of schemes at the level of local rings, in which the main…

The paper answers a question by Jonathan Wahl,giving examples of regular surfaces S (so their canonical ring is a Gorenstein graded ring) having the following properties: 1) their canonical divisor K_S = rL is a positive multiple of an…

For an affine, toric Q-Gorenstein variety Y (given by a lattice polytope Q) the vector space T^1 of infinitesimal deformations is related to the complexified vector spaces of rational Minkowski summands of faces of Q. Moreover, assuming Y…

We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection…

We provide a natural criterion which implies equality of the finitistic test ideal and test ideal in local rings of prime characteristic. Most notably, we show that the criterion is met by every local weakly $F$-regular ring whose…