We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also classify such representations under a certain condition. The number of the equivalence classes of irreducible representations is finite, and is determined by the cohomology of the manifold.
We determine the cohomology of Deligne-Lusztig varieties associated to some short-length regular elements for split groups of type F4 and En. As a byproduct, we obtain conjectural Brauer trees for the principal Phi_{14}-block of E7 and the principal Phi_{24}-block of E8.
We study the cohomology of parabolic Deligne-Lusztig varieties associated to unipotent blocks of GLn(q). We show that the geometric version of Broué's conjecture over Q_\ell, together with Craven's formula, holds for any unipotent block whenever it holds for the principal Phi_1-block, that is for the variety X(π).
In this article, we study the mod $\ell$ cohomology of some Deligne-Lusztig varieties for $\operatorname{GL}_n(q)$. We prove that the cohomology groups of these varieties are torsion-free under some conditions on the characteristic. Under the torsion-free assumption we can compute the cohomology groups explicitly and we prove that the cohomology complex satisfies partial-tilting condition, which is one of the necessary conditions in the geometric version of Broué's abelian defect group conjecture.
We formulate a strong positivity conjecture on characters afforded by the Alvis-Curtis dual of the intersection cohomology of Deligne-Lusztig varieties. This conjecture provides a powerful tool to determine decomposition numbers of unipotent $\ell$-blocks of finite reductive groups.
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of GL_2. At first we determine all such varieties up to isomorphy. After this we investigate the representations of the sigma-stabilizer of an element b of the group on the etale cohomology of the affine Deligne-Lusztig variety X_w(b). We describe such representations as inductions from compact subgroups and in terms of noncuspidal representations.
In this note we show that the theory of non abelian extensions of a Lie algebra $\mathfrak{g}$ by a Lie algebra $\mathfrak{h}$ can be understood in terms of a differential graded Lie algebra $L$. More precisely we show that the non-abelian cohomology $H^2_{nab}(\mathfrak{g},\mathfrak{h})$ is $\mathcal{MC}(L)$, the $π_0$ of the Deligne groupoid of $L$.
We prove several conjectures about the cohomology of Deligne-Lusztig varieties: invariance under conjugation in the braid group, behaviour with respect to translation by the full twist, parity vanishing of the cohomology for the variety associated with the full twist. In the case of split groups of type $A$, and using previous results of the second author, this implies Broué-Michel's conjecture on the disjointness of the cohomology for the variety associated to any good regular element. That conjecture was inspired by Broué's abelian defect group conjecture and the specific form Broué conjectu…
Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe a logarithmic $F$-crystal on $Y$ whose rational crystalline cohomology is the rigid cohomology of $X$, in particular provides a natural $W[F]$-lattice inside the latter; here $W$ is the Witt vector ring of $k$. If a finite group $G$ acts compatibly on $X$, $Y^0$ and $Y$ then our construction is $G$-equivariant. As an example we apply it to Deligne-Lusztig va…
We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne--Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne--Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes $X_h$. Boyarchenko's two conjectures are on the maximality of $X_h$ and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invarian…
Let $G$ be a reductive group over a finite field with a maximal unipotent subgroup $U$, we consider certain sheaves on $G/U$ defined by Kazhdan and Laumon and show that their cohomology produces the cohomology of the Deligne-Lusztig varieties. We then use this comparison to give a new proof of a result of Dudas.
We study the cohomology of Deligne-Lusztig varieties with aim the construction of actions of Hecke algebras on such cohomologies, as predicted by the conjectures of Broué, Malle and Michel ultimately aimed at providing an explicit version of the abelian defect conjecture. We develop the theory for varieties associated to elements of the braid monoid and partial compactifications of them. We are able to compute the cohomology of varieties associated to (possibly twisted) rank 2 groups and powers of the longest element $w\_0$ (some indeterminacies remain for $G\_2$). We use this to construct Hec…
Using non-commutative differential forms, we construct a complex called singular Hochschild cochain complex for any associative algebra over a field. The cohomology of this complex is isomorphic to the Tate-Hochschild cohomology in the sense of Buchweitz. By a natural action of the cellular chain operad of the spineless cacti operad, introduced by R. Kaufmann, on the singular Hochschild cochain complex, we provide a proof of the Deligne's conjecture for this complex. More concretely, the complex is an algebra over the (dg) operad of chains of the little $2$-discs operad. By this action, we als…
In this paper, we present a conjecture on the degree of unipotent characters in the cohomology of particular Deligne-Lusztig varieties for groups of Lie type, and derive consequences of it. These degrees are a necessary piece of data in the geometric version of Broué's abelian defect group conjecture, and can be used to verify this geometric conjecture in new cases. The geometric version of Broué's conjecture should produce a more combinatorially defined derived equivalence, called a perverse equivalence. We prove that our conjectural degree is an integer (which is not obvious) and has the cor…
In this article, we study the étale cohomology of the compactification of Deligne-Lusztig varieties associated to a Coxeter element. We prove a result for the integral coefficients in the case of general linear group $GL_d$, and we conjecture that the similar result holds for general reductive groups.
This article is the $\mathrm{Z}_l$-version of my paper "Monodromie du faisceau pervers des cycles évanescents de quelques variétés de Shimura simples" in Invent. Math. 2009 vol 177 pp. 239-280, where we study the vanishing cycles of some unitary Shimura variety. The aim is to prove that the cohomology sheaves of this complexe are free so that, thanks to the main theorem of Berkovich on vanishing cycles, we can deduce that the $\mathrm{Z}_l$-cohomology of the model of Deligne-Carayol is free. There will be a second article which will be the $\mathrm{Z}_l$ version of my paper "Conjecture de mono…
We consider a Deligne-Mumford stack $X$ which is the quotient of an affine scheme $\operatorname{Spec}A$ by the action of a finite group $G$ and show that the Balmer spectrum of the tensor triangulated category of perfect complexes on $X$ is homeomorphic to the space of homogeneous prime ideals in the group cohomology ring $H^*(G,A)$.
This paper is a following to math.RT/0410454. For a finite group of Lie type we study the endomorphisms, commuting with the group action, of a Deligne-Lusztig variety associated to a regular element of the Weyl group. We state some general conjectures, in particular that the endomorphism algebra induced on the cohomology is a cyclotomic Hecke algebra, and prove them in some cases. On the way we also prove results on centralizers in braid groups.
We prove a conjecture of Broue about the Jordan decomposition of blocks of finite reductive groups. We show that a block of a finite connected reductive group, in non-describing characteristic, is Morita-equivalent to a quasi-isolated block of a Levi subgroup. This involves showing that some local system over a Deligne-Lusztig variety has its mod l cohomology concentrated in one degree. We reduce this question to a question about tamely ramified local systems by proving that the category of perfect complexes for the group is generated by the images of the Deligne-Lusztig functors. Then, we des…
In this paper, we review the construction of the Dirac operator for graded affine Hecke algebras and calculate the Dirac cohomology of irreducible unitary modules for the graded Hecke algebra of gl(n).
This paper classifies the equivalence classes of irreducible unitary representations with nonvanishing Dirac cohomology for complex $E_6$. This is achieved by using our finiteness result, and by improving the computing method.
This paper is a continuation and a completion of [BoRo1]. We extend the Jordan decomposition of blocks: we show that blocks of finite groups of Lie type in non-describing characteristic are Morita equivalent to blocks of subgroups associated to isolated elements of the dual group. The key new result is the invariance of the part of the cohomology in a given modular series of Deligne-Lusztig varieties associated to a given Levi subgroup, under certain variations of parabolic subgroups. We also show that the equivalence arises from a splendid Rickard equivalence. Even in the setting of [BoRo1], …
The group $\GL_2$ over a local field with (residue) characteristic $2$ possesses much more smooth supercuspidal $\ell$-adic representations, than over a local field of residue characteristic $> 2$. One way to construct these representations is via the theory of types of Bushnell-Kutzko. We construct many of them in the cohomology of certain extended affine Deligne-Lusztig varieties attached to $\GL_2$ and wildly ramified maximal tori in it. Then we compare our construction with the type-theoretic one. The corresponding extended affine Deligne-Lusztig varieties were introduced in a preceding ar…
In his classic book on symmetric functions, Macdonald describes a remarkable result by Green relating the character theory of the finite general linear group to transition matrices between bases of symmetric functions. This connection allows us to analyze the representation theory of the general linear group via symmetric group combinatorics. Using the work of Ennola, Kawanaka, Lusztig and Srinivasan, this paper describes the analogous setting for the finite unitary group. In particular, we explain the connection between Deligne-Lusztig theory and Ennola's efforts to generalize Green's work, a…
In [Inventiones mathematicae, 184 (2011)], Vollaard and Wedhorn defined a stratification on the special fiber of the unitary unramified PEL Rapoport-Zink space with signature $(1,n-1)$. They constructed an isomorphism between the closure of a stratum, called a closed Bruhat-Tits stratum, and a Deligne-Lusztig variety which is not of classical type. In this paper, we describe the $\ell$-adic cohomology groups over $\overline{\mathbb Q_{\ell}}$ of these Deligne-Lusztig varieties, where $\ell \not = p$. The computations involve the spectral sequence associated to the Ekedahl-Oort stratification o…
In this paper we show, using Deligne-Lusztig theory and Kawanaka's theory of generalised Gelfand-Graev representations, that the decomposition matrix of the special linear and unitary group in non defining characteristic can be made unitriangular with respect to a basic set that is stable under the action of automorphisms.
This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic group; though proof of the general statement in this case does not require new ideas, it provides examples (such as sheaves on the nilpotent cone of a semi-simple group equivariant under the adjoint action) where construction of coherent "intersection cohomology" sheaves works.
We study the decomposition matrices for the unipotent $\ell$-blocks of finite special unitary groups SU$_n(q)$ for unitary primes $\ell$ larger than $n$. Up to very few unknown entries, we give a complete solution for $n=2,\ldots,10$. We also prove a general result for two-column partitions when $\ell$ divides $q+1$. This is achieved using projective modules coming from the $\ell$-adic cohomology of Deligne--Lusztig varieties.
Let $G$ be a complex connected simple algebraic group with a fixed real form $σ$. Let $G(\mathbb{R})=G^σ$ be the corresponding group of real points. This paper reports a finiteness theorem for the classification of irreducible unitary Harish-Chandra modules of $G(\mathbb{R})$ (up to equivalence) having non-vanishing Dirac cohomology. Moreover, we study the distribution of the spin norm along Vogan pencils for certain $G(\mathbb{R})$, with particular attention paid to the unitarily small convex hull introduced by Salamanca-Riba and Vogan.
In a previous paper it was shown that a certain family of varieties suggested by Lusztig, is not enough to construct all irreducible complex representations of reductive groups over finite rings coming from the ring of integers in a local field, modulo a power of the maximal ideal. In this paper we define a generalisation of Lusztig's varieties, corresponding to an extension of the maximal unramified extension of the local field. We show in a particular case that all irreducible representations appear in the cohomology of some extended variety. We conclude with a discussion about reformulation…
The irreducible unitary highest weight representations $(π_λ,\mathcal{H}_λ)$ of the group $U(\infty)$, which is the countable direct limit of the compact unitary groups $U(n)$, are classified by the orbits of the weights $λ\in \mathbb{Z}^{\mathbb{N}}$ under the Weyl group $S_{(\mathbb{N})}$ of finite permutations. Here, we determine those weights $λ$ for which the first cohomology space $H^1(U(\infty),π_λ,\mathcal{H}_λ)$ vanishes. For finitely supported $λ\neq 0$, we find that the first cohomology space $H^1(U(\infty),π_λ,\mathcal{H}_λ)$ never vanishes. For these $λ$, the highest weight repres…
We study the modular representations of finite groups of Lie type arising in the cohomology of certain quotients of Deligne-Lusztig varieties associated with Coxeter elements. These quotients are related to Gelfand-Graev representations and we present a conjecture on the Deligne-Lusztig restriction of Gelfand-Graev representations. We prove the conjecture for restriction to a Coxeter torus. We deduce a proof of Broué's conjecture on equivalences of derived categories arising from Deligne-Lusztig varieties, for a split group of type $A\_n$ and a Coxeter element. Our study is based on Lusztig's …
Let $G=\operatorname{O}(1,n+1)$ with maximal compact subgroup $K$ and let $Π$ be a unitary irreducible representation of $G$ with non-trivial $(\mathfrak{g},K)$-cohomology. Then $Π$ occurs inside a principal series representation of $G$, induced from the $\operatorname{O}(n)$-representation $\bigwedge\nolimits^p(\mathbb{C}^n)$ and characters of a minimal parabolic subgroup of $G$ at the limit of the complementary series. Considering the subgroup $G'=\operatorname{O}(1,n)$ of $G$ with maximal compact subgroup $K'$, we prove branching laws and explicit Plancherel formulas for the restrictions to…
The goal of this paper is to show that the cohomology of compact unitary Shimura varieties is concentrated in the middle degree and torsion-free, after localizing at a maximal ideal of the Hecke algebra satisfying a suitable genericity assumption. Along the way, we establish various foundational results on the geometry of the Hodge-Tate period map. In particular, we compare the fibres of the Hodge-Tate period map with Igusa varieties.
We study Broué's abelian defect group conjecture for groups of Lie type using the recent theory of perverse equivalences and Deligne--Lusztig varieties. Our approach is to analyze the perverse equivalence induced by certain Deligne--Lusztig varieties (the geometric form of Broué's conjecture) directly; this uses the cohomology of these varieties, together with information from the cyclotomic Hecke algebra. We start with a conjecture on the cohomology of these Deligne--Lusztig varieties, prove various desirable properties about it, and then use this to prove the existence of the perverse equiva…
In its simplest form the Decomposition Theorem asserts that the rational intersection cohomology of a complex projective variety occurs as a summand of the cohomology of any resolution. This deep theorem has found important applications in algebraic geometry, representation theory, number theory and combinatorics. It was originally proved in 1981 by Beilinson, Bernstein, Deligne and Gabber as a consequence of Deligne's proof of the Weil conjectures. A different proof was given by Saito in 1988, as a consequence of his theory of mixed Hodge modules. More recently, de Cataldo and Migliorini foun…
