Discussion Overview
The discussion centers around the properties of de Rham cohomology, specifically addressing why the cohomology group H rD(M) equals zero for r greater than the dimension n of the manifold M. Participants are exploring definitions and properties related to cohomology, including cocycles and coboundaries.
Discussion Character
- Exploratory
- Technical explanation
- Conceptual clarification
Main Points Raised
- One participant questions the reasoning behind H rD(M) = 0 for r > n, stating it is not obvious to them.
- Another participant asks for clarification on how the group is defined, indicating a need for foundational understanding.
- A subsequent post reiterates the definition of the group as HrD(M) = Ker(dr)/Im(dr-1), seeking further clarification on the homomorphism properties of dr.
- It is suggested that the properties of the wedge product may provide insight into the question raised.
- One participant points out that there are no non-zero cochains in dimensions above the manifold's dimension, linking this to the determinant of matrices with rank less than n.
- Another participant emphasizes the importance of defining n-cocycles and n-coboundaries to understand the cohomology groups, referencing Poincaré Duality conditions for further clarification.
Areas of Agreement / Disagreement
The discussion reflects a lack of consensus on the initial question regarding H rD(M) = 0 for r > n, with participants offering various perspectives and seeking clarification on definitions and properties without reaching a definitive conclusion.
Contextual Notes
Participants highlight the need for clear definitions of cochains, cocycles, and coboundaries, as well as the implications of dimensionality in the context of cohomology, indicating that assumptions about these concepts may not be universally understood.