Bertini theorem for normality on local rings in mixed characteristic (applications to characteristic ideals). (English) Zbl 1325.13023

In this article, the authors prove “a strong version of the 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”. Moreover, the paper contains some applications including the study of characteristic ideals attached to torsion modules over normal domains, “which is fundamental in the study of Euler system theory, Iwasawa’s main conjectures, and the deformation theory of Galois representations”.


13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
13F35 Witt vectors and related rings
13N05 Modules of differentials
Full Text: DOI arXiv Euclid


[1] W. Bruns and J. Herzog, Cohen-Macaulay Rings , Cambridge Stud. Adv. Math. 39 , Cambridge University Press, Cambridge, 1993.
[2] D. Eisenbud and E. G. Evans, Jr., Generating modules efficiently: Theorems from algebraic \(K\)-theory , J. Algebra 27 (1973), 278-305. · Zbl 0286.13012
[3] M. Flach, The equivariant Tamagawa number conjectures: A survey , with an appendix by C. Greither, Contemp. Math. 358 (2004), 79-125. · Zbl 1070.11025
[4] H. Flenner, Die Sätze von Bertini für lokale Ringe , Math. Ann. 229 (1977), 97-111. · Zbl 0398.13013
[5] J. Fresnel and M. van der Put, Rigid Analytic Geometry and Its Applications , Progr. Math. 218 , Birkhäuser, Boston, 2004. · Zbl 1096.14014
[6] S. Greco, Two theorems on excellent rings , Nagoya Math. J. 60 (1976), 139-149. · Zbl 0308.13010
[7] A. Grothendieck, Élements de géométrie algébrique, IV: Étude locale des schémas et des morphismes de schémas, II , Publ. Math. Inst. Hautes Études Sci. 24 (1965).
[8] A. Grothendieck, Cohomologie locale des faisceaux cohérents et théorèmes des Lefschetz locaux et globaux , Séminaire de Géométrie Algébrique du Bois-Marie (SGA 2), North-Holland, Amsterdam, 1968.
[9] R. Hartshorne, Stable reflexive sheaves , Math. Ann. 254 (1980), 121-176. · Zbl 0431.14004
[10] E. Kunz, Kähler Differentials , Adv. Lectures Math., Friedr. Vieweg, Braunschweig, 1986.
[11] H. Matsumura, Commutative Ring Theory , Cambridge Stud. Adv. Math. 8 , Cambridge University Press, Cambridge, 1986.
[12] J. Neukirch, A. Schmidt, and K. Wingberg, Cohomology of Number Fields , Grundlehren Math. Wiss. 323 , Springer, Berlin, 2000. · Zbl 0948.11001
[13] D. G. Northcott, Finite Free Resolutions , Cambridge Tracts in Math. 71 , Cambridge University Press, Cambridge, 1976.
[14] T. Ochiai, Euler system for Galois deformations , Ann. Inst. Fourier (Grenoble) 55 (2005), 113-146. · Zbl 1112.11031
[15] T. Ochiai and K. Shimomoto, Specialization method in Krull dimension two and Euler system theory over normal deformation rings , in preparation.
[16] J.-P. Serre, Local Fields , Grad. Texts in Math. 67 , Springer, New York, 1979.
[17] C. Skinner and E. Urban, The Iwasawa main conjectures for \(\mathrm{GL(2)}\) , Invent. Math. 195 (2014), 1-277. · Zbl 1301.11074
[18] R. G. Swan, The number of generators of a module , Math. Z. 102 (1967), 318-322. · Zbl 0156.27403
[19] V. Trivedi, A local Bertini theorem in mixed characteristic , Comm. Algebra 22 (1994), 823-827. · Zbl 0802.13004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.