All Questions
Tagged with gr.group-theory lie-algebras
126 questions
8
votes
0
answers
200
views
Logarithm of a $p$-group in $\mathrm{GL}_n(p)$
$\def\GL{\operatorname{GL}}\def\ZZ{\mathbb{Z}}\def\FF{\mathbb{F}}\def\Id{\mathrm{Id}}\def\fu{\mathfrak{u}}$Let $p$ be prime, let $n<p$, let $U_n(\FF_p)$ be the group of $n \times n$ upper ...
- 156k
3
votes
1
answer
140
views
Is it true that all abelian p-nilpotent restricted Lie algebras are mirrors of finite abelian p-groups?
Let $k$ be a perfect field of characteristic $p$. A $p$-nilpotent restricted Lie algebra $\mathfrak{g}$ is a Lie algebra with $[p]$-restriction mapping such that $\mathfrak{g}^{[p]^n} = 0$ for some $n ...
- 5,878
15
votes
6
answers
671
views
Why, conceptually, does the torus normalizer in $G_2$ split?
Background: Let $G$ be a complex reductive group, $T$ a maximal torus, $N$ the normalizer of $T$ in $G$, and $W = N/T$ the Weyl group. All in all, we have a group extension
$$ 1 \to T \to N \to W \to ...
- 108k
6
votes
2
answers
501
views
Group of diffeomorphisms and its tangent space i.e. its Lie algebra
So I feel like there are many questions and also many sources on what I am asking, but I still don't understand what I think is a very basic thing in my head:
It is known, that for a Lie group $G$ (...
- 2,388
6
votes
1
answer
464
views
Adjoint orbits of a finite group of type $G_2$
Let $q=p^\alpha$ be a prime power and $k=\mathbb{F}_q$. Let $G\subseteq \mathrm{GL}_N(k)$ be a simple finite group of Lie type, with root system of type $G_2$, and let $\mathfrak{g}\subseteq \mathfrak{...
CommunityBot
- 1
7
votes
1
answer
259
views
A name for the Weyl group of $\frak{so_{2n}}$
For the $A$-series the Weyl group is the symmetric group $S_n$. For the $B$ and $C$ series the Weyl group is the hyperoctahedral group $\mathbb Z_2 \wr S_n$.
A) Does the $D$-series Weyl group $S_n \...
- 10.7k
0
votes
0
answers
42
views
Which finite group schemes over positive characteristic have projectivity detected by a set of (generalized) cyclic subgroups?
A finite algebra $B$ over a field $K$ has projectivity detected by a set $S = \{f_i : A \to B \mid i \in I\}$ of maps into $B$ from a fixed algebra $A$ if for any finite module $M$, $M$ is projective ...
- 542
4
votes
1
answer
171
views
Which Lie groups admit finite generation by a set of Lie algebra elements? And what are some known choices of generators which realize this?
Consider a (finite-dimensional) real connected Lie group $G$ with Lie algebra $\frak{g}$. Take a generating set $\mathcal{G} = \{ X_1, \cdots X_n \} $ of $\frak{g}$, i.e. such that any element of $\...
- 63.9k
20
votes
1
answer
3k
views
Motivation for Hall-Witt identity
I've wondered for a while about the (Hall-)Witt identity in group theory:
$[[a,b^{-1}],c]^b \cdot [[b,c^{-1}],a]^c \cdot [[c,a^{-1}]],b]^a = 1$.
(Here, $x^y$ means $y^{-1}xy$ and $[x,y]$ means $...
- 12.9k
7
votes
1
answer
2k
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, ...
CommunityBot
- 1
0
votes
1
answer
136
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})$. ...
- 26.3k
3
votes
0
answers
85
views
Why do most eigenspaces of a Lie algebra automorphism have finitely many orbits?
I'm interested in understanding the following lemma, which Vogan states (Lemma 4.8) in his paper on the Local Langlands Conjectures (omitting the "well-known" proof).
Suppose $G$ is a ...
- 815
2
votes
0
answers
184
views
The canonical automorphism of the symmetric group
Let $S_n$ be the symmetric group of order $n$. Denoting simple transpositions by $\sigma_i$ the collection $\sigma_1, \dots, \sigma_{n-1}$ generates $S_n$ subject to the following relations:
$$
\sigma ...
- 1,144
3
votes
0
answers
164
views
Semi-direct products and associated graded Lie algebras
Let $G$ and $H$ be groups and $G\ltimes H$ their semi-direct product given by $f\colon G\to \operatorname{Aut}(H)$ satisfying $f(g)=\operatorname{id}_H$ in $H/[H,H]\,$ for all $g\in G$. In this ...
5
votes
1
answer
319
views
Malcev completion of free groups
Let $K$ be a field with $\operatorname{char} K=0$, $\hat{L}_n$ the complete free Lie algebra of $n$ variables $x_1,\dotsc,x_n$ and $\exp(\hat{L}_n)$ its associated group with the product given by BCH ...
2
votes
3
answers
318
views
Realization of irreducible $\mathfrak{S}_d$-modules and the representation theory of Lie algebra
Let $n$ be a positive integer. It is well-known that a method to realize irreducible $\mathfrak{S}_d$-modules is to construct the so-called Specht modules $S^{\mu}$ which are submodules in the so-...
- 44.7k
4
votes
2
answers
1k
views
Sum of all root lengths in simple Lie algebra
Part of one of my calculations involves (the innocent looking) expression
$\sum_{\alpha\in\Sigma} (\alpha,\alpha)$
for simple Lie algebras.
I have two methods of calculating it -- which don't agree. ...
- 12.9k
9
votes
1
answer
230
views
Yang-Mills algebra and lower central series of surface groups
Here is a connection that I recently noticed, but I haven't quite been able to make sense of. It might follow from well-known facts; apologies, if so. This is quite far from my area.
First, in "...
- 8,425
2
votes
0
answers
90
views
Suzuki-Ree Lie algebras
Do the Suzuki and Ree groups of Lie type have associated Lie algebras over finite fields in the same way that the other groups of Lie type do? These algebras would be 5-dimensional over $\mathbb{F}_{2^...
- 2,773
2
votes
1
answer
248
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 ...
- 118k
10
votes
2
answers
2k
views
Chevalley Groups over an arbitrary ring.
My question is simply about the Chevalley groups over rings. In many books, including Carter's book on "Simple groups of Lie types", the groups are considered over fields. I have checked the ...
- 35.5k
2
votes
0
answers
199
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$ ...
- 59
5
votes
1
answer
273
views
'Lie correspondence' for formal power series in non-commuting indeterminates
This is related to an earlier question of mine. I would like an argument or a reference (or a missing hypothesis if needed) for the following.
Let $\mathbb{F}\langle\langle \alpha\rangle\rangle$ and ...
- 2,388
0
votes
1
answer
130
views
Number of reduced decompositions of the dihedral group $D_6$ [closed]
The Weyl group of $\frak{g}_2$ is the dihedral $D_6$. Let us denote its longest element by $w_0$. How many reduced decompositions does $w_0$ have?
- 24.2k
4
votes
0
answers
213
views
The Weyl group of Kac-Moody algebra and Coxeter group
Let $\mathfrak{g}$ be a Kac-Moody algebra, $W$ be its Weyl group, generate by fundmental reflections {$r_1,...,r_n$}. For $i,j$, we have relation $(r_ir_j)^{m_{ij}}=1$, $1\le i,j\le n$. Let $W^{'}$ be ...
- 63.9k
2
votes
1
answer
191
views
Normalizer of SU$(2)$ in SU$(6)$
Consider the $\mathfrak{su}(2)$ subalgebra of $\mathfrak{su}(6)$ embedded as
$$\mathfrak{su(2)}=\text{Span}\{\mathbb{1}_3 \times \sigma^i\}, \quad i=1,2,3$$
with $\sigma^i$ the Pauli matrices and $\...
- 11.2k
9
votes
1
answer
373
views
Is the Magnus Lie algebra of a finitely presented group finitely presented
Let $G$ be a finitely presented group and let $L(G)$ be the Magnus Lie algebra associated to the lower central series of $G$. This $L(G)$ is a graded Lie ring generated by its degree 1 piece $L_1(G) =...
- 63.9k
6
votes
2
answers
400
views
Relations between $3j$-symbols and intertwiners
I am trying to understand the relation between Wigner's $3j$-symbols (or Clebsch-Gordan coefficients) and matrix coefficients of intertwiners. I am new to this topic and need some help to understand ...
- 63.9k
5
votes
0
answers
171
views
Finite simple groups of automorphisms of finite simple Lie algebras
I begin by briefly recalling some basic facts in order to pose my question in context.
According to the classification, the finite simple groups are cyclic of prime order, are alternating on $n \geq 5$...
- 63.9k
2
votes
1
answer
216
views
When does a finite irreducible Coxeter Group act on the cosets of a parabolic subgroup faithfully?
Let $(W,S)$ be a finite and irreducible Coxeter Group. For $J \subseteq S$, let $W_J = \langle s | s \in J \rangle$, a parabolic subgroup. For which $J$ is the action (group multiplication on the left)...
- 3,740
3
votes
0
answers
117
views
What total orders have people studied on Coxeter Groups?
I'm aware of the ShortLex total order that gives rise to the usual normal form. But are there any others that have naturally arose and people have studied?
- 193
2
votes
0
answers
408
views
What is a "Lefschetz SL2"?
In the paper "On Minuscule Representations and the Principal SL2" by B.H. Gross (link: here) and some others the terminology "Lefschetz $\operatorname{SL}_2$" is used. I think I am ...
- 2,821
5
votes
1
answer
247
views
Local vs global nilpotence class (Lazard correspondence)
The Lazard Correspondence is often phrased (for simplicity) for $p$-groups of nilpotence class $c < p$, but it works more generally whenever every 3-generated subgroup has nilpotence class $< p$,...
- 3,738
12
votes
2
answers
494
views
A specific coset decomposition of $\mathrm{GL}_n(\mathbb{C})$
Disclaimer: I am a theoretical chemist (not a mathematician). I have tried asking this question at Math SE with no luck (https://math.stackexchange.com/questions/4080696/a-specific-coset-decomposition-...
- 121
7
votes
1
answer
210
views
Universal enveloping algebra of Malcev Lie algebra associated to nilpotent group
Let $G$ be a finitely generated torsion-free nilpotent group. The Malcev completion of $G$ is a nilpotent Lie group $N$ into which $G$ embeds as a lattice. One way to construct this is to take the ...
- 2,358
2
votes
0
answers
81
views
The centralizer and normalizer of products of (SU(n) $\times$ SU(p) $\times$ …) in U(m)
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\Spin{Spin}
$Consider the special unitary group $\SU(n)$ and the unitary group $\U(m)$.
Below I specify a specfic way to embed $...
- 12.9k
12
votes
1
answer
2k
views
Relationship between the Witt algebra and vector fields on the circle
I have seen some (apparently contradictory) claims by mathematicians and physicists regarding the existence of an (infinite dimensional) Lie group whose Lie algebra is the Virasoro algebra.
The ...
CommunityBot
- 1
7
votes
1
answer
571
views
Does Aut(G) → Out(G) always split for a compact, connected Lie group G?
The outer automorphism group of a topological group $G$ is constructed by the short exact sequence
$$
1\longrightarrow \operatorname{Inn}(G) \longrightarrow \operatorname{Aut}(G) \longrightarrow \...
- 12.9k
2
votes
1
answer
250
views
Embedding of the adjoint group into $\mathrm{GL}(\mathfrak{g})$
Given a connected Lie group $G$ with corresponding Lie algebra $\mathfrak{g}$, the adjoint representation/action $\mathrm{Ad} : G \to \mathrm{GL}(\mathfrak{g})$ induces a Lie group homomorphism. It's ...
- 3,065
2
votes
1
answer
572
views
Free affine actions of Borel subgroups
Call an upper triangular $m\times m$ matrix $A$ admissible if the lowest non-zero entry of $A-I$ lies in the last column, and is strictly lower than any other non-zero entry of $A-I$. I'll also regard ...
- 1,089
5
votes
0
answers
123
views
Conjugacy classes of plane k-jet group
Define $G(n, k)$ as a subgroup of $\rm{Aut}(\Bbb C[[x_1, \dots, x_n]]/\mathfrak m^{k+1})$ with identity linear part (so, group of $k$-jets of selfmaps of $\Bbb C^n$). I'm interested in the map from $G(...
- 63.9k
2
votes
0
answers
290
views
Automorphisms group of complex and real simple Lie algebras
$\DeclareMathOperator{\Inn}{\operatorname{Inn}}\DeclareMathOperator{\Aut}{\operatorname{Aut}}\DeclareMathOperator{\Out}{\operatorname{Out}}\DeclareMathOperator{\g}{\mathfrak{g}}$According to Wikipedia,...
- 63.9k
3
votes
2
answers
418
views
Homomorphism from noncompact semisimple Lie group to compact Lie group
Is it true that there is no homomorphism from a semisimple Lie group without compact factor to a compact Lie group?
- 4,729
30
votes
0
answers
999
views
Follow-up to Steinberg's problem (12) in his 1966 ICM talk?
Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (...
- 34.3k
11
votes
2
answers
934
views
Non-isomorphic complex Lie groups with the same exceptional Lie algebra for $\mathfrak{g_2,f_4,e_6,e_7,e_8}$?
An exceptional complex Lie algebra is a simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five such Lie algebras: $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}...
- 14.2k
3
votes
0
answers
98
views
Semisimple subgroup of Euclidean group
Let $G$ be a closed and connected semisimple subgroup of the Euclidean group $E(n)$ (the group of isometries of $\mathbb R^n$).
Can we prove that $G$ is conjugate to a subgroup of $O(n)$?
- 26.3k
7
votes
2
answers
669
views
Élie Cartan's paper "Les groupes réels simples, finis et continus" of 1914
Question 1.
Does Élie Cartan's paper
Les groupes réels simples, finis et continus,
Ann. Sci. École Norm. Sup. (3) 31 (1914), 263–355
contain a classification of $\Bbb C$-linear involutions of simple ...
- 31.5k
2
votes
1
answer
270
views
Explicit Normalizer of SU(3) Cartan subalgebra
The normalizer $N(\mathfrak{h})$ of the Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{su}(3)$ is defined as
$$N=\left\{ x \in SU(3)\;|\; x^\dagger\mathfrak{h}x \in \mathfrak{h}\right\}$$
I would like ...
- 12.9k
1
vote
1
answer
133
views
Irreducible non-Abelian subgroup of $\mathrm{U}_n(\mathbb{C})$, containing diagonal matrices
Consider an irreducible non-Abelian subgroup $\mathrm{H}$ of group of unitary matrices $\mathrm{U}_n(\mathbb{C})$, that contains the subgroup of diagonal matrices. Does there exist any result ...
- 63.9k
7
votes
0
answers
179
views
Regarding $F_4$ and $G_2$ Lie algebras, do there exist $F_n$ or $G_n$ families of Lie algebras?
For example, $E_6$ exceptional Lie algebra is part of the $E_n$ series of Lie algebras (Kac-Moody algebras). Are $F_4$ or $G_2$ maybe also parts of some $F_n$ or $G_n$ series of Lie algebras or are ...
- 63.9k