English

The de Rham cohomology of soft function algebras

Algebraic Topology 2022-08-25 v1 Commutative Algebra Functional Analysis

Abstract

We study the dg-algebra ΩAR\Omega ^\bullet_{A|\mathbb{R}} of algebraic de Rham forms of a real soft function algebra AA, i.e., the algebra of global sections of a soft subsheaf of CXC_X, the sheaf of continuous functions on a space XX. We obtain a canonical splitting Hn(ΩAR)Hn(X,R)V\mathrm H ^n (\Omega ^\bullet_{A|\mathbb{R}}) \cong \mathrm H ^n (X,\mathbb{R})\oplus V, where VV is some vector space. In particular, we consider the cases A=C(X)A=C(X) for XX a compact Hausdorff space and A=C(X)A = C^\infty (X) for XX a compact smooth manifold. For the algebra PPolK(K)\mathrm{PPol}_K (|K|) of piecewise polynomial functions on a polyhedron KK the above splitting reduces to a canonical isomorphism H(ΩPPolK(K)R)H(K,R)\mathrm H ^* (\Omega ^\bullet_{\mathrm{PPol}_K (|K|)|\mathbb{R}}) \cong \mathrm H ^* (|K|,\mathbb{R}). We also prove that the algebraic de Rham cohomology Hn(ΩC(X)R)\mathrm H ^n (\Omega ^\bullet_{C(X)|\mathbb{R}}) is nontrivial for each n1n\geq 1 if XX is an infinite compact Hausdorff space.

Keywords

Cite

@article{arxiv.2208.11431,
  title  = {The de Rham cohomology of soft function algebras},
  author = {Igor Baskov},
  journal= {arXiv preprint arXiv:2208.11431},
  year   = {2022}
}

Comments

32 pages