All Questions
Tagged with lattices lie-groups
55 questions
2
votes
1
answer
123
views
Stabilizer of a lattice $\Gamma \subset G$ in the group of automorphisms $\operatorname{Aut}(G)$ is always discrete?
$\DeclareMathOperator\Aut{Aut}$Let $G$ be a (simply) connected Lie group whose semisimple part has no compact factors, and let $\Gamma $ be a lattice (uniform?) in $G$.
Is it true that the stabilizer $...
- 309
2
votes
0
answers
81
views
Lattice in a simply connected nilpotent Lie group
Given a connected and simply connected nilpotent Lie group $N$ with a left invariant metric, we assume that there is a lattice $\Gamma$ of $G$. Let $B_1(e)$ be the $1$-ball at the identity element in $...
- 21
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 ...
- 460
0
votes
0
answers
81
views
Lattice not contained in any connected subgroup is not contained in any positive dimensional subgroup
Let $ G $ be a simple Lie group and let $ \Gamma $ be a lattice in $ G $. If $ \Gamma $ is not contained in any connected subgroup of $ G $ does that imply that $ \Gamma $ is not contained in any ...
- 4,081
6
votes
1
answer
253
views
Do lattices of small co-volume always exist in rational, connected, simply connected, nilpotent Lie groups?
Given a connected, simply connected, rational, nilpotent Lie group $G$, is there a lattice of arbitrarily small co-volume in $G$? If $G$ is Carnot, the answer is "yes" by applying a ...
- 243
2
votes
0
answers
132
views
Efficient decoding of the E8/Leech lattice
Background:
Our goal is to quantize a sequence of floating point numbers generated i.i.d. from a standard Gaussian source and minimize the MSE reconstruction error. We can use two bits for each sample....
- 121
6
votes
1
answer
180
views
Expected value of the length of the shortest non-zero vector in a lattice?
$\DeclareMathOperator\SL{SL}$What is the expected value of the length of the shortest non-zero vector in a (unimodular) lattice? I.e., let $G=\SL_n(\mathbb{R})$ with Haar measure $\mu$, $\Gamma=\SL_n(...
- 609
3
votes
1
answer
228
views
About finitely generated lattices in Lie groups
Let $G$ be a connected Lie group. Let $\Gamma$ a lattice in $G$ not necessarily uniform (cocompact). Is it true that $\Gamma$ is finitely generated?
- 65
6
votes
0
answers
244
views
What can lattices tell us about lattices?
A general group-theoretic lattice is usually defined as something like
A discrete subgroup $\Gamma$ of a locally compact group $G$ is a lattice if the quotient $G/\Gamma$ carries a $G$-invariant ...
- 2,183
2
votes
1
answer
166
views
Cocompact lattices in $\mathrm{Sp}(n, 1)$
This is a continuation from my previous question. I am reading the following paper of Cowling-Haagerup, and I was wondering whether there are uniform lattices in $\mathrm{Sp}(n, 1)$. Is there some way ...
- 131
4
votes
0
answers
115
views
Questions related to a paper of Cowling-Haagerup and uniform lattices of $\mathrm{Sp}(1,n)$
I am reading the following paper of Cowling and Haagerup for my master’s thesis. I am new to this area so I am not very conversant. So I do apologize if the questions are silly.
Question 1. In the ...
- 131
7
votes
2
answers
353
views
Relation between different $E_8$ matrices
There are several rank-8 square matrices known to be related to $E_8$:
Cartan $E_8$ matrix https://en.wikipedia.org/wiki/E8_(mathematics)#Cartan_matrix
$$M_1=\left [\begin{array}{rr}
2 & -1 &...
- 317
2
votes
0
answers
143
views
Non-uniform lattices and parabolic subgroups in Lie groups
Let $G$ be a semisimple connected Lie group and let $\Lambda < G$ be a non-uniform irreducible lattice.
How does it follows that there exists a minimal parabolic subgroup $P$ of $G$ such that the ...
- 429
6
votes
1
answer
398
views
Lattices in $p$-adic groups
What are the examples of lattices in $\operatorname{SL}_n(\mathbb{Q}_p)$ with $n\geq 3$ or in other semisimple $p$-adic groups of higher rank?
It is known $\operatorname{SO}_n(\mathbb{Z}[1/p])$ is a ...
- 391
1
vote
1
answer
106
views
A lattice in $ \operatorname{SL}_n $ is Ad-irreducible
$\DeclareMathOperator\SL{SL}$Let $ G $ be a noncompact simple Lie group. For example $ \SL_n $. Let $ \Gamma $ be a lattice in $ G $. Consider the action of $ \Gamma $ on the Lie algebra of $ G $ by ...
- 4,081
6
votes
0
answers
200
views
Why should Serre's conjecture on congruence subgroup property hold?
There seem to be several related properties of an algebraic group, exhibiting the dichotomy between rank 1 and rank $\ge2$.
Whether a lattice in the group satisfies the congruence subgroup property,
...
- 1,024
5
votes
1
answer
234
views
A group in a neighbourhood of a Zariski dense subgroup
By Borel's theorem, lattices in simple Lie groups are Zariski dense. I expect that a small (in metric sense) deformation of a lattice in a Lie group is also Zariski dense.
Suppose we have a Zariski ...
- 9,237
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 ...
- 4,081
9
votes
2
answers
522
views
Is the group of integer points of a simple real linear algebraic group a maximal closed subgroup?
Let $ G $ be a simple linear algebraic group. Let $ G_\mathbb{R} $ be the real points of $ G $. Let $ G_\mathbb{Z} $ be the integer points of $ G $. Is $ G_\mathbb{Z} $ a maximal closed subgroup? In ...
- 4,081
1
vote
0
answers
152
views
Proving that $\mathrm{SL}_2(\mathbb{Z}[i])$ is a lattice in $\mathrm{SL}_2(\mathbb{C})$
I need to show that $\mathrm{SL}_2(\mathbb{Z}[i])$ is a lattice in $\mathrm{SL}_2(\mathbb{C})$. I was thinking of applying Borel-Harish Chandra theorem, which says that:
Let $G \subseteq \mathrm{GL}_{...
- 111
1
vote
0
answers
91
views
Is this equivariant function constant?
Let $G$ be a linear algebraic group (think of $SL_n(\mathbb{R})$), $B$ its Borel (standard minimal parabolic) subgroup (think of upper triangular subgroup), and let $\Gamma \leq G$ be a cocompact ...
- 949
3
votes
0
answers
296
views
Torsion-free subgroups in arbitrary lattices
Let $\Gamma $ be a lattice in a semi-simple Lie group $G$. If the Lie group $G$ is linear (that is, it has a faithful finite-dimensional linear representation), then $\Gamma$ contains a torsion-free ...
- 309
4
votes
0
answers
552
views
Lattices of $\mathbb{R}^s \ltimes_\varphi \mathbb{R}^k$
Edit: Thoughts updated (22/3/2021).
I've come across with the following problem.
Let $G=\mathbb{R}^s \ltimes_\varphi \mathbb{R}^k$ where $\varphi:\mathbb{R}^s\to \mathrm{Aut}(\mathbb{R}^k)=\mathsf{GL}(...
2
votes
0
answers
98
views
Sublattices in the standard integral symplectic lattice
Let $V$ denote $\mathbb{Z}^{2g}$ with its standard integral symplectic form $\omega = \sum_{i=0}^{g-1}dx_{2i} \wedge dx_{2i+1}$ (or, the homology lattice of a genus $g$ surface with its intersection ...
- 427
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}...
- 779
5
votes
0
answers
300
views
Matrix groups with two generators
Given two matrices $A,B\in{\rm{SL}}_2(\Bbb{R})$, is there any criterion guaranteeing that the subgroup they generate is discrete? What if one puts restrictions on $A,B$ e.g. they are both elliptic? ...
- 3,599
7
votes
2
answers
412
views
Homomorphisms from higher rank lattices with infinite center to $\mathbb{Z}$
Suppose that $\Gamma$ is an irreducible lattice in a semi-simple real Lie group $G$ of higher rank (with infinite center!), is every homomorphism $\Gamma \to \mathbb{Z}$ trivial?
The case where $G$ ...
- 1,101
0
votes
0
answers
267
views
Definition of reducible lattice
I am reading Raghunathan's book on discrete subgroups of Lie groups.
In particular I am stuck on Corollary 5.19 which gives several equivalent conditions for a lattice in a semisimple Lie group to be ...
- 101
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
12
votes
1
answer
418
views
When does a locally symmetric space have no odd degree Betti numbers?
Let $G$ be a semisimple real lie group, $K$ be a maximal compact subgroup of $G$, $\Gamma$ be a torsion-free cocompact discrete subgroup. The Betti number the locally symmetric space $X_{\Gamma}:=\...
- 6,622
6
votes
0
answers
550
views
Lattices in Lie groups
In the literature, people seem to predominantly look at lattices in nilpotent or reductive groups.
Is there a result that gives a general description of a lattice in an arbitrary Lie group?
Something ...
user130903
1
vote
0
answers
135
views
Lattices are not solvable in non-compact semisimple Lie groups
I'm trying to prove the following result.
If $G$ is a non compact semisimple Lie group with no compact factors (lying in some $SL(l,\mathbb{R})$), and $\Gamma$ is a lattice in $G$, then $\Gamma$ is ...
- 289
3
votes
1
answer
218
views
Convex Hulls of Demazure Modules
Let $G$ be a semisimple algebraic group over $\mathbb{C}$ and for a highest weight $\lambda$, denote by $V_{\lambda}^w$ the Demazure module associated with $\lambda$ and $w$. More precisely, $V_{\...
- 841
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
8
votes
1
answer
387
views
What kind of locally symmetric space is a rational sphere
Using Dehn Surgery, we can construct compact hyperbolic $3$-manifolds with vanishing Betti numbers $b_1=b_2=0$, i.e., a rational homology $3$-sphere.
My question is the following.
Is there other ...
- 1,111
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
3
votes
2
answers
1k
views
Examples of groups for which Margulis superrigidity theorem applies
I am not an expert at all in the subject of Lie groups, lattices, arithmetic groups and rigidity. But, lately I am interested in Margulis superrigidity theorem, which in most versions can be stated as ...
- 419
1
vote
0
answers
135
views
Growth of products of large sets in Lie groups
The Steinhaus Theorem states that if $A$ is a set of positive measure in a locally compact group $G$, then the set $A *A^{-1} := \{ab^{-1} | a,b \in A \}$ contains a ball around the identity in $G$.
...
- 1,101
4
votes
1
answer
349
views
Existence of lattices in reductive Lie groups
What is known about existence of lattices in reductive Lie groups? The best results I know about existence of lattices in connected Lie groups are either about semisimple groups or nilpotent groups ...
- 43
4
votes
2
answers
573
views
Uniform lattice in semidirect product
A uniform lattice in a locally compact group $G$ is a discrete subgroup $\Gamma\subset G$ such that $G/\Gamma$ is compact.
My question is whether a uniform lattice exists in the group
$$
G={\mathbb R}^...
user1688
6
votes
1
answer
214
views
Is the braid group with $n$ strings $\mathcal{B}_n$ a lattice in a connected semi-simple Lie group?
Is the braid group with $n$ strings $\mathcal{B}_n$ known to be a lattice in a connected semi-simple Lie group ? (for $n$, say, bigger than $3$)
Or is it known that it cannot be such a lattice ?
- 2,696
1
vote
0
answers
134
views
Are lattices in the special real linear group subgroup seperable?
Let $G \leq SL_2(\mathbb{R})$ be a lattice, let $H \leq G$ be a finitely generated subgroup of infinite index, and let $n \in \mathbb{N}$. Must there be some $H \leq U \leq G$ such that $n \leq [G : U]...
- 11.3k
15
votes
3
answers
1k
views
orbits of automorphism group for indefinite lattices
I have a question about indefinite lattices.
QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form,
not necessarily ...
- 9,237
4
votes
1
answer
251
views
Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices
I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...
- 43
11
votes
4
answers
2k
views
Concrete examples of noncongruence, arithmetic subgroups of SL(2,R)
A subgroup of $SL_2(\mathbb{R})$ is called arithmetic if it is commensurable with $SL_2(\mathbb{Z})$.
An arithmetic subgroup is called congruence if it contains a subgroup of type $\Gamma(N)$ for ...
- 11.2k
5
votes
1
answer
224
views
Lattice in motion group
Let $\Gamma$ be a discrete cocompact subgroup of the euclidean motion group
$$
G={\mathbb R}^d\rtimes O(d).
$$
Let $\phi:G\to O(d)$ the projection homomorphism.
Is it true that $\phi(\Gamma)$ is ...
user1688
14
votes
2
answers
1k
views
discrete subgroups of Lie groups and actions on homogeneous spaces
Let $\Gamma$ be a discrete subgroup of a connected finite dimensional Lie group $G$. Let $K$ be a maximal compact subgroup of $G$ and denote $X=G/K$. It is well-known that $\Gamma$ acts properly on $X$...
- 539
4
votes
2
answers
827
views
Property of lattices in Lie groups
Let $\Gamma$ be a lattice in a (real or p-adic) Lie group.
Is it true that for a given natural number $n$ there exists a finite index subgroup $\Sigma\subset\Gamma$ such that each $\sigma\in\Sigma$ is ...
user1688
10
votes
1
answer
905
views
Lattice in a certain Lie group
Let $G_n$ be the Lie group consisting of $n \times n$ upper triangular matrices of determinant $1$ with real entries. In other words,
$$G_n = \{\text{$\left(\begin{matrix} a_{11} & a_{12} & ...
- 378
6
votes
2
answers
740
views
Measuring how far from being cocompact a lattice is
Let $G$ be a locally compact group and $\Gamma$ a lattice (=discrete
subgroup of $G$ such that $G/\Gamma$ carries a probability measure $\mu$
that is invariant under the action of $G$ by left-...
- 9,486