MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Possible Duplicate:
Cohomology and fundamental classes


I would like to know if all homological classes in a smooth manifold can be represented as immersed submanifolds, or examples where this is not true and possible obstructions.


share|cite|improve this question

marked as duplicate by S. Carnahan Mar 3 '11 at 11:43

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

The short answer is no and this is already a duplicate of at least a couple of questions already here, for example :… – Somnath Basu Mar 3 '11 at 7:16
Steenrod wanted to know the same thing. Thom managed to answer this (and much much more!) in his 1954 thesis. – Dylan Wilson Mar 3 '11 at 7:17
Well, the question of which homology classes can be represented by immersions of closed manifolds is actually a bit more subtle than that asked in the question linked above, and answered by Thom. I think there are strict inclusions: homology classes representable by embedded $\subset$ immersed $\subset$ singular manifolds. – Mark Grant Mar 3 '11 at 9:57
I'm afraid we close questions that have been asked before to prevent redundancy. I hope you find the previous answers satisfactory. – S. Carnahan Mar 3 '11 at 11:45
I find this strange. The previous questions ask about representing homology classes by submanifolds. This question asks about representing homology classes by immersed submanifolds. These are different questions with (I believe) different answers. (Or are we assuming that the OP meant to ask about submanifolds?) – Mark Grant Mar 3 '11 at 12:00
up vote 14 down vote accepted

It might be better to split the question into 2 cases and 2 steps.

Step 1: Which homology classes in $X$ can be represented by continuous maps of closed smooth manifolds (ie, which classes are $f_*[M]$ where $f\colon M\to X$ is a map from a closed manifold with fundamental class $[M]\in H_*(M)$)? This is the so-called 'Steenrod representability problem'.

Case 1: In the unoriented case (if you are asking about homology with mod $2$ coefficients) the answer is all of them. See Thom's paper "Quelques propriétés globales des variétés différentiables", or the book "Differentiable periodic maps" by Conner and Floyd.

Case 2: In the oriented case, we are asking which integral homology classes are represented by maps from closed orientable manifolds. The answer is not all of them, but positive multiples of all of them. More precise statements can be found in the papers of Thom ("Sur un problème de Steenrod" and "Quelques propriétés...") and their reviews.

Step 2: Now you have to ask which unoriented and oriented bordism classes contain immersions. To the best of my knowledge, this part is not completely known. But here is a reference to start looking:

Li, Gui Song "On immersions in bordism classes", Math. Ann. 291 (1991), no. 2, 373–382.

Note that in the introduction he quotes a result of Szűcs to the effect that, for any given oriented bordism class of sufficiently high codimension in a manifold, some positive multiple of it contains an immersion.

Update: Sorry to revive this old post, but I just wanted to shamelessly plug an article which arose directly from this question. In (to appear in Bulletin of the LMS) András Szűcs and myself show that in any codimension $k\ge 2$ there exists a closed smooth manifold $N^n$ and a mod $2$ homology class of dimension $n-k$ which cannot be realized by an immersion of a closed manifold. The proof employs explicit obstructions to realizability, involving Bocksteins and Steenrod squares (see Theorem 1.2).

share|cite|improve this answer
Thanks Mark!!, for your answer and for the references. – shurtados Mar 4 '11 at 2:50

Not the answer you're looking for? Browse other questions tagged or ask your own question.