The FPP Conjecture for Real Reductive Groups

Dougal Davis,Lucas Mason-Brown

2024-11-03

Abstract:In this paper, we prove the FPP conjecture, giving a strong upper bound on the unitary dual of a real reductive group. Our proof is an application of the global generation properties of $\mathcal{D}$-modules on the flag variety and their Hodge filtrations.

Representation Theory

What problem does this paper attempt to address?

Special unipotent representations of real classical groups: counting and reduction

Dan Barbasch,Jia-Jun Ma,Binyong Sun,Chen-Bo Zhu

DOI: https://doi.org/10.48550/arxiv.2205.05266

2023-01-01

Abstract: Let $G$ be a real reductive group in Harish-Chandra's class. We derive some consequences of theory of coherent continuation representations to the counting of irreducible representations of $G$ with a given infinitesimal character and a given bound of the complex associated variety. When $G$ is a real classical group (including the real metaplectic group), we investigate the set of special unipotent representations of $G$ attached to $\check{\mathcal O}$, in the sense of Arthur and Barbasch-Vogan. Here $\check{\mathcal O}$ is a nilpotent adjoint orbit in the Langlands dual of $G$ (or the metaplectic dual of $G$ when $G$ is a real metaplectic group). We give a precise count for the number of special unipotent representations of $G$ attached to $\check{ \mathcal O}$. We also reduce the problem of constructing special unipotent representations attached to $\check{\mathcal O}$ to the case when $\check{\mathcal O}$ is analytically even (equivalently for a real classical group, has good parity in the sense of M{\oe}glin). The paper is the first in a series of two papers on the classification of special unipotent representations of real classical groups.
Lower bounds on the essential dimension of reductive groups

Danny Ofek

2024-11-06

Abstract:We introduce a new technique for proving lower bounds on the essential dimension of split reductive groups. As an application, we strengthen the best previously known lower bounds for various split simple algebraic groups, most notably for the exceptional group $E_8$. In the case of the projective linear group $\operatorname{PGL}_n$, we recover A. Merkurjev's celebrated lower bound with a simplified proof. Our technique relies on decompositions of loop torsors over valued fields due to P. Gille and A. Pianzolla.

Group Theory,Algebraic Geometry
The Picard Group of a Reductive Group over a Number Field

Dylon Chow

2023-12-11

Abstract:We give a description of the Picard group of a reductive group over a number field as an abelianized Galois cohomology group. It gives another approach of a result due to Labesse.

Number Theory
Discrete series L-packets for real reductive groups

Jeffrey Adams,Tasho Kaletha

2024-09-20

Abstract:We give a modern exposition of the construction, parameterization, and character relations for discrete series L-packets of real reductive groups, which are fundamental results due to Langlands and Shelstad. This exposition incorporates recent developments not present in the original sources, such as normalized geometric transfer factors and the canonical double covers of tori and endoscopic groups, allowing for simpler statements and proofs. We also prove some new results, such as a simple criterion for detecting generic representations for a prescribed Whittaker datum, and an explicit formula for the factor $\Delta_I$ in terms of covers of tori.

Representation Theory,Number Theory
Vogan's FPP conjecture for complex Lie groups

Chao-Ping Dong,Kayue Daniel Wong

2024-07-23

Abstract:In this paper, we give a proof of Vogan's fundamental parallelepiped (FPP) conjecture for complex simple Lie groups, resulting in a reduction step in the classification of irreducible unitary representations for these groups.

Representation Theory
Kazhdan's orthogonality conjecture for real reductive groups

Jing-Song Huang,Binyong Sun

2016-01-01

Abstract: We prove Kazhdan's orthogonality conjecture for every real reductive group $G$ in Harish-Chandra's class, namely, the Euler-Poincar\'{e} pairing of two Harish-Chandra modules of $G$ agrees with the elliptic pairing of their corresponding global characters.
Reducibility points and characteristic $p$ local fields I- Simple supercuspidal representations of symplectic groups

Corinne Blondel,Guy Henniart,Shaun Stevens

2024-06-22

