\(L^{\infty}\) cohomology is intersection cohomology (Q456783)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(L^{\infty}\) cohomology is intersection cohomology |
scientific article |
Statements
\(L^{\infty}\) cohomology is intersection cohomology (English)
0 references
16 October 2012
0 references
Let \(M\) be a \(C^\infty\) submanifold of \(\mathbb R^n\) endowed by a natural structure of Riemannian manifold, and let \((\Omega^\bullet(M),d)\) be the de Rham complex on \(M\). Suppose that for a differential form \(\omega\in \Omega^p(M)\) there is a constant \(C\) such that for any \(x\in M\) one has \(| \omega(x)| \leq C,\) where \(| \omega(x)|\) denotes the norm of \(\omega(x).\) Then \(\omega\) is called the \(L^{\infty }\) differential \(p\)-form. The real vector space generated by all \(\omega\in\Omega^p(M)\) such that \(\omega\) and \(d \omega\) are both \(L^{\infty }\) differential forms is denoted by \(\Omega^p_{\infty}(M)\). Thus, one obtains an increasing subcomplex \((\Omega^\bullet_{\infty}(M),d)\) of the de Rham complex. The cohomology groups of this cochain complex are called the \(L^{\infty }\)-cohomology groups of \(M;\) they are denoted by \(H^\bullet_\infty(M).\) Given a subanalytic set \(X,\) the set of its points at which \(X\) is locally a \(C^\infty\) manifold is denoted by \(X_{\text{reg}},\) while the complement \(X\setminus X_{\text{reg}}\) is denoted by \(X_{\text{sing}}\). By definition, an \(\ell\)-dimensional pseudomanifold is a globally subanalytic locally closed set \(X\subset \mathbb R^n\) such that \(X_{\text{reg}}\) is a manifold of dimension \(\ell\) and \(\dim X_{\text{sing}} \leq \ell-2.\) The aim of the paper is to prove the following variant of de Rham theorem for compact subanalyitic \(\ell\)-dimensional pseudomanifolds: \(L^{\infty }\)-cohomology groups of \(X_{\text{reg}}\) and intersection cohomology groups of maximal perversity of \(X\) are naturally isomorphic, that is, \(H^q_{\infty}(X_{\text{reg}}) \cong I^\ell H^q(X)\) for all \(q\geq 0\). The proof is a result of detail analysis of the metric type of subanalytic singular sets; it is based essentially on properties of Lipschitz functions and homemomorphisms, on a version of the classical Poincaré lemma in the context of \(L^{\infty }\) differential forms, on the theory of integration on subanalytic singular simplices, etc. In fact, the author exploits techniques developed in his earlier papers [Ill. J. Math. 49, No. 3, 953--979 (2005; Zbl 1154.14323); J. Symb. Log. 73, No. 2, 439--447 (2008; Zbl 1145.03017)].
0 references
differential forms
0 references
de Rham cohomology
0 references
Poincaré lemma
0 references
subanalytic sets
0 references
pseudomanifolds
0 references
singular sets
0 references
intersection homology
0 references
perversity
0 references
0 references