10
votes
1answer
232 views

Are the mapping class groups of manifolds finitely presentable?

The mapping class group of a manifold is the group $\pi_0 Diff(M)$ of components of the diffeomorphism group. There are several variations: oriented manifolds and orientation preserving ...
2
votes
1answer
218 views

undergraduate handle decomposition. Reference

As the title says, I'm searching for a nice textbook for introducing the theory of handle decomposition of manifolds to undergraduate students.
8
votes
2answers
200 views

The boundary of a domain whose interior is diffeomorphic to the ball

We know that there are compact manifolds with diffeomorphic interiors but their boundaries are not homeomorphic (see the question Manifolds with homeomorphic interiors). My question is about a very ...
3
votes
1answer
186 views

Is any smooth homeomorphism isotopic to a smooth embedding?

Let $f:D^m\to \mathbb{R}^m$ be a smooth map ($D^m$ is the unit ball). We call $f$ embedding if it is a homeomorphism on the image and the derivative $D_xf$ is nonsingular at each point $x\in D^m$ ...
-1
votes
1answer
137 views
6
votes
0answers
227 views

Space of embeddings of an $n$-ball into an $n$-manifold

Let $M$ be a smooth $n$-manifold without boundary, and let $B$ be the open unit ball in $\mathbb{R}^n$. I am trying to understand the space $\text{Emb}(B,M)$ of smooth embeddings of $B$ into $M$. ...
11
votes
3answers
602 views

Is the class of n-dimensional manifolds essentially small?

Question: Consider the proper class of all $n$-dimensional smooth manifolds. If we take the equivalence classes where two manifolds are identified if there exists a diffeomorphism between them, is ...
2
votes
1answer
143 views

isotopy classes of embeddings of the torus

Let's consider $S^1$-bundle $E$ over a 2-manifold $M$. How many isotopy classes of embeddings of the torus $\mathbb{T}^2$ in $E$? For each free homotopy classes $\gamma$ of mappings of the circle ...
4
votes
1answer
137 views

Lipschitz Approximation to a PW Smooth Map

Suppose I have a triangulated smooth manifold, $\tau : |K| \rightarrow M$ (so that $\tau | _{\sigma}$ is smooth for each $\sigma \in K$), and a piecewise smooth map, $f: M \rightarrow \mathbb{R}^n$. ...
3
votes
2answers
118 views

intersection of Whitney stratifications

Let $X$ be an oriented smooth manifold with dimension $n$. If $U$ and $V$ are two oriented closed submanifolds of $X$ and $U$ is transverse to $V$ in $X$. Then $U\cap V$ (suppose the intersection is ...
14
votes
0answers
339 views

Do there exist exotic 4-tori?

More precisely: are there known manifolds which are homeomorphic, but not diffeomorphic to the standard 4-torus? Are there any nice invariants distinguishing such manifolds? Related: if such a ...
8
votes
1answer
325 views

Construction of exotic spheres that do not bound parallelizable manifolds

There are at least two ways to construct homotopy spheres that bound parallelizable manifolds, namely Milnor's plumbing construction and Brieskorn's method of singularities, and each of these methods ...
10
votes
1answer
448 views

Strong Whitney embedding theorem for non-compact manifolds

$\newcommand{\RR}{\mathbb{R}}$The present question arises from some confusion on my part regarding the precise statement of the strong Whitney embedding theorem for non-compact manifolds. The strong ...
5
votes
0answers
106 views

In cell-decomposed manifolds, how easy is it to arrange for the tubular neighborhood of a diagonal to contract onto the diagonal?

Suppose that you have decomposed a manifold $M$ into cells (I care most, if it matters, about compact oriented smooth manifolds; but if my question can be solved in the PL category, all the better). ...
10
votes
2answers
458 views

When does an even-dimensional manifold fiber over an odd-dimensional manifold?

Are there simple necessary and sufficient conditions for an (oriented) even-dimensional compact smooth manifold to fiber over an (oriented) odd-dimensional manifold (with oriented fibers)? For ...
13
votes
3answers
573 views

Does a *topological* manifold have an exhaustion by compact submanifolds with boundary?

If $M$ is a connected smooth manifold, then it is easy to show that there is a sequence of connected compact smooth submanifolds with boundary $M_1\subseteq M_2\subseteq\cdots$ such that ...
1
vote
0answers
124 views

Uniqueness of the Smooth Structure on a Handle Attachment [closed]

I posted this question on math stack exchange and didn't receive an answer. If it is too elementary for this forum I will be happy to delete it. Let $M^m$ be a smooth manifold with boundary. We may ...
20
votes
4answers
844 views

Is the space of diffeomorphisms homotopy equivalent to a CW-complex?

Clarification: My question concerns the homotopy type of the space of $C^k$ diffeomorphisms with the compact-open $C^k$ topology, where $0< k \leq\infty$. I have stated my question below with $k=1$ ...
3
votes
1answer
294 views

Boundaries of smooth manifolds

If one has a smooth simply connected manifold $M^n$ which we know to bound an $n+1$ dimensional manifold $N$, what can be said about a handle decomposition for one in terms of a handle decomposition ...
10
votes
1answer
267 views

What is the status of the PL-pseudoisotopy stability theorem?

Suppose that $M$ is a compact PL-manifold (possibly with boundary) and let $C^{PL}(M)$ denote the (simplicial) group of PL isomorphisms of $M \times I$ relative to $M \times \{0\} \cup \partial M ...
5
votes
1answer
190 views

Equivariant handle decompositions

Suppose I have some smooth closed high-dimensional manifold $M$ acted on smoothly by a finite group $G$. By a metric averaging procedure, we can equip $M$ with a smooth Riemannian metric so that $G$ ...
2
votes
1answer
511 views

Homeomorphism classification of 4-manifolds

Question 1. Let $X_i$ be an infinite family of closed, orientable, smooth 4-manifolds with the following properties: a) $\pi_1(X_i) = \mathbb{Z}\times \mathbb{Z_{2}}$ for any $i = 1, 2, \cdots $ b) ...
2
votes
1answer
662 views

