noncommutative topology, noncommutative geometry
noncommutative stable homotopy theory
genus, orientation in generalized cohomology
(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
The notion of elliptic chain complex is the generalization of the notion of elliptic operator from single linear maps to chain complexes of linear maps.
For a smooth manifold and a collection of vector bundles over , a chain complex of differential operators between the spaces of sections of these bundles
is called an elliptic chain complex if the corresponding sequence of symbols
(where is the cotangent bundle) is an exact sequence.
For instance (Pati, def. 9.4.1).
For a single differential operator this says that is exact, which means that is an isomorphism, hence that is an elliptic operator.
If is an elliptic complex of smooth sections of a vector bundle overa compact closed manifold , then the inclusion
into the complex of distributional sections is a quasi-isomorphism, in fact a homotopy equivalence.
This is due to (Atiyah-Bott). A localized refinement (suitable for factorization algebras of local observables) appears as Gwilliam, lemma 5.2.13.
The classical examples of elliptic complexes are discussed also in (Gilkey section 3).
Let be a compact smooth manifold. Then the de Rham complex is an elliptic complex. The corresponding index of an elliptic complex is the Euler characteristic
(…)
The index of an elliptic complex of the Dolbeault complex is the arithmetic genus
(…) index is A-hat genus (…)
374–407. MR 0212836 (35 #3701)
Last revised on March 23, 2020 at 09:44:29. See the history of this page for a list of all contributions to it.