Localized Chern class – Wikipedia

In algebraic geometry, a localized Chern class is a variant of a Chern class, that is defined for a chain complex of vector bundles as opposed to a single vector bundle. It was originally introduced in Fulton’s intersection theory,^[1] as an algebraic counterpart of the similar construction in algebraic topology. The notion is used in particular in the Riemann–Roch-type theorem.

S. Bloch later generalized the notion in the context of arithmetic schemes (schemes over a Dedekind domain) for the purpose of giving #Bloch’s conductor formula that computes the non-constancy of Euler characteristic of a degenerating family of algebraic varieties (in the mixed characteristic case).

Definitions[edit]

Let Y be a pure-dimensional regular scheme of finite type over a field or discrete valuation ring and X a closed subscheme. Let

${displaystyle E_{bullet }}$

denote a complex of vector bundles on Y

${displaystyle 0=E_{n-1}to E_{n}to dots to E_{m}to E_{m-1}=0}$

that is exact on

${displaystyle Y-X}$

. The localized Chern class of this complex is a class in the bivariant Chow group of

${displaystyle Xsubset Y}$

defined as follows. Let

${displaystyle xi _{i}}$

denote the tautological bundle of the Grassmann bundle

${displaystyle G_{i}}$

of rank

${displaystyle operatorname {rk} E_{i}}$

sub-bundles of

${displaystyle E_{i}otimes E_{i-1}}$

. Let

${displaystyle xi =prod (-1)^{i}operatorname {pr} _{i}^{*}(xi _{i})}$

. Then the i-th localized Chern class

${displaystyle c_{i,X}^{Y}(E_{bullet })}$

is defined by the formula:

${displaystyle c_{i,X}^{Y}(E_{bullet })cap alpha =eta _{*}(c_{i}(xi )cap gamma )}$

where

${displaystyle eta :G_{n}times _{Y}dots times _{Y}G_{m}to X}$

is the projection and

${displaystyle gamma }$

is a cycle obtained from

${displaystyle alpha }$

by the so-called graph construction.

Example: localized Euler class[edit]

Let

${displaystyle f:Xto S}$

be as in #Definitions. If S is smooth over a field, then the localized Chern class coincides with the class

${displaystyle (-1)^{dim X}mathbf {Z} (s_{f})}$

where, roughly,

${displaystyle s_{f}}$

is the section determined by the differential of f and (thus)

${displaystyle mathbf {Z} (s_{f})}$

is the class of the singular locus of f.

Consider an infinite dimensional bundle E over an infinite dimensional manifold M with a section s with Fredholm derivative. In practice this situation occurs whenever we have system of PDE’s which are elliptic when considered modulo some gauge group action. The zero set Z(s) is then the moduli space of solutions modulo gauge, and the index of the derivative is the virtual dimension. The localized Euler class of the pair (E,s) is a homology class with closed support on the zero set of the section. Its dimension is the index of the derivative. When the section is transversal, the class is just the fundamental class of the zero set with the proper orientation. The class is well behaved in one parameter families and therefore defines the “right” fundamental cycle even if the section is no longer transversal.

Bloch’s conductor formula[edit]

This section needs expansion. You can help by adding to it. (November 2019)

This formula enables us to compute the conductor that measures the wild ramification by using the sheaf of differential 1-forms. S. Bloch conjectures a formula for the Artin conductor of the ℓ-adic etale cohomology of a regular model of a variety over a local field and proves it for a curve. The deepest result about the Bloch conductor is its equality with the Artin conductor, defined in terms of the l-adic cohomology of X, in certain cases.

References[edit]

• S. Bloch, “Cycles on arithmetic schemes and Euler characteristics of curves,” Algebraic geometry, Bowdoin, 1985, 421–450, Proc. Symp. Pure Math. 46, Part 2, Amer. Math. Soc., Providence, RI, 1987.
• Fulton, William (1998), Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Berlin, New York: Springer-Verlag, ISBN 978-3-540-62046-4, MR 1644323, section B.7
• K. Kato and T. Saito, “On the conductor formula of Bloch,” Publ. Math. IHES 100 (2005), 5-151.