-
arXiv:2506.01345 [pdf, ps, other]
Quasi-canonical lifting of projective varieties in positive characteristic
Abstract: The main aim of this article is to give new classes of smooth projective varieties over characteristic $p>0$ that admit flat liftings over the Witt vectors together with additional data (logarithmic structure and the Frobenius morphism) by showing a descending property of such Frobenius liftability. We establish a refined form of the classical result due to Mehta-Srinivas on the existence of canon… ▽ More
Submitted 2 June, 2025; originally announced June 2025.
Comments: comments are welcome
-
arXiv:2505.01922 [pdf, ps, other]
A study of perfectoid rings via Galois cohomology
Abstract: In his foundational study of $p$-adic Hodge theory, Faltings introduced the method of almost étale extensions to establish fundmental comparison results of various $p$-adic cohomology theories. Scholze introduced the tilting operations to study algebraic objects arising from $p$-adic Hodge theory in mixed characteristic via the Frobenius map. In this article, we prove a few results which clarify c… ▽ More
Submitted 13 May, 2025; v1 submitted 3 May, 2025; originally announced May 2025.
Comments: some updates
-
arXiv:2312.10800 [pdf, ps, other]
Hyperplane sections of non-standard graded rings
Abstract: The purpose of this paper is to explain a method on the generalization of the Bertini-type theorem on standard graded rings to the non-standard graded case of certain type.
Submitted 17 December, 2023; originally announced December 2023.
Comments: 9 pages
-
arXiv:2312.05477 [pdf, ps, other]
Matijevic-Roberts type theorems, Rees rings and associated graded rings
Abstract: The aim of this article is to investigate interrelated structures lying among three notable problems in commutative algebra. These are Lifting problem, Ascent/descent along associated graded rings, and Matijevic-Roberts type problem.
Submitted 14 February, 2025; v1 submitted 9 December, 2023; originally announced December 2023.
Comments: Final version; accepted by Mathematical Journal of Okayama University
-
arXiv:2303.13872 [pdf, ps, other]
A mixed characteristic analogue of the perfection of rings and its almost Cohen-Macaulay property
Abstract: Over a complete Noetherian local domain of mixed characteristic with perfect residue field, we construct a perfectoid ring which is similar to an explicit representation of a perfect closure in positive characteristic. Then we demonstrate that this perfectoid ring is almost Cohen-Macaulay in the sense of almost ring theory. The proof of this result uses André's flatness lemma along with Riemann's… ▽ More
Submitted 24 April, 2025; v1 submitted 24 March, 2023; originally announced March 2023.
Comments: major updates
-
arXiv:2301.01765 [pdf, ps, other]
Some ring-theoretic properties of rings via Frobenius and monoidal maps
Abstract: The purpose of this note is to relate certain ring-theoretic properties of rings in mixed and positive characteristics that are related to each other by a tilting operation used in perfectoid geometry. To this aim, we exploit the multiplicative structure of the ``monoidal map", which is constructed on arbitrary $p$-adically complete rings.
Submitted 7 September, 2023; v1 submitted 4 January, 2023; originally announced January 2023.
Comments: to appear in Tokyo Journal of Mathematics
-
arXiv:2203.16400 [pdf, ps, other]
Perfectoid towers and their tilts : with an application to the étale cohomology groups of local log-regular rings
Abstract: To initiate a systematic study on the applications of perfectoid methods to Noetherian rings, we introduce the notions of perfectoid towers and their tilts. We mainly show that the tilting operation preserves several homological invariants and finiteness properties. Using this, we also provide a comparison result on étale cohomology groups under the tilting. As an application, we prove finiteness… ▽ More
Submitted 7 January, 2025; v1 submitted 30 March, 2022; originally announced March 2022.
Comments: Final version accepted by Algebra and Number Theory
-
arXiv:2203.10368 [pdf, ps, other]
Remarks on the Small Cohen-Macaulay conjecture and new instances of maximal Cohen-Macaulay modules
Abstract: We show that any quasi-Gorenstein deformation of a $3$-dimensional quasi-Gorenstein Buchsbaum local ring with $I$-invariant $1$ admits a maximal Cohen-Macaulay module, provided it is a quotient of a Gorenstein ring. Such a class of rings includes two instances of unique factorization domains constructed by Marcel-Schenzel and by Imtiaz-Schenzel, respectively. Apart from this result, motivated by t… ▽ More
Submitted 21 March, 2023; v1 submitted 19 March, 2022; originally announced March 2022.
Comments: some updates
Journal ref: J. Algebra, 634 (2023) 667-697
-
arXiv:2109.12700 [pdf, ps, other]
On local rings without small Cohen-Macaulay algebras in mixed characteristic
Abstract: For any $d\ge 4$, by deformation theory of schemes, we present examples of (complete or excellent) $d$-dimensional mixed characteristic normal local domains admitting no small Cohen-Macaulay algebra, but admitting instances of small (maximal) Cohen-Macaulay modules. It is also shown that a graded normal domain over a field whose Proj is an Abelian variety admits a graded small (maximal) Cohen-Maca… ▽ More
Submitted 21 April, 2024; v1 submitted 26 September, 2021; originally announced September 2021.
Comments: Accepted for publication in Mathematical Research Letters. This is different from the published version. We decided to let Proposition 2.4, Remark 2.5 and comments on crystalline cohomology after Theorem 3.7 remain for the interested readers
-
arXiv:2107.09041 [pdf, ps, other]
Surjectivity of some local cohomology map and the second vanishing theorem
Abstract: The second vanishing theorem has a long history in the theory of local cohomology modules, which connects the vanishing of a complete regular local ring with a topological property of the punctured spectrum of the ring under some conditions. However, the case of complete ramified regular local rings is unresolved. In this paper, we give a partial answer to the second vanishing theorem in the ramif… ▽ More
Submitted 12 October, 2022; v1 submitted 19 July, 2021; originally announced July 2021.
Comments: more updates
-
arXiv:2012.13984 [pdf, ps, other]
Another proof of the almost purity theorem for perfectoid valuation rings
Abstract: The almost purity theorem is central to the geometry of perfectoid spaces and has numerous applications in algebra and geometry. This result is known to have several different proofs in the case that the base ring is a perfectoid valuation ring. We give a new proof by exploiting the behavior of Faltings' normalized length under the Frobenius map.
Submitted 6 September, 2021; v1 submitted 27 December, 2020; originally announced December 2020.
Comments: to appear in J. of Pure and Applied Algebra
-
arXiv:2004.12017 [pdf, ps, other]
Weak normality and seminormality in the mixed characteristic case
Abstract: In this article, we give a few examples of local rings in relation to weak normality and seminormality in mixed characteristic. It is known that two concepts can differ in the equal prime characteristic case, while they coincide in the equal characteristic zero case. No explicit examples seem to be documented in the existing literature in the mixed characteristic case. We also establish the local… ▽ More
Submitted 11 November, 2020; v1 submitted 24 April, 2020; originally announced April 2020.
Comments: Final version: to appear in J. Commutative Algebra
-
arXiv:2002.03512 [pdf, ps, other]
A variant of perfectoid Abhyankar's lemma and almost Cohen-Macaulay algebras
Abstract: In this paper, we prove that a complete Noetherian local domain of mixed characteristic $p>0$ with perfect residue field has an integral extension that is an integrally closed, almost Cohen-Macaulay domain such that the Frobenius map is surjective modulo $p$. This result is seen as a mixed characteristic analogue of the fact that the perfect closure of a complete local domain in positive character… ▽ More
Submitted 20 August, 2023; v1 submitted 9 February, 2020; originally announced February 2020.
Comments: To appear in Nagoya Math. J
-
arXiv:2002.03511 [pdf, ps, other]
Finite étale extension of Tate rings and decompletion of perfectoid algebras
Abstract: In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable conditions. We aim to give many results on ascent and descent of certain ring theoretic properties under completion. As an application, we give conceptual details t… ▽ More
Submitted 22 May, 2021; v1 submitted 9 February, 2020; originally announced February 2020.
Comments: accepted by J. Algebra
-
arXiv:1810.03181 [pdf, ps, other]
A Study of quasi-Gorenstein rings II: Deformation of quasi-Gorenstein property
Abstract: In the present article, we investigate the following deformation problem. Let $(R,\mathfrak m)$ be a local (graded local) Noetherian ring with a (homogeneous) regular element $y \in \mathfrak m$ and assume that $R/yR$ is quasi-Gorenstein. Then is $R$ quasi-Gorenstein? We give positive answers to this problem under various assumptions, while we present a counter-example in general. We emphasize tha… ▽ More
Submitted 8 June, 2020; v1 submitted 7 October, 2018; originally announced October 2018.
Comments: To appear in J. Algebra
-
arXiv:1708.05877 [pdf, ps, other]
Normal hyperplane sections of normal schemes in mixed characteristic
Abstract: The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the proof of this result, we prove the Bertini theorem for normal schemes of some type. We apply the main result to prove a result on the restriction map of divisor… ▽ More
Submitted 17 April, 2018; v1 submitted 19 August, 2017; originally announced August 2017.
Comments: final version; to appear in Communications in Algebra
-
arXiv:1706.06946 [pdf, ps, other]
Integral perfectoid big Cohen-Macaulay algebras via André's theorem
Abstract: The main result of this article is to prove that any Noetherian local domain of mixed characteristic maps to an integral perfectoid big Cohen-Macaulay algebra. The proof of this result is based on the construction of almost Cohen-Macaulay algebras in mixed characteristic due to Yves André. Moreover, we prove that the absolute integral closure of a complete Noetherian local domain of mixed characte… ▽ More
Submitted 13 June, 2018; v1 submitted 21 June, 2017; originally announced June 2017.
Comments: Final version: to appear in Math. Annalen
-
arXiv:1706.01571 [pdf, ps, other]
Specialization Method in Krull Dimension two and Euler System Theory over Normal Deformation Rings
Abstract: The aim of this article is to establish the specialization method on characteristic ideals for finitely generated torsion modules over a complete local normal domain R that is module-finite over $O[[x_1, ..., x_d]]$, where $O$ is the ring of integers of a finite extension of the field of p-adic integers $Q_p$. The specialization method is a technique that recovers the information on the characteri… ▽ More
Submitted 5 June, 2017; originally announced June 2017.
-
arXiv:1609.09246 [pdf, ps, other]
Ideal-adic completion of quasi-excellent rings (after Gabber)
Abstract: In this paper, we give a detailed proof to a result of Gabber (unpublished) on the lifting problem of quasi-excellent rings, extending the previous work on Nishimura-Nishimura. As a corollary, we establish that an ideal-adic completion of an excellent (resp. quasi-excellent) ring is excellent (resp. quasi-excellent).
Submitted 31 March, 2019; v1 submitted 29 September, 2016; originally announced September 2016.
Comments: The final version, accepted by Kyoto J. Math
Journal ref: Kyoto J. Math. 61, no. 3 (2021), 707-722
-
arXiv:1605.02755 [pdf, ps, other]
Local cohomology of Du Bois singularities and applications to families
Abstract: In this paper we study the local cohomology modules of Du Bois singularities. Let $(R,m)$ be a local ring, we prove that if $R_{red}$ is Du Bois, then $H_m^i(R)\to H_m^i(R_{red})$ is surjective for every $i$. We find many applications of this result. For example we answer a question of Kovács and the second author on the Cohen-Macaulay property of Du Bois singularities. We obtain results on the in… ▽ More
Submitted 14 April, 2017; v1 submitted 9 May, 2016; originally announced May 2016.
Comments: 24 pages, minor changes. To appear in Compositio Mathematica
MSC Class: 14B05; 13D45; 14F18; 13A35; 14D99
Journal ref: Compositio Math. 153 (2017) 2147-2170
-
arXiv:1601.02524 [pdf, ps, other]
$F$-injectivity and Frobenius closure of ideals in Noetherian rings of characteristic $p>0$
Abstract: The main aim of this article is to study the relation between $F$-injective singularity and the Frobenius closure of parameter ideals in Noetherian rings of positive characteristic. The paper consists of the following themes, including many other topics. We prove that if every parameter ideal of a Noetherian local ring of prime characteristic $p>0$ is Frobenius closed, then it is $F$-injective. We… ▽ More
Submitted 16 April, 2017; v1 submitted 11 January, 2016; originally announced January 2016.
Comments: Final version, to appear in Adv. Math
MSC Class: 13A35; 13D45; 13H10
-
arXiv:1510.03573 [pdf, ps, other]
An elementary proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case
Abstract: The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case.
Submitted 11 May, 2016; v1 submitted 13 October, 2015; originally announced October 2015.
Comments: 13 pages, to appear in Tohoku Math. J
MSC Class: 12F10; 13B40; 13J10
-
arXiv:1503.02018 [pdf, ps, other]
An embedding problem of Noetherian rings into the Witt vectors
Abstract: The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map. We prove the main results by constructing required extension domains via Witt vectors and the method of maximal étale extensions. It is worth remarking that th… ▽ More
Submitted 23 April, 2017; v1 submitted 6 March, 2015; originally announced March 2015.
Comments: minor changes
-
arXiv:1404.5147 [pdf, ps, other]
On the Witt vectors of perfect rings in positive characteristic
Abstract: The purpose of this article is to prove some results on the Witt vectors of perfect $\mathbf{F}_p$-algebras. Let $A$ be a perfect $\mathbf{F}_p$-algebra for a prime integer $p$ and assume that $A$ has the property $\mathbf{P}$. Then does the ring of Witt vectors of $A$ also have $\mathbf{P}$? A main theorem gives an affirmative answer for $\mathbf{P}="\mbox{integrally closed}"$ under a very mild c… ▽ More
Submitted 4 October, 2014; v1 submitted 21 April, 2014; originally announced April 2014.
Comments: to appear in Communications in Algebra
-
arXiv:1310.0389 [pdf, ps, other]
An application of the almost purity theorem to the homological conjectures
Abstract: The aim of this article is to establish the existence of big Cohen-Macaulay algebras in mixed characteristic in some special situation. The main result follows from the so-called almost purity theorem proved by Davis and Kedlaya.
Submitted 23 July, 2015; v1 submitted 1 October, 2013; originally announced October 2013.
Comments: to appear in Journal of Pure and Applied Algebra
-
arXiv:1210.3589 [pdf, ps, other]
Deformation of $F$-injectivity and local cohomology
Abstract: We give sufficient conditions for F-injectivity to deform. We show these conditions are met in two common geometrically interesting setting, namely when the special fiber has isolated CM-locus or is F-split.
Submitted 22 August, 2013; v1 submitted 12 October, 2012; originally announced October 2012.
Comments: 15 pages, Appendix by Karl Schwede and Anurag K. Singh
MSC Class: 13A35; 14B05; 14B07
-
arXiv:1111.3020 [pdf, ps, other]
On the semicontinuity problem of fibers and global $F$-regularity
Abstract: 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 results are established by solving the lifting and localization problems for local rings. In particular, we obtain the localization theorems in the case of semi… ▽ More
Submitted 11 July, 2016; v1 submitted 13 November, 2011; originally announced November 2011.
Comments: to appear in Communications in Algebra
-
arXiv:1108.4708 [pdf, ps, other]
Bertini theorem for normality on local rings in mixed characteristic (applications to characteristic ideals)
Abstract: In this article, we prove a strong version of local Bertini theorem for normality on local rings in mixed characteristic. The main result asserts that a generic hyperplane section of a normal, Cohen-Macaulay, and complete local domain of dimension at least 3 is normal. Applications include the study of characteristic ideals attached to torsion modules over Noetherian normal domains, which is funda… ▽ More
Submitted 17 June, 2015; v1 submitted 23 August, 2011; originally announced August 2011.
Comments: revised version, published in Nagoya Math. Jour
-
arXiv:1005.3275 [pdf, ps, other]
Almost Cohen-Macaulay algebras in mixed characteristic via Fontaine rings
Abstract: In the present paper, it is proved that any complete local domain of mixed characteristic has a weakly almost Cohen-Macaulay algebra in the sense that some system of parameters is a weakly almost regular sequence, which is a notion defined via a valuation. The central idea of this result originates from the main statement obtained by Heitmann to prove the Monomial Conjecture in dimension 3. In fac… ▽ More
Submitted 20 September, 2010; v1 submitted 18 May, 2010; originally announced May 2010.
Comments: To appear in Illinois J. of Math
-
arXiv:1003.0265 [pdf, ps, other]
Almost Cohen-Macaulay and almost regular algebras via almost flat extensions
Abstract: The present paper deals with various aspects of the notion of almost Cohen-Macaulay property, which was introduced and studied by Roberts, Singh and Srinivas. We employ the definition of almost zero modules as defined by a value map, which is different from the version of Gabber-Ramero. We prove that, if the local cohomology modules of an algebra $T$ of certain type over a local Noetherian ring ar… ▽ More
Submitted 25 August, 2012; v1 submitted 1 March, 2010; originally announced March 2010.
Comments: to appear in J. Commutative Algebra
MSC Class: 13H10; 13D45
-
arXiv:0908.0630 [pdf, ps, other]
F-coherent rings with applications to tight closure theory
Abstract: The aim of this paper is to introduce a new class of Noetherian rings of positive characteristic in terms of perfect closures and study their basic properties. If the perfect closure of a Noetherian ring is coherent, we call it an $F$-coherent ring. Some interesting applications are given in connection with tight closure theory. In particular, we discuss relationships between $F$-coherent rings… ▽ More
Submitted 5 August, 2009; originally announced August 2009.
Comments: 10 pages, comments are welcome
Journal ref: Journal of Algebra, 338, no 1, (2011), 24-34
-
arXiv:0710.3782 [pdf, ps, other]
On the localization theorem for F-pure rings
Abstract: We solve Grothendieck's localization problem for certain class of rings arising from the tight closure theory. The idea of the proof depends heavily on the study of the relative version of the Frobenius map.
Submitted 3 August, 2009; v1 submitted 19 October, 2007; originally announced October 2007.
Comments: 10 pages, published in Journal of pure and Applied Algebra
MSC Class: 13A35; 13B10
Journal ref: Journal of Pure and Applied Algebra, 213, no 6, (2009), 1133-1139
-
arXiv:math/0509618 [pdf, ps, other]
The Frobenius action on local cohomology modules in mixed characteristic
Abstract: 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 for certain torsion modules, which was introduced by G. Faltings. Using the normalized length and the Frobenius map, we prove some results of local cohomology f… ▽ More
Submitted 11 October, 2007; v1 submitted 27 September, 2005; originally announced September 2005.
Comments: 15 pages, to appear in Compositio Math
MSC Class: 13A35; 13D22; 13D45
Journal ref: Compositio Mathematica, 143, no 6, (2007), 1478-1492
-
arXiv:math/0502289 [pdf, ps, other]
On the upper semi-continuity of the Hilbert-Kunz multiplicity
Abstract: We show that the Hilbert-Kunz multiplicity of a $d$-dimensional nonregular complete intersection over the algebraic closure of $F_p$, $p>2$ prime, is bounded by below by the Hilbert-Kunz multiplicity of the hypersurface $\sum _{i=0}^{d} x_i^2=0$, answering positively a conjecture of Watanabe and Yoshida in the case of complete intersections.
Submitted 14 February, 2005; originally announced February 2005.
Comments: 14 pages, preprint version, final version to appear in Journal of Algebra, 285, no 1, 222-237
MSC Class: 13D10; 13A35; 13H15