Related papers: Prismatic Kunz's theorem

Let $R$ be a {\em differentiably simple Noetherian commutative} ring of characteristic $p>0$ (then $(R, \gm)$ is local with $n:= {\rm emdim} (R)<\infty$). A short proof is given of the Theorem of Harper \cite{Harper61} on classification of…

We explicitly describe the Cartier dual of the $l$-th Frobenius kernel $N_l$ of the deformation group scheme, which deforms the additive group scheme to the multiplicative group scheme. Then the Cartier dual of $N_l$ is given by a certain…

We introduce a new invariant for local rings of prime characteristic, called Frobenius complexity, that measures the abundance of Frobenius actions on the injective hull of the residue field of a local ring. We present an important case…

In this note, we provide several characterizations of regular local rings in positive characteristics, in terms of the Hilbert-Kunz multiplicity and its higher $\tor$ counterparts $\i t_i=\underset{n \to \infty}{\lim} \l(\tor_i(k,{}^{f^n}…

We interpret Hilbert-Kunz theory of a graded ring of positive characteristic in terms of Frobenius asymptotic of cohomology of vector bundles on projective varieties. With this method we show that for almost all prime numbers there exist…

Let $(R,m)$ be a Noetherian local ring and $I$ an ideal with finite projective dimension. If $R/I$ satisfies some property $\mathcal{P}$, it is natural to ask whether $R$ would also satisfy this property $\mathcal{P}$. This is called the…

A classical result of Micali asserts that a Noetherian local ring is regular if and only if the Rees algebra of its maximal ideal is defined by an ideal of linear forms. In this case, this defining ideal may be realized as a determinantal…

Let $R$ be a commutative Noetherian $F$-finite ring of prime characteristic and let $\mathcal{D}$ be a Cartier algebra. We define a self-map on the Frobenius split locus of the pair $(R,\mathcal{D})$ by sending a point $P$ to the splitting…

We introduce the notion of the Frobenius--Witt cotangent complex, which can be considered as a derived variant of the module of Frobenius--Witt differentials defined by T. Saito. This new object also can be seen as an arithmetic variant of…

Let p be an odd prime. We show that the classification of p-divisible groups by Breuil windows and the classification of finite flat group schemes of p-power order by Breuil modules hold over any complete regular local ring with perfect…

K. Kato's conjecture about the cohomological Hasse principle for regular connected schemes $\mathfrak X$ which are flat and proper over the complete discrete valuation rings $\mathcal O_N$ of higher local fields $F_N$ is proven. This…

This article deals mostly with the following question: when is the classical ring of quotients of a commutative ring a ring of stable range 1? We introduce the concepts of a ring of (von Neumann) regular range 1, a ring of semihereditary…

This paper is concerned with ideals in a commutative Noetherian ring $R$ of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of $R$ generated by regular sequences exhibit a desirable type of…

We prove Freudenburg's Freeness Conjecture: Let B be the polynomial ring in three variables over a field of characteristic zero, let D : B --> B be a nonzero locally nilpotent derivation, and let A = ker(D). Then B is a free A-module, and…

Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…

In the paper, by the singular Riemann-Roch theorem, it is proved that the class of the e-th Frobenius power can be described using the class of the canonical module for a normal local ring of positive characteristic. As a corollary, we…

Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

The concept of Faltings' local-global principle for the in dimension $< n$ of local cohomology modules over a Noetherian ring $R$ is introduced, and it is shown that this principle holds at levels 1, 2. We also establish the same principle…

Given a Z_p-linear local system over a smooth rigid space, we show that it is crystalline (resp. semi-stable) with respect to any smooth (resp. semi-stable) integral model if and only if its restrictions at many classical points are…