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 ...

learn more… | top users | synonyms

16
votes
1answer
590 views

A function composed with itself produces the identity

Let $B$ be the closed unit ball in $\mathbb R^3$ and $f: B\to B$ continuous, such that $f\circ f$ is the identity (i.e., $f\circ f=\mathbb 1_B$) and $f$ restricted on $\partial B$ is also the identity ...
-2
votes
2answers
221 views

topology on varieties

Let $X, Y$ be varieties over $\mathbb{C}$, and the topology I am talking about is the Eucliden topology. I am not sure if the following two results are true, and where can I find the references: (1) ...
5
votes
0answers
118 views

List of cubical spaces

Suppose I have a three-dimensional cube (I tend to think of it as a regular ideal cube in $\mathbb{H}^3,$ but you don't have to). I glue up its sides in some way to obtain topological spaces. The ...
5
votes
2answers
257 views

Thurston-Cannon $S^2$-filling curves

I have been looking into equivariant space-filling curves $S^1\to S^2$ as discussed by Cannon & Thurston in these two papers: Three-Dimensional Manifolds, Kleinian Groups and Hyperbolic Geometry ...
6
votes
1answer
134 views

Why is the dividing set nonempty when a convex surface has Legendrian boundary?

I am an undergrad and curious about the following question. Let $(Y,\xi)$ be a contact manifold, and $L\subset (Y,\xi)$ be a Legendrian knot which is the boundary of a convex surface $\Sigma$ embedded ...
4
votes
1answer
227 views

What is known about maximal free subgroups of surface groups?

Let $\Gamma_g=< a_1,...,a_g,b_1,...,b_g | \prod_{i=1}^g [a_i,b_i]>$ (a surface group). What is known about maximal free subgroups of $\Gamma_g$ for $g>1.$ (I.e. free subgroups which are not ...
10
votes
1answer
256 views

Tverberg's theorem in CAT(0) spaces

Does Tverberg's theorem hold for CAT(0) spaces of covering dimension $d<\infty$: Is it true that for any $d$-dimensional $CAT(0)$-space $X$ and a subset $E\subset X$ of cardinality $(d + 1)(r - ...
23
votes
8answers
2k views

Are there some other notions of “curvature” which measure how space curves?

I am learning differential geometry and have a few questions on curvature. -- Background: Gauss invented "Gauss curvature" to measure how surface curves. Riemann gives an ingenious generalization ...
2
votes
2answers
100 views

Is there a relative Pachner theorem?

Consider an $n$-dimensional PL manifold $P$ together with a closed subpolyhedron $P_0$ such that there exists a finite combinatorial triangulation of $P$ that restricts to a triangulation of $P_0$. ...
2
votes
0answers
70 views

Characterizations of product groups under quasi-isometry

This is a follow-up question to Quasi-isometric rigidity of certain products of groups. It can be moved to a comment if it is too trivial. If all the asymptotic cones of a finitely generated group ...
4
votes
1answer
92 views

Quasi-isometric rigidity of certain products of groups

Let $G_1,G_2$ be two delta-hyperbolic groups. If $G_1\times \Bbb{Z}$ is quasi-isometric to $G_2\times \Bbb{Z}$, must it be true that $G_1$ is quasi-isometric to $G_2$? This is similar to the classic ...
7
votes
1answer
157 views

Is there a combinatorial version of PL ambient isotopy in dimension $>3$?

The classical PL Reidemeister Theorem reads: Reidemeister Theorem: Two knots in $S^3$ are PL ambient isotopic if and only if any diagram of one can be transformed into a diagram of the other by ...
2
votes
0answers
129 views

What invariants are of great concern in the field of 3-manifolds and why? How much do we know about them? [closed]

I am curious about 3-manifolds though I know little. Here I am trying to know what invariants people in this field are interested in. The following are what I have known and what I particularly want ...
0
votes
3answers
260 views

Good books on Geometric Theory of Dynamical Systems

I am looking for a good book on Geometric Theory of Dynamical Systems . I found Geometric Theory of Dynamical Systems by Jr. Palis myself,but it's very old, anyway i would like to find a pure ...
6
votes
0answers
111 views

Is there an analogue of Mostow-Palais equivariant embedding theorem for noncompact groups

Let $M$ be a (Hausdorff) smooth compact manifold and $G$ a Lie group acting smoothly on $M$. If $G$ is compact then, by Mostow-Palais theorem, there exists an equivariant smooth embedding $M\to ...
6
votes
1answer
185 views

Is there “nonorientable Heegaard Floer homology”?

I have a Heegaard diagram which produces a non-orientable 3-manifold. I want to know any 3-manifold invariant which can be calculated from Heegaard diagrams for non-orientable 3-manifold. (As far as I ...
15
votes
2answers
436 views

Distinct manifolds with the same configuration spaces?

For a space $X$, let $C_k X$ denote the space of configurations of $k$ distinct unordered points in $X$. What is an example of a pair of smooth manifolds $M$ and $N$ that are not homeomorphic but ...
2
votes
1answer
112 views

Density of ends of long words in a hyperbolic group

Let $G$ be a Gromov hyperbolic group with a generating set $S$. For each $g \in G$, let $\xi_g$ be the point in the ideal boundary corresponding to the sequence $(g^n)$. Let $l_S(g)$ be the word ...
3
votes
1answer
124 views

Link surgery on $S^2\times S^1$

Given $n$ points $p_1,\dots,p_n$ in $S^2$ one gets a product link $L_n=\{p_1,\dots,p_n\}\times S^1$ inside the closed 3-manifold $S^2\times S^1$, which can be looked at as a trivially framed link (by ...
1
vote
0answers
37 views

Natural isomorphism between locally finite homology and homology of one-point compactifcation of a forward tame ANR

Let $X,Y$ be a locally compact, separable, metric ANR that is forward tame, which means that for some closed subset $V\subseteq X$ such that $\overline{X\smallsetminus V}$ is compact a proper map ...
6
votes
1answer
323 views

consequence of Novikov conjecture

Novikov conjeture is a famous open problem in Geometric topology.It predicts that higher signature is oriented-homotopy invariant. http://en.wikipedia.org/wiki/Novikov_conjecture I am a student ...
5
votes
0answers
118 views

Uniform incentre of collection of quasi convex subspaces in hyperbolic spaces

I'm reading a paper of Wise on cubulations and the following fact is used: Let $H$ be a quasi-convex subgroup of a $\delta$-hyperbolic group and let $H_i, i\in I$ be a finite family of translates of ...
9
votes
1answer
193 views

Why do convex polytope options constrict with dimension, rather than expand?

There are an infinite number of regular polygons in the plane, five regular polyhedra, six regular polytopes in $\mathbb{R}^4$, and then three regular polytopes in every dimension $d > 4$. There ...
8
votes
1answer
139 views

Mapping class groups of small Seifert-fibred 3-manifolds

Are computations of the mapping class groups of small Seifert-fibred 3-manifolds recorded in some convenient location? For most Seifert manifolds working out the mapping class group is easy-enough ...
11
votes
1answer
342 views

Does Gromov's Waist Inequality imply Borsuk-Ulam?

I'm curious if anyone can see a route to get the Borsuk-Ulam theorem from Gromov's waist inequality. For the sake of notation, here's the inequality: Let $S^n$ denote the round unit sphere in ...
2
votes
1answer
65 views

Some questions on partial pseudo anosov maps

Let $S$ be an orientable closed 2-surface with genus at least 2 and $C$ be a non-separating essential simple closed curve in $S$. Denote $S_{C}=S-N(C)$. Let $f$ be a pseudo anosov map of $S_{C}$. ...
4
votes
2answers
144 views

Getting surgery link from Heegaard splitting

From Lickorish-Wallace theorem, every 3-manifold is an integral surgery on a link in $S^3$. From its proof from Saveliev's book, it seems obvious that if I know the Heegaard splitting of a closed ...
1
vote
1answer
73 views

Centralizer of a pseudo-Anosov element

What is the centralizer of a pseudo-Anosov element in the mapping class group of an orientable punctured surface? Is it cyclic? If so, where can I find a proof?
10
votes
1answer
227 views

Mapping class group and CAT(0) spaces

I hope the questions are not too vague. Is the mapping class group of an orientable punctured surface $CAT(0)$ ? Is any of the remarkable simplicial complexes (curve complex, arc complex...) built ...
1
vote
0answers
132 views

The image of homomorphism of fundamental group of closed surface [closed]

$\phi: \pi_1(S)\to \pi_1(S)$ is a homomorphism of fundamental group of closed orientable surface $S$ of genus >=2. If $\phi$ is not an epimorphism, can we find a non-surjective self map $f: S\to S$ ...
5
votes
1answer
185 views

Can an open manifold with positive Ricci curvature be non simply connected at infinity?

The question is in the title, I haven't been able to locate a discussion of these kind of properties.
7
votes
2answers
203 views

How do I efficiently find a sequence of Reidemeister moves between equivalent link diagrams?

In knot theory, two link diagrams are equivalent if and only if they can be related by performing a finite number of Reidemeister moves. But sometimes it is so confusing that I don't know which type ...
11
votes
3answers
241 views

Are there quanitative versions of Thurston's geometrization for manifolds which fiber over $S^1$?

The geometrization theorem tells us: Theorem (Thurston) The mapping torus $M_\phi$ of a pseudo-Anosov diffeomorphism $\phi: S_g \rightarrow S_g$ from a genus $g$ surface to itself admits a ...
6
votes
7answers
862 views

Homotopy groups other than $\pi_1$ : what are they good for? [duplicate]

Homotopy groups $\pi_k$ were introduced before the homology groups $H_k$ in the 1st topology book I read and the 1st topology course I took. Later on $\pi_1$, $H_k$, and $H^k$ appeared in numerous ...
1
vote
1answer
175 views

Sufficient condition for coverings between non-orientable surfaces

Let $X_k$ be the connected sum of $k$ projective planes. I am interested in necessary and sufficient conditions for the existence of a covering $\pi: X_{k'} \to X_k$, where $k$ and $k'$ are integers. ...
3
votes
0answers
197 views

Looking for a necessary and sufficient condition for the polarization $\mathbb{P}$ being positive

My question is about positivity of polarization in Geometric quantization theory. Let $\mathbb{P}$, be a complex polarization on symplectic manifold $(M,\Omega)$. For every $m\in M$, we can define a ...
7
votes
3answers
776 views

Is the list of “known” 3D compact manifolds complete?

"it is an open question if the known compact manifolds in 3-D are complete." This is a quote from Eric Weisstein's CRC Concise Encyclopedia of Mathematics, Second Edition. 2010, p.480. (Google ...
2
votes
1answer
320 views

looking for an identity for higher jet bundle $J^kM$?

We know this fact that the first jet Bundle $J^1M$ is diffeomorphic with $T^*M×\mathbb{R}$.i.e, ($J^1M=T^*M×\mathbb{R}$) Is there something like this identity for higher jet bundle $J^kM$? I editted ...
9
votes
1answer
180 views

Heegaard genus of the hyperbolic dodecahedral space (is it 3 or 4?)

I have a question on the hyperbolic dodecahedral space, first described by C.Weber and H. Seifert in 1933 [Die beiden Dodekaederr\"aume, Math Z. 37 (1933), 237-253]. Is it known whether it admits a ...
3
votes
0answers
119 views

Mapping One Curve to another using Dehn Twists

Let $M$ be an orientable surface with genus $g>1$. Let $\alpha$ and $\beta$ represent two different isotopy classes of essential curves on the surface. Is anyone aware of a technique or algorithm ...
6
votes
0answers
226 views

Space of embeddings of an $n$-ball into an $n$-manifold

Let $M$ be a smooth $n$-manifold without boundary, and let $B$ be the open unit ball in $\mathbb{R}^n$. I am trying to understand the space $\text{Emb}(B,M)$ of smooth embeddings of $B$ into $M$. ...
9
votes
1answer
497 views

moduli spaces are kahler?

I often heard from experts that "moduli spaces are Kahler". This sounds as a meta-theorem asserting that every time one defines reasonable moduli spaces, then there is a standard strategy to see ...
7
votes
0answers
136 views

Why is it hard to obtain improved $L^6$ bound of eigenfunction of Laplacian on 2-dimensional compact Riemannian manifold?

Consider the $L^p$ estimate of the Laplacian on a compact boundaryless Riemannian manifold, suppose that $-\Delta_ge_{\lambda}=\lambda^2e_\lambda(x), x\in M$. C.D. Sogge proved that we have the ...
3
votes
3answers
194 views

Mechanisms generating free subgroups of Artin braid groups

Within my limited experience, I have only known free groups to occur through two mechanisms: as fundamental groups of trees (graphs) and ping-pong. And sometimes only through one way: the fact that ...
4
votes
2answers
176 views

pseudo-Anosovs with given action on homology

It is well-known that the Mapping Class Group of a closed surface of genus $g$ surjects onto $Sp(2g, \mathbb{Z})$ (see, for example the Farb-Margalit book). However, I was wondering if there is a ...
11
votes
2answers
255 views

The homeomorphism problem for hyperbolic 3-manifolds and the virtual Haken theorem

If $N$ and $N'$ are two closed hyperbolic 3-manifolds, then one would like to have an algorithm which determines whether or not $N$ and $N'$ are homeomorphic. If $N$ and $N'$ are Haken, then such an ...
9
votes
1answer
200 views

Is there a reasonable definition of TQFTs for n-cobordisms with connected inputs/outputs?

A question that's been on my mind for a while is whether any precise statement to the effect of "Heegaard Floer homology is a TQFT," for some reasonable definition of TQFT, can be made. Of course, a ...
2
votes
1answer
108 views

Are harmonic maps quasiconformal at the boundary of hyperbolic spaces?

Let $M$ be a hyperbolic $3$-manifold and $X$ a negatively curved, simply connected space with geometric boundary $\partial X$. If $\rho:\pi_1M\rightarrow Isom(X)$ does not fix a point in $\partial ...
3
votes
3answers
217 views

Domination of length functions of trees with equal covolume

(This is a reformulation of an earlier unanswered question. I would like to thank Ian Agol for pointing out to me Walter Parry's characterization of hyperbolic translation length functions.) Let $G$ ...
6
votes
2answers
321 views

Simplicial replacements in smoothing theory

As far as I can tell, ever since Milnor's Microbundles and differentiable structures (1961) paper, whenever people talk about $Diff(\mathbb R^n)$ or $PL(\mathbb R^n)$ or $Homeo(\mathbb R^n)$, they ...