Namespaces
Variants
Actions

Hodge structure

From Encyclopedia of Mathematics
Jump to: navigation, search


of weight $ n $ (pure)

An object consisting of a lattice $ H _ {\mathbf Z } $ in the real vector space $ H _ {\mathbf R } = H _ {\mathbf Z } \otimes \mathbf R $ and a decomposition $ H _ {\mathbf C } = \oplus _ {p + q = n } H ^ {p,q} $ of the complex vector space $ H _ {\mathbf C } = H _ {\mathbf Z } \otimes \mathbf C $( a Hodge decomposition). Here the condition $ \overline{ {H ^ {p,q} }}\; = H ^ {q,p} $ must hold, where the bar denotes complex conjugation in $ H _ {\mathbf C } = H _ {\mathbf R } \otimes _ {\mathbf R } \mathbf C $. Another description of the Hodge decomposition consists in the specification of a decreasing filtration (a Hodge filtration) $ F ^ { r } = \oplus _ {p \geq r } H ^ {p,q} $ in $ H _ {\mathbf C } $ such that $ \overline{F ^ { s } } \cap F ^ { r } = 0 $ for $ r + s \neq n $. Then the subspace $ H ^ {p,q} $ can be recovered by the formula $ H ^ {p,q} = F ^ {p} \cap \overline{ {F ^ {q} }}\; $.

An example is the Hodge structure in the $ n $- dimensional cohomology space $ H ^ {n} ( X, \mathbf C ) $ of a compact Kähler manifold $ X $, which was first studied by W.V.D. Hodge (see [1]). In this case the subspace $ H ^ {p,q} $ can be described as the space of harmonic forms of type $ ( p, q) $( cf. Harmonic form), or as the cohomology space $ H ^ {q} ( X, \Omega ^ {p} ) $ of sheaves $ \Omega ^ {p} $ of holomorphic differential forms [2]. The Hodge filtration in $ H ^ {n} ( X, \mathbf C ) $ arises from the filtration of the sheaf complex $ \Omega ^ {\bullet } = \sum _ {p \geq 0 } \Omega ^ {p} $, the $ n $-dimensional hypercohomology group of which is $ H ^ {n} ( X, \mathbf C ) $, by subcomplexes $ \sum _ {p \geq r } \Omega ^ {r} $.

A more general concept is that of a mixed Hodge structure. This is an object consisting of a lattice $ H _ {\mathbf Z } $ in $ H _ {\mathbf R } = H _ {\mathbf Z } \otimes \mathbf R $, an increasing filtration (a filtration of weights) $ W _ {n} $ in $ H _ {\mathbf Q } = H _ {\mathbf Z } \otimes \mathbf Q $ and a decreasing filtration (a Hodge filtration) $ F ^ {p} $ in $ H _ {\mathbf C } = H _ {\mathbf Z } \otimes \mathbf C $, such that on the space $ ( W _ {n+1} /W _ {n} ) \otimes \mathbf C $, the filtrations $ F ^ { p } $ and $ \overline{F ^ { p } } $ determine a pure Hodge structure of weight $ n $. The mixed Hodge structure in the cohomology spaces of a complex algebraic variety (not necessarily compact or smooth) is an analogue of the structure of the Galois module in the étale cohomology (cf. [3]). The Hodge structure has important applications in algebraic geometry (see Period mapping) and in the theory of singularities of smooth mappings (see [4]).

References

[1] W.V.D. Hodge, "The theory and application of harmonic integrals" , Cambridge Univ. Press (1952) MR0051571
[2] P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , 1 , Wiley (Interscience) (1978) MR0507725 Zbl 0408.14001
[3] P. Deligne, "Poids dans la cohomologie des variétés algébriques" R. James (ed.) , Proc. Internat. Congress Mathematicians (Vancouver, 1974) , 1 , Canad. Math. Congress (1975) pp. 79–85 MR0432648 Zbl 0334.14011
[4] A.N. Varchenko, "Asymptotic integrals and Hodge structures" J. Soviet Math. , 27 (1984) pp. 2760–2784 Itogi Nauk. i Tekhn. Sovrem. Probl. Mat. , 22 (1983) pp. 130–166 Zbl 0554.58002

See also the references to Period mapping.

Comments

