# Tagged Questions

**4**

votes

**2**answers

118 views

### Invariant planes of a nilpotent matrix with two Jordan blocks of size two

Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map
$$
N = \begin{pmatrix}
0 & 1 & & \\
0 & 0 & & \\
& & 0 ...

**2**

votes

**0**answers

119 views

### Can the commuting condition in Jordan-Chevalley decomposition be replaced with this global criterion?

Let $G$ be a reductive linear algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra.
The Jordan-Chevalley ...

**4**

votes

**1**answer

145 views

### About the construction of the Universal Enveloping Lie Algebroid

Let $X$ be a reasonable smooth scheme over some base $S$. The tangent sheaf $T_X$ is a Lie algebroid, locally free as a $\mathcal{O}_X$ module, and its Universal Enveloping Lie Algebroid ...

**6**

votes

**1**answer

94 views

### Number of Richardson orbits in simple Lie algebras of types $E_n$?

This is a follow-up to my question about nilpotent orbits here asked in connection with an earlier discussion of symplectic resolutions. Leaving aside the connections with algebraic geometry and ...

**7**

votes

**1**answer

274 views

### Examples of Richardson orbit closures not having a symplectic resolution?

This is a follow-up to a recent question asked by Peter Crooks here. The answer by Ben Webster includes a helpful link to the corrected arXiv version of Baohua Fu's 2003 Invent. Math. paper ...

**4**

votes

**2**answers

235 views

### Lie's Theorem in characteristic $p$

Let $K$ be an algebraically closed field with characteristic $0$ and $V$ be a Lie sub-algebra of $M_n(K)$, the $n\times n$ matrices over $K$. If $V$ is solvable, then, according to Lie's theorem, $V$ ...

**0**

votes

**0**answers

74 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 ...

**4**

votes

**2**answers

177 views

### Dimension of the nilpotent centralizer of a nilpotent matrix

Fix a natural number $n$ and an algebraically closed field $k$. Let $\mathfrak{g}=\mathfrak{gl}_n(k)$. For any partition of $n$, $\lambda=(\lambda_1,\ldots,\lambda_r)$, let $A_{\lambda}$ be the ...

**-3**

votes

**1**answer

268 views

### Lie algebraic Grassmannian

Assume that $L$ is a Lie algebra structure on $\mathbb{R}^{n}$, and $1<k<n$ is given.
We define $Gr(k,n)_{L}$, the space of all $k$ dimensional Lie subalgebra of $(\mathbb{R}^{n}, L)$.
For ...

**5**

votes

**1**answer

301 views

### Root space decomposition

What is the root system for the special unitary lie algebra $\mathfrak{su}(p, q)$. Remind that these are matrices of the form
$\left(
\begin{array}{cc}
X & Y \\
\overline{Y}^t & Z ...

**8**

votes

**0**answers

254 views

### Lie algebras vs. graph complexes

A ribbon graph is a graph in which every vertex has valence at least three and is equipped with a cyclic ordering of its adjacent half edges. The ribbon graph complex $\mathcal{G}_*$ is the chain ...

**0**

votes

**1**answer

277 views

### Symplectic structure on $Sym^kG^{\mathbb{C}} $

Let $G$ be a compact Lie group, and let $G^\mathbb{C}$ be its complexification.
I am looking for a symplectic structure (without use of coordinates) on
$$
Sym^kG^{\mathbb{C}},
$$
PS:Here ...

**2**

votes

**1**answer

131 views

### Split real form of $SL(2,\mathbb{C})$ description of the two sphere?

If we denote the parabolic subgroup of $SL(2,\mathbb{C})$ by $P$, then we have the well known isomorphism $SL(2,\mathbb{C})/P \simeq S^2$, where $S^2$ is the two sphere. Now the compact real form of ...

**2**

votes

**1**answer

361 views

### A question about flag variety of $SL(n,\mathbb{C})$

We know that the flag variety $SL(2,\mathbb{C})/B$ which $B$ is Borel subgroup, can be identified with $\mathbb{P^1}$, What can we say about $SL(n,\mathbb{C})/B$ which $B$ is Borel subgroup of ...

**2**

votes

**2**answers

125 views

### Connectedness of Springer Fibers

Let $G$ be a connected, simply-connected, complex semisimple Lie group with Lie algebra $\frak{g}$. Let $\mu:T^*\mathcal{B}\rightarrow\mathcal{N}$ be the Springer resolution of $\mathcal{N}$. If ...

**2**

votes

**3**answers

390 views

### Dimension of Unipotent Radicals

A parabolic subgroup of a linear algebraic group $G$ defined over a field $k$ is a subgroup $P\subseteq G$, closed in the Zariski topology, for which the quotient space $G/P$ is a projective algebraic ...

**10**

votes

**1**answer

834 views

### decompositions for exceptional Lie algebras $E_6$, $E_7$ and $E_8$

Do anybody know , why can we write the following decompositions for exceptional Lie algebras $E_6$, $E_7$ and $E_8$
1) $E_8=(V^{\star}\otimes \wedge^{8}V^{\star})\bigoplus ...

