# Tagged Questions

**5**

votes

**1**answer

180 views

### Classifying map for a surface bundle

Let $E\longrightarrow X$ be a surface (with holes) bundle. The structure group is then $M_{g, s}$, the mapping class group of the fiber. It follows from the famous work of Penner that the classifying ...

**2**

votes

**0**answers

25 views

### continuous injective extension of a map defined on a hemisphere

Let $S^2 = \{x\in \mathbf R^3\colon |x|=1\}$ be the unit sphere, $S^2_+ = S^2 \cap \{x_3 \ge 0\}$ be the upper hemisphere and $S^1 = S^2 \cap \{x_3 = 0\}$ be the unit circle. Let $u\colon S^2_+\to \...

**0**

votes

**1**answer

96 views

### Right inverse of the Seiberg-Witten functional

For closed 4 manifold X, we consider the derivative of the Seiberg-Witten functional, i.e.
$$\Omega^1_2(X;\sqrt{-1}\mathbb R)\oplus\Gamma_2(S^+)\overset{D}{\to}\Omega^2_{+,1}(X;\sqrt{-1}\mathbb R)\...

**0**

votes

**0**answers

88 views

### Gauge Fixing Problem on Cylindrical

For Cylindrical $Y\times\mathbb R$, where $Y$ is a closed oriented 3-manifold.
If it is necessary, we could consider the $b_1(Y)=0$ case.
Fix a Line bundle $L\to Y\times \mathbb R$ and a Hermitian ...

**4**

votes

**1**answer

249 views

+50

### Intuition behind the definition of the Siegel-Eichler transformation

Recently I am reading Wall's paper "On the Orthogonal Groups of Unimodular Quadratic Forms II". In this paper, I encountered with the map $E^1_\omega$, which now I am interested in.
Let $X$ be an ...

**3**

votes

**1**answer

131 views

### Relation between conjugacy class, quotient isomorphism class, and signature of Fuchsian groups

Let $\Gamma\le SL(2,\mathbb{Z})$ be a finite index subgroup, not necessarily "congruence".
Let $c_4,c_6$ be the number of conjugacy classes of elements of order 4 and 6 respectively, let $c_{-1}$ be ...

**44**

votes

**10**answers

9k views

### Nice proof of the Jordan curve theorem?

As a student, I was taught that the Jordan curve theorem is a great example of an intuitively clear statement which has no simple proof.
What is the simplest known proof today?
Is there an intuitive ...

**4**

votes

**1**answer

162 views

### Does every smooth manifold admit a metric with bounded geometry and uniform growth?

Let $M$ be a smooth manifold, $g_M$ a Riemannian metric, and consider for $x\in M$ the volume growth function, $gr_x$ that maps $r>0$ to the volume $vol_{g_M}(B(x,r))$. My interest is to see ...

**7**

votes

**2**answers

1k views

### Ideals in the ring of single-variable Laurent polynomials with integer coefficients

I'm writing some software to automatically compute things like Alexander modules, Alexander ideals, Milnor signatures and Farber-Levine pairings for 1 and 2-knot complements. So among other things I'...

**10**

votes

**2**answers

560 views

### Are there nonlinear projective spaces?

This is actually a series of questions posed by Guram Berishvili about the structure he calls marao. Everything I am going to write here I took (and messed up) from his home page which is all in ...

**10**

votes

**2**answers

415 views

### Can we determine which monodromy of surface gives a fibered knot?

A fibered knot is a knot with a homeomorhism on compact surface with one boundary component. On the contrary, for a given homeomorohism on a compact surface with one boundary component, is there any ...

**0**

votes

**0**answers

56 views

### How many unique distances are there between pairs of points in a n cross n grid? Is there any formula?

When n = 1, there are four points. However, If we take any pair of points we have only two distinct lengths 1 and root 2.
When n = 2, we have five distinct lengths, viz., 1,root 2, 2, 2 root 2, and ...

**2**

votes

**1**answer

145 views

### How to increase the injectivity radius function of a hyperbolic 3 manifold of finite volume?

Let $N$ be an oriented hyperbolic 3-manifold of finite volume and let $\Delta \subset N$ be a smooth connected compact subdomain such that the restriction of the injectivity radius function of $N$ to $...

**4**

votes

**1**answer

185 views

### A proof of Theorem 9.2.12. in the Gompf-Stipsicz

I'm seeking for a proof of Theorem 9.2.12. in the Gompf-Stipsicz "4-Manifolds and Kirby Calculus" (for the statement, see the following image). But the textbook omits any proofs and only gives a ...

**7**

votes

**1**answer

308 views

### Fundamental group of the space of maps into a classifying space

Let $P : E \to X$ be a principal $G$-bundle, where $G$ is a connected topological group. $P$ is classified by a map $f: X \to BG$. The group of gauge transformations $\mathcal{G}$ of $P$ is defined to ...

**0**

votes

**1**answer

81 views

### Sequence of translation surfaces and length of saddle connections

