All Questions
Tagged with lie-groups gt.geometric-topology
33 questions with no upvoted or accepted answers
9
votes
0
answers
230
views
Fixed-points of a topological circle action
Suppose the circle group $G = S^1$ acts on $X$.
If $X$ is a closed smooth manifold (and the action is smooth), then we know the fixed-points $X^G$ are a disjoint union of smooth submanifolds of $X$. ...
- 353
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 ...
- 183
7
votes
0
answers
172
views
Subgroups of $\mathbb{Z}^{n}$ with rotational symmetries
Schmidt (https://projecteuclid.org/euclid.dmj/1077377618) showed that the number of $m$-dimensional subgroups of $\mathbb{Z}^{n}$ of covolume $\leq X$
is
$$c_{1}\left(m,n\right)X^{n}+O\left(X^{n-\...
- 273
7
votes
0
answers
516
views
Quotient of 3-sphere by binary octahedral group?
Consider the Lie group $Spin(3)$, which can be thought of geometrically as the 3-sphere (e.g., it can be represented by the collection of unit quaternions). The quotient $Spin(3)/\pm I$ yields the ...
- 3,059
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 (...
- 4,081
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. ...
- 5,405
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, \...
- 463
6
votes
0
answers
634
views
Quotient space, a fundamental group, and higher homotopy groups 2
Previously, I ask for comments/suggestions on setting up the calculation in Quotient space, homogeneous space, and higher homotopy groups. There, however, I was looking for whatever methods and tools ...
- 10.5k
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 ...
- 4,081
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 ...
- 2,050
5
votes
0
answers
140
views
Intermediate subgroups between $H(\mathbb{Z})$ and $H(\mathbb{Z}[\sqrt{2}])$, for anisotropic form of $SL_2$
Let $H$ be an anisotropic $\mathbb{Q}$-form of $SL_2$, with $H(\mathbb{R}) = SL_2(\mathbb{R})$.
Are there any results or conjecture regarding the existence, or non-existence of intermediate subgroups ...
- 474
5
votes
0
answers
590
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 $\...
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 ...
- 4,081
4
votes
0
answers
83
views
Points of failure in definition of X- and A-moduli spaces for arbitrary G
In their work [0] on defining notions of higher Teichmüller space for local systems on surfaces, Fock and Goncharov require split reductive Lie groups, and sometimes also require simple-connectedness. ...
- 1,131
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 ...
- 61
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 ...
- 4,081
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\...
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 ...
- 4,081
3
votes
0
answers
267
views
What is the connection between $\mathrm{AdS}_2$ and the hyperbolic plane $\mathbb{H}^2$?
What is the connection between $\mathrm{AdS}_2$ and the hyperbolic plane $\mathbb{H}^2$?
Some sources seem to imply that they are the same, i.e. having at least the same symmetry group $\mathrm{SL}(2,...
- 679
3
votes
0
answers
136
views
Existence of loxodromic elements in certain subsets of $\text{PSL}_2(\mathbb C)$
Let $R$ be a subset of $\text{PSL}_2(\mathbb C)$ and consider its natural action on $\mathbb {CP}^1$. We say that $R$ is elementary if either $R$ is conjugated to a subset of $\text{SU(2)}$ or if ...
- 1,058
3
votes
0
answers
888
views
Quotient space, homogeneous space, and higher homotopy groups
Preparation and my input:
For the quotient space $G/H$, knowing the homotopy
groups of $G$ and $H$ one can determine homotopy groups from the long
exact sequence
$$
...
\to \pi_n(H) \to \pi_n(G) ...
- 10.5k
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 ...
- 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}\ ...
- 563
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}$ ...
- 123
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, ...
- 2,533
2
votes
0
answers
127
views
Homeomorphism type of the horofunction boundary for nilpotent Lie groups
Consider a metric space $(X,d)$ and fix a base point $w$. A horofunction is a function of the form
$$\beta_y(x)=d(x,y)-d(w,y).$$
The map $y\mapsto \beta_y$ is an embedding of $X$ into the space of $1$-...
- 2,090
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)...
- 5,405
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$ ...
- 569
1
vote
0
answers
254
views
Defining a notion of “volume of its lattice” for non-rational subspaces
Let $V\subseteq \Bbb R^n$ be a vector subspace. If $V$ is rational, i.e. has a basis consisting of elements in $\Bbb Z^n$, then there’s a well-defined notion of the “volume of the lattice of V”:
$$\...
- 3,079
1
vote
0
answers
180
views
Cocompact (finite covolume) lattices in euclidean groups
1) Is there a classification of cocompact ( or finite co-volume) lattices in Euclidean groups E(n)( motions of Euclidean space) ( especially in dimensions 2,3,4)?
2) Also what is (if any) the ...
- 11
1
vote
0
answers
83
views
Rigidity of lower-dimensional lattices in Euclidean groups
Informal intro / motivation:
Suppose I have an infinite set of atoms arranged in a 2D periodic crystalline "sheet". By crystalline I simply mean that it is preserved by the action of integer ...
- 13.6k
0
votes
0
answers
172
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 ...
- 105
-1
votes
0
answers
115
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 ...
- 5,405