Skip to main content
Added reference
Source Link
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

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 http://arxiv.org/abs/1111.0249 (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).

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.

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 http://arxiv.org/abs/1111.0249 (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).

corrected statement of Szucs
Source Link
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

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.

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, some positive multiple of it contains an immersion.

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.

added 21 characters in body
Source Link
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

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"ucsSzűcs to the effect that, for any given oriented bordism class, some positive multiple of it contains an immersion.

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 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"ucs to the effect that, for any given bordism class, some positive multiple of it contains an immersion.

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, some positive multiple of it contains an immersion.

Source Link
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198
Loading