All Questions
Tagged with gr.group-theory lie-algebras
31 questions with no upvoted or accepted answers
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" (...
- 52.9k
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
8
votes
0
answers
1k
views
Computational complexity of multiplication in a nilpotent group?
What is the computational complexity of multiplication in a Carnot group ?
Background: A Carnot group is a real nilpotent Lie group $N$ whose Lie algebra $Lie(N)$ admits a direct sum decomposition
...
- 785
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 ...
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$...
- 177
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(...
- 4,600
5
votes
0
answers
148
views
Are there torsion-free restricted simple Lie algebras?
It is known that a torsion-free group can be simple (see e.g. Rataggi's paper https://www.degruyter.com/abstract/j/jgth.2007.10.issue-3/jgt.2007.028/jgt.2007.028.xml). I would like to know if the ...
- 99
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 ...
- 653
4
votes
0
answers
144
views
When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?
Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...
- 373
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
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 ...
- 985
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
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)$?
- 2,535
3
votes
0
answers
122
views
It there a nice way to describe the structure of Malcev-complete groups?
Let $\mathbb k$ be a field of characteristic zero. The grouplike functor $\mathbb G$ from complete Hopf algebras to groups is a faithful functor. Its image is the category of Malcev-complete groups ...
- 273
3
votes
0
answers
255
views
Roots of exceptional complex reflection groups
I am looking to do a case-by-case check of a conjecture I have about Shephard groups, which are a subclass of complex reflection groups. These were classified by Shephard and Todd and there is one ...
- 273
3
votes
0
answers
141
views
Examples of divisible Lie algebras
We say that a nonzero Lie algebra $L$ is divisible, if for all elements $a$ and $b$ with $a\neq 0$, there exists $x\in L$ such that $[a, x]=b$. What are examples of divisible Lie algebras?
- 2,233
3
votes
0
answers
359
views
Does Branching in the Weight Diagram affect an embedding?
All groups here are compact semisimple Lie groups. Out of laziness I will use $B_7$ to mean $Spin(15)$.
Suppose that one has a group $H$ and a subgroup $G$. The embedding determines the decomposition ...
- 5,191
3
votes
0
answers
423
views
Cohomologies associated to residually torsion-free nilpotent groups
This question is related to my previous question: Relationship between the cohomology of a group and the cohomology of its associated Lie algebra.
A group $G$ is ${\it residually \ torsion \ free \ ...
- 373
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
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
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
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
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 $...
- 10.5k
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,...
- 2,147
2
votes
0
answers
866
views
dual Coxeter number, affine algebra, invariants under twisting
Sometime ago we came across invariant quantities under twisting of all affine algebra. (See the appendix E of http://arxiv.org/abs/hep-th/0403076 .) Choose the convention so that the longest root has ...
- 191
1
vote
0
answers
107
views
Weyl Group action on the complement of the Tits Cone in a Kac-Moody algebra
Given a Kac-Moody algebra $\mathfrak h$ and its Weyl group $W$, the action of $W$ on the Tits cone $X$ is well understood. Decompose $\mathfrak h$ into $X\cup -X\cup L$. Then the action of $W$ on $-...
- 31
1
vote
0
answers
65
views
Is there a decomposition exists for $e^{c(K_++K_-)^2}$
In the usual $SU(1,1)$ group:
$$[K_+,K_-]=-2K_z,\quad [K_z,K_\pm]=\pm K_\pm.$$
Is there a decomposition exist for $e^{c(K_++K_-)^2}$?
Of course there won't exist a decomposition to $e^{K_+},e^{K_-},...
user120129
1
vote
0
answers
201
views
Laplacian on two Lie groups have the same Lie algebra
I know that if $G$ is a Lie group and $\mathfrak g = span\{X_i, 1\leq i \leq n\}$ be its Lie algebra, where $\{X_i\}$ are the vector fields of $G$. Then, the Casimir-Laplacian of $G$ is given by
$$\...
- 650
1
vote
0
answers
189
views
Poincaré inequality for connected Lie groups
Let $G$ be a compactly generated second countable locally compact group, and let $\mu$ be a probability measure which is:
symmetric,
adapted (in the sense that there is no proper subgroup $H$ such ...
- 527
1
vote
0
answers
252
views
Generalizing groups via the Hall-Witt identity
In studying the integrability problem for Lie algebra representations, I have been led to wonder whether generalizing the notion of group by dropping associativity, while keeping the Hall-Witt ...
- 393
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