Basisartige Kohomologie
# Basisartige Kohomologie

In der Mathematik ist die basisartige Kohomologie oder basische Kohomologie (engl.: basic cohomology) eine Kohomologietheorie zur Beschreibung von Blätterungen, die insbesondere zur Untersuchung Riemannscher Blätterungen eingesetzt wird. Der Name bezieht sich darauf, dass die basisartige Kohomologie die Topologie des Raums der Blätter beschreibt und insbesondere im Fall eines Faserbündels mit der De-Rham-Kohomologie des Basisraumes des Bündels übereinstimmt. Die Definition geht auf Reinhart zurück.

## Definition

Sei ${\mathcal {F}}$ eine $q$-dimensionale Blätterung einer $n$-dimensionalen Mannigfaltigkeit. Der Komplex der basisartigen Formen ist definiert als Unterkomplex des Komplexes der Differentialformen $\Omega ^{*}(M)$ durch

    $\Omega ^{*}(M,{\mathcal {F}}):=\left\{\alpha \in \Omega ^{*}(M):i_{X}\alpha =0,i_{X}d\alpha =0\ \forall \ X\in T_{x}{\mathcal {F}},x\in M\right\}$.

Hierbei bezeichnet $i_{X}$ das innere Produkt und $d$ die äußere Ableitung.

Die äußere Ableitung $d$ bildet $\Omega ^{q}(M,{\mathcal {F}})$ auf $\Omega ^{q+1}(M,{\mathcal {F}})$ ab. Die basisartige Kohomologie $H^{*}(M,{\mathcal {F}})$ ist definiert als die Kohomologie des Komplexes

    $(\Omega ^{*}(M,{\mathcal {F}}),d)$.

## Eigenschaften und Beispiele

* Wenn ${\mathcal {F}}$ die Blätterung durch die Fasern eines Faserbündels $E\rightarrow B$ ist, dann gilt $H^{*}(M,{\mathcal {F}})=H^{*}(B;\mathbb {R} )$.
* Es gilt $H^{n-q}(M,{\mathcal {F}})\simeq \mathbb {R}$ genau dann, wenn es auf $M$ eine Riemannsche Metrik gibt, für die alle Blätter Minimalflächen sind.
* Poincaré-Dualität hält für die basisartige Kohomologie einer Blätterung nur dann, wenn $H^{n-q}(M,{\mathcal {F}})\simeq \mathbb {R}$ gilt, was im Allgemeinen auch für Riemannsche Blätterungen nicht notwendig der Fall ist.
* Für die schwache stabile (oder die schwache instabile) (m+1)-dimensionale Blätterung eines Anosov-Flusses auf einer (2m+1)-dimensionalen Mannigfaltigkeit gilt $H^{m+1}(M,{\mathcal {F}})=0$.
* Die basisartige Kohomologie ist invariant unter $C^{1}$-Diffeomorphismen, aber im Allgemeinen nicht unter Homöomorphismen.