A Hodge structure of weight $ n $ thus consists of i) a finitely-generated Abelian group $ H _ {\mathbf Z} $; and ii) a finite decreasing filtration $ F ^ { \bullet } $ on $ H _ {\mathbf C} = H _ {\mathbf Z} \otimes \mathbf C $ such that $ F ^ { p } \oplus \overline{F ^ { q } } = H _ {\mathbf C} $ as soon as $ p + q = n + 1 $. A polarization of a Hodge structure of weight $ n $ is a $ ( - 1 ) ^ {n} $- symmetric $ \mathbf Z $- valued bilinear form $ S $ on $ H _ {\mathbf Z} $ such that $ S ( x , y) = 0 $ for $ x \in F ^ { p } $, $ y \in F ^ { n- p- 1 } $ and such that $ i ^ {p-q} S ( x , \overline{x}\; ) > 0 $ for $ 0 \neq x \in F ^ { p } \cap \overline{F ^ { n- p } } $. The Hodge structures arising in algebraic geometry are always polarizable.

There exist classifying spaces for polarized Hodge structures with given numerical data [a1], as well as for mixed Hodge structures with a polarization on graded quotients for the weight filtration [a2]. Mixed Hodge structures form an Abelian category in which every morphism is strictly compatible with both Hodge and weight filtrations. Pure polarized Hodge structures form a Tannakian category [a3]. There exist canonical and functorial mixed Hodge structures on (local) cohomology groups of algebraic varieties , rational homotopy groups [a5], vanishing cycle groups of function germs [a6], [a7], and on the intersection homology groups of algebraic varieties with coefficients in a polarizable variation of Hodge structure [a8], [a9]. In the latter case, there is even a pure Hodge structure. At this moment (1989), the ultimate generalization seems to be the concept of a mixed Hodge module [a10][a11].

References

[a1] P. Griffiths, "Periods of integrals on algebraic manifolds" Amer. J. Math. , 90 (1968) pp. 568–625; 805–865 MR0242844 MR0233825 MR0229641 Zbl 0188.24801 Zbl 0183.25501 Zbl 0169.52303
[a2] J. Carlson, E. Cattani, A. Kaplan, "Mixed Hodge structures and compactifications of Siegel's space" A. Beauville (ed.) , Algebraic geometry (Angers, 1979) , Sijthoff & Noordhoff (1980) pp. 77–105 MR605337
[a3] N. Saavedra Rivano, "Catégories Tannakiennes" , Lect. notes in math. , 265 , Springer (1972) Zbl 0246.14003 Zbl 0241.14008
[a4a] P. Deligne, "Théorie de Hodge II, III" Publ. Math. IHES , 40 (1971) pp. 5–58 MR498551
[a4b] P. Deligne, "Théorie de Hodge IV" Publ. Math. IHES , 44 (1975) pp. 5–77
[a5] R.M. Hain, "The de Rham homotopy theory of complex algebraic varieties I, II" $K$-theory , 1 (1987) pp. 271–324; 481–497
[a6] J.H.M. Steenbrink, "Mixed Hodge structure on the vanishing cohomology" P. Holm (ed.) , Real and Complex Singularities (Oslo, 1976). Proc. Nordic Summer School , Sijthoff & Noordhoff (1977) pp. 525–563 MR0485870 Zbl 0373.14007
[a7] V. Navarro Aznar, "Sur la théorie de Hodge–Deligne" Invent. Math. , 90 (1987) pp. 11–76 Zbl 0639.14002
[a8] E. Cattani, A. Kaplan, W. Schmid, "$L^2$ and intersection cohomologies for a polarizable variation of Hodge structure" Invent. Math. , 87 (1987) pp. 217–252 MR870728 Zbl 0611.14006
[a9] M. Kashiwara, T. Kawai, "The Poincaré lemma for variations of Hodge structure" Publ. RIMS Kyoto Univ. , 23 : 2 (1987) pp. 345–407 Zbl 0629.14005
[a10] M. Saito, "Modules de Hodge polarisables" Preprint RIMS , 553 (Oct. 1986) MR1000123 Zbl 0691.14007
[a11] M. Saito, "Mixed Hodge modules" Preprint RIMS , 585 (July 1987) MR2843222 MR1308540 MR1159259 MR1047741 MR1047415 MR1054250 MR1042805 MR0888149 MR0888148 Zbl 05986955 Zbl 0826.32029 Zbl 0815.14008 Zbl 0727.14004 Zbl 0726.14007 Zbl 0753.32004 Zbl 0765.14006 Zbl 0635.14009 Zbl 0635.14008
How to Cite This Entry:
Hodge structure. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hodge_structure&oldid=51292
This article was adapted from an original article by A.I. Ovseevich (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article