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 (1)

1
vote
1answer
122 views

Addition of two homology classes is zero in construction of Poincare Sphere

I ask here the question since it hasn't been answered in Math Stack Exchange. I am working through Greenberg and Harper, Lecture notes on Algebraic Topology, and I am having trouble with one ...
1
vote
0answers
66 views

Does the link of a hypersurface singularity determine its analytic type?

Consider a hypersurface $V(f) \subseteq \mathbb{C}^{n+1}$ with an isolated singularity at the origin. If $L := V(f) \cap S^{2n+1}_\epsilon$ is the link of $V(f)$ (with $S^{2n+1}_\epsilon$ a ...
9
votes
1answer
427 views

What is (explicitly) known about the SL(n,C) character varieties of 3-manifolds?

The $SL(2,{\bf C})$ character variety of a 3-manifold with 1-cusp $M$ (like a knot complement in the 3-sphere) essentially coincide with the variety defined by the A-polynomial. Those polynomials are ...
7
votes
2answers
205 views

Heegard genus of hyperbolic Haken 3-manifolds

Is there an example of a closed Haken hyperbolic 3-manifold of Heegaard genus 2?
2
votes
1answer
55 views

Morse function on slicing disk complement determines ribbon?

It is well-known that given a ribbon knot and the corresponding slicing disk in the 4-ball, the distance function (maybe squared) to the origin defines a Morse function in the complement of the ...
3
votes
1answer
67 views

Non-Haken hyperbolic 3-manifolds without nonorientable surfaces

It is well known that there exist infinitely many (non homeomorphic) non-Haken closed hyperbolic 3-manifolds. These can be obtained for example doing Dehn surgery on the figure eight knot complement. ...
11
votes
1answer
406 views

Representation varieties of 3-manifold groups in SL(n,C)

I am looking at the variety of representations of the fundamental group of a hyperbolic 3-manifold into $SL(n,C)$: $$Hom(\pi_1M, SL(n,{\mathbb C}))$$ It is known that volume and Chern-Simons ...
8
votes
0answers
146 views

Holomorphic contractibility of GL(H)?

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later ...
0
votes
0answers
171 views

Canonical model of Kontsevich's moduli space

Motivation: Work of Eisenbud, Harris, and Mumford shows that $M_g$ is of general type when $g≥24$. What about Kontsevich's moduli space? Let $X$ be a smooth complex projective Calabi-Yau manifold, ...
2
votes
1answer
90 views

Looking for examples of large hyperbolic two-generator knots or 3-manifolds

We say a knot $K$ in $S^3$ is small if its exterior contains no closed properly embedded incompressible surfaces and we say $K$ is large otherwise. Does anyone know of an example of a large ...
9
votes
2answers
163 views

Triangulation with simplices of same volume

Let $M$ be a Riemannian smooth compact manifold. It is known that $M$ has a triangulation, for any dimension. But do we know if there exists a triangulation such that all simplices have same volume ? ...
6
votes
1answer
235 views

“structure group” for fibration

Regarding "fibration" as a homotopy analogue of "fiber bundle",I want to see parallel notions of "structure group" and "fiber change" in "fibration". Does it make sense to talk about "structure ...
15
votes
3answers
920 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 ...
21
votes
1answer
296 views

Is the normal bundle of a torus trivial?

Question: Let $T^k \subseteq \mathbb{R}^n$, $ n > k$, be a smoothly embedded $k$-torus. Is its normal bundle trivial? What about the normal bundle of $S^k \subseteq \mathbb{R}^n$, $n > k$, the ...
30
votes
4answers
1k views

Why do people study representations of 3-manifold groups into $SL(n,\mathbb{C})$?

Varieties of representations and characters of $3$-manifold groups in $SL(2,\mathbb{C})$ have been intensively studied. They have provided tools to identify geometric structures on manifolds, and are ...
4
votes
2answers
308 views

Are homotopy braid groups residually nilpotent?

A group is called residually nilpotent if given any non-identity element, there is a normal subgroup not containing that element, such that the quotient group is nilpotent. It is known that pure braid ...
0
votes
0answers
20 views

Extending a symplectomorphism of a surface with boundary, properly embedded in a 4-disk, to the ambient space

Let $S$ be a surface with boundary that is properly embedded, via a map $f$ say, inside a $4$-disk. When is the embedding isotopic to the identity? -- All embeddings and isotopes are in the symplectic ...
3
votes
0answers
95 views

Can we use the “size” of smooth structure set to predict the information geometry or other topological information?

The "size" can mean the number of elements or the diameter of the set of smooth structures. Y. Shikata defined a distance function on it and proved that it is a distance. He then used it to prove that ...
3
votes
1answer
179 views

when is an irreducible SL_2(C) representation of a cusped hyperbolic 3-manifold scheme reduced or smooth

Let $M$ be an orientable cusped hyperbolic 3-manifold. Let $\rho \in hom(\pi_1(M),SL_2(\mathbb{C}))$ be an irreducible representation. Is $\rho$ scheme reduced ? What can prevent $\rho$ from being ...
5
votes
2answers
112 views

Immersed quasi-Fuchsian surfaces surviving Dehn fillings

In papers like, Cooper - Long - Some surface subgroups survive surgery or Li - Immersed essential surfaces in hyperbolic 3-manifolds the game is to find some quasi-Fuchsian immersed surface $Q ...
19
votes
2answers
528 views

Is there a smooth manifold which admits only rigid metrics?

Does there exist a (finite dimensional) smooth manifold $M$, such that every Riemannian metric on $M$ has no isometries except the identity? Of course, such a manifold must not admit a diffeomorphism ...
3
votes
1answer
86 views

What is the Heegaard Floer Homology of a connect sum of $S^2 \times S^1$s?

There are many conjecturally-equivalent three-manifold Floer homologies, of which my understanding is the most-computable is Heegaard Floer homology. What is the (Heegaard) Floer homology of a ...
8
votes
1answer
181 views

Homotopy type of diffeomorphism which are the identity on and near the boundary

Let $M$ be a compact manifold with boundary. Denote by $Diff(M), Diff_\partial(M)$ and $Diff_{U\partial}(M)$ the groups of diffeomorphisms of $M$ and the subgroups of the ones that are the identity on ...
3
votes
1answer
126 views

Constructing a “nice” cobordism

Denote by $\Sigma_g$ the closed, orientable surface of genus $g$. I want to construct a cobordism $M_g$ between $\Sigma_g$ and $\Sigma_{g+1}$ with the following two nice properties: 1) $M_g$ is an ...
4
votes
1answer
154 views

