zbMATH — the first resource for mathematics

On the conductor formula of Bloch. (English) Zbl 1099.14009
This \(151\)-page paper proves a vast generalisation of a formula for the Artin conductor proved by S. Bloch [in: Algebraic geometry, Proc. Summer Res. Inst., Brunswick/Maine 1985, part 2, Proc. Symp. Pure Math. 46, No. 2, 421–450 (1987; Zbl 0654.14004)] in the case of curves and conjectured by him to hold in general. Let \(\mathfrak o\) be a discrete valuation ring, \(K\) its field of fractions, and \(F\) the residue field. Recall that for a regular proper flat \(\mathfrak o\)-scheme \(X\), the Artin conductor of \(X\) is defined as \[ \text{ Art}(X)= \chi(X_{\bar K})-\chi(X_{\bar F})+{\text{ Sw}}(X_K) \] where \(\chi\) is the \(l\)-adic Euler characteristic and \(\text{Sw}\) is the \(l\)-adic Swan conductor, \(l\) being a prime different from the charateristic of \(F\). In [loc. cit.], Bloch defined the “localised self-intersection class of the diagonal” \((\Delta_X,\Delta_X)\) as an element of the group \(A_0(X_F)\) of \(0\)-cycles on the closed fibre \(X_F\) modulo rational equivalence. The “conductor formula” he conjectured was the equality \[ {\text{ Art}}(X)=-\deg(\Delta_X,\Delta_X). \] It has recently been observed that the formula for the Milnor number of an isolated singularity follows from this; see F. Orgogozo [Ann. Inst. Fourier 53, No. 6, 1739–1754 (2003; Zbl 1065.14005)].
The authors prove the conductor formula under the hypothesis that the reduced closed fibre has normal crossings as a divisor on \(X\) (Theorem 6.2.3). The general case would follow from this special case if embedded resolution of singularities holds in a strong sense for the reduced closed fibre. The best earlier result required the more restrictive hypothesis that the multiplicities of the irreducible components of \(X_F\) be prime to the characteristic of \(F\) [T. Chinburg, G. Pappas, M. J. Taylor, Math. Res. Lett. 7, No. 4, 433–446 (2000; Zbl 1097.14501)]. In fact, the authors’ main result concerns a more general version – involving correspondences – of the conductor formula. A correspondence \(\Gamma\) on \(X_K\) gives rise to an endomorphism \(\Gamma^*\) on the \(l\)-adic étale cohomology, and hence to a Swan conductor \(\text{ Sw}(\Gamma,X_K)\). They show (Theorem 6.3.1) that \({\text{ Sw}}(\Gamma,X_K)\) is an integer independent of \(l\) and, if the reduced closed fibre has simple normal crossings as a divisor on \(X\), the equality \[ {\text{ Sw}}(\Gamma,X_K)=-\deg[[X,\Gamma]] \] holds, where \([[X,\Gamma]]\) is the “logarithmic localised intersection product” (Section 5.4) in a suitable graded piece of the Grothendieck group of \(X_F\). The special case \(\Gamma=\Delta_X\) (Theorem 6.2.5) is equivalent to the previous theorem.
The proof makes extensive use of logarithmic geometry. The authors define a “logarithmic self-intersection class” \((\Delta_X,\Delta_X)_{\log}\) in \(A_0(X_F)\) by replacing \(\Omega^1_{X|{\mathfrak o}}\) in the definition of \((\Delta_X,\Delta_X)\) by the sheaf of differential \(1\)-forms with logarithmic poles and prove that \(\text{Sw}(X_K)=-\deg(\Delta_X,\Delta_X)_{\log}\) (Theorem 6.2.5). For the main theorem, de Jong’s alterations are needed. The authors also provide emendations of some results from a related paper by the second author [Duke Math. J. 57, No.2, 555–578 (1988; Zbl 0687.14004)].

