In algebraic geometry, a mixed Hodge structure is an algebraic structure containing information about the cohomology of general algebraic varieties. It is a generalization of a Hodge structure, which is used to study smooth projective varieties.
In mixed Hodge theory, where the decomposition of a cohomology group may have subspaces of different weights, i.e. as a direct sum of Hodge structures
where each of the Hodge structures have weight . One of the early hints that such structures should exist comes from the long exact sequence of a pair of smooth projective varieties . The cohomology groups (for ) should have differing weights coming from both and .
Originally, Hodge structures were introduced as a tool for keeping track of abstract Hodge decompositions on the cohomology groups of smooth projective algebraic varieties. These structures gave geometers new tools for studying algebraic curves, such as the Torelli theorem, Abelian varieties, and the cohomology of smooth projective varieties. One of the chief results for computing Hodge structures is an explicit decomposition of the cohomology groups of smooth hypersurfaces using the relation between the Jacobian ideal and the Hodge decomposition of a smooth projective hypersurface through Griffith's residue theorem. Porting this language to smooth non-projective varieties and singular varieties requires the concept of mixed Hodge structures.
A mixed Hodge structure [1] (MHS) is a triple such that
where the induced filtration of on the graded pieces
are pure Hodge structures of weight .
Note that similar to Hodge structures, mixed Hodge structures use a filtration instead of a direct sum decomposition since the cohomology groups with anti-holomorphic terms, where , don't vary holomorphically. But, the filtrations can vary holomorphically, giving a better defined structure.
Morphisms of mixed Hodge structures are defined by maps of abelian groups
such that
and the induced map of -vector spaces has the property
The Hodge numbers of a MHS are defined as the dimensions
since is a weight Hodge structure, and
is the -component of a weight Hodge structure.
There is an Abelian category [2] of mixed Hodge structures which has vanishing -groups whenever the cohomological degree is greater than : that is, given mixed hodge structures the groups
for [2] pg 83.
Many mixed Hodge structures can be constructed from a bifiltered complex. This includes complements of smooth varieties defined by the complement of a normal crossing variety. Given a complex of sheaves of abelian groups and filtrations [1] of the complex, meaning
There is an induced mixed Hodge structure on the hyperhomology groups
from the bi-filtered complex . Such a bi-filtered complex is called a mixed Hodge complex [1] : 23
Given a smooth variety where is a normal crossing divisor (meaning all intersections of components are complete intersections), there are filtrations on the logarithmic de Rham complex given by
It turns out these filtrations define a natural mixed Hodge structure on the cohomology group from the mixed Hodge complex defined on the logarithmic complex .
The above construction of the logarithmic complex extends to every smooth variety; and the mixed Hodge structure is isomorphic under any such compactificaiton. Note a smooth compactification of a smooth variety is defined as a smooth variety and an embedding such that is a normal crossing divisor. That is, given compactifications with boundary divisors there is an isomorphism of mixed Hodge structure
showing the mixed Hodge structure is invariant under smooth compactification. [2]
For example, on a genus plane curve logarithmic cohomology of with the normal crossing divisor with can be easily computed [3] since the terms of the complex equal to
are both acyclic. Then, the Hypercohomology is just
the first vector space are just the constant sections, hence the differential is the zero map. The second is the vector space is isomorphic to the vector space spanned by
Then has a weight mixed Hodge structure and has a weight mixed Hodge structure.
Given a smooth projective variety of dimension and a closed subvariety there is a long exact sequence in cohomology [4] pg7-8
coming from the distinguished triangle
of constructible sheaves. There is another long exact sequence
from the distinguished triangle
whenever is smooth. Note the homology groups are called Borel–Moore homology, which are dual to cohomology for general spaces and the means tensoring with the Tate structure add weight to the weight filtration. The smoothness hypothesis is required because Verdier duality implies , and whenever is smooth. Also, the dualizing complex for has weight , hence . Also, the maps from Borel-Moore homology must be twisted by up to weight is order for it to have a map to . Also, there is the perfect duality pairing
giving an isomorphism of the two groups.
A one dimensional algebraic torus is isomorphic to the variety , hence its cohomology groups are isomorphic to
The long exact exact sequence then reads
Since and this gives the exact sequence
since there is a twisting of weights for well-defined maps of mixed Hodge structures, there is the isomorphism
Given a quartic K3 surface , and a genus 3 curve defined by the vanishing locus of a generic section of , hence it is isomorphic to a degree plane curve, which has genus 3. Then, the Gysin sequence gives the long exact sequence
But, it is a result that the maps take a Hodge class of type to a Hodge class of type . [5] The Hodge structures for both the K3 surface and the curve are well-known, and can be computed using the Jacobian ideal. In the case of the curve there are two zero maps
hence contains the weight one pieces . Because has dimension , but the Leftschetz class is killed off by the map
sending the class in to the class in . Then the primitive cohomology group is the weight 2 piece of . Therefore,
The induced filtrations on these graded pieces are the Hodge filtrations coming from each cohomology group.
In vector calculus and differential geometry the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. In particular, the fundamental theorem of calculus is the special case where the manifold is a line segment, Green’s theorem and Stokes' theorem are the cases of a surface in or and the divergence theorem is the case of a volume in Hence, the theorem is sometimes referred to as the Fundamental Theorem of Multivariate Calculus.
In mathematics, de Rham cohomology is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties.
In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds of the same dimension are cobordant if their disjoint union is the boundary of a compact manifold one dimension higher.
In algebraic geometry, motives is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety.
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.
In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.
In mathematics, specifically algebraic topology, Čech cohomology is a cohomology theory based on the intersection properties of open covers of a topological space. It is named for the mathematician Eduard Čech.
In algebraic geometry and the theory of complex manifolds, a logarithmic differential form is a differential form with poles of a certain kind. The concept was introduced by Pierre Deligne. In short, logarithmic differentials have the mildest possible singularities needed in order to give information about an open submanifold.
In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let M be a complex manifold. Then the Dolbeault cohomology groups depend on a pair of integers p and q and are realized as a subquotient of the space of complex differential forms of degree (p,q).
In algebraic geometry, the Chow groups of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.
In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.
In mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946 by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence.
In mathematics, in the field of algebraic geometry, the period mapping relates families of Kähler manifolds to families of Hodge structures.
In mathematics, the Poincaré residue is a generalization, to several complex variables and complex manifold theory, of the residue at a pole of complex function theory. It is just one of a number of such possible extensions.
In mathematics, a Hodge structure, named after W. V. D. Hodge, is an algebraic structure at the level of linear algebra, similar to the one that Hodge theory gives to the cohomology groups of a smooth and compact Kähler manifold. Hodge structures have been generalized for all complex varieties in the form of mixed Hodge structures, defined by Pierre Deligne (1970). A variation of Hodge structure is a family of Hodge structures parameterized by a manifold, first studied by Phillip Griffiths (1968). All these concepts were further generalized to mixed Hodge modules over complex varieties by Morihiko Saito (1989).
In homological algebra, the hyperhomology or hypercohomology is a generalization of (co)homology functors which takes as input not objects in an abelian category but instead chain complexes of objects, so objects in . It is a sort of cross between the derived functor cohomology of an object and the homology of a chain complex since hypercohomology corresponds to the derived global sections functor .
In mathematics, mixed Hodge modules are the culmination of Hodge theory, mixed Hodge structures, intersection cohomology, and the decomposition theorem yielding a coherent framework for discussing variations of degenerating mixed Hodge structures through the six functor formalism. Essentially, these objects are a pair of a filtered D-module together with a perverse sheaf such that the functor from the Riemann–Hilbert correspondence sends to . This makes it possible to construct a Hodge structure on intersection cohomology, one of the key problems when the subject was discovered. This was solved by Morihiko Saito who found a way to use the filtration on a coherent D-module as an analogue of the Hodge filtration for a Hodge structure. This made it possible to give a Hodge structure on an intersection cohomology sheaf, the simple objects in the Abelian category of perverse sheaves.
In mathematics the Jacobian ideal or gradient ideal is the ideal generated by the Jacobian of a function or function germ. Let denote the ring of smooth functions in variables and a function in the ring. The Jacobian ideal of is
In mathematics, Deligne cohomology is the hypercohomology of the Deligne complex of a complex manifold. It was introduced by Pierre Deligne in unpublished work in about 1972 as a cohomology theory for algebraic varieties that includes both ordinary cohomology and intermediate Jacobians.
In complex geometry, the Kähler identities are a collection of identities between operators on a Kähler manifold relating the Dolbeault operators and their adjoints, contraction and wedge operators of the Kähler form, and the Laplacians of the Kähler metric. The Kähler identities combine with results of Hodge theory to produce a number of relations on de Rham and Dolbeault cohomology of compact Kähler manifolds, such as the Lefschetz hyperplane theorem, the hard Lefschetz theorem, the Hodge-Riemann bilinear relations, and the Hodge index theorem. They are also, again combined with Hodge theory, important in proving fundamental analytical results on Kähler manifolds, such as the -lemma, the Nakano inequalities, and the Kodaira vanishing theorem.