An alternative title is: When can I homotope a continuous map to a smooth immersion?


I have a simple topology problem but it's outside my area of expertise and I worry may be rather subtle. Any help would be appreciated.


The set-up is the following:
Let $M$ be some (closed say) $n$ dimensional manifold and suppose that $\Sigma\_1$ and $\Sigma\_2$ are two closed submanifolds of $M$ of dimension $k$. Note that $\Sigma\_1$ and $\Sigma\_2$ are allowed to intersect (in my situation they are also embedded but I don't believe this is effects anything). Suppose in addition that $\Sigma\_1$ and $\Sigma\_2$ are homologous. If $k\leq n-2$ I would like a compact manifold with boundary $\Gamma$ with $\partial \Gamma=\gamma\_1\cup \gamma\_2$ and a smooth immersion $F:\Gamma\to M$ so that $F(\gamma\_i)=\Sigma\_i$. In other, words the homology between $\Sigma\_1$ and $\Sigma\_2$ can be realized by a smooth immersion. 


I believe by approximation arguments one can always get a smooth such $F$ without restriction on $k$ but it need not be an immersion (especially if $k=n-1$). My gut is that when you have $k\leq n-2$ since the dimension of the image of $F$ is codimension one you have enough room to perturb it to be an immersion. That is that $F$ is homotopic rel boundary to our desired immersion.


Unfortunately, I don't know enough to formalize this and all my intuition comes from considering curves and domains in $\mathbb{R}^3$ so I'm afraid there may be obstructions in general.


References would be greatly appreciated.


Thanks!


Edit:


As suspected, the question is somewhat subtle . To make it tractable lets assume that $M$ is a $C^\infty$ domain in $\mathbb{R}^3$ (so is a fairly simple three-manifold with boundary) and that the $\Sigma\_i$ are curves. This is where my intuition says that there should be such a smooth immersion.



Realizing a homology by a smooth immersion
There is a general strategy for these kind of problems, which sometimes helps (the ''h-principle''): separate the homotopical and smooth aspects of the problem. Setup: $f:N \to M$ a map of smooth manifolds, $dim (N) < dim (M)$, $f|\_{\partial N}$ is an immersion. 


Step 1: if your $f$ is going to be homotopic to an immersion $g$, then there should exist a bundle monomorphism $\phi:TN \to f^\* TM$, extending the derivative of $f|\_{\partial}$ to all of $N$. Otherwise, the hypothetical immersion won't exist, because there is no candidate for its derivative. Constructing this monomorphism is a purely bundle theoretic problem. Whether this can be successfully attacked depends very much on the concrete situation -- maybe it is trivial, maybe it is very hard.
In any case -- if there is no candidate for an immersion in sight -- it is be easier to construct a bundle map than an immersion.


Step 2: if you succeed in solving the homotopy problem, you are done! This is the content of the Smale-Hirsch-Theorem: once $\phi$ exists, $f$ will be homotopic to an immersion $g$ and the derivative is homotopic (as a bundle mono) to $\phi$. There is a relative statement as well; you have to extend the immersion $f\_{\partial M}$ to an immersion of a collar of $\partial M$ in $M$. This is not trivial since the collar has one dimension 
more. If $dim(N)=dim(M)$, then the result still holds (in your situation, where $N$ is a connected cobordism with nonempty boundary), but you cannot fix $f$ on the boundary.


Your intuition in the low-dimensional case seems to be true: if $N$ is a surface and $M$ a domain in $R^3$, then both are parallelizable.


References: Eliashberg-Michachev: Introduction to the h-principle, Haefliger: Lectures on the theorem of Gromov, Ponaru: Homotopy theory and differentiable singularities. Adachi: Immersions and embeddings.


