In this paper, we study an analogue of the Bernstein–Gelfand–Gelfand category ${\mathcal {O}}$ for truncated current Lie algebras $\mathfrak {g}_n$ attached to a complex semisimple Lie algebra. This category admits Verma modules and simple modules, each parametrized by the dual space of the truncated currents on a choice of Cartan subalgebra in $\mathfrak {g}$. Our main result describes an inductive procedure for computing composition multiplicities of simples inside Vermas for $\mathfrak {g}_n$, in terms of similar composition multiplicities for ${\mathfrak {l}}_{n-1}$ where ${\mathfrak {l}}$ is a Levi subalgebra. As a consequence, these numbers are expressed as integral linear combinations of Kazhdan–Lusztig polynomials evaluated at 1. This generalizes recent work of the first author, where the case $n=1$ was treated.

In this paper we construct an action of the affine Hecke category (in its ‘Soergel bimodules’ incarnation) on the principal block of representations of a simply connected semisimple algebraic group over an algebraically closed field of characteristic bigger than the Coxeter number. This confirms a conjecture of G. Williamson and the second author, and provides a new proof of the tilting character formula in terms of antispherical $p$-Kazhdan–Lusztig polynomials.

Let $G= SL_{n+1}$ be defined over an algebraically closed field of characteristic $p > 2$. For each $n \geq 1$, there exists a singular block in the category of $G_1$-modules, which contains precisely $n+1$ irreducible modules. We are interested in the ‘lift’ of this block to the category of $G_1T$-modules. Imposing only mild assumptions on $p$, we will perform a number of calculations in this setting, including a complete determination of the Loewy series for the baby Verma modules and all possible extensions between the irreducible modules. In the case where $p$ is extremely large, we will also explicitly compute the Loewy series for the indecomposable projective modules.

Let G be a connected reductive group over a p-adic number field F. We propose and study the notions of G- $\varphi $ -modules and G- $(\varphi ,\nabla )$ -modules over the Robba ring, which are exact faithful F-linear tensor functors from the category of G-representations on finite-dimensional F-vector spaces to the categories of $\varphi $ -modules and $(\varphi ,\nabla )$ -modules over the Robba ring, respectively, commuting with the respective fiber functors. We study Kedlaya’s slope filtration theorem in this context, and show that G- $(\varphi ,\nabla )$ -modules over the Robba ring are “G-quasi-unipotent,” which is a generalization of the p-adic local monodromy theorem proved independently by Y. André, K. S. Kedlaya, and Z. Mebkhout.

Let U be the unipotent radical of a Borel subgroup of a connected reductive algebraic group G, which is defined over an algebraically closed field k. In this paper, we extend work by Goodwin and Röhrle concerning the commuting variety of Lie(U) for Char(k) = 0 to fields whose characteristic is good for G.

Let $\mathfrak{g}$ be a compact simple Lie algebra of dimension $d$. It is a classical result that the convolution of any $d$ non-trivial, $G$-invariant, orbital measures is absolutely continuous with respect to Lebesgue measure on $\mathfrak{g}$, and the sum of any $d$ non-trivial orbits has non-empty interior. The number $d$ was later reduced to the rank of the Lie algebra (or rank +1 in the case of type ${{A}_{n}}$). More recently, the minimal integer $k\,=\,k\left( X \right)$ such that the $k$-fold convolution of the orbital measure supported on the orbit generated by $X$ is an absolutely continuous measure was calculated for each $X\,\in \,\mathfrak{g}$.

In this paper $\mathfrak{g}$ is any of the classical, compact, simple Lie algebras. We characterize the tuples $\left( {{X}_{1}},\,.\,.\,.\,,\,{{X}_{L}} \right)$, with ${{X}_{i}}\,\in \,\mathfrak{g}$, which have the property that the convolution of the $L$-orbital measures supported on the orbits generated by the ${{X}_{i}}$ is absolutely continuous, and, equivalently, the sum of their orbits has non-empty interior. The characterization depends on the Lie type of $\mathfrak{g}$ and the structure of the annihilating roots of the ${{X}_{i}}$. Such a characterization was previously known only for type ${{A}_{n}}$.

