Questions tagged [gt.geometric-topology]
Topology of cell complexes and manifolds, classification of manifolds (e.g. smoothing, surgery), low dimensional topology (e.g. knot theory, invariants of 4-manifolds), embedding theory, combinatorial and PL topology, geometric group theory, infinite dimensional topology (e.g. Hilbert cube manifolds, theory of retracts).
1,034
questions with no upvoted or accepted answers
40
votes
0
answers
1k
views
Homotopy type of TOP(4)/PL(4)
It is known (e.g. the Kirby-Siebenmann book) that $\mathrm{TOP}(n)/\mathrm{PL}(n)\simeq K({\mathbb Z}/2,3)$ for $n>4$. I believe it is also known (Freedman-Quinn) that $\mathrm{TOP}(4)/\mathrm{PL}(...
40
votes
0
answers
3k
views
Minimal volume of 4-manifolds
This question came up in a talk of Dieter Kotschick yesterday. The minimal volume of a manifold is the infimum of volumes of Riemannian metrics on the manifold with sectional curvatures bounded in ...
37
votes
0
answers
2k
views
What is the three-dimensional hyperbolic volume of a four-manifold?
Every smooth closed orientable 4-manifold may be constructed via a handle decomposition. Before asking a couple of questions, I recall some well-known facts about handle-decompositions of 4-manifolds.
...
34
votes
0
answers
692
views
Metrics on the 3-sphere with knotted geodesics
According to answers to this question every metrics on $S^3$ admits a simple closed geodesic. Given a knot (or link) $K$, it's also quite simple to build a metric on $S^3$ such that $K$ is a geodesic (...
33
votes
0
answers
2k
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 ...
25
votes
0
answers
1k
views
Curves on potatoes
On twitter recently, Robin Houston brought up this problem from a mathematical puzzle book of Peter Winkler:
The puzzle is attributed to the book "The mathemagician and the pied piper", and ...
24
votes
0
answers
1k
views
Exotic 4-spheres and the Tate-Shafarevich Group
The title is a talk given by Sir M. Atiyah in a conference with the following abstract:
I will explain a deep analogy between 4-dimensional smooth geometry (Donaldson theory)...
24
votes
0
answers
1k
views
Concordance and homology cobordism
If two knots $K_1$ and $K_2$ in $S^3$ are smoothly concordant, then for any rational number $r$, the $r$-surgeries $S^3_r(K_1)$ and $S^3_r(K_2)$ are homology cobordant. Is the converse true? What if $...
24
votes
0
answers
1k
views
Monoid structure of oriented manifolds with connect sum
Take the class of all compact, connected, boundaryless, smooth oriented $n$-dimensional manifolds, each taken up to orientation-preserving diffeomorphism. This is a commutative monoid with operation ...
23
votes
0
answers
652
views
Do most manifolds have symmetries? or not?
Let us say that a (closed, connected) manifold has a symmetry if it admits a non-trivial action by a finite group. Note that I am not asking the action to be free. So for example rotating the 2-sphere ...
22
votes
0
answers
612
views
Smooth thickenings of non-smoothable manifolds
It is known that any closed topological manifold is homotopy equivalent to an open smooth manifold.
Question 1. What can be said about the smallest
dimension of a smooth manifold
that is homotopy ...
22
votes
0
answers
1k
views
Boundaries of noncompact contractible manifolds
It is known that a manifold $B$ bounds a compact contractible topological manifold if and only if $B$ is a homology sphere. The "only if" direction follows by excising a small ball in the interior of ...
21
votes
0
answers
734
views
Is the mapping class group of $\Bbb{CP}^n$ known?
In his paper "Concordance spaces, higher simple homotopy theory, and applications", Hatcher calcuates the smooth, PL, and topological mapping class groups of the $n$-torus $T^n$. This requires an ...
20
votes
0
answers
840
views
A mysterious paper of Stallings that was supposed to appear in the Annals
In Stallings's paper
Stallings, John, Groups with infinite products, Bull. Amer. Math. Soc. 68 (1962), 388–389.
he briefly discusses how to prove "several generalizations" of Brown's ...
20
votes
0
answers
534
views
Homeomorphisms of the sphere mapping a geodesic triangulation to another one
Consider the standard Riemannian 2-sphere $S$, equipped with a geodesic triangulation $T$. Let $L(S,T)$ be the space of homeomorphisms of $S$ which map
$T$ to a geodesic triangulation. What is the ...
20
votes
0
answers
493
views
Topological description of inverting a knot
The first figure shows an offset overhand knot. To tie it, you simply bring the two cords together and make an overhand knot in them. It's more secure than it looks, and several climbers have been ...
20
votes
0
answers
658
views
Polynomials with roots in convex position
Let $\mathcal P_n$ denote the set of all monic polynomials of degree $n$ with real or complex coefficients such that $P\in\mathcal P_n$ if for all $k\in\lbrace 0,1,\dots,n-2\rbrace$ the $n-k$ roots of ...
19
votes
0
answers
350
views
are there high-dimensional knots with non-trivial normal bundle?
Does there exist a smooth embedding $\varphi\colon S^k\to S^n$ such that $\varphi(S^k)$ has non-trivial normal bundle?
I looked at some of the old papers by Kervaire, Haefliger, Massey, Levine but I ...
19
votes
0
answers
527
views
What is the centralizer of a Coxeter element?
Let $(W,S)$ be a Coxeter system (of finite rank) and $c \in W$ a Coxeter element.
If $W$ is finite, then the centralizer $C_W(c)$ is the cyclic group generated by $c$ (e.g. see the book "Reflection ...
19
votes
0
answers
621
views
Is there a simpler proof of the key lemma in the paper by Hiroshi Iriyeh and Masataka Shibata on the 3D Mahler conjecture?
In this remarkable paper 30 pages are occupied by the proof of the following innocently looking lemma:
Let $K$ be an origin-symmetric convex body in $\mathbb R^3$. There exist three planes through ...
19
votes
0
answers
839
views
Which manifolds decompose into pants?
In this nice paper Mikhalkin uses certain (more geometrical than algebraic) aspects of tropical geometry to prove that every complex projective hypersurface in $\mathbb C \mathbb P ^n$ decomposes as a ...
19
votes
0
answers
562
views
The oriented homeomorphism problem for Haken 3-manifolds
Haken famously described an algorithm to solve the homeomorphism problem for the 3-manifolds that bear his name (fleshed out by many others, including Hemion and Matveev who fixed some gaps). But it'...
18
votes
0
answers
1k
views
What is the strongest nerve lemma?
The most basic nerve lemma can be found as Corollary 4G.3 in Hatcher's Algebraic Topology:
If $\mathcal U$ is an open cover of a paracompact space $X$ such that every nonempty intersection of ...
18
votes
0
answers
623
views
Bernoulli & Betti numbers (of manifolds) and the prime 34511
The purpose of this question is to resolve a mystery surrounding the prime 34511 that has got me bogged down for a while now. If you only care about the number theory and not the motivation coming ...
18
votes
0
answers
444
views
Orientation-reversing homotopy equivalence
If there is an orientation-reversing homotopy equivalence on a closed simply-connected orientable manifold is there an orientation-reversing homeomorphism?
It is not true, for instance, that if there ...
18
votes
0
answers
843
views
Are these local systems on $\mathscr{M}_{g,1}$ motivic?
Let $(\Sigma_g, x)$ be a pointed topological surface of genus $g$, and let $MCG(g,1)$ be the mapping class group of this pointed surface. Then $MCG(g,1)$ has a natural action on $\pi_1(\Sigma_g, x)$ $$...
18
votes
0
answers
327
views
"High-concept" explanation for proof of a theorem of Ochanine?
See Akhil Mathew's notes on Ochanine's theorem for elliptic genera here and here.
Let $\phi: \Omega_{SO} \to \Lambda$ be a genus. We might ask when $\phi$ satisfies the following multiplicative ...
18
votes
0
answers
462
views
What do tangles teach us about braids?
A braid is a smooth level-preserving embedding $f\colon\, \{1,2,\ldots,n\}\times[0,1]\hookrightarrow \mathbb{R}^2 \times [0,1]$ such that $f(k,0)=(k,0)$ and $f(k,1) \in \{1,2,\ldots,n\} \times \{1\}$....
18
votes
0
answers
868
views
Almost complex 4-manifolds with a "holomorphic" vector field
Main question. What is the class of smooth orientable 4-dimensional manifolds that admit an almost complex structure $J$ and a vector field v, that preserves $J$?
The following sub question is ...
17
votes
0
answers
993
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 ...
17
votes
0
answers
725
views
Does every connected set that is not a line segment cross some dyadic square?
A dyadic square is a subset of $R^2$ of the form $x + 2^{-n} [0,1]^2$ with $x \in 2^{-m} Z^2$, for integers $m,n \geq 0$. We say that a set $A$ crosses a square $S$ if there exists a connected subset ...
17
votes
0
answers
820
views
Horrible sets and blowups in Hubbard's Teichmuller theory
Edit: I can rephrase this question this way: When blowing up every point in the $x$-axis in $\mathbb{C}^2$ by means of an inverse limit of finite blowups, how can anything be 'left over'? The horrible ...
16
votes
0
answers
391
views
Is the oriented bordism ring generated by homogeneous spaces?
I am trying to find a Riemannian geometrically well-understood set of generators of the oriented bordism ring, including the torsion parts. By a set of generators, I mean that the set generates the ...
16
votes
0
answers
322
views
Rational equivalence of smooth closed manifolds
All spaces below will be assumed simply connected. A continuous map is a rational equivalence if it induces an isomorphism of the rational homology groups. Two spaces are rationally equivalent if they ...
16
votes
0
answers
675
views
What is the current status of the question of whether or not the mapping class group has Kazhdan's Property (T)?
$\DeclareMathOperator\Mod{Mod}$Let $\Mod(S)$ be the mapping class group of a closed oriented surface $S$ of genus at least $3$. My question is easy to state: is it currently known whether or not $\...
16
votes
0
answers
813
views
"Geometric" proof of Kunneth formula
The usual proof of the Kunneth formula (say for either the homology or cohomology of manifolds) is essentially pure homological algebra. I was wondering if there was a more geometric proof, i.e., one ...
16
votes
0
answers
418
views
Do TQFTs give a complete set of invariants of manifolds?
An $n$-dimensional TQFT is a representation of the category $n$Cob of $n$-dimensional cobordisms. TQFTs are important sources of invariants of manifolds, and such invariants are highly computable by ...
16
votes
0
answers
1k
views
Connected sum is well-defined for surfaces, proof?
EDIT: So my question is distinct from the question asked here because I am asking an easier question. Why should we have to invoke something as powerful as the "Annulus Theorem" to show that the ...
16
votes
0
answers
408
views
Survey of known results on equivariant transversality
Most basic differential topology theorems carry over to the equivariant case with mild modifications; see for instance Wasserman's paper. One thing that fails (more or less obviously) is equivariant ...
16
votes
0
answers
627
views
Approximating homeomorphisms of 2-disk by diffeomorphisms
Any homeomorphism of a compact surface can be approximated by diffeomorphisms.
Is there a parametrized version of this result, where the parameter space is an $n$-disk?
In other words, if $S$ is a ...
15
votes
0
answers
1k
views
reference - Grothendieck on Thurston's work
In his 'dernières' years Grothendieck gets "interested" in Thurston's work.
"[...] je me suis intéressé ces dernières années - la géométrie hyperbolique à la Thurston et ses relations au groupe de ...
15
votes
0
answers
586
views
What is the determinant of Poincaré duality?
For a complex $C^{\bullet}$ of finite dimensional vector spaces, one has a determinant
$$|C^\bullet|:= \bigotimes \left(\Lambda^{top} C^i\right)^{(-1)^i}$$
functorial with respect to quasi-...
15
votes
0
answers
437
views
Asymptotics for the number of triangulations of a manifold M
In Gromov's talk at the Clay Math Research from 23:23 to 25:55 Gromov says (slightly paraphrased)
I want to emphasize a problem which
comes from mathematical physics which
is unsolved which is ...
14
votes
0
answers
216
views
Hauptvermutung for non-manifolds
The Hauptvermutung proposes the following: if two finite simplicial complexes are homeomorphic then they are PL-homeomorphic, meaning that they have a common refinement.
People are mostly interested ...
14
votes
0
answers
316
views
Are there exotic twisted doubles of 4-manifolds?
Take a smooth 4-manifold $X$ whose boundary has a diffeomorphism $\tau: \partial X \to \partial X$ that extends to a homeomorphism but not a diffeomorphism of $X$. (By Matveyev and Curtis-Freedman-...
14
votes
0
answers
327
views
Are there Alexander-Whitney maps in geometric homology?
When $X$ is a smooth manifold, Lipyanskiy defines a chain complex whose homology is isomorphic to singular homology -
let's say $GC_*(X)$ - generated by maps $\sigma: M \to X$ from compact $k$-...
14
votes
0
answers
251
views
Is the group $\operatorname{Diff}^1_0(\mathbb R^d)$ connected?
Is the group
$$ \operatorname{Diff}^1_0(\mathbb R^d) = \operatorname{Diff}^1(\mathbb R^d) \cap \big(\operatorname{Id}_{\mathbb R^d} + C^1_0(\mathbb R^d,\mathbb R^d)\big) $$
connected? Here
$$ C^1_0(\...
14
votes
0
answers
438
views
Structure of Gordian graph of knots
The Gordian graph of knots has the knot isotopy classes as it's vertices, and an edge whenever you can pass from one knot to a other via a "finger move", equivalently if for some diagram of the knot ...
14
votes
0
answers
459
views
Which spherical space forms embed in $S^4$?
Is there any hope of getting a classification of which 3-dimensional spherical space forms are smoothly embeddable in $S^4$? I read that lens spaces cannot embed in $S^4$, but some other spherical ...
13
votes
0
answers
321
views
Nonsmoothable 4-manifolds
Does there exist a closed connected nonsmoothable 4-manifold $M$ such that:
$\kappa(M)=0$ (Kirby-Siebenmann invariant vanishes, hence, there is no "classical" obstruction to smoothability) ...