Definition talk:De Rham Cohomology

From ProofWiki
Jump to navigation Jump to search

Prime.mover: Maybe we pick $H^{\bullet}_{\text{dR}}$? Also could we make the 'de' in the title not capitalized? 'de Rham' is the surname and the 'd' should not be capitalized. --Z423x5c6 (talk) 15:50, 5 November 2021 (UTC)

You can't uncapitalise the first letter after the namespace colon in a title. You can after a forward slash but not here. Same problem with de Morgan. Afraid we have to live with it. --prime mover (talk) 16:13, 5 November 2021 (UTC)
As for the notation, the page on Wikipedia has $H^k_{\mathrm {dR} }$ where $k$ is the index.
Best advice is to implement whatever your source work provides, then you can work through the exposition therein, and ensure that the full theory on de Rham cohomologies is complete and consistent. --prime mover (talk) 16:17, 5 November 2021 (UTC)
I see. Let me try. For the notation, they are consistent because $H^k_{\mathrm {dR} }$ is for individual cohomology group and $H^{\bullet}_{\mathrm {dR} }$ is for the whole group, which carries a natural ring structure. --Z423x5c6 (talk) 16:26, 5 November 2021 (UTC)
Worth thinking about $H^{\circ}_{\mathrm {dR} }$ being more obviously a "ring"? --prime mover (talk) 17:26, 5 November 2021 (UTC)