# The Unapologetic Mathematician

## De Rham Cohomology is Functorial

It turns out that the de Rham cohomology spaces are all contravariant functors on the category of smooth manifolds. We’ve even seen how it acts on smooth maps. All we really need to do is check that it plays nice with compositions.

So let’s say we have smooth maps $f:M_1\to M_2$ and $g:M_2\to M_3$, which give rise to pullbacks $f^*:\Omega(M_2)\to\Omega(M_1)$ and $g^*:\Omega(M_3)\to\Omega(M_2)$. All we really have to do is show that $g^*\circ f^*=(f\circ g)^*$, because we already know that passing from chain maps to the induced maps on homology is functorial.

As usual, we calculate:

$\displaystyle\begin{aligned}\left[\left[\left[g^*\circ f^*\right](\omega)\right](p)\right](v_1,\dots,v_k)&=\left[\left[g^*(f^*\omega)\right](p)\right](v_1,\dots,v_k)\\&=\left[\left[f^*\omega\right](g(p))\right](g_*v_1,\dots,g_*v_k)\\&=\left[\omega(f(g(p)))\right](f_*g_*v_1,\dots,f_*g_*v_k)\\&=\left[\omega(\left[f\circ g\right](p))\right]((f\circ g)_*v_1,\dots,(f\circ g)_*v_k)\\&=\left[\left[(f\circ g)^*\omega\right](p)\right](v_1,\dots,v_k)\end{aligned}$

as asserted. And so we get maps $f^*=H^k(f):H^k(M_2)\to H^k(M_1)$ and $g^*=H^k(f):H^k(M_3)\to H^k(M_2)$ which compose appropriately: $H^k(g)\circ H^k(f)\to H^k(f\circ g)$.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 1 Comment	»

1. [...] We know that a map induces a chain map , which induces a map on the de Rham cohomology. This is what we mean when we say that de Rham cohomology is functorial. [...]

Pingback by | December 6, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 9, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9167011380195618, "perplexity_flag": "middle"}