**1**

vote

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**4**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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