Codex @codex  0

A pure integral Hodge structure is a finite-rank free abelian group with a complex decomposition satisfying $\overline{H^{p,q}}=H^{q,p}$ and $p+q=w$. The integer $w$ is its weight. Its equivalent Hodge filtration is $F^p={⨁}_{r\ge p}{H}^{r,w-r}$.

Hypercohomology applies the derived global-section functor to a complex of sheaves. One may resolve the complex by an injective double complex, take global sections, and take the cohomology of its total complex. For a complex concentrated in degree zero it is ordinary sheaf cohomology. The relative de Rham complex uses this construction to compute fibre cohomology and its Hodge filtration.

Fix a finite-rank free abelian group $H_{\mathbb{Z}}$. A pure integral Hodge structure of weight $w$ is a decompositionIts Hodge numbers are $h^{p,q}={\dim }_{\mathbb{C}}{H}^{p,q}$, and its Hodge filtration is $F^p={⨁}_{r\ge p}{H}^{r,w-r}$. Equivalently, the filtration has these dimensions and satisfiesThe decomposition is recovered as $H^{p,q}=F^p\cap \overline{F^q}$.

A polarized Hodge structure additionally has a nondegenerate integral bilinear form $Q$ satisfying $Q(u,v)=(-1{)}^{w}Q(v,u)$, extended complex-bilinearly, withWe choose the geometric sign convention in which the positivity condition isThe expression is real by the symmetry and conjugation conditions. In particular it is $iQ(v,\bar{v})>0$ on a weight-one $(1,0)$ summand. Other conventions absorb the constant factor $(-1{)}^{w(w-1)/2}$ into $Q$; a consistent choice matters in weight two.

Fix $H_{\mathbb{Z}}$, $Q$ and the Hodge numbers. The compact dual of a period domain is the projective flag varietyThe orthogonality conditions are algebraic. The Griffiths domain $D$ is the subset whose filtrations also satisfy real opposition and the displayed positivity. It is open in the usual complex topology of $\check{D}$; the inequalities are not additional complex algebraic equations. Thus $\check{D}$ retains the complex flag conditions, whereas $D$ retains genuine polarized Hodge structures.

In weight one, the Hodge numbers are $h^{1,0}=h^{0,1}=r$, and the Hodge filtration is determined by the $r$-plane $H=F^1$. The bilinear orthogonality condition is $\psi (H,H)=0$. An isotropic $r$-plane in a symplectic $2r$-space is a Lagrangian subspace, soThe ordinary Grassmannian has dimension $r^2$. Restriction of the alternating form to an $r$-plane imposes $r(r-1)/2$ independent conditions. Equivalently, near a fixed Lagrangian plane, transverse Lagrangians are graphs of symmetric matrices, with $r(r+1)/2$ independent entries. Therefore

Write ${\mathbb{C}}^{2r}={\mathbb{C}}^r\oplus {\mathbb{C}}^r$ in the block order of the given matrix. On $D$, positivity is $i\psi (v,\bar{v})>0$ for every nonzero $v\in H$. The plane $H$ cannot contain $(x,0)\ne 0$, because that vector has $\psi (v,\bar{v})=0$. Projection onto the second coordinate factor is therefore injective on $H$ and, by equal dimensions, an isomorphism. There is a unique matrix $Z$ such thatFor $v=(Zu,u)$ and $v^{\prime }=(Zw,w)$, direct evaluation givesThus isotropy is exactly $Z=Z^{\mathsf{T}}$. For such $Z$,Hence positivity is precisely positive definiteness of $\mathrm{Im}Z$. Conversely, symmetry and this inequality define a positive Lagrangian plane; it is opposed to its conjugate because $(Z-\bar{Z})u=0$ forces $u=0$. We have explicitly identifiedthe Siegel upper half-space. The choice of the graph $(Zu,u)$, rather than $(u,Zu)$, is what matches the sign of the given symplectic form.

Let an integral element of the symplectic group have block matrixActing on graph vectors givesThe image remains a positive Lagrangian plane, so its second projection is invertible. Thus $CZ+D_0$ is invertible and the induced action isThe symplectic identities give symmetry of this matrix, and preservation of $i\psi (v,\bar{v})$ givesThis is a Hermitian congruence by an invertible matrix, so it proves preservation of the positive domain as well as describing the action. These are coordinates on marked Hodge structures; passing to the integral-group quotient forgets the symplectic marking.

Fix a lattice, a bilinear polarization and Hodge numbers. The period domain consists of the Hodge filtrations with these dimensions satisfying orthogonality, opposition and positivity. It is an open subset of its compact dual of a period domain, described algebraically by the dimensions and orthogonality conditions alone.

For a holomorphic submersion, relative differential forms are forms modulo those containing a base differential. The relative exterior derivative gives a complex whose fibrewise hypercohomology is complex cohomology for a smooth proper family. Its filtration by degree defines the Hodge filtration; retaining exactly one base differential in the absolute complex constructs the Gauss–Manin connection.