Abstract:Let $F$ be a non-Archimedean local field with odd characteristic $p$. Let $N$ be a positive integer and $G=Sp_{2N}(F)$. By work of Lomelí on $\gamma$-factors of pairs and converse theorems, a generic supercuspidal representation $\pi$ of $G$ has a transfer to a smooth irreducible representation $\Pi_\pi$ of $GL_{2N+1}(F)$. In turn the Weil-Deligne representation $\Sigma_\pi$ associated to $\Pi_\pi$ by the Langlands correspondence determines a Langlands parameter $\phi_\pi$ for $\pi$. That process produces a Langlands correspondence for generic cuspidal representations of $G$. In this paper we take $\pi$ to be simple in the sense of Gross and Reeder, and from the explicit construction of $\pi$ we describe $\Pi_\pi$ explicitly. The method we use is the same as in our previous paper <a class="link-https" data-arxiv-id="2310.20455" href="https://arxiv.org/abs/2310.20455">arXiv:2310.20455</a>, where we treated the case where $F$ is a $p$-adic field, and $\pi$ a simple supercuspidal representation of $G=Sp_{2N}(F)$. It relies on a criterion due to Moeglin on the reducibility of representations parabolically induced from $GL_M(F)\times G$ for varying positive integers $M$. We extend this criterion to the case when $F$ has any positive characteristic. The main new feature consists in relating reducibility to $\gamma$-factors for pairs.

Representation Theory,Number Theory
Algebraic K-theory of reductive p-adic groups

Arthur Bartels,Wolfgang Lueck

2023-12-21

Abstract:Motivated by the Farrell-Jones Conjecture for group rings, we formulate the $\mathcal{C}$op-Farrell-Jones Conjecture for the K-theory of Hecke algebras of td-groups. We prove this conjecture for (closed subgroups of) reductive p-adic groups G. In particular, the projective class group $K_0(\mathcal{H}(G))$ for a (closed subgroup) of a reductive p-adic group G can be computed as a colimit of projective class groups $K_0(\mathcal{H}(U))$ where U varies over the compact open subgroups of G. This implies that all finitely generated smooth complex representations of a reductive p-adic G admit finite projective resolutions by compactly induced representations. For SL$_n(F)$ we translate the colimit formula for $K_0(\mathcal{H}(G))$ to a more concrete cokernel description in terms of stabilizers for the action on the Bruhat-Tits building. For negative K-theory we obtain vanishing results, while we identify the higher K-groups $K_n(\mathcal{H}(G))$ with the value of G-homology theory on the extended Bruhat-Tits building. Our considerations apply to general Hecke algebras of the form $\mathcal{H}(G;R,\rho,\omega)$, where we allow a central character $\omega$ and a twist by an action $\rho$ of G on R. For the $\mathcal{C}$op-Farrell-Jones Conjecture we need to assume $\mathbb{Q} \subseteq R$ and a regularity assumption. As a key intermediate step we introduce the $\mathcal{C}vcy-Farrell-Jones conjecture. For the latter no regularity assumptions on R are needed.

K-Theory and Homology,Representation Theory
Reductive Shafarevich Conjecture

Ya Deng,Katsutoshi Yamanoi,Ludmil Katzarkov

2024-05-29

Abstract:In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $\rho:\pi_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 when $X$ is smooth. While our approach follows the general strategy employed in Eyssidieux's proof, it introduces several improvements and simplifications. Notably, it avoids the necessity of using the reduction mod $p$ method in Eyssidieux's original proof. Additionally, we construct the Shafarevich morphism for complex reductive representations of fundamental groups of complex quasi-projective varieties unconditionally, and proving its algebraic nature at the function field level.

Algebraic Geometry,Complex Variables
Unitary representations of real groups and localization theory for Hodge modules

Dougal Davis,Kari Vilonen

2024-08-02

Abstract:We prove a conjecture of Schmid and the second named author that the unitarity of a representation of a real reductive Lie group with real infinitesimal character can be read off from a canonical filtration, the Hodge filtration. Our proof rests on three main ingredients. The first is a wall crossing theory for mixed Hodge modules: the key result is that, in certain natural families, the Hodge filtration varies semi-continuously with jumps controlled by extension functors. The second ingredient is a Hodge-theoretic refinement of Beilinson-Bernstein localization: we show that the Hodge filtration of a mixed Hodge module on the flag variety satisfies the usual cohomology vanishing and global generation properties enjoyed by the underlying $\mathcal{D}$-module. The third ingredient is an explicit calculation of the Hodge filtration on a tempered Hodge module. As byproducts of our work, we obtain a version of Saito's Kodaira vanishing for twisted mixed Hodge modules, a calculation of the Hodge filtration on a certain object in category $\mathcal{O}$, and a host of new vanishing results for coherent sheaves on flag varieties.

Representation Theory,Algebraic Geometry
Reducible Galois representations and the homology of GL(3,Z)

Avner Ash,Darrin Doud

DOI: https://doi.org/10.48550/arXiv.1205.3086

