# Tagged Questions

Smooth manifolds and smooth functions between them. For manifolds with additional structure, see more specific tags, such as [riemannian-geometry]. For more topological aspects, see [differential-topology].

1k 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 ...
18k views

### How do I make the conceptual transition from multivariable calculus to differential forms?

One way to define the algebra of differential forms $\Omega(M)$ on a smooth manifold $M$ (as explained by John Baez's week287) is as the exterior algebra of the dual of the module of derivations on ...
4k 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 ...
2k views

### Noncommutative smooth manifolds

Connes defined a noncommutative analog of a closed oriented Riemannian spin^c manifold using spectral triples. Using his definition it is unclear how to separate the smooth structure from the metric. ...
2k 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 ...
2k 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 [...
517 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 ...
3k views

### can you fool SnapPea?

A while back I thought I had some simple knots that "fooled" SnapPea. But I no longer remember those examples, if I ever had them to begin with. What I'm looking for is a non-hyperbolizable knot ...
761 views

### Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$. Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a CW-...
290 views

### Are there non-smoothable homotopy/homology spheres?

A homotopy sphere is a topological $n$-manifold $M$ which is homotopy equivalent to $S^n$. A homology sphere is a topological $n$-manifold $M$ such that $H_i(M) \cong H_i(S^n)$ for all $i$. Note, by ...
475 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 ...
285 views

### is there a diffeomorphism with only finite orbits but of infinite order?

I asked this in stackexchange, but got no answer, so I am trying here. Is it possible for a diffeomorphism $\phi$ (of a smooth manifold $M$) to have the following properties: All its orbits are ...
438 views

3k views

### Parallelizability of the Milnor's exotic spheres in dimension 7

Are the Milnor's seven dimensional exotic spheres parallelizable?
11k views

### What is the Implicit Function Theorem good for?

What are some applications of the Implicit Function Theorem in calculus? The only applications I can think of are: the result that the solution space of a non-degenerate system of equations ...
4k views

### Classification problem for non-compact manifolds

Background It is well-known that the compact two-dimensional manifolds are completely classified (by their orientability and their Euler characteristic). I'm also under the impression that there is ...
2k views

### When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...
3k views

### What is meant by smooth orbifold?

There seems to be some confusion over what the tangent space to a singular point of an orbifold is. On the one hand there is the obvious notion that smooth structures on orbifolds lift to smooth $G$-...
1k views

2k views

### When do fibre products of smooth manifolds exist?

Harold asks what conditions on $f:M\to L$ and $g:N\to L$, both smooth maps of smooth manifolds, ensures the existence of the fibre product $M \times_L N$.
3k views

### Are there two non-homotopy equivalent spaces with equal homotopy groups?

Could someone show an example of two spaces $X$ and $Y$ which are not of the same homotopy type, but nevertheless $\pi_q(X)=\pi_q(Y)$ for every $q$? Is there an example in the CW complex or smooth ...
953 views

### Characterizing Hessians among symmetric bilinear tensors

I apologize in advance if this is somewhat elementary, but: Let $(M,g)$ be a compact Riemannian manifold. Is there a "characterization" of which symmetric bilinear tensors $B\in Sym^2(M)$ are ...
2k views

### Is it possible to improve the Whitney embedding theorem?

Edited to fix the example, as per Zack's suggestion. Edit 2: So it turns out that when I think 'manifold' I tend to assume the nicest possible object. As I believe is standard, I would like to ...
2k views

### Least number of charts to describe a given manifold

Hello, I'm wondering if there is a standard reference discussing the least number of charts in an atlas of a given manifold required to describe it. E.g. a circle requires at least two charts, and ...
1k views

### Slice knots and exotic $\mathbb R^4$

In the http://arxiv.org/abs/math/0606464v1 I read "If you want to prove existence of exotic smooth structure on $\mathbb R^4$ you can do this if you are in possession of a knot which is ...
634 views

### Derivation on real analytic manifolds

Let $M$ be a real analytic manifold. By $C^{\omega}(M)$ we mean the algebra of all analytic functions from $M$ to $\mathbb{R}$. Assume that $D$ is a derivation on $C^{\omega}(M)$ . Is there a ...
635 views

### Pullbacks as manifolds versus ones as topological spaces

My question is: Does the forgetful functor F:(Mfd) $\to$ (Top) preserve pullbacks? Detailed explanation is following. A pullback is defined as a manifold/topological space satisfying a universal ...
789 views

2k views

### A metric for Grassmannians

I'm reading an article by Ricardo Mañé, Hausdorff dimension is diffeomorphism. I'm having a technical problem. Sorry for my ignorance, but I would like a reference which explains how to equip the ...
2k views

### What is the usual topology of $C^\infty_c(M)$

If $M$ is a smooth paracompact manifold, then what is the usual topology of $C^\infty_c(M)$, i.e., the smooth function with compact support?
(Duplicated from math.stackexchange) I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...