All Questions
Tagged with gt.geometric-topology gn.general-topology
329 questions
10
votes
1
answer
659
views
Are there any tests for knowing whether a topological space admits a CW structure?
We know that for n $\ge$ 5, a manifold admits a piecewise linear structure if and only if its Kirby-Siebenmann class vanish and Galewski and Stern showed the existence of a similar invariant to test ...
- 168
1
vote
0
answers
69
views
"Bad" valid edge contractions
In this paper, an edge contraction of a simplicial complex $\Gamma$ is defined as the operation of removing the neighborhood $N_e\Gamma$ of the edge $e=\{0,1\}$ and identifying $N_0\partial N_e\Gamma$ ...
- 11
1
vote
1
answer
91
views
When is a 2-bridge knot hyperbolic?
It is known that 2-bridge knots in $S^3$ can be classified by the Schubert form. My question is: which 2-bridge knots are hyperbolic? (Do we have a complete classification for hyperbolicity in 2-...
- 605
0
votes
0
answers
128
views
The smallest dihedral angle of convex polyhedrons
Given a set of points $\{x_{k}\}_{k=0}^{m} \subset \mathbb{R}^n$, is it always possible to find a constant $c=c(m,n)>0$, depending only on the dimension $n$ and the number $m$, such that, after ...
- 705
3
votes
0
answers
93
views
Finiteness of non-orientable 3-manifolds with the same orientable two-fold cover
Given a compact, orientable and boundary incompressible 3-manifold $M$. Suppose that either $M$ is closed, or $\partial M$ consists of tori.
For which non-orientable 3-manifolds $N$, the orientable ...
- 605
5
votes
3
answers
286
views
On a metrized $n$-dimensional manifold $X$, does every $x \in X$ have a small ball $B_\delta(x)$ that is homeomorphic to $\mathbb R^n$?
Suppose that $X$ is an $n$-dimensional topological manifold that is also metrizable, and hence equipped with some metric that induces the topology.
For every point $x \in X$, let $B_\delta(x)$ be the ...
- 5,327
4
votes
0
answers
154
views
Is there a notion of "locally flat" for CW complexes?
A submanifold $X^n\subset Y^m$ is locally flat if each point $x\in X$ has a neighborhood $U\subset Y$ so that $(U,U\cap X)\simeq (\Bbb R^m, \Bbb R^n)$ with the standard embedding $\Bbb R^n\...
- 13.6k
3
votes
1
answer
161
views
How to properly define a slice knot (or a locally flat disk)?
A knot $K\subset\Bbb S^3=\partial \Bbb D^4$ is said to be (topolopgically) slice if there is a locally flat disk $D\subset\Bbb D^4$ with $\partial D=D\cap \Bbb S^3=K$. As far as I understand, locally ...
- 13.6k
5
votes
1
answer
380
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 ...
5
votes
1
answer
215
views
Is it possible to fill a boundary component of an irreducible 3-manifold using a handlebody so that the resulting manifold is still irreducible?
Let $M$ be a compact, orientable, irreducible 3-manifold with boundary (possibly more than one component). Let $S\subseteq\partial M$ be one of its boundary components, which is an orientable surface ...
- 605
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
9
votes
0
answers
258
views
Sheaf cohomology of non-paracompact manifolds (e.g. the long line)
I have long heard that manifolds are "affine". If we allow non-paracompact manifolds, then this seems to fail, since as explained in Dmitri Pavlov's answer, the Serre–Swan theorem fails. I ...
- 2,806
7
votes
2
answers
534
views
Does there exist a Dehn filling of an irreducible 3-manifold with toroidal boundaries which is still irreducible?
Let $M$ be a compact, orientable, irreducible 3-manifold with incompressible toroidal boundary (there might be more than one boundary component). Is it always possible to choose appropriate slopes on ...
- 605
1
vote
0
answers
48
views
Connected pre-images spanning $n$-cubes under dimension reducing maps
Let $I^n = [0,1]^n$ be the $n$-dimensional hypercube. For a continuous function $f: I^n \to \mathbb{R}^m$ with $m < n$, we're interested in the existence of points $p \in \mathbb{R}^m$ whose ...
user530766
5
votes
1
answer
104
views
When do two measured foliations on a surface define a Riemann surface structure?
Let $S$ be smooth surface of finite type, i.e. it has genus g and n punctures (assume $S$ to have negative Euler characteristic). We know by Hubbard-Masur theorem that given a measured foliation $(F,\...
- 275
7
votes
2
answers
448
views
Uncountable collections of distinct subsets of an interval (existence)
Throughout, $\mu$ is just the Lebesgue measure.
Question: does there exist an uncountable family of distinct subsets of $[-1, 1]$, denoted by $(U_j)_{j \in [-1, 1]}$, with $\mu(U_j) > 0$ for each $...
- 101
5
votes
0
answers
96
views
$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?
Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
- 605
2
votes
0
answers
81
views
Extension of a tangent vector field
Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
- 434
2
votes
1
answer
200
views
Subset in $[0,1]^k$ with positive density
Given a positive constant $0<\gamma<1$, does there exists integer $k_0>0$ such that for any integer $k\geq k_0$ the following holds?:
For any $A\subseteq\left[0,1\right]^k$ with the measure ...
- 349
3
votes
1
answer
529
views
Zeros of a function defined on $\mathbb{S}^2 \times \mathbb{S}^2$
Let $u$ be a smooth function on the sphere, and for each $y \in \mathbb{S}^2$, let $R_y$ be the $180^\circ$ rotation about the vector $y$. For each pair $(x, y) \in \mathbb{S}^2 \times \mathbb{S}^2$, ...
- 434
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=[-\...
1
vote
0
answers
61
views
Necessary or sufficient conditions for the $k$-fold intersection to be empty in a covering with a "tree structure"
Consider a finite collection of $d$-dimensional balls $\mathfrak{B}=\{B_1,\ldots,B_n\}$ which cover a PL $d$-manifold $M$, i.e. $M=\bigcup_{i=1}^{n}B_i$. Suppose we want to compute the Euler ...
- 159
0
votes
1
answer
328
views
Relationship between quotient CW-complexes after attaching cells
I have been trying to prove the following simple-looking result which I require for some work in low-dimensional topology. I expect it is likely true and in a textbook somewhere so any reference or ...
- 187
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 434
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
1
vote
1
answer
84
views
Simple convergence of convex compact set implies Hausdorff convergence
I am wondering about the following :
In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that for every $x \in \mathbb{R}^n$ $$ \mathbb{1}_{...
- 125
2
votes
0
answers
414
views
$$ \left(\frac{\text{Man}^{\text{fr}}}{\text{Cobordism}},\coprod,\times \right)\simeq \left((\text{Fin}^{\simeq},\coprod)^{\text{gp}},\times\right)?$$ [closed]
If we combine a theorem of Pontryagin and the Barratt-Priddy-Quillen theorem we get that both sides of
$$
\left(\frac{\mathrm{Man}^{\mathrm{fr}}}{\mathrm{Cobordism}},\coprod,\times \right)\simeq \left(...
- 705
0
votes
1
answer
78
views
Let K be a compact set in a surface, U component of S-K, K'=S-U. K has finitely many components. Does every component of K' contains a component of K? [closed]
Let $S$ be a compact connected surface. Let $K$ be a compact subset of $S$ and suppose that $K$ has a finite number of connected components.
Let $U$ be a connected component of $S \setminus K$ and ...
1
vote
0
answers
145
views
Determine the Eilenberg-MacLane spaces on the right-handed side of this Whitehead tower?
What and how to determine the Eilenberg-MacLane spaces on the right-handed side of this Whitehead tower?
Namely, how do we know
$$
K(Z_2,1)?, \quad K(Z_2,2)?, \quad K(Z,4)?
$$
Naively -- in each step ...
- 447
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
0
answers
141
views
Can a closed null-homotopic curve be filled in by a disc?
Let $U\subseteq\Bbb R^n$ be an open set and $\gamma\subset U$ a closed null-homotopic curve in $U$ (i.e. it can be contracted to a point). Then is there an embedded disc $D\subset U$ with boundary $\...
- 13.6k
8
votes
1
answer
264
views
Does the continuous image of a disc contain an embedded disc?
Let $\phi:\Bbb D^2\to\Bbb R^n$ be a continuous mapping of the 2-disc $\Bbb D^2$ that is injective on the boundary $\partial\Bbb D^2=\Bbb S^1$. Does its image contain an embedded disc with the same ...
- 13.6k
2
votes
2
answers
274
views
Is a simple closed curve always a free boundary arc?
Is it possible to extract a neighborhood around any point on a simple closed curve such that the boundary of this neighborhood intersects the curve at only two points?
For a simple closed curve $\...
- 23
5
votes
0
answers
249
views
Aspherical space whose fundamental group is subgroup of the Euclidean isometry group
Let $M$ be a smooth, compact manifold without a boundary, with its universal covering $\tilde{M} = \mathbb{R}^n$. If there exists an injective homomorphism $h: \pi_1(M) \rightarrow O(k) \ltimes \...
- 661
8
votes
1
answer
380
views
Given an embedded disk in $\mathbb{R}^n$, is there always another disk which intersects it nontrivially in a disk?
We call an open subset $D\subset X$ of a manifold $X$ an embedded disk, if there exists a homeomorphism $D\cong \mathbb{R}^n$.
The precise formulation of the question in the title is as follows:
Let $...
- 725
3
votes
1
answer
157
views
Embedding of half open half closed $n$-set in $n$-space
Let $n\geq 2$. Set $\Sigma= \{x\in \mathbb{R}^n: 1\leq |x|<2\}$. Assume $h:\Sigma
\rightarrow \mathbb{R}^n$ is continuous and injective.
Question: Must $h$ also be an embedding?
Some thoughts:
$h|...
3
votes
1
answer
260
views
Can such a set be simply connected?
$\newcommand\R{\mathbb R}$Let $U$ be an open subset of $\R^2$ such that the point $(0,0)$ is on the boundary of $U$. Let $f\colon[0,1]\to\R^2$ be the path that starts at $(0,0)$ and moves with a (say) ...
- 128k
5
votes
2
answers
711
views
On the boundary of a simply connected set
Let $U$ be an open simply connected subset of $\mathbb R^2$. Let $x$ be a boundary point of $U$.
Does then there always exist a continuous function $f\colon[0,1]\to\mathbb R^2\setminus U$ such that $x ...
- 128k
0
votes
0
answers
177
views
Homeomorphism groups on manifolds and topological properties
Let $M$ be a compact $n$-dimensional manifold let $H(M)$ denote the homeomorphism group of $M$.
If $n=2$ then $H(M)$ enjoys nice properties such as being an ANR, is locally contractible, separable. ...
18
votes
0
answers
1k
views
"Next steps" after TQFT?
(Disclaimer: I'm rather nervous that this isn't appropriate for MathOverflow, but given the contents of my question I don't really know a better place to ask something like this.)
Recently, I've been ...
- 377
4
votes
0
answers
350
views
Does a contractible locally connected continuum have an fixed point property?
I'm surprised that I can't find any research on this topic. Maybe it's too obvious? Kinoshita proved that contractible continuum do not have FPP, but his example is not locally connected. Maybe if we ...
3
votes
1
answer
325
views
A detail in Brown's proof of the generalized Schoenflies theorem
Consider a homeomorphic embedding $h:S^{n-1}\times [0,1]\rightarrow S^n$ and denote
$$S^{n-1}_t=h(S^{n-1}\times \{t\}).$$
The generalized Schoenflies theorem states the closure of each connected ...
- 1,225
1
vote
1
answer
177
views
Identifying a curve on a closed surface of genus 4
The notation is the one used in the attached picture.
Take a closed, orientable surface $\Sigma_4$ of genus $4$, obtained as the identification space of a polygon with $16$ sides in the usual way. The ...
- 66.3k
3
votes
0
answers
429
views
"Maehara-style" proof of Jordan-Schoenflies theorem?
The highest upvoted answer to this old question Nice proof of the Jordan curve theorem? is a proof by Ryuji Maehara. I personally really liked/appreciated that Maehara's proof is
A) a fairly ...
- 831
7
votes
2
answers
646
views
A generic metric on $X\cup\mathbb Z$
$\newcommand\abs[1]{\lvert#1\rvert}$Let $(X,d_X)$ be a countable metric space such that $X\cap\mathbb Z=\{0\}$.
Problem. Is there a metric $d$ on the union $Y=X\cup\mathbb Z$ such that
$d(x,y)=d_X(x,...
- 41.8k
6
votes
1
answer
500
views
A characterization of metric spaces, isometric to subspaces of Euclidean spaces
I am looking for the reference to the following (surely known) characterization of metric spaces that embed into $\mathbb R^n$:
Theorem. Let $n$ be positive integer number. A metric space $X$ is ...
- 41.8k
10
votes
1
answer
460
views
An incomplete characterisation of the Euclidean line?
We say that a metric space $(X, d)$ is a Banakh space if for every $\rho \in \mathbb{R}_{> 0}$ and every $x \in X$, there are
$a,b \in X$ such that $\{y \in X \, \vert \, d(x, y) = \rho\} = \{a, b\}...
- 7,893
8
votes
2
answers
362
views
Is every contractible homogeneous space of a connected Lie group homeomorphic to a Euclidean space?
Problem. Let $G$ be a connected Lie group and $H$ is a closed subgroup of $G$ such that the homogeneous space $G/H$ is contractible. Is $G/H$ homeomorphic to a Euclidean space $\mathbb R^n$ for some $...
- 41.8k
4
votes
0
answers
182
views
Symmetric line spaces are homeomorphic to Euclidean spaces
For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$.
Definition: A metric space $(X,d)$...
- 41.8k
47
votes
3
answers
3k
views
A metric characterization of the real line
Is the following metric characterization of the real line true (and known)?
A nonempty complete metric space $(X,d)$ is isometric to the real line if and only if for every $c\in X$ and positive real ...
- 41.8k