Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T12:06:34Z http://mathoverflow.net/feeds/question/57025 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness Janos Erdmann 2011-03-01T19:30:52Z 2012-01-03T15:21:47Z <p>I'm soon giving an introductory talk on de Rham cohomology to a wide postgraduate audience. I'm hoping to get to arrive at the idea of de Rham cohomology for a smooth manifold, building up from vector fields and one-forms on Euclidean space. However, once I've got there I'm not too sure how to convince everyone that it was worth the journey. What down-to-earth uses could one cite to prove the worth of the construct?</p> http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu/57028#57028 Answer by Anton Petrunin for Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness Anton Petrunin 2011-03-01T19:55:48Z 2011-03-02T00:16:24Z <p>The calculations of cohomology of homogeneous space $X=G/H$ is reduced to a problem in linear algebra. </p> <p>[If $G$ is compact and connected then any form is cohomologous to its left shifts and therefore it is cohomologous to the avagage of all left shifts, which is a left-invariant form. Thus $H^k(X,\mathbb R)$ is isomorphic to space of $k$-forms at one point which is invariant under roation of the stabilizer.]</p> http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu/57033#57033 Answer by Faisal for Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness Faisal 2011-03-01T20:55:47Z 2011-03-01T21:50:31Z <p>This is probably not "down-to-Earth" enough for your purposes, but it was one of the first uses of de Rham cohomology that I really enjoyed and I feel like I must share it. (I learned it from Bott's article "The geometry and representation theory of compact Lie groups" in the 1977 Proceedings of the SRC/LMS Research Symposium on Representations of Lie Groups.)</p> <blockquote> <p>Theorem: If the $n$-sphere $S^n$ is a Lie group, then $n$ must be odd (or zero!).</p> </blockquote> <p>Proof: $S^0$ is obviously a Lie group, so that's that. If $S^{2n}$ were a Lie group (and $n>0$), then we'd have a smooth multiplication map $m \colon S^{2n} \times S^{2n} \to S^{2n}$ and an identity element $e \in S^{2n}$. The map $m$ induces a ring homomorphism $m^\ast \colon H^\ast(S^{2n}) \to H^\ast(S^{2n} \times S^{2n})$. Composing this with the Kunneth isomorphism $$H^\ast(S^{2n} \times S^{2n}) \stackrel{\sim}{\longrightarrow} H^\ast(S^{2n}) \otimes H^\ast(S^{2n})$$ yields a map $f \colon H^\ast(S^{2n}) \to H^\ast(S^{2n}) \otimes H^\ast(S^{2n})$.</p> <p>Now, <code>$$H^\ast(S^{2n}) = \begin{cases} \mathbb{R} &amp; \text{if }\ast=0 \text{ or } 2n \\ 0 &amp; \text{otherwise.}\end{cases}$$</code> So, writing $1$ and $\lambda$ for the generators of $H^0$ and $H^{2n}$, respectively, we have $f(1)=1\otimes1$ and $f(\lambda)=a(\lambda\otimes1)+b(1\otimes\lambda)$ for some $a,b\in\mathbb{R}$. To determine $a$ and $b$, first restrict the multiplication map to <code>$S^{2n} \times \{e\}$</code>, where it is the identity map. Consequently $m^*$ gives the identification <code>$H^\ast(S^{2n} \times \{e\}) \cong H^\ast(S^{2n})$</code> and it follows that $a=1$. Similarly, $b=1$.</p> <p>As $f$ is a ring homomorphism, we also have <code>\begin{align} f(\lambda^2) = f(\lambda)^2 &amp;= (\lambda\otimes1 + 1\otimes\lambda)^2 \\ &amp;= \lambda^2\otimes1+ (\lambda\otimes1)(1\otimes\lambda)+(1\otimes\lambda)(\lambda\otimes1)+1\otimes\lambda^2.\end{align}</code> As $\lambda^2 \in H^{4n} = 0$, this reduces to $0 = (\lambda\otimes1)(1\otimes\lambda)+(1\otimes\lambda)(\lambda\otimes1)$. Recall, however, that the product structure on the tensor product $A \otimes B$ of graded rings is given by $$(a \otimes b)(c \otimes d) = (-1)^{\deg a \deg c}(ac\otimes bd).$$ Since $\lambda \in H^{2n}$, this means that $$(\lambda\otimes1)(1\otimes\lambda) = (1\otimes\lambda)(\lambda\otimes1) = \lambda \otimes \lambda.$$ Consequently, $\lambda \otimes \lambda = 0$, which is a contradiction! <code>$\blacksquare$</code></p> <p>Of course, there are several other (perhaps even better) ways of proving this theorem, but I think this proof is fairly charming.</p> http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu/57040#57040 Answer by YBL for Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness YBL 2011-03-01T21:44:01Z 2011-03-01T23:55:13Z <p>I'd split your question in 2: </p> <p>(1) Motivation for (co)homonology in general</p> <p>(2) Motiviation for de Rham cohomology in particular. </p> <p>The anwser to (1) is the basis for algebraic topology. One reduces complicated geometry problems to the only thing mathematicians really understand aka linear algebra. A typical example would be are Brouwer fixed point theorem (or its corollary $\mathbb{R}^n \simeq \mathbb{R}^m$ $\Rightarrow$ $n=m$). </p> <p>An answer to (2) is that it is usually much much easier to compute. The reason for this is that it is already more linear by definition but this efficiency comes at the cost of restricting ourselves to smooth manifolds. For example, it is obvious that for any manifold $X$ of dimension $n$, $H^i_{dR}(X) = 0$ for $i > n$ while this is highly non trivial when you look at singular cohomology or sheaf cohomology. On the other hand it is not obvious at all that de Rham cohomology is actually a topological invariant. Another example one would be that if $X$ is an affine complex algebraic variety, one can compute its de Rham cohomology using only algebraic differential forms (not an obvious fact but pretty intuitive for the audience). An audience discovering the theory might be glad to see how easy that makes the computation of the de Rham cohomology of $\mathbb{C}^\times$ (or $S^1$). </p> <p>Another answer to (2) is that de Rham cohomology brings a different flavor and the interaction between Betti and de Rham cohomology leads to periods, Hodge theory etc... but this may be hard to get to in an introductory talk. </p> <p>PS: I can't believe I didn't mention it (that's the what I was aiming at in the last paragraph) but I think it would make a great goal for an introductory lecture: STOKES' THEOREM!!! As an undergrad, my physics teachers kept bothering me with operators like "div" and "rot", we had a formula for a volume, one for a surface and one for a line. I had to wait several years and a differential geometry class to understand that these were all special case of the simple and elegant Stokes' formula. In modern terminology it just means that integration induces a morphism of complexes: $\int_X: \Gamma(X,\Omega_X^\bullet) \to Hom(C_\bullet(X),\mathbb{K})$. </p> http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu/57054#57054 Answer by Nate Eldredge for Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness Nate Eldredge 2011-03-01T23:33:37Z 2011-03-01T23:33:37Z <p>The motivation that most appeals to me is very simple and can come up in a freshman vector calculus course.</p> <p>We say that a vector field $F$ in $\mathbb{R}^3$ is <em>conservative</em> if $F = \nabla f$ for some scalar-valued function $f$. This has natural applications in physics (e.g. electric fields). It's easy to see this happens iff line integrals of $F$ are path independent, iff line integrals around closed loops vanish, etc. On a simply connected domain, $F$ is conservative iff $\nabla \times F = 0$ (use the freshman version of Stokes' theorem). On a non-simply connected domain, this may fail (e.g. $\mathbb{R}^3$ minus a line). The extent to which it fails is of course the de Rham cohomology of the domain. So this suggests that the de Rham cohomology is a good way to detect the "shape" of a domain, and one goes on from there.</p> <p>Maybe this is too basic to be interesting, but I like it myself.</p> http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu/57070#57070 Answer by Robert Haraway for Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness Robert Haraway 2011-03-02T03:29:49Z 2011-03-02T03:29:49Z <p>You may be able to convey the significance of de Rham cohomology to <em>really</em> wide audiences through electromagnetism. </p> <p>I don't claim to understand all the physics (or topology for that matter), but see my friend Rob Kotiuga's book at <a href="http://library.msri.org/books/Book48/index.html" rel="nofollow">http://library.msri.org/books/Book48/index.html</a>. See, for instance, chapter 1D: Nineteenth-Century Problems Illustrating the First and Second Homology Groups, or pp. 30--32, "Chain complexes in electrical circuit theory."</p> http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu/57092#57092 Answer by Stefan Waldmann for Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness Stefan Waldmann 2011-03-02T08:38:26Z 2011-12-13T15:31:32Z <p>Perhaps even simpler than the examples from electromagnetism in $\mathbb{R}^3$ minus some points is the following:</p> <p>The angle "function" $\varphi\colon S^1 \longrightarrow \mathbb{R}$ is not really globally defined as turning aroung one time gives a discontinuity. It jumps by $2\pi$. Neverhtheless, the differential $\mathrm{d}\varphi$ is a perfectly global one-form on $S^1$. It is the usual volume form, not being exact but closed for dimensional reasons. So the non-trivial first deRham cohomology of $S^1$ is responsible for counting angles and the fact that $0 \ne 2\pi$ ;)</p> <p>This can be upgraded to the more interesting statement that on a orientable compact manifold without boundary you have a non-trivial top-degree deRham cohomology: again, the reason is that we can integrate a volume form resulting in a non-zero volume. Thus (by Stokes theorem) the volume form can not be exact. It is closed without thinking about it, simply for dimensional reasons.</p> http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu/84806#84806 Answer by Liviu Nicolaescu for Down-To-Earth Uses of de Rham Cohomology to Convince a Wide Audience of its Usefulness Liviu Nicolaescu 2012-01-03T15:21:47Z 2012-01-03T15:21:47Z <p><a href="http://www.nd.edu/~lnicolae/shape.pdf" rel="nofollow">Here is my attempt</a> to explain DeRham cohomology and Hodge theory to a group of first year grad students that have no knowledge of manifolds.</p>