Unstable Loci in Flag Varieties and Variation of Quotients

We consider the action of a semisimple subgroup $\hat{G}$ of a semisimple complex group $G$ on the flag variety $X=G/B$ and the linearizations of this action by line bundles $\mathcal L$ on $X$. We give an explicit description of the associated unstable locus in dependence of $\mathcal L$, as well as a formula for its (co)dimension. We observe that the codimension is equal to 1 on the regular boundary of the $\hat{G}$-ample cone and grows towards the interior in steps by 1, in a way that the line bundles with unstable locus of codimension at least $q$ form a convex polyhedral cone. We also give a description and a recursive algorithm for determining all GIT-classes in the $\hat{G}$-ample cone of $X$. As an application, we give conditions ensuring the existence of GIT-classes $C$ with an unstable locus of codimension at least two and which moreover yield geometric GIT quotients. Such quotients $Y_C$ reflect global information on $\hat{G}$-invariants. They are always Mori dream spaces, and the Mori chambers of the pseudoeffective cone $\overline{\textrm{Eff}}(Y_C)$ correspond to the GIT chambers of the $\hat{G}$-ample cone of $X$. Moreover, all rational contractions $f: Y_{C} \ \scriptsize{-}\scriptsize{-}{\scriptsize{-}\kern-5pt\scriptsize{>}}\ Y^{\prime}$ to normal projective varieties $Y^{\prime}$ are induced by GIT from linearizations of the action of $\hat{G}$ on $X$. In particular, this is shown to hold for a diagonal embedding $\hat{G} \hookrightarrow (\hat{G})^k$, with sufficiently large $k$.

Hessenberg varieties and hyperplane arrangements

Given a semisimple complex linear algebraic group {{G}} and a lower ideal I in positive roots of G, three objects arise: the ideal arrangement {\mathcal{A}_{I}}, the regular nilpotent Hessenberg variety {\operatorname{Hess}(N,I)}, and the regular semisimple Hessenberg variety {\operatorname{Hess}(S,I)}. We show that a certain graded ring derived from the logarithmic derivation module of {\mathcal{A}_{I}} is isomorphic to {H^{*}(\operatorname{Hess}(N,I))} and {H^{*}(\operatorname{Hess}(S,I))^{W}}, the invariants in {H^{*}(\operatorname{Hess}(S,I))} under an action of the Weyl group W of G. This isomorphism is shown for general Lie type, and generalizes Borel’s celebrated theorem showing that the coinvariant algebra of W is isomorphic to the cohomology ring of the flag variety {G/B}.This surprising connection between Hessenberg varieties and hyperplane arrangements enables us to produce a number of interesting consequences. For instance, the surjectivity of the restriction map {H^{*}(G/B)\to H^{*}(\operatorname{Hess}(N,I))} announced by Dale Peterson and an affirmative answer to a conjecture of Sommers and Tymoczko are immediate consequences. We also give an explicit ring presentation of {H^{*}(\operatorname{Hess}(N,I))} in types B, C, and G. Such a presentation was already known in type A and when {\operatorname{Hess}(N,I)} is the Peterson variety. Moreover, we find the volume polynomial of {\operatorname{Hess}(N,I)} and see that the hard Lefschetz property and the Hodge–Riemann relations hold for {\operatorname{Hess}(N,I)}, despite the fact that it is a singular variety in general.

NILPOTENT SUBSPACES AND NILPOTENT ORBITS

Let $G$ be a semisimple complex algebraic group with Lie algebra $\mathfrak{g}$. For a nilpotent $G$-orbit ${\mathcal{O}}\subset \mathfrak{g}$, let $d_{{\mathcal{O}}}$ denote the maximal dimension of a subspace $V\subset \mathfrak{g}$ that is contained in the closure of ${\mathcal{O}}$. In this note, we prove that $d_{{\mathcal{O}}}\leq {\textstyle \frac{1}{2}}\dim {\mathcal{O}}$ and this upper bound is attained if and only if ${\mathcal{O}}$ is a Richardson orbit. Furthermore, if $V$ is $B$-stable and $\dim V={\textstyle \frac{1}{2}}\dim {\mathcal{O}}$, then $V$ is the nilradical of a polarisation of ${\mathcal{O}}$. Every nilpotent orbit closure has a distinguished $B$-stable subspace constructed via an $\mathfrak{sl}_{2}$-triple, which is called the Dynkin ideal. We then characterise the nilpotent orbits ${\mathcal{O}}$ such that the Dynkin ideal (1) has the minimal dimension among all $B$-stable subspaces $\mathfrak{c}$ such that $\mathfrak{c}\cap {\mathcal{O}}$ is dense in $\mathfrak{c}$, or (2) is the only $B$-stable subspace $\mathfrak{c}$ such that $\mathfrak{c}\cap {\mathcal{O}}$ is dense in $\mathfrak{c}$.

Bilinear and Quadratic Forms on Rational Modules of Split Reductive Groups

The representation theory of semisimple algebraic groups over the complex numbers (equivalently, semisimple complex Lie algebras or Lie groups, or real compact Lie groups) and the questions of whether a given complex representation is symplectic or orthogonal have been solved since at least the 1950s. Similar results for Weyl modules of split reductive groups over fields of characteristic different from z hold by using similar proofs. This paper considers analogues of these results for simple, induced, and tilting modules of split reductive groups over fields of prime characteristic as well as a complete answer for Weyl modules over fields of characteristic 2.

Invariants of reflection groups, arrangements, and normality of decomposition classes in Lie algebras

Suppose that W is a finite, unitary, reflection group acting on the complex vector space V and X is a subspace of V. Define N to be the setwise stabilizer of X in W, Z to be the pointwise stabilizer, and C=N/Z. Then restriction defines a homomorphism from the algebra of W-invariant polynomial functions on V to the algebra of C-invariant functions on X. In this note we consider the special case when W is a Coxeter group, V is the complexified reflection representation of W, and X is in the lattice of the arrangement of W, and give a simple, combinatorial characterization of when the restriction mapping is surjective in terms of the exponents of W and C. As an application of our result, in the case when W is the Weyl group of a semisimple, complex Lie algebra, we complete a calculation begun by Richardson in 1987 and obtain a simple combinatorial characterization of regular decomposition classes whose closure is a normal variety.

Springer theory via the Hitchin fibration

We develop the Springer theory of Weyl group representations in the language of symplectic topology. Given a semisimple complex group G, we describe a Lagrangian brane in the cotangent bundle of the adjoint quotient 𝔤/G that produces the perverse sheaves of Springer theory. The main technical tool is an analysis of the Fourier transform for constructible sheaves from the perspective of the Fukaya category. Our results can be viewed as a toy model of the quantization of Hitchin fibers in the geometric Langlands program.

Construction of Generalized Harish-Chandra Modules with Arbitrary Minimal -Type

Let be a semisimple complex Lie algebra and ⊂ be any algebraic subalgebra reductive in . For any simple finite dimensional -module V, we construct simple (, )-modules M with finite dimensional -isotypic components such that V is a -submodule of M and the Vogan norm of any simple -submodule V′ ⊂ M,V′ ≄ V, is greater than the Vogan norm of V. The (, )-modules M are subquotients of the fundamental series of (, )-modules.