The aim of this paper is to put some recent results of Huang-Pandzic (conjectured by Vogan) and Kostant on Dirac cohomology in a broader perspective.This is achieved by introducing an induction functor in the noncommutative equivariant cohomology. In this context, the results of Huang-Pandzic and Kostant are interpreted as special cases (corresponding to the manifold being a point) of more general results on noncommutative equivariant cohomology introduced by Alekseev-Meinrenken.
Lusztig proved the compatibility of induction functors and restriction functors for Lusztig's perverse sheaves. Fang-Lan-Xiao established a categorification of Green's formula and gave a sheaf-level proof of this compatibility for all semisimple complexes. As an application, we study the relation between induction functors and derivation functors, which is a kind of special restriction functors.
Let G be a reductive group and L a Levi subgroup. Parabolic induction and restriction are a pair of adjoint functors between Ad-equivariant derived categories of either constructible sheaves or (not necessarily holonomic) D-modules on G and L, respectively. Bezrukavnikov and Yom Din proved, generalizing a classic result of Lusztig, that these functors are exact. In this paper, we consider a special case where L=T is a maximal torus. We give explicit formulas for parabolic induction and restriction in terms of the Harish-Chandra D-module on G x T. We show that this module is flat over D(T), whi…
We define the induction and restriction functors for cyclotomic q-Schur algebras, and study some properties of them. As an application, we categorify a higher level Fock space by using the module categories of cyclotomic q-Schur algebras.
We review the Beilinson-Ginzburg construction of equivariant derived categories of Harish-Chandra modules, and introduce analogues of Zuckerman functors in this setting. They are given by an explicit formula, which works equally well in the case of modules with a given infinitesimal character, which is important if one wants to apply Beilinson-Bernstein localization. We also show how to recover the usual Zuckerman functors from the equivariant ones by passing to cohomology.
We prove an Induction Equivalence and a Kashiwara Equivalence for coadmissible equivariant D-modules on rigid analytic spaces. This allows us to completely classify such objects with support in a single orbit of a classical point with co-compact stabiliser. As an application, we use the locally analytic Beilinson-Bernstein equivalence to construct new examples of large families of topologically irreducible locally analytic representations of certain compact semisimple p-adic Lie groups.
The classical parabolic induction functor is a fundamental tool on the representation theoretic side of the Langlands program. In this article, we study its derived version. It was shown by the second author that the derived category of smooth $G$-representations over $k$, $G$ a $p$-adic reductive group and $k$ a field of characteristic $p$, is equivalent to the derived category of a certain differential graded $k$-algebra $H_G^\bullet$, whose zeroth cohomology is a classical Hecke algebra. This equivalence predicts the existence of a derived parabolic induction functor on the dg Hecke algebra…
We use geometric parabolic induction functors and the adjoint functors for the supergroups Osp(2m+1,2n) (where m and n vary) to categorify the action of the infinite-dimensional Clifford algebra on the Fock space of semi-infinite forms.
Free and cofree equivariant spectra are important classes of equivariant spectra which represent equivariant cohomology theories on free equivariant spaces. Greenlees-Shipley and Pol and the author have given an algebraic model for rational (co)free equivariant spectra. In this paper, we extend this framework by proving that the Quillen functors of induction-restriction-coinduction between categories of (co)free rational equivariant spectra correspond to Quillen functors between the algebraic models in the case of connected compact Lie groups. This is achieved using new abstract techniques reg…
In this paper we study a toy categorical version of Lusztig's induction and restriction functors for character sheaves, but in the abstract setting of multifusion categories. Let $\mathscr{C}$ be an indecomposable multifusion category and let $\mathscr{M}$ be an invertible $\mathscr{C}$-bimodule category. Then the center $\mathscr{Z}_{\mathscr{C}}(\mathscr{M})$ of $\mathscr{M}$ with respect to $\mathscr{C}$ is an invertible module category over the Drinfeld center $\mathscr{Z}(\mathscr{C})$ which is a braided fusion category. Let $ζ_{\mathscr{M}}:\mathscr{Z}_{\mathscr{C}}(\mathscr{M})\longrigh…
In this article we define the $-_+$-construction and the $-^+$-construction, that was crucial in the theory of canonical induction formulas (see \cite{Boltje1998b}), in the setting of biset functors, thus providing the necessary framework to define and construct canonical induction formulas for representation rings that are most naturally viewed as biset functors. Additionally, this provides a unified approach to the study of a class of functors including the Burnside ring, the monomial Burnside ring and global representation ring.
Let G be the group of rational points of a reductive connected group over a finite field (resp. nonarchimedean local field of characteristic p) and R a commutative ring. The unipotent (resp. pro-p Iwahori) invariant functor takes a smooth representation of G to a module over the unipotent (resp. pro-p Iwahori) Hecke R-algebra H of G. We prove that these functors for G and for a Levi subgroup of G commute with the parabolic induction functors, as well as with the right adjoints of the parabolic induction functors. However, they do not commute with the left adjoints of the parabolic induction fu…
We identify the group of homomorphisms $\operatorname{Hom}_{\mathcal{GF}}(F,\mathbf{RU}_{\mathbb Q})$ in the category of ($\operatorname{fin}$)-global functors to the rationalization of the unitary representation ring functor and deduce that the higher $\operatorname{Ext}$-groups $\operatorname{Ext}^n_{\mathcal{GF}}(F,\mathbf{RU}_{\mathbb Q})$, $n\geq 2$ have to vanish. This leads to a rational splitting of the ($\operatorname{fin}$)-global equivariant $K$-theory spectrum into a sum of Eilenberg-MacLane spectra. Interpreted in terms of cohomology theories, it means that the equivariant Chern c…
Let $G$ be a $p$-adic reductive group. We determine the extensions between admissible smooth mod $p$ representations of $G$ parabolically induced from supersingular representations of Levi subgroups of $G$, in terms of extensions between representations of Levi subgroups of $G$ and parabolic induction. This proves for the most part a conjecture formulated by the author in a previous article and gives some strong evidence for the remaining part. In order to do so, we use the derived functors of the left and right adjoints of the parabolic induction functor, both related to Emerton's $δ$-functor…
We prove that the parabolic induction functor on BGG-category $\mathcal{O}$ associated to a complex reductive Lie algebra is gradable, that is, lifts to graded category $\mathcal{O}$ as constructed by Beilinson-Ginzburg-Soergel. Graded category $\mathcal{O}$ is equivalent to a category of stratified mixed Tate motives on a corresponding flag variety as recently defined by Soergel-Wendt. The graded version of parabolic induction is induced by a geometric parabolic induction functor we construct on the level of stratified mixed Tate motives. We also describe the effect of parabolic induction on …
Let $G$ be a finite group and $\mathbb{K}$ a field of characteristic zero. the ring $R_\mathbb{K}(G)$ of virtual characters of $G$ over $\mathbb{K}$ is naturally endowed with a so-called Grothendieck filtration, with associated graded ring $R^*_\mathbb{K}(G)$. Restriction of representations to any $H\leq G$ induces a homomorphism $R^*_\mathbb{K}(G) \to R^*_\mathbb{K}(H)$. We show that, when $G$ is abelian, induction of representations preserves the filtration, so $R^*_\mathbb{C}(-)$ is a Mackey functor; in the general case, we propose a modified filtration which turns $R^*_\mathbb{K}(-)$ into …
Let G be a compact Lie group. We present two induction theorems for certain generalized G-equivariant cohomology theories. The theory applies to G-equivariant K-theory K_G, and to the Borel cohomology associated to any complex oriented cohomology theory. The coefficient ring of K_G is the representation ring R(G) of G. When G is a finite group the induction theorems for K_G coincide with the classical Artin and Brauer induction theorems for R(G).
Cellular categories are a generalization of cellular algebras, which include a number of important categories such as (affine)Temperley-Lieb categories, Brauer diagram categories, partition categories, the categories of invariant tensors for certain quantised enveloping algebras and their highest weight representations, Hecke categories and so on. The common feather is that, for most of the examples, the endomorphism algebras of the categories form a tower of algebras. In this paper, we give an axiomatic framework for the cellular categories related to the quasi-hereditary tower and then study…
We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant v…
We construct the polynomial induction functor, which is the right adjoint to the restriction functor from the category of polynomial representations of a general linear group to the category of representations of its Weyl group. This construction leads to a representation-theoretic proof of Littlewood's plethystic formula for the multiplicity of an irreducible representation of the symmetric group in such a restriction. The unimodality of certain bipartite partition functions follows.
We establish Green equivalences for all Mackey 2-functors, without assuming Krull-Schmidt. By running through the examples of Mackey 2-functors, we recover all variants of the Green equivalence and Green correspondence known in representation theory and obtain new ones in several other contexts. Such applications include equivariant stable homotopy theory in topology and equivariant sheaves in geometry.
A W-algebra is an associative algebra constructed from a semisimple Lie algebra and its nilpotent element. This paper concentrates on the study of 1-dimensional representations of these algebras. Under some conditions on a nilpotent element (satisfied by all rigid elements) we obtain a criterium for a finite dimensional module to have dimension 1. It is stated in terms of the Brundan-Goodwin-Kleshchev highest weight theory. This criterium allows to compute highest weights for certain completely prime primitive ideals in universal enveloping algebras. We make an explicit computation in a specia…
Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a t…
Transfer of abelian model structures to equivariant categories and homotopy squares
Huaqiao University（华侨大学）；Hunan Normal University（湖南师范大学）；Gansu Center for Fundamental Research in Complex Systems Analysis and Control, Lanzhou Jiaotong University（兰州交通大学复杂系统分析与控制甘肃省基础研究中心）；Zhejiang Normal University（浙江师范大学）
For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent completeness condition, the adjoint pair $(F, G)$ is monadic. This applies to the comparison between the derived category of the category of equivariant objects in an abelian category and the category of equivariant objects in the derived category of the abelian category.
If $G$ is a group acting on a tree $X$, and ${\mathcal S}$ is a $G$-equivariant sheaf of vector spaces on $X$, then its compactly-supported cohomology is a representation of $G$. Under a finiteness hypothesis, we prove that if $H_c^0(X, {\mathcal S})$ is an irreducible representation of $G$, then $H_c^0(X, {\mathcal S})$ arises by induction from a vertex or edge stabilizing subgroup. If $G$ is a reductive group over a nonarchimedean local field $F$, then Schneider and Stuhler realize every irreducible supercuspidal representation of $G(F)$ in the degree-zero cohomology of a $G(F)$-equivariant …
Let $G$ be a finite group. To any family $\mathscr{F}$ of subgroups of $G$, we associate a thick $\otimes$-ideal $\mathscr{F}^{\mathrm{Nil}}$ of the category of $G$-spectra with the property that every $G$-spectrum in $\mathscr{F}^{\mathrm{Nil}}$ (which we call $\mathscr{F}$-nilpotent) can be reconstructed from its underlying $H$-spectra as $H$ varies over $\mathscr{F}$. A similar result holds for calculating $G$-equivariant homotopy classes of maps into such spectra via an appropriate homotopy limit spectral sequence. In general, the condition $E\in \mathscr{F}^{\mathrm{Nil}}$ implies strong …
The Emerton-Jacquet functor is a tool for studying locally analytic representations of p-adic Lie groups. It provides a way to access the theory of p-adic automorphic forms. Here we give an adjunction formula for the Emerton-Jacquet functor, relating it directly to locally analytic inductions, under a strict hypothesis that we call non-critical. We also further study the relationship to socles of principal series in the non-critical setting.
In the first part of this series, we defined an equivariant index without assuming the group acting or the orbit space of the action to be compact. This allowed us to generalise an index of deformed Dirac operators, defined for compact groups by Braverman. In this paper, we investigate properties and applications of this index. We prove that it has an induction property that can be used to deduce various other properties of the index. In the case of compact orbit spaces, we show how it is related to the analytic assembly map from the Baum-Connes conjecture, and an index used by Mathai and Zhan…
