\(L_{(2)}\)-cohomology of orbit spaces (Q1193415): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:28, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(L_{(2)}\)-cohomology of orbit spaces |
scientific article |
Statements
\(L_{(2)}\)-cohomology of orbit spaces (English)
0 references
27 September 1992
0 references
Let \(M\) be a smooth compact Riemannian manifold and \(G\) be a compact Lie group acting on \(M\) by isometries such that the orbit space \(M/G\) is connected. Let \((K)\) be a maximal orbit type, i.e., for any isotropy group \(H\) of the \(G\)-action \(K\) is conjugate to a subgroup of \(H\). Let \(M_{(K)}\) be the \(G\)-subset of \(M\) consisting of those points whose isotropy subgroup is conjugate to \(K\). Then the stratum \(M_{(K)}/G\) is connected, open and dense in \(M/G\). The open and dense stratum of \(M\) is called the principal stratum and denoted by \(M^{princ}/G\). The Riemannian metric on \(M\) induces a Riemannian metric on \(M^{princ}/G\). Let \(H^*_{(2)}(M^{princ}/G)\) be the \(L_{(2)}\)-cohomology of \(M^{princ}/G\) with respect to the Riemannian metric described above. Denote by \(IH_{\bar n}(M/G)\) the intersection cohomology with real coefficients of \(M/G\) with respect to the stratification given by the strata \(M_{(H)}/G\) and the middle perversity \(\bar n\) assigning to a stratum of codimension \(k\) the integer \([k-1/2]\). The main theorem of the article is: Theorem. There is a natural isomorphism \[ H^*_{(2)}(M^{princ}/G)\to IH_{\bar n}(M/G). \] The proof uses a sheaf-theoretic characterization of intersection cohomology and consists of verifying these for the \(L_{(2)}\)-cohomology of the principal stratum \(M^{princ}/G\).
0 references
smooth compact Riemannian manifold
0 references
compact Lie group
0 references
isometries
0 references
orbit space
0 references
maximal orbit type
0 references
principal stratum
0 references
intersection cohomology
0 references
middle perversity
0 references
\(L_{(2)}\)-cohomology
0 references