2012-05-15

Abstract:We prove the following theorem: Let $\bar\F_p$ be an algebraic closure of a finite field of characteristic $p$. Let $\rho$ be a continuous homomorphism from the absolute Galois group of $\Q$ to $\GL(3,\bar\F_p)$ which is isomorphic to a direct sum of a character and a two-dimensional odd irreducible representation. Under the condition that the conductor of $\rho$ is squarefree, we prove that $\rho$ is attached to a Hecke eigenclass in the homology of an arithmetic subgroup $\Gamma$ of $\GL(3,\Z)$. In addition, we prove that the coefficient module needed is, in fact, predicted by a conjecture of Ash, Doud, Pollack, and Sinnott.

Number Theory
Finiteness properties and Relatively Hyperbolic Groups

Harsh Patil

2023-08-16

Abstract:We show that properties $F_n$ and $FP_n$ hold for a relatively hyperbolic group if and only if they hold for all the peripheral subgroups. As an application we show that there are at least countably many distinct quasi-isometry classes of one-ended groups that are type $F_n$ but not $F_{n+1}$ and similarly of type $FP_n$ and not $FP_{n+1}$ for all positive integers $n$.

Group Theory
Radical subgroups of finite reductive groups

Zhicheng Feng,Jun Yu,Jiping Zhang

2024-05-21

Abstract:Radical subgroups play an important role in both finite group theory and representation theory. This is the first of a series of papers of ours in classifying radical $p$-subgroups of finite reductive groups and in verifying the inductive blockwise Alperin weight condition for them, contributing to the program of proving the Alperin weight conjecture by verifying its inductive condition for finite simple groups. In this paper we present a uniform method of classifying radical subgroups of finite reductive groups. As applications, we investigate the inductive blockwise Alperin weight condition for classical groups, as well as groups of type $\bf F_4$.

Representation Theory,Group Theory
Dual of the Geometric Lemma and the Second Adjointness Theorem for $p$-adic reductive groups

Kei Yuen Chan

2024-06-19

Abstract:Let $P,Q$ be standard parabolic subgroups of a $p$-adic reductive group $G$. We study the smooth dual of the filtration on a parabolically induced module arising from the geometric lemma associated to the cosets $P\setminus G/Q$. We prove that the dual filtration coincides with the filtration associated to the cosets $P\setminus G/Q^-$ via the Bernstein-Casselman canonical pairing from the second adjointness of parabolic induction. This result generalizes a result of Bezrukavnikov-Kazhdan on the explicit description in the second adjointness. Along the way, we also study some group theoretic results.

Representation Theory,Number Theory
Local converse theorems and Langlands parameters

Nadir Matringe

2024-10-31

Abstract:Let $F$ be a non Archimedean local field, and $G$ be the $F$-points of a connected quasi-split reductive group defined over $F$. In this note we propose a converse theorem statement for generic Langlands parameters of $G$ when the Langlands dual group of $G$ is acceptable. We then prove it when $G$ is $F$-split. Then we consider a variant which we prove for $G=\mathrm{G}_2(F)$ and all quasi-split classical groups. When $F$ has characteristic zero and assuming the validity of the Gross-Prasad and Rallis conjecture, this latter variant translates via the generic local Langlands correspondence of Jantzen and Liu, into the usual local converse theorems for classical groups expressed in terms of Shahidi's gamma factors.

Representation Theory,Number Theory
Quantitative reduction theory and unlikely intersections

Christopher Daw,Martin Orr

DOI: https://doi.org/10.1093/imrn/rnab173

2021-10-06

Abstract:We prove quantitative versions of Borel and Harish-Chandra's theorems on reduction theory for arithmetic groups. Firstly, we obtain polynomial bounds on the lengths of reduced integral vectors in any rational representation of a reductive group. Secondly, we obtain polynomial bounds in the construction of fundamental sets for arithmetic subgroups of reductive groups, as the latter vary in a real conjugacy class of subgroups of a fixed reductive group. Our results allow us to apply the Pila--Zannier strategy to the Zilber--Pink conjecture for the moduli space of principally polarised abelian surfaces. Building on our previous paper, we prove this conjecture under a Galois orbits hypothesis. Finally, we establish the Galois orbits hypothesis for points corresponding to abelian surfaces with quaternionic multiplication, under certain geometric conditions.

Number Theory,Algebraic Geometry,Logic
A reduction theorem for the Character Triple Conjecture

Damiano Rossi

2024-02-26

