Manifold Question

  • Thread starter chhan92
  • Start date
  • #1
23
0

Main Question or Discussion Point

I came across this problem in Willard, General Topology 18H.2,
where it says

"For compact n-manifold X, prove that X is a product of spheres"

I have no idea how to rigorously do it...

I searched internet for this, but has no hope... any helps?
 

Answers and Replies

  • #2
Bacle2
Science Advisor
1,089
10
I don't know if this helps, but there is a result that says that every compact manifold is a compactification of ℝn , tho I don't have a nice proof (I remember the trick was to find the copy of ℝn within the compact manifold, like, e.g., ℝ1 itself is embedded in S1, etc.) I imagine it must be a simple type of compactification e.g., Alexandroff 1-pt. , otherwise , your not likely to end up with a manifold.
 
  • #3
lavinia
Science Advisor
Gold Member
3,170
577
I came across this problem in Willard, General Topology 18H.2,
where it says

"For compact n-manifold X, prove that X is a product of spheres"

I have no idea how to rigorously do it...

I searched internet for this, but has no hope... any helps?
This is false. Very few manifolds are products of spheres.
 
  • #4
Bacle2
Science Advisor
1,089
10
But, lavinia, can you think of a counterexample?

What I was thinking was something like this, which is not an actual solution, but
hopefully may restrict the possibilities:

i)The only Sn's that asmit a complect structure are S2 and S6. And the product of complex manifolds is a complex manifold, with the given product complex structure.

ii) Sn is compact , for all n≥1 . If Sn where the product of spheres, it could not be a product of S2's and S6.

BUT....

iii) OTOH, I think my previous statement about every manifold being the compactification -- which I think is the 1-pt. compactification , since the resulting space is a manifold, and compactifications can be very bizarre, e.g., Stone-Cech)-- of ℝn then, by the stereographic projection, the 1-pt compactification of ℝn is Sn

So, I am kind of torn here.

BTW : OP: do you mean real manifolds, right?
 
  • #5
lavinia
Science Advisor
Gold Member
3,170
577
But, lavinia, can you think of a counterexample?

What I was thinking was something like this, which is not an actual solution, but
hopefully may restrict the possibilities:

i)The only Sn's that asmit a complect structure are S2 and S6. And the product of complex manifolds is a complex manifold, with the given product complex structure.

ii) Sn is compact , for all n≥1 . If Sn where the product of spheres, it could not be a product of S2's and S6.

BUT....

iii) OTOH, I think my previous statement about every manifold being the compactification -- which I think is the 1-pt. compactification , since the resulting space is a manifold, and compactifications can be very bizarre, e.g., Stone-Cech)-- of ℝn then, by the stereographic projection, the 1-pt compactification of ℝn is Sn

So, I am kind of torn here.

BTW : OP: do you mean real manifolds, right?
Maybe I jumped to a conclusion and the question did not mean any manifold. what manifold was supposed to be a product of spheres?

i am not sure about this but give the manifold a Riemannian metric. Then the exponential map at a point maps an open neighborhood of the origin in the tangent space at the point diffeomorphically onto a dense subset of the manifold. Add the complement and you compactify the ball to make the manifold. The complement is a set of measure zero> I think is it call the cut locus - or maybe the conjugate locus. For the sphere, it is the south pole if one exponentiates from the north pole. In this case it is a one point compactification.
 
  • #6
1,761
123
But, lavinia, can you think of a counterexample?
You can only build simply-connected spaces using products of S^n for n>1.

If you include S^1, you get copies of Z in the fundamental group. So, for example, any manifold that has any torsion in its fundamental group would be a counter-example. And this even works if you consider things only up to homotopy type.
 
  • #7
Bacle2
Science Advisor
1,089
10
Homeomorphic wrote:

" You can only build simply-connected spaces using products of S^n for n>1.

If you include S^1, you get copies of Z in the fundamental group. So, for example, any manifold that has any torsion in its fundamental group would be a counter-example. And this even works if you consider things only up to homotopy type. "

I see, so, say a projective space would be then a counterexample.

But, how about the claim that every compact manifold is the 1-pt compactification of ℝn?
 
  • #8
22,097
3,279
I came across this problem in Willard, General Topology 18H.2,
where it says

"For compact n-manifold X, prove that X is a product of spheres"

I have no idea how to rigorously do it...

