Characteristic cycles, micro local packets and packets with cohomology
Nicol\'as Arancibia

TL;DR
This paper investigates how characteristic cycles behave under geometric induction, linking representation theory and microlocal geometry, and shows that certain cohomology packets are micro-packets, unifying different sheaf-theoretic approaches.
Contribution
It describes the characteristic cycle of induced representations in terms of the original cycle, extending the understanding of geometric induction in representation theory.
Findings
Characteristic cycle splits into two terms under regular infinitesimal character.
The first term of the cycle is described explicitly.
Cohomology packets by Adams-Johnson are shown to be micro-packets.
Abstract
Relying on work of Kashiwara-Schapira and Schmid-Vilonen, we describe the behaviour of characteristic cycles with respect to the operation of geometric induction, the geometric counterpart of taking parabolic or cohomological induction in representation theory. By doing this, we are able to describe to some extent the characteristic cycle associated to an induced representation, in terms of the characteristic cycle of the representation being induced. More precisely, under the hypothesis that the infinitesimal character is regular (and dominant), we show that the characteristic cycle of an induced representation splits in two terms. We describe the first term precisely, but we are not able to do the same for the second one. What we are able to say, is that this second term is supported on the boundary of the space generated by the inclusion in the flag variety of , of the flag…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Geometry · Advanced Topics in Algebra · Finite Group Theory Research
Characteristic cycles, micro local packets and packets with cohomology
Nicolás Arancibia Robert
Abstract
Relying on work of Kashiwara-Schapira and Schmid-Vilonen, we describe the behaviour of characteristic cycles with respect to the operation of geometric induction, the geometric counterpart of taking parabolic or cohomological induction in representation theory. By doing this, we are able to describe to some extent the characteristic cycle associated to an induced representation, in terms of the characteristic cycle of the representation being induced. More precisely, under the hypothesis that the infinitesimal character is regular (and dominant), we show that the characteristic cycle of an induced representation splits in two terms. We describe the first term precisely, but we are not able to do the same for the second one. What we are able to say, is that this second term is supported on the boundary of the space generated by the inclusion in the flag variety of , of the flag variety of the Levi subgroup. As a consequence, we prove that the cohomology packets defined by Adams and Johnson in [AJ87] are micro-packets, that is to say that the cohomological constructions of [AJ87] are particular cases of the sheaf-theoretic ones in [ABV92].
Contents
1 Introduction
Let be a connected reductive algebraic group defined over a number field . In [Art84] and [Art89], Arthur gives a conjectural description of the discrete spectrum of by introducing at each place of a set of parameters , that should parameterize all the unitary representations of that are of interest for global applications. More precisely, Arthur conjectured that attached to every parameter we should have a finite set , called an -packet, of irreducible representations of , uniquely characterized by the following properties:
- •
consists of unitary representations.
- •
The parameter corresponds to a unique -parameter and contains the -packet associated to .
- •
is the support of a stable virtual character distribution on .
- •
verifies the ordinary and twisted spectral transfer identities predicted by the theory of endoscopy.
Furthermore, any representation occurring in the discrete spectrum of square integrable automorphic representations of , should be a restricted product over all places of representations in the corresponding -packets.
In the case when is a real reductive algebraic group, Adams, Barbasch and Vogan proposed in [ABV92] a candidate for an -packet, proving in the process all of the predicted properties with the exception of the twisted endoscopic identity and unitarity. The packets in [ABV92], to which we refer from now on as micro-packets or ABV-packets, are defined by means of sophisticated geometrical methods. As explained in the introduction of [ABV92], the inspiration behind their construction comes from the combination of ideas of Langlands and Shelstad (concerning dual groups and endoscopy) with those of Kazhdan and Lusztig (concerning the fine structure of irreducible representations), to describe the representations of in terms of an appropriate geometry on an -group. The geometric methods are remarkable, but they have the constraint of being extremely difficult to calculate in practice. Without considering some exceptions, like the case of ABV-packets attached to tempered Arthur parameters (see Section 4.1 below) or to principal unipotent Arthur parameters (See Chapter 27 [ABV92] and Section 4.2 below), we cannot identify the members of an ABV-packet in any known classification (in the Langlands classification for example). The difficulty comes from the central role played by characteristic cycles in their construction. These cycles are geometric invariants that can be understood as a way to measure how far a constructible sheaf is from being a local system.
In the present article, relying on work of Kashiwara-Schapira and Schmid-Vilonen, we describe the behaviour of characteristic cycles with respect to the operation of geometric induction, the geometric counterpart of taking parabolic or cohomological induction in representation theory. By doing this, we are able to describe to some extent the characteristic cycle associated to an induced representation, in terms of the characteristic cycle of the representation being induced (see Theorem 3.11 below). More precisely, under the hypothesis that the infinitesimal character is regular (and dominant), we show that the characteristic cycle of an induced representation splits in two terms. We describe the first term precisely, but we are not able to do the same for the second one. What we are able to say, is that this second term is supported on the boundary of the space generated by the inclusion in the flag variety of , of the flag variety of the Levi subgroup. This description is enough for our aplications. Before continuing with a more detailed description on the behaviour of characteristic cycles under induction, let us mention some consequences of it.
As a first application we have the proof that the cohomology packets defined by Adams and Johnson in [AJ87] are micro-packets. In more detail, Adams and Johnson proposed in [AJ87] a candidate for an -packet by attaching to any member in a particular family of Arthur parameters (see points (AJ1), (AJ2) and (AJ3) Section 4.3), a packet consisting of representations cohomologically induced from unitary characters. Now, from the behaviour of characteristic cycles under induction, the description of the ABV-packets corresponding to any Arthur parameter in the family studied in [AJ87], reduces to the description of ABV-packets corresponding to essentially principal unipotent Arthur parameters, which are well understood (see Section 4.2). From this reduction we prove in Theorem 5.20, that the cohomological constructions of [AJ87] are particular cases of the ones in [ABV92]. It is important to mention that the equality between Adams-Johnson and ABV-packets is known to experts, but to my knowledge no proof of it can be found in the literature. Let us also say that from this equality and the proof in [AMR18] that for classical groups the packets defined in [AJ87] are -packets ([Art13]), we conclude that in the framework of [AJ87] and for classical groups, the three constructions of -packets coincide.
A second application is related to the proof that for classical groups the -packets introduced in [Art13] are ABV-packets (work in progress with Jeffrey Adams and Paul Mezo). An important step in the proof, is the description of the ABV-packets for the general linear group. The understanding of the behaviour of characteristic cycles under induction is crucial in the proof that for the general linear group, ABV-packets are Langlands packets, that is, they consist of a single representation.
Let us give now a quick overview on how geometric induction affects characteristic cycles. We begin by introducing the geometric induction functor. Suppose is a connected reductive complex algebraic group with Lie algebra , and let be a real form of (see Equation (2.1)(a-c) [ABV92]). Let be the Cartan involution attached to as in Equation (5d)-(5g) [AV15], and write for the group of its fixed points. Suppose is a parabolic subgroup of whose Lie algebra is germane with respect to the pair (i.e. satisfies the equivalent conditions of Proposition 4.74 [KV95]). Let be the Levi decomposition of . By Proposition 4.74 [KV95] and Proposition 4.78 [KV95] is a reductive subgroup stable under , and the restriction of to defines a Cartan involution for . We are going to be interested in two extreme cases of the notion of germane. One is that the parabolic subgroup is real, that is stable under . The other case is that is stable under the Cartan involution .
Denote by the flag variety of , and consider the fibration . Its fiber over can be identified with the flag variety of . We denote the inclusion of that fiber in by
[TABLE]
Since is the set of fixed point of the Cartan involution , by Propostion 6.16 [ABV92], acts over the flag variety of with finitely many orbits. Similarly, , hence acts with finitely many orbits over .
Let be the -equivariant bounded derived category of sheaves of complex vector spaces on having cohomology sheaves constructible with respect to an algebraic stratification of . Living inside this category we have the subcategory of -equivariant perverse sheaves on . Set to be the sheaf of algebraic differential operators on . The Riemann-Hilbert correspondence (see Theorem 7.2.1[Hot84] and Theorem 7.2.5 [Hot84]) defines an equivalence of categories between and the category of -equivariant -modules on . Now, write for the category of -modules of , and for the subcategory of -modules of annihilated by the kernel of the operator representation (see equations (19) and (20) below). The categories and are identified through the Beilinson-Bernstein correspondence ([BB81]), and composing this functor with the Riemann-Hilbert correspondence we obtain the equivalence of categories
[TABLE]
Consequently there is a bijection between the corresponding Grothendieck groups and . Similarly, by denoting the Lie algebra of and , we define , and . Now, let
[TABLE]
be the induction functor introduced in Equations (11.71c)-(11.71d) [KV95], and define
[TABLE]
When is -stable corresponds to the Vogan-Zuckerman cohomological induction functor. When is real, by Proposition 11.57 [KV95], is the underlying -module of the parabolically induced representation , with the admissible representation of with underlying -module .
The induction functor in representation theory has a geometric analogue
[TABLE]
defined through the Bernstein induction functor (see [MV88]). The Bernstein induction functor
[TABLE]
is the right adjoint of the forgetful functor . The geometric induction functor is defined then as the composition
[TABLE]
It satisfies the identity
[TABLE]
which induces the following commutative diagram between the corresponding Grothendieck groups
[TABLE]
Now that the geometric induction functor has been introduced, we turn to the description of how geometric induction affects characteristic cycles. The characteristic cycle of a perverse sheaf can be constructed through Morse theory, or via the Riemann-Hilbert correspondence as the characteristic cycle of the associated -module. In any case, the characteristic cycle can be seen as a map from to the set of formal sums
[TABLE]
Schmid and Vilonen, combining the work of Kashiwara-Schapira on proper direct images, and their own work on direct open embeddings, describe in [SV96] the effect on characteristic cycles of taking direct images by an arbitrary algebraic morphism. This, applied to the Bernstein induction functor, leads to a map that extends (7) into the commutative diagram:
[TABLE]
Consequently, for every -equivariant perverse sheaf on we have
[TABLE]
The description of the image of is given in Theorem 3.11 through a formula for in terms of the characteristic cycle of . More explicitly, writing
[TABLE]
for the characteristic cycle of , we prove that the image of under is equal to
[TABLE]
From this equality we are able to deduce that the cohomology packets introduced by Adams and Johnson in [AJ87], are examples of micro-packets. The comparison between both types of packets is done in Section 4 where we also describe the family of Arthur parameters considered in the work of Adams and Johnson and give a description of the Adams-Johnson packets.
We continue by outlining the contents of the paper. In Section 2 we introduce the geometric induction functor as a geometric counterpart of the induction functor in representation theory. We review the work of Kashiwara-Schapira [KS90] on proper direct images and the work of Schmid-Vilonen [SV96] on open direct images. We end the section by explaining how characteristic cycles behave under geometric induction.
Section 3 is devoted to presenting the objects of [ABV92] required to define the micro-packets. We recall the notion of real forms and introduce the concepts of extended group and representation of a strong real form. We define the dual objects that are going to parameterize the representations and review the Local Langlands Correspondence as stated in [ABV92].
We start Section 4 by introducing micro-packets. Then we describe the micro-packets corresponding to tempered parameters (Section 4.1) and to essentially principal unipotent Arthur parameters (Section 4.2). We end the section by studying the case of cohomologically induced packets or Adams-Johnson packets. Finally, relying on the work done in Section 2 we prove that Adams-Johnson packets are micro-packets (Section 4.3).
It is in sections 4.2 and 4.3, and in the study of Section 2 of the geometric induction functor, that most of the original work of the present article is done.
To end with this introduction, let us mention that in [BST19] (see Proposition 2.4 [BST19] and Corollary 2.5 [BST19]) the authors obtain a similar result to the one of Theorem 3.11 (see Equation (8) above) by using the definition of characteristic cycles in terms of normal slices (see Chapter II.6.A [GM88]).
Acknowledgements: The author wishes to thank Paul Mezo for useful discussions and enlightening remarks during the preparation of this document. The author would also like to thank the referee for a thorough reading of the manuscript, and for their many helpful comments. {comment} comparison of
of this, is given by the packets of representations with cohomology, the Adams-Johnson-packets. Using cohomological induction it’s possible to reduce the description of the packet to the description of an A-B-V-packet attached to the Arthur parameter of an unitary representation. Another example is given by the general linear group, with Paul Mezo we where able, using parabolic and cohomological induction, to reduce the characterization of A-B-V-packets of the general linear group to the characterization of A-B-V-packets attached to essentially unipotent Arthur parameters of the general linear group. (i.e. such that its restriction to ). And the description of this last type of A-B-V-packet follows from techniques on nilpotent orbits and associated varieties. In section (6.3) we describe, in the context of classical groups, another cases where the use cohomological and parabolic induction should simplify the description of A-B-V-packets.
{comment}
We recall that a real form of is an antiholomorphic involutive automorphism
[TABLE]
with group of real points given by
[TABLE]
The group is a real Lie group with Lie algebra
[TABLE]
We said that two real forms and are inner to each other if there is an element such that
[TABLE]
Among all the real forms of , of particular interest is the compact real form . It is characterized up to conjugation by by the requirement that is compact. Moreover, Cartan showed that may be chosen to commute with . The commutativity implies that the composition
[TABLE]
defines an algebraic involution of of order two, called the Cartan involution; it is determined by up to conjugation by . The group of fixed points
[TABLE]
is a (possibly disconnected) complex reductive algebraic subgroup of . The corresponding group of real points
[TABLE]
is a maximal compact subgroup of and a maximal compact subgroup of (see (5d)-(5g) [AV15]).
{comment} Now, in [ABV92] the notion of extended group is introduced as a manner to study and describe in an organized and uniform way, the representation theory corresponding to an inner class of real forms. An extended group containing is a real Lie group containing as a subgroup of index two. That is, there is a short exact sequence
[TABLE]
where , such that every element of acts on as an antiholomorphic automorphism.
Definition 1.1**.**
A strong real form of is an element such that has finite order. To each strong real form we associate a real form of defined by conjugation by . The group of real points of is defined to be the group of real points of (i.e. ). Two strong real forms of are called equivalent if they are conjugate by .
Notice that what we call here an extended group is called a weak extended group in [ABV92].
We point out that from Proposition 2.14 [ABV92] the set of real forms of associated to strong real forms of the extended group constitutes exactly one inner class of real forms of . See Corollary 2.16 [ABV92] for a classification of extended groups.
We end this section with the definition of a representation of a strong real form. As explained at the beginning of this section, to describe the Langlands classification in the more general setting of [ABV92], we need to introduce a family of covering groups of . We do this in the next definition but before, We define the canonical covering of as the projective limit of all the distinguished coverings of and we write
[TABLE]
Let be the involutive automorphism of corresponding to the inner class of real form attached to and write for the involutive automorphism of defined by the action of any automorphism of corresponding to under . From Lemma 10.2 [ABV92] we have an isomorphism
[TABLE]
Definition 1.2** (Definition 10.1 and 10.3 [ABV92]).**
Suppose is an extended group for . Now, if is a strong real form of , let be the preimage of in . Then there is a short exact sequence
[TABLE]
A canonical projective representation of a strong real form of is a pair subject to
* is a strong real form of .* 2. 2.
* is an admissible representation of .*
With equivalence defined as in definition LABEL:deftn:representationstrongrealform.
Suppose . We say that is of type z if the restriction of to is a multiple of . Finally define
[TABLE]
to be the set of infinitesimal equivalence classes of irreducible canonical representations of type .
{comment}
2 -modules, Perverse sheaf and Characteristic Cycles
In this section we introduce the geometric objects required to the definition in Section 7 of the micro-packets. We begin with the definition of the categories that are going to be involved in their construction, to recall next the concepts of characteristic variety and characteristic cycle, and describe some of their properties. We follow mainly Chapter 2 [Hot84] and Chapter 19 [ABV92].
Suppose is a smooth complex algebraic variety on which an algebraic group acts with finitely many orbits. Define (see Appendix B [MV88] and Definition 7.7 [ABV92]):
to be the bounded derived category of sheaves of complex vector spaces on having cohomology sheaves constructible with respect to an algebraic stratification on .
to be the subcategory of consisting of -equivariant sheaves of complex vector spaces on having cohomology sheaves constructible with respect to the algebraic stratification defined by the -orbits on .
Living inside this last category we have the category of -equivariant perverse sheaves on . We write
for be the category of -equivariant perverse sheaves on .
Next, set to be the sheaf of algebraic differential operators on and define:
to be the category of -equivariant coherent sheaves of -modules on .
to be the -equivariant bounded derived category of sheaves of -modules on having cohomology sheaves coherent.
The categories and are abelian, and every object has finite length. To each of them correspond then a Grothendieck group that we denote respectively by
[TABLE]
The four previous categories are related through the Riemann-Hilbert correspondence.
Theorem 2.1** **(Riemann-Hilbert Correspondence, see Theorem 7.2.1 [Hot84], Theorem 7.2.5 [Hot84]
and Theorem 7.9 [ABV92]).
The de Rham functor induces an equivalence of categories
[TABLE]
such that if we restrict to the full subcategory of we obtain an equivalence of categories
[TABLE]
This induces an isomorphism of Grothendieck groups
[TABLE]
We use the previous isomorphism to identify the Grothendieck groups of (18) writing simply instead of and
In this paper we are principally interested in the case of being a flag variety. More precisely, let be a connected reductive complex algebraic group with Lie algebra . Fix a real form of and as in (11), write for the group of fixed points of the corresponding Cartan involution. The flag variety of is defined as the set of all Borel subgroups of (or equivalently as the set of all Borel subalgebras of ). The group acts on by conjugation, this action is transitive and if we restrict it to , then the number of -orbits is finite. Moreover, for any fixed Borel subgroup the normalizer of in is itself, thus we obtain a bijection
[TABLE]
The flag variety has then a natural structure of an algebraic variety.
{comment} We turn now to a short discussion on characteristic varieties and characteristic cycles. These two objects are going to play a central role in the definition of micro-packets. We begin with the definition of the characteristic variety of a -module.
Definition 2.2** (Section 10.1 [Kashiwara-Schapira85], Apendix B [MV88], Equation (2.4)-(2.5) [SV96]).**
Let be an -equivariant perverse sheaf on and write for the corresponding -module under the Riemann-Hilbert correspondence. We define the characteristic cycle of as
[TABLE]
More generally, let and write for the corresponding element in under the Riemann-Hilbert correspondence. We define the characteristic variety of as
[TABLE]
and the characteristic cycle of to be the formal sum
[TABLE]
where denotes the set of the irreducible components of and for each , is an integer defined as in Equation (2.5) [SV96].
Now, if we denote to be the set of formal linear combination with -coefficients of irreducible analytic Lagrangian conic subvarieties in the cotangent bundle of the variety , then . In particular, if we define to be the set of formal sums
[TABLE]
*taking characteristic cycles defines a map *
[TABLE]
and from the remark following Proposition (2.5) we obtain a -linear map
[TABLE]
Finally, for each formal sum we define the support of , as
[TABLE]
Notice that by definition, for every , .
{comment}
To define the characteristic cycle of a -module, we need to introduce first the more general notion of an associated cycle.
Definition 2.3** (Section 1.5 [Ful98]).**
Let be any variety, and let be the irreducible components of . The geometric multiplicity of on is defined to be the length of the local ring :
[TABLE]
(Since the local rings are all zero-dimensional, their length is well defined). We define the associated cycle of to be the formal sum
[TABLE]
Definition 2.4** (Definition 2.2.2 [Hot84]).**
Let be a coherent -module. Denote by the set of the irreducible components of . We define the characteristic cycle of by the formal sum
[TABLE]
For we denote its degree part by
[TABLE]
Let be a coherent -module. Following the notation of [ABV92] (Definition 1.30 [ABV92] and Proposition 19.12 [ABV92]) for each irreducible subvariety of we denote
[TABLE]
and call the microlocal multiplicity along .
Proposition 2.5** (Theorem 2.2.3 [Hot84]).**
*Let *
[TABLE]
be an exact sequence of coherent -modules. Then for any irreducible subvariety of such that we have
[TABLE]
In particular, for we have
[TABLE]
From the previous result, for each irreducible subvariety of the microlocal multiplicity along defines and additive function for short exact sequences:
[TABLE]
Therefore, the microlocal multiplicities define -linear functionals:
[TABLE]
A coherent -module is called a holonomic -module (or a holonomic system) if it satisfies From Theorem (11.6.1) [Hot84] every -equivariant coherent -module is holonomic. Furthermore, for any -equivariant coherent -module, the stratification of defined by the -orbits induces a stratification of by the closure of the conormal bundle to the -orbits, and a more explicit description of the characteristic cycles is therefore possible. More precisely, denote at each point the differential of the -action by
[TABLE]
Regarding as a trivial bundle over , we get a bundle map
[TABLE]
We define the conormal bundle to the -action as the annihilator of the image of :
[TABLE]
If belongs to the -orbit , then
[TABLE]
and the fiber of at is the conormal bundle to at :
[TABLE]
Therefore
[TABLE]
We have the following result. Let be a -equivariant coherent -module. We have: The characteristic variety of is contained in the conormal bundle to the -action . The -components of are closures of conormal bundles of -orbits on . Consequently
[TABLE]
where denotes the microlocal multiplicity along (i.e. ).
3 Geometric induction
In this section we recall Bernstein’s induction functor and use it to define a geometric analogue of the induction functor in representation theory. Once the geometric induction functor has been introduced, we turn to explain how it affects characteristic cycles. By doing this, we are able to describe the characteristic cycle associated to an induced representation (through the Beilinson-Bernstein Correspondence), in terms of the characteristic cycle of the representation being induced. As we will see in Section 4.3, this will have as a consequence the possibility to reduce in some particular cases the computation of the micro-packets associated to a group, to the computation of the micro-packets associated to a Levi subgroup.
Let us begin by introducing the geometric objects required to the definition of characteristic cycles and the geometric induction functor. These objects are also going to be required in Section 4 for the definition of the micro-packets.
Suppose is a smooth complex algebraic variety on which an algebraic group acts with finitely many orbits. Define (see Appendix B [MV88] and Definition 7.7 [ABV92])
to be the bounded derived category of sheaves of complex vector spaces on having cohomology sheaves constructible with respect to an algebraic stratification on .
to be the subcategory of consisting of -equivariant sheaves of complex vector spaces on having cohomology sheaves constructible with respect to the algebraic stratification defined by the -orbits on .
Living inside this last category we have the category of -equivariant perverse sheaves on (see Definition 2.1.2 [BBD82]). We write
for be the category of -equivariant perverse sheaves on .
Next, set to be the sheaf of algebraic differential operators on and define:
to be the category of -equivariant coherent sheaves of -modules on .
to be the -equivariant bounded derived category of sheaves of -modules on having coherent cohomology sheaves.
The categories and are abelian, and every object has finite length. To each of them corresponds a Grothendieck group that we denote respectively by
[TABLE]
The four previous categories are related through the Riemann-Hilbert correspondence.
Theorem 3.1** **(Riemann-Hilbert Correspondence, see Theorem 7.2.1 [Hot84], Theorem 7.2.5 [Hot84]
and Theorem 7.9 [ABV92]).
The de Rham functor induces an equivalence of categories
[TABLE]
such that if we restrict to the full subcategory of we obtain an equivalence of categories
[TABLE]
This induces an isomorphism of Grothendieck groups
[TABLE]
We use the previous isomorphism to identify the Grothendieck groups of (18) writing simply instead of and
In this paper we are mostly interested in the case of being a flag variety. More precisely, let be a connected reductive complex algebraic group with Lie algebra . Fix a real form of (see Equation (2.1)(a-c) [ABV92]) and write for the Cartan involution attached to as in Equation (5d)-(5g) [AV15]. Let be the group of fixed points of . The flag variety of is defined as the set of all Borel subgroups of (or equivalently as the set of all Borel subalgebras of ). The group acts on by conjugation, this action is transitive and if we restrict it to , the number of -orbits is finite (See the proof of Propostion 6.16 [ABV92]). Most of the work will be done in the framework of the categories , and the subcategories of -equivariant perverse sheaves and -equivariant -modules on .
To compare the geometric induction functor with induction in representation theory, we need to relate the categories just introduced with the category of -modules of . This is done through the Beilinson-Bernstein correspondence, that we describe below following Chapter 8 [ABV92].
Define
[TABLE]
We have an equivalence of categories between and the category of (infinitesimal equivalence classes of) admissible representations of . Using this equivalence, we shall blur the distinction between these two categories by referring to their objects indiscriminately as representations of .
As before, let be the flag variety of and write for the sheaf of algebraic differential operators on . We define
[TABLE]
to be the algebra of global sections of . We recall that every element of defines a global vector field on and that this identification extends to an algebra homomorphism
[TABLE]
called the operator representation of . The kernel of is a two-sided ideal denoted by
[TABLE]
Now, if is any sheaf of -modules, then the vector space obtained by taking global sections is in a natural way a -module and therefore, via , a module for . The functor sending the -module to the -module is called the global sections functor. In the other direction, if is any module for then we may form the tensor product
[TABLE]
This is a sheaf of -modules on . The functor sending to is called localization.
Theorem 3.2** **(Beilinson-Bernstein localization theorem,
see [BB81], Theorem 3.8 [BB82], Theorem 1.9 [BB85] and Theorem 8.3 [ABV92]).
We have:
- i.
The operator representation is surjective. 2. ii.
The global sections and localization functors provide an equivalence of categories between quasicoherent sheaves of -modules on and modules for . 3. iii.
Let
[TABLE]
Then the global sections functor and localization functor provide an equivalence of categories between:
[TABLE]
This induces an isomorphism of Grothendieck groups
Suppose is a parabolic subgroup of whose Lie algebra is germane with respect to the pair (i.e. satisfies the equivalent conditions of Proposition 4.74 [KV95]). Let be the Levi decomposition of . By Proposition 4.74 [KV95] and Proposition 4.78 [KV95] is a reductive subgroup stable under , and the restriction of to defines a Cartan involution for . We are going to be interested in two extreme cases for the notion of germane. One is that the parabolic subgroup is real, that is stable under . The other case is that is stable under the Cartan involution . From this point forward we suppose that is in any of this two cases.
Consider the fibration . Its fiber over can be identified with the flag variety of . We denote the inclusion of that fiber in by
[TABLE]
Define , since , it acts with finitely many orbits over . Finally write for the Lie algebra of , for the Lie algebra of , and for the Lie algebra of . Let
[TABLE]
be the induction functor introduced in Equations (11.71c)-(11.71d) [KV95], and define
[TABLE]
When is -stable corresponds to the Vogan-Zuckerman cohomological induction functor. In the case of real, we have from Proposition 11.57 [KV95], that is the underlying -module of the parabolically induced representation , with the admissible representation of with underlying -module . Since we are identifying representations with their underlying -modules, we are not going to make any distinction between parabolic induction and the functor in (22) for real .
{comment}
we denote
[TABLE]
to be the normalized parabolic induction functor.
Finally define the representation theory induction functor as
[TABLE]
We now begin with the description of the geometric induction functor. The objective is to define a functor
[TABLE]
that makes the following diagram commutative
[TABLE]
Here the horizontal arrows are given by Theorem 3.2. The construction of is based on Bernstein’s geometric functor.
Definition 3.3** (Section 1.1 [MV88]).**
Suppose is a smooth complex algebraic variety on which the algebraic group acts with finitely many orbits. For any subgroup of we define the Bernstein induction functor
[TABLE]
as the right adjoint of the forgetful functor from to (see [Bie86] for the proof of its existence). More precisely, consider the diagram
[TABLE]
given by
[TABLE]
where is the quotient of by the -action . From Theorem (A.2) (iii) [MV88], for there is a unique such that . Bernstein’s induction functor is defined as
[TABLE]
where is the right derived functor of the direct image functor defined by . Equivalently, one can also define via the diagram
[TABLE]
given by
[TABLE]
Then for we have
[TABLE]
where is the unique element in such that (Theorem (A.2) (iii) [MV88]) and is the right derived functor of the direct image functor defined by .
We can now give the definition of the geometric induction functor.
Definition 3.4**.**
*Let *
[TABLE]
be the inclusion defined in Equation (21) and write for the right derived functor of the direct image functor defined by . ** The geometric induction functor* is defined as*
[TABLE]
*where is the unique element in satisfying . Equivalently, the geometric induction functor can also be defined as *
[TABLE]
*where is the unique element in satisfying . *
Now that the geometric induction functor has been introduced, we explain how it affects characteristic cycles. The characteristic cycle of a perverse sheaf can be defined through Morse theory (see II.6.A [GM88]), via the use of vanishing cycles (see Proposition 4.3.20 [Dim04]), or through the Riemann-Hilbert correspondence. This latter option is the one that we follow in this article. {comment} : to each as as the associated cycle of the characteristic variety attached to the corresponding -module.
Let us sketch their definition. We do this in the same framework as that of the beginning of this section (i.e. is a smooth complex variety on which an algebraic group acts with finitely many orbits).
To every -module it is fairly easy to define a variety (see for example definition (2.1.2) [Hot84]) which is a closed, involutive and conic analytic subvariety in the complex cotangent bundle . Let and write for the corresponding -module under the the Riemann-Hilbert correspondence. We define The variety is called the characteristic variety of . More generally, let and write for the corresponding element in under the Riemann-Hilbert correspondence. Then we define the characteristic variety of as
[TABLE]
Now, suppose is constructible with respect to the stratification . Then since is a closed, conic, analytic Lagrangian subset in the cotangent bundle , each irreducible component of is of the form for some (unique) (see Remark 4.3.16 (ii) [Dim04]). When , the characteristic variety is contained in , the conormal bundle to the -action. The -components (that is, the smallest -invariant union of irreducible components) of are the closures of conormal bundles of -orbits in (see Lemma 19.2 (b)[ABV92]), and is an union of these -components (see Proposition 19.12 (c) [ABV92]).
The characteristic cycle is defined when we take the multiplicities of the components into account. Let be a perverse sheaf, then we define the characteristic cycle of as the associated cycle of the characteristic variety (see Definition 2.2.2 [Hot84]), that is
[TABLE]
where denotes the set of the irreducible components of and corresponds to the length of the local ring (see Section 1.5 [Ful98]). When all irreducible component of in the -component have the same length. We denote this length by . By Proposition 19.12 (c) [ABV92] the characteristic cycle of decomposes as
[TABLE]
More generally, if , then the characteristic cycle of is defined as the formal sum where for each irreducible component of , is an integer defined as in Equation (2.5) [SV96]. If we write to be the set of formal -linear combinations of irreducible analytic Lagrangian conic subvarieties in the cotangent bundle , then the characteristic cycle can be seen as a map . In particular, if we define to be the set of formal sums
[TABLE]
then taking characteristic cycles defines a map and from Theorem 2.2.3 [Hot84] (see also Proposition 19.12(e) [ABV92]) we obtain a -linear map
[TABLE]
Let . Following the notation of [ABV92] (Definition 1.30 [ABV92] and Proposition 19.12 [ABV92]) for each -orbit in we denote
[TABLE]
and call the microlocal multiplicity along . Finally, for each formal sum we define the support of , as
[TABLE]
Notice that by definition, for every , .
As a first result, let us describe how the functor affects the characteristic variety.
Lemma 3.5**.**
In the setting of Definition 3.3, let . Then
[TABLE]
Proof.
The right inclusion in (46) is Lemma (1.2) [MV88]. For the left inclusion we consider the definition of via Diagram (41). Let be such that . We use the description of Ch given in Proposition B2 [MV88]. Let be a smooth compactification of . Then factors as , and as explained in the proof of Lemma B2 [MV88] we have
[TABLE]
where denote the projection . Since is an open embedding
[TABLE]
Therefore
[TABLE]
Finally, by Proposition B1 [MV88], and from the proof of Lemma (1.2) [MV88] we obtain . Equation (46) follows. ∎
Let us start now with the study of the relation between characteristic cycles and the geometric induction functor. Our main result is a formula for in terms of the characteristic cycle of . From Definition 3.4 it is clear that in order to compute it will be necessary first to describe the behaviour of characteristic cycles under taking the direct images and second to reduce the characterization of to the one of . The second step will be done in Proposition 3.9 and Corollary 3.10 below. Another option to compute is to make use of instead of , and to reduce the characterization of to the one of , but since Proposition 7.14 [ABV92] gives us a description of , in this article we work principally with the definition of via Diagram (36).
To deal with the direct images and , we describe the pushforward of cycles
[TABLE]
that make the diagrams
[TABLE]
commutative. This will be done in a more general context than the one of the functions and . Consider a morphism between two smooth algebraic varieties. We work initially in the derived categories and restrict our attention to the equivariant subcategories when working with the equivariant maps and . The definition of and proof of the commutativity of the diagram
[TABLE]
is due principally to the work of Kashiwara-Schapira [KS90] and Schmid-Vilonen [SV96]. We give a short review of their work. We begin by noticing that Schmid-Vilonen work in the derived category of sheaves having cohomology sheaves constructible with respect to a semi-algebraic stratification. We consider then the derived categories introduced at the beginning of this section as subcategories of this larger category, and restrict their result to our framework when working with an algebraic map . By abuse of notation we write, as in the paragraph previous to Equation (43), (respectively ) for the set of semi-algebraic Lagrangian cycles in (respectively ).
The definition of for an arbitrary algebraic map reduces to the case of proper maps and open embeddings. We begin by describing in the case that is a proper map. Consider the diagram
[TABLE]
where is the projection on the second coordinate and for all we have . The assumption of being proper implies that is proper. Hence we can, as in Section 1.4 [Ful98], define a pushforward of cycles . Moreover, intersection theory (see Section 6.1, 6.2 and 8.1 [Ful98]) allows us to construct a pullback of cycles . The map is then defined as the composition of these two functions (see Equation 2.16 [SV96])
[TABLE]
The following result due to Kashiwara-Schapira relates to the right derived functor and proves the commutativity of (55) in the case of proper maps.
Proposition 3.6** (Proposition 9.4.2 [KS90]).**
Let be a proper map. Then for all
[TABLE]
As explained at the end of Section 3 [SV96], we can give a more explicit description of by choosing a transverse family of cycles with limit equal to . More precisely, suppose is transverse to the map . Then the geometric inverse image of is well-defined as a cycle in and we have
[TABLE]
Consequently, is a well-defined cycle in . Now, by Lemma 3.26 [SV96] we can choose for every cycle a family such that the map is transverse to supp; for every and
[TABLE]
For more details about the construction of this family of cycles, see Equation (3.10) and (3.11) [SV96]. Equations (3.12-3.16) [SV96] provide the notion of limit of a family of cycles. Schmid and Vilonen prove
Proposition 3.7** (Proposition 3.27 of [SV96]).**
Suppose is proper. Let . Choose a family with limit and such that is transverse to the support , for every . Then
[TABLE]
Having described when is proper, we explain now how to define in the case when is an open embedding. We follow Chapter 4 [SV96]. We start by choosing a real valued, semialgebraic -function , such that
the boundary is the zero set of , 2. 2.
is positive on .
For more details on the existence of this map, see Equation (4.1) [SV96] and Proposition I.4.5 [Shi87]. Suppose , and for each define as the cycle of equal to the image of under the automorphism of defined by
[TABLE]
Theorem 4.2 [SV96] relates the limit of the family of cycles (see page 468 [SV96] for the proof of why this family defines a family of cycles) to the direct image . We state it here as
Proposition 3.8**.**
Suppose is an open embedding. Let , then
[TABLE]
We notice that, while the family of cycles does not necessarily live in the set of characteristic cycles for the derived category of sheaves whose cohomology is constructible with respect to an algebraic stratification, the limit does. Following Proposition 3.8 we define for each
[TABLE]
{comment}
Set,
[TABLE]
and,
[TABLE]
then the support of the chain is contained in the inverse image of in . is contained in the union of the conormal bundles of a locally finite family of smooth, locally closed, subanalytic subsets of .
Finally, to treat the case of an arbitrary algebraic map we follow Chapter 6 [SV96]. We embed as an open subset of a compact algebraic manifold , and we factor into a product of three mappings: the closed embedding
[TABLE]
which is a simple case of a proper direct image, the open inclusion
[TABLE]
and the projection
[TABLE]
which is also a proper map. Then we can factor the derived functor into the product
[TABLE]
From Theorem 3.6 and Theorem 3.8 for each we have
[TABLE]
Consequently, we define
[TABLE]
Let us return to our map of Definition 3.3. Suppose and consider the sheaf of Definition 3.4. Our objective is to give a more explicit description of by reducing its computation to the one for the cycle . From (61) we can write
[TABLE]
Thus, to be able to compute the first step is to relate the characteristic cycle of to the characteristic cycle of . This is done in the two following results. The first is a reformulation of Proposition 7.14 [ABV92], Proposition 20.2 [ABV92] and Lemma 1.4 [MV88].
Proposition 3.9**.**
Suppose is a smooth complex algebraic variety on which an algebraic group acts with finitely many orbits. Suppose is an algebraic group containing . Consider the bundle
[TABLE]
on which the group G acts by
[TABLE]
Then:
The inclusion
[TABLE]
induces a bijection from -orbits on to -orbits on . Furthermore, this bijection preserves the inclusion relations of closures. 2. 2.
There are natural equivalences of categories,
[TABLE] 3. 3.
Write for the inclusion, and consider the bundle map
[TABLE]
with defined by Equation (19.1)(c) **[ABV92]**. Write for the quotient bundle: the fiber at is
[TABLE]
Then the tangent bundle of is naturally isomorphic to the bundle on induced by
[TABLE] 4. 4.
The action mapping (see Equation (19.1) **[ABV92]**) may be computed as follows. Fix a representative for the point of , and an element . Then
[TABLE]
Here is the zero element of , so the term paired with on the right side represents a class in . 5. 5.
The conormal bundle to the -action on the induced bundle is naturally induced by the conormal bundle to the -action on :
[TABLE] 6. 6.
*Suppose and correspond through any of the equivalences of categories of (2), above. Then *
[TABLE]
In particular, the microlocal multiplicities (see Equation (44)) are given by
[TABLE]
and
[TABLE]
Corollary 3.10**.**
In the setting of Definition 3.4, let . Then
[TABLE]
where is the unique element in satisfying (see Definition 3.3).
Before giving the proof of the corollary, notice that from the definition of and the proof of Proposition 3.9(2) (see pages 93-94 [ABV92]), and correspond through the equivalence of categories of Proposition 3.9(2).
Proof.
Suppose and write
[TABLE]
for the corresponding characteristic cycle. From Proposition 3.9(6), the characteristic cycle of may be identified as a cycle in as
[TABLE]
From Proposition 6.16 [ABV92] and Corollary 6.21 [ABV92] the inclusion is a closed immersion and in consequence proper. Consider the diagram
[TABLE]
By Proposition 3.6 we have
[TABLE]
where and are defined as in (57). Writing as the limit of a family of cycles transverse to , by Proposition 3.7 we conclude that is the inverse image of under
[TABLE]
Since the inverse image of the conormal bundle of each -orbit in is given by
[TABLE]
we obtain
[TABLE]
Consequently
[TABLE]
∎
The remaining step in the characterization of is to describe the effect of taking on This is done in the proof of the following theorem.
Theorem 3.11**.**
In the setting of Definition 3.4, let . Then
[TABLE]
Proof.
Suppose and write
[TABLE]
for the corresponding characteristic cycle. From Equation (63) and Corollary 3.10 {comment} equation (63) we can divide the computation of (LABEL:eq:objective) into to steps: we start by using proposition (3.9) to compute then we apply (equation (62)) to this cycle to obtain .
Let’s start by describing . From point (2) of proposition (3.9) we can identify the characteristic cycle of as a cycle in as
[TABLE]
More precisely
[TABLE]
and we can reduce the description of to compute . The map is injective, we know then from proposition (6.21) of [ABV92]) that is a closed immersion and in consequence proper. Therefore if we consider the diagram
[TABLE]
from proposition (3.6) we have
[TABLE]
where and are defined as in (57). Writing as the limit of a family of cycles transverse to it is not difficult to prove that it is just the inverse image of under and because the inverse image of the conormal bundle of each -orbit in is given by
[TABLE]
we obtain
[TABLE]
Therefore
[TABLE]
and we can write
[TABLE]
We recall how is defined. As explained after Proposition 3.8, we embed as an open subset of a compact algebraic manifold and factorize into a product of three maps: the closed embedding
[TABLE]
the open inclusion
[TABLE]
and the projection
[TABLE]
For later use we also denote the restriction of to as
[TABLE]
The map is defined by
[TABLE]
with and defined by (57) and as in (60). We have {comment}
[TABLE]
because is a proper map by Kashiwara-Schapira’s proper push-forward we have
[TABLE]
To deal with the open embedding we use Schmid-Vilonen open push-forward. Defining as in () from theorem () we obtain
[TABLE]
Finally is a proper direct image thus by using once again Kashiwara-Schapira’s proper push-forward
[TABLE]
We start by describing . Notice that the same argument used to compute in Corollary 3.10 allows us to conclude that is the inverse image of under
[TABLE]
Since the map occurs in the definition of , to compute the inverse image of we need first to compute the inverse image under
[TABLE]
of the conormal bundle of each -orbit in . To do that we begin by noticing that, since by Proposition 3.9 for each we have
[TABLE]
with the differential of the action map at (see Equation 19.1(a) [ABV92]), the map can be represented as
[TABLE]
Then from Proposition 3.9, it is an easy exercise to verify that for each -orbit in , we have
[TABLE]
Now, for each we have
[TABLE]
and the image of each element under the map is
[TABLE]
Consequently, each element of in the preimage under of the annihilator of in must be a linear combination of elements of the form
- •
, with
- •
, with
- •
, with
and one may verify that this space is . Therefore, for the conormal bundle of each -orbit in we obtain
[TABLE]
and so
[TABLE]
Next we compute . In order to do this we fix, as in the paragraph previous to Equation (59), a function
[TABLE]
which takes strictly positive values on and vanishes on the boundary of in . Define the family of cycles as in (59). From Proposition 3.8 we have
[TABLE]
It only remains to compute the image under of . Consider the diagrams
[TABLE]
[TABLE]
By Lemma 6.4 [SV96], the function can be chosen in such a way that for every sufficiently small , is transverse to . The transversality condition implies that the geometric inverse image is well-defined as a cycle and
[TABLE]
Moreover, by Proposition 3.7
[TABLE]
Next, from Equation (59) for each , is a cycle of . Consequently, the family of cycles lies entirely in . This permits us to use the map and instead of and on the right hand side of (69) and write
[TABLE]
To compute the right hand side of (70) we begin by noticing that
[TABLE]
Hence can be written as
[TABLE]
with the image of each point given by
[TABLE]
Therefore defines an embedding, and we conclude that is simply the intersection between and . Now, by Lemma 3.5 the space is contained in the characteristic variety of . Moreover, for each , defines a non-zero cycle. Hence from the description of the elements in given before Equation (67), we obtain that for each point there exists such that
[TABLE]
Each point at the intersection of and is then of the form
[TABLE]
Consequently
[TABLE]
Thus, if for each cycle with support (See Equation 45) and for each , we define as the cycle of equal to the image of under the automorphism
[TABLE]
we obtain
[TABLE]
Therefore
[TABLE]
Next, since for each and every element , we have the restriction of to must coincide with the cycle
[TABLE]
Consequently, if we write
[TABLE]
then the support of the cycle will be contained in the inverse image of the intersection in . Here denotes the boudary of in the flag variety . By a similar argument to the one of (4.6c)[SV96], we can moreover conclude that is the union of the conormal bundles of a family of -orbits in . This leads us to the desired equality
[TABLE]
{comment}
it’s a subset of its a cycle of and we can restrict ourselves to the set and consider the map, To compute we factor into a product of two maps,
[TABLE]
and the inclusion
[TABLE]
Then,
[TABLE]
Let’s choose a family of cycles,
[TABLE]
From (),
[TABLE]
moreover,
[TABLE]
Therefore,
[TABLE]
To treat the inclusion we use proposition. Let f be a such that, We extend into the inclusion and define the family. By proposition we have
[TABLE]
∎
To end with this section notice that from (55) and Proposition 3.9(6), we can by defining
[TABLE]
extend (31) to obtain the commutative diagram
[TABLE]
4 The Langlands Correspondence
In this section we present the objects of [ABV92] required for the definition of micro-packets. The section is a quick review of Chapters 2, 4, 5, 6 and 10 [ABV92]. We begin by describing the context in which we will do representation theory. We recall the notion of extended group and of (projective) representation of a strong real form. Next, we introduce the dual objects that are going to parameterize the set of representations and replace the Langlands parameters in the Langlands classification, namely, the set of geometric parameters. Once the geometric parameters have been introduced, we reformulate the local Langlands Correspondence in this new setting, and explain how it can be extended to include representations of a special type of covering group.
Following the philosophy of [ABV92], in this article we are not going to fix a real form and study the corresponding set of representations. Instead, we fix an inner class of real forms and consider at the same time the set of representations of each real form in the inner class. Extended groups have been introduced in [ABV92], as a manner to study and describe in an organized and uniform way, the representation theory corresponding to an inner class of real forms.
Let be a connected reductive complex algebraic group. Write for the based root datum of and set Aut for its group of automorphism. An extended group containing (see Definition 2.13 [ABV92]) is a real Lie group containing as a subgroup of index two. That is, there is a short exact sequence
[TABLE]
where , such that every element of acts on as an antiholomorphic automorphism. A strong real form of is an element such that is central and has finite order. To each strong real form we associate a real form of defined by conjugation by . The group of real points of is defined to be the group of real points of , namely . Notice that what we call here an extended group is called a weak extended group in [ABV92]. Moreover, we have:
- •
From Proposition 2.14 [ABV92], the set of real forms of associated to strong real forms of the extended group constitutes exactly one inner class of real forms of .
- •
The extended group for may be characterized in terms of two invariants (see Corollary 2.16 [ABV92]):
[TABLE]
The first invariant is an automorphism of the canonical based root datum , which is induced from conjugation by any element . To define the second invariant write for the antiholomorphic involution of defined by the conjugation action of any element . Fix a quasisplit real form in the inner class defined by , and chose so that . Then the second invariant is the coset of . The pair of invariants determines the weak extended group up to isomorphism. Furthermore, for any couple defined as before, there is a weak extended group with invariants .
Let us recall now the notion of -group, of (projective) representation of a strong real from of and introduce the dual objects that are going to parameterize them.
In order to extend the Langlands Correspondence to include projective representations of some special type of covering group of , the role played by the -groups in the descriptions of the representations must be replaced by the more general notion of -group. The -groups are introduced for the first time by Adams and Vogan in [AV92]. -groups will also be necessary to describe in Section 4.3 the Adams-Johnson packets.
Let be the dual based root datum to . We have
[TABLE]
A dual group for is a complex connected reductive algebraic group whose based root datum is dual to the based root datum of (i.e. ). A weak -group for (see Definition 4.3 [ABV92]) is an algebraic group containing the dual group for as a subgroup of index two. That is, there is a short exact sequence
[TABLE]
where . Finally, an -group for (see Definition 4.6, Definition 4.12 and Definition 4.14 [ABV92]) is a pair , where is a weak -group for and a conjugacy class of pairs with an element of finite order in and a Borel subgroup of , such that for any conjugation by is a distinguished involutive automorphism of (see the definition after Proposition 2.11 [ABV92]) preserving .
Just as for extended groups, there is a classification of (weak) E-groups in terms of first and second invariants (see Proposition 4.4 and Proposition 4.7 [ABV92]).
- •
To any weak -group for we can attach two invariants:
[TABLE]
Similar to extended groups, the first invariant is an automorphism , which is induced from conjugation by any element . To define the second invariant write for the holomorphic involution of defined by the conjugation action of any element . Let be any element in such that the conjugation action of on is a distinguished automorphism (such element necessarily exist). Then the second invariant is the coset of . The pair of invariants determines the weak extended group up to isomorphism. Furthermore, for any couple defined as before, there is a weak group with invariants .
- •
The invariants of the -group are the automorphism attached to . The second invariant of an -group is the canonical representative of the second invariant given by the square of any element , i.e. . Conversely, if is a weak -group with invariants and is a representative for the class of , then there is an -group structure on with second invariant .
- •
An -group for is an -group whose second invariant is equal to , that is to say .
Suppose now that is an extended group for with first invariant . Then a (weak) -group with first invariant will be called a (weak) -group for or a (weak) -group for and the specified inner class of real forms.
{comment}
The section is divided as follows. We begin by introducing the notions of -group and -group. Next, we recall the definition of an -parameter. The section ends with the formulation of the Local Langlands Correspondence.
{comment} Let be the based root datum of and write for the dual based root datum to . Then
[TABLE]
Definition 4.1** (Definition 4.2 [AV92], Definition 4.3, 4.6, 4.12 and 4.14 [ABV92][ABV92]).**
Suppose is a complex connected reductive algebraic group. A dual group for is a complex connected reductive algebraic group whose based root datum is dual to the based root datum of , i.e.
[TABLE]
A weak -group for is an algebraic group containing the dual group for as a subgroup of index two. That is, there is a short exact sequence
[TABLE]
where . Finally, an -group for is a pair , subject to the following conditions.
* is a weak -group for .* 2. 2.
* is a conjugacy class of pairs with an element of finite order in and a Borel subgroup of .* 3. 3.
Suppose . Then conjugation by is a distinguished involutive automorphism of preserving .
The invariants of the -group are the automorphism attached to as before and the element
[TABLE]
with any element in .
An -group for is an -group whose second invariant is equal to , that is to say .
{comment}
As explained in Chapter 4 of [ABV92], we can give a simple classification of weak -groups for . In order to give this description in more details we begin by recalling (see for example Proposition 2.11 of [ABV92]) that there is a natural short exact sequence
[TABLE]
and that this sequence splits (not canonically), as follows; Choose a Borel subgroup of , a maximal torus , and a set of basis vectors for the simple root spaces of in the Lie algebra of ; and define to be the set of algebraic automorphisms of preserving , , and as sets. Then the restriction of to is an isomorphism. An automorphism belonging to one of the sets is called distinguished.
Now, let be any element in and write for the automorphism of defined by the conjugation action of in . From (76), we see that induces an involutive automorphism of the based root datum
[TABLE]
which is independent of the choice of . Suppose moreover that is a distinguished automorphism of . Set to be the restriction of to , which is independent of the choice of , and consider the class
[TABLE]
of the element , where
[TABLE]
Just as for weak -groups, -groups can be completely classified by the couple of invariants described above. From point of Proposition 4.7 of [ABV92], two -groups with the same couple of parameters are isomorphic. Furthermore, if we fix a weak -group for with invariants and if is an -group, then from point of the same proposition, its second invariant is a representative for the class of . Conversely, if is an element of finite order representing the class of , then there is an -group structure on with second invariant .
{comment}
Definition 4.2**.**
A (weak) extended group containing is a real Lie group subject to the following conditions.
* contains as a subgroup of index two.* 2. 2.
Every element of acts on as an antiholomorphic automorphism.
A strong real form is an element of such that has finite order. The group of real points of is defined to be:
[TABLE]
Two strong real forms of are called equivalent if they are conjugated by .
Definition 4.3**.**
A representation of a strong real form of is a pair subject to
* is a strong real form of .* 2. 2.
* is an admissible representation of .*
Two such representations , are said to be equivalent if there is an element such that and is (infinitesimally) equivalent to . We define,
[TABLE]
to be the set of infinitesimal equivalence classes of irreducible representations of strong real forms of .
{comment}
Let (see [Lan89]) be the set of conjugacy classes of Langlands parameter of the weak -group , where denotes the Weil group of . Suppose is an -group. with second invariant , then we write
[TABLE]
or simply if is an -group.
Suppose . Set to be the isotropy group of and write for its preimage in the universal algebraic cover (definition )
[TABLE]
Then we define the universal component group for to be the quotient
[TABLE]
A complete Langlands parameter for is a pair with and an irreducible representation of . We make act on the set of complete Langlands parameter by conjugation and write
[TABLE]
Finally, let be an -group for with second invariant , then we write
[TABLE]
or simply if is an -group.
To define the notion of projective representation for a strong real form of , we need first to introduce the family of covering groups that is going to be of interest to us.
Let be the simply-connected covering group of and write for the kernel of the covering map . Let be the canonical covering of , namely, the projective limit of all the distinguished coverings of (see Definition 10.1 [ABV92]). We notice that the kernel of each distinguished coverings may be seen as a quotient of . We have
[TABLE]
The group is a pro-finite abelian group, the inverse limit of certain finite quotients of . Now, if is a strong real form of , let be the preimage of in . Then there is a short exact sequence
[TABLE]
A canonical projective representation of a strong real form of (see Definition 2.13 and Definition 10.3 [ABV92]) is a pair in which: is a strong real form of and is an admissible representation of . Two such representations , are said to be equivalent if there is an element such that and is (infinitesimally) equivalent to .
Now, let be an element of finite order in . By Lemma 10.2 [ABV92], determines a character . We say then that is of type if the restriction of to is a multiple of . When the character is trivial and the projective representation of type are actual representations of . Finally define
[TABLE]
to be the set of infinitesimal equivalence classes of irreducible canonical projective representations of type of strong real form of . When we simply write , this is the set of infinitesimal equivalence classes of irreducible representations of strong real form of .
The local Langlands Correspondence (see [Lan89] and [Bor79]), as originally conceived, is a bijection between -orbits of -parameters and -packets. The underlying novelty of [ABV92], is the introduction of a topological space (see Definition 6.9 [ABV92]), called space of geometric parameters, which reparameterizes the set of -parameters. In other terms, the authors define an space equipped with a -action such that the -orbits of are in bijection with -orbits of -parameters for . Consequently, the local Langlands Correspondence can be stated as a bijection between -orbits of and -packets. Furthermore, Adams, Barbasch and Vogan refine the Langlands Correspondence to a bijection between (equivalence classes of) what they refer to as complete geometric parameters and (equivalence classes of) (projective) representations of strong real forms. Another important property of , resides in its richer geometry when compared with the geometry of the space of Langlands parameters. Orbits are not necessary closed in . This property is crucial in the definition of micro-packets.
Let us introduce the space of geometric parameters and give a quick review on some of their properties. We end the section with the formulation of the Local Langlands Correspondence as stated in [ABV92].
{comment}
We can think of the space as a variety with an action of by conjugation. The -conjugacy class of any -parameter is thus a -orbit on and
[TABLE]
Furthermore, a complete Langlands parameter for corresponds to a -equivariant local system on (i.e. a -equivariant vector bundle with a flat connection):
[TABLE]
As explained in the introduction of [ABV92], with this more geometric viewpoint one might hope that, by analogy with the theory created by Kazhdan-Lusztig and Beilinson-Bernstein in [KL] and [BB81], information about irreducible characters should be encoded by perverse sheaves on the closure of -orbits on . Unfortunately, the orbits on are already closed, hence these perverse sheaves are nothing but the local systems of (78). To remedy to this situation Adams, Barbasch and Vogan introduce a new space with a -action having the same set of orbits as , but with a more interesting geometry in which orbits are not necessary closed. This new set will be called, set of geometric parameters.
Fix an extended group for , and an -group for the corresponding inner class of real forms. Let be a semisimple element and set . For every semisimple , let be the positive integral eigenspaces of ad (see Equation (6.1)(d)[ABV92]). We define the canonical flat through as the affine subspace
[TABLE]
and set
[TABLE]
This set encodes information about the restriction of -parameters to the connected component of the Weil group of (cf. Proposition 5.6 [ABV92]). Write
[TABLE]
Then is a parabolic subgroup of with Levi decomposition . Moreover, from Proposition 6.5 [ABV92] for every we have and Therefore, the definition of the groups and only depend on the canonical flat, and we can respectively define and .
Fix and consider the sets
[TABLE]
This last set encodes information about the restriction of -parameters to the non-connected component of the Weil group of . For every -orbit of semi-simple elements in , the set of geometric parameters (for ) is defined as
[TABLE]
Since is a fibre product, it carries a natural structure of a complex algebraic variety (see Proposition 6.16 [ABV92]). Now, {comment} Suppose is a weak -group for . A geometric parameter for is a pair satisfying
- i.
. 2. ii.
is a canonical flat. 3. iii.
.
The set of geometric parameters of is denoted by . As for Langlands parameters, we make act on by conjugation. Two geometric parameters are called equivalent if they are conjugate.Let us give a more explicit description of . For every semisimple , let be as in (LABEL:eqt:nilpotentpart) and define and . Now, for every -orbit of semi-simple elements in write
[TABLE]
the set of all geometric parameters is the disjoint union (see definition 6.9 [ABV92])
[TABLE]
To apply the result on characteristic cycles as expressed in the previous section, we need to relate the variety of geometric parameters to a (generalized) flag variety, this is done in Proposition 6.16 [ABV92]. Let us sketch the result. From Proposition 6.13 [ABV92] the set decomposes into a finite number of -orbits. List the orbits as and for each choose a point
[TABLE]
Then conjugation by defines an involutive automorphism of with fixed point set denoted by . Therefore, is the disjoint union of -closed subvarieties
[TABLE]
and from Proposition 6.16 [ABV92] for each one of this varieties we have
[TABLE]
In particular, the orbits of on are in one-to-one correspondence with the orbits of on the partial flag variety and from Proposition 7.14 [ABV92] this correspondence preserves their closure relations and the nature of the singularities of closures. Furthermore, for each we have the equivalence of categories , . From Proposition 3.9, the techniques described in section 2 apply then to the variety of geometric parameters. This is going to be important for the next section.
{comment}
Thus, to each Langlands parameter we can attach a couple
[TABLE]
satisfying
- •
and is a semisimple element,
- •
,
- •
and from Proposition 5.6 [ABV92], the map in (84) defines a bijection. With this description of Langlands parameters in hand, we can consider their relation to geometric parameters and reformulate Langlands classification in a more geometrical setting.
Now, let be the set of -orbits of -parameters for (see [Lan89] and Section 8 [Bor79]). As mentioned before, the -orbits in are in bijection with (see Proposition 6.17 [ABV92]). From this we can reformulate the local Langlands Correspondence as a bijection
[TABLE]
To refine the Local Langlands correspondence into a bijection with the set , the authors of [ABV92] supplement each -orbit in with the representation of a finite group, defining thereby, what they refer to as the set of complete geometric parameters. More precisely, let , set to be the isotropy group of and write for its preimage in the universal algebraic cover (see Definition 1.16 [ABV92]):
[TABLE]
The finite group in question is the equivariant fundamental group at (see Definition 7.1 and Definition 7.6 [ABV92])
[TABLE]
A complete geometric parameter for is then a pair
[TABLE]
with and an irreducible representation of . We make act on the set of complete Langlands parameter by conjugation and define to be the set of conjugacy classes of complete geometric parameters for (see Definition 7.6 [ABV92]). When we want to specify the choice of of an -group for with second invariant we write , or simply if is an -group. Similarly, we denote when working with the set of -conjugacy class of -parameters (see Definition 5.11 [ABV92]). Finally, for each -orbit of semi-simple elements in , we define as the subset of consisting of -orbits with and denote in the case that we want to make the choice of the -group with second invariant explicit.
We can now state the Local Langlands Correspondence (see Theorem 10.4 [ABV92]).
Theorem 4.4** (Local Langlands Correspondence for -groups).**
Suppose is an extended group for , and is a -group for the corresponding inner class of real forms. Write for the second invariant of the -group. Then there is a natural bijection between the set of equivalence classes of canonical irreducible projective representations of strong real forms of of type and the set of complete geometric parameters for .
We notice that, when is an -group for the projective representations in the Correspondence are actual representations of strong real forms of . Moreover, in this parameterization, the set of representations of a fixed real form corresponding to complete Langlands parameter supported on a single orbit is precisely the -packet for attached to that orbit. {comment} Let’s give a classification of the -parameters of : First we notice that the restriction of to takes the following form: there exist , with,
- •
- •
exp
such that,
[TABLE]
Write,
[TABLE]
Since acts on by complex multiplication, we have,
[TABLE]
and because Ad fixes we also have
[TABLE]
The map,
[TABLE]
define a bijection between Langlands parameter of with the set of pairs satisfying,
- •
and is a semisimple element.
- •
.
- •
.
5 Micro-packets
In this section we give a quick review on micro-packets. For a more complete exposition on the subject see Chapters 7, 19 and 22 of [ABV92].
For all of this section, let be an extended group for , and let be an -group for the corresponding inner class of real forms. Suppose is a complete geometric parameter for . Write for the space of and for the corresponding -orbit on . From Lemma 7.3 [ABV92], by regarding as a representation of trivial on , the induced bundle
[TABLE]
carries a -invariant flat connection. Therefore, defines an irreducible -equivariant local system on . Moreover, by Lemma 7.3(e) [ABV92], the map
[TABLE]
induces a bijection between the set of equivalence classes of complete geometric parameters on , and the set of couples where is an orbit of on and an irreducible -equivariant local system on . Following this bijection, the set of couples will also be denoted and for each -orbit of semi-simple elements in , we identify with the set of couples with .
{comment}
Definition 5.1**.**
Following the notation on [ABV92] we define,
- i.
= category of -equivariant perverse sheaves on X. 2. ii.
= category of -equivariant regular holonomic sheaves of -modules on X.
Write and for the respective Grothendieck groups.
These two categories are related by the Hilbert correspondence.
Theorem 5.2** (Hilbert Correspondence).**
There is an equivalence of categories,
[TABLE]
this induces an isomorphism of Grothendieck groups,
[TABLE]
Let be a -orbit of semisimple elements in . As in Section 2, write
[TABLE]
for the category of -equivariant perverse sheaves on . We define to be the direct sum over semisimple orbits of the categories . The last necessary step before the introduction of micro-packets, is to explain how the irreducible objects in are parameterized by the set of equivalence classes of complete geometric parameters. Fix . Write
[TABLE]
for the inclusion of in its closure and
[TABLE]
for the inclusion of the closure of in . Let be the dimension of . If we regard the local system as a constructible sheaf on , the complex , consisting of the single sheaf in degree defines an -equivariant perverse sheaf on . Applying to it the intermediate extension functor , followed by the direct image , we get an irreducible perverse sheaf on
[TABLE]
the perverse extension of . That every irreducible -equivariant perverse sheaf on is of this form, follows from Theorem 4.3.1 [BBD82]. The set is therefore a base of the Grothendieck group . We can finally give the definition of a micro-packet.
{comment}
In other words we have a diagram,
[TABLE]
And using Vogan duality and Beilinson-Bernstein localization theorem these two categories relate to the set of equivalence classes of irreducible representations of strong real forms of .
{comment}
Suppose is a complete Geometric parameter. Write
[TABLE]
for the inclusion of on its closure, and the inclusion of the closure in . Write for the dimension of . If we regard the local system as a constructible sheaf on , the complex consisting of the single sheaf in degree define an -equivariant perverse sheaf on . Applying to it the intermediate extension functor followed by the direct image , we get an irreducible perverse sheaf on ,
[TABLE]
[TABLE]
Definition 5.3** (Definition 19.13 [ABV92]).**
Let be a -orbit in . To every complete geometric parameter we have attached in (88) a perverse sheaf . From Proposition 19.12 [ABV92], the conormal bundle has a non-negative integral multiplicity in the characteristic cycle of . We define the micro-packet of geometric parameters attached to , to be the set of complete geometric parameters for which this multiplicity is non-zero
[TABLE]
Definition 5.4** (Definition 19.15 [ABV92]).**
Suppose is an -group for with second invariant . Let be an equivalence class of Langlands parameters for and write for the corresponding orbit of in (see Equation (85)). Then we define the micro-packet of geometric parameters attached to as
[TABLE]
For any complete parameter , let be the representation in associated to by Theorem 4.4. Then the micro-packet of is defined as
[TABLE]
Finally, let be a strong real form of , then we define the restriction of to as
[TABLE]
We notice that the Langlands packet attached to a Langlands parameter is always contained in the corresponding micro-packet
[TABLE]
This is a consequence of of the following lemma. Point of the lemma will show to be quite useful later in this section. For a proof, see Lemma 19.14 [ABV92].
Lemma 5.5**.**
Let and be two geometric parameters for .
- i.
If , then . 2. ii.
*If , then . *
We are going to be mostly interested in the case of micro-packets attached to Langlands parameters coming from Arthur parameters. These types of micro-packets, are going to be called Adams-Barbasch-Vogan packets or simply ABV-packets. We continue by recalling the definition of an Arthur parameter.
An Arthur parameter is a homomorphism
[TABLE]
where denotes the Weil group of (i.e. with and ), satisfying
- •
The restriction of to is a tempered Langlands parameter (i.e. the closure of in the analytic topology is compact).
- •
The restriction of to is holomorphic.
Two such parameters are called equivalent if they are conjugate by the action of . The set of equivalences classes is written or , when we want to specify that is an -group for with second invariant . {comment} Suppose is an Arthur parameter, we define, , like the centralizer in of and,
[TABLE]
the Arthur component group for .
To every Arthur parameter , we can associate a Langlands parameter , by the following formula (see Section 4 [Art89])
[TABLE]
Now, to correspond an orbit of on . We define
[TABLE]
Definition 5.6**.**
Suppose is an -group for with second invariant . Let be an Arthur parameter. We define the Adams-Barbasch-Vogan packet of , as the micro-packet of the Langlands parameter attached to :
[TABLE]
In other words, is the set of all irreducible representations with the property that the corresponding irreducible perverse sheaf contains the conormal bundle in its characteristic cycle.
Micro-packets attached to Arthur parameters satisfy the following important properties.
Theorem 5.7**.**
Let be an Arthur parameter for .
- i.
* contains the -packet .* 2. ii.
* is the support of a stable formal virtual character:*
[TABLE]
where for each orbit , is the dimension of the orbit and the Kottwitz sign attached to the real form of which is a representation. 3. iii.
* satisfies the ordinary endoscopic identities predicted by the theory of endoscopy.*
As explained after (89), point is a consequence of Lemma 5.5. For a proof of the second statement, see Corollary 19.16[ABV92] and Theorem 22.7[ABV92]. Finally, for a proof and a more precise statement of the last point, see Theorem 26.25 [ABV92].
5.1 Tempered representations
In this section we study ABV-packets attached to tempered Langlands parameters. Recall that is said to be tempered if the closure of in the analytic topology is compact.
Proposition 5.8**.**
*Let be a tempered Langlands parameter for . Then under (85) the corresponding orbit of in , is open and dense. *
Proof.
The assertion follows from Proposition 22.9 [ABV92], applied to an Arthur parameter with trivial part. Indeed, suppose is an Arthur parameter with restriction to equal to and trivial part. Let be the couple corresponding to under Proposition 5.6 [ABV92]. Define as in (79), and write for the centralizer of in . Finally, set
[TABLE]
Then by Proposition 22.9 [ABV92] for each the orbit is dense in . But , hence , that is, the annihilator of in is equal to zero. Therefore, and the result follows. ∎
Corollary 5.9**.**
Suppose is an -group for with second invariant . Let be a tempered Langlands parameter for , then
[TABLE]
where at right, denotes the Langlands packet of .
Proof.
By Theorem 5.7(), the -packet is contained in . We only need to show the opposite inclusion. Let and write for the orbit of in corresponding to the Langlands parameter of under Proposition 6.17 [ABV92] (see also Equation (85)). From Lemma 5.5 and the definition of , the orbit contains in its closure. As is open, and we have . By Lemma 5.5(), and we can conclude the desired inclusion. ∎
5.2 Essentially principal unipotent Arthur parameters
In this section we give a full description of the ABV-packets attached to essentially unipotent Arthur parameters, whose retriction to is a principal morphism. Our goal is to prove that the ABV-packets corresponding to such parameters, consists of characters, one for each real form of in our fixed inner class. We obtain this through a slight generalization of Theorem 27.18 [ABV92] (see Theorem 5.10 below) which only treats the principal unipotent case. This result is a key step in the proof that the packets defined in [AJ87] are ABV-packets.
Let be an Arthur parameter of . We say that
is unipotent, if its restriction to the identity component of is trivial.
More generally, we say that:
is essentially unipotent, if the image of its restriction to the identity component of is contained in the center of .
Next, fix a morphism
[TABLE]
Then we say that is principal, if contains a principal unipotent element. Finally, the (essentially) unipotent Arthur parameter is called (essentially) principal unipotent Arthur parameter if is principal.
The next result due to Adams, Barbasch and Vogan (see Theorem 27.18 [ABV92] and the remark at the end of page 310 of [ABV92]) gives a description of the set for a principal unipotent Arthur parameter.
Theorem 5.10**.**
*Suppose is an -group for with second invariant . Fix a principal morphism *
[TABLE]
- a)
The centralizer of in is . 2. b)
Suppose (i.e. is an -group). Then the set of equivalence classes of unipotent Arthur parameters attached to may be identified with
[TABLE]
More generally, if then the set of equivalence classes of unipotent Arthur parameters attached to is a principal homogeneous space for 3. c)
The unipotent representations of type (of some real form attached to are precisely the projective representations of type z trivial on the identity component . 4. d)
Suppose . Let be any strong real form of and write
[TABLE]
for the set of characters of type of trivial on . Then there is a natural surjection
[TABLE] 5. e)
Suppose is a unipotent Arthur parameter attached to and is a strong real form of . Write for the character of trivial on attached to by composing the bijection of with the surjection of . Let , be the perverse sheaf on corresponding to under the Local Langlands Correspondence (see Theorem 4.4). Then for any perverse sheaf on , we have
[TABLE]
Consequently,
[TABLE]
We turn now to the study of ABV-packets attached to essentially principal unipotent Arthur parameters. We begin by describing the behaviour of micro-packets under twisting. We record this in the next proposition. In order to enunciate the result we recall that for each strong real form of , there is a natural morphism
[TABLE]
which is surjective and maps cocyles with compact image to unitary characters of (see for example Section 2 [Lan89]).
Proposition 5.11**.**
Suppose is an -group for with second invariant . Suppose and let the cocycle be a representative of . For each strong real form of let be the character of attached to as in (92).
- i.
If is a Langlands parameter for , then the morphism
[TABLE]
defines a Langlands parameter of whose equivalence class depends exclusively on and the equivalence class of . Furthermore
[TABLE]
where
[TABLE] 2. ii.
If is an Arthur parameter for , then the morphism
[TABLE]
defines an Arthur parameter of whose equivalence class depends exclusively on and the equivalence class of . Furthermore
[TABLE]
where
[TABLE]
Proof.
To check that defines a Langlands parameter is straightforward. Let be defined as in Equation (5.7)(a) [ABV92]. By the definition of there exist such that . Write
[TABLE]
Then
[TABLE]
defines and isomorphism of varieties, that induces a bijection of orbits
[TABLE]
and of geometric parameters
[TABLE]
Furthermore, from the description of irreducible perverse sheaves given in Equation (88), we have an isomorphism that restrict for each to an isomorphism . Therefore, for each -orbit on we obtain
[TABLE]
Now, from the properties of -packets described in Section 3 [Lan89], we deduce that for each strong real form , the set of irreducible representations of corresponding to complete geometric parameters for , under the Local Langlands Correspondence (see Theorem 4.4), is equal to the set of irreducible representations of attached to complete geometric parameters for tensored by . Point follows then from the definition of micro-packets and equality (94). Point is a direct consequence of point applied to and the definition of ABV-packets. ∎
The following corollary generalizes Theorem 5.10 to the case of -groups admitting principal unipotent Arthur parameters. {comment} Let be the half sums of positive coroots and the orbit of half sums of positive coroots; this corresponds to representations of of infinitesimal character equal to that of the trivial representation. The conjugacy class,
[TABLE]
consists of the single element,
[TABLE]
is the sum of positive coroots.
Because is regular and integral, for each canonical flat there is an unique Borel subgroup which stabilize it. We may therefore identify the geometric parameters with the set of pairs where and is a Borel subgroup of .
Fix a point since is simply connected (we are in the case of adjoint) the fixed point group of the involution is connected. Since preserve (the pair defines the -group definition 4.14 of ABV), the intersection is a Borel subgroup, so it is connected as well. So it follows that,
[TABLE]
The -packet therefore consist of a single representation, the trivial one.
Corollary 5.12**.**
Suppose is an -group for . Write for the second invariant of the -group, and suppose . Let be an essentially unipotent Arthur parameter for such that is principal. Then there exist a cocycle and a principal unipotent Arthur parameter for , such that for all we have
[TABLE]
where is a representative of . Finally, for each strong real form of , let be the character of corresponding to under the map in (92), and let be the character of attached to in point Theorem 5.10 . Define
[TABLE]
*Then *
[TABLE]
Proof.
Let be an essentially unipotent Arthur parameter of such that , is a principal morphism. Let be any unipotent Arthur parameter extending . It is straightforward to check that
[TABLE]
corresponds to a cocycle . The first part of the corollary follows. For each strong real form of let and , be as in the statement of the corollary. From Theorem 5.10 we have
[TABLE]
Hence from Proposition 5.11( we conclude
[TABLE]
∎
The next result fully generalizes Theorem 5.10 to -groups admitting essentially principal unipotent Arthur parameters. The techniques employed in the proof are the same as the one used to show Theorem 5.10 in [ABV92](see pages 306-310 [ABV92]). They are based on results coming from Chapters 20-21 [ABV92], which are still valid in our framework, and from Chapter 27, only proved in [ABV92] in the case of representations with infinitesimal character arising from homomorphisms . Since the infinitesimal character of the representations that we consider here differs from by a central element, the results on Chapter 27, easily generalize to our setting.
Theorem 5.13**.**
Suppose is an -group for . Write for the second invariant of the -group, and suppose there is , a central element in with , such that
[TABLE]
Fix a principal morphism
[TABLE]
and write , where \lambda_{1}=d\psi_{1}\left(\begin{array}[]{cc}1/2&0\\ 0&1/2\end{array}\right).
- a)
The set of equivalence classes of essentially unipotent Arthur parameters attached to , with corresponding orbit contained in , may be identified with
[TABLE] 2. b)
The projective representations (of some real form ) having infinitesimal character attached to are precisely the projective characters of type with infinitesimal character . 3. c)
Let be any strong real form of and write , for the set of characters of type of . Then there is a natural map
[TABLE]
whose image is the set of projective characters of of type , having infinitesimal character . 4. d)
Suppose is an essentially unipotent Arthur parameter attached to with corresponding orbit contained in . Let be a strong real form of . Write for the projective character of type of attached to by composing the bijection of with the map of . Let , be the perverse sheaf on corresponding to under the Local Langlands Correspondence (see Theorem 4.4). Then for all perverse sheaf on , we have
[TABLE]
Consequently,
[TABLE]
Proof.
For we start by fixing an essentially unipotent Arthur parameter attached to . Notice that for each essentially unipotent Arthur parameter attached to , the equivalence class of the product
[TABLE]
defines a cocycle . Therefore, each essentially unipotent Arthur parameter attached to can be written as
[TABLE]
where is a representative of . Point follows.
For we notice that the infinitesimal character corresponding to (see Lemma 15.4 [ABV92]) is the infinitesimal character of a one dimensional representation, so the corresponding maximal ideal in (see Theorem 21.8 [ABV92]) is the annihilator of a one dimensional representation. Point , like Theorem 5.10(c), follows from Corollary 27.13 [ABV92]. We notice that Corollary 27.13 [ABV92] has been demonstrated in [ABV92], only in the case when the infinitesimal character arises from a homomorphism of into , but is easily generalized to our setting. Indeed, Corollary 27.13 [ABV92] is a consequence of Theorem 27.10 and Theorem 27.12 [ABV92], whose proof are still valid in the case of our infinitesimal character , and of Theorem 21.6 and Theorem 21.8 [ABV92], whose proof are valid for any infinitesimal character.
For (c), we start as in (a) by fixing an essentially unipotent Arthur parameter attached to . Write for the corresponding Langlands parameter. Let be a strong real form of , whose associated real form is quasi-split. Then the Langlands packets contains exactly one representation, a canonical projective character of type that we denote . Next, for each strong real form of define a canonical projective character of type , as follows; Suppose is a Cartan subgroup of with , and such that is a maximally split Cartan subgroup of . Let be such that , then defines a Cartan subgroup of . For any set
[TABLE]
Then the conditions of Lemma 2.5.2 [AJ87] hold, and extends uniquely to a one-dimensional representation, also denoted of . Now, for each essentially unipotent Arthur parameter attached to , let be defined as in . From 5.10(d), we know how to attach to each couple a character . We can now define the natural map of ; for each strong real form of we define (95) by sending to
[TABLE]
The surjectivity of (95) in the set of projective characters of of type , having infinitesimal character , is a consequence of the surjectivity of (90).
Finally, the proof of can be done along the same lines as that of Theorem 5.10(e) (see page 309 [ABV92]). For each strong real form of we just need to replace the characters appearing in 5.10(d) with the ones in the image of the map on (c), and use point (b) instead of 5.10(c). ∎
5.3 The Adams-Johnson construction
In this section we study ABV-packets attached to a particular family of Arthur parameters, namely those related to representations with cohomology. In [AJ87], Adams and Johnson attached to any Arthur parameter in this family a packet consisting of representations cohomologically induced from unitary characters. Moreover, they proved that each packet defined in this way is the support of a stable distribution (see Theorem (2.13) [AJ87]), and that these distributions satisfy the ordinary endoscopic identities predicted by the theory of endoscopy (see Theorem (2.21) [AJ87]). The objective of this section is to show that the packets defined by Adams-Johnson are ABV-packets, that is, for the family of Arthur parameters studied in [AJ87], the packet associated in (5.6) to any parameter in this family, coincides with the packet defined by Adams and Johnson. This will follow as a corollary of a more general result (see Theorem 5.18 below), where under some hypothesis on the Langlads parameter of , we are able to reduce the description of the micro-packet corresponding to , to the description of the micro-packet of a Levi subgroup of .
We begin the section by describing the family of Arthur parameters studied in [AJ87] and the construction of Adams-Johnson packets. The description of the parameters and of the Adams-Johnson packets that we give here, is inspired by Section 3.4.2.2 [Taï14] and by Section 5 [Art89]. The main difference with these two references is that in this article, we use the Galois form of the -group instead of the Weil form. By doing this we are able to describe the Adams-Johnson construction in the language of extended groups of [ABV92]. The only complication in using the Galois form is that to define the packets of Adams-Johnson it will be necessary to work with an -group of some Levi subgroup of , and consequently to use the canonical cover (see Definition 10.1 [ABV92] and Section 3) of this Levi subgroup, and to work with some projective characters of strong real forms of this cover.
Suppose is an -group for . We recall that is a -conjugacy class of pairs , with a Borel subgroup of and an element of order two in such that conjugation by is a distinguished involutive automorphism of preserving . Since is distinguished, it preserves a splitting of that we fix from now on. We notice that the -group can be more explicitly described as the disjoint union of and the coset , with multiplication on defined by the rules:
[TABLE]
and the obvious rules for the other two kinds of products. This explicit description of , amounts to the usual description of an -group as the semi-direct product of with the Galois group.
Now, let be an Arthur parameter for and recall the definition . The restriction of to takes the following form (cf. Proposition 5.6 [ABV92]): there exist , with such that
[TABLE]
We may suppose is dominant for . Let be the centralizer of in and write for its lie algebra. We have
[TABLE]
and
[TABLE]
Set where . Then
[TABLE]
Set and write for the half-sum of the positive coroots defined by the system of positive roots . The family of Arthur parameters studied by Adams and Johnson are those which satisfy the following properties:
- AJ1.
The identity component of is contained in . 2. AJ2.
contains a principal unipotent element of . 3. AJ3.
for all root .
Let . It is immediate from (AJ2), that is -principal in . Write for the lie algebra of , and let be a -triplet generating . Up to conjugation we can, and will, suppose that
[TABLE]
Since commutes with , conjugation by fixes , and because is regular in , normalizes . It is also obvious that normalizes and . Now, normalizes , so normalizes . From now on we assume that is semi-simple. We make this assumption just to simplify the exposition that follows, the conclusions in (102) and (104) remain true in the reductive case. Point (AJ1) is therefore equivalent to
. is trivial.
As is the center of , the group commutes with . Hence and it follows that is trivial. Consequently, and we can write
[TABLE]
Hence . In particular Ad is a linear automorphism of order two of . It is semi-simple with eigenvalues equal to . Condition (AJ1*′*) is then equivalent to
[TABLE]
The following arguments are taken from 3.4.2.2 [Taï14].
Let be the section defined in Section 2.1 [LS87]. Let be the longest element in and let be the longest element in . Write
[TABLE]
Let , be the set of simple roots of the positive root system . Since (resp. ) sends positive roots in (resp. ) to negative roots, and because preserves the splitting , we can conclude that preserves . Moreover, acts as -Id on and by in . In particular, Ad. Thus
[TABLE]
the element commutes with , and we have . Furthermore, from Proposition 9.3.5 [Spr98], preserves the splitting . Hence commutes with , and we can say the same for . Now, is principal in so and there exists such that
[TABLE]
We compute
[TABLE]
Let be the parabolic subgroup of containing such that the roots of in are the satisfying . In particular is a Levi factor of . The section has the property that
[TABLE]
Therefore, and from Proposition 1.3.5 [She81] we can conclude
[TABLE]
Let
[TABLE]
Then
[TABLE]
and
[TABLE]
The Langlands parameter corresponding to verifies for every
[TABLE]
We point out that from point (AJ3) above, is regular, and from (103) is the infinitesimal character of a finite-dimensional representation of some real form of with highest weight (relative to the root system ) equal to
[TABLE]
This concludes the description of the Arthur parameters studied in [AJ87]. To define the cohomology packets we need first to connect the Levi subgroup of to an extended group for some Levi subgroup of , and factor through an Arthur parameter of some -group for . The second invariant of this -group will be equal to , and since this element is not necessarily one, it is not always possible to factor through the Arthur parameter of an -group for . Because of the Local Langlands Correspondence, this will have as a consequence the necessity of using the canonical cover of (see Definition 10.1 [ABV92] and Section 3).
The final step in the construction of the packets is to use Theorem 5.13 to associate to a family of canonical projective characters of strong real forms of of type and apply cohomological induction to them.
Let be a strong real form of , whose associated real form is quasi-split. Write for the corresponding Cartan involution (see Equation (5d)-(5g) [AV15]). Suppose is a Cartan subgroup of stable under and . We have a canonical isomorphism between the based root data
[TABLE]
Using this isomorphism, to the couple we can associate a parabolic group of containing such that . Now, conjugation by the element defined in (98) preserves the splitting , so the isomorphism transfer it to a distinguished involutive automorphism of . Write for the automorphism of the based root datum of (or equivalently of the based root datum of ) induced in this way by . We define (see Proposition 2.16(c) [ABV92])
[TABLE]
Let be the automorphism of the based root datum of induced by through duality. Since induces the same automorphism, we have . Consequently, each real form in the inner class corresponding to , is the restriction to of a real form in the inner class corresponding to , that is . Next, write
[TABLE]
and define (see Proposition 4.7(c) [ABV92])
[TABLE]
More precisely, let be any distinguished automorphism of corresponding to . Then the group is defined as the union of and the set of formal symbols , with multiplication defined according to the rules:
[TABLE]
and the obvious rules for the other two kinds of product. {comment} Suppose is a strong real form of , i.e. . and write for the corresponding real form of . We notice that the set of real forms of that can be extended to is in correspondence with
[TABLE]
We explain now how to extend the isomorphism to an embedding
[TABLE]
Since is the disjoint union of and the coset we just need to define on . We do this by sending each element to:
[TABLE]
And because , is straightforward to verify that the embedding is well-defined.
Let us go back now to our Arthur parameter satisfying points (AJ1), (AJ2) and (AJ3) above. From the properties satisfied by and the definition of there exists (up to conjugation) a unique essentially unipotent Arthur parameter
[TABLE]
with restriction to equal to the principal morphism, such that up to conjugation by we have
[TABLE]
Indeed, with notation as in (97) and (99), we just need to define by
[TABLE]
Since is an essentially principal unipotent Arthur parameter, by Theorem 5.13(d) there exists for each strong real form of a projective character of type of . We notice that since is is bounded, the character is unitary.
Suppose now that is a strong real form of so that . Then can be seen as a strong real form of . Write
[TABLE]
and make act on by conjugation. Denote by the set of -conjugacy classes of . Each -orbit in defines an -conjugacy class of strong real forms in , belonging to the same -conjugacy class of strong real forms in . For each fix a strong real form , and as above write for the unitary character of type of corresponding to and . Now, let be the Cartan involution corresponding to , then the parabolic subgroup of defined after Equation (105) is -stable. Write
- •
be the preimage in of .
- •
, and .
- •
.
and consider the cohomologically induced representation
[TABLE]
We would like to begin by pointing out that, since is a canonical projective representation of type (see Equation (101) and Equation (107)), we are not tensoring with when applying the fuctor (cf. Equation (22)). As a consequence the infinitisemal character of is equal to the infinitesimal character of . Second we notice that the -parameter associated to is the -parameter of an -group obtained by composing the -parameter corresponding to with the embedding . Therefore, using the Local Langlands Correspondence (see Theorem 4.4) we conclude that is of type 1 (see Definition (10.3) [ABV92] and the paragraph after Equation (77)), that is to say trivial on , and consequently can be seen as a representation of .
We can now give the definition of the packets defined by Adams and Johnson in [AJ87].
Definition 5.14**.**
Let be an Arthur parameter for satisfying points , and , above. The Adams-Johnson packet corresponding to is defined as the set
[TABLE]
The next result enumerates some important properties satisfied by Adams-Johnson packets.
Theorem 5.15**.**
Let be an Arthur parameter for satisfying points , and , above.
- i.
* contains the -packet .* 2. ii.
* is the support of a stable formal virtual character (For a precise description of the stable character see Theorem 2.13 [AJ87]).* 3. iii.
* satisfies the ordinary endoscopic identities predicted by the theory of endoscopy (For a more precise statement of this point see Theorem 2.21 [AJ87]).*
We turn now to the proof that Adams-Johnson packets are ABV-packets. We begin by noticing that from Theorem 5.13 we have
[TABLE]
Thus, we can give a reformulation of Definition 5.14 in terms of the the ABV-packet attached to as follows
[TABLE]
The next two results are going to be needed in what follows. The first is Proposition 1.11 [ABV92].
Proposition 5.16**.**
Suppose is a quasisplit real form of . Let be two Langlands parameters, with and as the corresponding -orbits. Then the following conditions are equivalent:
- i.
* is contained in the closure of .* 2. ii.
There are irreducible representations and with the property that is a composition factor of the standard module of which is the unique Langlands quotient.
We remark that implies even for not quasi-split.
Lemma 5.17**.**
Let be the extended group defined in (106), and write for the -group defined in (108). In the setting of (81), let us write
[TABLE]
for the closed immersion induced from the inclusion of Equation (109) (see Corollary 6.21 [ABV92]). Let be a Langlands parameter for with restriction to given by
[TABLE]
where , with (cf. Proposition 5.6 [ABV92]). Suppose that satisfies the following properties
- i.
* factors through , that is, there exists a Langlands parameter of such that*
[TABLE] 2. ii.
* for all roots .*
Write for the -orbit in corresponding to under (85) and for the -orbit in corresponding under (85) to . Suppose is a -orbit in containing in its closure. Then there exists an orbit of in with such that
[TABLE]
Proof.
Let be a strong real form of with , such that its associated real form defines a quasi-split real form for . As in the paragraph following (113), for each fix a strong real form , and write for the Cartan involution corresponding to . Let be the parabolic subgroup of defined after Equation (105). Then is a -stable parabolic subgroup with Levi decomposition . After possibly conjugating , we may assume from Lemma 5.17 that
[TABLE]
Then by Proposition 4.13 [Vog84] and Theorem 8.2 [KV95], the cohomological induction functor (notation as in (114))
[TABLE]
when restricted to the category of canonical projective representation of type (see Equation 107) with infinitesimal character , is exact and carries irreducible representations to irreducible representations.
Suppose is a -orbit in containing in its closure, and write for the Langlands parameter corresponding to under Proposition 6.17 [ABV92] (see also Equation (85)). From Proposition 5.16 there are irreducible representations and , with the property that is a composition factor of the standard module of which is the unique quotient.
Now, recall the bijection between complete geometric parameters and final limit characters stated in Theorem 12.9 [ABV92] and Proposition 13.12 [ABV92]. Since factors through and , this bijection together with Lemma 8.1.2 [Vog81] and Theorem 8.2.4 [Vog81], implies the existence of an element , a strong real form , and a standard module of , such that
[TABLE]
Let be the unique irreducible quotient of . Using the notation introduced earlier, we denote . Since when restricted to representations with infinitesimal character is exact and carries irreducible representations to irreducible representations, we deduce from (116) that
[TABLE]
and is the Langlands parameter corresponding to .
Furthermore, the exacteness and the preservation by of the irreducibility property, implies that every composition factor of is obtained after applying cohomological induction to a composition factor of . Therefore, there exists an irreducible representation of , such that
[TABLE]
Let be the Langlands parameter corresponding to and write for the orbit of in associated to under Proposition 6.17 [ABV92]. Since is a composition factor of the remark after Proposition 5.16, implies that the orbit is contained in the closure of . Furthermore, from Equation (117) and the relation between the data parameterizing and in Lemma 8.1.2 [Vog81], we can verify that the Langlands parameter factors through . Thus by Corollary 6.21 [ABV92] the orbits and correspond under the map , that is to say
[TABLE]
∎
That Adams-Johnson packets are ABV-packets, follows as a corollary of the next theorem.
Theorem 5.18**.**
*Let be a Langlands parameter for satisfying Lemma 5.17 -. Then *
[TABLE]
Proof.
Let be the unique (up to conjugation) Langlands parameter of satisfying . From the definition of the embedding (see Equation (109)), we deduce
[TABLE]
Write
[TABLE]
Since satisfies Lemma 5.17, and are orbits of regular elements in and respectively. With notation as in Equations (80)- (81) and Equation (86), let be a complete geometric parameter for such that its corresponding orbit of in , contains in its closure. Let be the irreducible representation corresponding to under the Local Langlands Correspondence (see Theorem 4.4) and write for the strong real form of of which is a representation, i.e. . Let
[TABLE]
(see Equation (5d)-(5g) [AV15]). By Lemma 5.17 there exists an orbit of in satisfying
[TABLE]
Therefore, the Langlands parameter associated to factors through and is cohomologically induced from an irreducible representation of some real form of . More precisely, there exists a complete geometric parameter for with , such that if we write for the irreducible canonical projective representation corresponding to under the Langlands correspondence, then
[TABLE]
Now, , so is a canonical flat of regular elements in . Similarly, since , we deduce that is a canonical flat of regular elements in . Consequently, with notation as in (79), we obtain that (respectively ) is a Borel subgroup of (respectively of ). Let and be the smooth subvarieties of and defined in (82). It is clear from the definition of these varieties that
[TABLE]
Let
[TABLE]
Define similarly. We notice that, since factors through , we have (see Equation (109) and (110)) and thus . As explained in (83) the varieties and satisfy
[TABLE]
Thus, denoting the flag varieties of and by and respectively, we can write
[TABLE]
Define to be the set of couples with an orbit of on and an irreducible -equivariant local system on . Define similarly. Let be the subset of consisting of complete geometric parameters with first coordinate . We make the same definition for the subset of . From Proposition 7.14 [ABV92] the map in Proposition 3.9(2) is compatible with the parameterization of irreducibles by and , respectively by and . In other words we have bijections
[TABLE]
Let be the complete geometric parameter of corresponding to under (122) and write for the irreducible perverse sheaves on defined from as in (88). For all , we define and similarly. Following this notation, for each -orbit in let be the -orbit in corresponding to under (122). We make the same definition for orbits in . {comment} Let be the -module corresponding to under Beilinson-Bernstein localization (see Theorem 3.2). Define , and similarly. Then and are Vogan duals of and respectively (see Theorem 21.2 [ABV92], Theorem 11.9 [Vog82], Definition 2-28 [Adams] and Section 6.1 [AV15]).
{comment} Now, Vogan duality satisfies the equality
[TABLE]
Indeed, this is clear from the data parameterizing the representations in Definition 2-9 [Adams] or the data parameterizing the representations in [AV15], and is not difficult to translate the data in [Adams] or [AV15] into complete geometric parameters.
Equation (119) implies then that and are related through the equation
[TABLE]
Let be the -orbit in corresponding to under (85). We recall that the representation belongs to the microlocal packet corresponding to if and only if its microlocal multiplicity is non zero (Definition 5.4). Now, from Proposition 3.9 and 3.9(6) we have
[TABLE]
We have similar relations between -orbits in and -orbits in .
Hence to prove the theorem, we are going to describe in some detail the characteristic cycle of so that we can give conditions for the microlocal multiplicity along , to be non zero. To do this, the next lemma will be necessary. In order to simplify the statement of the lemma, we adopt the following notation. Let be equal to or . In the setting of (120)-(122), for all parameter we write
[TABLE]
for the irreducible -module corresponding to under the Riemann-Hilbert correspondence and Beilinson-Bernstein localization, and
[TABLE]
for the standard module corresponding to the constructible sheaf under the same functor. We recall that is the dimension of the orbit . See the proof of Proposition 16.13 [ABV92], for an explanation of the appearence of .
Lemma 5.19**.**
In the setting of (120)-(122). Let and write for the unique complete geometric parameter satisfying
[TABLE]
*Then in the Grothendieck group of -modules, we have the following identity *
[TABLE]
*where denotes the inclusion of flag varieties . *
To not interrupt the development, we postpone the proof of the lemma to the end of the section.
Let be the geometric induction functor of Definition 3.4. Using the Riemman-Hilbert and Beilinson-Bernstein correspondences, we deduce from the commutativity of Diagram (31) and Equality (127) that
[TABLE]
and since by Theorem 2.2.3 [Hot84], the characteristic cycle defines a -linear map, we obtain
[TABLE]
Thus by Theorem 3.11 we can write
[TABLE]
Using Equality 130 we are going to study the value of the microlocal multiplicity . We begin by noticing that for all with , we have
[TABLE]
Hence by Lemma 5.17 we deduce
[TABLE]
and from Lemma 5.5(), we obtain
[TABLE]
In particular, since , for all with , we have
[TABLE]
Moreover, is not contained in , so the conormal bundle does not appears in the second sum of (130). Thus from Equation (129) we conclude that can only appears in the first sum of (130). This implies
[TABLE]
{comment}
Consequently, for all -orbits
[TABLE]
and
[TABLE]
and from Proposition 3.9(6) we can write
[TABLE]
Hence from Lemma 5.5() and the definition of micro-packets, we obtain that equation (131) translates as:
[TABLE]
Therefore
[TABLE]
∎
Corollary 5.20**.**
Let be an Arthur parameter for satisfying points , and , above. Then
[TABLE]
Proof.
Let be the Langlands parameter attached to . By and Equation (111), satisfies points - Theorem (5.18). Hence
[TABLE]
and by Equation (115) we deduce
[TABLE]
∎
We end this section with the proof of Lemma 5.19.
Proof.
{comment}
In what follows we adopt the following notation. Let be equal to or , then for all parameter we write
[TABLE]
for the irreducible -module corresponding to under Riemann-Hilbert and Beilinson-Bernstein localization, and
[TABLE]
for the standard module corresponding to under the same functor.
In the setting of (120)-(122). Since the functor
[TABLE]
when restricted to the category of canonical projective representation of infinitesimal character , carries irreducible representations to irreducible representations, there exists for all parameters a complete parameter satisfying
[TABLE]
To prove the lemma, we need to verify the following list of assertions:
For all parameters we have
[TABLE] 2. 2.
For all parameters with for some - there exists a parameter such that
[TABLE]
To state the last three assertions, we recall that for all we write for the complete geometric parameter in corresponding to under (122). We use the same notation for . Then with notation as in equation (125) and equation (126) we have:
For all parameters we can write
[TABLE] 2. 4.
For all parameters , appears as a subquotient in with multiplicity one. 3. 5.
For all couples of parameters , the multiplicity of in , is equal to the multiplicity of in .
To prove points (1)-(3) recall the bijection between complete geometric parameters and final limit characters expressed in Theorem 12.9 [ABV92] and Proposition 13.12 [ABV92]. Since we are in the setting of (120)-(122) (i.e regular and dominant infinitesimal character), through this bijection, points (1.) and (3.) are a consequence of Corollary 8.1.3 [Vog81] and Theorem 8.2.4 [Vog81]. For Point (2.) we notice that, by hypothesis the Langlands parameter corresponding to factors through . Then the argument used previous to equation (116) applies to the present context, and point (2.) follows.
To show Point (4.) we recall that is the unique irreducible quotient of . The same can be said for and . Point (3.) and the exactness of the parabolic induction functor implies then that is a quotient of . Therefore, is a quotient of . Since appears with multiplicity one in , Point (4.) follows.
We are going to reduce point (5.) to an identity of character matrices in the Gronthendieck group of -modules. By Theorem 13.13(c) [Vog82] (see also Corollary 15.13 [ABV92] ), we have
[TABLE]
where the length fonction is defined in (12.1) [Vog82], and is the representation-theoretic character matrix, i.e. the matrix whose entries give, for , the decomposition of into standard representations
[TABLE]
Similarly, for we have
[TABLE]
Point (5.) is then equivalent to the equality
[TABLE]
Now, the decomposition in (135) and Equality (133) imply that
[TABLE]
Then by Point (1.) we deduce
[TABLE]
and by comparing with Equation (134), we conclude
[TABLE]
Now that points (1.)-(5.) have been verified, we can end with the proof of Lemma 5.19. Since we are only going to be working with parameters in the varieties and , we omit the prime in the notation of the parameters. Suppose . We begin by decomposing into two sums of irreducible representations
[TABLE]
By Point (2.) the parameters in the first sum are in bijection with the set , so
[TABLE]
From Point (3.), can also be decomposed as
[TABLE]
For all , set . Since by Point (4.), for any parameter the module appears in with multiplicity one, we can write
[TABLE]
Hence by Equality (5.3)
[TABLE]
Now, for we have . Then since the first sum in (136) is equal to the first sum in the second equality of (5.3), we deduce that the integers in (138), satisfy
[TABLE]
Therefore
[TABLE]
and the lemma follows. {comment} all that the integers in (138), satisfy
[TABLE]
Therefore, for all we have
[TABLE]
The lemma follows by taking equal to in the previous equality.
∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[ABV 92] Jeffrey Adams, Dan Barbasch, and David A. Vogan, Jr. The Langlands classification and irreducible characters for real reductive groups , volume 104 of Progress in Mathematics . Birkhäuser Boston, Inc., Boston, MA, 1992.
- 2[AJ 87] Jeffrey Adams and Joseph F. Johnson. Endoscopic groups and packets of nontempered representations. Compositio Math. , 64(3):271–309, 1987.
- 3[AMR 18] Nicolás Arancibia, Colette Mœglin, and David Renard. Paquets d’Arthur des groupes classiques et unitaires. Ann. Fac. Sci. Toulouse Math. (6) , 27(5):1023–1105, 2018.
- 4[Art 84] James Arthur. On some problems suggested by the trace formula. In Lie group representations, II (College Park, Md., 1982/1983) , volume 1041 of Lecture Notes in Math. , pages 1–49. Springer, Berlin, 1984.
- 5[Art 89] James Arthur. Unipotent automorphic representations: conjectures. Orbites unipotentes et représentations, II. Number 171-172, pages 13–71. Astérisque, 1989.
- 6[Art 13] James Arthur. The endoscopic classification of representations. Orthogonal and symplectic groups , volume 61 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 2013.
- 7[AV 92] Jeffrey Adams and David A. Vogan, Jr. L 𝐿 L -groups, projective representations, and the Langlands classification. Amer. J. Math. , 114(1):45–138, 1992.
- 8[AV 15] Jeffrey Adams and David A. Vogan, Jr. Parameters for twisted representations. In Representations of reductive groups , volume 312 of Progr. Math. , pages 51–116. Birkhäuser/Springer, Cham, 2015.
