The paper was motivated by a question of Vilonen, and the main results have been used by Mirkovic and Vilonen to give a geometric interpretation of the dual group (as a Chevalley group over Z) of a reductive group. We define a quasi-reducitve group over a discrete valuation ring R to be an affine flat group scheme over R such that (i) the fibers are of finite type and of the same dimension; (ii) the generic fiber is smooth and connected, and (iii) the netural component of the reduced special fiber is a reductive group.
We show that such a group scheme is of finite type over R, the generic fiber is a reductive group, the special fiber is connected, and the group scheme is smooth over R in most cases, for example when the residue characteristic is not 2, or when the generic fiber and reduced special fiber are of the same type as reductive groups. We also obtain results about group schemes over a Dedekind scheme or a noetherian scheme. We show that in residue characteristic 2 there are indeed non-smooth quasi-reductive groups and they can be classified when R is strictly henselian.
We prove the Grothendieck-Serre conjecture for quasi-split reductive groups schemes. Our method involves reducing to the Borel subgroup in order to conclude the result from purity for tori and the structure theorem for unipotent radicals of parabolic subgroups in a reductive group.
We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group.
We say that a finite dimensional Lie algebra is quasi-reductive if it has a linear form whose stabilizer for the coadjoint representation, modulo the center, is a reductive Lie algebra with a center consisting of semisimple elements. Parabolic subalgebras of a semisimple Lie algebra are not always quasi-reductive (except in types A or C by work of Panyushev). The classification of quasi-reductive parabolic subalgebras in the classical case has been recently achieved in unpublished work of Duflo, Khalgui and Torasso. In this paper, we investigate the quasi-reductivity of biparabolic subalgebras…
Among connected linear algebraic groups, quasi-reductive groups generalize pseudo-reductive groups, which in turn form a useful relaxation of the notion of reductivity. We study quasi-reductive groups over non-archimedean local fields, focusing on aspects involving their locally compact topology. For such groups we construct valuated root data (in the sense of Bruhat--Tits) and we make them act nicely on affine buildings. We prove that they admit Iwasawa and Cartan decompositions, and we construct small compact open subgroups with an Iwahori decomposition. We also initiate the smooth represent…
By a quasi-connected reductive group (a term of Labesse) over an arbitrary field we mean an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group. We compute the first Galois cohomology set H^1(R,G) of a quasi-connected reductive group G over the field R of real numbers in terms of a certain action of a subgroup of the Weyl group on the Galois cohomology of a fundamental quasi-tor…
In this paper we determine the scheme-theoretic fixed points of pinned reductive group schemes acted upon by a group of pinning-preserving automorphisms. The results are used in a companion paper to establish a ramified geometric Satake equivalence with integral or modular coefficients.
A connected algebraic group Q defined over a field of characteristic zero is quasi-reductive if there is an element of its dual of reductive type, that is such that the quotient of its stabiliser by the centre of Q is a reductive subgroup of GL(q), where q=Lie(Q). Due to results of M. Duflo, coadjoint representation of a quasi-reductive Q possesses a so called maximal reductive stabiliser and knowing this subgroup, defined up to a conjugation in Q, one can describe all coadjoint orbits of reductive type. In this paper, we consider quasi-reductive parabolic subalgebras of simple complex Lie alg…
We give a detailed description of the torsors that correspond to multiloop algebras. These algebras are twisted forms of simple Lie algebras extended over Laurent polynomial rings. They play a crucial role in the construction of Extended Affine Lie Algebras (which are higher nullity analogues of the affine Kac-Moody Lie algebras). The torsor approach that we take draws heavily for the theory of reductive group schemes developed by M. Demazure and A. Grothendieck. It also allows us to find a bridge between multiloop algebras and the work of J. Tits on reductive groups over complete local fields…
For a connected reductive group G and a finite-dimensional G-module V, we study the invariant Hilbert scheme that parameterizes closed G-stable subschemes of V affording a fixed, multiplicity-finite representation of G in their coordinate ring. We construct an action on this invariant Hilbert scheme of a maximal torus T of G, together with an open T-stable subscheme admitting a good quotient. The fibers of the quotient map classify affine G-schemes having a prescribed categorical quotient by a maximal unipotent subgroup of G. We show that V contains only finitely many multiplicity-free G-subva…
We show that, for an arbitrary quasi-reductive Lie superalgebra with a triangular decomposition and a character $ζ$ of the nilpotent radical, the associated Backelin functor $Γ_ζ$ sends Verma modules to standard Whittaker modules provided the latter exist. As a consequence, this gives a complete solution to the problem of determining the composition factors of the standard Whittaker modules in terms of composition factors of Verma modules in the category $\mathcal O$. In the case of the ortho-symplectic Lie superalgebras, we show that the Backelin functor $Γ_ζ$ and its target category, respect…
We present a unified parametrisation of $\ell$-blocks of quasi-simple finite groups of Lie type in non-defining characteristic via Lusztig's induction functor in terms of $e$-Jordan-cuspidal pairs and $e$-Jordan quasi-central cuspidal pairs.
Invariant deformation theory of affine schemes with reductive group action
Institut für Algebraische Geometrie Gottfried Wilhelm Leibniz Universität Hannover（汉诺威莱布尼茨大学代数几何研究所）；Institut für Mathematik Johannes Gutenberg-Universität Mainz（美因茨约翰内斯·古腾堡大学数学研究所）
We generalize the Białynicki-Birula decomposition from actions of $G_m$ on smooth varieties to actions of linearly reductive group ${\bf G}$ on finite type schemes and algebraic spaces. We also provide a relative version and briefly discuss the case of algebraic stacks. We define the Białynicki-Birula decomposition functorially: for a fixed ${\bf G}$-scheme $X$ and a monoid $\overline{\bf G}$ which partially compactifies ${\bf G}$, the BB decomposition parameterizes ${\bf G}$-schemes over $X$ for which the ${\bf G}$-action extends to the $\overline{\bf G}$-action. The freedom of choice of $\ov…
The category of perverse sheaves on the affine Grassmannian of a complex reductive group $G$ gives a canonical geometric construction of the split form of the Langlands dual group $\check G_\bZ$ over the integers. Given a field $k$, we give a Tannakian construction of the quasi-split forms of $\check G_k$, as well as a construction of the gerbe associated to an inner form of $\check G_k$.
Let G be a connected reductive group over an algebraic closure of a finite field Fq. In this paper it is proved that the infinite dimensional Steinberg module of kG defined by N. Xi in 2014 is irreducible when k is a field of positive characteristic and char k is not char Fq. For certain special linear groups, we show that the Steinberg modules of the groups are not quasi-finite with respect to some natural quasi-finite sequences of the groups.
Lusztig has given a construction of certain representations of reductive groups over finite local principal ideal rings of characteristic p, extending the construction of Deligne and Lusztig of representations of reductive groups over finite fields. We generalize Lusztig's results to reductive groups over arbitrary finite local rings. This generalization uses the Greenberg functor and the theory of group schemes over Artinian local rings.
Let K be an algebraically closed field of characteristic 0. It is well known that any quasi-reductive Lie algebra is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equivalence between stability and quasi-reductivity. In particular, it was conjectured by Panyushev that these two notions are equivalent for biparabolic subalgebras of a reductive Lie algebra. In this paper, we give a positive answer to this conjecture.
In one article, the author has defined an L-group associated to a cover of a quasisplit reductive group over a local or global field. In another article, Wee Teck Gan and Fan Gao define (following an unpublished letter of the author) an L-group associated to a cover of a pinned split reductive group over a local or global field. In this short note, we give an isomorphism between these L-groups. In this way, the results and conjectures discussed by Gan and Gao are compatible with those of the author. Both support the same Langlands-type conjectures for covering groups.
Let (G,V) be a regular prehomogeneous vector space (abbreviated to PV), where G is a connected reductive algebraic group over C. If $V= \oplus_{i=0}^{n}V_{i}$ is a decomposition of V into irreducible representations, then, in general, the PV's $(G,V_{i})$ are no longer regular. In this paper we introduce the notion of quasi-irreducible PV (abbreviated to Q-irreducible), and show first that for completely Q-reducible PV's, the Q-isotopic components are intrinsically defined, as in ordinary representation theory. We also show that, in an appropriate sense, any regular PV is a direct sum of quasi…
The motivation of this work is to construct an analog of compactified moduli of abelian varieties and toric pairs in the case of non-commutative algebraic group G. We introduce a class of "stable reductive varieties" which contain connected reductive groups and their equivariant compactifications, and is closed under flat reduced degenerations. We classify them all, describe their degenerations, and establish a connection between these varieties and "reductive semigroups" which we also define. Finally, we construct a Hilbert scheme of embedded G-varieties by applying and generalizing a constru…
Suppose that $\tilde{G}$ is a connected reductive group defined over a field $k$, and $Γ$ is a finite group acting via $k$-automorphisms of $\tilde{G}$ satisfying a certain quasi-semisimplicity condition. Then the connected part of the group of $Γ$-fixed points in $\tilde{G}$ is reductive. We axiomatize the main features of the relationship between this fixed-point group and the pair $(\tilde{G},Γ)$, and consider any group $G$, not just the $Γ$-fixed points of $\tilde{G}$, satisfying the axioms. (In fact, the axioms do not require $Γ$ to act on all of $\tilde{G}$.) If both $\tilde{G}$ and $G$ …
Let \hat G be the semidirect product of a connected reductive group G over F_q with a finite cyclic group generated by a quasisemisimple automorphism of G defined over F_q. In this paper we prove a conjecture of G. Malle concerning the extensions of unipotent representations of G(F_q) to \hat G(F_q).
In this paper we establish a connection between the associated variety of a representation and the existence of certain degenerate Whittaker functionals, for both smooth and K-finite vectors, for all quasi-split real reductive groups, thereby generalizing results of Kostant, Matumoto and others.
We incorporate nonlinear covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. This L-group is an extension of the absolute Galois group of a local or global field $F$ by a complex reductive group. The L-group depends on an extension of a quasisplit reductive $F$-group by $\mathbf{K}_2$, a positive integer $n$ (the degree of the cover), an injective character $ε\colon μ_n \rightarrow {\mathbb C}^\times$, and a separable closure of $F$. Our L-group is consistent with previous work on covering groups, and its construction is contravaria…
Let $\frak g$ be a reductive Lie algebra over an algebraically closed field of characteristic $p>0$. In this paper, we study the representations of $\frak g$ with a $p$-character $χ$ of standard Levi form associated with a given subset $I$ of the simple root system $Π$ of $\frak g$. Let $U_χ({\frak g})$ be the reduced enveloping algebra of $\frak g$. A notion "quasi-simple module" (denoted by $\mathcal L_χ(λ)$) is introduced. The properties of such a module turn out to be better than those of the corresponding simple module $\widehat L_χ(λ)$. It enables us to investigate the $U_χ({\frak g})$-m…
Construction of matryoshka nested indecomposable N-replications of Kac-modules of quasi-reductive Lie superalgebras, including the sl(m/n) and osp(2/2n) series
本文构造了一类新的有限维不可分解表示，通过递归嵌入 N 个不可约表示副本并用广义 Cabibbo 角耦合，以解释标准模型中三代费米子的存在，并将构造推广到拟约化李超代数。
We prove that the nilpotent commuting variety of a reductive Lie algebra over an algebraically closed field of good characteristic is equidimensional. In characteristic zero, this confirms a conjecture of Vladimir Baranovsky. As a by-product, we obtain tat the punctual (local) Hilbert scheme parametrising the ideals of colength $n$ in $k[[X,Y]]$ is irreducible over any algebraically closed field $k$.
Let $\widehat{G}$ be a connected reductive group over an algebraically closed field with a pinning-preserving outer automorphism $σ$. Jantzen's twining character formula relates the trace of the action of $σ$ on a highest-weight representation $V_μ$ of $\widehat{G}$ to the character of a corresponding highest-weight representation $(V_σ)_μ$ of a related group $\widehat{G^{σ, \circ}}$. This paper extends the methods of Hong's geometric proof for the case $\widehat{G}$ is adjoint, to prove that the formula holds for all connected reductive groups, and examines the role of additional hypotheses. …
We study in this paper the jet schemes of the closure of nilpotent orbits in a finite-dimensional complex reductive Lie algebra. For the nilpotent cone, which is the closure of the regular nilpotent orbit, all the jet schemes are irreducible. This was first observed by Eisenbud and Frenkel, and follows from a strong result of Mustautca (2001). Using induction and restriction of "little" nilpotent orbits in reductive Lie algebras, we show that for a large number of nilpotent orbits, the jet schemes of their closure are reducible. As a consequence, we obtain certain geometrical properties of the…
Let $\mathbb{K}$ be an algebraically closed field of characteristic 0. A finite dimensional Lie algebra $\mathfrak{g}$ over $\mathbb{K}$ is said to be stable if there exists a linear form $g\in\mathfrak{g}^{*}$ and a Zariski open subset in $\mathfrak{g}^{*}$ containing $g$ in which all elements have their stabilizers conjugated under the connected adjoint group. It is well known that any quasi-reductive Lie algebra is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equiv…
Let $G$ be a connected reductive complex algebraic group. This paper is part of a project devoted to the space $Z$ of meromorphic quasimaps from a curve into an affine spherical $G$-variety $X$. The space $Z$ may be thought of as an algebraic model for the loop space of $X$. The theory we develop associates to $X$ a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The construction of $\check H$ is via Tannakian formalism: we identify a certain tensor category $Q(Z)$ of perverse sheaves on $Z$ with the category of finite-dimensional representations of $\ch…
In this paper, we begin with the classification of Harish-Chandra imprimitive representations in non-defining characteristic. We recall the connection of this problem to certain generalizations of Iwahori-Hecke algebras and show that Harish-Chandra induction is compatible with the Morita equivalence by Bonnafé and Rouquier, thus reducing the classification problem to quasi-isolated blocks. Afterwards, we consider imprimitivity of unipotent representations of certain classical groups. In the case of general linear and unitary groups, our reduction methods then lead to results for arbitrary Lusz…
Let $G$ be the linear algebraic group $SL_3$ over a field $k$ of characteristic two. Let $A$ be a finitely generated commutative $k$-algebra on which $G$ acts rationally by $k$-algebra automorphisms. We show that the full cohomology ring $H^*(G,A)$ is finitely generated. This extends the finite generation property of the ring of invariants $A^G$. We discuss where the problem stands for other geometrically reductive group schemes.
We incorporate covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. We work with all covers that arise from extensions of quasisplit reductive groups by $\mathbf{K}_2$ -- the class studied by Brylinski and Deligne. We use this L-group to parameterize genuine irreducible representations in many contexts, including covers of split tori, unramified representations, and discrete series for double covers of semisimple groups over $\mathbb R$. An appendix surveys torsors and gerbes on the étale site, as they are used in the construction of…
Let $G$ be a reductive algebraic group over a $p$-adic field or number field $K$, and let $V$ be a $K$-linear faithful representation of $G$. A lattice $Λ$ in the vector space $V$ defines a model $\hat{G}_Λ$ of $G$ over $\mathscr{O}_K$. One may wonder to what extent $Λ$ is determined by the group scheme $\hat{G}_Λ$. In this paper we prove that up to a natural equivalence relation on the set of lattices there are only finitely many $Λ$ corresponding to one model $\hat{G}_Λ$. Furthermore, we relate this fact to moduli spaces of abelian varieties as follows: let $\mathscr{A}_{g,n}$ be the moduli …
We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.
Eaton and Moretó proposed an extension of Brauer's famous height zero conjecture on blocks of finite groups to the case of non-abelian defect groups, which predicts the smallest non-zero height in such blocks in terms of local data. We show that their conjecture holds for principal blocks of quasi-simple groups, for all blocks of finite reductive groups in their defining characteristic, as well as for all covering groups of symmetric and alternating groups. For the proof, we determine the minimal non-trivial character degrees of Sylow $p$-subgroups of finite reductive groups in characteristic~…
In this paper, we explore natural connections among the representations of the extended affine Lie algebra $\widehat{sl_N}(\mathbb{C}_q)$ with $\mathbb{C}_q=\mathbb{C}_q[t_0^{\pm1},t_1^{\pm1}]$ an irrational quantum 2-torus, the simple affine vertex algebra $L_{\widehat{sl_{\infty}}}(\ell,0)$ with $\ell$ a positive integer, and Levi subgroups $G$ of $GL_\ell(\mathbb{C})$. First, we give a canonical isomorphism between the category of integrable restricted $\widehat{sl_N}(\mathbb{C}_q)$-modules of level $\ell$ and that of equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-modules. Second, we…
It is well known that if G is a finite group then the group of endotrivial modules is finitely generated. In this paper we investigate endotrivial modules over arbitrary finite group schemes. Our results can be applied to computing the endotrivial group for several classes of infinitesimal group schemes which include the Frobenius kernels of parabolic subgroups, and their unipotent radicals(for reductive algebraic groups). For G reductive, we also present a classification of simple, induced/Weyl and tilting modules (G-modules) which are endotrivial over the Frobenius kernel G_r of G.
Let $\mathcal{O}_2$ and $\mathcal{O}'_2$ be two distinct finite local rings of length two with residue field of characteristic $p$. Let $\mathbb{G}(\mathcal{O}_2)$ and $\mathbb{G}(\mathcal{O}'_2)$, be the group of points of any reductive group scheme $\mathbb{G}$ over $\mathbb{Z}$ such that $p$ is very good for $\mathbb{G} \times \mathbb{F}_q$. We prove that there exists an isomorphism of group algebra $K[\mathbb{G}(\mathcal{O}_2)] \cong K[\mathbb{G}(\mathcal{O}'_2)]$, where $K$ is a sufficiently large field of characteristic different from $p$.
Let $G$ be a reductive group scheme of type $A$ acting on a spherical scheme $X$. We prove that there exists a number $C$ such that the multiplicity $\dim Hom(ρ,\mathbb{C}[X(F)])$ is bounded by $C$, for any finite field $F$ and any irreducible representation $ρ$ of $G(F)$. We give an explicit bound for $C$. We conjecture that this result is true for any reductive group scheme and when $F$ ranges (in addition) over all local fields of characteristic $0$.