Let $G$ be a simple simply connected exceptional algebraic group of type $G_{2}$, $F_{4}$, $E_{6}$ or $E_{7}$ over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}=\text{Lie}(G)$. For each nilpotent orbit $G\cdot e$ of $\mathfrak{g}$, we list the Jordan blocks of the action of $e$ on the minimal induced module $V_{\text{min}}$ of $\mathfrak{g}$. We also establish when the centralizers $G_{v}$ of vectors $v\in V_{\text{min}}$ and stabilizers $\text{Stab}_{G}\langle v\rangle$ of $1$-spaces $\langle v\rangle \subset V_{\text{min}}$ are smooth; that is, when $\dim G_{v}=\dim \mathfrak{g}_{v}$ or $\dim \text{Stab}_{G}\langle v\rangle =\dim \text{Stab}_{\mathfrak{g}}\langle v\rangle$.

Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}=\text{Lie}(G)$. We discuss various properties of nilpotent orbits in $\mathfrak{g}$, which have previously only been considered over $\mathbb{C}$. Using computational methods, we extend to positive characteristic various calculations of de Graaf with nilpotent orbits in exceptional Lie algebras. In particular, we classify those orbits which are reachable as well as those which satisfy a certain related condition due to Panyushev, and determine the codimension of the derived subalgebra $[\mathfrak{g}_{e},\mathfrak{g}_{e}]$ in the centraliser $\mathfrak{g}_{e}$ of any nilpotent element $e\in \mathfrak{g}$. Some of these calculations are used to show that the list of rigid nilpotent orbits in $\mathfrak{g}$, the classification of sheets of $\mathfrak{g}$ and the distribution of the nilpotent orbits amongst them are independent of good characteristic, remaining the same as in the characteristic zero case. We also give a comprehensive account of the theory of sheets in reductive Lie algebras over algebraically closed fields of good characteristic.

We collect evidence in support of a conjecture of Griffiths, Green, and Kerr on the arithmetic of extension classes of limiting mixed Hodge structures arising from semistable degenerations over a number field. After briefly summarizing how a result of Iritani implies this conjecture for a collection of hypergeometric Calabi–Yau threefold examples studied by Doran and Morgan, the authors investigate a sequence of (non-hypergeometric) examples in dimensions $1\,\le \,d\,\le \,6$ arising from Katz's theory of the middle convolution. A crucial role is played by the Mumford-Tate group (which is ${{G}_{2}}$ ) of the family of 6-folds, and the theory of boundary components of Mumford–Tate domains.

In this work, we s uggest a defnition for the category of mixed motives generated by the motive h1 (E) for E an elliptic curve without complex multiplication. We then compute the cohomology of this category. Modulo a strengthening of the Beilinson-Soulé conjecture, we show that the cohomology of our category agrees with the expected motivic cohomology groups. Finally for each pure motive (Symnh1 (E)) (–1) we construct families of nontrivial motives whose highest associated weight graded piece is (Symnh1 (E)) (–1).

We present a new algorithm for constructing a Chevalley basis for any Chevalley Lie algebra over a finite field. This is a necessary component for some constructive recognition algorithms of exceptional quasisimple groups of Lie type. When applied to a simple Chevalley Lie algebra in characteristic p⩾5, our algorithm has complexity involving the seventh power of the Lie rank, which is likely to be close to best possible.

It is shown that a Lie algebra having a nilpotent radical has a fundamental set of invariants consisting of Casimir operators. A different proof is given in the well known special case of an abelian radical. A result relating the number of invariants to the dimension of the Cartan subalgebra is also established.

We classify the nilpotent orbits in a simple Lie algebra for which the restriction of the adjoint quotient map to a Slodowy slice is the universal Poisson deformation of its central fibre. This generalises work of Brieskorn and Slodowy on subregular orbits. In particular, we find in this way new singular symplectic hypersurfaces of dimension four and six.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let 𝔤 be its Lie algebra. Let k(G), respectively, k(𝔤), be the field of k-rational functions on G, respectively, 𝔤. The conjugation action of G on itself induces the adjoint action of G on 𝔤. We investigate the question whether or not the field extensions k(G)/k(G)G and k(𝔤)/k(𝔤)G are purely transcendental. We show that the answer is the same for k(G)/k(G)G and k(𝔤)/k(𝔤)G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type An or Cn, and negative for groups of other types, except possibly G2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

