Showing 1–34 of 34 results for author: Shimomoto, K

Quasi-canonical lifting of projective varieties in positive characteristic

Authors: Ryo Ishizuka, Kazuma Shimomoto

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 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 canonical liftings. For this purpose, we also establish a result on the algebraization of certain $p$-adic formal schemes. △ Less

Submitted 2 June, 2025; originally announced June 2025.

Comments: comments are welcome

A study of perfectoid rings via Galois cohomology

Authors: Ryo Kinouchi, Kazuma Shimomoto

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 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 certain ring-theoretic or homological properties of the tilt of an extension between perfectoid rings treated in the construction of big Cohen-Macaulay algebras. △ Less

Submitted 13 May, 2025; v1 submitted 3 May, 2025; originally announced May 2025.

Comments: some updates

Hyperplane sections of non-standard graded rings

Authors: Kazuma Shimomoto

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. 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. △ Less

Submitted 17 December, 2023; originally announced December 2023.

Comments: 9 pages

Matijevic-Roberts type theorems, Rees rings and associated graded rings

Authors: Jun Horiuchi, Kazuma Shimomoto

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. 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. △ Less

Submitted 14 February, 2025; v1 submitted 9 December, 2023; originally announced December 2023.

Comments: Final version; accepted by Mathematical Journal of Okayama University

A mixed characteristic analogue of the perfection of rings and its almost Cohen-Macaulay property

Authors: Ryo Ishizuka, Kazuma Shimomoto

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 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 extension theorem. We stress that the idea partially originates from the "perfectoidization" in the theory of prismatic cohomology. △ Less

Submitted 24 April, 2025; v1 submitted 24 March, 2023; originally announced March 2023.

Comments: major updates

Some ring-theoretic properties of rings via Frobenius and monoidal maps

Authors: Kazufumi Eto, Jun Horiuchi, Kazuma Shimomoto

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. 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. △ Less

Submitted 7 September, 2023; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: to appear in Tokyo Journal of Mathematics

Perfectoid towers and their tilts : with an application to the étale cohomology groups of local log-regular rings

Authors: Shinnosuke Ishiro, Kei Nakazato, Kazuma Shimomoto

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 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 of the prime-to-$p$-torsion subgroup of the divisor class group of a local log-regular ring that appears in logarithmic geometry in the mixed characteristic case. △ Less

Submitted 7 January, 2025; v1 submitted 30 March, 2022; originally announced March 2022.

Comments: Final version accepted by Algebra and Number Theory

Remarks on the Small Cohen-Macaulay conjecture and new instances of maximal Cohen-Macaulay modules

Authors: Kazuma Shimomoto, Ehsan Tavanfar

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 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 the small Cohen-Macaulay conjecture in prime characteristic, we examine a question about when the Frobenius pushforward $F^e_*(M)$ of an $R$-module $M$ comprises a maximal Cohen-Macaulay direct summand in both local and graded cases. △ Less

Submitted 21 March, 2023; v1 submitted 19 March, 2022; originally announced March 2022.

Comments: some updates

Journal ref: J. Algebra, 634 (2023) 667-697

On local rings without small Cohen-Macaulay algebras in mixed characteristic

Authors: Kazuma Shimomoto, Ehsan Tavanfar

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 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-Macaulay module. △ Less

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

Surjectivity of some local cohomology map and the second vanishing theorem

Authors: Mohsen Asgharzadeh, Shinnosuke Ishiro, Kazuma Shimomoto

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 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 ramified case. Our proof is inspired by the theory of surjective elements in the theory of local cohomology. △ Less

Submitted 12 October, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: more updates

Another proof of the almost purity theorem for perfectoid valuation rings

Authors: Shinnosuke Ishiro, Kazuma Shimomoto

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. 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. △ Less

Submitted 6 September, 2021; v1 submitted 27 December, 2020; originally announced December 2020.

Comments: to appear in J. of Pure and Applied Algebra

Weak normality and seminormality in the mixed characteristic case

Authors: Jun Horiuchi, Kazuma Shimomoto

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 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 Bertini theorem for weak normality in mixed characteristic under a certain condition. △ Less

Submitted 11 November, 2020; v1 submitted 24 April, 2020; originally announced April 2020.

Comments: Final version: to appear in J. Commutative Algebra

A variant of perfectoid Abhyankar's lemma and almost Cohen-Macaulay algebras

