Let $G$ be a simple algebraic group and $\ggg=\Lie(G)$ over $k=\bar\bbf_q$ where $q$ is a power of the prime characteristic of $k$, and $F$ a Frobenius morphism on $G$ which can be defined naturally on $\ggg$. In this paper, we investigate the relation between $F$-stable restricted modules of $\ggg$ and closed conical subvarieties defined over $\bbf_q$ in the null cone $\cn(\ggg)$ of $\ggg$. Furthermore, we clearly investigate the $\bbf_q$-rational structure for all nilpotent orbits in $\ggg$ under the adjoint action of $G$ when the characteristic of $k$ is good for $G$ and bigger than 3. The arguments are also valid when $\ggg'$ is classical simple Lie algebra in the sense of \cite{Sel} and $G'$ is the adjoint group of $\ggg'$.
We consider the finite $W$-superalgebra $U(\mathfrak{g_\bbf},e)$ for a basic Lie superalgebra ${\ggg}_\bbf=(\ggg_\bbf)_\bz+(\ggg_\bbf)_\bo$ associated with a nilpotent element $e\in (\ggg_\bbf)_{\bar0}$ both over the field of complex numbers $\bbf=\mathbb{C}$ and over $\bbf={\bbk}$ an algebraically closed field of positive characteristic. In this paper, we mainly present the PBW theorem for $U({\ggg}_\bbf,e)$. Then the construction of $U({\ggg}_\bbf,e)$ can be understood well, which in contrast with finite $W$-algebras, is divided into two cases in virtue of the parity of $\text{dim}\,\mathfra…
We present two methods for computing the rational singular locus of the closure of a nilpotent orbit in a complex semisimple Lie algebra and give a number of interesting examples.
We give a geometric description for the dominant characteristic of a nilpotent orbit in an arbitrary finite-dimensional rational G-module. In particular, we obtain a generalization of a recent result of Gunnells-Sommers, see math.RT/0212089.
We relate the partition-type parametrization of rational (arithmetic) nilpotent adjoint orbits of the split classical groups $SL_n$ and $Sp_{2n}$ over local non-Archimedean fields with a parametrization, introduced by DeBacker in 2002, which uses the associated Bruhat-Tits building to relate the question to one over the residue field.
We prove that for a simply laced group, the closure of the Borel conjugacy class of any nilpotent element of height $2$ in its conjugacy class is normal and admits a rational resolution. We extend this, using Frobenius splitting techniques, to the closure in the whole Lie algebra if either the group has type $A$ or the element has rank $2$.
We prove the rationality of the exceptional W-algebras associated with the simple Lie algebra $\mathfrak{sp}_4$ and subregular nilpotent elements, proving a new particular case of a conjecture of Kac-Wakimoto. Moreover, we describe the simple $\mathcal{W}_k(\mathfrak{sp}_4,f_{subreg})$-modules and compute their characters. We also explicit the nontrivial action of the component group on the set of these simple modules.
This paper deals with singularities of closures of $2$-nilpotent Borel conjugacy classes in either a $\text{GL}_n$-conjugacy class or in the nilpotent cone of $\text{GL}_n$. In the latter case we construct a resolution of singularities, in the former we show that singularities are rational by applying a result of M. Brion. We reason why this generalizes the result of N. Perrin and E. Smirnov on the rationality of singularities of Springer fiber components in the two-column case. In the case of Borel orbit closures being contained in orbital varieties, we give an alternative version of L. Fress…
Given a $p$-adic field $K$ and a nilpotent uniform pro-$p$ group $G$, we prove that all primitive ideals in the $K$-rational Iwasawa algebra $KG$ are maximal, and can be reduced to a particular standard form. Setting $\mathcal{L}$ as the associated $\mathbb{Z}_p$-Lie algebra of $G$, our approach is to study the action of $KG$ on a Dixmier module $\widehat{D(λ)}$ over the affinoid envelope $\widehat{U(\mathcal{L})}_K$, and to prove that all primitive ideals can be reduced to annihilators of modules of this form.
We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zero by B. Broer (for all groups)), normality and rational singularities for the subregular nilpotent variety and good filtrations of the global sections of pull backs of line bundles to the cotangent bund…
We give an explicit and character-free construction of a complete set of orthogonal primitive idempotents of a rational group algebra of a finite nilpotent group and a full description of the Wedderburn decomposition of such algebras. An immediate consequence is a well-known result of Roquette on the Schur indices of the simple components of group algebras of finite nilpotent groups. As an application, we obtain that the unit group of the integral group ring $\Z G$ of a finite nilpotent group $G$ has a subgroup of finite index that is generated by three nilpotent groups for which we have an ex…
Let X be an F-rational nilpotent element in the Lie algebra of a connected and reductive group G defined over the ground field F. Suppose that the Lie algebra has a non-degenerate invariant bilinear form. We show that the unipotent radical of the centralizer of X is F-split. This property has several consequences. When F is complete with respect to a discrete valuation with either finite or algebraically closed residue field, we deduce a uniform proof that G(F) has finitely many nilpotent orbits in Lie(G)(F). When the residue field is finite, we obtain a proof that nilpotent orbital integrals …
We conjecture that the "nilpotent points" of Calogero-Moser space for reflection groups are parametrised naturally by the two-sided cells of the group with unequal parameters. The nilpotent points correspond to blocks of restricted Cherednik algebras and we describe these blocks in the case G(m,1,n) and show that in type B our description produces an existing conjectural description of two-sided cells.
We classify all pairs (m,e), where m is a positive integer and e is a nilpotent element of a semisimple Lie algebra, which arise in the classification of simple rational W-algebras.
For local non-archimedean fields $k$ of sufficiently large residual characteristic, we explicitly parametrize and count the rational nilpotent adjoint orbits in each algebraic orbit of orthogonal and special orthogonal groups. We separately give an explicit algorithmic construction for representatives of each orbit. We then, in the general setting of groups $\mathrm{GL}_n(D)$, $\mathrm{SL}_n(D)$ (where $D$ is a central division algebra over $k$) or classical groups, give a new characterisation of the "building set" (defined by DeBacker) of an $\mathfrak{sl}_2(k)$-triple in terms of the buildin…
The metric approach to studying 2-step nilpotent Lie algebras by making use of non-degenerate scalar products is realised. We show that any 2-step nilpotent Lie algebra is isomorphic to its standard pseudo-metric form, that is a 2-step nilpotent Lie algebra endowed with some standard non-degenerate scalar product compatible with Lie brackets. This choice of the standard pseudo-metric form allows to study the isomorphism properties. If the elements of the centre of the standard pseudo-metric form constitute a Lie triple system of the pseudo-orthogonal Lie algebra, then the original 2-step nilpo…
Let G be a semisimple algebraic group over a field K whose characteristic is very good for G, and let sigma be any G-equivariant isomorphism from the nilpotent variety to the unipotent variety; the map sigma is known as a Springer isomorphism. Let y in G(K), let Y in Lie(G)(K), and write C_y = C_G(y) and C_Y= C_G(Y) for the centralizers. We show that the center of C_y and the center of C_Y are smooth group schemes over K. The existence of a Springer isomorphism is used to treat the crucial cases where y is unipotent and where Y is nilpotent. Now suppose G to be quasisplit, and write C for the …
Let $G$ be a connected, simply connected nilpotent group and $π$ be a square-integrable irreducible unitary representation modulo its center $Z(G)$ on $L^2(\mathbf{R}^d)$. We prove that under reasonably weak conditions on $G$ and $π$ there exist a discrete subset $Γ$ of $G/Z(G)$ and some (relatively) compact set $F \subseteq \mathbf{R}^d$ such that $$\bigl \{ |F|^{-1/2} \hspace{2pt} π(γ) 1_F \mid γ\in Γ\bigr\}$$ forms an orthonormal basis of $L^2(\mathbf{R}^d)$. This construction generalizes the well-known example of Gabor orthonormal bases in time-frequency analysis. The main theorem covers g…
Let $\FRAK{g}$ be a classical simple Lie superalgebra. To every nilpotent orbit $\cal O$ in $\FRAK{g}_0$ we associate a Clifford algebra over the field of rational functions on $\cal O$. We find the rank, $k(\cal O)$ of the bilinear form defining this Clifford algebra, and deduce a lower bound on the multiplicity of a $U(\FRAK{g})$-module with $\cal O$ or an orbital subvariety of $\cal O$ as associated variety. In some cases we obtain modules where the lower bound on multiplicity is attained using parabolic induction. The invariant $k(\cal O)$ is in many cases, equal to the odd dimension of th…
The aim of our paper is to construct pseudo $H$-type algebras from the covering free nilpotent two-step Lie algebra as the quotient algebra by an ideal. We propose an explicit algorithm of construction of such an ideal by making use of a non-degenerate scalar product. Moreover, as a bypass result, we recover the existence of a rational structure on pseudo $H$-type algebras, which implies the existence of lattices on the corresponding pseudo $H$-type Lie groups. Our approach substantially uses combinatorics and reveals the interplay of pseudo $H$-type algebras with combinatorial and orthogonal …
Let $N$ be a simply connected, connected non-commutative nilpotent Lie group with Lie algebra $\mathfrak{n}$ having rational structure constants. We assume that $N=P\rtimes M,$ $M$ is commutative, and for all $λ\in \mathfrak{n}^{\ast}$ in general position the subalgebra $\mathfrak{p}=\log(P)$ is a polarization ideal subordinated to $λ$ ($\mathfrak{p}$ is a maximal ideal satisfying $[\mathfrak{p},\mathfrak{p}]\subseteq\kerλ$ for all $λ$ in general position and $\mathfrak{p}$ is necessarily commutative.) Under these assumptions, we prove that there exists a discrete uniform subgroup $Γ\subset N$…
Let $G$ be a classical group with natural module $V$ and Lie algebra $\mathfrak{g}$ over an algebraically closed field $K$ of good characteristic. For rational irreducible representations $f: G \rightarrow \operatorname{GL}(W)$ occurring as composition factors of $V \otimes V^*$, $\wedge^2(V)$, and $S^2(V)$, we describe the Jordan normal form of $\mathrm{d} f(e)$ for all nilpotent elements $e \in \mathfrak{g}$. The description is given in terms of the Jordan block sizes of the action of $e$ on $V \otimes V^*$, $\wedge^2(V)$, and $S^2(V)$, for which recursive formulae are known. Our results are…
Let $G$ be a semisimple algebraic group defined over an algebraically closed field of characteristic 0 and $P$ be a parabolic subgroup of $G$. Let $M$ be a $P$-module and $V$ be a $P$-stable closed subvariety of $M$. We show in this paper that if the varieties $V$ and $G\cdot M$ have rational singularities, and the induction functor $R^i\text{ind}_P^G(-)$ satisfies certain vanishing condition then the variety $G\cdot V$ has rational singularities. This generalizes the main result of Kempf in [Invent. Math., 37 (1976), no. 3]. As an application, we prove the property of having rational singular…
Let $G$ be a finitely generated torsion-free nilpotent group. The representation zeta function $ζ_G(s)$ of $G$ enumerates twist isoclasses of finite-dimensional irreducible complex representations of $G$. We prove that $ζ_G(s)$ has rational abscissa of convergence $a(G)$ and may be meromorphically continued to the left of $a(G)$ and that, on the line $\{s\in\mathbb{C} \mid \textrm{Re}(s) = a(G)\}$, the continued function is holomorphic except for a pole at $s=a(G)$. A Tauberian theorem yields a precise asymptotic result on the representation growth of $G$ in terms of the position and order of …
We study the transverse Poisson structure to adjoint orbits in a complex semi-simple Lie algebra. The problem is first reduced to the case of nilpotent orbits. We prove then that in suitably chosen quasi-homogeneous coordinates the quasi-degree of the transverse Poisson structure is -2. In the particular case of {\emph subregular} nilpotent orbits we show that the structure may be computed by means of a simple determinantal formula, involving the restriction of the Chevalley invariants on the slice. In addition, using results of Brieskorn and Slodowy, the Poisson structure is reduced to a thre…
In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (ordinary) $r$-th commuting varieties of $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ for the same range of values of $r$ and $n$. Our principal motivation is the connection between nilpotent commuting variet…
We obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type A_{n-1} for c=m/n, and an expression of its quasispherical part (i.e., the isotypic part of "hooks") in terms of the HOMFLY polynomial of a torus knot colored by a Young diagram. We use this formula and the work of Calaque, Enriquez and Et…
