4
votes
1answer
174 views

Exercises around Diffeological Spaces or a Diffeologic Atlas Theory

Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...
3
votes
2answers
108 views

Markov Partitions for toral automorphisms

I know that my question is more practical than theoretical. But, I do know where to look for the theoretical sources. I want to find a program in the case that it exists (does it?), or to program it. ...
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 ...
7
votes
2answers
240 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 ...
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$ ...
8
votes
1answer
459 views

Pontryagin numbers on manifolds with an $S^1$-action

Let $M$ is a smooth compact manifold with an $S^1$-action with isolated fixed points. Suppose the representation of $S^1$ at tangent spaces at all fixed points is known. Can one then find all ...
6
votes
1answer
247 views

how to obtain a generalized Morse function out of a fiber bundle?

I already asked this question in MSE but did not get any answer/comment yet. Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, ...
3
votes
0answers
64 views

Analytic stuctures on $\mathbb R^n$ and the nilpotent ideal of supermanifolds

I have two questions which are somewhat related: (a) It is a well known result (of Freedman?) in differential topology that $\mathbb R^4$ has exotic smooth structures. Apparently, it is known that ...
2
votes
0answers
81 views

Proving that two given functionally structured spaces are isomorphic

The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...
9
votes
1answer
342 views

Do partitions of unity exist if we impose additional conditions on the derivatives?

Let $ ~~\cup_{k=-1}^{\infty} U_k = \mathbb{R} $ be an open covering of $\mathbb{R}$. It is a well known fact that partitions of unity subbordinate to the cover exists, i.e. there exists smooth ...
2
votes
3answers
221 views

Fatou sets and topological entropy

Let us consider a diffeomorphism of a compact real manifold (complex manifold defined over the reals), and let us say that the diffeomorphism is birational. Hence, it extends to a birational map from ...
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 ...
0
votes
0answers
97 views

transverse intersection of Whitney stratifications

Let $M$ be a smooth manifold. If $X$ and $Y$ are two Whitney objects, i.e. subsets with a given Whitney stratification, then $X$ and $Y$ are transverse if each stratum of $X$ is transverse to each ...
4
votes
2answers
261 views

Is it impossible for the dimension of a topological space to increase under a smooth map?

First let me make a definition. Let $M$ be a smooth manifold and $S \subset M $ a topological subspace of $M$. We say that $S$ has "dimenion" at most $k$ if $S$ is a subset of $$ X_1 \cup X_2 \ldots ...
14
votes
0answers
337 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 ...
0
votes
1answer
108 views

A version of implicit function theorem when sections are not everywhere smooth?

Let $V_1, V_2 \rightarrow M $ be smooth vector bundles over a manifold $M$ and $s_1: M \rightarrow V_1$ a smooth section transverse to the zero set and $s_2: M \rightarrow V_2$ a continuous section ...
1
vote
0answers
117 views

Can one always extend a smooth section defined on a non compact submanifold to the whole manifold, provided it extends continuously to the closure?

Let $V \rightarrow M$ be a smooth vector bundle over a smooth compact manifold $M$ (without boundary) and $X \subset M$ a smooth submanifold of $M$, that is not necessarily closed. Suppose $s: X ...
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
445 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 ...
4
votes
1answer
430 views

Differentiable manifolds by Serge Lang question

I have started reading "Introduction to differentiable manifolds" by Serge Lang. In this book, Lang takes a different approach, by immediately introducing manifolds on arbitrary Banach spaces. His ...
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 ...
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 ...
2
votes
1answer
377 views

Extended integral in Spivak’s Calculus on Manifolds

On page 48 of Calculus on Manifolds Spivak defines (Riemann) integration over rectangles $[a_{1},b_{1}]\times\cdots\times[a_{n},b_{n}]\subset\mathbb{R}^{n}$. Then on page 55 he extends this integral ...
5
votes
4answers
531 views

When does a hypersurface have contact-type?

In a symplectic manifold $(X^{2n},\omega)$, a hypersurface $Y\subset X$ has contact-type if there is a contact form $\lambda$ such that $d\lambda=\omega|_Y$. Recall that a contact form is a 1-form ...
4
votes
1answer
238 views

Classifying smooth embeddings which yield Morse functions

Let $\mu:M \to \mathbb{R}$ be a fixed surjective smooth function on a smooth manifold $M$. Let $N$ be a smooth compact manifold that embeds smoothly into $M$ via $\iota:N \to M$. What conditions ...
5
votes
1answer
361 views

Actions of finite groups on exotic smooth manifolds of dimension >4

