All Questions
931 questions with no upvoted or accepted answers
9
votes
0
answers
193
views
Littlewood-Richardson sequences and Littlewood-Richardson coefficients
I'm looking for a proof or a reference for the following statement, I give the definitions below:
There exists a Littlewood-Richardson sequence of type $(\alpha, \beta, \lambda)$ if and only if $...
- 291
9
votes
0
answers
186
views
Super-extensions of the Poincaré Lie algebra
For $(\mathfrak{g},[-,-])$ an ordinary Lie algebra let me say that a super-extension of it (maybe not the best terminology) is a super-Lie algebra $(\mathfrak{s}, [-,-]_{\mathfrak{s}})$ whose bosonic ...
- 19.9k
9
votes
0
answers
677
views
Software for explicit computations in representations of classical Lie algebras
I'm pretty sure many a mathematician has longed for such a tool but I wasn't able to find such a question here, so here we go.
Is there, by any chance, an existing package or program that allows one ...
- 3,513
9
votes
0
answers
360
views
Finding $U,V$ in Thompson's Formula
Thompson's formula says, given $A,B \in \mathfrak{su}(n)$, there exists $U,V \in SU(n)$ such that:
$e^{A}e^{B}=e^{UAU^{\dagger} + VBV^{\dagger}}$
Given $a,b \in \mathfrak{su}(4)$ defined by:
$a=J_x ...
- 2,099
9
votes
0
answers
413
views
How to show the compatibility between Duflo isomorphism and Harish-Chandra isomorphism for semi-simple Lie algebras?
I was told that the Duflo isomorphism is compatible with the Harish-Chandra isomorphism when the Lie algebra $\mathfrak{g}$ is semi-simple. However I cannot see why this is true. All I can show is ...
- 663
9
votes
0
answers
560
views
Function fields of characteristic p modular curves, and mod p reductions of the classical modular equation
Let l and p be distinct primes, l>2. There are "characteristic p modular curves" X_0(l) and X(l), defined over an algebraic closure, K, of Z/p, solving moduli problems for elliptic curves with some ...
- 5,422
9
votes
0
answers
1k
views
Ample vector bundles, $H^1=0$ and global generation in characteristic $p$
This is a follow up from Ample vector bundles on curves question, in characteristic $p>0$. First, some background. It is known that in characteristic $0$, a vector bundle $E$ on say a projective ...
- 2,976
8
votes
0
answers
203
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
145
views
Asymptotics of generalized exponents of highest weight modules
Let $\mathfrak{g}$ be a complex semisimple Lie algebra and $H^k$ be the space of homogeneous degree $k$ harmonic polynomials in $\mathrm{Sym}(\mathfrak{g}^*)$ and $H\subset\mathrm{Sym}(\mathfrak{g}^*)...
- 413
8
votes
0
answers
228
views
Chevalley-Solomon formula and Weyl character formula
Let $\Phi\subset V$ be a root system of rank $r$ with Weyl group $W$, a choice of positive roots $\Phi_+$ and exponents $d_1, \ldots, d_r$ (i.e. the invariant algebra $(\operatorname{Sym}^\bullet V)^W$...
- 3,446
8
votes
0
answers
228
views
What can we say about the homogeneous spaces $E_8/E_7$ and $E_7/E_6$?
For the three exceptional compact Lie groups $E_8, E_7, E_6$ we have the inclusions
$$
E_6 \subseteq E_7 \subseteq E_8.
$$
What can we say about the the homogeneous spaces
$$
E_8/E_7, ~~~~ E_7/E_6?
$$
...
- 305
8
votes
0
answers
646
views
Which infinite-dimensional Lie algebras have realizations as algebras of global sections of vector bundles with special structure?
I would not be surprised by downvotes since this question is at the same time very naïve, very vague and might be asking about things well known for decades. Specifically vagueness comes from the word ...
- 18.4k
8
votes
0
answers
201
views
Cohomology algebra of the maximal nilpotent subalgebra of a semisimple Lie algebra
The answer to this question may be well-known, but I failed to locate it in any obvious source. From the results of Bott (Ann. Math. 66 (1957), 203-248) and Kostant (Ann. Math. 74 (1961), 329-387), it ...
- 16.9k
8
votes
0
answers
300
views
Which algebra is $\mathbb{F}_p \otimes_{HH^{\cdot} (\mathbb{F}_p)} \mathbb{F}_p$?
Let $HH^{\cdot}(\mathbb{F}_p)$ be the Hochschild cohomology of $\mathbb{F}_p$ over $\mathbb{Z}$, which as a $E_1$ ring is simply $\mathbb{F}_p[x]$ with $x$ in cohomological degree $2$. Then it's clear ...
- 2,356
8
votes
0
answers
161
views
Alternate proof of easiest special case of PBW theorem
Let $L$ be a Lie algebra over a field $k$ of characteristic $0$ (I'm happy for that field to be $\mathbb{C}$) and let $U(L)$ be its universal enveloping algebra. One of the standard consequences of ...
- 153
8
votes
0
answers
688
views
An Azumaya algebra from a vector bundle, and a construction of Belov-Kanel and Kontsevich
Let $S/k$ be a scheme over a perfect field $k$ of characteristic $p>0$.
In Automorphisms of the Weyl Algebra, Belov-Kanel and Kontsevich write down the map
$$\alpha: H^0(\Omega^1_{S/k}/d\mathcal O) ...
- 2,368
8
votes
0
answers
180
views
Chevalley-Eilenberg cohomology of polynomial vector fields on $\mathbb{A}^2$
I have a question similar to one given here.
What is the cohomology of the Lie algebra of polynomial vector fields on an affine space $\mathbb{A}^2$ over a field of characteristic $0?$ (I'm interested ...
- 1,374
8
votes
0
answers
230
views
Integral Milnor-Moore theorem
Given a field K of char. zero the theorem of Milnor Moore
states that taking the enveloping hopf algebra defines an embedding
$\mathcal{U} $ from Lie algebras over K into hopf algebras over K.
Taking ...
- 1,361
8
votes
0
answers
118
views
Invariant complex structures for simple Lie groups
For which simple Lie groups there exists a left-invariant complex structure?
- 8,597
8
votes
0
answers
382
views
Significance of half sum of non-simple positive roots
In representation theory, there are plenty of places that a $\rho$-shift makes an appearance, where $\rho$ is the half sum of positive roots. See, for instance, this post for some discussions of the ...
- 2,751
8
votes
0
answers
412
views
Which representations of the Lie algebra of a Lie group come from representations of the group itself?
I think this is very classic mathematics, but I can't find a complete answer in the literature.
Let $G$ be a Lie group, $\mathfrak{g}$ the Lie algebra of $\mathfrak{g}$. Suppose $\rho : \mathfrak{g} \...
- 1,586
8
votes
0
answers
145
views
Semisimple Lie groups admitting a free algebra of invariants
Assume we work over an algebraically closed field of characteristic zero.
I know that for a connected semisimple algebraic group there is an upper bound for the number of isomorphism classes of ...
- 189
8
votes
0
answers
172
views
Generalizing a theorem of Kostant to arbitrary parabolics
Let $\mathfrak{g}$ be a simple complex Lie algebra and let $\Delta$ be a system of positive roots relative a choice of Cartan subalgebra and $\mathfrak{b}$ the corresponding Borel subalgebra. Let $B&...
- 3,020
8
votes
0
answers
471
views
Sheaf whose singular support is not Lagrangian
For constructible sheaves $\mathcal F$ on real analytic manifolds $X$, there is a notion of the singular support $SS(\mathcal F)$ which is a radially invariant singular Lagrangian subset of the ...
- 18.7k
8
votes
0
answers
254
views
Induction from the Borel subalgebra to BGG category $\mathcal{O}$
Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra with a choice of Cartan subalgebra $\mathfrak{h}$, Borel $\mathfrak{b}$, and nilpotent radical $\mathfrak{n}$. Let $\mathcal{O}...
- 2,450
8
votes
0
answers
274
views
del Pezzo surfaces and exceptional algebras
It is well-known that $H^2(dP_n, Z)$ for a del Pezzo surface of degree $9-n$ which is $\mathbb{P}^2$ blown up at $n$ generic points, is encoded by the exceptional Lie algebra $E_n$. However, the Mori ...
- 151
8
votes
0
answers
229
views
Root-theoretic formulation of characteristic polynomial
Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra of rank $n$ over $\mathbb{C}$. Let $G$ denote the corresponding simple simply connected algebraic group. By Chevalley's Theorem, $\mathbb{...
- 2,751
8
votes
0
answers
381
views
Degeneration of wildly ramified local monodromy representations - near or far from Deligne?
Suppose we have a surface $S$ mapping to a curve $C$ and a finite cover $Y/S$ that is ramified at a divisor $D$. For each point $x \in C$ we get a ramified cover of the curve $S_x$, and we can study ...
- 149k
8
votes
0
answers
193
views
Finite-codimension subalgebras of generalized Kac-Moody lie algebras
Do generalized Kac-Moody lie algebras of infinite dimension contain subalgebras of finite codimension? If so, is there a classification?
- 68.9k
8
votes
0
answers
580
views
Generators for invariant tensors of lie algebras
EDITED FOR (hopeful) CLARITY:
For a simple Lie algebra $\mathfrak{g}$ (over $\mathbb{C}$) and its adjoint group G, the $G$-invariant polynomials on $\mathfrak{g}$ are linear combinations of products ...
- 301
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
8
votes
0
answers
873
views
Resolution of singularities in positive characteristic
I am currently trying to make some small parts of the minimal model program work for some very explicit varities in positive characteristic. I have such a variety $X_1$ and I know that there is a ...
- 783
7
votes
0
answers
121
views
Cohomology of current algebras in higher dimensions
I am interested in the cohomology of current algebras in $n$ dimensions with coefficients in non-trivial modules. An $n$-dimensional current algebra is a Lie algebra of smooth functions on ${\mathbb R}...
- 1,579
7
votes
0
answers
1k
views
What's the point of geometric representation theory?
Please forgive the provocative title, what I mean is the following:
One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
- 157
7
votes
0
answers
192
views
Constructive theory of Lie algebras
I'm looking for references on constructive Lie algebra theory, e.g. the sort of theory you could develop in Martin-Löf type theory or internal to some topos with a NNO. Obviously excluded middle is ...
- 6,025
7
votes
0
answers
697
views
Is this construction related to the geometric Langlands program perhaps?
Given a complex Lie algebra $\mathfrak{g}$, a choice of Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{g}$ and a dominant integral weight $\lambda$ of $\mathfrak{g}$, there is a natural construction ...
- 5,215
7
votes
0
answers
187
views
Combinatorial bases of simple Lie algebras
The Lie algebra $\mathfrak{so}_3$ has a basis $x_1,x_2,x_3$ with the multiplication table $[x_1,x_2]=x_3$, $[x_2,x_3]=x_1$, $[x_3,x_1]=x_2$. Moreover there is an isomorphism $\mathfrak{so}_3(\mathbb C)...
- 18.4k
7
votes
0
answers
144
views
Learning roadmap for admissible representations of $\widehat{\mathfrak{g}}$ (affine Lie algebras)
Let $\mathfrak{g}$ be a finite dimensional semisimple Lie algebra over $\mathbf{C}$. A priori one might expect the representation theory of the affine Lie algebra $\widehat{\mathfrak{g}}$ (the Lie ...
- 5,711
7
votes
0
answers
297
views
Associativity of the Campbell-Baker-Hausdorff operation on a Banach-Lie algebra
Let $(\mathfrak{g}, [\cdot,\cdot]_\mathfrak{g}, \Vert \cdot \Vert_\mathfrak{g})$ be an infinite-dimensional Banach-Lie algebra, and let us define for any $a,b \in \mathfrak{g}$ the series
$$~ Z^\...
- 171
7
votes
0
answers
221
views
Strange formula for the dimension of a certain space of noncommutative polynomials
Consider a vector space $V_r(n)$ spanned by (noncommutative) monomials in variables $x_1,\ldots,x_r$
$$
x_{1}^{n_1}x_{2}^{n_2}\ldots x_{r}^{n_r}
$$
of total degree $n.$ Inside this space consider a ...
- 4,316
7
votes
0
answers
219
views
On the center of Koszul Lie algebras
The short question is the following: If a positively graded Lie algebra $\mathfrak g$ over a field $F$ is Koszul, is the center of $\mathfrak g$ concentrated in degree $1$?
Let us be more precise. A ...
7
votes
0
answers
125
views
Softwares to determine semi-simple types of Lie algebras generated over $\mathbb{R}$ or $\mathbb{C}$ by a set of matrices
I wish to determine the type of a Lie algebra generated over $\mathbb{R}$ or $\mathbb{C}$ by a set of square matrices with irrational elements. For example,
\begin{align}
n^+ =
\begin{pmatrix}
...
- 593
7
votes
0
answers
171
views
$\mathfrak{sl}_2(\mathbb{Z})$'s properties as a Lie algebra over a ring
I was wondering what was known about $\mathfrak{sl}_2(\mathbb{Z})$ as a Lie algebra; in particular, what is known about its representation theory? I know of some texts which treat Lie algebras ...
- 71
7
votes
0
answers
439
views
Group-like elements of universal enveloping algebra
Suppose $\mathfrak{g}$ is a finite-dimensional Lie algebra over $\mathbb C$. Take $A=U(\mathfrak g[[t]])$, a universal enveloping algebra of $\mathfrak g[[t]]$ over $\mathbb C[[t]]$.
Then we may ...
- 481
7
votes
0
answers
243
views
Demazure modules and dimension of weight spaces
Let $\mathfrak{g}$ be a symmetrizable Kac–Moody algebra, $w \in W$ an element of the Weyl group, and $\lambda$ an integral dominant weight with $V(\lambda)$ the associated irreducible highest weight ...
- 550
7
votes
0
answers
367
views
Why are fundamental weights denoted by omega?
In my field (and many others, I believe) the absolutely standard notation for the fundamental weights of a root system is lowercase omega: $\omega$. Recently I was taken aback to receive a copyedited ...
- 3,513
7
votes
0
answers
142
views
When is an algebra derived indecomposable?
Call a finite dimensional (acyclic) quiver $K$-algebra A derived indecomposable in case $A$ is not derived equivalent to an algebra of the form $B \otimes_K C$.
For example when the number of simples ...
- 26.5k
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 ...
7
votes
0
answers
237
views
$X$ with $H^*(X)=$affine Verma module?
Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbf{C}$, and $\widehat{\mathfrak{g}}_\kappa$ the associated affine Lie algebra. It is the central extension of the loop algebra $...
- 5,711
7
votes
0
answers
765
views
Serre presentations over $\mathbb{Z}$
Given a Cartan matrix $A=(a_{ij})_{i,j\in I}$, a classical result of J.-P. Serre asserts that the complex semisimple Lie algebra $\mathfrak g=\mathfrak g(A)$ corresponding to $A$ admits a presentation ...
- 563