# Hodge-Struktur

In der Mathematik ist eine Hodge-Struktur eine algebraische Struktur, die die Hodge-Zerlegung der Kohomologie kompakter Kähler-Mannigfaltigkeiten verallgemeinert. Hodge-Strukturen haben vielfältige Anwendungen in komplexer und algebraischer Geometrie.

## Definitionen

Eine Hodge-Zerlegung eines reellen Vektorraums $V$ ist eine Zerlegung
    $V\otimes _{\mathbb {R} }\mathbb {C} =\bigoplus _{p,q\in \mathbb {Z} ^{2}}V^{p,q}$
mit ${\overline {V^{q,p}}}=V^{p,q}$ für alle $p,q$.
Eine Hodge-Struktur ist ein reeller Vektorraum zusammen mit einer Hodge-Zerlegung.
Eine reine Hodge-Struktur vom Gewicht $n$ ist eine Hodge-Struktur mit
    $V\otimes _{\mathbb {R} }\mathbb {C} =\bigoplus _{p+q=n}V^{p,q}.$
Allgemein hat man für eine Hodge-Struktur eine Gewichtszerlegung
    $V=\bigoplus _{n}V_{n}$
mit $V_{n}=\bigoplus _{p+q=n}V^{p,q}.$
Eine ganze Hodge-Struktur (bzw. rationale Hodge-Struktur) ist ein endlich erzeugter freier $\mathbb {Z}$-Modul (bzw. ein endlich erzeugter $\mathbb {Q}$-Vektorraum) $A$ mit einer Hodge-Zerlegung von $V=A\otimes _{\mathbb {Z} }\mathbb {R}$ (bzw. $V=A\otimes _{\mathbb {Q} }\mathbb {R}$), so dass die Gewichtszerlegung über $\mathbb {Q}$ definiert ist.

## Beispiele
### Hodge-Tate-Strukturen
#### Z(n)

$\mathbb {Z} (1)$ ist die ganze Hodge-Struktur mit $\mathbb {Z}$-Modul
    $2\pi i\mathbb {Z} \subset \mathbb {C}$
und $\mathbb {Z} (1)\otimes _{\mathbb {Z} }\mathbb {C} =H^{-1,-1}$. Sie ist die einzige 1-dimensionale Hodge-Struktur vom Gewicht -2.
Mit $\mathbb {Z} (n)$ wird das $n$-fache Tensorprodukt
    $\mathbb {Z} (n):=\mathbb {Z} (1)\otimes \ldots \otimes \mathbb {Z} (1)$
bezeichnet.

#### Q(n)

$\mathbb {Q} (1)$ ist die rationale Hodge-Struktur mit $\mathbb {Q}$-Vektorraum
    $2\pi i\mathbb {Q} \subset \mathbb {C}$
und $\mathbb {Q} (1)\otimes _{\mathbb {Q} }\mathbb {C} =H^{-1,-1}$. $\mathbb {Q} (n)$ ist das $n$-fache Tensorprodukt $\mathbb {Q} (n):=\mathbb {Q} (1)\otimes \ldots \otimes \mathbb {Q} (1)$.

#### R(n)

$\mathbb {R} (1)$ ist die Hodge-Struktur mit $\mathbb {R}$-Vektorraum
    $i\mathbb {R} \subset \mathbb {C}$
und $\mathbb {R} (1)\otimes _{\mathbb {R} }\mathbb {C} =H^{-1,-1}$. $\mathbb {R} (n)$ ist das $n$-fache Tensorprodukt $\mathbb {R} (n):=\mathbb {R} (1)\otimes \ldots \otimes \mathbb {R} (1)$.

### Hodge-Zerlegungs-Satz für Kähler-Mannigfaltigkeiten

Die Kohomologie einer kompakten Kähler-Mannigfaltigkeit $M$ trägt eine Hodge-Struktur: nach dem Satz von Hodge kann man die $n$-te Kohomologie $H^{n}(M;\mathbb {R} )$ mit dem Raum der harmonischen Differentialformen ${\mathcal {H}}^{n}(M)$ identifizieren und es gilt
    ${\mathcal {H}}^{n}(M)\otimes _{\mathbb {R} }\mathbb {C} =\bigoplus _{p+q=n}{\mathcal {H}}^{p,q}(M)$
wobei ${\mathcal {H}}^{p,q}(M)$ die harmonischen (p,q)-Formen bezeichnet. Es gilt ${\overline {{\mathcal {H}}^{p,q}(M)}}={\mathcal {H}}^{q,p}(M)$.

## Hodge-Filtrierung

Zu einer reinen Hodge-Struktur vom Gewicht $n$ bezeichnet man die Filtrierung
    $\ldots \supset F^{p}\supset F^{p+1}\supset \ldots$
mit
    $F^{p}=\bigoplus _{r\geq p}V^{r,s}\subset V\otimes _{\mathbb {R} }\mathbb {C}$
als zugehörige Hodge-Filtrierung.
Die Hodge-Filtrierung bestimmt die Hodge-Zerlegung durch
    $V^{p,q}=F^{p}\cap {\overline {F^{q}}}.$
Die Existenz einer reinen Hodge-Zerlegung vom Gewicht $n$ ist also äquivalent zur Existenz einer Filtrierung $(F^{p})_{p\in \mathbb {Z} }$ von $V\otimes _{\mathbb {R} }\mathbb {C}$ mit $F^{p}=0$ für hinreichend große $p$ und
    $F^{p}\oplus {\overline {F^{q+1}}}=V\otimes _{\mathbb {R} }\mathbb {C}$
für alle $p,q$ mit $p+q=n$.