Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 24965

Lie algebras are algebraic structures which were introduced to study the concept of infinitesimal transformations. The term "Lie algebra" (after Sophus Lie) was introduced by Hermann Weyl in the 1930s. In older texts, the name "infinitesimal group" is used. Related mathematical concepts include Lie groups and differentiable manifolds.

0 votes
1 answer
177 views

Can we write $sl(4,\mathbb{C})$ as the vector space sum of two copies of $sl(3,\mathbb{C})$? [closed]

We know $sl(4,\mathbb{C})$ has dimension $15$ and $sl(3,\mathbb{C})$ has dimension $8$. Is it possible to write $sl(4,\mathbb{C})$ as the vector space sum of two Lie subalgebras that are isomorphic to …
Zhaoting Wei's user avatar
  • 9,019
5 votes
2 answers
915 views

Could we define the semi-direct product of two universal enveloping algebras?

If we have two Lie algebras $\mathfrak{g}$ and $\mathfrak{h}$ over a field $k$, and if we have a Lie algebra homomorphism $\mathfrak{g}\rightarrow \text{Der}_k(\mathfrak{h})$, then we can define the s …
Zhaoting Wei's user avatar
  • 9,019
10 votes
3 answers
632 views

Is the tensor product of two infinite dimensional objects in the BGG category $\mathcal{O}$ ...

Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra (according to a comment of Victor Ostrik, we need to further require that $\mathfrak{g}$ is simple) and we can consider its BG …
Zhaoting Wei's user avatar
  • 9,019
4 votes
2 answers
787 views

What are the "tensor-closed" object of the BGG category $\mathcal{O}$ of a semisimple Lie al...

Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra and we can consider its BGG category $\mathcal{O}$. It is well-known that $\mathcal{O}$ is not closed under tensor product, i. …
Zhaoting Wei's user avatar
  • 9,019
4 votes
0 answers
154 views

Is one of the hyperplane partitions of a irreducible root system always generate the whole W...

Let $\Delta$ be a irreducible root system and $\Delta^+$ be its positive roots. We say a subset $\Delta^{\prime}\subset \Delta^+$ can generate the Weyl group if reflections of roots in $\Delta^{\prim …
Zhaoting Wei's user avatar
  • 9,019
1 vote
1 answer
238 views

Can we have a nontrivial division of a irreducible root system as $\Phi=\Phi_{[\lambda]}\cup...

Let $(\mathfrak{g},\mathfrak{h},\Phi)$ be a root system of a complex simple Lie algebra, where $\Phi$ is the set of all roots. For each $\alpha\in \Phi$, let $\alpha^{\vee}=2\alpha/(\alpha,\alpha)$ be …
Zhaoting Wei's user avatar
  • 9,019
1 vote

Can we have a nontrivial division of a irreducible root system as $\Phi=\Phi_{[\lambda]}\cup...

I think the answer is yes because $(\Phi_{[\lambda]})^{\vee}$ and $(\Phi_{[\mu]})^{\vee}$ are closed sub-root systems of the dual root system $\Phi^{\vee}$. Closed means if $\alpha$ and $\beta$ are ro …
Zhaoting Wei's user avatar
  • 9,019
0 votes
1 answer
209 views

When does the Kazhdan-Lusztig polynomial $P_{x,w}(q)$ not vanish at $q=1$?

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{h}$ be a Cartan subalgebra. For any $\lambda\in \mathfrak{h}^{*}$ let $M(\lambda)$ and $L(\lambda)$ be the Verma module and the simple mo …
Zhaoting Wei's user avatar
  • 9,019
4 votes
1 answer
323 views

About the term "tangential derivation" on a free Lie algebra.

Let $\mathcal{lie}_n$ be the free Lie algebra generated by $n$ elements $x_1,\ldots, x_n$. A derivation $u\in \text{Der}(\mathcal{lie}_n)$ is called tangential if there exist $a_i\in \mathcal{lie}_n, …
Zhaoting Wei's user avatar
  • 9,019
6 votes
0 answers
207 views

The meaning of a "subcomplex" of the Cartan-Eilenberg of a Lie algebra

Let $\mathfrak{g}$ be a finite dimensional real Lie algebra, and $\mathfrak{g}^* $ be the dual vector space. We have the standard Cartan-Eilenberg complex $(\wedge^{\cdot} \mathfrak{g}^* ,\text{d}_{C …
Zhaoting Wei's user avatar
  • 9,019
2 votes
2 answers
715 views

Does $G/H$ (quotient of a real semisimple Lie group by a Cartan subgroup) have a natural sym...

Let $G$ be a real semisimple Lie group (say $SL(2,\mathbb{R})$) and $H$ be its Cartan subgroup (say torus or diagonal subgroup of $SL(2,\mathbb{R})$). My questions is: it is always true that we have …
Zhaoting Wei's user avatar
  • 9,019
7 votes
2 answers
417 views

About the map $S(\mathfrak{g}^ * )^G\rightarrow S(\mathfrak{h}^ * )^H$ for $H < G$

Let $G$ be a compact connected semisimple Lie group, $\mathfrak{g}$ be its complexified Lie algebra and $\mathfrak{g}^*$ its complex dual space. We can form the symmetric algebra $S(\mathfrak{g}^ * ) …
Zhaoting Wei's user avatar
  • 9,019
8 votes
3 answers
694 views

What is the categorical significance of the trivial $\mathfrak{g}$-module in the category of...

This question may be trivial for experts. Let $\mathfrak{g}$ be a Lie algebra over a field $k$ and consider the category $\mathfrak{g}$-mod of $\mathfrak{g}$ modules. We can add suitable conditions, …
Zhaoting Wei's user avatar
  • 9,019
2 votes
1 answer
222 views

The orbit $(G\cdot X) \cap \mathfrak{t}$ for $X\in \mathfrak{t}$ singular

This question may be a simple problem for experts. Let $G$ be a connected compact Lie group and $T$ be its maximal torus. Let $\mathfrak{g}$ and $\mathfrak{t}$ be the corresponding Lie algebras. We kn …
Zhaoting Wei's user avatar
  • 9,019
4 votes
1 answer
197 views

Can we have a nontrivial division of a irreducible root system as the union of two closed su...

The question is related to this MO question. Let $(\Phi, E)$ be a irreducible crystallographic root system where $\Phi$ is the set of all roots and $E$ is the $\mathbb{R}$-span of $\Phi$. As in the st …
Zhaoting Wei's user avatar
  • 9,019

15 30 50 per page