1. Introduction
Let be a connected, complex reductive group, let be an antiholomorphic involution of , and let
|
|
|
be a real form of . Let be a (Zariski) closed, complex algebraic subgroup, and let be the corresponding algebraic homogeneous space for . Assume is stable with real points . Let (resp. , , ) denote the Lie algebra of (resp. , , ). Let be a closed (not necessarily algebraic) subgroup for which the Lie algebra of is equal to the Lie algebra of . In this case, we say that the corresponding homogeneous space is locally algebraic.
Next, we assume that admits a nonzero, -invariant density . Recall acts continuously on the Hilbert space
|
|
|
and it preserves the unitary structure on .
The theory of direct integrals yields a decomposition of into
irreducible unitary representations of .
To be more precise, let be the unitary dual of ,
that is, the set of all isomorphism classes of irreducible unitary representations,
equipped with the Fell topology
and the corresponding Borel structure.
Then there exist a finite Borel measure on
and a measurable function
such that
|
|
|
The measure is unique up to equivalence because is of type I.
See [Dix77, Paragraphe VIII], [Fol16, § 7.4], [Mac76]
and [Wal92, Chapter 14] for this theory.
The support of , denoted ,
is defined to be the support of the measure .
Therefore,
is the smallest closed subset satisfying
.
The explicit form of the above decomposition of is called the Plancherel formula.
It has been studied for a long time in several settings after the pioneering work of Gelfand.
Among them we note that:
-
•
Harish-Chandra obtained the Plancherel formula for Riemannian symmetric spaces
and the group case .
-
•
The Plancherel formula for symmetric spaces was established by works of T.Oshima,
Delorme [Del98], and van den Ban-Schlichtkrull [BS05].
-
•
Delorme-Knop-Krötz-Schlichtkrull [DKKS21] is a recent study toward
the Plancherel formula for real spherical spaces.
-
•
When is an arithmetic subgroup,
the study of irreducible decomposition of
is a vast subject in connection with automorphic representations.
Our setting that is unimodular and locally algebraic
include these settings.
The aim of this paper is to study the asymptotic behavior of .
As far as the authors know, this is the first result about the spectrum of
in this generality.
We would also like to note two general results
on the space of functions on when
has finitely many connected components.
Kobayashi-Oshima [KO13] proved that the finiteness of multiplicities on
the space of functions on
(or more generally, induced representations)
is characterized by the real sphericity.
Recently, Benoist-Kobayashi [BK15, BKa, BK21, BKb]
obtained a simple criterion for to be a tempered representation.
A relationship between Benoist-Kobayashi’s result and
our theorem will be discussed at the end of introduction.
Our study is motivated by the orbit method [Kir04], [Ver83].
Let us briefly explain.
For a Lie group , we write for the unitary dual of , that is, the set of equivalence classes of the irreducible unitary representations of .
When is a connected, simply connected nilpotent Lie group,
Kirillov [Kir62] establishes a bijective correspondence between and
the coadjoint orbits of .
Moreover, characters, inductions, and restrictions of representations
can be simply described in terms of the corresponding coadjoint orbit geometry.
For example, when is a connected closed subgroup of ,
the following equivalence holds for :
(1.1) |
|
|
|
where denotes the coadjoint orbit for corresponding to
and denotes the moment map.
See [Kir04] for the details.
For a reductive Lie group , most irreducible, unitary representations
naturally arise from coadjoint orbits.
However, some do not.
For instance, complementary series of are not naturally
associated to coadjoint orbits.
Nevertheless, the set of coadjoint orbits is a good approximation of .
In particular, we can define an irreducible, unitary representation from a semisimple orbital parameter (see Definition 1.1).
Our main result Theorem 1.4 shows that the equivalence
(1.1) is “asymptotically true” in our setting.
To be more precise, we need some notation and terminology.
For ,
let denote the stabilizer subgroup of for the coadjoint action of
and let denote its Lie algebra, namely,
|
|
|
Similarly, for or
,
define
|
|
|
When is semisimple, i.e. the coadjoint orbit through is closed,
(resp. )
is called a Levi subalgebra of (resp. ).
In the following, we often abbreviate the coadjoint action
to .
Let be a Levi subalgebra.
Write for the center of and define
|
|
|
namely,
is the set of
-linear functionals on the center of
with (minimal possible) stabilizer .
Fix a Cartan subalgebra .
Let (resp. )
be the roots of with respect to
(resp. with respect to ),
and let
be a choice of positive roots.
We say
is in the good range if
|
|
|
This definition is independent of the choices of
and .
Denote by the collection of
that lie in the good range.
Suppose moreover that is -stable and
let .
Let
denote the set of purely imaginary valued linear
functionals on the center of .
Then is naturally viewed as a real form
of .
Let
|
|
|
Then
is a complement of a finite union of coroot subspaces
with codimension one or two in .
If
is a point within a coadjoint orbit, then we define the Duflo double cover
of by
.
See [HO20, §2.1] for a more detailed explanation about this double cover.
Definition 1.1.
A semisimple orbital parameter for is a pair where
-
(a)
is a semisimple (i.e. closed) coadjoint orbit
-
(b)
for every , is a genuine one-dimensional unitary representation of .
In addition, this pair must satisfy
-
(i)
for every ,
-
(ii)
for every .
Let be a semisimple orbital parameter.
Take and put .
Then we can regard as an element of
by restriction.
Assume
is in the good range. This assumption only depends on and
not on the choice of ;
hence, in this case, we say is in the good range.
Then we can construct an irreducible unitary representation
by using cohomological induction.
See Section 2 for the definition.
If we take and put
,
then we also write
for .
Let denote the moment map defined by
|
|
|
The following theorem is a consequence of [Kno94, 3.3 Corollary].
Theorem 1.2 (cf. [Kno94]).
Let be an algebraic homogeneous space for a connected, complex reductive group admitting a nonzero -invariant density. Then there exists a complex Levi subalgebra and a complex subspace satisfying , both unique up to -conjugacy, such that
.
To state our main result we introduce some notation.
Let be a finite dimensional real vector space and let be a subset.
We define the asymptotic cone of in to be
|
|
|
If are subalgebras, we write if there exists such that .
Theorem 1.3.
Let be a Lie subalgebra of
such that
.
Then
(1.2) |
|
|
|
Further, we have either
(1.3) |
|
|
|
or
|
|
|
The intersection is always nonempty for some .
Note that
is a semialgebraic set and its dimension is well-defined.
Theorem 1.3 says there exist
and infinitely many representations
of the form in .
Following the spirit of orbit method, we can restate
Theorem 1.3 as follows.
Theorem 1.4.
In the above setting, we have
|
|
|
|
|
|
|
|
|
Here, we assume
and is in the good range for the first two lines of above equations.
We remark that
is an open dense subset of
by Theorem 1.2.
The significance of Theorem 1.3 and Theorem 1.4 is that
in some sense “most” of the representations in
are of the form
where is a real form of
and .
Next, we give a precise statement along these lines.
If is a Levi subalgebra,
denote by
the collection of irreducible, unitary representations of
of the form
such that the complexification of is
-conjugate to and is in the good range.
Let be a Cartan subalgebra of
and let be the Weyl group.
An irreducible unitary representation of
has an infinitesimal character, which is regarded as a -orbit
in via the Harish-Chandra isomorphism.
We write for this.
By taking a conjugation, we may assume
and then we have inclusions
.
Write for the half sum of positive roots in
.
The following theorem is essentially same as Theorem 4.3.
Theorem 1.5.
-
(i)
If ,
then has a representative
,
namely, .
-
(ii)
There exists a constant
which only depends on such that the following holds:
if ,
then there exist a representative and
a root
such that and
.
The conclusion of (ii) means
that the distance between and
is bounded by a constant.
As a corollary to Theorems 1.3 and 1.5,
we obtain the following.
The proof is given in Section 4.
Corollary 1.6.
-
(i)
The asymptotic cone
|
|
|
in contains a real semialgebraic variety
with real dimension .
-
(ii)
The asymptotic cone
|
|
|
in is contained in a real algebraic variety
with real dimension less than .
Finally, we can show that, under certain additional assumptions, some of the subfamilies of representations of the form occurring in must be discrete.
An element is said to be elliptic
if there exists a Cartan involution
such that .
A coadjoint orbit is said to be elliptic
if one of (or equivalently, every) element in is elliptic.
Let
denote the subset of all elliptic elements.
Theorem 1.7.
Assume .
If
contains a nonempty open subset of , then there exist infinitely many distinct irreducible, unitary representations such that
|
|
|
In particular, has a discrete series.
We have ,
where .
Hence the condition of Theorem 1.7 is equivalent to that
contains a nonempty open subset of .
For some , the Levi subalgebra becomes a Cartan subalgebra.
In that case, Theorem 1.4 was proved as [HW17, Theorem 1.1].
For a Cartan subalgebra , the set
consists of all tempered representations with regular infinitesimal characters.
If we take a closure of
with respect to the Fell topology of ,
then we get the set of all tempered representations.
We remark that it may happen that
even if and are not conjugate.
When is compact for example, we have
if and
for a Cartan subalgebra .
Our proof can be divided into two parts:
the first part (§3, §4)
is algebraic and the second part (§5–§8)
is analytic.
In the first part, we prove Theorem 1.5.
Thanks to the local structure theorem for complex algebraic homogeneous spaces,
we show that a certain ideal of the enveloping algebra
annihilates all functions on .
Hence for , the annihilator
of contains .
This information together with the unitarity of is enough to get the conclusion
of Theorem 1.5.
In the course of proof, we utilize the Beilinson-Bernstein localization
and realize representations as the global sections of twisted -modules
on partial flag varieties.
In the second part, the wave front set of representations plays a central role.
Our argument is partly similar to [HHO16, Har18, HW17],
but requires some new ingredients.
It was proved in [HW17, Theorem 2.1] that the wave front set of
equals the image of moment map.
By the first part of our proof, we can show that the contribution
from
to the wave front set is small.
Then we have a relationship between
and the image of moment map.
To obtain Theorem 1.3, we need a calculation of the wave front set
of a direct integral of representations in
(Theorem 5.1).
§5–§7 is devoted to the proof
of Theorem 5.1.
For this, we use a formula for the distribution character of
in [HO20].
This formula is a consequence of Schmid-Vilonen’s formula [SV98] which gives
characters of representations in terms of characteristic cycles of
sheaves on the flag variety.
In the end of introduction we would like to pose some questions concerning theorems above,
for which the authors do not know the answer.
The first one is about the converse of Theorem 1.7.
Question 1.
Assume has only finitely many connected components
and has a discrete series.
Then does
contain a nonempty open subset of ?
When is a cocompact discrete subgroup of
and if does not have a discrete series,
then the statement of Question 1
does not hold.
Thus, we require the assumption that has finitely many connected components.
When is a symmetric space,
Question 1 is known to be true
as mentioned in Remark 1.8 (2).
The existence of discrete series for non-symmetric spaces
was considered in [Kob94, Kob98c].
The results there are compatible with the statement of Question 1.
For (generalized) Stiefel manifolds, discrete series were studied in
[Kob92, Li93].
For spherical spaces, recent results are in [DKKS21, §13] and [KKOS20].
To state the second question, we will enlarge the set
of representations .
If we drop the condition that is in the good range,
is still unitary, but it may be reducible or zero
(see Remark 2.1).
We include all irreducible components of such
and also include limits for these representations with respect to the Fell topology.
Write for this
enlarged set.
Question 2.
When has only finitely many connected components,
do we have ?
Again, Question 2 does not hold when is an infinite discrete group
in general.
For symmetric spaces, Question 2 is true by the Plancherel formula.
Question 2 is also true when is algebraic and
is a Cartan subalgebra
because in that case is tempered
and is the set of
all irreducible tempered representations.
This follows from Benoist-Kobayashi’s results
[BKa, Corollary 5.6 (i)] and [BKb, Theorem 1.1].
The authors thank Professor Bernhard Krötz for discussions about the relationship between this paper and Krötz’s work on spherical spaces.
They are grateful to Professor Toshiyuki Kobayashi for constant encouragement and kind explanations about his studies which inspires us.
B. Harris was supported by an AMS-Simons Travel Grant during the early part of this work.
Y. Oshima was partially supported by JSPS KAKENHI Grant Number JP20K14325.
2. Quantization of semisimple coadjoint orbits
In this section we recall from [Duf82], [Vog00] and [HO20, §2]
the definition of representations which correspond to semisimple coadjoint orbits,
or more precisely semisimple orbital parameters .
We follow notation and terminology of [HO20, §2].
Let be a semisimple orbital parameter in the sense of Definition 1.1.
Fix and
let and
.
The Duflo double cover of is defined as
.
Then
|
|
|
is a unitary one-dimensional representation
satisfying .
Let be a Cartan subalgebra of
.
We can regard
by extending by zero on
.
In order to define the representation of
we need to choose a complex parabolic subalgebra
with Levi factor ,
which we call a polarization for .
We say a polarization with nilradical is
admissible if
|
|
|
Moreover, we say an admissible polarization is maximally real
if is maximal among
all admissible polarizations for .
Fix a maximally real, admissible polarization
with nilradical . In addition, fix a maximal compact subgroup with Cartan involution
such that is maximal compact.
We decompose
where
and .
Define to be the collection of roots
with .
As in [HO20, §2.2], one checks that
|
|
|
is a -stable parabolic subalgebra of
with real form .
Define
to be the corresponding parabolic subgroup,
and let
be the Langlands decomposition of
with .
Following [HO20, §2.2],
we define an elliptic coadjoint orbit
.
Further, we obtain a genuine, one-dimensional,
unitary representation
of from
by the formula [HO20, (2.13)].
The coadjoint orbit and
the one-dimensional representation
give rise to an elliptic orbital parameter
for .
In [HO20, §2.3 and §2.4],
we give a unitary representation
of associated to .
Then a unitary representation
is defined by the normalized parabolic induction
|
|
|
We also denote the same representation
by .
This representation does not depend on the choices of
, or .
In the above construction,
can be defined as the cohomological
induction for a -stable parabolic subalgebra
treated in [KV95, Chapter V].
On the -module level,
the induction
can be also defined in terms of cohomological induction
for a -stable parabolic subalgebra
as in [KV95, Proposition 11.47].
Following [KV95, (11.71)],
we define functors
and
from the category of -modules
to that of -modules
as
|
|
|
|
|
|
for .
Here, an -module
is regarded as a -module by the trivial
-action,
is the -th derived Zuckerman functor,
and
is its dual version.
Then by induction in stages, we have an isomorphism on the -module level
|
|
|
where
and denotes the genuine character of
associated with the Lagrangian subspace
(see [Duf82, Chapitre I] for the definition).
In fact, by [KV95, Theorem 5.99 and Proposition 11.52],
|
|
|
|
|
|
|
|
|
Note that
has infinitesimal character , where
we choose positive roots
and write .
By [KV95, Theorem 5.99 and Proposition 11.65],
can be also constructed by the functor
:
|
|
|
Here, is
the character defined in [Duf82, Chapitre I]
associated with the Lagrangian subspace
.
Following [HO20, Appendix A] (cf. also [Mat04, Theorem 2.2.3]),
we define a virtual -module
|
|
|
for any polarization .
Note that the functor here is denoted by in [HO20].
Then [HO20, Theorem A.1] says
does not depend on
the choice of polarization
as long as is admissible.
In the same way, we can prove that a virtual module
|
|
|
does not depend on the choice of admissible polarization .
Since
for a maximally real admissible polarization ,
the same is true for any admissible polarization,
namely we have
|
|
|
as a virtual -module
for any admissible polarization .
By the Beilinson-Bernstein localization,
this representation can be also realized as global sections on the flag variety.
For an admissible polarization ,
let be the parabolic subgroup of with Lie algebra ,
let be the partial flag variety, the collection
of all parabolic subgroups which are conjugate to
and let be the -orbit through the base point in .
Let be the sheaf of rings of twisted differential operators
on corresponding to the parameter (see e.g. [Bie90]).
Then we have a spectral sequence of -modules
(see e.g. [Kit12, Theorem 5.4], [Osh13, (6.3)])
|
|
|
Here, is the natural immersion.
is the -equivariant line bundle (i.e. invertible -module)
on given by
for an algebraic character of
whose restriction to is
|
|
|
Then can be viewed as a twisted -module on
and its (higher) direct images
are defined as -modules.
Our assumption on implies is -affine
so that for .
Hence the above spectral sequence collapses and we have
|
|
|
We therefore have
(2.1) |
|
|
|
We end this section by giving the Langlands parameter of
when is in the good range.
In order to do this, we need to write a one-dimensional representation of
as a quotient of standard module.
Let be the maximally noncompact Cartan subalgebra of
and let be its Cartan decomposition
with respect to ,
namely,
and is the connected subgroup of with Lie algebra
.
Take a Borel subalgebra of such that
and
.
Write for the nilradical of .
Define a character of by
|
|
|
for and ,
which is the same as the character
defined in [KV95, (11.111)].
The differential of
equals , but it may not be equal to
when is disconnected.
The trivial representation of is the irreducible quotient
of the standard module
,
where .
By induction in stages, it turns out that
is the unique irreducible quotient of
the standard module
|
|
|
In the notation of [AvLTV20] (cf. also [KV95, §XI.9]),
the irreducible admissible representations of are parametrized by
data , where is a Cartan subgroup with Lie algebra , is a level one character of the double cover of (see Section 5 of [AvLTV20] for an explanation), and is a choice of positive roots among the set of imaginary roots for in for which is weakly dominant. This triple must satisfy a couple of other technical assumptions
(see Theorem 6.1 of [AvLTV20]).
The above argument shows that
the irreducible representation corresponds to
the parameter ,
where is the character of -cover of
such that
|
|
|
and are
defined by the positive system for the Borel subalgebra
.
3. Annihilator ideas of induced representations
In this section we will study annihilator ideals of
irreducible subrepresentations of .
First, we need the following fact on algebraic subgroups.
See [BBHM63, Theorems 4 and 8].
Fact 3.1.
Let be a complex algebraic group and an algebraic subgroup.
The following three conditions are equivalent.
-
(1)
-
(2)
Every finite-dimensional rational -module is a -submodule
of a finite-dimensional rational -module.
-
(3)
There exists a vector in a rational -module
such that is the stabilizer subgroup of .
When one (or all) of the conditions in Fact 3.1
is satisfied, is said to be observable in .
Let be a connected, complex reductive group with real form
for an antiholomorphic involution of .
Suppose that a connected, complex algebraic subgroup of
is defined over , namely .
Write
for the real form of .
Let be a closed subgroup whose Lie algebra
is equal to the Lie algebra .
Here, the closedness of in is considered in the classical topology and
is not necessarily algebraic.
In particular, we allow to have infinitely many connected components.
Lemma 3.2.
If is a unimodular subgroup, then is an observable subgroup of .
Proof.
Let .
If is a unimodular subgroup of , then the identity component of acts trivially on . Since , the complexification annihilates .
This implies that is a unimodular subgroup.
Let
with the -action .
Take a nonzero vector in .
Define to be the stabilizer subgroup of in .
By definition of and Fact 3.1 (3),
is observable in .
Since is unimodular, .
Moreover, normalizes and hence is observable in by [BBHM63, Theorem 2].
The transitivity of the condition (2) in Fact 3.1 implies
that is observable in .
∎
In the following we assume that is unimodular.
We now use the local structure theorem for (see [Kno94, Theorem 2.3, Proposition 2.4, Lemma 3.1]).
The theorem states that there exist a parabolic subgroup of with Levi factor
and an -stable subvariety such that
-
•
the natural map
is an open immersion, and
-
•
if denotes the kernel of , then
contains a commutator subgroup .
Let with Lie algebra , which is a torus.
It follows from the proof of [Kno94, Theorem 2.3, Proposition 2.4, Lemma 3.1]
that intersects .
Hence .
Next, fix a Cartan subgroup
and a Borel subgroup of such that .
Note that there are natural inclusions
.
Fix a positive system
as the roots for , and let denote the irreducible, finite-dimensional representation of with highest weight . Let denote the space of regular functions on .
Lemma 3.3.
If
is a dominant integral weight and occurs in
the irreducible decomposition of ,
then .
Proof.
Suppose .
If is a highest weight vector,
then for , .
Observe that , which can be
identified with an open subvariety of .
Therefore, . Since acts trivially on ,
on , namely, .
∎
Differentiating the action of on and the action of on we obtain maps
|
|
|
of the universal enveloping algebra into the algebras of differential operators.
Here, (resp. )
denotes the algebra of -valued real analytic differential operators on
(resp. complex algebraic differential operators on ).
Since the complexificiation of is ,
the map
is locally well-defined and
the image of this map is a totally real submanifold of .
The differential operators in can be viewed
as holomorphic differential operators on the connected complex manifold .
Hence such operators are zero if and only if
their restrictions to a totally real submanifold are zero.
This implies .
Finally, we have the composition
|
|
|
Recall that observable means that is quasi-affine, i.e. is isomorphic to an open subset of an affine variety. Since no nonzero differential operator on an affine variety annihilates all regular functions on that space, the map is injective. Therefore, .
Now, we may decompose by the Peter-Weyl theorem
|
|
|
and we note
|
|
|
Therefore, we have
(3.1) |
|
|
|
where the last inclusion follows from Lemma 3.3.
Here and in what follows, we assume is dominant and integral
whenever we write .
The cotangent bundle of is
and the moment map is given by
|
|
|
As we stated in Theorem 1.2,
[Kno94, Lemma 3.1 and Corollary 3.3] give the image of the moment map
in terms of :
|
|
|
In particular, the image of the moment map
contains a dense subset of semisimple elements.
Let be the Lie algebra of
with Levi decomposition
|
|
|
Define
|
|
|
The following fact is the Corollary on page 453 of [BB82].
Fact 3.4 (Borho-Brylinski).
We have
(3.2) |
|
|
|
Here, is the trivial -module,
and is the one-dimensional -module
on which acts by .
Since each for
is a quotient of , we deduce
|
|
|
Together with (3.1), and (3.2), this implies
(3.3) |
|
|
|
The following lemma simplifies the statement of our later result:
Lemma 3.5.
.
Proof.
Since is unimodular, has a -invariant differential form of top degree.
By restriction, it gives a -invariant form on .
Therefore, the line bundle
|
|
|
has a nonzero -invariant section, and hence in particular an -invariant section.
Recall that acts trivially on and on .
On the other hand, the fibers of are identified with
.
As a result, must act trivially on
,
which implies is zero on
and .
∎
Suppose that is an irreducible -module
and suppose there exists an injective linear map
|
|
|
which respects actions of and .
The enveloping algebra acts on via the map
together with the restriction of the action of
on to . In particular, we have
.
By (3.3), we obtain the following proposition.
Proposition 3.6.
If is an irreducible -module
and there exists an injective linear map
which respects actions of and ,
then
|
|
|
For an infinitesimal character
,
define
|
|
|
Let be the Weyl group for .
Recall that there exists a natural algebra isomorphism (so-called the Harish-Chandra isomorphism)
.
If
is the infinitesimal character of ,
then we may compose with
to give an element of
or a representative .
Lemma 3.7.
Suppose that is an irreducible -module
with infinitesimal character and
.
Then
|
|
|
where we put
|
|
|
Proof.
Suppose with
|
|
|
Recall that has infinitesimal character
.
In view of Lemma 3.5,
for all , and by (3.3),
.
Now, assume that the conclusion of Lemma 3.7 is false.
That is, assume that
.
Then we may choose a polynomial
such that for all but
|
|
|
Identify in the usual way and write
.
Then by the above argument.
Since by the definition of ,
|
|
|
But, then implies .
On the other hand,
by our assumption.
Hence we must have , which is a contradiction.
∎
For define the two-sided ideal
|
|
|
Note that ,
or equivalently, the generalized Verma module
has the infinitesimal character .
Lemma 3.8.
Suppose that is an irreducible -module
and .
Then there exists
such that
|
|
|
Proof.
Let be the infinitesimal character of .
By Lemma 3.7,
there exists a finite, nonempty collection
for which
|
|
|
By an argument similar to the proof of [Soe89, Theorem 25], we obtain
|
|
|
for some large integer .
Since is irreducible, our assumption
implies that
|
|
|
for some .
∎
5. Wave front sets of direct integrals for a Levi, part 1
Let be a Levi subalgebra of .
Define a subset
as
|
|
|
The definition of
was given in §2.
For a complex Levi subalgebra ,
we defined
in Section 1. By these definitions,
|
|
|
where runs over all Levi subalgebras
of
such that .
We want to prove the following theorem on
the wave front set and the singular spectrum:
Theorem 5.1.
Let be
a Levi subalgebra of .
Suppose that
is a unitary representation of
which is isomorphic to a direct integral
of representations in :
|
|
|
Then
|
|
|
|
|
|
|
|
In this section, we prove the following inclusion.
Lemma 5.2.
In the setting of Theorem 5.1,
|
|
|
The proof of Theorem 5.1
will be completed in the subsequent two sections.
Before starting the proof of Lemma 5.2, we see that
is a locally closed subset of
with respect to the Fell topology.
Let be a sequence in
which converges to .
Let and
.
Recall from Section 2 and [HO20, §2]
that is defined as a unitary parabolic induction
for a parabolic subgroup .
Since there are only finitely many possibilities for ,
we may assume that does not depend on by passing to a subsequence.
We have a decomposition and
let .
Then we can define a semisimple orbital parameter
for such that
is induced from
.
By [BD60], the map
sending an irreducible unitary representation to its infinitesimal character is continuous.
Therefore, the infinitesimal character of converges to that of .
This implies that is bounded and hence
there are only finitely many possibilities for
.
Passing to a subsequence, we may assume all parameters
are the same so let
and .
We may also assume that converges to
.
Then as noted in the proof of [SRV98, Corollary 8.9],
is isomorphic to an irreducible constituent
of .
If is in the good range, then
the induced representation is irreducible and
.
Otherwise, is singular
and has the singular infinitesimal character.
Since the set of representations with singular infinitesimal characters
is closed in ,
the above argument proves that
is locally closed.
Let be a parabolic subalgebra with Levi factor and nilradical . We may define to be the subset of such that for all , either
|
|
|
or
|
|
|
As noted in [HO20], in this case, defines a maximally real, admissible polarization of the coadjoint orbit . Although this assignment of to is not canonical, it is convenient for our argument to make such an assignment.
Since there are finitely many parabolic subalgebras with Levi factor ,
we have a finite disjoint union
|
|
|
where
.
Next, let
denote the collection of representations
such that .
Equivalently,
consists of such that
.
Therefore, we have a finite union
(5.1) |
|
|
|
Note that the right hand side of (5.1) may not be disjoint.
In the same way as above, we can show that
is a locally closed subset of .
The set
can be identified with the collection of
with .
To see this, suppose that
for ,
Then by comparing the infinitesimal characters,
and
lie in the same Weyl group orbit.
By our assumption,
and
satisfy the same dominance condition imposed by and hence .
In view of the Langlands parameters of two representations
(see the discussion at the end of Section 2),
we have .
Therefore,
is identified with the set of , or equivalently,
the map
|
|
|
given by is bijective.
By writing the measure as a finite sum of
measures supported on
for various ,
it is enough to prove Lemma 5.2 when
is a measure on
for one parabolic subalgebra .
We thus fix and suppose
is a direct integral of
representations in
in the rest of this section.
Next, we need to define what it means for a measure on
to be of at most polynomial growth.
Observe that we have a finite to one map
|
|
|
For a Borel measure
on ,
let denote the pushforward of under the above map.
Fix a norm on .
We say that is of at most polynomial growth
if there exist a constant and a finite measure on
such that
(5.2) |
|
|
|
Here, for measures and means that for all measurable sets .
Our proof of Lemma 5.2 involves the Harish-Chandra distribution character of .
Let denote the Harish-Chandra character of the representation . Define the analytic function utilizing the relation
|
|
|
where denotes a nonzero -invariant density on and denotes a nonzero translation invariant density on . Normalize and so that , and let be the unique analytic square root of with . Since is an analytic function on the subset of regular, semisimple elements in , we may define
|
|
|
to be the Lie algebra analogue of the character of . Note is an analytic function on the collection of regular, semisimple elements
in .
Fix a choice of positive roots , and define
.
Given a semisimple orbital parameter with
, we define a contour
|
|
|
in .
Here, is an anti-holomorphic involution on
which commutes with
such that is a compact real form of .
For a coadjoint -orbit , the Kirillov-Kostant-Souriau -invariant, holomorphic -form on is defined by
|
|
|
Suppose that is the regular, coadjoint -orbit through
and put .
Then is a real -dimensional closed
submanifold of (see [HO20]).
Define the -form
|
|
|
For a function on ,
we define the (inverse) Fourier transform as the following functions
on :
|
|
|
The main result of [HO20] is
(5.3) |
|
|
|
where
is a smooth, compactly supported function on .
Observe that extends to a holomorphic function
on .
We remark that for any semisimple orbit with
,
the contour
and the forms are defined in the same way,
even if it does not come from a semisimple orbital parameter
.
Fix a -invariant norm on . If , write
|
|
|
where .
Extend to a norm on by defining .
Fix such that
.
Writing as a sum of two measures according to the decomposition
|
|
|
and using Lemma 4.4,
it is enough to show Lemma 5.2 when
.
This assumption makes it easier for us to estimate the integral (5.3)
as we see below.
Lemma 5.3.
Suppose that is a measure on
with at most polynomial growth
and .
-
(i)
Let be a function on , and assume is measurable for all coadjoint orbits with
.
Assume that for every and every there exist constants such that
(5.4) |
|
|
|
Then the integral
(5.5) |
|
|
|
converges absolutely.
-
(ii)
If ,
then the integral
(5.6) |
|
|
|
converges absolutely.
The functional
is a well-defined distribution on ,
which is the integral
|
|
|
-
(iii)
For ,
the Fourier transform of is given by
|
|
|
It is a smooth, polynomially bounded function
on .
-
(iv)
We have
(5.7) |
|
|
|
To prove part (i), we need another lemma.
Define
|
|
|
Then is a closed subset of
.
Lemma 5.4.
For any ,
there exist constants such that
|
|
|
for .
Here, we write
.
proof of Lemma 5.4.
Fix any .
The Euclidean metric on induces
a Riemannian metric on the submanifold
.
Let be the volume form of this Riemannian manifold
.
We first claim that
(5.8) |
|
|
|
for sufficiently large .
To see this, we use an argument similar to [SV98, (3.14)].
Consider the one point compactification of , which is a sphere .
Let
be the closure of in .
With respect to a standard metric on the sphere , its compact semialgebraic subset
has finite volume
(see e.g. [OS17]).
By comparing the standard metric on and the Euclidean metric on ,
this can be restated as (5.8) for .
Next, define a semialgebraic set
|
|
|
For each , there is an isomorphism
|
|
|
Define the semialgebraic functions
on .
In the following, we will compare some other semialgebraic functions
on with .
On ,
we have two volume forms and .
Define ,
which is a semialgebraic function on .
It is easy to see that
the set is compact for any .
Then the function
|
|
|
is defined for large and is semialgebraic.
By [Hör83b, Theorem A.2.5],
for some constants .
Hence we get
(5.9) |
|
|
|
for .
The functions
and are also semialgebraic on .
Hence we similarly have
(5.10) |
|
|
|
for some constants .
The lemma follows from
an isomorphism
and the estimates (5.8), (5.9) and (5.10).
∎
proof of Lemma 5.3.
Since is of at most polynomial growth,
for a finite measure and a constant .
By our assumption on , we may assume that is contained in .
In addition, for
is bounded by a constant.
Hence the absolute convergence of (5.5) follows from
Lemma 5.4 and (5.4).
To prove part (ii), recall that for , the Paley-Wiener Theorem assures us that there exists a constant and for every , there exists a constant such that
|
|
|
Hence, we may plug in for and the absolute convergence of (5.6) follows from part (i).
Further, the constants that bound this integral can be shown to be bounded by seminorms on the space of smooth compactly supported densities
on .
Therefore, the integral the defined in part (ii) is given as
a well-defined distribution
|
|
|
By (5.3), this is the integral of .
Next, we prove part (iii).
Let .
Then is a distribution with compact support.
Hence the Fourier transform is
a smooth, polynomially bounded function on .
The value of at
is given as
|
|
|
|
|
|
|
|
Thus, (iii) is proved.
For part (iv), we require some additional notation. Choose a basis of , and define the differential operator
|
|
|
for every multi-index . In addition, define . If are precompact, open subsets of with , then there exists a sequence of functions indexed by and satisfying the following properties (see pages 25–26, 282 of [Hör83a]):
-
(1)
for all
-
(2)
if
-
(3)
There exists a constant for every multi-index such that
|
|
|
for every multi-index with .
For the sequel, we fix , , and
take a sequence of functions
satisfying (1)–(3).
Write .
Fix
|
|
|
In order to prove (5.7),
it is enough to show the following by [Hör83a, §8.4]:
there exists an open subset
and a constant such that
(5.11) |
|
|
|
for all and .
Choose an open cone such that
|
|
|
and define
|
|
|
We require a lemma.
Lemma 5.5.
There exist constants such that
(5.12) |
|
|
|
and
(5.13) |
|
|
|
if
|
|
|
proof of Lemma 5.5.
Assume that (5.12) does not hold.
Then we may find sequences ,
, and
with
satisfying
such that and .
Further, we may write
where
and .
Since and are bounded,
for a constant .
But, then has a convergent subsequence
which must therefore lie in both
and ,
which is a contradiction.
This implies (5.12).
Next, we utilize the triangle inequality to obtain
|
|
|
Combining with (5.12) yields
|
|
|
Recall , collect the
terms on one side of the equation, and put
.
Then (5.13) follows.
∎
In order to prove (5.11), for each ,
we will first show the existence of
a constant such that
(5.14) |
|
|
|
for all , for all ,
for all , and for .
In order to prove (5.14), we need an estimate of .
By the proof of the Paley-Wiener Theorem
(see for instance page 181 of [Hör83a])
and part (3) of the definition of ,
there exist constants such that
|
|
|
Using that is bounded by a constant
for ,
and putting , we deduce
(5.15) |
|
|
|
whenever and
with .
For fixed , define
|
|
|
where is the constant in Lemma 5.4.
Observe that for every , the sequence still satisfies the properties (1)–(3).
Therefore, in order to verify part (iv),
we may replace with .
Utilizing Lemma 5.4 and (5.15),
we obtain for all and ,
|
|
|
|
|
|
|
|
(5.16) |
|
|
|
|
for some constant .
For fixed , if is sufficiently large, we have
(5.17) |
|
|
|
where we have used that for . For every fixed and sufficiently large , we may utilize (5.12), (5.13)
and (5.17) to bound (5) by
|
|
|
|
|
|
for the constant which we increased in each line.
Thus, (5.14) is proved.
Then
|
|
|
|
|
|
|
|
|
|
|
|
where we have increased the constant as necessary throughout the calculation. Since the final integral converges if , we may absorb the value of
the integral into the constant to bound the entire expression by
|
|
|
Part (iv) follows.
∎
The proof of Lemma 5.2 now proceeds exactly line by line the same as the proof of
[HHO16, Proposition 7.1]
except one must substitute (5.7) in for (7.1) of [HHO16].
For this argument, we only need (5.7) for a finite measure .
Lemma 5.3 was stated more generally for a measure with at most polynomial growth
because it will be necessary in the next section.
6. Wave front sets of direct integrals for a Levi, part 2
We retain the notation of the previous section.
The purpose of this section is to
prove the following lemma using Lemma 6.6
and Lemma 6.8.
The proof of these lemmas will be postponed in the next section.
Lemma 6.1.
In the setting of Theorem 5.1,
(6.1) |
|
|
|
Lemma 5.2 and Lemma 6.1 combine to imply Theorem 5.1 since for any unitary representation of .
We first show the following:
Lemma 6.2.
For any subset ,
(6.2) |
|
|
|
In addition, if holds,
then
(6.3) |
|
|
|
Proof.
Since
and is
-stable,
we have .
The inclusion
|
|
|
then follows from
.
To prove the other inclusion, take a vector
in the left hand side of (6.2).
Then in particular
.
Therefore, if ,
then is -conjugate to .
Consider the map
|
|
|
given by .
Identify
in an -invariant way and define
|
|
|
Then is submersive on the open set
.
We see that .
Take an open cone containing
and take a small neighborhood .
Then is an open cone in
containing .
By
and the definition of the asymptotic cone,
|
|
|
Since
and is bounded,
|
|
|
Hence there exists
and such that
such that .
Since implies
, we have
.
Combining with , we have
.
Replacing by , we have
and .
Take a Cartan subalgebra
.
If two elements in
are -conjugate, they lie in the same orbit for the Weyl group
.
Hence
|
|
|
Since is finite,
there exists such that
, or equivalently, is unbounded
for any .
This shows
and hence ,
which implies the desired inclusion in (6.2).
To prove (6.3), take a vector
.
Then by (6.2), we may write
such that and .
Since ,
normalizes .
By our assumption, and .
Hence .
This proves (6.3).
∎
By applying Lemma 6.2 to
,
the right hand side of (6.1) equals
|
|
|
Since the wave front set is -stable,
it is enough to show
(6.4) |
|
|
|
Recall the decompositions
|
|
|
defined in the previous section.
Then since the asymptotic cone commutes with finite union,
it is enough to show (6.4)
when is a measure on
for one parabolic subalgebra .
Moreover, fix such that
and
write as a sum of two measures according to the decomposition
|
|
|
Since
|
|
|
it is enough to show (6.4) when
.
We thus assume
is a measure on
and .
In order to prove (6.4), we first show
(6.5) |
|
|
|
if is a measure on
which is equivalent to and
satisfies the condition (6.7) given below.
We will see later that (6.7) implies
is of at most polynomial growth
and hence is defined as in Lemma 5.3.
We next take in the right hand side of (6.4),
and define a measure depending on ,
which is equivalent to
and satisfies the condition (6.7).
Then prove that
(6.6) |
|
|
|
In the next few pages, we prove (6.5)
for with the condition (6.7).
Let be a semisimple orbital parameter
with
and .
We decompose the unitary representation
as
|
|
|
where is a maximal compact subgroup. We wish to choose an orthonormal basis of for each and each . However, we must be careful to choose these bases in a consistent way across parameters . To write down this condition correctly, we require additional notation.
Following Section 2 or [HO20, Section 2],
define a parabolic subgroup
.
For each semisimple orbital parameter
with ,
we decompose and
define an elliptic orbital parameter
for .
For an elliptic orbital parameter
for , define
|
|
|
Then
is the disjoint union of
for various .
In [HO20, Sections 2.3 and 2.4], we give a unitary representation of associated to .
Then we form the bundle
|
|
|
and we define
|
|
|
In order to study the action of on , it is convenient to use the compact model for the induced representation (see e.g. [Kna86, Chapter 7]) obtained by restricting the sections on to sections on . This gives us an identification
|
|
|
as unitary representations. Notice that this compact picture only depends on the elliptic orbital parameter since is independent of . Now, for every , we may fix an orthonormal basis for , and we may pull this basis back to an orthonormal basis of . Since the compact model for agrees with the compact model for whenever , we note that the basis depends continuously on the parameter .
Let denote the collection of
all elliptic semisimple orbital parameters
for with
.
Fix a measure on
equivalent to such that
(6.7) |
|
|
|
for every .
(6.7) implies that is of at most polynomial growth.
Indeed, we have
|
|
|
where .
Since the last expression is a sum of over a lattice with uniformly bounded finite multiplicities,
it converges for a sufficiently large , showing that is of at most polynomial growth.
We now fix a multiplicity free subrepresentation
|
|
|
for every .
Here, denotes the representation space of .
We may then view as a vector in which we will denote by . Now, since for all and , we deduce .
Define
|
|
|
to be the closure of the span of the ,
and let denote the orthogonal projection onto .
Observe that for in a small neighborhood of , we have
(6.8) |
|
|
|
We have defined on the group in the same way that we defined on the Lie algebra. It is a well-defined distribution in a sufficiently small neighborhood of the identity by Lemma 5.3 and the fact that restricts to a diffeomorphism of a neighborhood of zero onto a neighborhood of .
Next, let denote the Casimir operator for . We wish to show that is a trace class operator on for sufficiently large . Let be a maximal torus with Lie algebra , and let be a closed Weyl chamber in . For each , let be the corresponding highest weight. Then there exists a norm on the vector space such that
for all .
We calculate
(6.9) |
|
|
|
where denotes the multiplicity of in . Recall (see page 205 of [Kna86]) that
(6.10) |
|
|
|
for all and all . Further, there exists a natural number and a constant such that
(6.11) |
|
|
|
Therefore, utilizing (6.10) and (6.11), we have that (6.9) is bounded by
|
|
|
|
|
|
Since form a subset of a lattice in , we obtain the bound
|
|
|
for and for some .
Let denote the highest weight of the minimal -type of . By Theorem 10.44 of [KV95] and the definition of (see [HO20, §2.3]), we have when (). We observe
|
|
|
|
|
|
|
|
is a sum over a lattice, and we observe that each term occurs with uniformly bounded, finite multiplicity. By standard calculus arguments, we deduce that the sum converges for sufficiently large . It follows that is of trace class for sufficiently large . Utilizing Howe’s original definition of the wave front set of a Lie group representation ([How81], see also [HHO16, §2] for an exposition), we have
(6.12) |
|
|
|
for sufficiently large . Next, utilizing (6.8),
we compute for
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Since applying the differential operator can only decrease the wave front set of the distribution , we conclude
|
|
|
Combining with (6.12), we have
|
|
|
Finally, since differs from only by multiplication with a real analytic function, we conclude (6.5).
Next, we will define a measure
which is equivalent to
and satisfies (6.6) and (6.7).
We fix a positive definite, -invariant bilinear form
on , which is extended by complex linearity to .
We may then use to give an isomorphism
,
and we write for the corresponding bilinear form on ,
which is positive definite on
and negative definite on .
For , write
with .
We write for .
Fix
|
|
|
Replacing by we may assume .
Write for the pushforward of
by the map
|
|
|
Then we can take a sequence
and such that
|
|
|
We now want a measure on
satisfying
(6.13) |
|
|
|
for all .
Here, is the open ball in
with radius and center .
It is easy to see that there exists a measure
which is equivalent to
and satisfies (6.7) and (6.13).
We fix such .
In order to prove (6.6), we require a lemma.
Suppose is a finite-dimensional, real vector space with a positive definite inner product.
Let
|
|
|
denote the corresponding Gaussian and family of Gaussians on for .
Lemma 6.3 ([Fol89]).
Suppose is a tempered distribution on a finite-dimensional,
real vector space .
Then a vector belongs to
if there exists a sequence
and such that
|
|
|
and there exist and such that
(6.14) |
|
|
|
for sufficiently large .
Lemma 6.3 is half of [Fol89, Theorem 3.22]
with replaced by and replaced by .
We will apply Lemma 6.3 in the case
and .
The bilinear form we fixed above
is negative definite on .
For
and ,
it follows from Lemma 5.3 that
(6.15) |
|
|
|
where the constant depends only on the bilinear form .
We will estimate this integral and set and to prove
the inequality (6.14).
Note that this integral converges absolutely by part (i) of Lemma 5.3. In addition, since we wish to bound this integral as in (6.14), we may safely ignore the constant and the factor in what follows.
We estimate the integral as
uniformly when varies in a compact subset of
.
Fix a compact set
and suppose .
We break up the integral (6.15) into two pieces
(6.16) |
|
|
|
|
(6.17) |
|
|
|
|
for some . First, we wish to show that for every , the size of the integral (6.17) decays faster than any rational function of as . Then we will show that for sufficiently small and sufficiently large , the imaginary part of the integral (6.16) is small relative to the real part of the integral (6.16). Finally, we will show that the real part of the integral (6.16) is positive and bounded below by a rational function of .
To analyze these integrals,
we put , and we expand
(6.18) |
|
|
|
Now, we consider the integral (6.17).
We observe
is an imaginary number.
Hence
(6.19) |
|
|
|
In addition, there exists a constant
such that
for all
and all .
Therefore,
(6.20) |
|
|
|
Plugging (6.18), (6.19), and (6.20)
into the integral (6.17), we obtain
|
|
|
|
(6.21) |
|
|
|
|
for some constant independent of , , and . To bound this latter integral, we will apply part (i) of Lemma 5.3
with
|
|
|
In order to apply part (i) of Lemma 5.3,
we need a lemma bounding the growth of our as a function of .
Lemma 6.4.
For every and every ,
there exist constants and such that
|
|
|
for .
The constants and
do not depend on or .
Proof.
Since and lies in a bounded set,
implies
that is at most of order when .
On the other hand, is at least of order .
Hence decays exponentially when .
This shows the existence of the constant as in the lemma.
∎
Now, to bound (6), we apply the bound in Lemma 6.4 to Lemma 5.4,
where we set in Lemma 5.4
to be the exponent in the polynomial growth bound on the measure
(see (5.2)).
We deduce that for every and ,
there exists a constant such that
|
|
|
Combining with (6), we obtain
(6.22) |
|
|
|
The constant does not depend on .
Next, we focus on the integral (6.16)
|
|
|
There are two parts to the integral, the function
and the differential form .
We must analyze both separately.
We begin to analyze the function
by expanding it into three terms as in (6.18).
Since is bounded, we see that given ,
there exists such that whenever , we have
(6.23) |
|
|
|
for all .
This bounds the third term in the expansion (6.18).
Choose such that for all
.
If , then
|
|
|
Therefore, given , we may choose sufficiently small
such that we have
(6.24) |
|
|
|
whenever and
.
This bounds the second term in the expansion (6.18).
Since , we note
(6.25) |
|
|
|
Define
|
|
|
Write
with .
Lemma 6.5.
There exist and such that whenever , , ,
and
,
we have
|
|
|
Lemma 6.5 follows from the expansion (6.18) together with (6.23), (6.24), (6.25).
Lemma 6.5 is half of our analysis of the integral (6.16).
The other half involves analyzing the differential form .
In the next section, we define a new real-valued differential form
on .
Then we bound the size of the differential form
and prove the following lemma.
Lemma 6.6.
There exist and such that for , ,
, we have
|
|
|
on .
In the above lemma, the inequality means
|
|
|
for all bases of . Now, we combine Lemma 6.5 and Lemma 6.6 to estimate the integral (6.16). Define
|
|
|
Lemma 6.7.
There exist and such that whenever and , we have
|
|
|
In the next section,
we will see that is positive with respect to
the given orientation of .
Using Lemma 6.5 and Lemma 6.6, we have the pointwise estimate
|
|
|
|
|
|
|
|
|
|
|
|
Combining this pointwise estimate with the positivity of yields Lemma 6.7.
Next, define
|
|
|
The following lemma will be proved in the next section.
Lemma 6.8.
For any positive numbers , there exist and such that
|
|
|
if , ,
and .
We now complete the proof of Lemma 6.1.
Let be a compact neighborhood of in
.
Then for sufficiently large .
Take sufficiently small so it satisfies
in Lemma 6.7.
To estimate ,
we see that
if
for a constant .
Hence
|
|
|
Then by applying Lemma 6.8 to and , we have
|
|
|
When is sufficiently large, we have
.
Hence we have
|
|
|
by (6.13).
Since is positive, we have
.
Therefore,
|
|
|
for sufficiently large .
Combining with
(6.15), (6.22)
and Lemma 6.7,
we deduce that there exists a constant such that
|
|
|
for sufficiently large .
By Lemma 6.3, we have .
Therefore, we obtain (6.4)
and then Lemma 6.1.
7. Estimate of Kirillov-Kostant-Souriau form
The purpose of this section is to estimate the volume form
on the contour
defined by the Kirillov-Kostant-Souriau symplectic form
and to prove Lemma 6.6 and Lemma 6.8.
Recall that for an coadjoint orbit
with ,
and a polarization ,
the contour is defined as
|
|
|
which is a closed submanifold of the complex coadjoint orbit
.
The tangent space of is given as
|
|
|
Then for each such and , there exists
such that
|
|
|
Recall that the Kirillov-Kostant-Souriau symplectic form on
the complex coadjoint orbit is defined by
|
|
|
and then we defined a complex-valued -form
,
where is the dimension of the orbit
.
Let us define another -form
on .
Recall from [HO20] that we have a fiber bundle structure
(7.1) |
|
|
|
The fiber over is identified with
.
For any , there exists
such that .
Then the fiber is identified with
and then with
by the action of .
Let
(resp. )
denote the Kirillov-Kostant-Souriau form on the real coadjoint orbit
(resp. ).
To define , we will decompose the tangent space
at as
|
|
|
We define
as the vectors that are tangent to the fiber of .
In other words,
|
|
|
To define ,
consider the natural maps
|
|
|
where is the orthogonal complement
of in
with respect to an invariant form on , which we fix now.
Write
|
|
|
for the composite map.
Then for any .
Define
|
|
|
can be identified with
via .
Define as the -form on as
|
|
|
Here, we use the identifications
and .
Since
and ,
the -form is purely imaginary.
Then define a real-valued -form on
as
|
|
|
In [HO20, Section 3.1] an orientation on
is defined in terms of symplectic forms
and
and the fiber bundle structure .
Then it directly follows from definition that is positive
with respect to that orientation.
In the following, we estimate the differences and
to prove Lemma 6.6.
As in the previous section, we fix an inner product on
and let denote the corresponding norm on
and on .
For
let denote the corresponding operator norm.
We fix a compact set
throughout this section.
We will estimate on
,
which is an open subset of ,
for any and any
when is sufficiently small and is sufficiently large.
Here, denotes the open ball with radius
and center in with respect to our fixed norm on .
For , let
|
|
|
|
|
|
|
|
|
Lemma 7.1.
Given any ,
there exist and such that the following holds:
if , ,
, and
|
|
|
then and there exist
,
and
such that
|
|
|
Proof.
Consider the map
|
|
|
which is a submersion at .
Define
as in the proof of Lemma 6.2.
Take an open set
which contains .
We claim that when is sufficiently small, we have the following:
if ,
and for some ,
then .
Indeed, if this is not the case, we may find sequences
,
and
such that ,
and .
Here, denotes the real Weyl group.
By taking a subsequence, we may assume has a limit
and that for all .
Then we have with
,
, and
.
It is easy to see from the definition of
that this is not possible.
Thus, the claim is proved.
Take that satisfies above claim.
For any with ,
there exists such that
|
|
|
Scaling everything by yields
|
|
|
Let , and fix .
Then we may find sufficiently large such that if .
Now, suppose that
, ,
, and
.
Then by the definition of ,
we may write
such that , , and .
We have
|
|
|
Hence
and we can write with
and .
Then and are conjugate
and .
Therefore, and
.
Since
and they are in the same -orbit,
the claim at the beginning of the proof implies .
Then and we may replace by .
We may thus assume .
Let denote the partial flag variety,
the collection of all parabolic subalgebras of
that are -conjugate to .
Then
is a small open neighborhood of in .
If is small enough, then we can take
such that .
Then satisfies
and hence .
Moreover,
|
|
|
By decreasing and if necessary
we deduce that .
∎
Note that there exists such that
if is sufficiently small
and is sufficiently large, then
with
and implies that
(7.2) |
|
|
|
Here, is the nilradical of .
We fix such .
Lemma 7.2.
Let and
let
which satisfies (7.2).
Let ,
and such that
|
|
|
Then there exist and such that
|
|
|
The constant depends only on
and does not depend on or .
Proof.
Let be the parabolic subgroup of with Lie algebra ,
or equivalently the normalizer of .
By the assumption ,
we have .
Then
with the identification .
By our assumption on and ,
we have
for some constant .
Then
|
|
|
Decompose into root spaces
|
|
|
The ordering is chosen to satisfy .
We claim that for any ,
there exist a constant and
such that
(7.3) |
|
|
|
This can be seen by induction on .
Given , we can find with
which satisfies (7.3).
Moreover, it follows from (7.2)
that is bounded by the product of
and a constant.
Hence we get for some constant .
The claim for yields
|
|
|
Then putting we get
|
|
|
By and
we can choose a constant such that .
∎
Fix vectors in
which form a basis of .
We have
|
|
|
where .
We take
such that
(7.4) |
|
|
|
for .
Next, fix vectors in
which form a basis in .
Then
|
|
|
We take such that
(7.5) |
|
|
|
for .
Define for as
|
|
|
The vectors
form a basis of the tangent space .
Let be a by matrix whose entry is
.
Then is skew symmetric and
the -form
is given by
|
|
|
where denotes the Pfaffian of .
We now estimate each entry of :
Lemma 7.3.
Let .
Suppose that
satisfying (7.2),
,
, and
such that .
Define and as above for and .
Then we have
-
(1)
,
-
(2)
,
-
(3)
for some constant .
Here, depends on and , but does not depend on
, , or .
Proof.
By Lemma 7.2, there exists such that
|
|
|
In the following proof,
we say a vector in or an element in is bounded
if it lies in a compact set which depends only on and .
For instance , , and are bounded,
but is not bounded.
Consider the equation
(7.6) |
|
|
|
|
|
|
|
|
If we put , then this is equivalent to (7.4).
In particular, (7.6) is satisfied for at least one
and hence the left hand side of (7.6)
is contained in
with the identification .
Since the left hand side of (7.6) is bounded and
is bounded, the first condition of (7.2)
implies that there exists a bounded vector which
satisfies (7.6).
Then by putting , we find a bounded vector
which satisfies (7.4).
Note that by (7.6) again,
is also bounded.
We may thus assume that are bounded vectors.
To prove (1), it is enough to show that
is bounded.
We calculate
|
|
|
|
|
|
|
|
|
|
|
|
The last three terms are all bounded and (1) is proved.
Since the left hand side of (7.5) is bounded, we may assume that is also bounded.
For example, if we take from ,
then by (7.2) is bounded.
Moreover, we claim that
(7.7) |
|
|
|
is bounded.
Indeed,
|
|
|
|
|
|
|
|
|
Here, we used which follows from .
Then the claim follows from and .
(2) follows from
|
|
|
|
|
|
|
|
For (3), put .
Then
|
|
|
|
|
|
|
|
|
|
|
|
Since (7.7) is bounded,
the last three terms are all bounded by for some constant .
The first term is calculated as
|
|
|
|
|
|
|
|
|
|
|
|
(3) is thus proved.
∎
We now prove Lemma 6.6, namely, we prove
|
|
|
on
when is sufficiently small and
is sufficiently large, or equivalently,
is sufficiently large.
Since and are differential forms of top degree,
it is enough to prove the inequality
for our particular basis
of the tangent space chosen above.
Similarly to the matrix ,
let be a by matrix whose entry is
.
We have
|
|
|
Hence it is enough to prove
(7.8) |
|
|
|
By definition of , the matrix is block diagonal and
each entry does not depend on .
The upper left by part of is .
The lower right by part is .
Since the the Kirillov-Kostant-Souriau form is nondegenerate,
the Pfaffian of does not vanish.
Assuming (7.2),
the grows exactly of order , namely,
there exist constants such that
|
|
|
In light of the estimate of the entries of given in Lemma 7.3,
there exist such that
|
|
|
Therefore, for sufficiently small and sufficiently large
we obtain (7.8).
We fix such sufficiently small and
then Lemma 7.1 gives .
By decreasing if necessary to have (7.2),
we conclude that the inequality in Lemma 6.6
holds for sufficiently large .
It remains to prove Lemma 6.8.
For this we use the fiber bundle structure
as (7.1).
We have a canonical volume form
|
|
|
on the fiber
and then on any fiber by an isomorphism
.
The volume of the fiber with respect to this form is a constant,
which we denote by .
Then for an open subset , we have
(7.9) |
|
|
|
where we put
|
|
|
To study the volume form on the base ,
we fix a constant and assume
(7.10) |
|
|
|
Let be the orthogonal complement
of in
and fix a basis of .
Let be linear coordinate functions
on with respect to this basis.
Then we have a natural map
|
|
|
Under the assumption (7.10),
there exists which does not depend on such that
is a diffeomorphism,
where is the open ball in
with center at origin and radius with respect to our linear coordinate.
Decreasing if necessary, we may further assume that
restricted to some open set containing the closure of
is a diffeomorphism onto its image.
Moreover,
for some constant .
We claim that
|
|
|
on for some constant .
Indeed, we can find such when is bounded.
Then the claim follows because
is invariant under the scaling .
Therefore, we have
|
|
|
for some constant .
Combining with (7.9), we obtain the following.
Lemma 7.4.
There exist positive numbers and such that
|
|
|
for and
any satisfying (7.10).
To prove Lemma 6.8, fix positive numbers
.
If is sufficiently large,
then and
imply that
satisfies (7.10).
Moreover, is bounded
from below and from above by positive constants.
Define by the equation
|
|
|
When becomes larger,
is of order and is of order .
Hence if is sufficiently large,
then becomes arbitrarily small positive number.
By the inclusion
and by Lemma 7.4, we have
|
|
|
Since is bounded from below by a positive constant,
we obtain Lemma 6.8.
8. Proof of main theorems
In this section, we prove Theorem 1.3, Theorem 1.4
and Theorem 1.7.
Suppose that is a locally algebraic
homogeneous space with -invariant density.
Our proof depends on the following result of the wave front set of induced representation:
Theorem 8.1 ([HW17, Theorem 2.1]).
Let be the moment map.
Then
|
|
|
First, we prove Theorem 1.4.
According to Theorem 4.3,
we can divide the set as
(8.1) |
|
|
|
for some constant ,
where
runs over representatives of all -conjugacy classes
such that
is -conjugate to .
If is large enough,
implies is far from
.
In view of the Langlands parameter of
in Section 2, we have
(8.2) |
|
|
|
if and
are not -conjugate and if is sufficiently large.
We fix satisfying (8.1) and (8.2).
Then we obtain the decomposition of :
|
|
|
In this decomposition, we note that
is open in and
is closed in .
Let
|
|
|
be the irreducible decomposition. Define
|
|
|
and regard them as subrepresentations of so we have
|
|
|
By Lemma 4.4,
we have
|
|
|
Hence Theorem 5.1 and Theorem 8.1 imply
|
|
|
Since
is closed in , we have
|
|
|
As in (4.5), we can easily show that
|
|
|
Hence
|
|
|
|
|
|
Therefore, putting
|
|
|
we have
(8.3) |
|
|
|
This proves the equation
|
|
|
in Theorem 1.4.
To show the remaining equation in Theorem 1.4,
we replace (8.1) by
|
|
|
which was proved in Theorem 4.3.
Then the same argument shows
|
|
|
This completes the proof of Theorem 1.4.
Next, we prove (LABEL:eq:main) in Theorem 1.3.
Fix a Levi subalgebra with .
Taking the intersection of
and (8.3), we have
(8.4) |
|
|
|
If , then
|
|
|
by applying (6.3).
If and
are not -conjugate,
then (6.2) gives
|
|
|
because
does not intersect .
Therefore, the right hand side of (8.4) equals
|
|
|
|
|
|
This prove the second equation of (LABEL:eq:main).
The other equation of (LABEL:eq:main)
can be proved in the same way.
To prove the remaining assertion of Theorem 1.3,
we may replace by ,
where .
Indeed, if ,
then .
The manifold may not be an algebraic variety
but a union of connected components of the -valued points of .
We have and for
there is a natural decomposition
.
Hence there exists a natural inclusion .
Put .
By Theorem 1.2,
|
|
|
Define
|
|
|
|
|
|
Then is a Zariski open dense set in .
Therefore, is open and dense in .
Observe that
(8.5) |
|
|
|
Here, as in (8.1), runs over
representatives of all -conjugacy classes
of Levi subalgebras of
such that .
Indeed, if is in the left hand side of (8.5),
then is -conjugate to
exactly one of in the right hand side
of (8.5).
Then
for this .
Let and
apply Lemma 6.2.
Since is a cone,
.
Then (6.2) multiplied by becomes
|
|
|
This shows each
is closed and hence also open in
.
Fix .
Suppose first that
intersects ,
Then since the rank of equals everywhere
on , we have
|
|
|
By ,
we have
Since is -stable,
.
Hence (1.3) follows.
Suppose next that
.
Then since
and since
is open in (8.5), we have
|
|
|
Finally, as is nonempty
and contained in the set (8.5),
intersects
for at least one .
We finish the proof of Theorem 1.3.
Let us prove Theorem 1.7.
There exists a local isomorphism between and
so we may replace the assumption of Theorem 1.7 by
|
contains a nonempty open subset of . |
|
Let us assume this.
Take a nonempty open subset such that
.
Define and
as in the proof of Theorem 1.3 above.
Since is open and dense in ,
we may assume .
Then by shrinking if necessary, we may further assume that
is a real submanifold of
of dimension .
On the other hand,
by Theorem 1.2.
Since
is a semialgebraic set of (real) dimension ,
we can find a vector
and an open neighborhood of in
such that
|
|
|
By our assumption, the left hand side is contained
in .
If we put , then is an open cone
containing and
|
|
|
Since ,
Theorem 1.4 yields
|
|
|
Hence there exist infinitely many semisimple orbital parameter
and such that
|
|
|
|
|
|
For large enough , we have and then
.
Moreover, it is easy to see that is an isolated point in
the set
|
|
|
with respect to the Fell topology.
Hence it is an isolated point in .
As a consequence, appears in the discrete spectrum
of the decomposition in for large
and therefore has infinitely many discrete series.
This completes the proof of Theorem 1.7.