All Questions
931 questions with no upvoted or accepted answers
0
votes
0
answers
79
views
What is meant by "roots in $Lie(N)$" in root space decomposition of Lie algebras?
Let $G = GL_n$ and $T$ the invertible diagonal matrices and $N$ the upper triangular matrices with only $1$'s on the diagonal. Then the Lie algebra $\mathcal{G}$ has the roots space decomposition
$$
\...
- 3,625
0
votes
0
answers
90
views
The idealizer of the space of vector fields with vanishing divergence
The space of smooth vector fields on a manifold is counted as a Lie algebra with the usual Lie bracket structure.
Is there a Riemannian manifold of dimension at least $2$ which satisfies either of ...
- 366
0
votes
0
answers
74
views
Evaluating q-analogy. Kostant partition function in a Lie algebra
It is a question to me that why we evaluate Kostant or q-analogue Kostant partition function for the highest root of a Lie algebra and if we have these calculations, can we derive these partition ...
- 123
0
votes
0
answers
51
views
About weight of $M\in\mathcal{O}_{\chi_\lambda}$ in the Category $\mathcal{O}$
Given $M\in\mathcal{O}_{\chi_\lambda}$, how does the weights of $M$ relate to $\lambda$? Is it something about $W\cdot\lambda$?
- 1,875
0
votes
0
answers
67
views
Classifications of the indefinite generalized Cartan matrix
I want to know that the present results about classifications of generalized indefinite Cartan matrices.
I only have known that the classifications of hyperbolic matrces.
0
votes
0
answers
101
views
Spherical Rings
My question is concerned with filtered rings. It is a classical result that if $R$ is a finitely generated commutative ring graded by a semigroup $S$ then $S$ is also finitely generated.
The reverse ...
- 501
0
votes
0
answers
346
views
on the Springer sheaf
Let $\pi:\tilde{\mathfrak{g}}\rightarrow \mathfrak{g}$, be the Grothendieck-Springer resolution, where $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$.
We know that $\pi$ is small thus $\...
- 3,472
0
votes
0
answers
111
views
Sandwich rule for Lie algebras
On an infinite dimensional vector space an operator can be onto but not one-to-one (and vice versa). This arises the following question. Let $L_1$ and $L_2$ be Lie algebras (infinite dimensional, over ...
- 1,959
0
votes
0
answers
71
views
Curves in $\mathfrak{su}(n)$ with specific property
Consider a curve $\gamma_s= U_s^{\dagger} b U_s$ in $\mathfrak{su}(n)$ where $U_s$ is a smooth curve on $SU(n)$ (starting at $U_0 = \mathbb{I}$) and nonzero $b\in \mathfrak{su}(n)$ and $s \in[0,T]$ ...
- 2,099
0
votes
0
answers
53
views
Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action
I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
- 2,099
0
votes
0
answers
148
views
Reference request: the formula $\langle x, [f, g] \rangle = \langle \delta(x), f \otimes g \rangle$
Let $\mathfrak{g}$ be a Lie algebra and $\mathfrak{g}^*$ the dual vector space of $\mathfrak{g}$ which is also a Lie algebra with natural brackets. Let $\delta: U(\mathfrak{g}) \to U(\mathfrak{g}) \...
- 6,211
0
votes
0
answers
152
views
A solvable Lie algebra
Consider the Lie algebra $\mathfrak{g}$ span by $x_1,\ldots,x_n,y_1,\ldots,y_n$ with the commutator
$\left[y_i,x_i\right]=y_i, \left[x_i,x_{i+1}\right]=y_i, \left[y_i,x_{i+1}\right]=-y_i,\quad 1\leq ...
- 9
0
votes
0
answers
241
views
Reference about a formula of coroot in an affine root system
Let $\delta$ be the null of an affine root system and let $\alpha + p\delta$ be a real affine root, $p$ is an integer. It is said that
$$
(\alpha + p\delta)^{\vee} = \alpha^{\vee} + \frac{2p}{(\alpha,...
- 6,211
0
votes
0
answers
216
views
Cayley graphs for finitely presented Lie algebras
I have seen that an important tool of finitely presented groups consists in writing down its Cayley graph with respect to a given set of generators, and then try to extract data like the coarse ...
0
votes
0
answers
82
views
Format of grading Witt Lie Algebra
Let $W(n,m)$ be generalized Jacobson-Witt algebra over a field of characteristic $p>3$. According to the grading of $W(n,m)$, we know that it inherits the grading from $A(n,m)$ as follows: $$W(n,m)...
- 367
0
votes
0
answers
177
views
Connection between Lie algebras and fusion rings
Example: Take the irreps of $SU(2)$: $0,1/2,1,...$ (Spin notation.) The quantum dimensions are $1,q+1/q,q^2+q+1+1/q+1/q^2,...$. At $q=(-1)^{1/5}$ this evaluates to $1,\phi,0,...$ and you get the ...
- 4,829
0
votes
0
answers
163
views
Generalized weight space
In their paper Lepowsky and Mcmollum sketch theory of weights in a more general setting. Here is their definition of a weight space:
If $A$ is a subset of $\mathfrak g$ and $\lambda$ is a function ...
- 1
0
votes
0
answers
257
views
Basis for Witt algebra in general format
The Witt algebra $W(n,m)$ is defined as the set of element ${∑f_jD_j such that f_j∈A(n,m)}$ with usual Lie bracket. I am a bit confused about basis for $W(n,m)$? What is the meaning of $"f_jD_j"$ ? I ...
- 367
0
votes
0
answers
266
views
PBW proof proposal
One version of the PBW theorem states:
$\omega $:$\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras.
I am curious if this is a possible proof for the PBW theorem, part is taken ...
- 179
0
votes
0
answers
129
views
A special Lie subalgebra
Motivated by comments of the following post A question on involutions on the Lie algebra of vector fields we ask the following question:
Let $L$ be a Lie algebra. We consider the Lie subalgebra $$...
- 366
0
votes
0
answers
150
views
Explicit calculation of module of derivations on noncommutative polynomial ring
Let $R$ be a commutative unital associative ring and set $R<x,y>$ to be the $R$-algebra of non-commuting polynomials in two variables over $R$.
Explicitly how would one go about computing ...
- 5,405
0
votes
0
answers
143
views
A question on lie groups( Lie algebras)
What is an example of a compact Lie group $G$ which is not isomorphic to a product of two nontrivial lie groups and satisfies the following property:
There are two non zero vector fields $X, Y \in ...
- 366
0
votes
0
answers
167
views
Are Generalized Verma modules natural w.r.t isometries?
Let $H$ be a subgroup of $G$ with Lie algebras $\mathfrak{h}$ and $\mathfrak{g}$ respectively. If I have 2 representations $V, W$ of $\mathfrak{h}$ equipped with a $\mathfrak{h}$ invariant inner ...
- 257
0
votes
0
answers
153
views
Nontrivial copies of SO(r) in SO(n)
If $G=SO(n)=SO(\mathbb R^n)$ and $r\leq n$, it is easy to find a closed subgroup $H\leq G$ that is isomorphic to $SO(r)$, just let $S\subseteq\mathbb R^n$ be an $r$-dimensional subspace and let $H=\{g\...
- 1,987
0
votes
0
answers
105
views
approximation in Lie algebras
Let $x_{1}$, $x_{2}$, $x_{3}$ three disctinct closed points of a curve $X$ over an algebraically closed field k.
Let G a connected reductive group and $\mathfrak{g}$ his Lie algebra.
I fix a Borel $...
- 3,472
0
votes
0
answers
440
views
Foliations in positive characteristic
Ekedahl wrote about foliations in positive characteristic, over the field $\mathbb{Z}/p\mathbb{Z}$ as a subsheaf of the tangent sheaf, that are closed with respect to involution and $p$-power.
My ...
- 1
0
votes
0
answers
155
views
complex reductive Lie groups which are not defined over the real numbers
Hello
Someone knows something about the complex reductive Lie groups (the complexification of a compact Lie group) which are not defined over the real numbers. I would like to know, if is it possible,...
- 1
0
votes
0
answers
349
views
cokernel for $L_\infty$-algebra morphisms
As I have asked a wrong question previously, I edited a bit.
It is obvious that the cokernel construction does not work well for the category of Lie algebras. The cokernel exists only for a normal ...
- 1,271
0
votes
0
answers
352
views
Liftability in positive characteristic
What clsses of algebraic varieties over field of positive characteristic can be lift to $W_2(k)$?
- 85
0
votes
0
answers
524
views
DeRham cohomology
The Poincare lemma fails in positive characteristic, since pth powers vanish under differention. My question is : is there still some kind of resolution of the local system k by considering some ...
- 1
0
votes
0
answers
289
views
Good and/or standard notation for the abelianization of a Lie algebra
I'd like to solicit good notations for the abelianization of a Lie algebra $\mathfrak g$. One could write $\mathfrak g/[\mathfrak g,\mathfrak g]$, or even $H_1(\mathfrak g)$ but I'd like something ...
- 4,898