Related papers: F-signature exists
Given a local ring of positive prime characteristic there is a natural Frobenius action on its local cohomology modules with support at its maximal ideal. In this paper we study the local rings for which the local cohomology modules have…
We extend the notion of Frobenius Betti numbers and F-splitting ratio to large classes of finitely generated modules over rings of prime characteristic, which are not assumed to be local. We also prove that the strong F-regularity of a pair…
This note grew from the lectures I delivered at ICTP during the Summer School in honor of Hochster and Huneke. Its purpose is to provide an introduction to the notion of equimultiplicity (of numerical invariants of singularities/local…
For a pair (X,L) consisting of a projective variety X over a perfect field of characteristic p>0 and an ample line bundle L on X, we introduce and study a positive characteristic analog of the $\alpha$-invariant introduced by Tian, which we…
We study $F$-signature under proper birational morphisms $\pi : Y \to X$, showing that $F$-signature strictly increases for small morphisms or if $ K_Y \geq \pi ^*K_X$. In certain cases, we can even show that the $F$-signature of $Y$ is at…
It is proved that when R is a local ring of positive characteristic, $\phi$ is its Frobenius endomorphism, and some non-zero finite R-module has finite flat dimension or finite injective dimension for the R-module structure induced through…
Let $(R, \frak m)$ be a local ring of prime characteristic $p$ of dimension $d$ with the embedding dimension $v$. Suppose the Frobenius test exponent for parameter ideals $Fte(R)$ of $R$ is finite, and let $Q = p^{Fte(R)}$. It is shown that…
Let $S=K[x_1,...,x_n]$ or $S=K[[x_1,...,x_n]]$ be either a polynomial or a formal power series ring in a finite number of variables over a field $K$ of characteristic $p > 0$ with $[K:K^p] < \infty$. Let $R$ be the hypersurface $S/fS$ where…
Using the description of the Frobenius limit of modules over the ring of invariants under an action of a finite group on a polynomial ring over a field of characteristic $p>0$ developed by Symonds and the author, we give a characterization…
The $F$-signature is a fundamental numerical invariant of singularities in positive characteristic. Its positivity detects strong $F$-regularity, an important class of singularities related to KLT singularities in characteristic zero. In…
We study the differential symmetric signature, an invariant of rings of finite type over a field, introduced in a previous work by the authors in an attempt to find a characteristic-free analogue of the F-signature. We compute the…
Introduced by Takagi and Watanabe, the F-pure threshold is an invariant defined in terms of the Frobenius homomorphism. While it finds applications in various settings, it is primarily used as a local invariant. The purpose of this note is…
An $F$-nilpotent local ring is a local ring $(R, \mathfrak{m})$ of prime characteristic defined by the nilpotence of the Frobenius action on its local cohomology modules $H^i_{\mathfrak{m}}(R)$. A singularity in characteristic zero is said…
R. Heitmann's proof of the Direct Summand Conjecture has opened a new approach to the study of homological conjectures in mixed characteristic. Inspired by his work and by the methods of almost ring theory, we discuss a normalized length…
This paper focuses on a numerical invariant for local rings of characteristic $p$ called $h$-function, that recovers several important invariants, including the Hilbert-Kunz multiplicity, $F$-signature, $F$-threshold, and $F$-signature of…
Let $(R,m)$ be a Noetherian local ring of characteristic $p>0$. We introduce and study $F$-full and $F$-anti-nilpotent singularities, both are defined in terms of the Frobenius actions on the local cohomology modules of $R$ supported at the…
We define the Frobenius limit of a module over a ring of prime characteristic to be the limit of the normalized Frobenius direct images in a certain Grothendieck group. When a finite group acts on a polynomial ring, we calculate this limit…
We prove that the F-signature of an affine semigroup ring of positive characteristic is always a rational number, and describe a method for computing this number. We use this method to determine the F-signature of Segre products of…
We define the dual F-signature of modules, which is equivalent to the F-signature if the module is the base ring. By using this invariant, We give characterizations of regular, F-regular, F-rational, and Gorenstein singularities.
Recently, the regular local rings of prime characteristic were characterized in terms of the finiteness of injective dimension of the Frobenius map. We obtain relative versions of this result.