Manifolds are paracompact

By Definition, smooth manifolds are assumed to be Hausdorff and to satisfy the second countability axiom. I have heard (but never seen written) that these assumptions imply paracompactness (and thus ...
23
votes
1answer
470 views

Diffeomorphisms of finite order not in the image of a circle action

Does there exist a closed smooth manifold $M$ and a diffeomorphism $f\colon M \to M$ such that: $f$ is isotopic to the identity, $f$ is of finite order, $f^n=ID$, and $f$ is not contained in the ...
15
votes
0answers
379 views

Monoid structure of oriented manifolds with connect sum

Take the class of all compact, connected, boundaryless, smooth oriented $n$-dimensional manifolds, each taken up to orientation-preserving diffeomorphism. This is a commutative monoid with operation ...
-1
votes
1answer
420 views

Is this manifold orientable? [closed]

Let $C$ be the set of points $(a,b,c,d) \in \mathbb{C}^4$ which satisfy 1) $ \left|a\right|^2+\left|c\right|^2=\left|b\right|^2+\left|d\right|^2 =1 $. 2) $ a\bar{b}+c\bar{d}=0 $ There is a ...
3
votes
2answers
649 views

book on calabi yau manifolds

hi, does anybody know a good book on calabi yau manifolds (i am a beginner) ? thanks in advance lois
13
votes
3answers
808 views

How to disjoint two cycles with zero intersection?

