# Tagged Questions

**7**

votes

**0**answers

251 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 $h_0=\operatorname{id}...

**4**

votes

**0**answers

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

**16**

votes

**1**answer

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

**5**

votes

**1**answer

132 views

### Primitive log-divergent graphs and convergence of Feynman amplitudes

To a connected graph $G$, quantum field theory attaches the integral
$$
I_G=\int_{\sigma} \frac{\Omega_G}{\Psi_G^2}
$$ where $N_G$ is the number of edges of the graph, $\sigma$ is the simplex of ...

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

**9**

votes

**0**answers

159 views

### Detecting a module for the free group algebra on a finite quotient

Let $F_2$ be the free group on two generators $x,y$ and let $R$ be the group algebra $\mathbf{Q}[F_2]$. Let $a,b,c$ be integers. Then define a right $R$-module
$M = R / (ax + by + c) R$.
I am ...

**2**

votes

**0**answers

87 views

### relation between representations of homology class

Let X be a topological space, for its homology class [f], we can alway construct a simplicial complex K_f by gluing "cancelling boundary pairs" of f and an induced continuous map f' from K_f to X. ...

**7**

votes

**0**answers

80 views

### Compatibility of spherical and hyperbolic geometry for fibred knots

Hyperbolic knots and links have a lovely peculiarity that you can always find a position for them in $S^3$ making two groups the same, one defined using the spherical geometry of $S^3$, and the other ...

**4**

votes

**1**answer

177 views

### Fibered knots vs Heegaard genus

