All Questions
Tagged with gn.general-topology differential-topology
131 questions
7
votes
0
answers
184
views
Maps with small fibers between manifolds of equal dimension
The following question is an attempt to revise this one into what I intended.
Important revisions are shown in bold.
Are there any known examples of a compact Riemannian manifold $M$ with (possibly ...
- 781
5
votes
1
answer
279
views
Codimension zero embeddings and maps with small fibers
Edit: as explained in my comment on alesia's answer, I mistakenly did not ask below the question I intended (due to my misguided efforts to simplify it). Thus, I revised and reposted my question here.
...
- 781
3
votes
1
answer
351
views
How to define relative orientation in terms of (co)homology?
Let $f\colon X\to Y$ be a smooth surjective map of smooth manifolds of dimension $n$ which are not necessarily orientable. A relative orientation of $X$ over $Y$ consists of an isomorphism $\psi\colon ...
- 3,031
4
votes
0
answers
97
views
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
The assumption that $ N_G(H)/H $ is finite cannot be weakened ...
- 4,081
5
votes
1
answer
379
views
Proving the Cork Theorem
I am reading Kirby's paper paper "Akbulut's corks and h-cobordisms of smooth simply connected 4-manifolds" and I have a question about how to actually prove the cork theorem from the results ...
14
votes
0
answers
326
views
When can we extend a diffeomorphism from a surface to its neighborhood as identity?
Let $M$ be a closed and simply-connected 4-manifold and let $f: M^4 \to M^4$ be a diffeomorphism such that $f^*: H^*(M;\mathbb{Z})\to H^*(M;\mathbb{Z})$ is the identity map. Moreover, let $\Sigma \...
- 3,751
3
votes
0
answers
159
views
A question regarding weak Whitney embedding theorem
The weak Whitney embedding theorem states that any continuous map $f: D^n \to \mathbb{R}^{2n+1}$ (Let us focus on $D^n$ for this question) can be approximated (in $C^0$-norm) by embeddings. A counter ...
- 31
1
vote
0
answers
177
views
If $X$ is a strong deformation retract of $\mathbb{R}^n$, then is $X$ simply connected at infinity?
Let $X \subseteq \mathbb{R}^n$, and assume there is a strong deformation retract from $\mathbb{R}^n$ to $X$. Is $X$ necessarily simply connected at infinity?
(Edit) Follow up question: if there is a ...
- 637
0
votes
1
answer
135
views
Local embedding and disk in domain perturbation
Consider say $M=(\mathbb{S}^1\times\dotsb\times \mathbb{S}^1)-q$ ($n$-times). Assume that $B$ is an $n$ disk in $M$ (for instance, thinking of $\mathbb{S}^1$ as gluing $-1$ and $1$, the cube $B=[-\...
0
votes
1
answer
80
views
Continuous modification of tangent vector fields
Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
- 434
-4
votes
1
answer
328
views
Does a coarser topology lead to a non-Hausdorff topological manifold? [closed]
Take a topological manifold $M$. Suppose one considers a strictly coarser topology than the manifold topology. Can such topology result in a non-Hausdorff topological manifold?
NOTE: PLEASE avoid the ...
- 612
2
votes
0
answers
136
views
Progess on conjectures of Palis
I came across a "A Global Perspective for Non-Conservative Dynamics" by Palis. He has some conjectures
"Global Conjecture:
There is a dense set $D$ of dynamics such that any element of ...
- 247
0
votes
2
answers
348
views
If a graph embedded on a surface is divided by a curve into a right and left that do not intersect can it be embedded on a surface of smaller genus?
Suppose we have a graph $G$ embedded on a (smooth, orientable etc) surface $Q$. Suppose there is a cycle $C$ of $G$ such that
$C$ does not separate our surface $Q$ into two connected regions and ...
- 111
1
vote
1
answer
192
views
Can orientation preserving diffeomorphism in $\mathbb{R}^d$ be presented by flowmap of dynamical systems?
Because flowmaps are homeomorphic maps, I was wondering if there is any literature that proves that diffeomorphism $\Phi(x)$ can be expressed as a flowmap of a certain dynamical system?
that is, does ...
- 109
1
vote
0
answers
131
views
Can we construct a general counterexample to support the weak whitney embedding theorm?
The weak Whitney embedding theorem states that any continuous function from an $n$-dimensional manifold to an $m$-dimensional manifold may be approximated by a smooth embedding provided $m > 2n$.
...
- 109
0
votes
0
answers
73
views
Can we construct general counterexample to support the Weak Whitney theorem? [duplicate]
Can we construct an example for the weak Whitney theorem to illustrate the existence of a continuous function from an $n$-dimensional manifold to an $m$-dimensional manifold that cannot be smoothly ...
- 109
0
votes
0
answers
303
views
Proof that a first integral is not a constant function
Let $U$ be an (open) set in $\mathbb{R}^n$. And we are given a set of $m$ basis functions
$$B=\{\psi_i(x): U \rightarrow \mathbb{R}\mid i=1,\ldots,m \}$$
such that all of them are differentiable and ...
- 247
29
votes
2
answers
2k
views
Contractibility of the space of Jordan curves
Is the space of Jordan curves in $\textbf{R}^2$ contractible? In other words, is there a canonical or continuous way to deform each Jordan curve to the unit circle $\textbf{S}^1$.
If the curves are ...
- 7,149
2
votes
1
answer
163
views
Homological restrictions on certain $4$-manifolds
I am not very familiar with the non-compact $4$-manifold theory. So I apologize if the following question is very silly.
Let $X$ be a non-compact, orientable $4$ manifold that is homotopic to an ...
- 1,177
3
votes
2
answers
472
views
Regularity of lipschitz and derivable function
Let be lipschitz $f$ on $[0,1]$ and everywhere derivable. Is it true that $f\in C^1([0,1])$ ?
- 4,074
0
votes
1
answer
101
views
A question on relation of different triangulations of a triangulable space
Suppose we get two triangulations of a manifold with boundary $M$ such that the triangulation is compatible with boundary, i.e. the restriction on the boundary is itself a triangulation, is it these ...
- 781
2
votes
1
answer
119
views
Density of smooth bi-Lipschitz maps in smooth maps
Setup/Motivation:
Let $(M,g)$ and $(N,\rho)$ be complete Riemannian manifolds of respective dimensions $m$ and $n$ and suppose that $m\leq n$. Let $\operatorname{bi-C}^{\infty}(M,N)$ denote the class ...
- 195
2
votes
1
answer
211
views
A definition of linking number for knots in $S^3$ using chains in $D^4$
I meet this problem when reading Rolfsen's Knots&Links. After giving 8 different definitions of linking number for knots in $S^3$, he left an exercise: Given disjoint PL knots $J$ and $K$ in $S^3=\...
- 225
2
votes
1
answer
130
views
Gluing isotopic smoothings
Let $M$ be a topological manifold which can be written as $M = U \cup V$ where $U$ and $V$ are open. Suppose both $U$ and $V$ admit smooth structures. Also assume that on the overlap $U \cap V$ the ...
- 803
6
votes
0
answers
136
views
A particular case of the general converse to the preimage (submanifold) theorem
I was thinking whether it would be possible to develop a converse to the preimage theorem in differential topology and I found the following post:
When is a submanifold of $\mathbf R^n$ given by ...
- 197
8
votes
0
answers
198
views
A modified version of the converse to the Sard's Theorem
When I learned Sard's Theorem in differential topology by myself, I was thinking whether it would be possible to prove a converse version of the theorem. That is to say, can we somehow show that each (...
- 349
1
vote
0
answers
200
views
Question regarding affine fibre bundles
Let $f:X\to Y$ be a morphism of affine varieties such that it is a fibre bundle with fibre $F$. Let $\pi_1(Y)=\Gamma$ be a free group (non abelian) of finite rank and $\pi_1(F)$ is a finite group $G$ ...
- 585
0
votes
0
answers
89
views
Topologies in $\mathcal{C}^\infty(M,N)$
Naively, one could topologise the set of smooth (ie $\mathcal{C}^\infty$) maps between two smooth manifolds $M \to N$ with the subspace topology $\mathcal{C}^\infty(M,N) \subseteq \mathcal{C}^0(M,N)$, ...
- 601
3
votes
2
answers
306
views
Smoothing a map $f:X\to \mathbb{R}$ while fixing it over a closed $C\subset X$
$\newcommand{\R}{\mathbb{R}}$I have a map $f\in C^0(X,\mathbb{R})$, where $X$ is a compact and Hausdorff topological space, which is a manifold outside of a compact subset $K\subset X$.
I would like ...
- 2,533
6
votes
0
answers
297
views
Regarding homology of fiber bundle
Let $f: X\to Y$ be a smooth map between smooth manifolds, both connected. Let $Y=\cup_{i=1}^k Y_i$ be a finite union of disjoint locally closed submanifold $Y_i$ such that $f^{-1}(Y_i)\to Y_i$ is ...
- 585
1
vote
1
answer
291
views
Isometry and gluing between smooth manifolds - some references
I have a doubt that assails me.
The technique of gluing along edges between manifolds is generally considered in the topological context.
I don't know if there are other gluing techniques.
I was ...
- 272
7
votes
2
answers
562
views
Is the union of a compact and the relatively compact components of its complementary in a manifold compact?
I was thinking of a way to prove this and I realised that for my approach the lemma from the title would be useful, and it´s an interesting question on its own. Obviously it is true if the manifold is ...
- 10.6k
40
votes
2
answers
2k
views
Can the nth projective space be covered by n charts?
That is, is there an open cover of $\mathbb{R}P^n$ by $n$ sets homeomorphic to $\mathbb{R}^n$?
I came up with this question a few years ago and I´ve thought about it from time to time, but I haven´t ...
- 10.6k
2
votes
0
answers
74
views
Is the reversibility of inflation of a subset equivalent to its smoothness?
$D_r(x)$ denotes a closed ball of radius $r$ centered at $x$.
Definition. Let $M \subset \mathbb{R}^n$.
$D_r (M): = \bigcup\limits_{x \in M} D_r (x)$
$Int_r (M): = \{x ~|~ D_r(x) \subset M\}$
...
- 6,962
4
votes
0
answers
155
views
Equivalence of definitions of Hirsch and Wall of strong $C^r$-topologies
I've been reading about strong (and weak) $C^r$-topologies on the space of $C^r$-maps between $C^s$-manifolds $M$ and $N$ ($s \ge r$) from the textbooks of Hirsch and Wall (both called Differential ...
- 281
8
votes
1
answer
584
views
The closure of the set of injective continuous functions
Setup/Notation:
Let $n,m\in \mathbb{N}$ and let $C(\mathbb{R}^n,\mathbb{R}^m)$ be the space of continuous functions from $\mathbb{R}^n$ to $\mathbb{R}^m$ equipped with the compact-open topology. Let $...
- 5,405
1
vote
0
answers
217
views
How to check a fiber bundle is trivial
Given a smooth fiber bundle $X \to S^1,$ such that the fiber, $F$, is homotopic to $S^2 \vee S^2.$ Is it true that this is always a trivial fiber bundle?
In general, how to check a fiber bundle is ...
- 1,177
2
votes
0
answers
86
views
Existence of a proper Morse function
I started with a finite CW complex $X$ of dimension $n\geq 3$. I have embedded (local embedding) it inside $R^{2n}$. Now take a regular neighbourhood $U$ of $X$ in $R^{2n}$ which has the same homotopy ...
- 1,177
1
vote
1
answer
110
views
Existence of a Hölder homeomorphism satisfying prescribed norm constraints
Let $\Omega$ be a convex body$^{\boldsymbol{1}}$ in $\mathbb{R}^n$ where $n$ is a positive integer. Fix a positive integer $k$ and some $0<\alpha\leq 1$. Let $k_1> k_2>0$. Does there ...
1
vote
3
answers
660
views
How can I construct a closed manifold from a finite CW complex?
If I start with a, say, 3-CW complex $X$ which can be embedded in $\mathbb{R}^5$, I can get a neighbourhood $U$ of $X$ which has the same homotopy type of $X$. Then $U$ is a $5-$ dimensional open ...
- 1,177
1
vote
1
answer
649
views
Local diffeomorphisms, covering maps and smooth path lifting
Let $f: M\to N$ be a surjective local diffeomorphism of noncompact smooth manifolds.
Suppose that every smooth path is liftable, that is, for any smooth path $\gamma: [0,1]\to N$ and any point $p\in f^...
- 2,934
6
votes
0
answers
196
views
Logarithm on formal power series continuous?
Denote $V:=\mathbb{R}^d$ and consider the Cartesian product $V^\infty:=\prod_{k=0}^\infty V^{\otimes k}$ together with its canonical projections $\pi_k : V^\infty\rightarrow V^{\otimes k}, (v_0, v_1, \...
- 463
25
votes
1
answer
1k
views
Is there a $4$-manifold which Immerses in $\mathbb{R}^6$ but doesn't Embed in $\mathbb{R}^7$?
I'm interested in both version of the question in the title, i.e. in the topological category and in the smooth category. By a topological immersion I mean a local embedding. I was asking in ...
- 439
2
votes
1
answer
560
views
Collar neighborhood theorem for manifold with corners
I was reading this wonderful sequence of posts:
nlab: manifold with boundary
and nlab: collar neighbourhood theorem
and I couldn't help but wonder. Is there an extension of the Collar neighborhood ...
- 5,405
1
vote
0
answers
181
views
Subset of the domain of attraction
Let $x \in R^n$ and $f : R^n \to R^n$, $f\in C^1$
$$
\frac{\mathrm{d}}{\mathrm{d}t} x(t) = f(x(t))
$$
be such that $f(0) = 0$ is asymptotically stable. The domain of attraction is the set of initial ...
- 61
4
votes
1
answer
121
views
Condition for existence of a continuous function realizing a partition
Let $\{U_i\}_{i=1}^{I}$ be a non-empty and finite collection of non-empty, disjoint, open, (and obviously bounded) subsets of $[0,1]^n$. Suppose also that $[0,1]^n=\cup_{i =1 }^{ I} \overline{U_i}$. ...
0
votes
1
answer
177
views
Existence of certain continuous curves
Let $\mathbb{S}^n$ be the $n$-sphere. I would like to know if anyone knows of the following result in the literature (or whether anyone knows a proof/counterexample).
Let $f\colon\mathbb{S}^1\times[0,...
- 1,453
2
votes
1
answer
94
views
Density of functions into the circle glueing
Let $\{U_i\}_{i=1}^2$ be an open cover of $S^1$, with $U_i\cong \mathbb{R}$ (for example, $U_1$ is the lower arc of the circle and $U_2$ is the upper part). Let $\iota_i:U_i\hookrightarrow S^1$ be ...
- 5,405
2
votes
1
answer
301
views
Density of continuous functions to interior in set of all continuous functions
Let $M$ be an $m$-dimensional manifold and $N$ be an $n$-dimensional manifold with boundary. Suppose also that the topology on $N$ can be described by a metric. Thus, the set $C(M,N)$ can be endowed ...
- 5,405
1
vote
0
answers
61
views
Minimal radius of a ball admitting a trivialization of a vector bundle
Let $X$ be a compact Hausdorff space and $p : V \to X$ a complex vector bundle of rank $n$. For $r > 0$ let $B(r,x)$ denote the open ball of radius $r$ around $x$. Does there exist an $r$ such that,...