I searched internet for this, but has no hope... any helps?
This is not what the exercise asks of you. The exercise asks to prove that every compact manifold can be embedded in a product of spheres.

Construct the embedding by using (1) and by using that a compact manifold is covered by a finite number of open sets homeomorphic to [itex]\mathbb{R}^n[/itex].
 
  • #9
Bacle2
Science Advisor
1,089
10
This is not what the exercise asks of you. The exercise asks to prove that every compact manifold can be embedded in a product of spheres.

Construct the embedding by using (1) and by using that a compact manifold is covered by a finite number of open sets homeomorphic to [itex]\mathbb{R}^n[/itex].
Why not use a variant of Whitney (if the manifold is not smooth) , embed the manifold in ℝ(2n+1) , then do the stereo projection on ℝ(2n+1)?
 
  • #10
431
0
Indeed- or, once it's embedded in a Euclidean space, you can easily embed that into a sphere of high enough dimension since it will locally look like Euclidean space.

This makes the question trivial. On the other hand, it is easy to prove that any sphere embeds, so if you could prove the theorem as stated for a suitable class of manifolds then you can easily show that a suitable choice of manifolds embeds into some Euclidean space, which seems rather deep (i.e. being a weaker version of the Whitney embedding theorem).

Clearly your manifolds need to be at least orientable if they are homeomorphic to a product of spheres- perhaps the question was asking you to prove this for only orientable surfaces? :confused:
 
  • #11
Bacle2
Science Advisor
1,089
10
Still, I wonder if we can still save the OP question with a small change: is every compact manifold the product of a combination of spheres and projective spaces?

I have thought about the sort of reverse issue of a bundle p:E-->B with fiber F over a space being trivial, so that E=BxF: when/how can we tell if a space is a product space? How could we tell, e.g., that S^n is not a product space (I think S^n is not the top space of a trivial bundle)?
 
  • #12
431
0
I highly doubt it.

What about 2d surfaces? The torus and sphere are fine, but what about genus n surfaces? We will be unable to obtain the "n-holed torus" for n not equal to one.

It also seems that there are issues with you not being able to classify surfaces of dimension greater than 3, and clearly there wouldn't be all that many different manifolds if they all were just products of spheres/projective spaces.

It seems, as someone else pointed out, that the question as stated is just simply wrong. I'm also assuming that the "repaired version" has a nice trick, since just using the Whitney embedding theorem makes the theorem pretty trivial. On the other hand, as I said, this proves the Whitney embedding theorem (with, possibly, a slightly higher minimum bound on the dimension), so I'm still a bit confused.
 
  • #13
431
0
I have thought about the sort of reverse issue of a bundle p:E-->B with fiber F over a space being trivial, so that E=BxF: when/how can we tell if a space is a product space? How could we tell, e.g., that S^n is not a product space (I think S^n is not the top space of a trivial bundle)?
So you just mean the manifold is a product of manifolds? Well, the (co)homology should help, I'd think - if the manfold was a product of lower dimensional ones, then the fundamental classes of the lower dimensional ones will make an appearance somewhere in the product (take field coefficients Z/2, if you want). This is impossible for S^n because its (co)homology is concentrated in dimensions 0 and n (note that this argument does not work for general bundles - S^3, for example, is a fibre bundle of S^2 and S^1, the groups in dimensions 1 and 2 are killed off in the spectral sequence).
 
Last edited:
  • #14
Bacle2
Science Advisor
1,089
10
Yes, I am a bit confused myself, Jamma. And, you're right that the genus-n surface is not likely to be a product; we need connected sums for that, I would guess. It would be nice to see a counterexample if there is one.

But, re S^n, remember that I am referring to trivial bundles, not just any bundle, so S^3 does not apply there (Hopf ). But I'll look into the (co)homology idea.
 
Last edited:
  • #15
Bacle2
Science Advisor
1,089
10
And, while you're right about there not being that many manifolds--tho remember we are talking about compact manifolds, and that narrows it down a bit--I am more interested in seeing what may be wrong with the arguments, and for some counterexamples, and how to show a manifold is not a product; it seems like we use a sort of equivalent of primality version using cohomology.

I suspect, for n=4, things will breakdown more quickly, because of all the weirdness going on there.
 
  • #16
431
0
Yeah, I know we're only looking at compact manifolds- it is impossible to classify all 4 dimensional manifolds up to homeomorphism due to a really nice argument incorporating the word problem on groups (if you aren't familiar with the argument, it's worth looking up).