We call a knot $K$ in a 3-manifold $M$ fibered if $M\backslash K$ fibers over $S^1$ with fibers $\Sigma$ and such that $K$ is ambient isotopic to the boundary of the compactified fiber $\overline{\...

**7**

votes

**0**answers

221 views

### A “direct” proof that hyperbolic groups are not amenable

I am looking for a proof that a finitely generated hyperbolic groups is non-amenable [unless it is virtually cyclic] which is as "metric/combinatoric" as possible.
Here are the two proofs I am aware ...

**0**

votes

**2**answers

115 views

### obtaining circle bundle over torus by trefoil surgery

Does any integer surgery on a right or left trefoil knot give the $S^1$-bundle over $T^2$ with Euler number $1$?

**0**

votes

**0**answers

97 views

### Mapping class groups acting on simple closed curves

Let $S_{g,d}$ be a genus $g$ compact Riemann surface with $d$ punctures. Let $\mathcal{M}_{g,d}$ be the moduli space of all such surfaces, i.e. genus $g$ compact Riemann surfaces with $d$ marked ...

**2**

votes

**0**answers

61 views

### Singularities of Families of Differential Equations

Suppose you are given a family of differential equations with rational coefficients: $\partial_x^ny+a_1(x,x_1,\dots,x_m)\partial_x^{n-1}y+\dots+a_n(x,x_1,\dots, x_m)y=0$. At each point $X=(x_1,\dots, ...

**8**

votes

**1**answer

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

**4**

votes

**0**answers

142 views

### Questions on Thurston's metric on Teichmüller space

I'm reading the famous "Minimal stretch maps between hyperbolic surfaces" by William Thurston and I'm trying to understand the key theorem 8.1. I have many unclear points so I hope someone can help me ...

**6**

votes

**3**answers

261 views

### For an arithmetic hyperbolic 3-manifold group, when is its trace field not its invariant trace field?

Edit: In my original post I failed to require the group to be a manifold group. The answer below from @BenLinowitz works in that case. I am really interested though in when the group is torsion-free, ...

**4**

votes

**1**answer

257 views

### Who first considered constructibility of simplicial complexes?

A simplicial complex of dimension $d$ is called constructible if it is a simplex, or if it is the union of two constructible dimension-$d$ simplicial complexes along a dimension-$(d-1)$ intersection. ...

**8**

votes

**1**answer

124 views

### Example where Calabi invariant is nontrivial?

Let $D^2$ denote the closed unit disk in $\mathbb{R}^2$. Let $\omega := dx \wedge dy$ denote the standard area form on $\mathbb{R}^2$ (and on $D^2$ by restriction). Let $\phi$ be a diffeomorphism of $...

**6**

votes

**0**answers

132 views

### kernel of the mod $2$ Bockstein on the first cohomology group

Let $M$ be a path-connected finite $CW$-complex. Suppose the first integral homology group is $H_1(M;\mathbb{Z})= \mathbb{Z}_2^{\oplus r}\oplus A$ where $r\geq 1$ and $A$ is a finite abelian group of ...

**3**

votes

**1**answer

56 views

### vector bundles induced by an action of a finite subgroup of $O(n)$

Let $M$ be a path-connected manifold. Let $G$ be a finite subgroup in $O(n)$ and suppose $G$ acts freely on $M$. Then we have an associated vector bundle
$$
\xi(M,G): \mathbb{R}^n\longrightarrow M\...

**2**

votes

**0**answers

112 views

### Connecting homomorphism in generalized cohomology theory

I have some compact manifold with boundary $(M,\partial M)$, and there is a long exact sequence
$$\cdots\to KO^{-1}(\partial M)\xrightarrow{\partial} KO^{0}(M,\partial M)\to KO^0(M)\to KO^0(\partial ...

**1**

vote

**1**answer

51 views

### Existence of a continuous map of a disk with a given boundary image on a surface to its complement in $\mathbb{R}^3$

I am considering the following problem:
given an embedded closed surface in $\mathbb{R}^3$ (unknotted) and a non-trivial simple closed curve on it, does there exist a continuous map of a disk to the ...

**5**

votes

**0**answers

99 views

### cohomology ring of configuration spaces on $S^2$ and the projective plane

For a manifold $M$ and a positive integer $n$, the unordered configuration space $B(M,n)$ is the space consisting of all unordered collections of $n$ distinct points on $M$. Precisely,
$$
B(M,n)=\{(...

**6**

votes

**1**answer

136 views

### non-orientability of vector bundles induced from a symmetric group action

Let $\Sigma_k$ be the symmetric group on $k$-letters. Let $M$ be a manifold with a free $\Sigma_k$-action. Then we can form a $k$-dimensional vector bundle
$$
\xi:\mathbb{R}^k\longrightarrow M\times_{\...

**16**

votes

**2**answers

785 views

### What is an example of an orbifold which is not a topological manifold?

In Thurston's book The Geometry and Topology of Three-Manifolds it is proven that the underlying space of a two-dimensional orbifold is always a topological surface.
Are there any easy examples of ...

**5**

votes

**0**answers

106 views

### Mal'cev completions of finitely generated torsion-free nilpotent groups

There is some question from geometric group theory:
One wonders if the following conditions are equivalent for finitely generated torsion-free nilpotent groups $\Gamma$ and $\Lambda$:
$\Gamma$ and $\...

**0**

votes

**0**answers

101 views

### Triangulation of S^2xS^2

Could someone tell me or give a reference for the minimal triangulation of $S^2\times S^2$ and $S^2\times S^1\times S^1$ ?
Thanks,

**3**

votes

**1**answer

145 views

### Euler Class constant on Fibered Face of Unit Thurston Norm Ball?

I am reading about the Thurston norm out of Candel and Conlon's "Foliations 2" and Calegari's "Foliations and the Geometry of 3-Manifolds".
I'm trying to work through the proof of the "Fibered Faces"...

**5**

votes

**1**answer

164 views

### Is every triangulation of a Euclidean ball by convex tetrahedra shellable?

Suppose you are given a 3-ball $B$ in $\mathbb{R}^3$ that is bounded by a PL sphere, a triangulation $T$ of $B$ by Euclidean tetrahedra. Is that triangulation necessarily shellable?
I know that if $...

**10**

votes

**1**answer

242 views

### Closed $3$-manifold, $2$-dimensional subbundle of this manifold, is this form exact or not?

Let $M$ be a closed $3$-manifold, and let $\xi$ be a $2$-dimensional subbundle of $TM$. I know the following.
There is a nowhere zero $1$-form $\alpha$ on $M$ with $\alpha(X) = 0$ for any vector ...

**4**

votes

**1**answer

150 views

### mapping class group of a two-holed torus

It is well-known that in the picture below we have $t_d=(t_at_b)^6$ as elements in the mapping class group of a two-holed torus, ($t_\gamma$ represents positive Dehn twist about the curve $\gamma$). ...

**4**

votes

**1**answer

137 views

### Smooth closed simply-connected $4$-manifold with $w_1 = w_2 = 0$ without a point admits symplectic structure?

See my previous question here.
Let $M$ be a smooth closed simply-connected $4$-manifold with $w_1 = w_2 = 0$. Can $TM$ be trivialized in the complement of a point?
This was answered in the ...

**7**

votes

**2**answers

146 views

### Tangent bundle of smooth closed simply-connected $4$-manifold $w_1 = w_2 = 0$ can be trivialized in complement of point?

Let $M$ be a smooth closed simply-connected $4$-manifold with $w_1 = w_2 = 0$. Can $TM$ be trivialized in the complement of a point?

**8**

votes

**1**answer

196 views

### Is the action of $G$ on $H_1(T^n, \mathbb{Z}) = \mathbb{Z}^n$ faithful?

Let $G$ be a finite group of diffeomorphisms of the torus $T^n$ fixing some point $p$, i.e. $p$ is fixed by every element of $G$. I have two questions.
Is the action of $G$ on $H_1(T^n, \mathbb{Z}) =...

**3**

votes

**0**answers

71 views

### Is there a Riemannian metric on the $2$-ball $B^2$ which has negative sectional curvature everywhere, and such that the boundary is concave?

Is there a Riemannian metric on the $2$-ball $B^2$ which has negative sectional curvature everywhere, and such that the boundary is concave; i.e. the geodesic curvature along the boundary points ...

**1**

vote

**0**answers

79 views

### coefficient of homology of configuration spaces over real projective spaces

In the slides Characteristic Classes of Surface Bundles
and Configuration Spaces, Miguel A. Xicot'encatl, page 38, what is the coefficient of the following homology?
Could the coefficient be an ...

**4**

votes

**2**answers

412 views

### Generalized Jordan theorem and winding number

By the generalized Jordan theorem any continuous injective map
$S^{n-1} \hookrightarrow R^n$ splits $R^n$ into two regions, one being bounded (interior) and the other one unbounded (exterior). It ...

**4**

votes

**1**answer

273 views

### What are the 4 convex simplicial 4-polytopes that have 6 vertices?

In Convex polytopes and related complexes by Klee and Kleinschmidt they state the number of $d$-polytopes with $d+2$ vertices is $\lfloor \frac{d^2}{4}\rfloor$.
I was wondering what the four $4$-...

**8**

votes

**1**answer

185 views

### Dimension in Whitney's theorem

There are some interesting examples of (classes of) manifolds for which I suspect that the Whitney theorem can be strenghtened. For example it is known that every (smooth) $n$-dimensional manifold can ...

**11**

votes

**3**answers

396 views

### $A_{\infty}$-structure on closed manifold

Is there an exmaple of a closed smooth connected manifold $M$ having a structure of $A_{\infty}$-space (with unit) but $M$ is not homeomorphic to a compact connectd Lie group as space ?
Edit: First, ...

**13**

votes

**1**answer

253 views

### Do vanishing characteristic classes of the tangent bundle imply a manifold is stably frameable?

Suppose we know that all stable characteristic classes of the tangent bundle of a manifold $M$ vanish, i.e. the map $f:M\rightarrow BO$ stably classifying the tangent bundle is trivial on cohomology, ...

**6**

votes

**1**answer

126 views

### boundary of semihyperbolic groups

There are various definitions of boundary of a hyperbolic group. Which of those generalize to semi-hyperbolic groups (in the sense of Alonso and Bridson)?
The example I have in mind is a semisimple ...

**1**

vote

**0**answers

24 views

### Homology of the subcomplexes of the “diamond shaped” sphere under 1-norm in $R^n$ as a simplicial complex

The 1-norm on $\mathbb{R}^n$ is defined by $\|v\| = |v_1| + |v_2| + \cdots + |v_n|$ for a vector $v = (v_1, \ldots, v_n) \in \mathbb R^n$.
The unit sphere $S^{n-1}_1$ under the 1-norm is a simplicial ...

**6**

votes

**1**answer

129 views

### Maximal TB number and slice genus relation of a knot in any 3-manifold

Lisca-Stipsicz say that if a knot $K\subset{S^{3}}$ satisfies $g_{s}(K)>{0}$ and $TB(K)=2g_{s}(K)-1$ then $S^{3}_r(K)$ carries positive, tight contact structures
for every $r\neq{...

**16**

votes

**1**answer

313 views

### Is the restriction map for embeddings of manifolds with boundary a fibration?

Let $M$ and $W$ be smooth manifolds (possibly with boundary) and $V\subseteq W$ a submanifold. We have a map between embedding spaces
$$Emb(W,M)\rightarrow Emb(V,M)$$ given by restriction.
Richard ...

**10**

votes

**2**answers

329 views

### Stable homotopy groups of $RP^{\infty}$

Are the stable homotopy groups $\pi^s_i(\mathbb R P^{\infty})$ known for small $i$? In particular, I would be interested in the values for $i = 5,6$. A quick Internet search did not lead to anything.

**4**

votes

**0**answers

212 views

### A generalized ellipse

We know that an ellipse is the locus of all point $z$ in the plane with $$|z-a|+|z-b|=\lambda$$
where $a,b$ are two given points in the plane and $\lambda$ is a constant.
Now we consider the ...

**4**

votes

**1**answer

194 views

### Local product structure of determinantal variety

The variety $X_n$ of singular $n\times n$ real matrices is stratified by smooth strata $X_{n,k}$ where $k$ is the rank. Choose a rank $k$ matrix $A\in X_{n,k}$. Is there a local diffeomorphism sending ...

**7**

votes

**1**answer

140 views

### Admissibility in Heegaard Floer, especially with torsion Spin^c structures

I'm confused about the relationship between strong admissibility and weak admissibility for pointed diagrams in Heegaard Floer theory. For reference, here are Ozsváth-Szàbo's original definitions:
...

**8**

votes

**1**answer

185 views

### Simply connected noncompact surfaces

Is there a theorem saying that any noncompact, simply connected topological surface is homeomorphic to the plane ? There seems to be many well-known results about the classification of compact ...