Related papers: Prismatic Kunz's theorem
We prove the version of Knebusch's Norm principle for simple extensions of (semi-)local rings. As an application we prove the Grothedieck-Serre's conjecture on principal homogeneous spaces for the split case of the spinor group.
Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. In this article, we establish a form of flat cohomological purity over arbitrary…
We construct a local Noetherian splinter (in fact, a weakly $F$-regular domain) in prime characteristic which is not catenary, which we view as an analogue of a theorem of Ogoma in equal characteristic zero. Moreover, we construct a weakly…
Let $(R,\mathfrak{m})$ be a Noetherian local ring of prime characteristic $p$ and $Q$ be an $\mathfrak{m}$-primary parameter ideal. We give criteria for F-rationality of $R$ using the tight Hilbert function $H^*_Q(n)=\ell(R/(Q^n)^*$ and the…
Using an old example of Nagata, we construct a Noetherian ring of prime characteristic p, whose Frobenius morphism is locally finite, but not finite.
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…
The concept of Faltings' local-global principle for the minimaxness of local cohomology modules over a commutative Noetherian ring $R$ is introduced, and it is shown that this principle holds at level 2. We also establish the same principle…
In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…
We establish a criterion for the strong $F$-regularity of a (non-Gorenstein) Cohen-Macaulay reduced complete local ring of dimension at least $2$, containing a perfect field of prime characteristic $p$. We also describe an explicit…
This note is the sequel to [A note on secondary K-theory. Algebra and Number Theory 10 (2016), no. 4, 887-906]. Making use of the recent theory of noncommutative motives, we prove that the canonical map from the derived Brauer group to the…
We prove the following result. Let k be an infinite perfect field of positive characteristic and assume that strong resolution of singularities holds over k. Let R be a localization of a commutative d-dimensional k-algebra of finite type…
In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in…
We extend classical results of Rado on partition regularity of systems of linear equations with integer coefficients to the case when the coefficient ring is either an arbitrary integral domain or a noetherian ring. In particular, we show…
Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular…
Let X be a smooth p-adic formal scheme. We show that integral crystalline local systems on the generic fiber of X are equivalent to prismatic F-crystals over the analytic locus of the prismatic site of X. As an application, we give a…
In this paper we study (non-commutative) rings $R$ over which every finitely generated left module is a direct sum of cyclic modules (called left FGC-rings). The commutative case was a well-known problem studied and solved in 1970s by…
The classical Hilbert specialization property is a field-theoretic tool ensuring that polynomial irreducibility over a field is preserved under specialization of some of the variables. We develop an integral counterpart by introducing the…
A ring R shall be called F-noetherian if every finite subset of R is contained in a (left and right) noetherian subring of R . For example, every commutative ring is tightly F-noetherian in the sense that every finite subset of R generates…
We prove a generalisation of the Grothendieck-Riemann-Roch theorem, which is valid for any proper and flat morphism between noetherian and separated schemes of odd characteristic.
Let (R,m) be a noetherian local ring and let $\mathcal{C}$ be the class of all R-modules M which possess a reflexive submodule U such that M/U is finitely generated. For every R-module $M\in \mathcal{C}$ the canonical embedding $\varphi:…