Authors: Kei Nakazato, Kazuma Shimomoto

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 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 characteristic is almost Cohen-Macaulay. To this aim, we carry out a detailed study of decompletion of perfectoid rings and establish the Witt-perfect (decompleted) version of André's perfectoid Abhyankar's lemma and Riemann's extension theorem. △ Less

Submitted 20 August, 2023; v1 submitted 9 February, 2020; originally announced February 2020.

Comments: To appear in Nagoya Math. J

Finite étale extension of Tate rings and decompletion of perfectoid algebras

Authors: Kei Nakazato, Kazuma Shimomoto

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 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 to the proof of the almost purity theorem for Witt-perfect rings by Davis and Kedlaya. Witt-perfect rings have the advantage that one does not need to assume that the rings are complete and separated. △ Less

Submitted 22 May, 2021; v1 submitted 9 February, 2020; originally announced February 2020.

Comments: accepted by J. Algebra

A Study of quasi-Gorenstein rings II: Deformation of quasi-Gorenstein property

Authors: Kazuma Shimomoto, Naoki Taniguchi, Ehsan Tavanfar

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 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 that absence of the Cohen-Macaulay condition requires some delicate studies. △ Less

Submitted 8 June, 2020; v1 submitted 7 October, 2018; originally announced October 2018.

Comments: To appear in J. Algebra

Normal hyperplane sections of normal schemes in mixed characteristic

Authors: Jun Horiuchi, Kazuma Shimomoto

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 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 class groups of Grothendieck-Lefschetz type in mixed characteristic. △ Less

Submitted 17 April, 2018; v1 submitted 19 August, 2017; originally announced August 2017.

Comments: final version; to appear in Communications in Algebra

Integral perfectoid big Cohen-Macaulay algebras via André's theorem

Authors: Kazuma Shimomoto

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 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 characteristic maps to an integral perfectoid big Cohen-Macaulay algebra. △ Less

Submitted 13 June, 2018; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: Final version: to appear in Math. Annalen

Specialization Method in Krull Dimension two and Euler System Theory over Normal Deformation Rings

Authors: Tadashi Ochiai, Kazuma Shimomoto

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 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 characteristic ideal $char_R(M)$ from $char_{R/I}(M/IM)$, where I varies in a certain family of nonzero principal ideals of R. As applications, we prove Euler system bound over Cohen-Macaulay normal domains by combining the main results in an earlier article of the first named author and then we prove one of divisibilities of the Iwasawa main conjecture for two-variable Hida deformations generalizing the main theorem obtained in an article of the first named author. △ Less

Submitted 5 June, 2017; originally announced June 2017.

Ideal-adic completion of quasi-excellent rings (after Gabber)

Authors: Kazuhiko Kurano, Kazuma Shimomoto

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). 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). △ Less

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

Local cohomology of Du Bois singularities and applications to families

Authors: Linquan Ma, Karl Schwede, Kazuma Shimomoto

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 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 injectivity of $Ext$ that provide substantial partial answers of questions of Eisenbud-Mustata-Stillman in characteristic $0$, and these results can be viewed as generalizations of the Kodaira vanishing theorem for Cohen-Macaulay Du Bois varieties. We prove results on the set-theoretic Cohen-Macaulayness of the defining ideal of Du Bois singularities, which are characteristic $0$ analog of results of Singh-Walther and answer some of their questions. We extend results of Hochster-Roberts on the relation between Koszul cohomology and local cohomology for $F$-injective and Du Bois singularities, see Hochster-Roberts. We also prove that singularities of dense $F$-injective type deform. △ Less

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

$F$-injectivity and Frobenius closure of ideals in Noetherian rings of characteristic $p>0$

Authors: Pham Hung Quy, Kazuma Shimomoto

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 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 prove a necessary and sufficient condition for the injectivity of the Frobenius action on $H^i_{\fm}(R)$ for all $i \le f_{\fm}(R)$, where $f_{\fm}(R)$ is the finiteness dimension of $R$. As applications, we prove the following results. (a) If the ring is $F$-injective, then every ideal generated by a filter regular sequence, whose length is equal to the finiteness dimension of the ring, is Frobenius closed. It is a generalization of a recent result of Ma and which is stated for generalized Cohen-Macaulay local rings. (b) Let $(R,\fm,k)$ be a generalized Cohen-Macaulay ring of characteristic $p>0$. If the Frobenius action is injective on the local cohomology $H_{\fm}^i(R)$ for all $i < \dim R$, then $R$ is Buchsbaum. This gives an answer to a question of Takagi. We consider the problem when the union of two $F$-injective closed subschemes of a Noetherian $\mathbb{F}_p$-scheme is $F$-injective. Using this idea, we construct an $F$-injective local ring $R$ such that $R$ has a parameter ideal that is not Frobenius closed. This result adds a new member to the family of $F$-singularities. We give the first ideal-theoretic characterization of $F$-injectivity in terms the Frobenius closure and the limit closure. We also give an answer to the question about when the Frobenius action on the top local cohomology is injective. △ Less

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