contact surgery diagram on Brieskorn manifolds

For the Brieskorn manifold $\Sigma(p,q,r)=\{z_1^p+z_2^q+z_3^r=0\} \cap S^5 \subset C^3$, replacing zero with $\epsilon$ in the above, realizes $\Sigma$ as boundary of a Stein domain which induces a ...
3
votes
1answer
175 views

Is there a degree one map from a product $B\times S^1 \to \#_n S^2 \times S^1$ for any n

For any $n \geq 1$, let $\Sigma_n$ denote the closed orientable surface of genus n. In http://arxiv.org/abs/1202.6302, the authors showed that for any $n$, there is a degree two, $\pi_1$-surjective, ...
5
votes
1answer
235 views

How to get a polygon from a translation surface $(X,\omega)$

Let $S_g$ be a compact topological surface of genus $g$. I know there is the correspondence $\{$Abelian differentials on compact Riemann surfaces of genus g$\}\leftrightarrow\{$ Translation surfaces ...
5
votes
1answer
98 views

Are square tiled surfaces dense in the moduli space of translation surfaces?

I'm reading the survey "An introduction to Veech surfaces" by Pascal Hubert and Thomas Schmidt. At page 19 they state "In any fixed stratum, the set of square-tiled surfaces of that stratum is ...
3
votes
1answer
169 views

Is the number of intervals you get by slicing the closed region under a nice graph continuous from below?

Let $I$ be a closed interval in $\mathbb{R}$, and let $f:I \to \mathbb{R}$ be a bounded function, smooth except at finitely many points (piece-wise smooth). There are also only finitely many critical ...
5
votes
0answers
172 views

Does $\#_n S^2×S^1$ really admit a map of non-zero degree from $B×S^1$?

In Proposition 4 on page 6 of this paper, http://arxiv.org/abs/1202.6302, the authors claim to produce a degree 2 $\pi_1$-surjective map $f$ between $M=S^1 \times \Sigma_2$ and $N=\#_2 S^2 \times S^1$ ...
9
votes
1answer
249 views

Are there non-smoothable homotopy/homology spheres?

A homotopy sphere is a topological $n$-manifold $M$ which is homotopy equivalent to $S^n$. A homology sphere is a topological $n$-manifold $M$ such that $H_i(M) \cong H_i(S^n)$ for all $i$. Note, by ...
6
votes
1answer
126 views

Can a surface group act on a finite-valence simplicial tree?

Question. Let $S$ be a closed surface of genus $> 1$. Can $\pi_1(S)$ act faithfully and minimally on a simplicial tree of finite valence? Here "minimal" means that there is no invariant sub-tree. ...
23
votes
2answers
679 views

Why is it true that if two 4-manifolds are homeomorphic then their squares are diffeomorphic?

Near the top of the second page of this paper, it is claimed that if two 4-manifolds $X$ and $Y$ are homeomorphic, then their squares $X \times X$ and $Y \times Y$ are diffeomorphic. Why is this true? ...
2
votes
1answer
178 views

Torsion elements in the mapping class group

Let $S$ be an orientable surface of genus $g$ with $b>0$ boundary components, and let $\mathrm{Mod}(S)$ be its mapping class group, that is, the group of isotopy classes of its homeomorphisms ...
2
votes
1answer
65 views

Symmetry conjecture for minimal dilatation pseudo Anosov mapping classes

The conjecture is something like the following: The minimal dilatation among pseudo-Anosov mapping classes on a surface $S_{g,n}$ is realized by $\rho\circ\omega$ where $\omega$ is supported on a ...
1
vote
0answers
53 views

Laplace eigenvalue and floer theory

I'm trying to study the spectrum operator via Floer Theory. The idea is to consider the Rayleigh quotient as an operator on the Hilbert space $W^{1,2}$ and to study it's negative gradient flow. Any ...
9
votes
1answer
234 views

Elements of infinite order in the topological mapping class group

Let $M$ be a closed topological manifold, and let $\operatorname{MCG}(M):=\operatorname{Homeo}(M)/\operatorname{Homeo}_0(M)$ denote the topological mapping class group of $M$ ...
10
votes
1answer
149 views

Open (resp., closed) balls homeomorphic to open (resp., closed) discs on the plane

Let $\Sigma$ be a compact (smooth) surface, with a geodesic metric $d$ (compatible with the topology of $\Sigma$). Let $x \in \Sigma$, and suppose you have the following: for every $r<1$, the open ...
4
votes
0answers
133 views

Log-concavity of the growth function

Given a Cayley graph of a group $G$ with finite generating set $A$ and exponential growth. Let $S_n$ be the elements whose word length is exactly $n$. $\textbf{Question:}$ Is $f(n) = |S_{2n}|$ a ...
7
votes
0answers
159 views

Biholomorphic neighborhoods of the boundary of Stein domains

Let $(X_1,J_1)$ and $(X_2,J_2)$ be Stein domains with the same contact boundary $(Y,\xi)$. Under what conditions does there exist a biholomorphism between a neighborhood of their respective boundaries ...
8
votes
1answer
160 views

Are knots determined by their complements within a homotopy class?

Suppose $M$ is a closed 3-manifold and $K_1,K_2$ are two homotopic knots in $M$. That is, they are two embeddings $f_1,f_2\colon S^1 \to M$ such that there exists a homotopy $h\colon S^1 \times [0,1] ...
9
votes
2answers
568 views

Folner sets and balls

Several related questions were asked before on MO, but it is not clear to me if the following was settled. Given a finitely generated amenable group, is it always possible to find some finite ...
7
votes
1answer
333 views

What is an interpretation of the relation in the cohomology of the pure braid groups?

In 1968, Arnol'd proved that the integral cohomology of the pure braid group $P_n$ is isomorphic to the exterior algebra generated by the collection of degree-one classes $\omega_{i,j}\ (1 \le i < ...
5
votes
0answers
88 views

$H(M)$ necessarily highly non-integrable, i.e. forms contact structure?

Let$$M^{2n - 1} = \{z \in \textbf{C}^n : \textbf{h}(\textbf{z}, \textbf{z}) \equiv \textbf{z} \cdot \overline{\textbf{z}} = \textbf{1}\}$$be the unit sphere in $\textbf{C}^n$. Consider the ...
5
votes
0answers
94 views

Images of the $3$-dimensional solvable geometry

This is more of a mathematical art question. Most people are familiar with the mathematical movie "Not Knot", which explores a hyperbolic $3$-manifold. My question is: are there any images along the ...
4
votes
1answer
73 views

Locally nilpotent algebraic section of tangent bundle is complete?

Suppose $X$ is a smooth affine algebraic variety over $\mathbb{C}$ and let $V$ be an algebraic vector field (i.e. an algebraic section of the tangent bundle). If $V$ is locally nilpotent, meaning that ...
2
votes
1answer
105 views

Existence of non-negative extensions of smooth functions on axes

I am struggling to solve an extension problem of smooth functions, and I would like someone to help me. The setting is as follows: Let $X_1$, $X_2$, and $T$ be either the real lines $\mathbb R$ or ...
7
votes
0answers
244 views

Can any smooth triangulation of a smooth manifold be blurred?

For the purposes of this question, let's say that a blurring of a smooth triangulation $T$ of a smooth manifold $X$ is a smooth homotopy $h\colon [0,1] \times X \to X$ such that ...
16
votes
1answer
396 views

Just how close can two manifolds be in the Gromov-Hausdorff distance?

Suppose that we have two compact Riemannian manifolds $(M,g)$ and $(N,h)$. Define the Gromov-Hausdorff distance between them in your favorite way, I'll use the infimum of all $\epsilon$ such that ...
4
votes
0answers
125 views

Groups with infinitely many finite conjugacy classes

I've been coming across the condition "IMFCC: having infinitely many finite conjugacy classes" often in recent times and I was wondering if there is any serious difference between having "IMFCC" and ...