All Questions
9 questions
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, ...
- 97
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) =...
- 93
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
3
votes
1
answer
137
views
Subalgebras with finite codimension
In group theory it is well-known that every subgroup of finite index contains a normal subgroup of finite index. It is not true in general that for Lie algebras every subalgebra of finite codimenslon ...
- 379
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 ...
- 1,329
13
votes
2
answers
515
views
Free groups and free restricted Lie algebras
If $G$ is any group and $\gamma_k(G)$ denotes the $k$th term in the lower central series of $G$, then the commutator bracket on $G$ endows
$$\mathcal{L}(G) = \bigoplus_{k=1}^{\infty} \gamma_k(G) / \...
- 44.8k
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-...
- 159
7
votes
3
answers
617
views
Why/when classification of simple objects is "simple" ? E.g. (unknown) classification of simple Lie algebras in char =2,3...
Classification of simple finite-dim Lie algebras for char >=5 has been accomplished not so long time ago, and char p=2,3 is open problem.
I wonder what is known/expected for char p=2,3 ?
More vague ...
- 24.9k
13
votes
4
answers
3k
views
What is a "block" in an abelian category?
In the literature and in some posts here, there has been variation in the undefined use of the term "block" for a category of modules over a ring, or more abstractly an abelian category (all of which ...
- 52.9k