Skip to main content

All Questions

Filter by
Sorted by
Tagged with
-1 votes
0 answers
114 views

Stability of flow map

$\DeclareMathOperator\Diff{Diff}$Setting: Let $(M,g)$ be a compact and connected $C^{\infty}$-Riemannian manifold. Let $d_g$ denote the induced shorted path metric and equip $C^{\infty}(M)$ with the ...
ABIM's user avatar
  • 5,405
7 votes
1 answer
177 views

Ergodicity of action of finite index subgroups in the boundary

Let $\Gamma < \operatorname{PSL}_2(\mathbb{R})= \text{Isom}^+(\mathbb{H^2})$ be a discrete subgroup. Suppose $\Gamma$ acts ergodically on the boundary of the hyperbolic plane $\partial{\mathbb{H}^2}...
shurtados's user avatar
  • 1,101
3 votes
1 answer
100 views

Representation of Lie groups inducing a quasi-isometric embedding of their symmetric spaces

Let $G_{1}$ and $G_{2}$ be connected semisimple real Lie groups with no compact factors and finite center and let $K_{1}$ and $K_{2}$ denote some fixed choice of their maximal compact subgroups, ...
Aleksander Skenderi's user avatar
7 votes
1 answer
190 views

Rigidity/flexibility of Nil-, Sol-, $\widetilde{\rm SL}_2$- structures on closed 3-manifolds