And I know you only meant trivial bundles- what I said shows that non of the S^n are trivial bundles of lower dimensional manifolds because their cohomology is concentrated in dimensions 0 and n- if they were a product then the fundamental classes of the lower dimensional manifolds would make a contribution to some of the intermediate cohomology groups. I simply noted that this argument doesn't work for general fibre bundles, the Hopf fibration giving a counter example, and the reason it doesn't work is that the intermediate cohomology is killed off in the spectral sequence.
 
  • #17
Bacle2
Science Advisor
1,089
10
Ah, I see, nice points. I'll review my spectral sequences (which I never fully got the 1st time around)

Still, Jamma, if we weaken bundles to fibrations, there are nice general results re classification: e.g., symplectic 4-manifolds are precisely those that admit a Lefschetz fibration. Hope I'm not drifting of too far from the OP; sorry otherwise.
 
Last edited:
  • #18
mathwonk
Science Advisor
Homework Helper
10,822
988
this is a good discussion. consider this problem just in (real) dimension 2.

there are only two possibilities for such products, either S^2, or S1xS1.

Thus there would be only two compact surfaces if these were all possibilities.

But as has been pointed out by Jamma, there are infinitely many non homeomorphic real surfaces,

one for every genus g ≥ 0 even if we only look at orientable ones, and only the ones of genus 0 and 1 occur as such products.

The same argument shows there are only a finite number of products of spheres in any dimension n, but it seems you can

easily construct infinitely many non homeomorphic manifolds of dimension n by using the surfaces already mentioned.
 
  • #19
431
0
Ah, I see, nice points. I'll review my spectral sequences (which I never fully got the 1st time around)

Still, Jamma, if we weaken bundles to fibrations, there are nice general results re classification: e.g., symplectic 4-manifolds are precisely those that admit a Lefschetz fibration. Hope I'm not drifting of too far from the OP; sorry otherwise.
They're not easy- I'm still not comfortable with them (I'm sure that not many are!), I'm not sure how you could obviously see that the differentials kill the cohomology in the spectral sequence, for example, I just know that they will because I know the cohomology of S^3.

I'll look up those classification results, sounds interesting.
 
  • #20
431
0
To add a little in the relevant direction of the thread, it's interesting to note that in 2d, all surfaces are direct sums of tori or projective spaces. This can't be the case for higher dimensions, but it's hard to visualise why.
 
  • #21
mathwonk
Science Advisor
Homework Helper
10,822
988
"connected" sums?
 
  • #22
Bacle2
Science Advisor
1,089
10
  • #23
431
0
Yes, well, specifically, you cut out two discs from each first and glue together the boundaries so the result is still a manifold.

e.g. the n-holed torus is just the connected sum of n tori.
 
  • #24
Bacle2
Science Advisor
1,089
10
Right, I forgot to remove the disks first before doing the gluing; story of my life*. Yes, precisely; I was hopelessly trying to patch the original statement into being that every compact manifold is either a product of spheres and projective spaces, or the connected sum of finitely-many products as above.

BTW: I need to change my previous statement: every compact manifold is the compactification; not necessarily 1-pt compactification of R^n; projective space
is a clear counter; the embedded R^n (looking at RP^n --which I always confuse with NPR-- as the quotient S^n/~ , the copy of R^n is everything except the equator, but the
equator is not all collapsed to a single point.)

* Bizarre , meaningless comment.
 
Last edited:
  • #25
Bacle2
Science Advisor
1,089
10
Re: Connected Sums:

Maybe to relate it more to Mathwonk's Algebraic Geometric world (please
correct this, Mathwonk, as most surely I missed something or said something wrong):

Connected sums are used to resolve singularities by blowing up
and blowing down curves to allow a tangent space to be well-defined,
i.e., we connect sum a number of copies of ℂPn to allow a collection of potential
candidates for tangent spaces at a point to be well-defined, since a tangent space of dimension n has a unique representative in ℂPn (and the connected sum is done in such a way as to preserve birational equivalence, I think. Think of Lefschetz pencils, Lefschetz fibrations)
 

Related Threads on Manifold Question

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
8
Views
2K
  • Last Post
2
Replies
25
Views
5K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
12
Views
3K
Replies
1
Views
2K
Replies
3
Views
2K
Replies
7
Views
4K
Top