The theorems of M. Ratner, describing the finite ergodic invariant measures and the orbit closures for unipotent flows on homogeneous spaces of Lie groups, are extended for actions of subgroups generated by unipotent elements. More precisely: Let G be a Lie group (not necessarily connected) and Gamma a closed subgroup of G. Let W be a subgroup of G such that Ad(W) is contained in the Zariski closure (in the group of automorphisms of the Lie algebra of G) of the subgroup generated by the unipotent elements of Ad(W). Then any finite ergodic invariant measure for the action of W on G/Gamma is a homogeneous measure (i.e., it is supported on a closed orbit of a subgroup preserving the measure). Moreover, if G/Gamma has finite volume (i.e., has a finite G-invariant measure), then the closure of any orbit of W on G/Gamma is a homogeneous set (i.e., a finite volume closed orbit of a subgroup containing W). Both the above results hold if W is replaced by any subgroup Lambda of W such that W/Lambda has finite volume.
The paper is devoted to the problem of finding free generators in the fields of invariants for actions of unipotent groups on affine varieties. We consider the case when the unipotent group is the unipotent radical in an arbitrary parabolic subgroup in the reductive group of classical type GL(n), SL(n), O(n) or Sp(2n). In the explicit form, we present a system of free generators in the field of invariants for the action of the unipotent radical on the reductive group by conjugation.
For a classical simple algebraic group $G$ we obtain the affirmative answer for the conjecture in [8] that there exists an isomorphism between the geometric crystal on the flag variety and the one on the unipotent subgroup $U^-$.
Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists.
We prove the tensor product decomposition of the half of quantized universal enveloping algebra associated with a Weyl group element which was conjectured by Berenstein and Greenstein.
We investigate positive-dimensional closed reductive subgroups of almost simple algebraic groups containing a regular unipotent element. Our main result states that such subgroups do not lie inside proper parabolic subgroups unless possibly when their connected component is a torus. This extends the earlier result of Testerman and Zalesski treating connected reductive subgroups.
We show that irreducible unipotent representations of split Levi subgroups of finite groups of Lie type extend to their stabilizers inside the normalizer of the given Levi subgroup. For this purpose, we extend the multiplicity-freeness theorem from regular embeddings to arbitrary isotypies.
For an affine spherical homogeneous space G/H of a connected semisimple algebraic group G, we consider the factorization morphism by the action on G/H of a maximal unipotent subgroup of G. We prove that this morphism is equidimensional if and only if the weight semigroup of G/H satisfies some simple condition.
We prove the following result in relative representation theory of a reductive p-adic group $G$: Let $U$ be the unipotent radical of a minimal parabolic subgroup of $G$, and let $ψ$ be an arbitrary smooth character of $U$. Let $S \subset Irr(G)$ be a Zariski dense collection of irreducible representations of $G$. Then the span of the Bessel distributions $B_π$ attached to representations $π$ from $S$ is dense in the space $\mathcal S^*(G)^{U\times U,ψ\times ψ}$ of all $(U\times U,ψ\times ψ)$-equivariant distributions on $G.$ We base our proof on the following results: 1. The category of smooth…
The unipotent variety of a reductive algebraic group $G$ plays an important role in the representation theory. In this paper, we will consider the closure $\bar{\Cal U}$ of the unipotent variety in the De Concini-Procesi compactification $\bar{G}$ of a connected simple algebraic group $G$. We will prove that $\bar{\Cal U}-\Cal U$ is a union of some $G$-stable pieces introduced by Lusztig in \cite{L4}. This was first conjectured by Lusztig. We will also give an explicit description of $\bar{\Cal U}$. It turns out that similar results hold for the closure of any Steinberg fiber in $\bar{G}$.
Let $q$ be a power of a prime $p$. Let $P$ be a parabolic subgroup of the general linear group $\GL_n(q)$ that is the stabilizer of a flag in $\FF_q^n$ of length at most 5, and let $U = O_p(P)$. In this note we prove that, as a function of $q$, the number $k(U)$ of conjugacy classes of $U$ is a polynomial in $q$ with integer coefficients.
Let $A$ be a ring with $1\neq 0$, not necessarily finite, endowed with an involution~$*$, that is, an anti-automorphism of order $\leq 2$. Let $H_n(A)$ be the additive group of all $n\times n$ hermitian matrices over $A$ relative to $*$. Let ${\mathcal U}_n(A)$ be the subgroup of $\mathrm{GL}_n(A)$ of all upper triangular matrices with 1's along the main diagonal. Let $P=H_n(A)\rtimes {\mathcal U}_n(A)$, where ${\mathcal U}_n(A)$ acts on $H_n(A)$ by $*$-congruence transformations. We may view $P$ as a unipotent subgroup of either a symplectic group $\mathrm{Sp}_{2n}(A)$, if $*=1_A$ (in which c…
Let G be a simple algebraic group over an algebraically closed field k of bad characteristic. We classify the spherical unipotent conjugacy classes of G. We also show that if the characteristic of k is 2, then the fixed point subgroup of every involutorial automorphism (involution) of G is a spherical subgroup of G.
Let $U$ be a maximal unipotent subgroup of a connected semisimple group $G$ and $U'$ the derived group of $U$. We study actions of $U'$ on affine $G$-varieties. First, we consider the algebra of $U'$ invariants on $G/U$. We prove that $k[G/U]^{U'}$ is a polynomial algebra of Krull dimension $2r$, where $r=rk(G)$. A related result is that, for any simple finite-dimensional $G$-module $V$, $V^{U'}$ is a cyclic $U/U'$-module. Second, we study "symmetries" of Poincare series for $U'$-invariants on affine conical $G$-varieties. Third, we obtain a classification of simple $G$-modules $V$ with polyno…
We show that the definition of unipotent (resp. nilpotent) pieces for classical groups given by Lusztig (resp. Lusztig and the author) coincides with the combinatorial definition using closure relations on unipotent classes (resp. nilpotent orbits). Moreover we give a closed formula for a map from the set of unipotent classes (resp. nilpotent orbits) in characteristic 2 to the set of unipotent classes in characteristic 0 such that the fibers are the unipotent (resp. nilpotent) pieces.
Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p > 0$. We consider connected reductive subgroups $X$ of $G$ that contain a given distinguished unipotent element $u$ of $G$. A result of Testerman and Zalesski (Proc. Amer. Math. Soc., 2013) shows that if $u$ is a regular unipotent element, then $X$ cannot be contained in a proper parabolic subgroup of $G$. We generalize their result and show that if $u$ has order $p$, then except for two known examples which occur in the case $(G, p) = (C_2, 2)$, the subgroup $X$ cannot be contained in a proper para…
Geiss-Leclerc-Schroer defined the cluster algebra structure on the coordinate ring $C[N(w)]$ of the unipotent subgroup, associated with a Weyl group element $w$ and they proved cluster monomials are contained in Lusztig's dual semicanonical basis $S^{*}$. We give a set up for the quantization of their results and propose a conjecture which relates the quantum cluster algebras to the dual canonical basis ${B}^{up}$. In particular, we prove that the quantum analogue $O_{q}[N(w)]$ of ${C}[N(w)]$ has the induced basis from ${B}^{up}$, which contains quantum flag minors and satisfies a factorizatio…
We define geometric/unipotent crystal structure on unipotent subgroups of semi-simple algebraic groups. We shall show that in $A_n$-case, their ultra-discretizations coincide with crystals obtained by generalizing Young tableaux.
Let $U_n$ denote the group of $n\times n$ unipotent upper-triangular matrices over a fixed finite field $\FF_q$, and let $U_\cP$ denote the pattern subgroup of $U_n$ corresponding to the poset $\cP$. This work examines the superclasses and supercharacters, as defined by Diaconis and Isaacs, of the family of normal pattern subgroups of $U_n$. After classifying all such subgroups, we describe an indexing set for their superclasses and supercharacters given by set partitions with some auxiliary data. We go on to establish a canonical bijection between the supercharacters of $U_\cP$ and certain $\…
The fixed point variety of a regular unipotent element on a wonderful completion is investigated. For the wonderful completion of the quotient by a symmetric Levi subgroup, it is shown that the fixed point variety is $SL_2$-regular.
We make a study of unipotent elements in a connected reductive group over an algebraically closed field with emphasis on the case where the characteristic is a bad prime. We try to see how much of the theory of Dynkin-Kostant extends to this case. We also study the variety of Borel subgroups containing a unipotent element and prove a purity property for its cohomology in certain cases in bad characteristic.
Let $F$ be a field with at least three elements and $G$ a locally finite group. This paper aims to show that if either $F$ is algebraically closed or the characteristic of $F$ is positive, then an element in the group algebra $FG$ is a product of unipotent elements if, and only if, it? lies in the first derived subgroup of the unit group of $FG$. In addition, it? is a product of at most three unipotent elements. Moreover, we explore some crucial properties satisfied by certain algebras like the connection between unipotent elements of index 2 and commutators as well as we investigate the unipo…
Let G be a reductive algebraic group over the algebraic closure of a finite field F_q of good characteristic. In this paper, we demonstrate a remarkable compatibility between the Springer correspondence for G and the parametrization of unipotent characters of G(F_q). In particular, we show that in a suitable sense, "large" portions of these two assignments in fact coincide. This extends earlier work of Lusztig on Springer representations within special pieces of the unipotent variety.
Let $\bfG$ be a connected reductive algebraic group defined over $\F_q$, where $q$ is a power of a prime $p$ that is good for $\bfG$. Let $F$ be the Frobenius morphism associated with the $\FF_q$-structure on $\bfG$ and set $G = \bfG^F$, the fixed point subgroup of $F$. Let $\bfP$ be an $F$-stable parabolic subgroup of $\bfG$ and let $\bfU$ be the unipotent radical of $\bfP$; set $P = \bfP^F$ and $U = \bfU^F$. Let $G_\uni$ be the set of unipotent elements in $G$. In this note we show that the number of conjugacy classes of $U$ in $G_\uni$ is given by a polynomial in $q$ with integer coefficien…
We study a coarse moduli space of irreducible representations of the group of unipotent matrices of order $\mathbb{4}$ over the ring of integers which have finite weight. All such representations are known to be monomial. To describe a coarse moduli space of such representations, we need to study pairs of subgroups and their characters, which induce non-isomorphic irreducible representations. We obtain a full classification of such pairs and, respectively, a coarse moduli space.
Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman for unipotent elements in G; moreover, we show that the same formula determines the p-nilpotence degree of the corresponding nilpotent elements in the Lie algebra of G. Second, if G is semisimple and p is sufficiently large, we show that G always has a faithful representation (r,V) with the property that the exponential of dr(X) lies in r(G) for each p-nilpote…
We study the quotient of parabolic Deligne-Lusztig varieties by a finite unipotent group U^F where U is the unipotent radical of a rational parabolic subgroup P = L U. We show that in some particular cases the cohomology of this quotient can be expressed in terms of "smaller" parabolic Deligne-Lusztig varieties associated to the Levi subgroup L.
Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the method of Frobenius splitting and of global F-regularity.
Denote by $N \subset SL_k$ the subgroup of unipotent upper triangular matrices. In this paper, we show that the dual canonical basis of $\mathbb{C}[N]$ (and base affine spaces) can be parameterized by semi-standard Young tableaux. Moreover, we give an explicit formula for every element in the the dual canonical basis using the data of the corresponding semistandard Young tableau. We apply our results to study cluster variables in $\mathbb{C}[N]$.
The theme of the article is the study of the unipotent part of Arthur's trace formula for general linear groups. The case of regular (or "regular by blocks") unipotent orbits has been essentially done in a previous paper. Here we are interested by the contribution of Richardson orbits that are induced by Levi subgroups with two-by-two distinct blocks. In this case, the contribution is remarkably given by a global unipotent weighted orbital integral. As a corollary, we get integral formulas for some of Arthur's global coefficients. We also present a new construction of Arthur's local unipotent …
The statements of Main~Theorem~1.1 and Theorem~2.1 of the author's paper [\emph{Trans.\ Amer.\ Math.\ Soc.}\ {\bf 345} (1994) 577--594] should assume that $Γ$~is discrete and $G$~is connected. (Cors.~1.3, 5.6, and~5.8 are affected similarly.) These restrictions can be removed if the conclusions of the results are weakened to allow for the possible existence of transitive, proper subgroups of~$G$. In this form, the results can be extended to the setting where $G$ is a product of real and $p$-adic Lie groups.
We study the regular function ring $R(\mathcal{O})$ for all symplectic nilpotent orbits $\mathcal{O}$ with even column sizes. We begin by recalling the quantization model for all such orbits by Barbasch using unipotent representations. With this model, we express the multiplicities of fundamental representations appearing in $R(\mathcal{O})$ by a parabolically induced module. Finally, we will use this formula to give a criterion on the normality of the Zariski closure $\bar{\mathcal{O}}$ of $\mathcal{O}$.
Let $Φ$ be a classical root system and $k$ be a field of sufficiently large characteristic. Let $G$ be the classical group over $k$ with the root system $Φ$, $U$ be its maximal unipotent subgroup and $\mathfrak{u}$ be the Lie algebra of $U$. Let $D$ be an orthogonal subset of $Φ$ and $Ω$ be a coadjoint orbit of $U$ associated with $D$. We construct a polarization of $\mathfrak{u}$ at the canonical form on $Ω$. We also find the dimension of $Ω$ in terms of the Weyl group of $Φ$. As a corollary, we determine all possible dimensions of irreducible complex represenations of the group $U$ for the c…
A nonabelian Fourier transform for tempered unipotent representations, II
Sorbonne Université and Université Paris Cité, CNRS, Institut de Mathématiques de Jussieu – Paris Rive Gauche（索邦大学与巴黎西岱大学，法国国家科学研究中心，儒勒·德·阿让松数学研究所-巴黎左岸）；Mathematical Institute, University of Oxford（牛津大学数学研究所）；Department of Mathematics, King’s College London（伦敦国王学院数学系）
We derive a Murnaghan--Nakayama type formula for the values of unipotent characters of finite classical groups on regular semisimple elements. This relies on Asai's explicit decomposition of Lusztig restriction. We use our formula to show that most complex irreducible characters vanish on some $\ell$-singular element for certain primes $\ell$. As an application we classify the simple endotrivial modules of the finite quasi-simple classical groups. As a further application we show that for finite simple classical groups and primes $\ell\ge3$ the first Cartan invariant in the principal $\ell$-bl…
Assume $\mathbf{G}$ is a connected reductive algebraic group defined over an algebraic closure $\mathbb{K} = \overline{\mathbb{F}}_p$ of the finite field of prime order $p>0$. Furthermore, assume that $F : \mathbf{G} \to \mathbf{G}$ is a Frobenius endomorphism of $\mathbf{G}$. In this article we give a formula for the value of any $F$-stable character sheaf of $\mathbf{G}$ at a unipotent element. This formula is expressed in terms of class functions of $\mathbf{G}^F$ which are supported on a single unipotent class of $\mathbf{G}$. In general these functions are not determined, however we give …
Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p$. The classification of the conjugacy classes of unipotent elements of $G(k)$ and nilpotent orbits of $G$ on $\operatorname{Lie}(G)$ is well-established. One knows there are representatives of every unipotent class as a product of root group elements and every nilpotent orbit as a sum of root elements. We give explicit representatives in terms of a Chevalley basis for the eminent classes. A unipotent (resp. nilpotent) element is said to be eminent if it is not contained in any subsystem subgroup (re…
Let G_0 be a connected unipotent algebraic group over a finite field F_q, and let G be the unipotent group over an algebraic closure F of F_q obtained from G_0 by extension of scalars. If M is a Frobenius-invariant character sheaf on G, we show that M comes from an irreducible perverse sheaf M_0 on G_0, which is pure of weight 0. As M ranges over all Frobenius-invariant character sheaves on G, the functions defined by the corresponding perverse sheaves M_0 form a basis of the space of conjugation-invariant functions on the finite group G_0(F_q), which is orthonormal with respect to the standar…
The main result of this paper is a new parameterization of the orbits of a symmetric subgroup on a partial flag variety. The parameterization is in terms of certain Spaltenstein varieties, on one hand, and certain nilpotent orbits, on the other. One of the motivations is related to enumerating special unipotent representations of real reductive groups. Another motivation is understanding (a portion of) the closure order on the set of nilpotent coadjoint orbits.
Let $G$ be the symplectic group, $Φ=C_n$ its root system, $B\subset G$ its standard Borel subgroup, $W$ the Weyl group of $Φ$. To each involution $σ\in W$ one can assign the $B$-orbit $Ω_σ$ contained in the dual space of the Lie algebra of the unipotent radical of $B$. We prove that $Ω_σ$ is contained in the Zariski closure of $Ω_τ$ if and only of $σ\leqτ$ with respect to the Bruhat--Chevalley order. We also prove that $\dimΩ_σ$ is equal to $l(σ)$, the length of $σ$ in $W$.
We give a pattern avoidance criterion to classify the orbits of Sp(p,C) x Sp(q,C) (resp. GL(n,C)) on the flag variety of type C_{p+q} (resp. D_n) with rationally smooth closure. We show that all such orbit closures fiber (with smooth fiber) over a smaller flag variety, and hence are in fact smooth. In addition we prove that the classification is insensitive to isogeny.
We consider the groups G which arise from real semisimple Jordan algebras via the Tits-Koecher-Kantor construction. Such a G is characterized by the fact that it admits a parabolic subgroup P=LN which is conjugate to its opposite, and for which the nilradical N is abelian. In this situation, the Levi component L has a finite number of orbits on N; and each orbit carries a measure which transforms by a character under L. By Mackey theory the space of L2-functions on each orbit carries a natural irreducible unitary representation of P, and we consider the following two problems: (1) Extend this …
Let $\mathcal{U}$ be the unipotent variety of a complex reductive group $G$. Fix opposed Borel subgroups $B_\pm \subseteq G$ with unipotent radicals $U_\pm$. The map that sends $x_+x_- \mapsto x_+x_-x_+^{-1}$ for all $x_\pm \in U_\pm$ restricts to a map from $U_+U_- \cap gB_+$ into $\mathcal{U} \cap gB_+$, for any $g$. We conjecture that the restricted map forms half of a homotopy equivalence between these varieties, and thus, induces a weight-preserving isomorphism between their compactly-supported cohomologies. Noting that the map is equivariant with respect to certain actions of $B_+ \cap g…
The degenerate Lie group is a semidirect product of the Borel subgroup with the normal abelian unipotent subgroup. We introduce a class of the highest weight representations of the degenerate group of type A, generalizing the PBW-graded representations of the classical group. Following the classical construction of the flag varieties, we consider the closures of the orbits of the abelian unipotent subgroup in the projectivizations of the representations. We show that the degenerate flag varieties $\Fl^a_n$ and their desingularizations $R_n$ can be obtained via this construction. We prove that …
Let $Γ$ be a discrete subgroup of a simply connected, solvable Lie group~$G$, such that $\Ad_GΓ$ has the same Zariski closure as $\Ad G$. If $α\colon Γ\to \GL_n(\real)$ is any finite-dimensional representation of~$Γ$,we show that $α$ virtually extends to a continuous representation~$σ$ of~$G$. Furthermore, the image of~$σ$ is contained in the Zariski closure of the image of~$α$. When $Γ$ is not discrete, the same conclusions are true if we make the additional assumption that the closure of $[Γ, Γ]$ is a finite-index subgroup of $[G,G] \cap Γ$ (and $Γ$ is closed and $α$ is continuous).
Let $\mathbf{G}$ be a connected reductive algebraic group over an algebraic closure $\overline{\mathbb{F}_p}$ of the finite field of prime order $p$ and let $F : \mathbf{G} \to \mathbf{G}$ be a Frobenius endomorphism with $G = \mathbf{G}^F$ the corresponding $\mathbb{F}_q$-rational structure. One of the strongest links we have between the representation theory of $G$ and the geometry of the unipotent conjugacy classes of $\mathbf{G}$ is a formula, due to Lusztig, which decomposes Kawanaka's Generalised Gelfand-Graev Representations (GGGRs) in terms of characteristic functions of intersection c…
It is well-known that the representation theory of the finite group of unipotent upper-triangular matrices $U_n$ over a finite field is a wild problem. By instead considering approximately irreducible representations (supercharacters), one obtains a rich combinatorial theory analogous to that of the symmetric group, where we replace partition combinatorics with set-partitions. This paper studies the supercharacter theory of a family of subgroups that interpolate between $U_{n-1}$ and $U_n$. We supply several combinatorial indexing sets for the supercharacters, supercharacter formulas for these…
