|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
Less technical intro?
It's got very technical, hasn't it? The original Cech definition wouldn't have been for a general presheaf, but something more like a constant sheaf. Could we have an introductory section saying something about cochains with integer values?
Charles Matthews 11:08, 17 December 2005 (UTC)
I agree with you. I think we should have a more straight forward example. I will try to write something down if there is a good example.
A priori or direct limit?
Is the Čech cohomlogy, a cohomology a priori, or is it just the direct limit of a set of cohomologies, with the direct limit being isomorphic to specific Čech cohomlogies, , with respect to good open covers, as a consequence of a Theorem? Figaro 14:57, 8 February 2006 (UTC)
I'd like to see the isomorphisms worked out in detail,
e.g. the iso to de Rham. (never mind, the article on de Rham cohomology provides a breif review of this isomorphism). Also, some examples on how to compute these things, e.g. if the space X is not a differentiable manifold, but something else (I'm interested in the topology of cylinder sets). linas 01:35, 14 September 2006 (UTC)
de Rham isomorphic?
I was wondering about the de Rham isomorphism. In Bott&Tu there is a proof of this for finite good covers. Does this isomorphism still exist otherwise? I think this ought to be clarified.
wrongly defined res operator ?
I think, the restriction operator is wrong:
should be the restriction form to
Boundary of a simplex?
In the Construction:Simplex subsection, there is a definition of the boundary of a simplex as the alternating sum of the partial boundaries of the simplex. What does it mean to add elements of ? Also, I don't see that the boundary of a simplex is used anywhere else in the article (only the partial boundaries), so it seems the relevant sentence could be deleted without effecting anything else. EitanAngel (talk) 21:03, 5 August 2011 (UTC)
I think that one of the most useful properties of Cech cohomology is that it is a continuous theory i.e. to work out the Cech cohomology of an inverse limit, you work out the corresponding direct limit of the Cech cohomology groups of the approximants. Shouldn't this be a property which is included on this page?
Coefficient group for Penrose triangle
To explain the caption I used:
- A Penrose triangle depicts a nontrivial element of the first cohomology of an annulus with values in the group of distances from the observer
The reference article has a Penrose triangle drawn in perspective, so the "group of distances" is the multiplicative group R+, which acts by scaling 3D interpretations of patches of the 2D diagram. Wikimedia Commons doesn't actually have a Penrose triangle drawn in perspective, so I chose the lazy route and used File:Penrose-dreieck.svg, which is drawn in an orthographic projection. Accordingly, the "group of distances" is now the additive group R, which acts on local 3D interpretations by shifting the Z coordinate. The distinction is too trivial to dwell on in the article. I just wanted to explain why it was necessary to be vague. Melchoir (talk) 08:16, 17 January 2014 (UTC)