It is known that closed spherical and hyperbolic 3-manifolds are rigid. I.e., if two such manifolds are diffeomorphic, then they are isometric (moreover, I think, that every diffeomorphism is isotopic ...
Roman's user avatar
  • 353
5 votes
1 answer
356 views

Lattice generated by parabolics

Let $G$ be a semisimple Lie group of split-rank one and let $\Gamma$ be a non-cocompact lattice which is torsion-free. For the group $G=\mathrm{SL}_2(\mathbb{R})$ it then follows that $\Gamma$ is ...
Antonius's user avatar
  • 460
1 vote
1 answer
192 views

Lie group framing and framed bordism

What is the definition of Lie group framing, in simple terms? Is the Lie group framing of spheres a particular type of Lie group framing? (How special is the Lie group framing of spheres differed ...
zeta's user avatar
  • 447
3 votes
0 answers
99 views

Relation of geometric and polyhedral convergence

By Proposition 3.10(i) of Jorgensen and Marden's 1990 Algebraic and geometric convergence of Kleinian groups, "[A] sequence $\{G_n\}$ of Kleinian groups converges geometrically to a Kleinian ...
bergfalk's user avatar
11 votes
2 answers
1k views

When does a group act effectively and holomorphically on some Riemann surface?

Given a Riemann surface $X$, we have some fairly standard methods for identifying which groups $G$ admit an effective and holomorphic action $G \times X \to X$. For instance, some fairly elementary ...
Matthew Niemiro's user avatar
6 votes
0 answers
345 views

Why can't a Lie group act transitively on a finite volume hyperbolic manifold?

In the comments on the MathSE question "Is Seifert-Weber space homogeneous for a Lie group?", it is claimed that if $ M $ is a manifold which admits a finite volume hyperbolic metric (...
Ian Gershon Teixeira's user avatar
4 votes
0 answers
226 views

Is the total space of a $ U_1 $ principal bundle over a compact homogeneous space always itself homogeneous?

Let $ U_1 \to E \to B $ be a $ U_1 $ principal bundle. Suppose that $ B $ is homogenous (admits a transitive action by a Lie group) and compact. Then must it be the case that $ E $, the total space of ...
Ian Gershon Teixeira's user avatar
4 votes
1 answer
182 views

What are some properties of the leading eigenvalue of a product of inversions in mutually tangent spheres?

Let $S_1, \ldots, S_n$ be a collection of $n \geq 4$ pairwise tangent hyperspheres in $\mathbb{R}^{n-2}$ with disjoint interiors, and $\iota_i$ be the inversion in $S_i$. Viewing the conformal group ...
Sami Douba's user avatar
8 votes
2 answers
362 views

Is every contractible homogeneous space of a connected Lie group homeomorphic to a Euclidean space?

Problem. Let $G$ be a connected Lie group and $H$ is a closed subgroup of $G$ such that the homogeneous space $G/H$ is contractible. Is $G/H$ homeomorphic to a Euclidean space $\mathbb R^n$ for some $...
Taras Banakh's user avatar
  • 41.8k
4 votes
1 answer
419 views

Faithful locally free circle actions on a torus must be free?

Is it true that every faithful and locally smooth action $S^1 \curvearrowright T^n$ is free? I know such an action must induce an injection $\rho:\pi_1(S^1)\to\pi_1(T^n)$. Another related question is: ...
Chan Ki Fung's user avatar
1 vote
1 answer
182 views

A question from the paper "Hyperbolic rigidity of higher rank lattices" by Thomas Haettel

In the paper "Hyperbolic rigidity of higher rank lattices" by Thomas Haettel, the author has made the following statement in the proof of Corollary D in page no. 18 ( https://arxiv.org/pdf/...
John Depp's user avatar
  • 331
2 votes
0 answers
76 views

Weakening of orbit type stratification to non-proper Lie group actions

I am working in a setting where I am thinking about effective, fixed-point free actions of $\text{PSL}(2; \mathbb{R})$ on compact three manifolds by homeomorphisms. I'm not sure if this is relevant ...
hazelnb's user avatar
  • 21
2 votes
0 answers
108 views

Questions about symmetric spaces

I'm a little confused with the following questions: (1) Why does a symmetric space $M=G/K$ of compact type have $\mathcal{R}^M\geq 0$? (2) Moreover, why does $\chi(M)\neq 0$ if and only if ${\rm rk}\ ...
Radeha Longa's user avatar
6 votes
1 answer
644 views

Torus bundles and compact solvmanifolds

I asked this question on MSE 9 days ago and it got a very helpful comment from Eric Towers providing the Palais Stewart reference, but no answers. So I'm crossposting it here. Let $$ T^n \to M \to T^m ...
Ian Gershon Teixeira's user avatar
5 votes
0 answers
132 views

geometry and connected sum of aspherical closed manifolds

Let $ G $ be a Lie group with finitely many connected components, $ K $ a maximal compact subgroup, and $ \Gamma $ a torsion free cocompact lattice. Then $$ \Gamma \backslash G/K $$ is an aspherical ...
Ian Gershon Teixeira's user avatar
9 votes
1 answer
444 views

Compact flat orientable 3 manifolds and mapping tori

There are 10 compact flat 3 manifolds up to diffeomorphism, 6 orientable and 4 non orientable. I am looking to better understand how to construct the orientable ones. The six orientable ones are ...
Ian Gershon Teixeira's user avatar
3 votes
1 answer
425 views

3 dimensional solvmanifolds and Thurston geometries

Does every three dimensional compact solvmanifold admit either Euclidean, nil, or sol geometry? definitions/motivation/background: A solvmanifold is a manifold $ M $ admitting a transitive action by a ...
Ian Gershon Teixeira's user avatar
24 votes
2 answers
2k views

Is it possible to realize the Moebius strip as a linear group orbit?

On MSE this got 5 upvotes but no answers not even a comment so I figured it was time to cross-post it on MO: Is the Moebius strip a linear group orbit? In other words: Does there exists a Lie group $ ...
Ian Gershon Teixeira's user avatar
3 votes
1 answer
391 views

Almost free Lie group action

It's known that if a compact Lie group $G$ acts freely on a compact manifold $M$, then the orbit space $M/G$ is a manifold. If we only assume that $G$ acts almost freely (i.e. $G_x$ is finite for any $...
Mjr's user avatar
  • 307
2 votes
1 answer
484 views

Mapping torus of orientation reversing isometry of the sphere

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$ Let $ f_n $ be an orientation reversing isometry of the round ...
Ian Gershon Teixeira's user avatar
6 votes
0 answers
341 views

When exponential map is 1-1 from vector fields to diffeomorphisms

Let $M$ be a connected and complete Riemannian manifold of positive dimension, $k$ be a positive integer, and let $\mathfrak{X}^k_c$ be the set of class $C^k$-vector fields on $M$ of compact support. ...
ABIM's user avatar
  • 5,405
4 votes
1 answer
230 views

Generalizing a result about hyperbolic 2-folds to hyperbolic 3-folds

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}$Let $ \Sigma_g $ be a compact orientable surface of genus $ g $. Let the subgroup $ \pi_1(\Sigma) $ of $ \SL_2(\...
Ian Gershon Teixeira's user avatar
3 votes
2 answers
298 views

Transitive action on non-orientable $ M $ lifts to orientable double cover

Suppose that $ M $ is non-orientable with transitive action by a Lie group $ G $. Does that imply that some Lie group $ G' $ acts transitively on the orientable double cover $M'$? This is true for ...
Ian Gershon Teixeira's user avatar
8 votes
1 answer
599 views

Exact condition for smooth homogeneous to imply Riemannian homogeneous for compact manifolds

Let $ (M,g) $ be a homogeneous Riemannian manifold. That is, the isometry group $ Iso(M,g) $ acts transitively on $ M $. Let $ \pi_1(M) $ be the fundamental group of $ M $. Then $ \pi_1(M) $ has ...
Ian Gershon Teixeira's user avatar
2 votes
1 answer
137 views

noncompact Riemannian homogeneous is trivial vector bundle over compact homogeneous

Is it true that a manifold $ E $ admits a metric with respect to which the isometry group is transitive ($ E $ is Riemannian homogeneous) if and only if $ E $ is the total space of a $ K $ equivariant ...
Ian Gershon Teixeira's user avatar
3 votes
0 answers
164 views

Equivalent condition for compact group to act transitively

Let $ M $ be a connected manifold. Let $ \pi_1(M) $ be the fundamental group of $ M $. Suppose there exists a compact group $ K $ that acts transitively on $ M $. Then $ \pi_1(M) $ must have a finite ...
Ian Gershon Teixeira's user avatar
2 votes
2 answers
213 views

Riemannian homogeneous equivalent to linear group orbit

Let $ M $ be a smooth manifold. Recall that a manifold $ M $ is smooth homogeneous if there exists a Lie group acting transitively on $ M $. Recall that a manifold $ M $ is Riemannian homogeneous if ...
Ian Gershon Teixeira's user avatar
17 votes
3 answers
2k views

Examples of the Thurston geometries with transitive Lie group action

Here are some examples of compact homogeneous 3 manifolds for different Thurston geometries: (1) Spherical: $\mathbb{S}^3 \cong \mathrm{SU}_2$ modulo any finite subgroup (2) Euclidean: 3 torus $\...
Ian Gershon Teixeira's user avatar
8 votes
0 answers
284 views

Fundamental domains for proper Lie group actions on smooth manifolds

The setting: $M$ an arbitrary smooth manifold, $G$ a Lie group acting effectively and properly on $M$ by diffeomorphisms. Motivation: when trying to figure out the homeomorphism type of the orbit ...
Russ Phelan's user avatar
6 votes
0 answers
196 views

Logarithm on formal power series continuous?

Denote $V:=\mathbb{R}^d$ and consider the Cartesian product $V^\infty:=\prod_{k=0}^\infty V^{\otimes k}$ together with its canonical projections $\pi_k : V^\infty\rightarrow V^{\otimes k}, (v_0, v_1, \...
fsp-b's user avatar
  • 463
5 votes
1 answer
372 views

$\pi_{2n-1}(\operatorname{SO}(2n))$ element represents the tangent bundle $TS^{2n}$, not torsion and indivisible for $n>1$?

Question: Is the element $\alpha$ in $\pi_{2n-1}(\operatorname{SO}(2n))$ representing the tangent bundle $TS^{2n}$ of the sphere $S^{2n}$ indivisible and not torsion? My understanding so far — An $\...
wonderich's user avatar
  • 10.5k
2 votes
1 answer
719 views

Classification of isometries of hyperbolic 3-space

Denote the upper half space by $\mathcal{H}_{3}=\Bbb{C}\times (0,\infty)$. A point $P \in \mathcal{H}_{3}$ is given as, $P=(z, t)=(x, y, t)=z+t j$ where $z=x+i y$ and $j=(0,0,1) .$ The group $P S L_{2}...
ersin's user avatar
  • 33
2 votes
0 answers
83 views

A quasi-isometric embedding of a convex cocompact subgroup

I am currently reading a paper where they state the following claim: "For a convex cocompact representation $\rho: \Gamma \to G$, the existence of a cocompact invariant convex set $\mathcal{C}$ ...
JohannesPauling's user avatar
2 votes
1 answer
133 views

Do discrete embeddings of surface groups not necessarily carry an embedding of SL_2?

We can get arithmetic lattices isomorphic to free groups in $\mathrm{SL}_2\mathbb{R}$, so in general we can’t expect homomorphisms of lattices into semisimple Lie groups to say much about $\mathrm{SL}...
Robin Goodfellow's user avatar
1 vote
0 answers
96 views

Constructing homeomorphisms from continuous functions and matrix exponentials

Fix a $d\times d$ matrix $A$, let $f:\mathbb{R}^d\rightarrow \mathbb{R}$ be a continuous function, and define the induced map $F_{f,A}:\mathbb{R}^d\rightarrow \mathbb{R}^d$ by $$ x \mapsto \exp(f(x)A)...
ABIM's user avatar
  • 5,405
6 votes
2 answers
342 views

Positive genus Fuchsian groups

Let $G$ be a lattice in $SL(2,\mathbb{R})$. Is it always true that there exists a finite index subgroup $F$ of $G$ such that the quotient surface $\mathbb{H}/F$ has positive genus? Is the statement ...
user163814's user avatar
7 votes
1 answer
1k views

When a free action gives rise to a $G$-principal bundle

When a free action gives rise to a $G$-principal bundle Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that $G \backslash X$ is Hausdorff. (equivalently the image of ...
Rami's user avatar
  • 2,639
3 votes
0 answers
159 views

Convergence of Fuchsian groups and existence of suitable homeomorphisms

Let $(\Gamma_n)_n$ ($\subset PSL(2,\mathbb{R})$) be a sequence of discrete groups, if we say that $(\Gamma_n)_n$ converges to a group $\Gamma$ this means that there exist isomorphisms $\tau_n:\Gamma\...
Jongar Jongar's user avatar
6 votes
1 answer
395 views

Explicit fundamental domain for the action of $\operatorname{O}(n,1)(\mathbb{Z})$ on $\operatorname{O}(n,1)(\mathbb{R})$

Minkowski computed explicit fundamental domains for the action of $\operatorname{SL}_n(\mathbb{Z})$ on $\operatorname{SL}_n(\mathbb{R})/\operatorname{SO}_n(\mathbb{R})$ for each $n \leq 6$. In the ...
Ashvin Swaminathan's user avatar
6 votes
1 answer
466 views

Hyperbolic manifolds with infinite cyclic fundamental group

It is a well known fact that there is a correspondence between complete hyperbolic $n$-manifolds up to isometry and discrete subgroups of isometries of the hyperbolic space $\mathbb{H}^n$ that act ...
Overflowian's user avatar
  • 2,533
5 votes
0 answers
150 views

Lattices of minimal covolume in $\operatorname{SL}_2(\mathbb{R}) \times \operatorname{SL}_2(\mathbb{R})$

What are the (uniform/non-uniform) irreducible lattices of minimal (or even small) covolume in $\operatorname{SL}_2(\mathbb{R}) \times \operatorname{SL}_2(\mathbb{R})$? Context: Such a lattice will ...
Stefan Witzel's user avatar
4 votes
2 answers
267 views

Finite models for torsion-free lattices

Let $G$ be a real, connected, semisimple Lie group and $\Gamma < G$ a torsion-free lattice. Then does there exist a finite $CW$-model for $B\Gamma$? I know this to be true in many instances (e.g. ...
H1ghfiv3's user avatar
  • 1,255
3 votes
0 answers
402 views

Is every manifold a double coset space?

Given any manifold $ M $ does there exist $ G $ a Lie group and $ H,\Gamma $ closed subgroups of $ G $ such that $$ M \cong \Gamma \backslash G/H $$ I was inspired to ask by this question: Example ...
Ian Gershon Teixeira's user avatar
3 votes
1 answer
263 views

Homogeneous manifold deformation retracts onto compact submanifold

Let $G$ be a connected Lie group. Then by a theorem of Cartan there is a diffeomorphism $$ G \cong K \times \mathbb{R}^n $$ where $K$ is a maximal compact subgroup of $G$. Now, let $M$ be a ...
Ian Gershon Teixeira's user avatar
7 votes
1 answer
490 views

Classification of fibrations $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$

Does there exist a complete classification of all fiber bundles $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$, that is, fibrations of $\smash{\Bbb S^d}$ with each fiber homeomorphic to $\smash{\...
M. Winter's user avatar
  • 13.6k
1 vote
0 answers
137 views

When can a spatial Manifold be deformed into another spatial manifold?

I'm reading a paper by Gaiotto, Kapustin, Seiberg, and Willett, titled "Generalised Global Symmetries" (MSN). In section 3.1, paragraph 4 they write something to the order of: If we have a $M^d$ ...
pyroscepter's user avatar
2 votes
0 answers
108 views

Cohomology of colored braid groupoids

Consider braids on $n$ strands and pick $n$ distinct labels $1, \dots, n$. There is a groupoid $\mathcal P_n$ whose objects are tuples $(l_1, \dots, l_n)$ of labels and whose morphisms are braids, ...
Calvin McPhail-Snyder's user avatar