Suppose that $M^n$ is an orientable connected (thanks to Greg) manifold and $Z^k$ with $Z^{n-k}$ are two real cycles in $M^n$ with zero index of intersection $Z^k\cdot Z^{n-k}=0$ (for me these cylces ...
30
votes
4answers
2k views

Can cotangent bundles see exotic smooth structures?

I have two questions that are inspired by a couple of questions here on MO (referenced below), as well as by a conversation with some other grad students at a summer school. Caveat: I'm not a ...
3
votes
2answers
346 views

uniqueness of regular/tubular neighborhood with equivariant boundary

Let $N$ and $N'$ be regular neighborhoods of a subpolyhedron $P$ in a closed PL manifold $M$, and suppose that $t$ is a free PL involution on $M$ such that each of $\partial N$, $\partial N'$ is ...
23
votes
1answer
1k views

Can you flip the end of a large exotic $\mathbb{R}^4$

Can you flip the end of a large exotic $\mathbb{R}^4$ Background Definition (Exotic $\mathbb{R}^4$): An exotic $\mathbb{R}^4$ is a smooth manifold $R$ homeomorphic but not diffeomorphic to ...
14
votes
13answers
3k views

What should be taught in a 1st course on smooth manifolds?

I am teaching a introductory course on differentiable manifolds next term. The course is aimed at fourth year US undergraduate students and first year US graduate students who have done basic ...
9
votes
1answer
793 views

Looking for a simple proof that R^2 has only one smooth structure

So not so long ago, I asked for a simple proof that $\mathbf{R}$ has only one smooth structure. A proof that was communicated to me by Ryan Budney (link text) was the following: So let me recall his ...
5
votes
0answers
170 views

How do metrics behave under joining along a manifold embedded in the boundary?

How do metrics behave under joining along a manifold embedded in the boundary? This is, more-or-less, part of Problem 4.66 in Kirby's List: Problem 4.66 How do metrics (e.g. Riemannian, Lorentz, ...
16
votes
1answer
790 views

What's the Kirby Diagram of a universal $\mathbb{R}^4$?

What's the Kirby diagram of a universal $\mathbb{R}^4$? Background Define $\mathcal{R}$ as the set of smoothings of $\mathbb{R}^4$. For two oriented elements $R_1$, $R_2$ in $\mathcal{R}$ we can ...
7
votes
2answers
631 views

Fibrewise homotopy-equivalence of unit sphere bundles vs isomorphism of tangent bundles

Let $M$ be a smooth $m$-dimensional manifold, $TM$ its tangent bundle and $SM$ its unit sphere bundle. Are there some simple examples where $SM$ is fibrewise homotopy-equivalent to the trivial ...
21
votes
4answers
1k views

Can all n-manifolds be obtained by gluing finitely many blocks?

Fix a dimension $n\geqslant 2$. Let $S= \{M_1,\ldots, M_k\}$ be a finite set of smooth compact $n$-manifold with boundary. Let us say that a smooth closed $n$-manifold is generated by $S$ if it may ...
5
votes
1answer
668 views

Exotic spheres detected in higher homotopy

Thinking about exotic 7-spheres, one can look at the maps $\cdots \rightarrow \Omega^2Diff(D^4, rel \space \partial) \rightarrow \Omega Diff(D^5, rel \space \partial) \rightarrow Diff(D^6, rel \space ...
6
votes
2answers
960 views

Totally geodesic surfaces in fibered 3-manifolds

Is there an easy example of a (closed) hyperbolic 3-manifold that fibers over the circle but contains some totally geodesic surface? (Of course such manifolds exist if the 'Virtually Fibered ...
3
votes
2answers
304 views

Extending diffeomorphisms of Riemannian surfaces to the ambient space

Question 1: Given a smooth Riemannian surface $M$ in $R^3$ (i.e., a smooth Riemannian 2-manifold embedded in $R^3$) and a diffeomorphism $f: M\rightarrow M$ of class $C^{k\geq 2}$, does $f$ admit a ...
2
votes
2answers
548 views

exotic smooth structure clarification

Does the existence of exotic smooth structure in $\mathbb{R}^4$ imply the existence of an atlas which has a $C^0$ mapping to the Cartesian atlas, but not a $C^k$ mapping (for some finite $k$)? Does ...
21
votes
2answers
2k views

Level sets of Morse functions

Every compact two dimensional manifold admits a Morse function such that any its regular level set is at most two circles. I am interested in a generalization of that phenomenon. Does there exist a ...
10
votes
5answers
805 views

Which manifolds admit a diffeomorphism of order $n$?

Let $n>1$. Which smooth manifolds admit a diffeomorphism $f$ of order $n$? For a closed orientable surface $S_g$ of genus $g$ and $n=2$ the answer is in the affirmative, since $S_g$ can be ...
16
votes
5answers
1k views

Compactification theorem for differentiable manifolds ?

Just parallelling this question, that seemed not to admit an easy answer at all, let's "soft down" the category and ask the same thing in the case of $\mathcal{C}^{\infty}$-differentiable manifolds ...
6
votes
1answer
480 views

Surgery and homology: a reference request

I need a reference (or a short proof) for the following statement: Suppose a closed manifold $N$ is the result of a surgery (along an embedded sphere) on a closed manifold $M$. Then the difference ...
8
votes
1answer
518 views

$Spin^c$-Dirac-operator on the 3-torus

Consider the spinc structure on the flat standard 3-torus, which you get from the trivial (or any other) spin structure. Its associated vector bundle can be identified with a trivial bundle with fibre ...
8
votes
4answers
2k views

What is an immersed submanifold?

An immersed submanifold is by definition the image of a smooth immersion. I know some examples but I lack general understanding of what immersed submanifolds look like. For example, can one ...
25
votes
3answers
1k views

Embeddings of $S^2$ in $\mathbb{CP}^2$

Suppose we are given an embedding of $S^2$ in $\mathbb{CP}^2$ with self-intersection 1. Is there a diffeomorphism of $\mathbb{CP}^2$ which takes the given sphere to a complex line? Note: I suspect ...
2
votes
2answers
512 views

Why (and whether) is any smooth embedded torus in R^4 isotopic to an embedded Lagrangian torus?

The question is pretty self-explanatory; we are dealing with the standard symplectic structure on ℝ4. Some background: I'm reading the thesis "Lagrangian Unknottedness of Tori in Certain ...
14
votes
6answers
2k views

What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$

Hello, I would like to know if there is a known necessary and sufficient property on an open subset of $\mathbb{R}^n$ such that it is diffeomorphic to $\mathbb{R}^n$ : For example : 1) Are all ...