Abstract:In this paper, we show that the Character Triple Conjecture holds for all finite groups once assumed for all quasi-simple groups. This answers the question on the existence of a self-reducing form of Dade's conjecture, a problem that was long investigated by Dade in the 1990s. Our result shows that this role is played by the Character Triple Conjecture, recently introduced by Späth, that we present here in a general form free of all previously imposed restrictions.

Representation Theory,Group Theory
The Reduction Theorem for Relatively Maximal Subgroups

Wenbin Guo,Danila O. Revin,Evgeny P. Vdovin

DOI: https://doi.org/10.1142/s1664360721500016

2020-01-01

Bulletin of Mathematical Sciences

Abstract:Let [Formula: see text] be a class of finite groups closed under taking subgroups, homomorphic images and extensions. It is known that if [Formula: see text] is a normal subgroup of a finite group [Formula: see text] then the image of an [Formula: see text]-maximal subgroup [Formula: see text] of [Formula: see text] in [Formula: see text] is not, in general, [Formula: see text]-maximal in [Formula: see text]. We say that the reduction [Formula: see text]-theorem holds for a finite group [Formula: see text] if, for every finite group [Formula: see text] that is an extension of [Formula: see text] (i.e. contains [Formula: see text] as a normal subgroup), the number of conjugacy classes of [Formula: see text]-maximal subgroups in [Formula: see text] and [Formula: see text] is the same. The reduction [Formula: see text]-theorem for [Formula: see text] implies that [Formula: see text] is [Formula: see text]-maximal in [Formula: see text] for every extension [Formula: see text] of [Formula: see text] and every [Formula: see text]-maximal subgroup [Formula: see text] of [Formula: see text]. In this paper, we prove that the reduction [Formula: see text]-theorem holds for [Formula: see text] if and only if all [Formula: see text]-maximal subgroups of [Formula: see text] are conjugate in [Formula: see text] and classify the finite groups with this property in terms of composition factors.
Disconnected Reductive Groups: Classification and Representations

Dylan Johnston,Diego Martín Duro,Dmitriy Rumynin

2024-09-10

Abstract:In this article, we classify disconnected reductive groups over an algebraically closed field with a few caveats. Internal parts of our result are both a classification of finite groups and a classification of integral representations of a fixed finite group. Modulo these classifications - which are impossible in different senses - our main result explicitly tabulates the groups with an efficient algorithm. Besides this, we obtain new results about the representation theory of disconnected reductive groups in characteristic zero. We give two descriptions of their representation rings and prove that their Knutson Index is finite.

Representation Theory,Group Theory
Generalizations of the PRV conjecture, II

Pierre-Louis Montagard,Boris Pasquier,Nicolas Ressayre

DOI: https://doi.org/10.48550/arXiv.1110.4621

2011-10-21

Abstract:Let $G\subset\hat{G}$ be two complex connected reductive groups. We deals with the hard problem of finding sub-$G$-modules of a given irreducible $\hat{G}$-module. In the case where $G$ is diagonally embedded in $\hat{G}=G\times G$, S. Kumar and O. Mathieu found some of them, proving the PRV conjecture. Recently, the authors generalized the PRV conjecture on the one hand to the case where $\hat{G}/G$ is spherical of minimal rank, and on the other hand giving more sub-$G$-modules in the classical case $G\subset G\times G$. In this paper, these two recent generalizations are combined in a same more general result.

Representation Theory,Algebraic Geometry

The FPP Conjecture for Real Reductive Groups

Special unipotent representations of real classical groups: counting and reduction

Lower bounds on the essential dimension of reductive groups

The Picard Group of a Reductive Group over a Number Field

Discrete series L-packets for real reductive groups

Vogan's FPP conjecture for complex Lie groups

Kazhdan's orthogonality conjecture for real reductive groups

Reducibility points and characteristic $p$ local fields I- Simple supercuspidal representations of symplectic groups

Algebraic K-theory of reductive p-adic groups

Reductive Shafarevich Conjecture

Unitary representations of real groups and localization theory for Hodge modules

Reducible Galois representations and the homology of GL(3,Z)

Finiteness properties and Relatively Hyperbolic Groups

Radical subgroups of finite reductive groups

Dual of the Geometric Lemma and the Second Adjointness Theorem for $p$-adic reductive groups

Local converse theorems and Langlands parameters

Quantitative reduction theory and unlikely intersections

A reduction theorem for the Character Triple Conjecture

The Reduction Theorem for Relatively Maximal Subgroups

Disconnected Reductive Groups: Classification and Representations

Generalizations of the PRV conjecture, II