All Questions
Tagged with gn.general-topology dg.differential-geometry
34 questions with no upvoted or accepted answers
13
votes
0
answers
364
views
What is known about differentiable and analytic structures on the long line (and half-line)?
When reading about this question which recently became active for some reason, I wanted to make a comment, as a warning regarding non-metrizable manifolds, to the effect that the every $C^\infty$ ...
- 32.5k
12
votes
0
answers
460
views
3 manifolds with diffeomorphic unit tangent bundles
What can one say about two closed oriented 3-manifolds $M_1$ and $M_2$ such that $S^2 \times M_1$ is diffeomorphic to $S^2 \times M_2$?
- 131
8
votes
0
answers
230
views
+300
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 ...
- 491
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
7
votes
0
answers
504
views
Intersection form of logarithmic transformations
Now I want to calculate the intersection form of a logarithmic transformation which is defined as follows.
Let $X$ be an oriented, closed, simply-connected 4-manifold and $T^2\subset X$
be an ...
6
votes
0
answers
189
views
What is a non-smooth connection?
Let $p : E \to B$ be a map of topological spaces, and $p^I : E^I \to B^I$ the induced map of path spaces. Let $Cocyl(p) = B^I \times_B E$ be the space of paths $\beta$ in $B$ equipped with a lift of $\...
- 63.9k
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
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
6
votes
0
answers
132
views
Generalization of pseudogroups
Pseudogroups are defined here: https://ncatlab.org/nlab/show/pseudogroup
One of the problems with defining manifolds in terms of pseudogroups is that it gives no notion of a morphism between manifolds,...
- 181
6
votes
0
answers
376
views
Topological Singularities in Affine Varieties
Let $X$ be an affine variety over $\mathbb{C}$. Let $x\in X$.
If $x$ is non-singular, then $x$ is locally holomorphic (in the Euclidean topology). See here for a relevant MO post.
By results of ...
- 8,529
5
votes
0
answers
154
views
Sheaf-like reconstruction of a continuous function
Let $X$ and $Y$ be topological manifolds and let $\{(\phi_x,U_x)\}_{x \in X}$ and $\{(\psi_y,Y_y)\}_{y \in Y}$ be respective atlases of $X$ and $Y$; with each $\phi_x:U_x\rightarrow \mathbb{R}^n,\...
- 5,405
5
votes
0
answers
207
views
Can the compactification of a (co)tangent bundle equipped with Saski metric be viewed as a "Wick rotation"?
We can equip the (co)tangent bundle of a Riemannian manifold (B,g) with a Saski metric $\hat{g}$ (see, for example, "On the geometry of tangent bundles" by Gudmunssun & Kappos) that looks like
\...
- 51
4
votes
0
answers
105
views
How is the instanton Floer homology of Seifert fibrations related to that of a trivial fibration
My question centers around the relationship of the Chern-Simons theories of a Seifert fibration and the trivial product space $\Sigma_g \times S^1$, and its implication for instanton Floer homology. ...
- 1,155
3
votes
0
answers
109
views
"Practical" references on mapping spaces as infinite-dimensional manifolds
I am studying spaces of the form $C^{k}(\mathcal{M},\mathcal{N})$ between manifolds ($k=\infty$ allowed) and I am looking for extensive references, especially analysing their topology and smooth ...
- 1,171
3
votes
0
answers
126
views
A path with zero increments and positive area
I am studying rough paths from the 2007 St Flour lecture notes and I came across the example at the end of chapter one of the sequence of paths $X(n):[0,2\pi]\to \mathbb R^2$ given by $X_t(n) = \frac{...
- 177
3
votes
0
answers
64
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$ ...
- 541
3
votes
0
answers
83
views
Is the increasing union of disk bundles a disk bundle?
Setup: Let $B$ be a $C^r$ $n$-manifold ($r \geq 1$) and $M$ a closed $k$-dimensional $C^r$ submanifold of $B$. Assume there exists a smooth retraction $p:B \to M$ which is also a submersion, so that $...
- 491
3
votes
0
answers
267
views
Maps of loop spaces with infinity-bounded differential.
I am currently working with loop spaces of manifold and finite dimensional manifolds approximating these and the following comes up very naturally:
In the following piece-wise smooth means smooth on ...
- 2,590
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
2
votes
0
answers
58
views
Dimension changes from global to local immersion
From Hatcher Corollary A.10. the (global) immersion for an $n-$dimensional CW complex is possible in some $\mathbb{R}^N$. I have started with $M(G,n)$ (Moore space of type $(G,n)$, $G$ is cyclic ...
- 1,177
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
2
votes
0
answers
263
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 ...
- 21
2
votes
0
answers
35
views
If the set of non-0 stalks of F is relatively open, is the same true of its Verdier dual?
Let $X$ be a complex manifold, $F$ a bounded complex of $\Bbb C_X$-modules with constructible cohomology. If the set $\{x: F_x\neq0\}$ is relatively open (i.e. open in its closure), is the same true ...
- 3,079
2
votes
0
answers
171
views
Existence of compatible almost complex structure of symplectic fibration with nice property
Let $\pi: E \to B$ be a fibration over a closed surface $B$ with fier $g(F) \ge 2$. Suppose that both of $B$ and $F$ are closed surfaces and $g(B) \ge2$ and $g(F) \ge 2$. Fix a Kahler structure $(...
- 185
2
votes
0
answers
305
views
Are homotopy equivalent manifolds with homeomorpic boundaries themselves homeomorphic?
Let $f:M \to M′$ be a homotopy equivalence of topological manifolds with boundary such that $dim(M)=dim(M′)$ and $f:\partial M \to \partial M′$ is a homeomorphism. Does this imply the existence of a ...
- 79
2
votes
0
answers
96
views
Branch point and alexandrov embeddedness
This is a question I have asked on mathstackexchange with a bounty but without any answer; it is probably more adapted to mathoverflow:
Let us assume that $\Sigma_n$ is a sequence of topological ...
- 914
2
votes
0
answers
203
views
Faithful actions of finite groups on topological spaces
Suppose that $G$ is a finite group acting faithfully on a topological space $X$. In the smooth setting, one can deduce that for each $x$ in $M$, the induced map $$G_x \to Diff_x\left(M\right)$$ from ...
- 15.5k
1
vote
0
answers
192
views
Simple left earthquakes are dense
i´ve been studying an article from W. P. Thurston about hyperbolic geometry, there, he defines something called left earthquake, whose definition is as follows:
Definition. If $\lambda$ is a geodesic ...
- 11
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,...
1
vote
0
answers
92
views
Topological space modeled by special topological structures
Let $X$ be a topological space. Suppose it is "modeled by" topological spaces of the form $\text{Spec}(A)$ for some commutative ring $A$, then, (along with some other conditions/structure), we call $...
- 6,023
1
vote
0
answers
112
views
Question regarding the image of a polynomial map containing a small box
I have the following question, which intuitively seems it should be true but I wasn't sure how to prove it rigorously.
Let $\delta, \varepsilon > 0$.
Let $\Psi_i(w_1, w_2, \mathbf{v})$ be a ...
- 3,625
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
0
votes
0
answers
70
views
Example of DS with a dense trajectory in the whole state space
Let $U \subset \mathbb{R}^n$ be an open and connected set. We assume there is a vector field $F \in \mathcal{C}^1(\overline{U})$ giving rise to a DS ($\overline{U}$ denotes the closure)
$$\dot{\mathbf{...
- 247
0
votes
0
answers
148
views
Only finitely many fundamental groups in $M(n,k,v,D)$?
Let $M(n,k,v,D)$ denote the class of compact manifolds with $Ric \ge \left( {n - 1} \right)k,vol \ge v,diam \le D$.In 1990,M.Anderson proved that "There are only finitely many fundamental groups among ...
- 689