Abstract
We define formal geometric quantisation for proper Hamiltonian actions by possibly noncompact groups on possibly noncompact, prequantised symplectic manifolds, generalising work of Weitsman and Paradan. We study the functorial properties of this version of formal geometric quantisation, and relate it to a recent result by the authors via a version of the shifting trick. For (pre)symplectic manifolds of a certain form, quantisation commutes with reduction, in the sense that formal quantisation equals a more direct version of quantisation.
Similar content being viewed by others
1 Introduction
Consider a Hamiltonian action by a compact Lie group \(K\) on a possibly noncompact prequantised symplectic manifold \((N, \nu )\), with proper momentum map. Weitsman [23] defined the formal geometric quantisation of this action, which by definition commutes with reduction:
where \(\Lambda _+^K\) is the set of dominant integral weights of \(K,\) with respect to a maximal torus and positive root system, and \(\pi ^K_{\lambda }\) is the irreducible representation of \(K\) with highest weight \(\lambda \in \Lambda _+^K.\) For such \(\lambda ,\) \(N_{\lambda }\) is the symplectic reduction of the given action at \(\lambda /i\) (which is a symplectic orbifold if \(\lambda /i\) is a regular value of the momentum map). Formal geometric quantisation takes values in the abelian group
where \(R(K)\) is the representation ring of \(K\).
Paradan [18] proved that formal geometric quantisation is functorial with respect to Cartesian products and restriction to subgroups. These two properties imply that it is compatible with the \(R(K)\)-module structure on \(R^{-\infty }(K)\). Ma and Zhang [14, 15], and also Paradan [19] proved that quantisation commutes with reduction, in the sense that
for a certain definition of the quantisation \(Q_K(N, \nu ) \in R^{-\infty }(K)\).
On the other hand, Landsman [9, 12] proposed a definition of geometric quantisation of a Hamiltonian action by a Lie group \(G\) on a prequantised symplectic manifold \((M, \omega )\), if the orbit space \(M/G\) is compact. He used the analytic assembly map from the Baum–Connes conjecture [2], which takes values in the \(K\)-theory group \(K_*(C^*_{(r)}G)\). Here \(C^*_{(r)}G\) denotes either the full \(C^*\)-algebra \(C^*G\) or the reduced \(C^*\)-algebra \(C^*_rG\) of the group \(G\). Applying this assembly map to a Dirac operator coupled to a prequantum line bundle yields Landsman’s definition of
Mathai and Zhang [16] showed that Landsman’s version of quantisation commutes with reduction at the trivial representation, at least if one multiplies the symplectic form \(\omega \) by a large enough integer. For (possibly only presymplectic) manifolds of the form \(M=G\times _K N\), with \(N\) a compact prequantised Hamiltonian \(K\)-manifold, it was shown in [8] that
Here \([\lambda ]\) is a certain generator of \(K_*(C^*_rG)\), \(\rho _c\) is half the sum of the compact positive roots, and \((M_{\lambda + \rho _c}, \omega _{\lambda + \rho _c})\) is the symplectic reduction of the action at \((\lambda + \rho _c)/i\). The shift over \(\rho _c\) appears because \({{\mathrm{Spin}}}^c\)-quantisation is used rather than Dolbeault-quantisation.
A common generalisation of \(R^{-\infty }(K)\) and \(K_*(C^*_rG)\) is the \(K\)-homology group \(K^*(C^*_rG)\) of \(C^*_rG\). In view of the successes for quantisation with values in \(R^{-\infty }(K)\) and \(K_*(C^*_rG)\), it makes sense to find a definition of quantisation with values in \(K^*(C^*_rG)\), without assuming the group or the orbit space to be compact. In this note, we generalise the formal quantisation studied by Weitsman and Paradan to noncompact groups. For manifolds of the form \(M = G\times _K N\) as in (2), but with \(N\) possibly noncompact, we define geometric quantisation in \(K^*(C^*_rG)\), and show that it equals formal quantisation. This means that this version of quantisation commutes with reduction (Theorem 4.2). We study the functorial properties of formal quantisation, and give a relation with the main result in [10] via a version of the shifting trick.
2 Compact groups
Let \(K\) be a compact, connected Lie group, with Lie algebra \(\mathfrak {k}\). Let \(\Lambda _+^K\) be the set of dominant integral weights of \(K\), with respect to a maximal torus and a choice of positive roots. For \(\lambda \in \Lambda _+^K\), let \(\pi ^K_{\lambda }\) be the irreducible representation of \(K\) with highest weight \(\lambda \). Consider the abelian group
Here \(R(K)\) denotes the representation ring of \(K\). Note that \(R^{-\infty }(K)\) is generated by the elements \([\pi ^K_{\lambda }]^*\), for \(\lambda \in \Lambda _+^K\), where
for all \(\lambda ' \in \Lambda _+^K\).
Let \((N, \nu )\) be a prequantised symplectic manifold, equipped with a Hamiltonian \(K\)-action. Suppose the momentum map \(\Phi ^K{:} N \rightarrow \mathfrak {k}^*\) is proper. Then for every \(\lambda \in \Lambda _+^K\), the symplectic reduction [13] \(N_{\lambda }\) of the action at \(\lambda /i\) is compact. Hence it has a quantisation \(Q(N_{\lambda }) \in \mathbb {Z}\), where one can use Meinrenken and Sjamaar’s approach [17] in the singular case.
Weitsman [23] introduced the formal geometric quantisation \(Q^{-\infty }_K(N, \nu )\) of the action by \(K\) on \((N, \nu )\), as
Paradan [18] proved that formal quantisation is functorial with respect to restriction to subgroups, and also notes that it is functorial with respect to Cartesian products.
To state Paradan’s result on restriction to a subgroup \(K'<K\), we consider the abelian group \(R^{-\infty }(K)_{K'}\) of formal differences of equivalence classes of representations of \(K\) whose restrictions to \(K'\) decompose into irreducible representations of \(K'\) with finite multiplicities. One has
and
Here we identify \(R^{-\infty }(K) = {{\mathrm{Hom}}}_{\mathbb {Z}}(R(K), \mathbb {Z})\) with the abelian group of formal differences of equivalence classes of representations of \(K\) containing finitely many copies of all irreducibles, via the map \([\pi ^K_{\lambda }]^* \mapsto [\pi ^K_{\lambda }]\). By definition of \(R^{-\infty }(K)_{K'}\), there is a well-defined restriction map
Let \(\mathfrak {k}'\) be the Lie algebra of \(K'\), and suppose that the momentum map \(\Phi ^{K'}: N \rightarrow (\mathfrak {k}')^*\) for the action by \(K'\) on \(N\) is still proper. A criterion for this condition is given in Proposition 2.11 in [20]. Then Paradan showed that \(Q^{-\infty }_K(N, \nu ) \in R^{-\infty }(K)_{K'}\), and
In addition, for \(j = 1,2\), let \(K_j\) be a compact, connected Lie group, and let \((N_j, \nu _j)\) be a prequantised Hamiltonian \(K_j\)-manifold with proper momentum map. Then Paradan points out that
Note that \(R^{-\infty }(K)\) is an \(R(K)\)-module, via the tensor product of representations. The properties (3) and (4) together imply that, if \(N_1\) is compact,
where the dot \(\cdot \) denotes the \(R(K)\)-module structure of \(R^{-\infty }(K)\).
Our goal is to generalise the definition of formal geometric quantisation, and its functoriality properties with respect to restriction and Cartesian products, to noncompact groups. Then \(R^{-\infty }(K)\) will be replaced by \(K\)-homology of group \(C^*\)-algebras.
3 \(K\)-homology of group \(C^*\)-algebras and formal quantisation
Let \(G\) be a connected Lie group containing \(K\) as a maximal compact subgroup. Let \(\mathfrak {g}\) be the Lie algebra of \(G\). Let \(C^*_rG\) be the reduced \(C^*\)-algebra of \(G\). We will write \(d:= \dim (G/K)\). The Connes–Kasparov conjecture, proved for almost connected groups by Chabert et al. [4], states that there is an isomorphism of Abelian groups
This isomorphism is called Dirac induction, and is given by
for \(\lambda \in \Lambda _+^K\), where \(\mu _{G/K}^G\) is the analytic assembly map [2], and \(D^{\lambda }_{G/K}\) is a Dirac operator on \(G/K\) coupled to the representation \(\pi ^K_{\lambda }\).
Let \(K^d(C^*_rG)\) be the \(K\)-homology group (see e.g. [5]) of \(C^*_rG\) in degree \(d\). Since \(K_d(C^*_rG) \cong R(K)\) is torsion-free, the universal coefficient theorem [21] implies that
In particular, \(R^{-\infty }(K) = K^0(C^*_rK)\). The isomorphism (7) is given by the Kasparov product. Pulling back along the Dirac induction map defines an isomorphism of Abelian groups
For \(\lambda \in \Lambda _+^K\), we write \([\lambda ]\) for the generator \({{\mathrm{D-Ind}}}_K^G[\pi ^{K}_{\lambda }]\) of \(K^d(C^*_rG)\). Let \([\lambda ]^* \in K^d(C^*_rG)\) be the corresponding generator, defined by
for \(\lambda ' \in \Lambda _+^K\). Then
We consider \(K_{d}(C^*_rG)\) as a subgroup of \(K^d(C^*_rG)\) via the map \([\lambda ] \mapsto [\lambda ]^*\).
Using the generators \([\lambda ]^*\) of \(K^d(C^*_rG)\), one can generalise formal geometric quantisation to actions by noncompact groups as follows. Let \((M, \omega )\) be a prequantised symplectic manifold, equipped with a proper Hamiltonian \(G\)-action. Suppose the momentum map \(\Phi ^G{:} M \rightarrow \mathfrak {g}^*\) is \(G\)-proper, in the sense that the inverse image of every cocompact set is cocompact. (By a cocompact set we mean a set with compact quotient by the group action.) Then all symplectic reductions of the action are compact. Assume that all symplectic reductions at elements of \(\Lambda ^K_+\) have well-defined quantisations; see below for a discussion of this assumption.
Definition 3.1
The formal geometric quantisation of the action by \(G\) on \((M, \omega )\) is
Let \(\xi \in \mathfrak {g}^*\) be a value of \(\Phi ^G\). Any of the following conditions is sufficient for the symplectic reduction \(M_{\xi }\) to have a well-defined quantisation \(Q(M_{\xi }) \in \mathbb {Z}\).
-
1.
If \(G\) is compact, one can define \(Q(M_{\xi })\) using Meinrenken and Sjamaar’s methods [17].
-
2.
Suppose that
-
(a)
\(\xi \) is a quasi-regular value of \(\Phi ^G\), in the sense that all \(G\) orbits in \((\Phi ^G)^{-1}(G\cdot \xi )\) have the same dimension; and
-
(b)
the prequantum line bundle \(L\rightarrow M\) is almost equivariantly locally trivial at level \(\xi \), in the sense that for all \(m \in (\Phi ^G)^{-1}(G\cdot \xi )\), the identity component of the stabiliser \(G_m\) acts trivially on the fibre \(L_m\).
Then \(M_{\xi }\) is a compact symplectic orbifold, with a prequantum line bundle induced by \(L\), and can be quantised. See Section 2.2 in [17].
-
(a)
-
3.
As a special case of the second point, suppose that all points in \((\Phi ^G)^{-1}(G\cdot \xi )\) have conjugate stabilisers, and that \(G\cdot \xi \) is locally closed. Then by Theorem 16 in [1], the symplectic reduction \(M_{\xi }\) is smooth.
-
4.
Suppose \(G\) is semisimple with discrete series, and let \(K<G\) be a maximal compact subgroup. If the stabiliser \(G_{\xi }\) is compact, i.e. \(\xi \) is strongly elliptic, set
$$\begin{aligned} \widetilde{M} := (\Phi ^{G})^{-1}(\mathfrak {g}^*_{{{\mathrm{se}}}}), \end{aligned}$$where \(\mathfrak {g}^*_{{{\mathrm{se}}}}\) is the set of strongly elliptic elements. By Corollary 2.4 and Proposition 2.6 in [22], this is a nonempty open subset of \(\mathfrak {g}^*\). Hence \(\widetilde{M}\) is a \(G\)-invariant open neighbourhood of \((\Phi ^G)^{-1}(G\cdot \xi )\) in \(M\). By Propositions 2.8 and 2.14 in [7], \(\widetilde{M}\) has the form
$$\begin{aligned} \widetilde{M} \cong G\times _K N, \end{aligned}$$where \(N:= (\Phi ^G)^{-1}(\mathfrak {k}^*) \cap \widetilde{M}\) is a Hamiltonian \(K\)-manifold, with momentum map defined by the restriction of \(\Phi ^G\). Hence there is a homeomorphism
$$\begin{aligned} M_{\xi } = \widetilde{M}_{\xi } = N_{\xi }, \end{aligned}$$which is a symplectomorphism of \(\xi \) is a regular value of \(\Phi ^K\). Hence \(M_{\xi } \cong N_{\xi }\) has a well-defined quantisation by the first point. The generators \([\lambda ]\), for \(\lambda \in \Lambda ^K_+ \cap i\mathfrak {g}^*_{{{\mathrm{se}}}}\) correspond to discrete series representations, see Remark 2.5 in [7], and also Example 5.2.
-
5.
As a special case of the fourth point, suppose that \(\Phi ^G\) is proper, rather than just \(G\)-proper. Then it was pointed out in [20] that \(\Phi ^G(M) \subset \mathfrak {g}^*_{{{\mathrm{se}}}}\), so the fourth point applies to any value \(\xi \) of \(\Phi ^G\).
4 Quantisation commutes with reduction
Quantisation commutes with reduction is the statement that
for some definition of \(Q_G(M, \omega ) \in K^d(C^*_rG)\). For a prequantised Hamiltonian \(K\)-manifold \((N, \nu )\) with proper momentum map \(\Phi ^K\), as considered earlier, such a definition was given by Ma and Zhang [14, 15] and Paradan [19]. They defined \(Q_K(N, \nu )\) via expanding (relatively) compact subsets of \(N\). Braverman’s index theory for generalised Dirac operators on possibly noncompact manifolds [3] can be applied to give a direct analytic definition of quantisation, provided the critical point set of the norm-squared function of \(\Phi ^K\) is compact (which it is if \(N\) is real-algebraic and \(\Phi ^K\) is algebraic, as noted in Lemma 3.24 of [20]). Ma and Zhang, and also Paradan, proved that
A definition of \(Q_G(M, \omega ) \in K^d(C^*_rG)\) satisfying (10) can be given if \(M\) is of a particular form. Suppose that \(G\) is semisimple, and let \(\mathfrak {g}= \mathfrak {k}\oplus \mathfrak {p}\) be a Cartan decomposition. Suppose \(M\) is of the form \(M = G\times _K N\) considered in [7, 8], the quotient of \(G \times N\) by the \(K\)-action
for \(k \in K\), \(g \in G\) and \(n \in N\). As in [8], consider the \(G\)-invariant presymplectic form (i.e. closed two-form) \(\omega \) on \(M\) given by
where \(n \in N\), \(X, Y \in \mathfrak {p}\), \(v, w \in T_nN\), and \(q: G\times N \rightarrow M\) is the quotient map. In general, \(\omega \) may be degenerate, but all constructions relevant to quantisation and reduction still apply. The momentum map \(\Phi ^G: M \rightarrow \mathfrak {g}^*\), given by
for \(g \in G\) and \(n \in N\), is \(G\)-proper if \(\Phi ^K\) is proper.
If \(G\) has discrete series representations and \(\Phi ^K(N) \subset \mathfrak {k}^* \hookrightarrow \mathfrak {g}^*\) lies inside the set \(\mathfrak {g}^*_{{{\mathrm{se}}}}\) of strongly elliptic elements, then \(\omega \) is an actual symplectic form (see [7], Proposition 2.4], with more details given in Proposition 12.4 in [6]). Conversely, any Hamiltonian \(G\)-manifold \((M, \omega )\) whose momentum map takes values in the strongly elliptic set is of the form \(M = G\times _K N\) as above [7], Proposition 2.14].
In [7, 8], it was shown that for compact \(N\), quantisation commutes with induction, in the sense that
Here \(Q_G(M, \omega ) \in K^*_d(C^*_rG)\) is Landsman’s version (1) of geometric quantisation. This shows that the following definition reduces to Landsman’s definition if \(N\) is compact.
Definition 4.1
For \(M = G\times _K N\) as above, the geometric quantisation of the action by \(G\) on \(M\) is
The formal quantisation of the action by \(G\) on \((M, \omega )\) depends on the precise procedure used to quantise the reduced spaces \(M_{\xi }\). Let \(Q(M_{\xi })\) be defined as the usual index of a Dirac operator if \(\xi \) is a quasi-regular value of \(\Phi ^G\), and as \(Q(N_{\xi })\) if \(\xi \) is a singular value (since \(M_{\xi } \cong N_{\xi }\)).
Theorem 4.2
(Quantisation commutes with reduction) If \(M\) is of the form \(M = G \times _K N,\) then (10) holds.
Proof
The equality (11) implies that
Because of Lemma 4.3 below, the latter expression equals \(Q^{-\infty }_G(M, \omega )\). \(\square \)
Lemma 4.3
In this setting\(,\) one has
Proof
Let \(\lambda \in \Lambda _+^K\). If \(\lambda /i\) is a singular value of \(\Phi ^G\), one by definition has
For quasi-regular values, one has an isomorphism of (pre)symplectic orbifolds
(see [8], Lemma 5.1]), so that, in particular, \((M_{\lambda }, \omega _{\lambda })\) is actually symplectic, rather than just presymplectic. Hence (13) also holds in that case. The desired equality therefore follows from (9). \(\square \)
Theorem 4.2 motivates the search for a definition of \(Q_G(M, \omega ) \in K^d(C^*_rG)\) for arbitrary \((M, \omega )\), generalising Definition 4.1.
5 A restriction map
We return to the case where \(G\) is any connected Lie group. Let \(G' < G\) be a closed, connected subgroup that has a maximal compact subgroup \(K'\) contained in \(K\). We write \(d' := \dim (G'/K') \). Set
(Note that since all maximal compact subgroups are conjugate, the ring \(R^{-\infty }(K)_{K'}\) is independent of the choice of maximal compact subgroup \(K'<G'\).)
Definition 5.1
The Dirac restriction map \({{\mathrm{D-Res}}}^G_{G'}\) is defined by commutativity of the following diagram:
Because the Dirac restriction map is modelled on the restriction map from \(K\) to \(K'\), it may not contain all representation theoretic information concerning restriction of representations from \(G\) to \(G'\). It does have natural functoriality properties with respect to formal quantisation, as we will see.
Example 5.2
Suppose \(G\) is semisimple with discrete series. Then \(d\) is even. Let \(\rho _c\) be half the sum of the positive roots of \(K\). Let \(\lambda \in \Lambda _+^K\), and suppose \(\lambda \) is strongly elliptic. Let \(\pi ^G_{\lambda }\) be the irreducible discrete series representation of \(G\) with Harish–Chandra parameter \(\lambda + \rho _c\). Then \(\pi ^G_{\lambda }\) defines a \(K\)-theory class
(see [11], Section 2.2]). In (5.3) in [8], it is noted that
Hence the image of \([\pi ^G_{\lambda }]\) in \(K^d(C^*_rG)\) is \([\pi ^G_{\lambda }]^* := (-1)^{d/2}[\lambda ]^* \in K^0(C^*_rG)\), and
Let \(\Lambda _+^{K'}\) be the set of dominant integral weights of \(K'\) with respect to a maximal torus and positive roots, compatible with the choices made for \(K\). Write
for certain integer coefficients \(m_{\lambda '}\). Then
Hence
by (9).
Suppose that \(G\) and \(G'\) are semisimple, and that \(M\) is of the form \(M = G \times _K N\) as above. Then formal geometric quantisation has the following functoriality property with respect to Dirac restriction.
Proposition 5.3
Suppose that the momentum map for the action by \(G'\) on \(M\) is still proper. Then \((\)omitting the various symplectic forms from the notation\()\) we have
and
Proof
Because of the form (12) of the momentum map for the action by \(G'\) on \(M\), this map is \(G'\)-proper if and only if the momentum map for the action by \(K'\) on \(N\) is proper. Hence, by Paradan’s result (3), one has \(Q^{-\infty }_K(N) \in R^{-\infty }(K)_{K'}\), and
Lemma 4.3 states that
Hence \(Q^{-\infty }_{G}(G\times _K N) \in K^d(C^*_rG)_{G'}\), and
\(\square \)
Remark 5.4
One would expect a restriction map \({{\mathrm{Res}}}^G_{G'}\) to satisfy
compare with Theorem D in [20]. Proposition 5.3 reflects a different nature of the Dirac restriction map.
6 Products of generators
In Section 5.3 of [7], a multiplicativity property of the analytic assembly map is discussed. This will allow us to generalise the multiplicative property (4) of formal geometric quantisation to noncompact groups. That in turn leads to a generalisation of property (5) of formal quantisation with respect to the \(R(K)\)-module structure of \(R^{-\infty }(K)\).
Let \(G_1\) and \(G_2\) be locally compact groups, acting properly and cocompactly on locally compact Hausdorff spaces \(X_1\) and \(X_2\), respectively. There are Kasparov product maps on equivariant \(K\)-homology and on \(K\)-theory,
By Theorem 5.2 in [7], the assembly maps \(\mu _{X_j}^{G_j}\) and \(\mu _{X_1 \times X_2}^{G_1 \times G_2}\) satisfy
for all \(a_j \in K^{G_j}_*(X_j)\), at least if \(X_1\) and \(X_2\) are metrisable.
Now suppose \(G_1\) and \(G_2\) are connected, semisimple Lie groups. Let \(K_j < G_j\) be maximal compact subgroups, and suppose that the adjoint representations \({{\mathrm{Ad}}}: K_j \rightarrow {{\mathrm{SO}}}(\mathfrak {p}_j)\) lift to \({{\mathrm{Spin}}}(\mathfrak {p}_j)\), for Cartan decompositions \(\mathfrak {g}_j = \mathfrak {k}_j \oplus \mathfrak {p}_j\). (This is always true for certain covers of the groups \(G_j\).) Write \(d_j := \dim (G_j/K_j)\).
Lemma 6.1
Let \(\lambda _j \in \Lambda _+^{K_j}\). Then one has
\((\)Note that \(\Lambda _+^{K_1\times K_2} = \Lambda _+^{K_1} \times \Lambda _+^{K_2}.)\)
Proof
Let \(K_j < G_j\) be as above. In this setting, for \(G = G_j\) and \(K=K_j\), the Dirac operator \(D^{\lambda }_{G/K}\) used in the definition (6) of Dirac induction is defined explicitly as follows. Let \(\{X_1, \ldots , X_n\}\) be a basis of \(\mathfrak {p}\), orthonormal with respect to the Killing form. Let \(\Delta _{\mathfrak {p}}\) be the standard representation of \({{\mathrm{Spin}}}(\mathfrak {p})\), and let \(c: \mathfrak {p}\rightarrow \hbox {End}(\Delta _{\mathfrak {p}})\) be the Clifford action. Let \(\lambda \in \Lambda _+^K\), and let \(V_{\lambda }\) be the representation space of \(\pi ^K_{\lambda }\). Then
on
In \(K^{G_1 \times G_1}_*\bigl ((G_1 \times G_2)/(K_1 \times K_2)\bigr )\), it follows from (15) that for all \(\lambda _j \in \Lambda _+^{K_j}\),
Here we have used the fact that \(\pi ^{K_1 \times K_2}_{(\lambda _1, \lambda _2)} = \pi ^{K_1}_{\lambda _1} \otimes \pi ^{K_2}_{\lambda _2}\). We conclude that, because of (14),
\(\square \)
We will use an extension of Lemma 6.1 to an equality involving the Kasparov product map on \(K\)-homology
Corollary 6.2
For all \(\lambda _j \in \Lambda _+^{K_j},\) one has
Proof
Let \(\lambda _j, \mu _j \in \Lambda _+^{K_j}\). Then
The isomorphism (7) is induced by the Kasparov product, i.e. for \(\lambda \in \Lambda _+^K\), the homomorphism
is given by taking the Kasparov product with \([\lambda ]^* \in K \! K(C^*_rG, \mathbb {C})\). Hence the right hand side of (17) equals
where we have used the associativity properties of the Kasparov product. By Lemma 6.1, the latter expression equals
\(\square \)
7 Module structures
Corollary 6.2 implies that formal quantisation is multiplicative. For \(j = 1,2\), let \((M_j, \omega _j)\) be equivariantly prequantised proper Hamiltonian \(G_j\)-manifolds, with \(G_j\)-proper momentum maps. Suppose the groups \(G_j\) are connected and semisimple.
Corollary 7.1
One has
Proof
Let \(\lambda _j \in \Lambda _+^{K_j}\). As noted by Paradan [18], one has an equality of symplectic reductions
if \(\lambda _1/i\) and \(\lambda _2/i\) are regular values of the respective momentum maps.
Since the manifolds \((M_j)_{\lambda _j}\) are compact, one has
Hence, because \(\Lambda _+^{K_1 \times K_2} = \Lambda _+^{K_1} \times \Lambda _+^{K_2} =: \Lambda _+\), Corollary 6.2 implies that
\(\square \)
The compatibility property (5) of formal quantisation with the \(R(K)\)-module structure on \(R^{-\infty }(K)\) can be generalised to noncompact groups. It is possible to equip \(K^d(C^*_rG)\) with a \(K_d(C^*_rG)\)-module structure in the following way. For \(a \in K_d(C^*_rG)\) we have \(a^* \in K^d(C^*_rG)\), via the inclusion map defined by \([\lambda ] \mapsto [\lambda ]^*\) on generators. If \(b \in K^d(C^*_rG)\), then we have
where \(\times \) denotes the Kasparov product (16). Corollary 6.2 implies that
where \(\Delta (K) < K \times K\) is the diagonal subgroup. So
which is the domain of the Dirac restriction map
Definition 7.2
The \(K_d(C^*_rG)\)-module structure of \(K^d(C^*_rG)\) is defined by
for \(a\) and \(b\) as above.
Lemma 7.3
Dirac induction is compatible with the \(R(K)\)-module structure of \(R^{-\infty }(K)\) and the \(K_d(C^*_rG)\)-module structure of \(K^d(C^*_rG),\) in the sense that
for all finite-dimensional representations \(\pi \) of \(K,\) and all \(b \in K^d(C^*_rG).\)
Remark 7.4
This lemma in particular implies that (18) indeed defines a module structure.
Proof of Lemma 7.3
It is enough to check the equality for irreducible \(\pi = \pi ^K_{\lambda _1}\) and generators \(b = [\lambda _2]^*\) of \(K^d(C^*_rG)\), for \(\lambda _j \in \Lambda _+^K\). Then, using Corollary 6.2 and (9), one finds that
\(\square \)
Proposition 5.3, Corollary 7.1 and Lemma 7.3 have the following consequence. Let \((N_j, \nu _j)\) be prequantised Hamiltonian \(K\)-manifolds. Suppose \(N_1\) is compact, and the momentum map for the action by \(K\) on \(N_2\) is proper. Then, with respect to the module structure of Definition 7.2,
8 The shifting trick
As in [10], consider a \(G\)-invariant metric on the trivial bundle \(M \times \mathfrak {g}^* \rightarrow M\), equipped with the \(G\)-action
for \(g \in G\), \(m \in M\) and \(\xi \in \mathfrak {g}^*\). Denote the induced norm on the fibre at \(m\) by \(\Vert \cdot \Vert _m\). Let \(\mathcal {H}\) be the associated norm-squared function of the momentum map \(\Phi ^G\):
Consider the one-form \(d_1\mathcal {H}\in \Omega ^1(M)\) defined by
Let \({{\mathrm{Crit}}}_1(\mathcal {H})\) be the set of zeroes of \(d_1\mathcal {H}\). Under the assumptions that \({{\mathrm{Crit}}}_1(\mathcal {H})/G\) is compact and \(G\) is unimodular, the invariant quantisation
was defined in [10]. It was proved that for \(p \in \mathbb {N}\) large enough,
and conjectured that this equality holds for \(p = 1\). (Here \((M_0, \omega _0)\) is the symplectic reduction of the action at \(0 \in \mathfrak {g}^*\).)
Let \(\lambda \in \Lambda _+^K\). Consider the reduction map \(R^G_{\lambda }: K^d(C^*_rG) \rightarrow \mathbb {Z}\) given by taking the multiplicity of \([\lambda ]^*\) (i.e. by applying elements to \([\lambda ]\)). Let \(\mathcal {O}_{\lambda }^-:= {{\mathrm{Ad}}}^*(G)\lambda /i\) be the coadjoint orbit through \(\lambda /i\), equipped with minus the standard Kirillov–Kostant–Souriau symplectic form. Let \(\omega ^{\lambda } \in \Omega ^2(M \times \mathcal {O}_{\lambda }^-)\) be the induced product symplectic form. Let \(\mathcal {H}_{\lambda }\) be the function \(\mathcal {H}\) defined above, for the diagonal action by \(G\) on \(M \times \mathcal {O}_{\lambda }^-\). Suppose the conjecture that (19) holds for \(p=1\) is true, which is the case for example if the action is free. Then one has the following version of the shifting trick.
Proposition 8.1
If \({{\mathrm{Crit}}}_1(\mathcal {H}_{\lambda })/G\) is compact\(,\) then\(,\) if \(\lambda /i\) is a regular value of \(\Phi ^G,\)
Proof
See Corollary 5.12 in [10]. \(\square \)
Under the stronger assumption (which may be restrictive) that \({{\mathrm{Crit}}}_1(\mathcal {H}_{\lambda })/G\) is compact for all \(\lambda \), one can define a semi-formal version of quantisation as
This version of quantisation has the advantage that it is well-defined regardless of how singular the reduced spaces \(M_{\lambda }\) may be. In the special case where \(\lambda /i\) is a regular value of \(\Phi ^G\) for all \(\lambda \), then Proposition 8.1 implies that semi-formal quantisation commutes with reduction, in the sense that \(Q^{\text {semi}}_G(M, \omega ) = Q^{-\infty }_G(M, \omega )\). (But note that this is only true if (19) holds for \(p=1\).)
References
Bates, L., Lerman, E.: Proper group actions and symplectic stratified spaces. Pac. J. Math. 181(2), 201–229 (1977)
Baum, P., Connes, A., Higson, N.: Classifying space for proper actions and \(K\)-theory of group \(C^{*}\)-algebras. Contemp. Math. 167, 241–291 (1994)
Braverman, M.: Index theorem for equivariant Dirac operators on noncompact manifolds. K-Theory 27(1), 61–101 (2002)
Chabert, J., Echterhoff, S., Nest, R.: The Connes–Kasparov conjecture for almost connected groups and for linear \(p\)-adic groups. Publ. Math. Inst. Hautes Études Sci. 97, 239–278 (2003)
Higson, N., Roe, J.: Analytic \(K\)-Homology. Oxford Mathematical Monographs. Oxford University Press, New York (2000)
Hochs, P.: Quantisation commutes with reduction for cocompact Hamiltonian group actions. Ph.D. thesis, Radboud University (2008). ISBN 978-90-9022607
Hochs, P.: Quantisation commutes with reduction at discrete series representations of semisimple Lie groups. Adv. Math. 222, 862–919 (2009)
Hochs, P.: Quantisation of presymplectic manifolds, \(K\)-theory and group representations. Proc. Am. Math. Soc. 143, 2675–2692 (2015)
Hochs, P., Landsman, N.P.: The Guillemin–Sternberg conjecture for noncompact groups and spaces. J. K-Theory 1, 473–533 (2008)
Hochs, P., Mathai, V.: Geometric quantization and families of inner products. arXiv:1309.6760
Lafforgue, V.: Banach \(K \! K\)-theory and the Baum–Connes conjecture. Proc. ICM Beijing 2, 795–812 (2002)
Landsman, N.P.: Functorial quantization and the Guillemin–Sternberg conjecture. In: Ali, S., Emch, G., Odzijewicz, A., Schlichenmaier, M., Woronowicz, S. (eds.) Twenty years of Bialowieza: a mathematical anthology, pp. 23–45. World Scientific, Singapore (2005)
Marsden, J.E., Weinstein, A.: Reduction of symplectic manifolds with symmetry. Rep. Math. Phys. 5, 121–130 (1974)
Ma, X., Zhang, W.: Geometric quantization for proper moment maps. C. R. Acad. Sci. Paris Ser. I 347, 389–394 (2009)
Ma, X., Zhang, W.: Geometric quantization for proper moment maps: the Vergne conjecture. Acta Math. 212(1), 11–57 (2014)
Mathai, V., Zhang, W.: Geometric quantization for proper actions (with an appendix by U. Bunke). Adv. Math. 225, 1224–1247 (2010). arXiv:0806.3138
Meinrenken, E., Sjamaar, R.: Singular reduction and quantization. Topology 38, 699–762 (1999)
Paradan, P.-E.: Formal geometric quantization. Ann. Inst. Fourier 59, 199–238 (2009)
Paradan, P.-E.: Formal geometric quantization II. Pac. J. Math. 253, 169–212 (2011)
Paradan, P.-E.: Quantization commutes with reduction in the non-compact setting: the case of the holomorphic discrete series. arXiv:1201.5451
Rosenberg, J., Schochet, C.: The Künneth theorem and the universal coefficient theorem for Kasparov’s generalized \(K\)-functor. Duke Math. J. 55(2), 431–474 (1987)
Weinstein, A.: Poisson geometry of discrete series orbits, and momentum convexity for noncompact group actions. Lett. Math. Phys. 56(1), 17–30 (2001)
Weitsman, J.: Non-abelian symplectic cuts and the geometric quantization of noncompact manifolds. In: EuroConférence Moshé Flato 2000, Part I (Dijon). Letters in Mathematical Physics, vol. 56, no. 1, pp. 31–40 (2001)
Acknowledgments
The authors would like to thank Paul-Émile Paradan for helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jonathan Rosenberg.
Rights and permissions
About this article
Cite this article
Hochs, P., Mathai, V. Formal geometric quantisation for proper actions. J. Homotopy Relat. Struct. 11, 409–424 (2016). https://doi.org/10.1007/s40062-015-0109-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-015-0109-8