All Questions
283 questions
3
votes
0
answers
94
views
Dimension of a kernel of a cocycle map
Inspired by a previous question (Dimension of a kernel of a linear map) and some of the answers I was given I thought wheter I can generalize the question to the following:
Compute the kernel (or at ...
- 911
3
votes
1
answer
162
views
Sub-coroot systems
Let $T$ be a maximal torus of a compact Lie group $K$,
and let $\Psi \subset {\mathfrak t}$ be the (finite) set of coroots for $(K,T)$, where $\mathfrak t$ is the Lie algebra of $T$.
Assume now that $...
- 167
2
votes
1
answer
191
views
Normalizer of SU$(2)$ in SU$(6)$
Consider the $\mathfrak{su}(2)$ subalgebra of $\mathfrak{su}(6)$ embedded as
$$\mathfrak{su(2)}=\text{Span}\{\mathbb{1}_3 \times \sigma^i\}, \quad i=1,2,3$$
with $\sigma^i$ the Pauli matrices and $\...
- 155
2
votes
1
answer
206
views
Extending representations of Lie subalgebras to the whole Lie algebra
Let $\frak{g}$ be a complex simple Lie algebra and let $\frak{k}$ be a non-zero semisimple Lie subalgebra of $\frak{g}$. Is it possible to realize every simple $\frak{k}$-module $W$ as a $\frak{k}$-...
- 435
2
votes
0
answers
291
views
Automorphisms group of complex and real simple Lie algebras
$\DeclareMathOperator{\Inn}{\operatorname{Inn}}\DeclareMathOperator{\Aut}{\operatorname{Aut}}\DeclareMathOperator{\Out}{\operatorname{Out}}\DeclareMathOperator{\g}{\mathfrak{g}}$According to Wikipedia,...
- 2,147
2
votes
1
answer
495
views
Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?
Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group.
Is every closed subgroup of $...
- 11.3k
2
votes
1
answer
636
views
explicit realization of irreducible representations of simple lie algebras
I know explicit realization of irreducible representations of simple lie algebra $sl_n$ when the highest weight of that representation is a fundamental weight.Is there any explicit realization of any ...
- 21
2
votes
0
answers
143
views
Chevalley-Eilenberg cohomology of polynomial vector fields
Let be $A$ the Lie algebra of polynomial vector fields. A p-cochain $C$ of $A$ is a p-linear alternate map from $A^p$ to $A$. For $p=0$, $C$ is an element of $A$. The coboundary operator $\eth$ is ...
- 39
2
votes
0
answers
810
views
Casimir operators of a given Lie Algebra
I am a Physicist, so let me apologize in advance for some possible imprecisions.
I'm working on a 10-dimensional Lie Algebra. Each element of the algebra represents a quantum mechanical operator, and ...
- 255
2
votes
3
answers
765
views
Computing the index of a Lie algebra: what is known beyond the reductive case?
Recall that an index of a Lie algebra $\mathfrak{g}$ is $\mathrm{ind}\ \mathfrak{g} := \min\limits_{\xi \in \mathfrak{g}^*} \dim \mathrm{Ann}_{\xi}$ where $\mathrm{Ann}_{\xi}=\{h\in\mathfrak{g}| \...
- 5,293
2
votes
0
answers
163
views
Quantum invariant: The canonical $2$-tensor
In Chapter XVI Kassel introduces a proper definition of a quantum universal enveloping algebra of a Lie algebra $\mathfrak{g}$. (See definition XVI.5.1). Notice that a quantum enveloping algebra has a ...
- 395
2
votes
0
answers
204
views
Commutator space of regular nilpotent elements
This is a follow-up to this question.
Let $\mathfrak{g}$ be a semisimple complex Lie algebra, $A \in \mathfrak{g}$ a regular nilpotent element (i.e. its centralizer is of dimension equal to the rank ...
- 617
2
votes
1
answer
1k
views
Derivative of adjoint action of exponential map
Let $X(t)$ be a $C^1$ (continuously differentiable) path in the Lie algebra (actually I just need finite-dimensional matrices). It is well-known (from Wikipedia page of Derivative of the exponential ...
- 487
2
votes
1
answer
359
views
Characterization of the weight orbit in the projective space via second order Casimir.
This is the spin-off of the question I previously asked.
First, let me remind you some notation from that question:
$G_0$ - compact, simply connected Lie group giving rise (by complexification) ...
- 965
2
votes
0
answers
171
views
Weight spaces of modules over Lie algebras [closed]
I know that an irreducible infinite-dimensional weight module over the Virasoro algebra in which it has a non-zero finite-dimensional weight space, then all its weight spaces have finite dimension. ...
- 165
1
vote
1
answer
379
views
Finding the 2nd homotopy group $\pi_2(G^\mathbb{C}/P)$
Let $G$ be a compact connected and simply connected Lie group and $G^\mathbb{C}$ be the complexification of Lie group (with is diffeomorphic with $G^\mathbb{C}\cong T^*G$) then I am looking for ...
user21574
1
vote
1
answer
583
views
Lie algebra elements commuting with a principal nilpotent element
Let $\mathfrak{g}$ be a semisimple complex Lie algebra, $A \in \mathfrak{g}$ a principal nilpotent element (i.e. its centralizer is of dimension equal to the rank of $\mathfrak{g}$). I wish to ...
- 617
1
vote
1
answer
179
views
Reducible reductive Lie subalgebras of so(p,q)
Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...
- 601
1
vote
0
answers
136
views
Alternative Lie bracket on $\chi^{\infty}(M)$ where $M$ is a Riemannian manifold with a symplectic structure
Let $(M,\omega, g)$ be a Riemannian symplectic manifold. The Poisson bracket of two functions $f,g$ is denoted by $\{f,g\}$. The Hamiltonian vector field and gradient vector field ...
- 366
1
vote
0
answers
153
views
A linear map on $\chi^{\infty}(\mathbb{R}^2)$ arising from the Cauchy integral formula
The space of smooth vector fields on $\mathbb{R}^2$ and open unit disc $\mathbb{D}$ are denoted by $\chi^{\infty} (\mathbb{R}^2)$ and $\chi^{\infty}(\mathbb{D})$, respectively. A vector field on $\...
- 366
1
vote
1
answer
241
views
Can we have a nontrivial division of a irreducible root system as $\Phi=\Phi_{[\lambda]}\cup \Phi_{[\mu]}$?
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 ...
- 9,019
1
vote
0
answers
165
views
When a finite codimensional subalgebra contains a finite codimension ideal?
What is a classification of all algebras $A$ (purely algebraic algebras, Banach or $C^*$ algebras or Lie algebras) with the following property:
Every finite codimensional subalgebra $B$ of $A$ ...
- 366
1
vote
2
answers
319
views
A question on involutions on the Lie algebra of vector fields
Edite According to the essential comment of Ian Agol I revise the question as follows
For a smooth manifold $M$, is there a non identity involution $\theta$ on the lie algebra $\chi^{\infty}(M)$ ...
- 366
1
vote
2
answers
338
views
homogeneous algebras
Let $A$ be a finite dimensional algebra over finite field (not necessarily associative). Then $A$ is said to be homogeneous if $Aut(A)$ acts transitively on the one-dimensional subspace of A. If A is ...
- 367
1
vote
3
answers
840
views
On the derivative of the exponential of adjoint action on a Lie algebra
I am studying the Drinfel'd-Sokolov hierarchies. And here is what confuses me. Let $\mathfrak{g}$ be a (simple) finite-dimensional Lie algebra, let $u(x), v(x) \in C^\infty(\mathbb{R},\mathfrak{g})$. ...
- 19
1
vote
1
answer
360
views
Unipotent orbits and intersection with Levi and pseudo-Levi subgroups
Given a simple complex Lie group $G$ (I might say upfront that I am mostly interested with exceptional Lie algebras) and a nilpotent orbit $\mathcal{O}\subset G$ I would like to describe the ...
- 141
1
vote
0
answers
801
views
Differential and pre-differential of Jacobi identity
Let M be a manifold.
To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied?
That is a Lie algebra structure for which $[X,fY]=f[X,Y]$.
(For every ...
- 366
1
vote
1
answer
138
views
Manifold_Lie algebra compatibility
In this question we try to improve some parts of this post as follows:
What is an example of a manifold $M$ and a Lie algebra $L$ (with the same dimension) such that $M$ does not admit ...
- 366
1
vote
1
answer
311
views
Generating function for $t$-residues of partitions using Heisenberg + $\hat{sl_t}$ representation theory
Recall that for $t\geq2$, a partition is a $t$-core if none of its hooklengths is divisible by $t$. It is known that the $t$-cores are parametrized by ${\mathbb Z}^{t-1}$. More precisely, let $(n_0,\...
- 1,090
1
vote
0
answers
108
views
General quantum highest-weights dimension formulas
The formulas hold modulo typos :-)
It is well known (tl;dr fun fact: not well enough for me, I forgot where I saw it so I guess-computed it from the data in the Hayashi paper; promptly I found it in ...
- 4,829
0
votes
2
answers
2k
views
non discrete valuation ring [closed]
Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks
- 141
0
votes
1
answer
304
views
A Lie group whose Lie algebra is equal to (the Lie algebra? of )all functions with fibrewise polynomial growth
Let $M$ be a Riemannian manifold. We denote by $\mathfrak{g}$ the space of all smooth function $f:TM\to \mathbb{R}$ with fibre wise polynomial growth. Is it a Lie algebra wrt the Poisson bracket ...
- 366
0
votes
1
answer
1k
views
The generalized Kronecker delta and three sets of 16 tetrahedra defined by 192 of the 240 roots of E8 (vertices of Gosset's 8-polytope 4_21)
Original question (without additional information from Wendy):
Using 192 of the 240 roots of E8 (vertices of 4_21), Wendy Krieger has defined 48 disjoint tetrahedra this way:
Taking the E8 as {128,...
- 203