A sequence of translation surfaces $(X_n,\omega_n)$ is said to "go to infinity" if it leaves every compact set in the space of translation surfaces as $n$ goes to infinity. I know that this is ...

**10**

votes

**3**answers

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

**1**

vote

**1**answer

232 views

### Homotopy type of an oriented, closed, simply connected manifold

It is well known that every closed, oriented, simply-connected four-manifold $M$ is homotopy equivalent to a CW-complex consisting on a 0-cell, a wedge of two spheres and a 4-cell.
I was wondering ...

**3**

votes

**1**answer

122 views

### explicitly embedding a simplicial $d$-complex into $\mathbb{R}^{2d+1}$, or algorithms for doing so

A classical result in topology for which I can't find a reference for is that a simplicial complex $K$ of dimension $d$ with $n$ vertices can be linearly embedded into $\mathbb{R}^{k}$ when $k=2d+1$. ...

**6**

votes

**4**answers

262 views

### Examples of discrete subgroups of $PSL_2(\mathbf{R})$ with finite covolume and which are not co-compact

Is there a natural example of a discrete subgroup $\Gamma\leq PSL_2(\mathbf{R})$ such that
(1) $\Gamma$ has finite covolume
(2) $\mathfrak{h}/\Gamma$ is not compact ($\mathfrak{h}$ being the upper ...

**1**

vote

**1**answer

119 views

### Subsets of the boundary of a surface group

Consider the surface group $\Gamma=\langle a,b,c,d\mid [a,b][c,d]=1\rangle$: it is a Gromov hyperbolic group; its Gromov boundary $\partial\Gamma$ is homeomorphic to $S^1$ (the unit circle).
I would ...

**6**

votes

**1**answer

311 views

### Status of Zeeman's collapsability Conjecture

Zeeman's conjecture in topological combinatorics states that if $K$ is a contractible polyhedron of dimension 2, then $K\times I$ has a collapsible subdivision.
What is the status of this ...

**0**

votes

**0**answers

36 views

### Mathematical Definition of $n$-Brouillin Zone [duplicate]

I am having trouble finding a mathematical definition of the Brouillin zone beyond the first, which are basically the Voronoi cells or Wigner-Seitz cells. We could imagine the set of point closer to ...

**9**

votes

**1**answer

231 views

### Does $\mathbb{CP}^2$ admit a Riemann surface lamination structure?

Does $\mathbb{CP}^2$ admit a Riemann surface lamination structure? Every paper or article I looked at, talk only about singular laminations on $\mathbb{CP}^2$. I was wondering why. If you know ...

**5**

votes

**2**answers

551 views

### Can a Morse function define a unique structure on a closed manifold?

I was thinking about the doubt that if $M$ and $N$ are closed manifold and if there exists two Morse function $f$ and $g$ respectively on $M$ and $N$ with the following property that they both have ...

**5**

votes

**2**answers

263 views

### Generalizations of the handle trading techniques

As Theorem 8.1 in "Lectures on the h-cobordism theorem (written by J.Milnor)" show, we can choose a handle decomposition of cobordism (satisfying some connectivity and dimensional assumptions) with no ...

**15**

votes

**1**answer

339 views

### Are homology spheres stably trivial?

A homology sphere is a closed smooth $n$-dimensional manifold with the same homology groups as $S^n$. Igor Belegradek's answer to a previous question of mine shows that the smoothness hypothesis is ...

**10**

votes

**0**answers

299 views

### What is known about the Yang-Mills stratification over 3-manifolds?

Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...

**45**

votes

**14**answers

7k views

### What are some of the big open problems in 3-manifold theory?

From what I understand, the geometrization theorem and its proof helped to settle a lot of outstanding questions about the geometry and topology of 3-manifolds, but there still seems to be quite a lot ...

**1**

vote

**1**answer

190 views

### free group actions on a contractible topological space [closed]

Let $\Sigma_k$ be the symmetric group on $k$-letters. Let $W$ be a contractible topological space with a free $\Sigma_k$-action (from the left). Let $X$ be a $CW$-complex and let $X^k$ be the ...

**1**

vote

**2**answers

225 views

### Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...

**9**

votes

**2**answers

717 views

### Do all combinatorially distinct fundamental polygons correspond to surfaces?

The topology of a closed surface can be constructed
by identifying edges of a fundamental polygon of an
even number $2n$ of edges.
Labeling the edges and using $\pm 1$ exponents to indicate
direction,
...

**39**

votes

**7**answers

4k views

### What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$

Hello,
I would like to know if there is a known necessary and sufficient
property on an open subset of $\mathbb{R}^n$ such that it is diffeomorphic to $\mathbb{R}^n$ :
For example :
1) Are all ...

**6**

votes

**2**answers

237 views

### Homeomorphic but Non-Conjugate Mapping Tori

Suppose we fix a genus $g$ closed surface $S$. Let $f, g \in Map(S)$ be conjugate, for $Map(S)$ the mapping class group of $S$. Then I know that $M_f$ (the mapping torus of $M$ with monodromy $f$) is ...

**136**

votes

**28**answers

58k views

### Intuitive crutches for higher dimensional thinking