An elementary proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case

Authors: Kazuhiko Kurano, Kazuma Shimomoto

Abstract: The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case. The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case. △ Less

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

An embedding problem of Noetherian rings into the Witt vectors

Authors: Kazuma Shimomoto

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 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 the resulting algebras have deep connections with the homological conjectures and the rings in $p$-adic Hodge theory. △ Less

Submitted 23 April, 2017; v1 submitted 6 March, 2015; originally announced March 2015.

Comments: minor changes

On the Witt vectors of perfect rings in positive characteristic

Authors: Kazuma Shimomoto

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 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 condition. △ Less

Submitted 4 October, 2014; v1 submitted 21 April, 2014; originally announced April 2014.

Comments: to appear in Communications in Algebra

An application of the almost purity theorem to the homological conjectures

Authors: Kazuma Shimomoto

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. 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. △ Less

Submitted 23 July, 2015; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: to appear in Journal of Pure and Applied Algebra

Deformation of $F$-injectivity and local cohomology

Authors: Jun Horiuchi, Lance Edward Miller, Kazuma Shimomoto

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. 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. △ Less

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

On the semicontinuity problem of fibers and global $F$-regularity

Authors: Kazuma Shimomoto

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 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 seminormal and $F$-rational rings, respectively. Another aspect of this problem is global, which is often related to the vanishing problem of certain higher direct image sheaves. As a test example, we consider the deformation of the global $F$-regularity. △ Less

Submitted 11 July, 2016; v1 submitted 13 November, 2011; originally announced November 2011.

Comments: to appear in Communications in Algebra

Bertini theorem for normality on local rings in mixed characteristic (applications to characteristic ideals)

Authors: Tadashi Ochiai, Kazuma Shimomoto

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 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 fundamental in the study of Euler system theory over normal domains and Iwasawa main conjectures. △ Less

Submitted 17 June, 2015; v1 submitted 23 August, 2011; originally announced August 2011.

Comments: revised version, published in Nagoya Math. Jour

Almost Cohen-Macaulay algebras in mixed characteristic via Fontaine rings

Authors: Kazuma Shimomoto

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 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 fact, A weakly almost Cohen-Macaulay algebra is constructed over the absolute integral closure of a complete local domain by applying the methods of Fontaine rings and Witt vectors. A connection of the main theorem with the Monomial Conjecture is also discussed. △ Less

Submitted 20 September, 2010; v1 submitted 18 May, 2010; originally announced May 2010.

Comments: To appear in Illinois J. of Math

Almost Cohen-Macaulay and almost regular algebras via almost flat extensions

Authors: Mohsen Asgharzadeh, Kazuma Shimomoto

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 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 are almost zero, $T$ maps to a big Cohen-Macaulay algebra. Then we study how the almost Cohen-Macaulay property behaves under almost faithfully flat extension. As a consequence, we study the structure of $F$-coherent rings of positive characteristic in terms of almost regularity. △ Less

Submitted 25 August, 2012; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: to appear in J. Commutative Algebra

MSC Class: 13H10; 13D45

F-coherent rings with applications to tight closure theory

Authors: Kazuma Shimomoto

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 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 and $F$-pure, $F$-regular, and $F$-injective rings. The final section discusses how the coherent property effects the behavior of tight closure for general perfect rings. △ Less

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

On the localization theorem for F-pure rings

Authors: Kazuma Shimomoto, Wenliang Zhang

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. 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. △ Less

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

The Frobenius action on local cohomology modules in mixed characteristic

Authors: Kazuma Shimomoto

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 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 for local rings in mixed characteristic, which has an immediate implication for the subject of splinters studied by A. Singh. △ Less

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

On the upper semi-continuity of the Hilbert-Kunz multiplicity

Authors: Florian Enescu, Kazuma Shimomoto

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. 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. △ Less

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