All Questions
931 questions with no upvoted or accepted answers
1
vote
0
answers
135
views
multiplicity of a weight in the basic representation of $\hat{sl_2}$
it is known by Weyl character formula that multiplicity of the weight $\wedge_{0}- n.\delta$
in the basic representation $L(\wedge_{0})$ of $\hat{sl_2} $is equal to the number of partitions of $n$.It ...
- 287
1
vote
0
answers
301
views
How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?
Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$.
Now,...
- 165
1
vote
0
answers
220
views
Dimension of faithful irreducible representations of $\mathbb{Z}_q\rtimes \mathbb{Z}_{p^2}$ in characteristic p,q
Let $p,q$ be primes s.t. $q=np+1$. Denote $m=p^2$. Then $\mathbb{Z}_p$ acts non-trivially on $\mathbb{Z}_q$, so we have a non-abelian semi-direct product $\mathbb{Z}_q\rtimes \mathbb{Z}_m$, with the ...
- 407
1
vote
0
answers
192
views
"Higher" Tangent spaces in char-p geometry - definition?
Hi, everyone!
I have some construction that requires exact definition.
I considered polynomial homomorphisms from $\Bbbk$ to $U_n(\Bbbk)$ (unitriangular matrices), where $char \Bbbk = p>0$ (more ...
- 1,422
1
vote
0
answers
218
views
Weyl Character formula applied to Sp$(4,\mathbb{C})\cap$ U$(4)$.
I have a few questions on an application of the Weyl character formula.
To start with we work with the $\mathbb{Q}$ version of Hamilton's quaternions and consider the maximal order $\mathfrak{O} = \...
- 562
1
vote
0
answers
238
views
Classification of fibres in pencils of curves of genus two
For the case of characteristic positive, there exist some clasification of families of curves of genus two over a elliptic curve?.
- 11
1
vote
0
answers
253
views
Generalizing groups via the Hall-Witt identity
In studying the integrability problem for Lie algebra representations, I have been led to wonder whether generalizing the notion of group by dropping associativity, while keeping the Hall-Witt ...
- 393
1
vote
0
answers
189
views
Exotic Chains for Group Homology of a Complex Lie Group
Related Question: Exotic Chains for Group Cohomology of a Complex Lie Group
Let's take the group homology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural free ...
- 18.7k
1
vote
0
answers
378
views
Does Iwahori subalgebra correspond to any Cartan decomposition for affine Kac-Moody algebra?
Let $\hat{\mathfrak{g}}$ be an affine Kac-Moody algebra which is the central extension of $\mathfrak{g}[t,t^{-1}]$(polynomial version). Consider Iwahori subalgebra $I$. My question is whether $I$ ...
- 5,515
1
vote
0
answers
308
views
Why Weyl group associated to Cartan matrix which defines positive definite bilinear form is finite?
In the book by V.Kac "Infinite dimensional Lie algebras" in proposition 4.9 it is argued that Weyl group constructed by Cartan matrix which defines positive-definite metric on Cartan subalgebra is ...
- 11
1
vote
0
answers
346
views
Do all finite $W$-superalgebras have 1-dimensional representations?
Premet proved the famous KW-conjecture in modular Lie algebra.
After, Premet introduced the finite $W$-algebra $U(g, e)$.
Also, Premet proposed the conjecture every algebra $U(g, e)$ admits a $1$-...
- 93
1
vote
0
answers
124
views
Approximated characters
Is it possible to construct series of groups $G_i, |G_i|\mapsto \infty$ and functions $f_i:G_i\mapsto$ {$ 1,0,-1$} such that $f_i(1)=0$, $f_i(g) \in ${$-1,1$} for $g\neq 1$ such that dimension of $C[...
- 2,179
1
vote
0
answers
269
views
exactness of n homology functor
Let $G$ be a real reductive group, $P=MN$ a parabolic subgroup with its Levi decomposition, let $\mathfrak{n}$ be the nilpotent Lie algebra of $N$. Now given a smooth representation $(\pi,V)$ of $G$, ...
- 2,709
1
vote
0
answers
871
views
Centre of a Lie algebra
Let $f\in \mathbb{C}[x_1,\dots, x_n]$ be a reduced homogeneous polynomial of degree n.
Let $\mathfrak{g}=\{ \delta \in Der_{\mathbb{C}^n}|\delta(f)\in (f)\mathcal{O}_{\mathbb{C}^n} \text{ and weight}(...
- 671
0
votes
0
answers
190
views
About Chern classes via Atiyah class
I am trying to understand a construction of the Chern classes of a vector bundle $\mathcal{E}$ via the Atiyah class, like is done in this text and here in section 1.4. I am interested in the case ...
- 348
0
votes
0
answers
60
views
Bounding number of commutators of a certain type
Say I have a vector space $V$ over $\mathbb{C}$, generated by $2n$-letters, $(x_1,...,x_n,y_1,...,y_n)$. Let $C_d$ denote the commutators on $V$ of length $d$, and let $(B_1,...,B_r)$ denote a basis ...
- 2,907
0
votes
0
answers
111
views
Irreducible representations of $\mathfrak{sl}(m|n)$
It is well known that the irreducible representations of the Lie algebra $\mathfrak{sl}(n)$ are symmetric powers of a vector space of dimension $n$. This can be viewed for instance using Young ...
- 558
0
votes
0
answers
72
views
Question about action of exponential of Lie algebras (Faraut and Koranyi's book)
I'm trying to understand a statement on page 49 in the book "Analysis on Symmetric Cones" by Faraut and Koranyi.
The situation is as follows. Let $\Omega$ be a symmetric cone in $V$ and ...
- 633
0
votes
0
answers
23
views
Existence of a subregular element with abelian centralizer in a quadratic Lie algebra
All Lie algebras here will be finite dimensionnal complex Lie algebra.
We say that such an Lie algebra $\mathfrak{g}$ is quadratic if there exist a skew-symetric, non-degenerate bilinear form or ...
- 188
0
votes
0
answers
124
views
Do the following two notions of quantum groups sometimes coincide?
On the one hand there is the notion of quantum groups due to Drinfeld and Jimbo. In there notion a quantum group is defined as a deformation of the universal enveloping algebra of a semisimple Lie ...
- 163
0
votes
0
answers
42
views
Which finite group schemes over positive characteristic have projectivity detected by a set of (generalized) cyclic subgroups?
A finite algebra $B$ over a field $K$ has projectivity detected by a set $S = \{f_i : A \to B \mid i \in I\}$ of maps into $B$ from a fixed algebra $A$ if for any finite module $M$, $M$ is projective ...
- 542
0
votes
0
answers
69
views
A weakening of the definition of positive roots for a root system
Given a root system $\Delta$ a choice of positive/negative roots is a decomposition of the elements of $\Delta$ into two subsets $\Delta^+$ and $\Delta^-$ satisfying
$$\Delta^+ = - \Delta^-\tag{$*$}\...
- 467
0
votes
0
answers
61
views
Representation and Laplacian on the Heisenberg group
Let $\pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H=\mathbb C\times \mathbb R$. For $\varphi\in L^2(\mathbb R)$, we have
$$\pi_{\lambda} (z,t)\varphi(\xi)=e^{i\...
- 650
0
votes
0
answers
61
views
The theory of Groebner bases in Jordan case
There are many papers regarding spreading the theory of Groebner-Shirshov bases from Lie algebras to other nonassociative algebras. Also, it has been studied for associative algebras with operators ...
- 367
0
votes
0
answers
90
views
Some details about Kirillov-Kostant Poisson bracket
Let $G$ be a finite dimensional Lie group with Lie algebra $\mathfrak{g}$. The Kirillov-Kostant Poisson bracket on $\mathfrak{g}^*$ is defined as $$\{\cdot ,\cdot \} :C^{\infty}(\mathfrak{g}^*)\times ...
- 287
0
votes
0
answers
117
views
An interesting identity involving skew-Schur functions
Denote $\rho=(-\frac12,-\frac32,-\frac52,\dots)$. I was reading this interesting paper, where in particular, the authors claim that one can get the expression in (2.9)
\begin{align*}
\prod_{k\geq1}(1+...
- 43.2k
0
votes
0
answers
51
views
Action of Hopf algebra of identity supported distributions on a Lie group
The Hopf algebra
of identity supported distributions on a lie group is cocommutative. It is well known that it is a group object in the category of cocommutative coalgebras. Is there a canonical ...
- 35
0
votes
0
answers
256
views
Any "inherent" definition of $\mathrm{SU}(2)$ independent of any matrix representation?
$\DeclareMathOperator\SU{SU}\SU(2)$ is explained in detail here.
However, if I know right, this definition itself is known the "fundamental representation".
I wonder if there is any "...
- 3,507
0
votes
0
answers
52
views
Relation between real forms of Lie algebras and root systems on pseudoeuclidean vector spaces
This might be trivial but I cannot see it clearly.
Simple complex Lie algebras are fully classified by the root systems arising from the Cartan subalgebra for which the Euclidean norm is the Cartan-...
- 295
0
votes
0
answers
246
views
What does the set of all fundamental coweights look like?
Let $\Phi$ be an irreducible root system in a Euclidean vector space $V$. Let $W$ denote its Weyl group. Choose a base $\Delta=\{\alpha_1,...,\alpha_r\}$ for $\Phi$. Then $\Delta$ is a basis for $V$. ...
- 2,751
0
votes
0
answers
105
views
Concrete examples of quantum duality principle
Let $G$ be a Poisson Lie group, $\mathfrak{g}$ be a Lie algebra of $G$, $G^*$ be a dual of $G$, $\mathscr{C}(G^*)$ be a Poisson algebra of $G^*$, and $U_h(\mathfrak{g})$ be a quantized universal ...
- 255
0
votes
0
answers
71
views
Integrating homomorphisms of Borel subalgebras
Let $G$ be a connected simple complex Lie group and $\mathfrak{g}$ be its Lie algebra. Let us fix a root decomposition, let $\mathfrak{b}_\pm$, $\mathfrak{n}_+$ and $\mathfrak{h}$ be the corresponding ...
0
votes
0
answers
138
views
Is $[n]_q!$ invertible in $\mathbb C [[h]]\ $?
Consider the Hopf algebra $U_h (sl_2 (\mathbb C))$ over the ring $\mathbb C [[h]]$ generated by $E, F, H$ and relations $:$
$$[H, E] = 2 E,\ \ [H, F] = - 2 F,\ \ [E, F] = \frac {q^H - q^{-H}} {q - q^{-...
- 41
0
votes
0
answers
99
views
How to show that quantum $sl_2 (\mathbb C)$ is a Hopf algebra deformation of $U (sl_2 (\mathbb C))\ $?
The quantum $sl_2 (\mathbb C)$ is the non-commutative, non-cocommutative Hopf algebra $U_h (sl_2 (\mathbb C))$ over the ring $\mathbb C [[h]]$ generated by $E, F$ and $H$ with the relations $:$
$$[H, ...
- 41
0
votes
0
answers
97
views
Methods for calculating (one-parameter subgroup) actions
For $G$ a Lie group and $\mathfrak{g}$ its Lie algebra, I am interested in one-parameter subgroup actions on “functions” $f$ of the form
\begin{equation}
\mathrm{e}^{t L(z)} f(z)
\end{equation}
...
- 679
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
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
0
votes
0
answers
73
views
Problem in understanding the proof of cocycle condition for cocommutator
Let $G$ be a Poisson–Lie group with Poisson bivector field $\pi$. Let $\pi^{R} \colon G \longrightarrow \bigwedge^2 \mathfrak{g}$ be defined by $$\pi^R (x) = (d_x R_{x^{-1}} \otimes d_x R_{x^{-1}}) \...
- 199
0
votes
0
answers
49
views
Complemented subalgebra in a free Lie ring
A Lie ring is a triple $(G,+, [\ ,\ ]),$ where $(G,+)$ is an abelian group and $ [\ ,\ ]$ is a bilinear map satisfying
$[x,x]=0$
$[\ ,\ ]$ is bilinear
$[[x,y],z]+[[y,z],x]+[[z.x],y]=0,\ \forall\ x,...
- 101
0
votes
0
answers
174
views
Young tableaux — irreps correspondence for simple complex Lie algebras
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}$I have learned that Young tableaux which were originally
introduced to study the irreducible representations of finite
symmetric groups $S_n$ ...
- 6,006
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
0
votes
0
answers
71
views
Non-proper orthant automorphisms
Given a real vector space $V$ of dimension $d$, it is known that the automorphism Lie group of the nonnegative orthant $\mathcal{O}^+_d$ can be described just as $$\mathrm{Aut}(\mathcal{O}^+_d)=\...
0
votes
0
answers
202
views
What is the importance of Cartan decomposition of a semi-simple Lie algebra?
I just started learning about Cartan decomposition of semi-simple Lie algebras, and I'm curious to know what are their applications in studying semi-simple Lie algebras. My guess was that it might be ...
- 139
0
votes
0
answers
245
views
Decomposition of tensor product of two representations of $so(10,\mathbb{C})$
There exist two 16-dimensional irreducible non-isomorphic representations of $so(10,\mathbb{C})$. Consider the tensor products of each of them with the standard (10-dimensional) representation.
What ...
- 21.8k
0
votes
0
answers
228
views
How do I detect whether a representation is (or is not) the adjoint representation?
Let $(\mathfrak{g},[\cdot,\cdot])$ be a Lie algebra. There is a God-given representation of $\mathfrak{g}$, namely, the adjoint representation $\operatorname{ad} : \mathfrak{g} \to \operatorname{Der}(\...
- 1,379
0
votes
0
answers
229
views
Coordinate ring of a flag variety
Edited:
[If G here is a simply connected semismple complex algebraic group.
A partial flag variety $G/P$ can be naturally embedded as a closed subset of $\prod_j \mathbb{P} (L(\omega_j)^*)$.
The ...
- 201
0
votes
0
answers
128
views
How to find the polynomials that define a compact Matrix Lie group from its Lie algebra?
Consider a compact (connected) Lie group, or more generally, a linear algebraic Lie group. Suppose we are given the Lie algebra corresponding to the Lie group. How can we find a set of polynomial ...
- 1
0
votes
0
answers
146
views
Fierz identity for symplectic group
It is known that for the fundamental matrix representation of SU(N), with normalization given by
$$
{\rm Tr}(T^iT^j)=\frac{1}{2}\delta^{ij}
$$
there is a Fierz identity:
$$
\sum_{i=1}^{N^2-1}T^i_{ab}T^...
- 197
0
votes
0
answers
86
views
Finite dimensional Lie algebras: bracket of generalized eigenspaces of a derivation
Let $\delta$ be a derivation of a complex Lie algebra L, and for $\lambda \in C$, let $$L_{\lambda}=\lbrace x \in L:(\delta-\lambda 1_{L})^{m}\;x=0 \mbox{ for some } m \ge 1 \rbrace$$
be the ...
- 159
0
votes
0
answers
198
views
Re asking:On the proof by Chu-Kobayashi that transformation groups are Lie groups
I have similar questions asOn the proof by Chu-Kobayashi that transformation groups are Lie groups and even more, how can $Y\in\mathfrak{g}^{*}$ generate 1-parameter global transformation group of $M$ ...
