All Questions
Tagged with gr.group-theory lie-groups
415
questions
7
votes
1
answer
1k
views
If two Lie algebras are isomorphic, under which conditions will their Lie groups also be isomorphic?
Let $G$ and $G'$ be compact connected Lie groups (which are not necessarily simply connected) with Lie algebra $\mathfrak{g}$ and $\mathfrak{h}$. Suppose that the two Lie algebras are isomorphic, ...
- 89
0
votes
1
answer
95
views
Conjugacy of Cartan subgroups in $\mathrm{GL}(n)$
$\DeclareMathOperator\SL{SL}$I have probably a very basic question on the structure of semisimple Lie groups. Sorry if it is too elementary.
Let either $G=\SL(n,\mathbb{R})$ or $G=\SL(n,\mathbb{C})$. ...
- 20.5k
-4
votes
1
answer
260
views
Is $SO(N)$ a sphere? [closed]
Is $SO(N)$ as a metric space with a Killing form metric, isometric to a sphere $S^M$ (for any $M$) with standard metric on the sphere?
- 397
8
votes
1
answer
443
views
Representation theory of $\mathrm{GL}_n(\mathbb{Z})$
I want to understand the (complex) representation theory of $\mathrm{GL}_n(\mathbb{Z})$, the general linear group of the integers. I have gone through several representation theory texts but all of ...
- 81
1
vote
0
answers
107
views
On the existence of non-arithmetic lattices in algebraic groups over $\mathbb{Q}$
$\newcommand{\Q}{\mathbb{Q}}\newcommand{\R}{\mathbb{R}}\DeclareMathOperator\PU{PU}$Let $G$ be a simple algebraic group over $\Q$ such that $G(\R) \simeq \prod_i G_i$, with each $G_i$ being the Lie ...
- 10.5k
6
votes
1
answer
209
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
76
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
0
answers
144
views
Algorithmic representation of the Spin (and Pin) group [duplicate]
Performing algorithmic computations in $\mathit{SO}_n(\mathbb{R})$ or $\mathit{O}_n(\mathbb{R})$ is easy: its elements are represented by $n\times n$ orthogonal matrices of reals so, assuming we have ...
- 28.7k
3
votes
0
answers
100
views
Names for split Lie groups
Do any of the simply connected simple Lie groups of the split real classical Lie algebras have names other than “the universal cover of _”?
- 2,613
2
votes
0
answers
62
views
Are the integer points of a simple linear algebraic group 2-generated?
Set Up:
Let $ K $ be a totally real number field. Let $ \mathcal{O}_K $ be the ring of integers of $ K $. Let $ G $ be a simple linear algebraic group. Suppose that $ G(\mathbb{R}) $ is a compact Lie ...
- 3,429
14
votes
2
answers
548
views
Existence of a regular semisimple element over $\mathbb{F}_{q}$
This is probably old, a Chevalley level of old, but I'm not at all an expert in this field so I need help.
Let $G$ be a simply connected (almost) simple linear algebraic group defined over $K=\mathbb{...
- 435
6
votes
0
answers
212
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 ...
- 1,729
3
votes
2
answers
160
views
The orbits of an algebraic action of a semidirect product of a unipotent group and a compact group are closed?
We consider real algebraic groups and real algebraic varieties. It is known that the orbits of an algebraic action of a unipotent algebraic group $U$ on an affine variety are closed. The orbits of an ...
- 159
2
votes
0
answers
118
views
Proof of Zimmer's cocycle super-rigidity theorem
I was reading the proof of Zimmer's cocycle super-rigidity theorem from the book 'Ergodic theory and semi-simple groups' by Robert Zimmer (Theorem 5.2.5, page 98). But I am not able to understand it. ...
- 177
2
votes
0
answers
87
views
$\mathrm{GL}(n, \mathbb{Z})$-equivariant maps on $\mathrm{GL}(n, \mathbb{R})$
$\DeclareMathOperator\GL{GL}$Can you describe the maps from $\GL(n, \mathbb{R})$ to $\GL(n, \mathbb{R})$ that are equivariant w.r.t. right multiplication by $\GL(n, \mathbb{Z})$? I'm interested even ...
- 323
4
votes
0
answers
420
views
Non-triviality of map $S^{24} \longrightarrow S^{21} \longrightarrow Sp(3)$
Let $\theta$ be the generator of $\pi_{21}(Sp(3))\cong \mathbb{Z}_3$, (localized at 3).
How to show the composition
$$S^{24}\longrightarrow S^{21}\overset{\theta}\longrightarrow Sp(3)$$
is non-trivial ...
3
votes
1
answer
114
views
Existence of a bounded measurable subset of $\text{SL}(d,\mathbb R)$ that is Borel isomorphic to $\text{SL}(d,\mathbb R)/\text{SL}(d,\mathbb Z)$?
$\text{SL}(d,\mathbb R)/\text{SL}(d,\mathbb Z)$ has two interesting properties: on one hand it is non-compact, but on the other hand it admits a unique $\text{SL}(d,\mathbb R)$-invariant finite ...
- 111
3
votes
2
answers
222
views
Generating $\mathbf{PGL}_2(\mathbb{Z})$ and $\mathbf{PGL}_2(\mathbb{Q})$
It is well known that $\mathbf{PGL}_2(\mathbb{Z})$ is finitely generated, and that $\mathbf{PGL}_2(\mathbb{Q})$ isn't. My question is: what is a fast, natural way to see these properties without ...
- 4,025
15
votes
3
answers
1k
views
Group of matrices in which every matrix is similar to unitary
$\DeclareMathOperator\GL{GL}$Let $G$ be a subgroup of $\GL_n(\mathbb{C})$ such that for every $g \in G$ there exists $c \in \GL_n(\mathbb{C})$ for which $cgc^{-1}$ is unitary (or, which is the same, $...
2
votes
0
answers
176
views
Centralizers and algebraic groups
Suppose $G$ is a linear algebraic group - I am also happy to assume $G$ is a simple algebraic group over an algebraically closed field of characteristic zero, but the question won't require this.
The ...
- 349
1
vote
1
answer
257
views
Quaternion representation and Haar measure of $SU(3)$ [closed]
Do we have easily and practically useful quaternion representation for $SU(3)$ group element and for Haar measure?
Also, is $SU(2)$ really simplified in the quaternion base?
6
votes
1
answer
227
views
Is there a general method for computing finitely generated normalizers?
I'm looking to compute normalizers of finite subgroups of $\mathrm{GL}(n, \mathbb{Z})$ and its possible that they are infinite but they are always finitely presented. For $\mathrm{GL}(n, \mathbb{Z})$ ...
- 215
9
votes
2
answers
568
views
Finite subgroups of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$
Question 1:Is there a reference that lists all possible finite subgroups and their orders of $\mathrm{SO}(n)$ and $\mathrm{O}(n)$ for $n=4$ or even higher $n$ over the real numbers?
I can only find ...
- 25.4k
1
vote
0
answers
83
views
A duality of finite groups coming from a surjective homomorphism with finite kernel of algebraic tori
$\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Gm}{{{\mathbb G}_{m,{\Bbb C}}}}
\newcommand{\X}{{\sf X}}
$ I am looking for a reference for the following lemma (for which I know a proof):
Lemma.
Let $\...
- 13.4k
4
votes
0
answers
133
views
Finite subgroups of $\mathrm{SL}_2(\mathbb{O})$
What are the finite subgroups (subloops that are groups) of $\mathrm{SL}_2(\mathbb{O})$? In particular, are there any not contained in a $\mathrm{SL}_2(\mathbb{H})$?
- 2,613
4
votes
1
answer
255
views
Is a Lie subgroup whose center is closed, a closed subgroup itself?
I want to show that a certain Lie subgroup (i.e. generated by the exponential of elements in some Lie subalgebra) of a Lie group is closed. My knowledge of the subject of Lie groups is rudimentary, ...
- 4,174
0
votes
0
answers
134
views
The largest abelian subgroups of a Lie group
Let $G$ be a semisimple Lie group. Denote $d(G)$ as the maximal integer $p$ such
that $\mathbb{Z}^p$ is isomorphic to a discrete subgroup of $G$ and $c(G)$ is the maximal integer $q$ such that $\...
4
votes
0
answers
163
views
Almost conjugate subgroups of compact simple Lie groups
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\SO{SO}$Let $G$ be a compact connected Lie group.
Definition:
Two finite subgroups $H_1,H_2$ of $G$ are said to be almost ...
- 2,279
4
votes
1
answer
119
views
Equivalence between the existence of a nonempty open set of elliptic elements and a compact Cartan subgroup
In Goldman's book on Complex Hyperbolic Geometry, on page 203, it is stated that for a real semisimple Lie group $G$, the following are equivalent:
$G$ contains a nonempty open subset of elliptic ...
- 347
13
votes
2
answers
1k
views
Why is $\operatorname{SO}(4)$ not a simple Lie group?
$\DeclareMathOperator\SO{SO}$I'm not asking for a proof but for some hint that might be helpful to understand this "anomaly" in 4 dimensions. I'm aware of the parallelism with the $A_4$ ...
- 302
7
votes
2
answers
422
views
Injectivity of the cohomology map induced by some projection map
Given a (compact) Lie group $G$, persumably disconnected, there exists a short exact sequence
$$1\rightarrow G_c\rightarrow G\rightarrow G/G_c\rightarrow 1$$
where $G_c$ is the normal subgroup which ...
- 125
9
votes
0
answers
96
views
Derived subgroups of 2-adic congruence subgroups of $\mathrm{SL}_2$
$\DeclareMathOperator\SL{SL}$Let $p$ be a prime, and let $\Gamma_r$ denote the kernel of the map $\SL_2(\mathbb{Z}_p)\rightarrow \SL_2(\mathbb{Z}_p/p^r\mathbb{Z}_p)$.
Explicit formulas with formal ...
- 6,567
2
votes
1
answer
220
views
Question about maximal compact subgroups of Lie groups
Let $G$ be a compact (connected) semisimple Lie group. Let $G_\mathbb{C}$ be the complexification of $G$.
Is $G$ a maximal compact subgroup of $G_\mathbb{C}$?
- 129
3
votes
1
answer
106
views
Fusing conjugacy classes II
(Followup to this question)
Consider a finite-dimensional Lie group $G$ and two conjugacy classes $H$ and $I$ of isomorphic subgroups of $G$.
Question. Is there some finite-dimensional Lie overgroup ...
- 2,613
5
votes
1
answer
266
views
The map $k \mapsto \mathbf{PGL}_2(k)$
Consider the map $\zeta: \{ \mbox{division rings} \} \mapsto \{ \mbox{groups} \}: k \mapsto \mathbf{PGL}_2(k)$.
Is this map known to be an injection - in other words, if $k$ and $k'$ are nonisomorphic ...
- 4,025
6
votes
1
answer
297
views
Semisimple compact Lie group topologically generated by two finite order elements
Edit: I'm specializing this question to the compact case I'll ask about the noncompact case as a new question.
Let $ G $ be a compact connected semisimple Lie group.
Do there always exist two finite ...
- 3,429
6
votes
0
answers
166
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,004
2
votes
1
answer
231
views
What is the Molien series of the SO(2)-invariant ring on the plane (sometimes written C[X]^{SO(2)} )?
Let SO(2) be the group of rotations in the plane. What is the Molien series (sometimes called the Hilbert-Poincare series) of the SO(2)-invariant ring of polynomials?
N.B. The main goal being to ...
- 21
1
vote
0
answers
144
views
Definition of arithmetic subgroups of Lie groups
In Maclachlan-Reid we can read
Let $G$ be a connected semisimple Lie group with trivial centre and no compact factor. Let $\Gamma\subset G$ be a discrete subgroup of finite covolume. Then $\Gamma$ is ...
- 563
5
votes
1
answer
211
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,045
2
votes
1
answer
114
views
Ree groups and Moufang octagons
Consider a Ree group of type $^2\mathrm{F}_4$, defined over the field $k$. Tits showed that every Moufang generalized octagon arises as a natural geometric module on which a Ree group of this type ...
- 4,025
8
votes
1
answer
245
views
Algorithmically handling the Spin groups in larg(ish) dimensions
Question: Is there a reasonably efficient algorithmic representation of $\mathit{Spin}_n$? By this I mean, a way to store its elements and operate on them (multiply, inverse, maybe compute ...
- 28.7k
4
votes
1
answer
218
views
Aschbacher classes for compact simple group
Posted this to MSE several weeks ago and it got 3 upvotes but no answers or even comments so I'm cross-posting to MO
Aschbacher's theorem says that every maximal subgroup of a finite simple classical ...
- 3,429
13
votes
1
answer
369
views
Mathematical explanation of orbital shell sizes: why is it sufficient to consider single-electron wave functions?
Motivation
The question "Is there a good mathematical explanation for why orbital lengths in the periodic table are perfect squares doubled?" asks for an explanation of the sequence 2, 8, 8, ...
- 2,430
2
votes
0
answers
154
views
Element conjugate to a maximal torus
It is well known that any element in a compact connected Lie group is conjugate to an element in a maximal torus. Let G be a Lie group that is not necessarily compact and/or connected. Let $x\in G$ ...
- 29
52
votes
2
answers
4k
views
Is there a good mathematical explanation for why orbital lengths in the periodic table are perfect squares doubled?
$\DeclareMathOperator\SO{SO}\newcommand{\R}{\mathbb{R}}\newcommand{\S}{\mathbb{S}}$The periodic table of elements has row lengths $2, 8, 8, 18, 18, 32, \ldots $, i.e., perfect squares doubled. The ...
- 541
5
votes
0
answers
198
views
Which Lie groups are a central extension of an algebraic group?
Suppose $G$ is a connected real Lie group. The quotient $G/Z(G)$ is the image of the adjoint representation, so a linear group. Is it known for which groups this quotient is Lie isomorphic to an ...
- 151
1
vote
1
answer
337
views
$ S_4 $ subgroups and $ \operatorname{SO}_3(\mathbb{R}) $
$\DeclareMathOperator\SO{SO}$I posted this on MSE 10 days ago and it got 3 upvotes but no answers or comments, so I'm cross-posting to MO.
Background: The group of rotations $ \SO_3(\mathbb{R}) $ has ...
- 3,429
8
votes
1
answer
499
views
Importance of third homology of $\operatorname{SL}_{2}$ over a field
$\DeclareMathOperator\SL{SL}$I am reading some papers about the third homology of linear groups. In particular for the $\SL_{2}$ over a field. Why is it important to study these homologies?
I have ...
- 259
6
votes
1
answer
517
views
Finite simple groups and $ \operatorname{SU}_n $
A follow-up question to Alternating subgroups of $\mathrm{SU}_n $.
$\DeclareMathOperator\PU{PU}\DeclareMathOperator\PSU{PSU}\DeclareMathOperator\PSL{PSL}$Let $ \PU_m $ be the projective unitary group, ...
- 3,429