Elliptic complex

In mathematics, in particular in partial differential equations and differential geometry, an elliptic complex generalizes the notion of an elliptic operator to sequences. Elliptic complexes isolate those features common to the de Rham complex and the Dolbeault complex which are essential for performing Hodge theory. They also arise in connection with the Atiyah-Singer index theorem and Atiyah-Bott fixed point theorem.

Definition

If "E"₀, "E"₁, ..., "E"_"k" are vector bundles on a smooth manifold "M" (usually taken to be compact), then a differential complex is a sequence

:$Gamma(E\_0)\; stackrel\{P\_1\}\{longrightarrow\}\; Gamma(E\_1)\; stackrel\{P\_2\}\{longrightarrow\}\; ldots\; stackrel\{P\_k\}\{longrightarrow\}\; Gamma(E\_k)$

of differential operators between the sheaves of sections of the "E"_"i" such that "P"_"i"+1 o "P"_"i"=0. A differential complex is elliptic if the sequence of symbols

:$0\; ightarrow\; pi^*E\_0\; stackrel\{sigma(P\_1)\}\{longrightarrow\}\; pi^*E\_1\; stackrel\{sigma(P\_2)\}\{longrightarrow\}\; ldots\; stackrel\{sigma(P\_k)\}\{longrightarrow\}\; pi^*E\_k\; ightarrow\; 0$

is exact. Here π is the projection of the cotangent bundle "T*M" to "M", and π* is the pullback of a vector bundle.

ee also

*Chain complex