**4**

votes

**1**answer

324 views

### Cohomology Ring of the Flag Manifolds, Cartan Subalgebras, and Weyl Groups

I've recently read the following line in an interesting paper:
It is well-known that the cohomology ring of a flag variety $G/B$ is isomorphic to the quotient ring of the ring of polynomial ...

**7**

votes

**0**answers

395 views

### Dual versions of “folding” symmetric ADE Dynkin diagrams?

Start with the Dynkin diagram of an irreducible root system, typically associated with a simple
Lie algebra over $\mathbb{C}$ or a simple algebraic group. Most of the simply-laced ADE
diagrams ...

**7**

votes

**1**answer

323 views

### How to get Haar measure on a compact Lie group, given the complexification?

This is the first in what may be a series of questions on the theme "a Banach algebraist/Bear Of Little Brain needs help with algebraic geometry".
$\newcommand{\Cplx}{{\mathbb ...

**5**

votes

**2**answers

490 views

### Kostant's theorem on invariant polynomials in positive characteristic

Let $k$ be an algebraically closed field and let $G$ be a reductive linear algebraic group over $k$ with Lie algebra $\mathfrak g$. If the characteristic of $k$ is $0$ then, by a classical result of ...

**10**

votes

**3**answers

381 views

### Uniform setting for computing orders of algebraic groups over finite quotients of the integers?

A couple of recent questions on MO have involved the characters or the orders of specific finite groups of the form $G(\mathbb{Z}/n\mathbb{Z})$ for a familiar algebraic group $G$ defined over ...

**4**

votes

**0**answers

195 views

### How to decide if two surfaces occurring in Springer theory are isomorphic?

In the study of a simple algebraic group (say over $\mathbb{C}$) and related geometry of its flag variety associated with the Springer correspondence, one encounters pairs of surfaces which have some ...

**6**

votes

**0**answers

266 views

### Reference for the Thick Affine Grassmanian

Let $G$ be a reductive group and $LG$ be the algebraic loop group of $G$; i.e. $LG(k) = G( k((t)) )$. There is a fair amount of literature on the affine Grassmanian $LG(k)/G(k[[t]])$ and its Picard ...

**7**

votes

**1**answer

436 views

### Uniform proof of dimension formula for minimal special nilpotent orbit?

Given a simple Lie algebra over an algebraically closed field of good characteristic such
as $\mathbb{C}$, its subvariety $\mathcal{N}$ of nilpotent elements has dimension $2N$ (where $N$ is the ...

**4**

votes

**2**answers

1k views

### Lie algebras of algebraic groups

Where can i find material about the definition of the exponential morphism from the Lie algebra of an algebraic affine group to the group?

**6**

votes

**2**answers

548 views

### Relative Lie Algebra cohomology and sheaf cohomology

(I apologize in advance for the vagueness of my question). Let $G$ be a reductive algebraic group over $\mathbb C$ with Lie algebra $\frak g$ and Borel $B$. I have seen casual references to the fact ...

**6**

votes

**0**answers

291 views

### Kazhdan-Lusztig graph for the Springer fiber of the minimal special unipotent class?

This graph was determined in the case of simply-laced root systems by Igor Dolgachev and Norman Goldstein: "On the Springer resolution of the minimal unipotent conjugacy class" (J. Pure Appl. Algebra ...

**3**

votes

**2**answers

503 views

### Describing the kernel of the exponential map as a homology group

I am reading Deligne: Hodge III, and am puzzled by a certain statement in section 10. If anyone could give a reference or a hint for how to prove this, I would be grateful. Maybe it is obvious and I ...

**2**

votes

**2**answers

387 views

### Lie Algebras and Simple Connectivity for general algebraic groups

In the representation theory of Lie groups (say, over $\mathbb{R}$ or $\mathbb{C}$), one can show that a Lie algebra homomorphism between the Lie algebras of two algebraic groups $G$ and $H$ always ...

**12**

votes

**5**answers

2k views

### Deformations of semisimple Lie algebras

In the questions Is "semisimple" a dense condition among Lie algebras? and What is the Zariski closure of the space of semisimple Lie algebras?, something equivalent to the following is ...

**13**

votes

**6**answers

1k views

### How do I stop worrying about root systems and decomposition theorems (for reductive groups)?

I apologize for this being a very very vague question.
Just as personal experience, I never feel that I fully grasped the theory of root systems in Lie algebras and Lie/algebraic groups (I shall ...

**9**

votes

**5**answers

2k views

### Does a finite-dimensional Lie algebra always exponentiate into a universal covering group

Hi,
I am a theoretical physicist with no formal "pure math" education, so please calibrate my questions accordingly.
Consider a finite-dimensional Lie algebra, A, spanned by its d generators, ...

**5**

votes

**2**answers

971 views

### Jordan Form Over a Polynomial Ring

Let $X$ be the set of $k\times k$ matrix with entries in $\mathbb{C}$, and let $M\in X$. The group $GL(k,\mathbb{C})$ acts on $X$ by conjugation, and according to the Jordan decomposition theorem ...

**1**

vote

**1**answer

490 views

### About localization theorem for affine Lie algebra?

Here is my question: how to define global section functor from D-module on affine flag variety to representation of affine Lie algebra?
Let's me explain the difficulty: it seems there doesn't exist ...

**3**

votes

**1**answer

343 views

### Dolbeault Operators for $CP^1$ as $\mathfrak{su}(2)$ Actions.

This question is related to a previous question of mine. More specifically, it results from my attempts to understand the simplest incarnation of a phenomenon mentioned therein.
Put a grading on the ...

**3**

votes

**2**answers

581 views

### Why can the Dolbeault Operators be Realised as Lie Algebra Actions

I've been looking at an example in the non-commutative geometry literature and I'm having trouble figuring out what the classical motivation is. I'll just describe the classical case here: Recall that ...

**10**

votes

**1**answer

1k views

### What is the recent development of D-module and representation theory of Kac-Moody algebra?

I just started to collect the papers of this field and know little things. So if I make stupid mistake, please correct me.
It seems that there are several approaches to localize Kac-Moody algebra(in ...

**17**

votes

**2**answers

2k views

### Cohomology of Lie groups and Lie algebras

The length of this question has got a little bit out of hand. I apologize.
Basically, this is a question about the relationship between the cohomology of Lie groups and Lie algebras, and maybe ...

**7**

votes

**2**answers

1k views

### What does the nilpotent cone represent?

Notation
Let $\mathfrak g$ be a the Lie algebra of an algebraic group $G\subseteq GL(V)$ over a(n algebraically closed) field $k$ (I'm actually thinking $G=GL_n$, so $\mathfrak g=\mathfrak{gl}_n$). ...

**14**

votes

**3**answers

759 views

### What is the Zariski closure of the space of semisimple Lie algebras?

Given Leonid Positselski's excellent answer and comments to this question, I expect that the present one is a hard question. Recall that the Lie algebra structures on a (finite-dimensional over ...

**42**

votes

**3**answers

2k views

### Is “semisimple” a dense condition among Lie algebras?

The "Motivation" section is a cute story, and may be skipped; the "Definitions" section establishes notation and background results; my question is in "My Question", and in brief in the title. Some ...

**13**

votes

**4**answers

3k views

### Formal Geometry

[edit: I posted an answer to this which summarizes one that I received verbally a few weeks after posting this question. I hope it is useful to someone.]
I am presently seeking references which ...

**17**

votes

**17**answers

8k views

### Learning about Lie groups

Can someone suggest a good book for teaching myself about Lie groups? I study algebraic geometry and commutative algebra, and I like lots of examples. Thanks.