Let $M_1^n$ and $M_2^n$, $n>4$ be two smooth compact manifolds that are homeomorphic but not diffeomorphic. Suppose that a finite group is $G$ acting faithfully on $M_1^n$ by diffeomorphisms. Is it ...
12
votes
6answers
782 views

Does every vector bundle allow a finite trivialization cover?

Suppose there is a vector bundle (smooth, with constant rank finite-dimensional fibres) over a (smooth, second-countable, Hausdorff, not necessarily connected) manifold $B$ of dimension $n$. (a) Is ...
5
votes
1answer
754 views

Classification of smooth atlases

Let $\mathcal{A}$ be a smooth maximal atlas on a manifold $M$. Let $f:M\to M$ be a smooth invertible function, whose inverse is not smooth (for example $f:\mathbb R\to \mathbb R$, $f(x)=x^3$). Then ...
4
votes
1answer
347 views

Is the space of smooth partitions of unity connected? Simply-connected?

One of the requirements for a smooth manifold $M$ is that it be paracompact, and one of the equivalent definitions of paracompactness for a smooth space is that for overy open cover of $M$, there ...
0
votes
0answers
244 views

Sets that are diffeomorphic to $(0,1)^k$

Let $W\subset \mathbf R^{k}$ be an open set. Are there conditions on $W$ that guarantee the existence of a map $T:(0,1)^k \rightarrow W$ such that: (i) $T$ is surjective, (ii) $T$ is continuously ...
-1
votes
3answers
587 views

When is the union of embedded smooth manifolds a smooth manifold?

Suppose we have k embeddings of one single smooth manifold into one other, such that the intersections are manifolds,too. What are sufficient conditions, such that the union of those embeddings is a ...
4
votes
1answer
511 views

On a remark in Foundations of mechanics, 2nd Edition, by Abraham and Marsden

I don't know if this question is appropriate to this site, but I posted here without an answer, so I tried this alternative. Given a $2$-form $\omega$ on a manifold $M$, let us denote by $N$ the ...
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 ...
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, ...
10
votes
0answers
369 views

Exotic smoothness and Parallelizability

Regarding the parallelizability of the Milnor's seven dimensional exotic spheres: Parallelizability of the Milnor's exotic spheres in dimension 7 The following question naturally arises: Suppose ...
52
votes
4answers
2k views

Parallelizability of the Milnor's exotic spheres in dimension 7

Are the Milnor's seven dimensional exotic spheres parallelizable?
8
votes
1answer
730 views

Finite-dimensionality for de Rham cohomology

I was browsing through the litterature, hoping to find sufficient and necessary conditions for a smooth manifold to have finite-dimensional de Rham cohomology, but I can't find any satisfactory ...
6
votes
3answers
498 views

Can homologous submanifolds be connected by an immersed manifold with boundary?

Supposed I have an n-dimensional manifold M with a k-dimensional submanifold that is homologous to zero (or, equivalently, two homologous submanifolds). Can I always construct a k+1-dimensional ...
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 ...
12
votes
1answer
491 views

smoothly varying smooth structures

Can one vary smooth structures on $\mathbb R^4$ smoothly/continuously? This question popped out of Ben's answer here.
11
votes
2answers
944 views

Smooth structures on the connected sum of a manifold with an Exotic sphere

What can we say about the connected sum of a manifold $M^n$ with an Exotic sphere? Is is possible some of them are still diffemorphic to $M^n$. Is it possible to classifying all the exotic smooth ...
7
votes
1answer
850 views

How well can we localize the “exoticness” in exotic R^4?

My question concerns whether there is a contradiction between two particular papers on exotic smoothness, arxiv:0807.4248v1 and arxiv:gr-qc/9404003v1. The former asserts: "Let $M$ be a smooth closed ...
3
votes
2answers
995 views

Is it true that exotic smooth R^4 cannot be diffeomorphic to RxN, where N is a 3-manifold?

Since $\mathbb{R}$ and any 3-manifold $N$ must be non-exotic, their product $\mathbb{R}\times N$ cannot possibly be diffeomorphic to exotic $\mathbb{R}^4$, correct? Update: Andy Putman already ...
2
votes
2answers
547 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 ...
6
votes
3answers
753 views

Checking whether the image of a smooth map is a manifold

I have a specific problem, but would also like to know how to tackle the general case. I will first state the genral question. Let $M$ be an embedded submanifold of $\mathbb{R}^n$ and let $F: ...
13
votes
2answers
2k views

Exotic differentiable structures on R^4?

This was going to be a comment to Differentiable structures on R^3, but I thought it would be better asked as a separate question. So, it's mentioned in the previous question that $\mathbb{R}^4$ has ...