All Questions
2,633 questions
3
votes
1
answer
494
views
Calculating fusion rules for $\operatorname{Rep}(G)$ and $G_{k}$ [reference request]
Could somebody please direct me to textbooks / literature that (perhaps lay the foundations for and) detail the method for determining the fusion rules for categories such as
$\operatorname{Rep}(G)$ ...
- 309
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
3
votes
0
answers
203
views
A quantity computed from weights of representations -- Have you seen it?
The following quantity has come up in some work my collaborators and I are doing on equivariant D-modules, and in that particular context it seems to be very significant (i.e. it's the only "...
- 3,079
11
votes
2
answers
938
views
Non-isomorphic complex Lie groups with the same exceptional Lie algebra for $\mathfrak{g_2,f_4,e_6,e_7,e_8}$?
An exceptional complex Lie algebra is a simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five such Lie algebras: $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}...
- 2,147
2
votes
0
answers
146
views
How to compute the character of the Steinberg module for the group $\mathrm{SL}_n$ over a field of characteristic $p$?
It is known that the Steinberg representation $V$ of the group $\mathrm{SL}_n$ over a field $k$ of characteristic $p$ (maybe one needs to assume that $k$ is perfect, I am not sure) is the irreducible ...
1
vote
2
answers
238
views
Dimensions of $\frak{sl}_n$-representations
The dimension of any irreducible $\frak{sl}_n$-representation $V$ is clearly equal to the dimension of its dual representation $V^*$. Does the dimension of an irreducible $\frak{sl}_n$-representation ...
- 1,144
6
votes
2
answers
448
views
Homogeneous symplectic manifolds
I have often heard/read a statement (see, e.g., this MathOverflow question) equivalent to the following:
Let $G$ be a connected Lie group and $(M,\omega)$ a connected and simply-connected symplectic ...
- 33.3k
0
votes
0
answers
70
views
Why is $\Pi_r^L$ a non-degenerate Poisson structure on $G\ $?
Let $r \in \bigwedge^2 \mathfrak {g}$ be a skew-symmetric solution of the CYBE (classical Yang-Baxter equation) so that it gives rise to a non-degenrate triangular structure on $\mathfrak {g}$ i.e. $r$...
- 199
8
votes
2
answers
637
views
Bilinear forms in compact/semisimple Lie group theory
If you look up the list of compact or semisimple Lie groups, you will see that three out of four infinite families (B, C and D) are defined in terms of a bilinear form on a vector space, either ...
- 481
2
votes
0
answers
89
views
Is there a character formula over Cartan triples?
Let $G$ be a compact semisimple Lie group, with $\mathfrak{g}$ its (real) Lie algebra. We also fix a choice of maximal torus $T$ in $G$, with corresponding Lie algebra $\mathfrak{t}$, itself a Lie ...
- 5,215
4
votes
1
answer
206
views
Can we have a nontrivial division of a irreducible root system as the union of two closed sub-root systems?
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 ...
- 9,019
4
votes
0
answers
284
views
modularity of elliptic curves over function fields in positive characteristic
Let $F$ be a global function field over a finite field, and $E$ be an elliptic curve over $F$. Much like the number field case, it is natural to study the Galois representation on the Tate module of $...
- 685
3
votes
1
answer
222
views
Cartan subspace of graded Lie algebras
Suppose $\mathfrak{g}$ is a complex reductive Lie algebra and $\theta$ is an automorphism of order $2$. Let $\mathfrak{g} = \mathfrak{g_0} \oplus \mathfrak{g}_1$ be the corresponding $\mathbb Z_2$-...
- 673
15
votes
2
answers
2k
views
Biggest Field Of Characteristic $p$
The Surreal nummbers, $\boldsymbol{No}$, are according to Wikipidia the biggest ordered field, and the Surrcomplex numbers are the biggest field of characteristic 0. Biggest in the sense that every ...
- 943
42
votes
9
answers
6k
views
Is every finite-dimensional Lie algebra the Lie algebra of an algebraic group?
Harold Williams, Pablo Solis, and I were chatting and the following question came up.
In Lie group land (where you're doing differential geometry), given a finite-dimensional Lie algebra g, you can ...
- 24.1k
6
votes
1
answer
256
views
A weight generalization of root systems?
For any simple complex Lie algebra $\frak{g}$, with a given choice of Cartan subalgebra $\frak{h}$, we have an associated root system $R \subseteq \frak{h}^*$. The properties of $R$ can be formalized ...
- 123
4
votes
0
answers
64
views
An analog of a BGG resolution in subregular case in positive characteristic
Consider representations of $\mathfrak{sl}_n$ in positive characteristic with a subregular nilpotent central character $\chi$. For every regular weight $\lambda$ of $\mathfrak{sl}_n$, we have the ...
7
votes
1
answer
400
views
Does perfect fraction field imply perfect residue field?
Let $A$ be a local integral domain of characteristic $p$. Let $K$ be the fraction field and let $k$ be the residue field of $A$. If $K$ is perfect, is $k$ necessarily perfect?
Thoughts:
If $A$ is ...
- 428
1
vote
0
answers
71
views
Coxeter-Dynkin diagrams resulting in Lie-ing algebras
We know that certain structures in a Coxeter-Dynkin diagram will guarantee that it never encodes a (semi)simple Lie algebra, for example a quadruple node or the diagram $E_n,n>8$, which is "...
- 4,829
4
votes
0
answers
204
views
Explicit description of wonderful compactification for PGL_3
Let $k$ be an algebraically closed field of positive characteristics. Let $X$ be the wonderful compactification of $PGL_3$ (see for example section 6 of "Frobenius Splitting Methods in Geometry ...
- 163
4
votes
0
answers
296
views
de Rham Witt complex vs. de Rham complex of the Witt ring
I am reading the paper "Revisiting the de Rham-Witt complex" by Bhatt-Lurie-Mathew and I am a bit confused about the difference between $W\Omega_R^*$ and $\hat{\Omega}^*_{W(R)}$.
Let $\...
- 218
106
votes
3
answers
10k
views
Has the Lie group E8 really been detected experimentally?
A few months ago there were several math talks about how the Lie group E8 had been detected in some physics experiment. I recently looked up the original paper where this was announced,
"Quantum ...
- 20.7k
4
votes
0
answers
77
views
Conjugacy of cocharacters from conjugacy of labelled diagrams
Everything to follow is over some fixed algebraically closed field $k$. Although all the definitions make sense regardless of characteristic, the meat of the question is about small positive ...
- 13k
2
votes
0
answers
387
views
The Weyl dimension formula for fundamental weights
The Weyl dimension formula is an equation to calculate the dimension of a simple $\frak{g}$-module $V_{\lambda}$, of highest weight $\lambda$, for $\frak{g}$ a complex semisimple Lie algebra. ...
- 969
0
votes
0
answers
52
views
Left translations respect the Schouten bracket
Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and $r \in \bigwedge^2 \mathfrak{g}$. For $x \in G$ let $\lambda_x$ denote the left multiplication by $x$. Let $[\cdot, \cdot]$ ...
- 199
2
votes
0
answers
109
views
Integrable modules of the affine Lie algebra $\mathfrak{su}(2)_k$
I am a physicist studying conformal field theory (CFT), so what I state can be not precise.
In physics literature, the affine Lie algebra $\mathfrak{su}(2)_k$ (here $k$ is the level) has only finitely ...
- 121
9
votes
2
answers
910
views
Example of a smooth projective family of varieties in characteristic $p$ where the Hodge numbers jump
Let $\mathbb F$ be an algebraic closure of the field of order $p$. Let $S=\textrm{Spec}(\mathbb F[[z]])$ with special point $s$ and generic point $\eta$. I'm looking for an example of a smooth ...
- 790
2
votes
1
answer
293
views
Primitive elements in the universal enveloping algebra of Lie superalgebra
Let $\mathfrak{g}$ be a Lie superalgebra over $\mathbb{C}$. Denote by $U(\mathfrak{g})$ the universal enveloping algebra of $\mathfrak{g}$. We know that there is a natural super Hopf algebra structure ...
9
votes
2
answers
510
views
Lusztig's $q$-analog of weight multiplicity with product formula
For partitions $\lambda, \mu \vdash n$, the Kostka-Foulkes polynomial $K_{\lambda,\mu}(q)$, a $q$-analog of the Kostka coefficient $K_{\lambda,\mu}$, has a combinatorial description, due to Lascoux ...
- 24.2k
1
vote
0
answers
101
views
Singular vectors/null states in algebra $\mathfrak{su}(2)_{-4/3}$
I encounter recently admissible affine Lie algebras when visiting some physics problems. I am reading Adamovic's A construction of admissible $A_1^{(1)}$-modules of level $−4/3$.
In section 3, it is ...
- 857
1
vote
0
answers
64
views
Is the Lie bracket on $\mathfrak g^{\ast}$ induced from a cocommutator defined on $\mathfrak g\ $?
Let $G$ be a Poisson-Lie group. Let $\mathfrak g = \text {Lie} (G) = T_1 G$ be the corresponding Lie algebra. Then the Poisson structure on $G$ gives rise to a Lie bracket $[\cdot, \cdot]$ on $\...
- 199
5
votes
1
answer
143
views
PBW basis for the quantized enveloping Lie algebra of $\mathfrak{g}_2$
I would like to know if you have any reference where I can find the canonical PBW basis for $U_q(\mathfrak{g}_2),$ computed using the action of the braid group as defined by Luzstig.
Alternatively I ...
4
votes
1
answer
222
views
Spectral sequence from standard/Verma filtration/flag to compute Lie algebra cohomology of tensor product with respect to $\mathfrak{n}$
I'm not sure this question fully qualifies as a research-level math question, but from my (limited) past experience on stackexchanged I feared this question might not get an answer there.
Setting: the ...
- 311
6
votes
1
answer
243
views
Do weight vectors live between the highest and lowest weights?
For a simple complex Lie algebra $\frak{g}$, let $V$ be an irreducible $\frak{g}$-module. Is it true that the weights of the non-zero weight vectors in $V$ are less than the highest weight vector and ...
- 435
3
votes
2
answers
433
views
Reflection reverses a root string
I am trying to understand the part of the proof In Fulton's and Harris's Represantation Theory book where he shows that the length of the root string is at most 4:
Theorem If $\alpha,\beta$ are roots ...
- 225
4
votes
0
answers
130
views
7D simple Lie algebras over $\mathbb{F}_3$
Up to isomorphism, what are all the seven-dimensional simple Lie algebras over the field with three elements?
- 2,773
12
votes
1
answer
392
views
Non-conjugate subgroups that are conjugate in complexification
In trying to come up with a counter-example in my line of research, I would like to find an example as follows:
$G$ is a semisimple Lie group with complexification $G^{\mathbb{C}}$. $H_1, H_2 \...
- 471
2
votes
0
answers
218
views
Borel-Weil-Bott theorem for wonderful compactification in characteristic p
Are there any known results for a Borel-Weil-Bott theorem for the wonderful compactifications over characteristic $p$ (i.e., theorems that classify the cohomologies of all line bundles on a wonderful ...
- 41
2
votes
0
answers
129
views
Kac-Peterson modular forms and shifted theta functions
Let $\Lambda$ be the root lattice corresponding to an ADE root system $R$ of rank $n$. With the ADE assumption, the weight lattice is simply the dual lattice $\Lambda^{\vee}$. Given any weight vector $...
- 1,701
4
votes
1
answer
198
views
Simple restricted but not restricted simple Lie algebras
Let $F$ be a field which has a positive characteristic $p \ge 2$ and $(\mathfrak{g},[p])$ be a restricted Lie algebras over a field $F$ where $[p]$ is a $p$-th power map on $\mathfrak{g}$. $(\mathfrak{...
- 145
5
votes
1
answer
273
views
'Lie correspondence' for formal power series in non-commuting indeterminates
This is related to an earlier question of mine. I would like an argument or a reference (or a missing hypothesis if needed) for the following.
Let $\mathbb{F}\langle\langle \alpha\rangle\rangle$ and ...
- 1,089
1
vote
1
answer
207
views
Character formula for the fundamental representations of $\frak{sl}_n$
For the Lie algebra $\frak{sl}_{n+1}$ we denote its fundamental irreducible representations by $V(\pi_i)$, with $i=1, \dots, n$. Where can I find a table of the character formula (in other words a ...
- 327
8
votes
2
answers
619
views
Relationship between $q$-Weyl dimension formula and $q$-analog of weight multiplicity?
$\DeclareMathOperator\dim{dim}$For a dominant (integral) weight $\lambda$ and any (integral) weight $\mu$ of a simple Lie algebra $\mathfrak{g}$, Lusztig's $q$-analog of weight multiplicty $K_{\lambda,...
- 24.2k
1
vote
0
answers
75
views
Problem in understanding Theorem $6.2.9$ from Chari and Pressley
The theorem I am referring to here says that if we start with a Lie bialgebra $\mathfrak g$ determined by some skew-symmetric element $r \in \mathfrak g \otimes \mathfrak g$ satisfying classical Yang-...
- 199
2
votes
0
answers
147
views
Automorphism groups of "reductive" Lie algebras in positive characteristic
I put "reductive" in quotes because, of course, in positive characteristic one should speak of Lie algebras of reductive groups, not of reductive Lie algebras.
Let $G$ be a reductive group ...
- 13k
4
votes
1
answer
638
views
perfect fields in positive characteristic
Let $k$ be an infinite perfect field in positive characteristic $p$, i.e. every element of $k$ is a $p$th power. I am interested in properties of finite fields that can be extended to $k$. For example:...
- 168
0
votes
0
answers
132
views
Lie algebra action Whittaker model
Let $(\pi, H)$ be an irreducible unitary generic representation of $G=\operatorname{GL}(r,\mathbb{C})$ and let $H^{\infty}$ be its subspace of smooth vectors. Let $W :G\to\mathbb{C} $ be the Whittaker ...
- 145
4
votes
0
answers
72
views
Real forms of complex Lie algebras with specified semisimple part
Let $\mathfrak g$ be a complex Lie algebra. If $\mathfrak g$ is semisimple then its real forms are completely understood. In particular there is a compact real form of $\mathfrak g$, which is unique ...
- 4,729
4
votes
4
answers
474
views
Algebra of regular functions on the quadratic cone and SU(2) representations
I was reading the paper "Short Star-Products for Filtered Quantizations" by Pavel Etingof and Douglas Stryker (MSN), where in the introduction they claim that the algebra of regular functions on the ...
- 175
3
votes
0
answers
293
views
The geometry of the group of automorphisms of a manifold
Given a manifold $M$, the group $Aut(M)$ is made of diffeomorphisms $M\to M$. Since the complete vector fields on $M$ form an infinite dimensional Lie algebra, and each generates a 1 dimensional Lie ...
- 111