The main problem that is solved in this paper has the following simple formulation (which is not used in its solution). The group $K={{O}_{p}}\left( C \right)\times {{O}_{q}}\left( C \right)$ acts on the space ${{M}_{p,\,q}}\,\text{of}\,p\,\times \,q$ complex matrices by $\left( a,b \right)\cdot x=ax{{b}^{-1}}$, and so does its identity component ${{K}^{0}}=\text{S}{{\text{O}}_{p}}\left( \text{C} \right)\times \text{S}{{\text{O}}_{\text{q}}}\left( \text{C} \right)$. A $K$-orbit (or ${{K}^{0}}$-orbit) in ${{M}_{p,q}}$ is said to be nilpotent if its closure contains the zero matrix. The closure, $\bar{\mathcal{O}}$, of a nilpotent $K$-orbit (resp. ${{K}^{0}}$-orbit) $\mathcal{O}$ in ${{M}_{p,q}}$ is a union of $\mathcal{O}$ and some nilpotent $K$-orbits (resp. ${{K}^{0}}$-orbits) of smaller dimensions. The description of the closure of nilpotent $K$-orbits has been known for some time, but not so for the nilpotent ${{K}^{0}}$-orbits. A conjecture describing the closure of nilpotent ${{K}^{0}}$-orbits was proposed in $[11]$ and verified when $\min \left( p,\,q \right)\le 7$. In this paper we prove the conjecture. The proof is based on a study of two prehomogeneous vector spaces attached to $\mathcal{O}$ and determination of the basic relative invariants of these spaces.

The above problem is equivalent to the problem of describing the closure of nilpotent orbits in the real Lie algebra $\mathfrak{s}\mathfrak{o}\left( p,\,q \right)$ under the adjoint action of the identity component of the real orthogonal group $\text{O}\left( p,\,q \right)$.

We extend the basic theory of Lie algebras of affine algebraic groups to the case of pro-affine algebraic groups over an algebraically closed field $K$ of characteristic 0. However, some modifications are needed in some extensions. So we introduce the pro-discrete topology on the Lie algebra $\mathcal{L}(G)$ of the pro-affine algebraic group $G$ over $K$, which is discrete in the finite-dimensional case and linearly compact in general. As an example, if $L$ is any sub Lie algebra of $\mathcal{L}(G)$, we show that the closure of $\left[ L,\,L \right]$ in $\mathcal{L}(G)$ is algebraic in $\mathcal{L}(G)$.

We also discuss the Hopf algebra of representative functions $H(L)$ of a residually finite dimensional Lie algebra $L$. As an example, we show that if $L$ is a sub Lie algebra of $\mathcal{L}(G)$ and $G$ is connected, then the canonical Hopf algebra morphism from $K\left[ G \right]$ into $H(L)$ is injective if and only if $L$ is algebraically dense in $\mathcal{L}(G)$.

The notion of decompositon class in a semisimple Lie algebra is a common generalization of nilpotent orbits and the set of regular semisimple elements.We prove that the closure of a decomposition class has many properties in common with nilpotent varieties, e.g., its normalization has rational singularities.

The famous Grothendieck simultaneous resolution is related to the decomposition class of regular semisimple elements. We study the properties of the analogous commutative diagrams associated to an arbitrary decomposition class.

Let be a Lie algebra homomorphism from the Lie algebra of G to the Lie algebra of H in the following cases: (i) G and H are irreducible algebraic groups over an algebraically closed field of characteristic 0, or (ii) G and H are linear complex analytic groups. In this paper, we present some equivalent conditions for ϕ to be a differential in the above two cases. That is, ϕ is the differential of a morphism of algebraic groups or analytic groups as appropriate.

In the algebraic case, for example, it is shown that ϕ is a differential if and only if ϕ preserves nilpotency, semisimplicity, and integrality of elements. In the analytic case, ϕ is a differential if and only if ϕ maps every integral semisimple element of into an integral semisimple element of , where G0 and H0 are the universal algebraic subgroups of G and H. Via rational elements, we also present some equivalent conditions for ϕ to be a differential up to coverings of G in the algebraic case, and for ϕ to be a differential up to finite coverings of G in the analytic case.