14G20 Local ground fields in algebraic geometry
11G25 Varieties over finite and local fields
14C15 (Equivariant) Chow groups and rings; motives
14C35 Applications of methods of algebraic \(K\)-theory in algebraic geometry
Full Text: DOI Numdam EuDML
[1] A. Abbes, Cycles on arithmetic surfaces, Compos. Math., 122 (2000), no. 1, 23-111. · Zbl 0986.14014
[2] A. Abbes, The Whitney sum formula for localized Chern classes, to appear in J. Théor. Nombres Bordx.
[3] A. Abbes and T. Saito, Ramification groups of local fields with imperfect residue fields II, Doc. Math., Extra Volume Kato (2003), 3-70. · Zbl 1127.11349
[4] K. Arai, Conductor formula of Bloch, in tame case (in Japanese), Master thesis at University of Tokyo, 2000.
[5] A. Blanco, J. Majadas, and A. Rodicio, Projective exterior Koszul homology and decomposition of the Tor functor, Invent. Math., 123 (1996), 123-140. · Zbl 0856.13009
[6] S. Bloch, Cycles on arithmetic schemes and Euler characteristics of curves, Algebraic geometry, Bowdoin, 1985, 421-450, Proc. Symp. Pure Math. 46, Part 2, Am. Math. Soc., Providence, RI (1987).
[7] T. Chinburg, G. Pappas, and M. Taylor, ε-constants and Arakelov Euler characteristics, Math. Res. Lett., 7 (2000), no. 4, 433-446.
[8] A. J. de Jong, Smoothness, semi-stability and alterations, Publ. Math., Inst. Hautes Étud. Sci., 83 (1996), 51-93. · Zbl 0916.14005
[9] P. Deligne, Équations différentielles à points singuliers réguliers, Lect. Notes Math. 163, Springer, Berlin-New York (1970). · Zbl 0244.14004
[10] P. Deligne and N. Katz, Groupes de monodromie en géométrie algébrique, (SGA 7 II), Lect. Notes Math. 340, Springer, Berlin-New York (1973).
[11] A. Dold and D. Puppe, Homologie nicht-additiver Funktoren, Anwendungen, Ann. Inst. Fourier, 11 (1961), 201-312. · Zbl 0098.36005
[12] K. Fujiwara and K. Kato, Logarithmic etale topology theory, preprint.
[13] W. Fulton, Intersection theory, 2nd ed. Ergeb. Math. Grenzgeb., 3. Folge. 2, Springer, Berlin (1998). · Zbl 0885.14002
[14] W. Fulton and S. Lang, Riemann-Roch algebra, Grundlehren Math. Wiss. 277, Springer, Berlin-New York (1985).
[15] A. Grothendieck with J. Dieudonné, Eléments de géométrie algèbrique IV, Publ. Math., Inst. Hautes Étud. Sci., 20, 24, 28, 32 (1964-1967). · Zbl 0203.23301
[16] A. Grothendieck et. al., Théorie des topos et cohomologie étale des schemas, (SGA 4), tome 3, Lect. Notes Math. 305, Springer, Berlin-New York (1973).
[17] A. Grothendieck et. al., Théorie des intersections et théorème de Riemann-Roch, (SGA 6), Lect. Notes Math. 225, Springer, Berlin-New York (1971).
[18] R. Hartshorne, Residues and Duality, Lect. Notes Math. 20, Springer, Berlin-New York (1966).
[19] L. Illusie, Complexe cotangent et déformations I, Lect. Notes Math. 239, Springer, Berlin-New York (1971). · Zbl 0224.13014
[20] L. Illusie, An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic etale cohomology, Cohomologies \(p\)-adiques et applications arithmétiques, II. Astérisque, 279 (2002), 271-322.
[21] L. Illusie, Champs toriques et log lissité, preprint (2000).
[22] B. Iversen, Critical points of an algebraic function, Invent. Math. 12 (1971), 210-224. · Zbl 0223.14003
[23] K. Kato, Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory (J.-I. Igusa ed.), Johns Hopkins UP, Baltimore (1989), 191-224. · Zbl 0776.14004
[24] K. Kato, Class field theory,\(\mathcal{D}\)-modules, and ramification on higher dimensional schemes, preprint, unpublished version.
[25] K. Kato, Toric singularities, Am. J. Math., 116 (1994), 1073-1099. · Zbl 0832.14002
[26] K. Kato, S. Saito, and T. Saito, Artin characters for algebraic surfaces, Am. J. Math., 110 (1988), no. 1, 49-75. · Zbl 0673.14020
[27] M. Nagata, A generalization of the imbedding problem of an abstract variety in a complete variety, J. Math. Kyoto Univ., 3 (1963), 89-102. · Zbl 0223.14011
[28] C. Nakayama, Logarithmic étale cohomology, Math. Ann., 308 (1997), 365-404. · Zbl 0877.14016
[29] C. Nakayama, Nearby cycles for log smooth families, Compos. Math., 112 (1998), 45-75. · Zbl 0926.14006
[30] T. Ochiai, l-independence of the trace of monodromy, Math. Ann., 315 (1999), no. 2, 321-340. · Zbl 0980.14014
[31] A. Ogg, Elliptic curves and wild ramification, Am. J. Math. 89 (1967), 1-21. · Zbl 0147.39803
[32] M. Olsson, Logarithmic geometry and algebraic stacks, Ann. Sci. Éc. Norm. Supér., 36 (2003), 747-791. · Zbl 1069.14022
[33] F. Orgogozo, Conjecture de Bloch et nombres de Milnor, Ann. Inst. Fourier, 53 (2003), 1739-1754. · Zbl 1065.14005
[34] D. Quillen, Notes on the homology of commutative rings, Mimeographed Notes, MIT (1968).
[35] D. Quillen, On the (co-) homology of commutative rings, in Applications of Categorical Algebra (Proc. Sympos. Pure Math., XVII, New York, 1968, 65-87. Am. Math. Soc., Providence, R.I.
[36] J.-P. Serre, Corps locaux, 3rd ed., Hermann, Paris (1968).
[37] J.-P. Serre, Représentations linéaires des groupes finis, 3rd ed., Hermann, Paris (1978).
[38] T. Saito, Conductor, discriminant, and the Noether formula for arithmetic surfaces, Duke Math. J., 57 (1988), no. 1, 151-173. · Zbl 0657.14017
[39] T. Saito, Self-intersection 0-cycles and coherent sheaves on arithmetic schemes, Duke Math. J., 57 (1988), no. 2, 555-578. · Zbl 0687.14004
[40] T. Saito, Parity in Bloch’s conductor formula in even dimension, to appear in J. Théor. Nombres Bordx. · Zbl 1093.14030
[41] T. Saito, Weight spectral sequences and independence of ℓ, J. de l’Institut Math. de Jussieu, 2 (2003), 1-52.
[42] C. Weibel, An introduction to homological algebra, Cambr. Stud. Adv. Math., 38, Cambridge UP, Cambridge (1994). · Zbl 0797.18001
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.