All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
85 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 ...
NicAG's user avatar
  • 227
0 votes
2 answers
291 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 ...
Hao S's user avatar
  • 161
1 vote
1 answer
153 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 ...
li ang Duan's user avatar
1 vote
0 answers
104 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$. ...
li ang Duan's user avatar
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 ...
li ang Duan's user avatar
0 votes
0 answers
37 views

Generic non-existence of 1. Integral of continuous DS

Let $M$ be a compact manfiold and $F \in \mathcal{X}(M)$. We define a DS on $M$ by $$\dot{\mathbf{x}}=F(\mathbf{x}(t))$$ In 1 it was shown by Hurley, that a generic diffeomorphism on $M$ does not have ...
NicAG's user avatar
  • 227
0 votes
0 answers
290 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 ...
NicAG's user avatar
  • 227
28 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 ...
Mohammad Ghomi's user avatar
2 votes
1 answer
156 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 ...
piper1967's user avatar
  • 1,039
3 votes
2 answers
447 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])$ ?
Dattier's user avatar
  • 3,609
0 votes
1 answer
86 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 ...
Hao Yu's user avatar
  • 773
2 votes
1 answer
98 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 ...
Carlos_Petterson's user avatar
2 votes
1 answer
160 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=\...
Math Diego's user avatar
2 votes
1 answer
120 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 ...
UVIR's user avatar
  • 933
6 votes
0 answers
120 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 ...
geooranalysis's user avatar
8 votes
0 answers
188 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 (...
pureorapplied's user avatar
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$ ...
tota's user avatar
  • 585
0 votes
0 answers
88 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)$, ...
Minkowski's user avatar
  • 569
3 votes
2 answers
298 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 ...
Overflowian's user avatar
  • 2,503
6 votes
0 answers
216 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 ...
tota's user avatar
  • 585
2 votes
1 answer
221 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 ...
Alexander Pigazzini's user avatar
7 votes
2 answers
440 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 ...
Saúl RM's user avatar
  • 7,836
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 ...
Saúl RM's user avatar
  • 7,836
2 votes
0 answers
73 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\}$ ...
Arshak Aivazian's user avatar
4 votes
0 answers
116 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 ...
Matija Sreckovic's user avatar
8 votes
1 answer
532 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 $...
ABIM's user avatar
  • 5,001
1 vote
0 answers
184 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 ...
piper1967's user avatar
  • 1,039
2 votes
0 answers
80 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 ...
piper1967's user avatar
  • 1,039
0 votes
1 answer
80 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 ...
SetValued_Michael's user avatar
1 vote
3 answers
638 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 ...
piper1967's user avatar
  • 1,039
1 vote
1 answer
452 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^...
Dmitrii Korshunov's user avatar
5 votes
0 answers
174 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, \...
fsp-b's user avatar
  • 411
24 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 ...
John Samples's user avatar
2 votes
1 answer
381 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 ...
ABIM's user avatar
  • 5,001
1 vote
0 answers
179 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 ...
SampleTime's user avatar
4 votes
1 answer
116 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}$. ...
Catologist_who_flies_on_Monday's user avatar
0 votes
1 answer
165 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,...
Jack L.'s user avatar
  • 1,425
2 votes
1 answer
90 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 ...
ABIM's user avatar
  • 5,001
2 votes
1 answer
298 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 ...
ABIM's user avatar
  • 5,001
1 vote
0 answers
60 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,...
Francine Laporte's user avatar
5 votes
2 answers
304 views

Is this subset of matrices contractible inside the space of non-conformal matrices?

Set $\mathcal{F}:=\{ A \in \text{SL}_2(\mathbb{R}) \, | \, Ae_1 \in \operatorname{span}(e_1) \, \, \text{ and } \, \, A \, \text{ is not conformal} \,\}$, and $\mathcal{NC}:=\{ A \in M_2(\mathbb{R}) \...
Asaf Shachar's user avatar
  • 6,581
2 votes
0 answers
208 views

Are these two definitions of smooth $k$-manifold as a Euclidean subset equivalent?

I am struggling to reconcile the two definitions of smooth k-manifold in $R^n$ from M.Spivaks Calculus on Manifolds (pg 109) and J.W Minor's Topology from differential point of view (pg 01). Milnor's ...
Senthan Sara's user avatar
3 votes
1 answer
678 views

Difference of two-sided and oriented [closed]

I always encounter two definitions: two-sided and oriented (hypersurface or submanifold). What is the difference of them? Which one is stronger?
Slm2004's user avatar
  • 583
0 votes
1 answer
464 views

Is the meaning of "irreducible manifold", "not reducible to other manifold"?

This is a cross post of MSE. Q1: What does "irreducible manifold" mean (not definition)? My understanding of "irreducible manifold" is "is not reducible (homotopic or ...
C.F.G's user avatar
  • 4,145
5 votes
2 answers
530 views

Collared boundary of a non-metrizable manifold

For this question a manifold-with-boundary is a topological space which is Hausdorff and locally upper-Euclidean. Every metrizable manifold-with-boundary has a collared boundary, as shown in "Locally ...
kaba's user avatar
  • 387
5 votes
1 answer
619 views

Restrictions of a local diffeomorphism

I am wondering if a local diifeomorphism has the following property (prove or disprove): Let $M,N$ be differentiable manifolds, and $f:M \to N$ be a local diffeomorphism. Suppose $Z$ is a closed ...
Hsuan-Yi Liao's user avatar
9 votes
3 answers
1k views

Link of a singularity

I would like to understand the topological type of a link of a singularity in a simple example. Consider for instance the cone ${xy-z^2=0}\subset\mathbb{C}^3$. If we set $x = x_1+ix_2, y = y_1+iy_2, z ...
user avatar
4 votes
0 answers
1k views

A closed set which is the closure of its interior points

This is a cross-post to MSE to this question https://math.stackexchange.com/questions/3267497/a-set-which-is-the-closure-of-its-interior-points There is a related question in MO: Closure of the ...
Curiosity's user avatar
  • 293
4 votes
0 answers
404 views

Finite good covers on smooth manifolds

Let $M$ be a connected smooth manifold that is not necessarily compact but has the homotopy type of a finite CW complex. Does $M$ admit a finite good cover? (i.e. a finite cover by contractible ...
John P.'s user avatar
  • 180
3 votes
0 answers
62 views

Metrically homogeneous spaces as inverse limits

Let $(X,d)$ be a locally compact, separable, connected and $\sigma$-compact metric space such that the group of isometries $G$ acts transitively on $X$. The question is the following: Is $X$ ...
user44172's user avatar
  • 541