I once heard a joke (not a great one I'll admit...) about higher dimensional thinking that went as follows-
An engineer, a physicist, and a mathematician are discussing how to visualise four ...

**0**

votes

**0**answers

157 views

### Generating Set for $O(V)$ over $\mathbb Z_2$

I am reading a claim that $O(V)$ — the orthogonal group associated with a finite-dimensional vector space $V$ over $\mathbb Z_2$ and a quadratic form $q$, i.e. the group of linear ...

**5**

votes

**0**answers

120 views

### Essential surfaces in knot complements

Given any knot $K \subset \mathbb{S}^3$, one can find a closed oriented embedded surface $S$ such that $K \subset S \subset \mathbb{S}^3$. Moreover, pick such an $S$ that has minimal genus.
One can ...

**2**

votes

**1**answer

252 views

### induced group actions and covering maps on Eilenberg-Maclane space

Let $M$ be a finite $CW$-complex. Let $\Sigma_k$ be the symmetric group acting on $k$-letters. Suppose there is a free action of $\Sigma_k$ on $M$. Then we have a covering map
$$
f:M\to M/\Sigma_k.
...

**6**

votes

**0**answers

97 views

### mod $p$ homology module of unordered configuration spaces of the projective plane

Let $M$ be a manifold and $k$ be a positive integer. Let $F(M,k)$ be the $k$-th ordered configuration space over $M$, consisting of all ordered $k$-tuples of distinct points in $M$. Let $\Sigma_k$ be ...

**0**

votes

**0**answers

302 views

### Meaning of Regular Neighborhood for Homology Basis Curves in $S_{g,2}$

I have been trying to understand the meaning of the expression "regular neighborhood" in the context described below, but I'm stuck:
We have a collection of curves $c_i$ for $i=1,2,..,n$ embedded in ...

**2**

votes

**0**answers

127 views

### Gaussian Integrals and Pseudo-Anosov Maps

The hep-th section of arXiv if often filled with beautiful semi-rigorous computations on Mathematics. However sometimes it is very difficult to understand what is being stated.
Here I take from: ...

**8**

votes

**2**answers

172 views

### Interior periodic points of area preserving homeomorphisms of a pair of pants

A celebrated result of Franks shows that any area preserving homeomorphism of the closed annulus $A$ with at least one periodic point (possibly along the boundary) has infinitely many interior ...

**13**

votes

**10**answers

2k views

### Orbifold fundamental group in terms of loops?

In chapter 13 in his notes on 3-manifolds, Thurston defines the orbifold fundamental group to be the group of deck transformations of the universal cover of the orbifold. He also makes a statement "...

**11**

votes

**1**answer

460 views

### Representation varieties of 3-manifold groups in $\mathrm{SL}(n,\mathbb{C})$

I am looking at the variety of representations of the fundamental group of a hyperbolic 3-manifold into $\mathrm{SL}(n,\mathbb{C})$:
$$\mathrm{Hom}(\pi_1(M), \mathrm{SL}(n,{\mathbb C}))$$
It is known ...

**3**

votes

**1**answer

215 views

### When is an irreducible $\mathrm{SL}_2(\mathbb{C})$ representation of a cusped hyperbolic 3-manifold scheme reduced or smooth?

Let $M$ be an orientable cusped hyperbolic 3-manifold. Let $\rho \in \mathrm{Hom}(\pi_1(M),\mathrm{SL}_2(\mathbb{C}))$ be an irreducible representation.
Is $\rho$ scheme reduced ?
What can ...

**0**

votes

**0**answers

96 views

### asymptotic behavior of minimum dilatations on punctured surfaces

Let $l_{g,n}$ be the logarithm of minimum dilatation for pseudo-Anosov homeomorphisms on surface of genus $g$ with $n$ punctures. Let $n$ be fixed and $g$ varies. Is the asymptotic behavior of $l_{g,n}...

**2**

votes

**1**answer

110 views

### homeomorphism type of punctured real projective spaces

Let $\mathbb{R}P^m$ be the $m$-dimensional real projective space and let $\mathbb{R}P^m\setminus\{*\}$ be the punctured space. I observe:
$\mathbb{R}P^2\setminus\{*\}$ is homeomorphic to a (open) ...

**2**

votes

**2**answers

295 views

### Is it true that all sphere bundles are some double of disk bundle?

Let's consider a smooth sphere bundle over a smooth manifold with structure group is equal to the diffeomorphism group of sphere. Then, can we say that this is a double of some disk bundle? Thank you ...

**7**

votes

**4**answers

839 views

### What is the “right” definition of the homology(cohomology) of an orbifold?

What is the "right" analog in the orbifold case of a singular homology of a topological space?
We can not just take the homology of the underlying space, because it does not contain much information.
...

**11**

votes

**1**answer

267 views

### Does every dimension $n\geq4$ admit a manifold with an exotic smooth structure?

It is known that $\mathbb{R}^4$ has exotic smooth structures, and there are many such examples in higher dimensions, such as the famous 7-sphere. My (probably very naive) question is, for every $n\...