A Family of Nontrivial Homology Classes (part 3)
Sorry this didn’t go up as scheduled last week.
We must now show that the forms we’ve defined are closed, and thus that they indeed will define homology classes. That is, 
. We must also show that they cannot be exact, and thus that the homology classes they define are nontrivial.
We defined 
to be the pullback 
of the form 
on the sphere. Thus we can calculate
which follows since is an 
-form on the -dimensional sphere, and so no nontrivial 
-form exists on 
to be equal to 
.
As for exactness: if 
for some 
-form 
, then Stokes’ theorem tells us that
Since the sphere has an empty boundary.
But it’s also possible to calculate this integral directly.
Now, if 
is any parameterization of the sphere, we set 
and calculate
![\displaystyle\begin{aligned}\int\limits_{S^n}\omega&=\int\limits_{S^n}\iota_P(du^0\wedge\dots\wedge du^n)\\&=\int\limits_{U^n}f^*\left(\iota_P(du^0\wedge\dots\wedge du^n)\right)\\&=\int\limits_{U^n}\left[du^0\wedge\dots\wedge du^n\right]\left(P(f(x)),f_{*x}\frac{\partial}{\partial x^1},\dots,f_{*x}\frac{\partial}{\partial x^n}\right)\\&=\int\limits_{U^n}\left[du^0\wedge\dots\wedge du^n\right]\left(u^{i_0}\frac{\partial}{\partial u^{i_0}},\frac{\partial u^{i_1}}{\partial x^1}\frac{\partial}{\partial u^{i_1}},\dots,\frac{\partial u^{i_n}}{\partial x^n}\frac{\partial}{\partial u^{i_n}}\right)\end{aligned}](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cbegin%7Baligned%7D%5Cint%5Climits_%7BS%5En%7D%5Comega%26%3D%5Cint%5Climits_%7BS%5En%7D%5Ciota_P%28du%5E0%5Cwedge%5Cdots%5Cwedge+du%5En%29%5C%5C%26%3D%5Cint%5Climits_%7BU%5En%7Df%5E%2A%5Cleft%28%5Ciota_P%28du%5E0%5Cwedge%5Cdots%5Cwedge+du%5En%29%5Cright%29%5C%5C%26%3D%5Cint%5Climits_%7BU%5En%7D%5Cleft%5Bdu%5E0%5Cwedge%5Cdots%5Cwedge+du%5En%5Cright%5D%5Cleft%28P%28f%28x%29%29%2Cf_%7B%2Ax%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+x%5E1%7D%2C%5Cdots%2Cf_%7B%2Ax%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+x%5En%7D%5Cright%29%5C%5C%26%3D%5Cint%5Climits_%7BU%5En%7D%5Cleft%5Bdu%5E0%5Cwedge%5Cdots%5Cwedge+du%5En%5Cright%5D%5Cleft%28u%5E%7Bi_0%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5E%7Bi_0%7D%7D%2C%5Cfrac%7B%5Cpartial+u%5E%7Bi_1%7D%7D%7B%5Cpartial+x%5E1%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5E%7Bi_1%7D%7D%2C%5Cdots%2C%5Cfrac%7B%5Cpartial+u%5E%7Bi_n%7D%7D%7B%5Cpartial+x%5En%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5E%7Bi_n%7D%7D%5Cright%29%5Cend%7Baligned%7D&bg=e6e6e6&fg=333333&s=0&c=20201002)
We extend 
to depend on a new variable 
which will vary in some small neighborhood of 
by defining 
, so that we have
and so we can continue:
![\displaystyle\begin{aligned}\int\limits_{S^n}\omega&=\int\limits_{U^n}\left[du^0\wedge\dots\wedge du^n\right]\left(\frac{\partial u^{i_0}}{\partial x^0}\frac{\partial}{\partial u^{i_0}},\frac{\partial u^{i_1}}{\partial x^1}\frac{\partial}{\partial u^{i_1}},\dots,\frac{\partial u^{i_n}}{\partial x^n}\frac{\partial}{\partial u^{i_n}}\right)\\&=\int\limits_{U^n}\det\left(\frac{\partial u^i}{\partial x^j}\right)\left[du^0\wedge\dots\wedge du^n\right]\left(\frac{\partial}{\partial u^0},\dots,\frac{\partial}{\partial u^n}\right)\\&=\int\limits_{U^n}\det\left(\frac{\partial u^i}{\partial x^j}\right)\bigg\vert_{x^0=1}\,d(x^1,\dots,x^n)\end{aligned}](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cbegin%7Baligned%7D%5Cint%5Climits_%7BS%5En%7D%5Comega%26%3D%5Cint%5Climits_%7BU%5En%7D%5Cleft%5Bdu%5E0%5Cwedge%5Cdots%5Cwedge+du%5En%5Cright%5D%5Cleft%28%5Cfrac%7B%5Cpartial+u%5E%7Bi_0%7D%7D%7B%5Cpartial+x%5E0%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5E%7Bi_0%7D%7D%2C%5Cfrac%7B%5Cpartial+u%5E%7Bi_1%7D%7D%7B%5Cpartial+x%5E1%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5E%7Bi_1%7D%7D%2C%5Cdots%2C%5Cfrac%7B%5Cpartial+u%5E%7Bi_n%7D%7D%7B%5Cpartial+x%5En%7D%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5E%7Bi_n%7D%7D%5Cright%29%5C%5C%26%3D%5Cint%5Climits_%7BU%5En%7D%5Cdet%5Cleft%28%5Cfrac%7B%5Cpartial+u%5Ei%7D%7B%5Cpartial+x%5Ej%7D%5Cright%29%5Cleft%5Bdu%5E0%5Cwedge%5Cdots%5Cwedge+du%5En%5Cright%5D%5Cleft%28%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5E0%7D%2C%5Cdots%2C%5Cfrac%7B%5Cpartial%7D%7B%5Cpartial+u%5En%7D%5Cright%29%5C%5C%26%3D%5Cint%5Climits_%7BU%5En%7D%5Cdet%5Cleft%28%5Cfrac%7B%5Cpartial+u%5Ei%7D%7B%5Cpartial+x%5Ej%7D%5Cright%29%5Cbigg%5Cvert_%7Bx%5E0%3D1%7D%5C%2Cd%28x%5E1%2C%5Cdots%2Cx%5En%29%5Cend%7Baligned%7D&bg=e6e6e6&fg=333333&s=0&c=20201002)
Now, what is this integral calculating? The first column of the determinant is the vector 
which, as the position vector of a point on the sphere, has unit length and points perpendicularly to its surface. The other columns form a basis of the tangent space to the sphere at . At any given point, then, we can change the basis so that the upper-left entry in the matrix is and all other entries in its row and column are zero. The determinant is thus the determinant of the rest of the matrix, which is the Jacobian determinant of the parameterization, and its integral is thus the volume of the image — the volume of the sphere.
Now, we may not have a formula handy for the -dimensional volume of the -sphere, but it’s certainly not zero! Therefore the closed form cannot have been exact, and so it must define a nontrivial homology class, just as asserted.
Like this:
Like Loading...
Related
December 27, 2011 -
Posted by John Armstrong |
Differential Topology, Topology
The Unapologetic Mathematician 
i couldn’t get anything of it as the base of all this isn’t clear to me!
Another terrific series! Cohomology isn’t nearly as scary as it sounds.
I’m curious about what you said in (part 1), though, that these “provide models for every possible way a nontrivial homology class can arise” — could you elaborate on that (or point me to where I could learn more)?
It’s hard to be rigorous at this point, but the basic idea is that each of these describes a field that can exist around a certain kind of “hole”. For instance, if you can draw (something diffeomorphic to) a sphere around your hole, but that sphere can’t be drawn tight, then you’re looking at something like the three-dimensional version of this construction. If you can draw a circle around the hole that can’t be drawn tight, then you’re looking at the two-dimensional version. This goes for, say, tubular holes bored of a three-dimensional block, because you can draw a loop around them — inside the block — that can’t be drawn tight.
Anyway, given any manifold and a closed form on the manifold, you draw loops of various dimensions around all the holes. If the form is exact, then the integrals around all these loops must be zero; nonzero results are the “obstruction” to the form being exact. But now for each dimension we have a model of a closed-but-not-exact form that just fails to be defined “inside a hole”.
So set up a copy of that model form in your space, with the singularity inside the hole. Scale the model form until the integral around your “test loop” is exactly the same as the integral you got from your original form. Subtract the scaled model form from the original form, and presto — you’ve resolved one obstruction. Do this for all the loops, and the resulting form must be exact. So your original form differs from an exact form by one real number parameter per independent test loop; the only reason wasn’t exact is that it “wrapped around a hole” more or less like one of our models.
“we may not have a formula handy for the n-dimensional volume of the n-sphere”
How about these tables:
Click to access Polytopes-in-Euclidean-n-space.pdf
Read “we” as authorial, in the context of this one post, not the entire mathematical community. Deriving a single formula is notably more complicated, but not necessary for the result that
defines a nontrivial homology class.
Or.. don’t, if these notes are insufficient to your lofty standards…