Abstract
Let \(\pi _{\alpha }\) be a holomorphic discrete series representation of a connected semi-simple Lie group G with finite center, acting on a weighted Bergman space \(A^2_{\alpha } (\Omega )\) on a bounded symmetric domain \(\Omega \), of formal dimension \(d_{\pi _{\alpha }} > 0\). It is shown that if the Bergman kernel \(k^{(\alpha )}_z\) is a cyclic vector for the restriction \(\pi _{\alpha } |_{\Gamma }\) to a lattice \(\Gamma \le G\) (resp. \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_z)_{\gamma \in \Gamma }\) is a frame for \(A^2_{\alpha }(\Omega )\)), then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \le |\Gamma _z|^{-1}\). The estimate \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \ge |\Gamma _z|^{-1}\) holds for \(k^{(\alpha )}_z\) being a \(p_z\)-separating vector (resp. \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_z)_{\gamma \in \Gamma / \Gamma _z}\) being a Riesz sequence in \(A^2_{\alpha } (\Omega )\)). These estimates improve on general density theorems for restricted discrete series through the dependence on the stabilizers, while recovering in part sharp results for \(G ={\mathrm {PSU}}(1, 1)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \subset {\mathbb {C}}^d\) be a bounded symmetric domain, realized as a symmetric space G/K of a semi-simple Lie group G with trivial center and a maximal compact subgroup \(K \le G\). For \(\alpha > d' - 1\), with \(d'\) being the genus of \(\Omega \), the associated weighted Bergman space \( A^2_{\alpha } := A^2_{\alpha } (\Omega )\) is the closed subspace of holomorphic functions in the weighted \(L^2\)-space
where \(\mu _{\alpha }\) is a quasi-invariant probability measure on \(\Omega \), cf. Sect. 5 for precise definitions. It is a reproducing kernel Hilbert space, whose kernel will be denoted by
The group G acts unitarily on \(A^2_{\alpha } (\Omega )\) via the holomorphic discrete series, given by
where \(J_{g^{-1}}\) denotes the complex Jacobian of the action of \(g^{-1}\) on \(\Omega \). If \(\alpha /d'\) is non-integral, then the action \(\pi _{\alpha }\) determines only a projective unitary representation on \(A^2_{\alpha } (\Omega )\) due to the ambiguity of the power \(J_{g^{-1}}( w)^{\alpha / d'}\) in (1.1). For any \(\alpha > d' - 1\), the (projective) representation \(\pi _{\alpha }\) is irreducible and square-integrable; its formal dimension will be denoted by \(d_{\pi _{\alpha }} > 0\).
1.1 Density conditions
The orthogonality relations for discrete series \((\pi _{\alpha }, A^2_{\alpha })\) yield that
In particular, the identity (1.2) implies that any orbit \(\pi _{\alpha } (G) \eta \) of a non-zero \(\eta \in A^2_{\alpha } (\Omega ) \) is overcomplete, i.e., it contains proper subsystems that are still complete. Conditions on a discrete index set \(\Lambda \subset G\) under which a subsystem \(\pi _{\alpha }(\Lambda ) \eta \) remains complete in \(A^2_{\alpha } (\Omega )\) are generally referred to as density conditions and have been studied in complex and harmonic analysis, mathematical physics and representation theory, see, e.g., [4, 6, 14, 16, 26, 33, 38, 40].
A prototypical example of a density condition is given by the following theorem, which is a special case of a general result for unimodular groups, cf. [1, 2, 4, 9, 22].
Theorem 1.1
(Density theorem) Let \(\Gamma \le G\) be a lattice with (finite) co-volume \({{\,\mathrm{vol}\,}}(G/\Gamma ).\)
-
(i)
If there exists a cyclic vector \(\eta \in A^2_{\alpha } (\Omega )\) for \(\pi _{\alpha } |_{\Gamma },\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \le 1.\)
-
(ii)
If there exists a separating vector \(\eta \in A^2_{\alpha } (\Omega )\) for \(\pi _{\alpha } |_{\Gamma },\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \ge 1.\)
(The quantity \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }}\) is independent of the choice of Haar measure on G.)
Theorem 1.1 is a well-known consequence of the coupling and dimension theory for von Neumann algebras and the corresponding Atiyah–Schmid formula [1, 2] for the (scalar-valued) dimension
of \(A^2_{\alpha }(\Omega )\) as a Hilbert module over the (twisted) group von Neumann algebra \({\mathrm{VN}}_{\sigma } (\Gamma )\).
For an elementary proof of Theorem 1.1 based on frame and representation theory, cf. [38].
The density conditions provided by Theorem 1.1 are sharp in the sense that for any lattice \(\Gamma \le G\) satisfying \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \le 1\) (resp. \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \ge 1\)) there exists \(\eta \in A^2_{\alpha } (\Omega )\) being a cyclic vector (resp. separating vector). Converse statements of this type can also be found in (or deduced from) the aforementioned papers [1, 2, 4, 9, 22, 38].
1.2 Coherent states
The density conditions provided by Theorem 1.1 are generally not optimal for the cyclicity or separateness of one specific vector. For example, for the group \(G = {\mathrm {PSU}}(1,1) = {\mathrm {SU}}(1,1) / \{-I, I \}\) acting on the unit disk \({\mathbb {D}} \subset {\mathbb {C}}^1\) and \(\eta = k^{(\alpha )}_z\) being the Bergman kernel function of a fixed \(z \in {\mathbb {D}}\), the following density conditions involving the (finite) stabilizer \(\Gamma _z := \{ \gamma \in \Gamma : \gamma \cdot z = z \}\) of a lattice \(\Gamma \le G\) were shown in [16, 34]:
In fact, it was recently shown in [14] that \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} = |\Gamma _z|^{-1}\) is also sufficient for \(\pi _{\alpha } (\Gamma ) k^{(\alpha )}_z\) to be complete in \(A^2_{\alpha } ({\mathbb {D}})\), so that the range \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \le |\Gamma _z|^{-1}\) provides a characterization of the completeness of the system \(\pi _{\alpha } (\Gamma ) k^{(\alpha )}_z\) in \(A^2_{\alpha } ({\mathbb {D}})\).
An orbit \(\pi _{\alpha } (G) k_{z}^{(\alpha )}\) of a Bergman kernel function \(k_{z}^{(\alpha )}\) is sometimes referred to as a coherent state system, see, e.g., [23, 26, 28, 32, 33, 35, 37]. The aim of this paper is to derive density conditions on a lattice \(\Gamma \le G\) for associated subsystems \(\pi _{\alpha } (\Gamma ) k_z^{(\alpha )}\) to be complete.
The first main result obtained is the following theorem.
Theorem 1.2
Let \(\Gamma \le G\) be a lattice and let \(\Gamma _z := \{ \gamma \in \Gamma : \gamma \cdot z = z \}\) be the (finite) stabilizer of a point \(z \in \Omega \). For arbitrary \(\alpha > d' - 1,\)
-
(i)
If \(k^{(\alpha )}_z \in A^2_{\alpha } (\Omega )\) is a cyclic vector for \(\pi _{\alpha } |_{\Gamma },\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \le |\Gamma _z|^{-1}.\)
-
(ii)
If \(k^{(\alpha )}_z \in A^2_{\alpha } (\Omega )\) is a \(p_z\)-separating vector for \(\pi _{\alpha } |_{\Gamma },\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \ge |\Gamma _z|^{-1}.\)
The above mentioned results of [14, 16, 34] for \(G = {\mathrm {PSU}}(1,1)\) show that assertion (i) of Theorem 1.2 is sharp, in the sense that the upper bound \(|\Gamma _z|^{-1}\) for \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }}\) cannot be replaced by a smaller value. In addition, this estimate is stronger than the automorphic weight bound for the completeness of coherent state subsystems obtained in [26], which is only valid conditional the existence of adequate modular forms and is weaker than the density condition provided by Theorem 1.1 (hence, the one of Theorem 1.2) in the case of \(G = {\mathrm {PSU}}(1,1)\), cf. [16, Lemma 5.3] and [38, Section 9.1.1] for a detailed discussion.
In assertion (ii) of Theorem 1.2, the vector \(k_z^{(\alpha )}\) being a \(p_z\)-separating vector for \(\pi _{\alpha } |_{\Gamma }\) means that it is a separating vector for the reduced von Neumann algebra \(p_z \pi _{\alpha } (\Gamma )'' p_z\) for a projection \(p_z \in \pi _{\alpha } (\Gamma )''\) determined by the stabilizer \(\Gamma _z\). In the particular case of a trivial stabilizer \(\Gamma _z\), the projection \(p_z\) equals the identity operator \({{\,\mathrm{id}\,}}_{{\mathcal {H}}_{\pi }}\), and assertion (ii) recovers the corresponding estimate of Theorem 1.2. The use of \(p_z\)-separating vectors is an essential ingredient in the main result on Riesz sequences (see Theorem 1.3). Assertion (ii) seems to be new even for the special case of \(G = {\mathrm {PSU}}(1,1)\).
For the proof of Theorem 1.2, the coupling and dimension theory for von Neumann algebras is used. In particular, the technique for obtaining part (i) resembles the recent approach of [14] for \(G = {\mathrm {PSU}}(1,1)\) in which the von Neumann dimension \(\dim _{{\mathrm{VN}}_{\sigma } (\Gamma )}({\mathrm{VN}}_{\sigma } (\Gamma )k_z^{(\alpha )})\) of the Hilbert submodule \({\mathrm{VN}}_{\sigma } (\Gamma )k_z^{(\alpha )}\) is compared to the von Neumann dimension \(\dim _{{\mathrm{VN}}_{\sigma } (\Gamma )} (A^2_{\alpha })\) of the Bergman space \(A^2_{\alpha } (\Omega )\) itself. This comparison is the key to improve the conditions of Theorem 1.1 for one specific vector. It should be mentioned that for obtaining part (i) of Theorem 1.2 several technical modifications are required compared to [14], where certain ad hoc arguments for \({\mathrm {PSU}}(1,1)\) are used, such as cyclicity of the stabilizer subgroups. The proof of assertion (ii) follows an approach dual to that of assertion (i).
1.3 Frames and Riesz sequences
While the notions of cyclic and separating vectors are common in operator algebras and representation theory, the (stronger) notions of frames (resp. sampling sets) and Riesz sequences (resp. interpolation sets) are more common in complex and harmonic analysis, see, e.g., [41, 44]. The system \(\pi _{\alpha } (\Gamma ) k_{z}^{(\alpha )}\) is called a frame for \(A^2_{\alpha } (\Omega )\) if
for some constants \(0<A\le B<\infty \), and it is called a Riesz sequence in \(A^2_{\alpha } (\Omega )\) if
The lower bound in (1.3) (resp. (1.4)) implies, in particular, that a frame (resp. Riesz sequence) \(\pi _{\alpha } (\Gamma ) k_{z}^{(\alpha )}\) is complete (resp. linear independent) in \(A^2_{\alpha } (\Omega )\). For the lattice orbit \(\pi _{\alpha } (\Gamma ) k_{z}^{(\alpha )}\) to be a Riesz sequence, it is therefore necessary that the stabilizer \(\Gamma _z\) is trivial; otherwise, only the reduced system \((\pi _{\alpha } (\gamma ) k_{z}^{(\alpha )})_{\gamma \in \Lambda _z}\), where \(\Lambda _z\) is a set of representatives of \(\Gamma / \Gamma _z\), can be expected to satisfy the corresponding Riesz inequalities (1.4).
The following result is obtained as a consequence of Theorem 1.2.
Theorem 1.3
Let \(\Gamma \le G\) be a lattice and let \(\Gamma _z := \{ \gamma \in \Gamma : \gamma \cdot z = z \}\) be the (finite) stabilizer of a point \(z \in \Omega \). Let \(\Lambda _z \subseteq \Gamma \) be a set of representatives of \(\Gamma / \Gamma _z\). For arbitrary \(\alpha > d' - 1,\)
-
(i)
If \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_z)_{\gamma \in \Gamma }\) is a frame for \(A^2_{\alpha } (\Omega ),\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \le |\Gamma _z|^{-1}.\)
-
(ii)
If \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_z)_{\gamma \in \Lambda _z}\) is a Riesz sequence in \(A^2_{\alpha } (\Omega ),\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi _{\alpha }} \ge |\Gamma _z|^{-1}.\)
Part (i) of Theorem 1.3 is an immediate consequence of Theorem 1.2. For part (ii), it is shown that the Riesz property of \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_z)_{\gamma \in \Lambda _z}\) implies that \(k^{(\alpha )}_z\) is a \(p_z\)-separating vector. This implication is non-trivial and was shown for trivial stabilizers in [38]. Proposition 3.5 is an extension of [38, Proposition 5.2] to non-trivial stabilizers and is a key result of this paper.
For \(G = {\mathrm {PSU}}(1,1)\) acting on the unit disk \({\mathbb {D}} \subset {\mathbb {C}}^1\), the papers [16, 40] provide a complete characterization of the frame and Riesz property of systems \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_z)_{\gamma \in \Lambda _z}\) in \(A^2_{\alpha } ({\mathbb {D}})\); see [38, Section 9.1] for a detailed discussion. In particular, the results in [16, 40] show that the density conditions of Theorem 1.3 are strict inequalities. The techniques used in the present paper seem not to be able to yield strict versions of Theorem 1.3. Lastly, it is expected that complementing sufficient conditions to Theorem 1.3 do not hold for domains \(\Omega \subset {\mathbb {C}}^d\) in dimension \(d > 1\); see [13, 24] for some possible generalizations of the results [40] to the unit ball. For the failure of sufficiency of the lattice density conditions [4, 38] underlying Theorem 1.1 for coherent states in the Bargmann–Fock spaces on \({\mathbb {C}}^d\) with \(d > 1\), see, e.g., [25, 31].
1.4 Extensions
For the sake of simplicity and comparison, the results in the introduction have only been stated for connected semi-simple Lie groups G with a trivial center. However, the results in the main part of this paper are also valid for groups having merely a finite center. A technical difficulty that arises when G has a non-trivial center is that the group von Neumann algebra associated with a lattice \(\Gamma \le G\) might no longer be a factor, i.e., it has a non-trivial center. In particular, this requires the use of center-valued rather than scalar-valued traces and von Neumann dimensions.
In addition to Theorems 1.2 and 1.3, this paper also provides new density conditions for general discrete series (i.e., possibly non-holomorphic discrete series) of semi-simple Lie groups in Theorems 4.5 and 4.6.
1.5 Organization
Section 2 provides general results on von Neumann algebras and associated Hilbert modules that will be used for the main results of this paper. Several preliminary results on discrete series representations and their restrictions to lattices will be presented in Sect. 3. These results are stated for general unimodular groups and may be of independent interest. Section 4 concerns results on discrete series and lattices that are specific for semi-simple Lie groups. Section 5 is devoted to the holomorphic discrete series representations and the proof of Theorems 1.2 and 1.3.
2 Hilbert modules associated to von Neumann algebras
This section concerns results on von Neumann algebras and Hilbert modules that will be exploited in subsequent sections. For the used background on these topics, see, e.g., [5, 15, 43].
2.1 GNS construction
Let \(B({\mathcal {H}})\) be the algebra of bounded operators on a Hilbert space \({\mathcal {H}}\). A unital \(*\)-subalgebra of \({\mathcal {H}}\) that is closed in the strong operator topology (SOT) is called a von Neumann algebra. We denote \(M' := \{ a \in B({\mathcal {H}}) : a b = b a, \; \forall b \in M \}\) for the commutant of M. A map between von Neumann algebras is called normal if it is strongly continuous on the unit ball. A von Neumann algebra is called finite if it admits a faithful normal tracial state, i.e., a normal linear functional \(\tau : M \rightarrow {\mathbb {C}}\) satisfying \(\tau (a^* a) > 0\) for all \(a \in M {\setminus } \{0\}\) and \(\tau (ab)=\tau (ba)\) for all \(a,b \in M\). Given such a trace \(\tau \), the pair \((M, \tau )\) is sometimes also called a tracial von Neumann algebra.
For a tracial von Neumann algebra \((M, \tau )\), an associated inner product is defined by
and the corresponding norm is \(\Vert a \Vert _{2, \tau } = \tau (a^* a)^{1/2}\). The Hilbert space completion of M with respect to \(\langle \cdot , \cdot \rangle _{\tau }\) is denoted by \(L^2 (M)\). The GNS representation allows to identify M with the subalgebra of \(B(L^2(M))\) of all operators given by left multiplication with M.
2.2 Center-valued trace
The center of a von Neumann algebra M is the intersection \({\mathcal {Z}}(M) := M \cap M'\). Given a tracial von Neumann algebra \((M, \tau )\), there exists a unique central-valued trace \(\mathrm{ctr}\) on M, i.e., a normal bounded linear map \(\mathrm{ctr}: M \rightarrow {\mathcal {Z}}(M)\) such that \(\mathrm{ctr}(ab) = \mathrm{ctr}(ba)\) for all \(a,b \in M\), \(\mathrm{ctr}(ba) = b \mathrm{ctr}(a)\) for all \(a \in M\) and \(b \in {\mathcal {Z}}(M)\), \(\mathrm{ctr}(a) = a\) for all \(a \in {\mathcal {Z}}(M)\), and \(\mathrm{ctr}(a^* a) = 0\) implies \(a = 0\) for all \(a \in M\). If M is a factor, i.e., \({\mathcal {Z}}(M) = {\mathbb {C}} {{\,\mathrm{id}\,}}\), then \(\mathrm{ctr}= \tau \).
2.3 Hilbert modules
Let \((M, \tau )\) be a tracial von Neumann algebra. A (left) Hilbert M-module is a Hilbert space \({\mathcal {H}}\) together with a normal unital \(*\)-homomorphism \(\rho : M \rightarrow B({\mathcal {H}})\). A Hilbert M-module \({\mathcal {H}}\) is called faithful if \(\rho \) is injective. In general, we shall suppress \(\rho \) in the notation and denote the action of M on \({\mathcal {H}}\) by \(a \eta = \rho (a) \eta \). The Hilbert space \(L^2(M)\) forms an M-module, sometimes called the standard M-module.
The direct sum of countable many copies of \(L^2 (M)\) is a left M-module, and will be denoted by \( L^2 (M) \otimes \ell ^2 ({\mathbb {N}})\). Any separable Hilbert M-module \({\mathcal {H}}\) is isomorphic to a submodule of \(L^2 (M) \otimes \ell ^2 ({\mathbb {N}})\), see, e.g., [15, Proposition 2.1.2].
2.4 Cyclic and separating vectors
Let \({\mathcal {H}}\) be a Hilbert M-module. A vector \(\eta \in {\mathcal {H}}\) is called separating if \(a \eta = 0\) with \(a \in M\) implies \(a = 0\), and \(\eta \) is cyclic if \(M \eta \) is dense in \({\mathcal {H}}\). Note that separating vectors can only exist if \({\mathcal {H}}\) is faithful.
For a projection \(p \in M\), a vector \(\eta \in p {\mathcal {H}}\) is called p-separating if \(a \in Mp\) and \(a \eta = 0\) implies that \(a = 0\). Note that if \(p = {{\,\mathrm{id}\,}}\), then a p-separating vector is just a separating vector for M. In general, it can be shown that a vector \(\eta \) is p-separating if and only if \(\eta \) is separating for the reduced von Neumann algebra pMp. Indeed, if \(\eta \) is separating for pMp and \(a p \eta = 0\) for \(a \in M\), then for all partial isometries \(u \in M\) with \(uu^*\le p\) we have \(uap \eta = 0\) and hence \(uap =0\). This suffices to conclude that \(qa p = 0\), where q is the central support of p (see, e.g., [43]). But \(qap = aqp = ap\) and so \(ap=0\).
2.5 Von Neumann dimension
Henceforth, assume M is a finite von Neumann algebra. Let \({\mathcal {H}}\) be a separable Hilbert M-module, viewed as a submodule of \(L^2 (M) \otimes \ell ^2 ({\mathbb {N}})\), and let p be the corresponding projection of \(L^2 (M) \otimes \ell ^2 ({\mathbb {N}})\) onto \({\mathcal {H}}\). Then p is in the commutant \(M' \otimes B(\ell ^2({\mathbb {N}}))\) of M in \(B(L^2 (M) \otimes \ell ^2 ({\mathbb {N}}))\). The commutant \(M' \otimes B(\ell ^2({\mathbb {N}}))\) is semi-finite, hence admits a normal, semi-finite center-valued trace \(\Phi \), see, e.g., [43, Theorem II.3.4]. The center-valued von Neumann dimension of \({\mathcal {H}}\) is defined by
Its definition is independent of the choice of projection p, cf. [4] for more details.
Let \({\mathcal {H}}_1\) and \({\mathcal {H}}_2\) be Hilbert M-modules (considered as submodules of \(L^2 (M) \otimes \ell ^2 ({\mathbb {N}})\)), with corresponding projections \(p_1\) and \(p_2\), respectively. If \({\mathcal {H}}_1\) is isomorphic to a submodule of \({\mathcal {H}}_2\), then \(\mathrm{cdim}_M ({\mathcal {H}}_1) \le \mathrm{cdim}_M ({\mathcal {H}}_2)\), and if \({\mathcal {H}}_1\) is isomorphic to \({\mathcal {H}}_2\), then \(\mathrm{cdim}_M ({\mathcal {H}}_1) = \mathrm{cdim}_M ({\mathcal {H}}_2)\). If \(p_1\) and \(p_2\) are finite projections, then \({\mathcal {H}}_1\) is isomorphic to a submodule of \({\mathcal {H}}_2\) if and only if \(\mathrm{cdim}_M({\mathcal {H}}_1) \le \mathrm{cdim}_M({\mathcal {H}}_2)\), and \(\mathrm{cdim}_M({\mathcal {H}}_1) = \mathrm{cdim}_M({\mathcal {H}}_2)\) if and only if \({\mathcal {H}}_1\) and \({\mathcal {H}}_2\) are isomorphic as M-modules. For proofs, see [9, Proposition 3.2.4], [4, Proposition 2] and [6, Proposition 2.3]
The center-valued dimension \(\mathrm{cdim}_M ({\mathcal {H}})\) coincides with the so-called coupling operator for Mp, see, e.g., [9, Proposition 3.2.5] and [4, Proposition 1]. The following fundamental property of the coupling operator (center-valued von Neumann dimension) is well-known, among others, it can be found in [43, Proposition V.3.13].
Theorem 2.1
Let M be a finite von Neumann algebra and let \({\mathcal {H}}\) be a separable M-module.
-
(i)
M admits a cyclic vector if, and only if, \(\mathrm{cdim}_M ({\mathcal {H}}) \le {{\,\mathrm{id}\,}}.\)
-
(ii)
M admits a separating vector if, and only if, \(\mathrm{cdim}_M ({\mathcal {H}}) \ge {{\,\mathrm{id}\,}}.\)
Moreover, if the equivalent statements in (ii) hold, then \({\mathcal {H}}\) is faithful.
Define the anti-linear isometry \(J: L^2(M) \rightarrow L^2(M)\) determined by \(a \mapsto a^*, \; a \in M\). J is known as the modular conjugation. For \(a \in M\) and \(\eta \in L^2(M)\) we set \(\eta a = J a^*J \eta \). The estimates provided by the following two results will be essential in the sequel.
Proposition 2.2
Let M be a finite von Neumann algebra and let \({\mathcal {H}}\) be a separable M-module. Let \(\eta \in {\mathcal {H}}\) and let \(p \in M\) be such that \(p \eta = \eta \). Then
Proof
Without loss of generality, it may be assumed that \({\mathcal {H}}= \overline{ M \eta }\) and in particular that \({\mathcal {H}}\) contains a cyclic vector. Therefore we may identify \({\mathcal {H}}\) with a sub-M-module of \(L^2(M)\). Let \(q \in M\) be the support projection of \(\eta \in L^2(M)\); \(q \in M\) is the projection onto \(\overline{ \eta M}\). As \(p \eta = \eta \) we have \(q \le p\) and so \(\mathrm{ctr}(q) \le \mathrm{ctr}(p)\). A direct calculation gives
Hence, \(\mathrm{cdim}_M( {\mathcal {H}}) = \Phi (JqJ) = \mathrm{ctr}(q)\), which concludes the proof. \(\square \)
Proposition 2.3
Let M be a finite von Neumann algebra and let \({\mathcal {H}}\) be a separable M-module. If there exists a p-separating vector in \(p{\mathcal {H}},\) then \(\mathrm{cdim}_M ({\mathcal {H}}) \ge \mathrm{ctr}(p)\).
Proof
If \(p{\mathcal {H}}\) admits a p-separating vector, then that vector is clearly separating for pMp. This implies that \(\mathrm{cdim}_{pMp} (p{\mathcal {H}}) \ge {{\,\mathrm{id}\,}}\) by Theorem 2.1. The result follows therefore directly from the well-known identity
see, e.g., [9, Proposition 3.2.5(h)] (or [43, Section V], [5, Section III.6]). \(\square \)
3 Discrete series representations restricted to lattices
Throughout, G denotes a second countable unimodular group with a fixed left Haar measure \(\mu _G\). The identity element in G is denoted by \(e_G\).
3.1 Discrete series and cocycles
A projective unitary representation \((\pi , {\mathcal {H}}_{\pi })\) of G on a (complex) Hilbert space \({\mathcal {H}}_{\pi }\) is a map \(\pi : G \rightarrow {\mathcal {U}}({\mathcal {H}}_{\pi })\) such that \(\pi (e_G) = {{\,\mathrm{id}\,}}_{{\mathcal {H}}_{\pi }}\) and
for some \(\sigma : G \times G \rightarrow {\mathbb {T}}\). The function \(\sigma \) can be shown to satisfy the identities
Any projective representation will be assumed to be measurable, i.e., the map \(x \mapsto \langle f, \pi (x) g \rangle \) is Borel measurable for all \(f, g \in {\mathcal {H}}_{\pi }\). This implies, in particular, that the function \(\sigma \) appearing in (3.1) is Borel measurable on \(G \times G\). It is called a cocycle and a projective unitary representation with cocycle \(\sigma \) will simply be called a \(\sigma \)-representation. A cocycle \(\sigma \) is called a coboundary if there exists \(u : G \rightarrow {\mathbb {T}}\) such that
An element \(x \in G\) is called \(\sigma \) -regular in G if \(\sigma (x,y) = \sigma (y,x)\) for all \(y \in Z(x)\), where \(Z(x) := \{ y \in G : yx = xy \}\) is the centralizer of x in G. If x is \(\sigma \)-regular, then \(y x y^{-1}\) is \(\sigma \)-regular for all \(y \in G\), and the associated conjugacy class \(C_x := \{ y x y^{-1} : y \in G\}\) is said to be \(\sigma \)-regular.
A \(\sigma \)-representation \((\pi , {\mathcal {H}}_{\pi })\) is square-integrable if there exists \(\eta \in {\mathcal {H}}_{\pi }{\setminus } \{0\}\) such that \(\int _G |\langle \eta , \pi (x) \eta \rangle |^2\; d\mu _G (x) < \infty \). For an irreducible, square-integrable \(\pi \), there exists a unique \(d_{\pi } > 0\), called the formal dimension of \(\pi \), such that
for all \(f, \eta \in {\mathcal {H}}_{\pi }\). An irreducible, square-integrable \(\pi \) is called a discrete series\(\sigma \)-representation.
For more background on (projective) discrete series representations, see, e.g., [29, 36].
3.2 Lattices
A discrete subgroup \(\Gamma \le G\) is called a lattice if \(G/\Gamma \) admits a finite G-invariant Radon measure. For a lattice \(\Gamma \le G\) and cocycle \(\sigma : \Gamma \times \Gamma \rightarrow {\mathbb {T}}\), the associated twisted left-regular representation \((\lambda _{\Gamma }^{\sigma }, \ell ^2 (\Gamma ))\) of \(\Gamma \) is given by
The representations \((\pi |_{\Gamma }, {\mathcal {H}}_{\pi })\) and \((\lambda _{\Gamma }^{\sigma }, \ell ^2 (\Gamma ))\) satisfy the intertwining property
where \(C_{\eta } f(\gamma ') = \langle f, \pi (\gamma ') \eta \rangle \) for a vector \(\eta \in {\mathcal {H}}_{\pi }\) such that \( C_{\eta } f \in \ell ^2 (\Gamma )\).
A Bessel vector is an element \(\eta \in {\mathcal {H}}_{\pi }\) such that the associated map
is bounded. The space \({\mathcal {B}}_{\pi }\) of Bessel vectors is norm dense in \({\mathcal {H}}_{\pi }\), see, e.g., [38, Lemma 7.1].
The restriction \(\pi |_{\Gamma }\) and associated \(\lambda _{\Gamma }^{\sigma }\) are generally related as follows:
Lemma 3.1
Let \((\pi , {\mathcal {H}}_{\pi })\) be a discrete series \(\sigma \)-representation of G and let \(\Gamma \le G\) be a lattice. There exists an index set I and an isometry \(U : {\mathcal {H}}_{\pi }\rightarrow \oplus _{i \in I} \ell ^2 (\Gamma )\) intertwining \(\pi |_{\Gamma }\) and \(\oplus _{i \in I} \lambda _{\Gamma }^{\sigma },\) i.e.,
Proof
Let \({\mathcal {I}}\) be the set of all pairs \(({\mathcal {H}}, U)\) with \({\mathcal {H}}\) a closed \(\pi |_{\Gamma }\)-invariant subspace of \({\mathcal {H}}_{\pi }\) and \(U: {\mathcal {H}} \rightarrow \oplus _{i \in I} \ell ^2(\Gamma )\) an isometry into a direct sum over copies of \(\ell ^2 (\Gamma )\) indexed by some set \(I = I({\mathcal {H}}, U)\). Then \({\mathcal {I}}\) carries the order \(({\mathcal {H}}, U) \le ({\mathcal {K}}, V)\) if \({\mathcal {H}} \subseteq {\mathcal {K}}, I({\mathcal {H}}, U) \subseteq I({\mathcal {K}}, V)\) and V extends U. Every linear chain \(({\mathcal {H}}_i, U_i)\) in \({\mathcal {I}}\) has an upper bounded \((\overline{ \oplus _i {\mathcal {H}}_i}, U)\) with U the unique map such that \(U\vert _{{\mathcal {H}}_i} = U_i\). By Zorn’s lemma, \({\mathcal {I}}\) must contain a maximal element \(I = ({\mathcal {K}}, V)\). For completing the proof, it remains therefore to show that \({\mathcal {K}} = {\mathcal {H}}_{\pi }\) and that \({\mathcal {I}}\) is non-empty. The next paragraph shows both.
Assume towards a contradiction that \({\mathcal {K}}^\perp \) is a non-zero \(\pi |_{\Gamma }\)-invariant subspace of \({\mathcal {H}}_{\pi }\). Let \(p: {\mathcal {H}}_{\pi }\rightarrow {\mathcal {K}}^\perp \) be the orthogonal projection onto \({\mathcal {K}}^\perp \), so that \(p \in \pi (\Gamma )'\). Since the Bessel vectors \({\mathcal {B}}_{\pi }\) are norm dense in \({\mathcal {H}}_{\pi }\), there exists \(\eta \in {\mathcal {B}}_\pi \) such that \(p \eta \not = 0\). Clearly, \(p \eta \in {\mathcal {B}}_\pi \), i.e., \(C_{p \eta }\) is bounded from \({\mathcal {H}}_{\pi }\) into \(\ell ^2(\Gamma )\). Furthermore, the intertwining property \(\lambda _{\Gamma }^{\sigma } (\gamma ) C_{p \eta } = C_{p \eta } \pi (\gamma )\) holds for all \(\gamma \in \Gamma \), showing that the kernel \(\ker (C_{p \eta })\) is \(\pi |_{\Gamma }\)-invariant. Since \({\mathcal {K}} \subseteq \ker (C_{p \eta })\) by \(\pi |_{\Gamma }\)-invariance of \({\mathcal {K}}\), it follows that \(\ker (C_{p \eta })^\perp \subseteq {\mathcal {K}}^\perp \). Let \(C_{p \eta } = U \vert C_{p \eta } \vert \) be the polar decomposition. Then U forms a partial isometry from \({\mathcal {K}}^\perp \) into \(\ell ^2(\Gamma )\) with support \(\ker (C_{p \eta })^\perp \) intertwining \(\pi |_{\Gamma }\) and \(\lambda _{\Gamma }^{\sigma }\). Therefore, \(({\mathcal {K}} \oplus \ker (U)^\perp , V \oplus U)\) is larger than \(({\mathcal {K}}, V)\), which contradicts the maximality of \(({\mathcal {K}}, V)\). \(\square \)
3.3 Twisted von Neumann algebras
For a discrete series \(\sigma \)-representation \((\pi , {\mathcal {H}}_{\pi })\) of G and a lattice \(\Gamma \le G\), the associated von Neumann algebra is given by \(\pi (\Gamma ) '' = (\pi (\Gamma )')'\). Similarly, the von Neumann algebra generated by \(\lambda _{\Gamma }^{\sigma } (\Gamma ) \subset {\mathcal {B}}(\ell ^2(\Gamma ))\) is given by \({\mathrm{VN}}_{\sigma } (\Gamma ):= \lambda _{\Gamma }^{\sigma } (\Gamma )''\). It is called the (twisted) group von Neumann algebra. A faithful normal trace on \({\mathrm{VN}}_{\sigma } (\Gamma )\) is given by
where \(\delta _e \in \ell ^2 (\Gamma )\) denotes the indicator at the identity in \(\Gamma \). The GNS construction \(L^2 ({\mathrm{VN}}_{\sigma } (\Gamma ))\) relative to \(\tau \) is canonically isomorphic to \(\ell ^2 (\Gamma )\).
It should be mentioned that for a unitary \(\sigma \)-representation \(\pi \) of G, its restriction \(\pi |_{\Gamma }\) to a lattice \(\Gamma \le G\) could be (equivalent to) a genuine unitary representation, so that \(\sigma : \Gamma \times \Gamma \rightarrow {\mathbb {T}}\) is trivial. The algebra \({\mathrm{VN}}_{\sigma } (\Gamma )\) is then an ordinary (non-twisted) group von Neumann algebra. However, for the purposes of the present paper, it is essential to treat possible twisted group von Neumann algebras, see, e.g., [14, Appendix A] for relevant examples.
The following simple lemma will be used repeatedly below.
Lemma 3.2
Let \(\Lambda \subset \Gamma \) be a finite group. Suppose that \(\sigma (\gamma , \gamma ') = u(\gamma ) u(\gamma ') \overline{u(\gamma \gamma ') },\) where \(\gamma , \gamma ' \in \Lambda ,\) for some \(u: \Lambda \rightarrow {\mathbb {T}}.\) Then
is a projection in \(\pi (\Gamma )'' \subseteq {\mathcal {B}} ({\mathcal {H}}_{\pi }).\)
Proof
For p being idempotent, note that a direct calculation entails
For p being self-adjoint, the assumption that \(\sigma \) is a coboundary on \(\Lambda \times \Lambda \) yields that
for \(\gamma \in \Lambda \). Hence,
This concludes the proof. \(\square \)
Proposition 3.3
Let \((\pi , {\mathcal {H}}_{\pi })\) be a discrete series \(\sigma \)-representation of G and let \(\Gamma \le G\) be a lattice. Then for every \(T \in \pi (\Gamma )'',\) there exists \(c \in \ell ^2 (\Gamma )\) such that
In addition, suppose that \(\Lambda \subseteq \Gamma \) is a finite subgroup such that there exists \(u: \Lambda \rightarrow {\mathbb {C}}\) for which \(\sigma (\gamma , \gamma ') = u(\gamma ) u(\gamma ') \overline{u(\gamma \gamma ')}\) for all \(\gamma , \gamma ' \in \Lambda .\) Let
Then, if \(c = (c_\gamma )_{\gamma \in \Gamma } \in \ell ^2(\Gamma )\) is a sequence satisfying (3.4) for \(T \in \pi (\Gamma )'',\) then the sequence \(c' = (c_\gamma ' )_{\gamma \in \Gamma }\) defined by
satisfies \(Tp \eta = \sum _{\gamma \in \Gamma } c_\gamma ' \pi (\gamma ) \eta \) for all \(\eta \in {\mathcal {B}}_\pi .\)
Proof
By Lemma 3.1, it may be assumed that \({\mathcal {H}}_{\pi }\) is a closed subspace of \(\oplus _{i \in I} \ell ^2(\Gamma )\) and that \(\pi |_{\Gamma }\) equals \(\oplus _{i \in I} \lambda _{\Gamma }^{\sigma }\) for some index set I. Note that the Bessel vectors of \(\pi \) remain Bessel vectors under this identification. Let \(p_\pi \) be the orthogonal projection of \(\oplus _{i \in I} \ell ^2(\Gamma )\) onto \({\mathcal {H}}_{\pi }\). Then
Let \(\eta \in {\mathcal {B}}_\pi \) and let \(T \in {\mathrm{VN}}_{\sigma } (\Gamma )\). By Kaplansky’s density theorem, there exists a bounded net \((T_{\alpha })_\alpha \) in \( \mathrm{span} \, \lambda _{\Gamma }^{\sigma } (\Gamma )\) that converges to T strongly. It follows, using boundedness of the net in case I is infinite, that \(\oplus _{i \in I} T_\alpha \rightarrow \oplus _{i \in I} T\) strongly. The operators T and \(T_{\alpha }\) can be written as
where each \((c_{\alpha , \gamma })_{\gamma \in \Gamma }\) is finite supported and the first sum converges in the \(L^2\)-topology (see Sect. 2.1). We have
Therefore, for \(\eta \in {\mathcal {B}}_\pi \) and \(\eta ' \in \oplus _{i \in I} \ell ^2(\Gamma )\), using that \( (\langle \pi (\gamma ) \eta , \eta ' \rangle )_{\gamma \in \Gamma } \in \ell ^2(\Gamma )\), it follows that
On the other hand, certainly \(\langle (\oplus _{i \in I }T_\alpha ) \eta , \eta ' \rangle \rightarrow \langle (\oplus _{i \in I } T) \eta , \eta ' \rangle \) as \((\oplus _{i \in I }T_\alpha ) \rightarrow (\oplus _{i \in I }T)\) strongly. This shows that \(\sum _{\gamma \in \Gamma } c_{\gamma } \pi (\gamma ) \eta = (\oplus _{i \in I } T) \eta \) for every \(\eta \in {\mathcal {B}}_\pi \).
For the additional part, suppose that \(\sigma (\gamma , \gamma ') = u(\gamma ) u(\gamma ') \overline{u(\gamma \gamma ')}\) for all \(\gamma , \gamma ' \in \Lambda \). Define the projection \(q = \vert \Lambda \vert ^{-1} \sum _{\gamma ' \in \Lambda } \overline{u(\gamma ')} \lambda _{\Gamma }^{\sigma }(\gamma ')\). Since there exists an equivalence of \(\sigma \)-representations \(\pi \simeq (\oplus _{i \in I} \lambda _{\Gamma }^{\sigma }) p_\pi \), it follows that \(p \simeq (\oplus _{i \in I} q) p_\pi \). Therefore, \((\oplus _{i \in I }T) p \simeq (\oplus _{i \in I } T q) p_\pi \), with
The proof can now be completed as follows. The previous equality gives an expansion for Tq of the form (3.5) but with coefficients \(c_\gamma \) replaced by \(c_\gamma ' = \frac{1}{|\Lambda |}\sum _{\gamma ' \in \Lambda } c_{\gamma \gamma '} \overline{u((\gamma ')^{-1})} \sigma (\gamma \gamma ', (\gamma ')^{-1})\). Repeating the first part of the proof again for this expansion yields the desired result. \(\square \)
The proof of the first part of Proposition 3.3 is an adaption of [38, Theorem 5.1], and provides an extension of that result to possibly non-factor von Neumann algebras. The additional part will play an important role below
3.4 Hilbert modules
If \((\pi , {\mathcal {H}}_{\pi })\) is a discrete series \(\sigma \)-representation and \(\eta \in {\mathcal {H}}_{\pi }\) is a unit vector, then the orthogonality relations (3.3) imply that the linear mapping
is an isometry that intertwines \(\pi \) and the twisted left-regular representation \(\lambda _G^{\sigma }\) on \(L^2 (G)\), defined by
In particular, this shows that \(\pi \) is unitarily equivalent to a subrepresentation of \(\lambda _G^{\sigma }\).
For a lattice \(\Gamma \le G\), the restriction \(\lambda _G^{\sigma } |_{\Gamma }\) is unitarily equivalent to the tensor product \(\lambda _{\Gamma }^{\sigma } \otimes {{\,\mathrm{id}\,}}\) acting on \(\ell ^2 (\Gamma ) \otimes L^2 (F)\), where \(F \subset G\) is a fundamental domain of \(\Gamma \le G\). Therefore, the von Neumann algebra \(\lambda _G^{\sigma } (\Gamma )'' \subset B(L^2 (G))\) is isomorphic to \({\mathrm{VN}}_{\sigma } (\Gamma )\), and the image space \(V_{\eta } ({\mathcal {H}}_{\pi }) \le L^2 (G)\) is a submodule of the Hilbert \({\mathrm{VN}}_{\sigma } (\Gamma )\)-module \(L^2 (G) \cong \ell ^2 (\Gamma ) \otimes L^2 (F)\). The representation space \({\mathcal {H}}_{\pi }\) forms thus a Hilbert \({\mathrm{VN}}_{\sigma } (\Gamma )\)-module with action defined by
for \(T \in {\mathrm{VN}}_{\sigma } (\Gamma )\) and \(f \in {\mathcal {H}}_{\pi }\).
The following result summarizes parts of the above discussion and determines the center-valued von Neumann dimension of \({\mathcal {H}}_{\pi }\) as a Hilbert \({\mathrm{VN}}_{\sigma } (\Gamma )\)-module, cf. [4, Theorem 1] and [6, Theorem 1.3] for further details.
Theorem 3.4
[4, 6] Let \((\pi , {\mathcal {H}}_{\pi })\) be a discrete series \(\sigma \)-representation of G of formal dimension \(d_{\pi } > 0\). Suppose \(\Gamma \le G\) is a lattice. Then \(\pi |_{\Gamma }\) extends to give \({\mathcal {H}}_{\pi }\) the structure of a Hilbert \({\mathrm{VN}}_{\sigma } (\Gamma )\)-module. The center-valued von Neumann dimension \(\mathrm{cdim}_{{\mathrm{VN}}_{\sigma } (\Gamma )} ({\mathcal {H}}_{\pi })\) of \({\mathcal {H}}_{\pi }\) is given by the \(\sigma \)-twisted convolution operator on \(\ell ^2 (\Gamma ),\)
with kernel
where \(\eta \in {\mathcal {H}}_{\pi }\) is a unit vector and \(C_{\gamma }\) (resp. \(Z(\gamma ))\) denotes the conjugacy class (resp. centralizer) of \(\gamma \) in \(\Gamma \).
The center-valued von Neumann dimension will be computed for semi-simple Lie groups in Sect. 4.1.
3.5 Frames and Riesz sequences
Let \(\eta \in {\mathcal {H}}_{\pi }{\setminus } \{0\}\). A family \((\pi (\gamma ) \eta )_{\gamma \in \Gamma }\) is a frame for \({\mathcal {H}}_{\pi }\) if
for some constants \(0< A \le B < \infty \). If \((\pi (\gamma ) \eta )_{\gamma \in \Gamma }\) is a frame for \({\mathcal {H}}_{\pi }\), then \(\eta \) is clearly a cyclic vector for \(\pi |_{\Gamma }\). A family satisfying the upper bound in (3.6) is called a Bessel sequence in \({\mathcal {H}}_{\pi }\).
A family \((\pi (\gamma ) \eta )_{\gamma \in \Gamma }\) is a Riesz sequence in \({\mathcal {H}}_{\pi }\) if there exist constants \(0< A \le B < \infty \) such that
In particular, a Riesz sequence \((\pi (\gamma ) \eta )_{\gamma \in \Gamma }\) is a Bessel sequence and \({\mathbb {C}}\)-linearly independent. Hence, if the projective \(\Gamma \)-stabilizer of \(\eta \),
is non-trivial, then \((\pi (\gamma ) \eta )_{\gamma \in \Gamma }\) cannot be a Riesz sequence. For this reason, also the system \((\pi (\gamma ) \eta )_{\gamma \in \Lambda _{\eta }}\), where \(\Lambda _{\eta }\) is a set of representatives of \(\Gamma / \Gamma _{[\eta ]}\) will be considered. It is said to be a Riesz sequence if
Note that if \((\pi (\gamma ) \eta )_{\gamma \in \Lambda _{\eta }}\) is a Riesz sequence for some family \(\Lambda _{\eta }\) of coset representatives of \(\Gamma / \Gamma _{\eta }\), then it is a Riesz sequence for all such families.
Proposition 3.5
Let \((\pi , {\mathcal {H}}_{\pi })\) be a discrete series \(\sigma \)-representation of G and let \(\Gamma \le G\) be a lattice. Suppose that \(\eta \in {\mathcal {H}}_{\pi }{\setminus } \{0\}\) is such that \(\Gamma _{[\eta ]}\) is finite and let \(p_{\eta } := |\Gamma _{[\eta ]} |^{-1} \sum _{\gamma \in \Gamma _{[\eta ]}} \overline{u(\gamma )} \pi (\gamma ),\) where \(u : \Gamma _{[\eta ]} \rightarrow {\mathbb {C}}\) is such that \(\pi (\gamma ) \eta = u(\gamma ) \eta \). Let \(\Lambda _{\eta }\) be coset representatives of \(\Gamma / \Gamma _{[\eta ]}.\)
If \((\pi (\gamma ) \eta )_{\gamma \in \Lambda _{\eta }}\) is a Riesz sequence in \({\mathcal {H}}_{\pi },\) then \(\eta \) is a \( p_{\eta }\)-separating vector.
Proof
For \(\gamma , \gamma ' \in \Gamma _{[\eta ]}\), it follows that \(\pi (\gamma \gamma ') \eta = u(\gamma \gamma ') \eta \), and
Hence, \(\sigma |_{\Gamma _{[\eta ]} \times \Gamma _{[\eta ]}}\) forms a coboundary of the form \(\sigma (\gamma , \gamma ') = u(\gamma ) u(\gamma ') \overline{u(\gamma \gamma ')}\) for \(\gamma , \gamma ' \in \Gamma _{[\eta ]}\). Hence, \(p_{\eta }\) is a projection by Lemma 3.2. The proof will be split into three steps.
Step 1. (Bessel vector). Let \(c = (c_{\gamma })_{\gamma \in \Gamma } \in \ell ^2 (\Gamma )\). Since \(\pi ( \gamma ' ) \eta = u(\gamma ') \eta \) for all \(\gamma ' \in \Gamma _{[\eta ]}\), it follows that
where \(d_{\gamma } := \sum _{\gamma ' \in \Gamma _{[\eta ]}} c_{\gamma \gamma '} u(\gamma ') \overline{\sigma (\gamma , \gamma ')}\) for \(\gamma \in \Lambda _{\eta }\). An application of Cauchy–Schwarz yields that \(\Vert d \Vert _{\ell ^2 (\Lambda _{\eta })} \le |\Gamma _{[\eta ]} |^{\frac{1}{2}} \Vert c \Vert _{\ell ^2(\Gamma )}\). Therefore, if \(\pi (\Lambda _{\eta }) \eta \) is a Riesz sequence in \({\mathcal {H}}_{\pi }\) with upper bound \(B > 0\), then, in particular,
showing that \(\pi (\Gamma ) \eta \) is a Bessel sequence, i.e., \(\eta \in {\mathcal {B}}_{\pi }\).
Step 2. (Shifted Riesz sequence). Let \(\Lambda _{\eta }\) be any set of representatives of the equivalence classes \(\Gamma /\Gamma _{[\eta ]}\) such that \(\pi (\Lambda _{\eta }) \eta \) is a Riesz sequence. Note that if \(\nu \in \Gamma _{[\eta ]}\), then also \(\Lambda _{\eta } \nu \) is a set of representatives of \(\Gamma /\Gamma _{[\eta ]}\) such that
is a Riesz sequence. This observation allows to apply the argument in the next step to \(\Lambda _{\eta }\) replaced by \(\Lambda _{\eta } \nu \) as well.
Step 3. (Separating vector) For showing that \(\eta \) is \( p_{\eta }\)-separating, let \(T \in \pi (\Gamma )''\) be such that \(T p_{\eta } = T\) and \(T \eta = 0\). It will be shown that \(T p_{\eta } = 0\). Choose \(c, c' \in \ell ^2 (\Gamma )\) as provided by Proposition 3.3. Then the identity (3.7) gives
By assumption, \(\pi (\Lambda _{\eta }) \eta \) is a Riesz sequence in \({\mathcal {H}}_{\pi }\). Therefore, if \(A > 0\) is a lower Riesz bound, then
and thus it follows that, for all \(\gamma \in \Lambda _{\eta }\),
Possibly replacing \(\Gamma _0\) by \(\Gamma _0 \nu \) for some \(\nu \in \Gamma _{[\eta ]}\) (cf. Step 2) yields that \(d_{\gamma } = 0\) for all \(\gamma \in \Gamma \).
Using the sequence \(c'\) of Proposition 3.3, it also follows that
Since \(\sigma (\gamma ', \nu ) = u(\gamma ') u(\nu ) \overline{ u(\gamma \nu ) } \) for \(\gamma , \nu \in \Gamma _{[\eta ]}\), a direct calculation gives
This, together with the cocycle identity (3.2) yields that, for all \(\gamma \in \Gamma , \gamma ' \in \Gamma _{[\eta ]}\),
Hence, for the coefficients \(c'\) in (3.9), it follows by the previous equality and the identity (3.8) that
for all \(\gamma \in \Gamma \). Thus, \(T p_{\eta } = 0\). \(\square \)
Proposition 3.5 provides an extension of [38, Proposition 5.2] to possibly non-trivial projective stabilizers.
4 Discrete series representations of semi-simple Lie groups
Throughout, G denotes a connected non-compact semi-simple Lie group with finite center and no compact factors, i.e., no non-trivial connected normal compact subgroups.
4.1 Center-valued trace and von Neumann dimension
In this section the center-valued trace and von Neumann dimension will be determined for twisted group von Neumann algebras of lattices in semi-simple Lie groups. Both results rely on two lemmata on cocycles and lattices that are specific for the setting of semi-simple Lie groups.
The first lemma shows that any central element is automatically \(\sigma \)-regular.
Lemma 4.1
Let \(\sigma \) be a cocycle on G. If \(x \in Z(G),\) then \(\sigma (x,y) = \sigma (y,x)\) for all \(y \in G\).
Proof
Let \({\widetilde{G}}\) be the universal covering group of G with covering map \(q : {\widetilde{G}} \rightarrow G\) . Let \(s : G \rightarrow {\widetilde{G}}\) be a Borel cross-section with \(s(e_G) = e_{{\widetilde{G}}}\), so that \(q \circ s = {{\,\mathrm{id}\,}}_{G}\). By [27, Proposition 3.4] or [3, Corollary 3.1], there exists a unique character \(\chi \in \widehat{\ker (q)}\) such that
Since \(Z({\widetilde{G}}) = q^{-1} (Z(G))\), see, e.g., [11, Proposition 9.5.2], it follows that if \(x \in Z(G)\), then \(s(x) \in Z({\widetilde{G}})\). Hence, if \(x \in Z(G)\) and \(y \in G\), then
as asserted. \(\square \)
A direct consequence of Lemma 4.1 is that if \((\pi , {\mathcal {H}}_{\pi })\) is an irreducible \(\sigma \)-representation of G and \(x \in Z(G)\), then
Therefore, Schur’s lemma yields that \(\pi (x) \in {\mathbb {C}} {{\,\mathrm{id}\,}}_{{\mathcal {H}}_{\pi }}\) for \(x \in Z(G)\), so that the restriction \(\pi |_Z\) forms a 1-dimensional \(\sigma \)-representation \(u : Z(G) \rightarrow {\mathbb {T}}\). In particular, the restriction of \(\sigma \) to \(Z(G) \times Z(G)\) is a coboundary, i.e.,
for some measurable function \(u : Z(G) \rightarrow {\mathbb {T}}\). See also [18, Lemma 7.2] for an alternative argument for possibly reducible representations.
The following lemma is [9, Lemma 3.3.1]; see also [4, Theorem 2] for a more general version.
Lemma 4.2
[9] Let \(\Gamma \le G\) be a lattice. If \(\gamma \in \Gamma \) has finite conjugacy class, then \(\gamma \in Z(G).\)
In particular, Lemma 4.2 yields that \(Z(\Gamma ) = Z(G) \cap \Gamma \).
Lemma 4.3
Let \(\Gamma \le G\) be a lattice and let \(\sigma \) be a cocycle on \(\Gamma .\) Then
Therefore, the center-valued trace is determined by
for any scalars \(c_\gamma \in {\mathbb {C}}\) that are non-zero for finitely many \(\gamma \in \Gamma \).
Proof
Firstly, by Lemma 4.2, if the conjugacy class of an element \(\gamma \in \Gamma \) is finite, then \(\gamma \in Z(\Gamma ) = Z(G) \cap \Gamma \) and its conjugacy class in \(\Gamma \) contains \(\gamma \) only. In particular, this implies that \(\gamma \in Z(\Gamma )\) is \(\sigma \)-regular by Lemma 4.1. Therefore, by [17, Theorem 1 and Lemma 2] or [30, Lemma 2.2 and 2.4], the center \({\mathcal {Z}} ({\mathrm{VN}}_{\sigma } (\Gamma ))\) is spanned linearly by all \(\lambda _{\Gamma }^{\sigma } (\gamma )\) with \(\gamma \in Z(\Gamma )\). This proves (4.2). \(\square \)
Proposition 4.4
Let \((\pi , {\mathcal {H}}_{\pi })\) be a discrete series \(\sigma \)-representation of G. Let \(\Gamma \le G\) be a lattice and let \(u : Z(\Gamma ) \rightarrow {\mathbb {T}}\) be any function such that \(\pi (\gamma ) = u(\gamma ) {{\,\mathrm{id}\,}}_{{\mathcal {H}}_{\pi }}\) for \(\gamma \in Z(\Gamma )\). Then the operator \(\mathrm{cdim}_{{\mathrm{VN}}_{\sigma } (\Gamma )}({\mathcal {H}}_{\pi })\) on \(\ell ^2 (\Gamma )\) is given by twisted convolution with kernel
Proof
If \(\gamma \in \Gamma \) is such that \(C_{\gamma }\) is finite, then \(\gamma \in Z (\Gamma ) = \Gamma \cap Z(G)\) by Lemma 4.1. In particular, \(|C_{\gamma } | = 1\) and \(Z(\gamma ) = \Gamma \), so that the function \(\phi \) of Theorem 3.4 can be computed as
where the last equality follows since \(\overline{\sigma (\gamma , y)} \sigma (y,\gamma ) = 1\) for all \(y \in G\) by Lemma 4.1. \(\square \)
Proposition 4.4 provides a generalization of [4, Theorem 2(ii)] to projective representations in the case of a semi-simple real Lie group.
4.2 Density conditions
The following two results are the main results of this paper.
Theorem 4.5
Let \((\pi , {\mathcal {H}}_{\pi })\) be a discrete series \(\sigma \)-representation of G and let \(\eta \in {\mathcal {H}}_{\pi }{\setminus } \{0\}\). Let \(\Gamma \le G\) be a lattice. Suppose that \(\Lambda \subset \Gamma \) is a finite subgroup containing \(Z(\Gamma )\) and such that there exists \(u : \Lambda \rightarrow {\mathbb {T}}\) satisfying \(\pi (\gamma ) \eta = u(\gamma ) \eta \) for all \(\gamma \in \Lambda \). Let \(p_{\Lambda } := |\Lambda |^{-1} \sum _{\gamma \in \Lambda } \overline{u(\gamma )} \pi (\gamma )\).
Then the following assertions hold :
-
(i)
If \(\eta \) is a cyclic vector for \(\pi |_{\Gamma },\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi } \le |\Lambda |^{-1}.\)
-
(ii)
If \(\eta \) is a \(p_{\Lambda }\)-separating vector for \(\pi (\Gamma )'',\) then \({{\,\mathrm{vol}\,}}(G/\Gamma ) \ge |\Lambda |^{-1}.\)
Proof
As in the proof of Proposition 3.5, it can be shown that \(\sigma |_{\Lambda \times \Lambda }\) is a coboundary of the form \(\sigma (\gamma , \gamma ') = u(\gamma ) u(\gamma ') \overline{u(\gamma \gamma ')}\) for \(\gamma , \gamma ' \in \Lambda \). An application of Lemma 3.2 yields therefore that
is a projection in \(\pi (\Gamma )''\).
Note that by Sect. 3.4 or Lemma 3.1, the map \(\pi \) determines a normal \(*\)-homomorphism \(\lambda _\Gamma ^{\sigma }(\gamma ) \mapsto \pi (\gamma )\) from \({\mathrm{VN}}_{\sigma } (\Gamma )\) into \(\pi (\Gamma )''\), which will still be denoted by \(\pi \). The kernel of \(\pi \) is a \(\sigma \)-weakly closed two-sided ideal in \({\mathrm{VN}}_{\sigma } (\Gamma )\), and hence there exists a central projection \(q \in {\mathrm{VN}}_{\sigma } (\Gamma )\) such that \(\ker (\pi ) = (1- q ) {\mathrm{VN}}_{\sigma } (\Gamma )\). Thus, \({\mathrm{VN}}_{\sigma } (\Gamma )q \simeq \pi (\Gamma )''\) through \(\pi \). This way \({\mathcal {H}}_{\pi }\) is a faithful \(\pi (\Gamma )''\)-module as well as a \({\mathrm{VN}}_{\sigma } (\Gamma )\)-module through \(\pi \). Set the projection in \({\mathrm{VN}}_{\sigma } (\Gamma )\) corresponding to p by \(p_0 = \frac{1}{ \vert \Lambda \vert } \sum _{\gamma \in \Lambda } \overline{ u(\gamma ) } \lambda _{\Gamma } ^{\sigma } (\gamma )\), so that \(\pi (p_0) = p\). Since \(Z(\Gamma ) \subset \Lambda \) by assumption, an application of Lemma 4.3 gives
By Proposition 4.4,
Assertions (i) and (ii) will be shown by combining (4.4) and (4.5).
(i) Suppose that \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi } > |\Lambda |^{-1}\). Note that \(\pi (p_0) \eta = p \eta = \eta \), and thus Proposition 2.2 implies
This, combined with the identities (4.4) and (4.5), yields that
In particular, this implies that \({{\,\mathrm{\overline{span}}\,}}\pi (\Gamma ) \eta \ne {\mathcal {H}}_{\pi }\). By contraposition, this shows (i).
(ii) Suppose that \(\eta \) is p-separating for \(\pi (\Gamma )''\). Then it is \(p_0 q\)-separating if \({\mathcal {H}}_{\pi }\) is viewed as a \({\mathrm{VN}}_{\sigma } (\Gamma )\)-module through \(\pi : {\mathrm{VN}}_{\sigma } (\Gamma )\rightarrow \pi (\Gamma )''\). Then Proposition 2.3 and the fact that q is central implies that
Combining this with the identities (4.4) and (4.5) entails
which is only possible if \({{\,\mathrm{vol}\,}}(G/\Gamma ) d_{\pi } \ge |\Lambda |^{-1}\). \(\square \)
Theorem 4.6
Under the same assumptions and notation as Theorem 4.5, let X be a set of representatives of \(\Gamma / \Lambda \).
-
(i)
If \((\pi (\gamma ) \eta )_{\gamma \in \Gamma }\) is a frame for \({\mathcal {H}}_{\pi },\) then \( {{\,\mathrm{vol}\,}}(G / \Gamma ) d_{\pi _{\alpha }} \le |\Lambda |^{-1}. \)
-
(ii)
If \((\pi (\gamma ) \eta )_{\gamma \in X}\) is a Riesz sequence in \({\mathcal {H}}_{\pi },\) then \( {{\,\mathrm{vol}\,}}(G / \Gamma ) d_{\pi _{\alpha }} \ge |\Lambda |^{-1}. \)
Proof
(i) If \((\pi (\gamma ) \eta )_{\gamma \in \Gamma }\) is a frame for \({\mathcal {H}}_{\pi }\), then it is clearly complete in \({\mathcal {H}}_{\pi }\). Hence, the conclusion follows from Theorem 4.5.
(ii) If \((\pi (\gamma ) \eta )_{\gamma \in X}\) is a Riesz sequence in \({\mathcal {H}}_{\pi }\), then necessarily \( \Lambda = \Gamma _{[\eta ]} \) by linear independence. Hence, Proposition 3.5 implies that \(\eta \) is \(p_{\eta }\)-separating for \(\pi (\Gamma )''\). The conclusion follows therefore from Theorem 4.5. \(\square \)
5 Holomorphic discrete series and Bergman kernels
This section concerns the so-called (scalar-valued) holomorphic discrete series. Henceforth, it is additionally assumed that G is such that the symmetric space G/K, where \(K \le G\) is a maximal compact subgroup, is Hermitian, i.e., has an invariant complex structure. Lie groups satisfying these assumptions are sometimes said to be of Hermitian type.
5.1 Holomorphic discrete series
A Hermitian symmetric space G/K can be identified (via a holomorphic diffeomorphism) with a bounded symmetric domain \(\Omega \subset {\mathbb {C}}^d\), i.e., a bounded domain such that each \(w \in \Omega \) is an isolated fixed point of an involutive holomorphic diffeomorphism. Conversely, any bounded symmetric domain \(\Omega \subset {\mathbb {C}}^d\) can be identified with a Hermitian symmetric space of the form G/K, where G is the identity of the group of holomorphic automorphism of \(\Omega \) and K an isotropy group. See, e.g., the books [10, 12, 39] for more details and examples.
Let \(\Omega \cong G/K\) be a bounded symmetric domain with normalized Euclidean measure \(\mu \). The standard Bergman space \(A^2 (\Omega )\) on \(\Omega \) is defined as
where \({\mathcal {O}} (\Omega )\) denotes the space of holomorphic functions on \(\Omega \). The space \(A^2 (\Omega )\) is a reproducing kernel Hilbert space, i.e., the point evaluation \(f \mapsto f(z)\) is continuous. Let \(k : \Omega \times \Omega \rightarrow {\mathbb {C}}\) be the reproducing kernel in \(A^2\), so that
Denote by \(d'\) the genus of \(\Omega \), that is, \(d' := (n + n_1) /r\) with n and \(n_1\) being the (complex) dimensions of \(\Omega \) resp. of the maximal symmetric domain of tube-type in \(\Omega \) and with r being the rank of \(\Omega \). Let
Then \(h(z,z)^{\alpha - d'}\) is integrable if, and only if, \(\alpha > d' - 1\).
For \(\alpha > d'- 1\), let \(c_{\alpha }^{-1} := \int _{\Omega } h(z,z)^{\alpha - d'} d\mu (z) < \infty \) and \(d\mu _{\alpha } (z) = c_{\alpha } h(z,z)^{\alpha - d'} d\mu (z)\). The associated weighted Bergman space is defined as
The space \(A^2_{\alpha } (\Omega )\) is a reproducing kernel Hilbert space with reproducing kernel \(k^{(\alpha )} (z,w) = k(z,w)^{\alpha /d'}\) satisfying
where \(k^{(\alpha )}_z (w) := \overline{k^{(\alpha )} (z,w)}\). See [7, 8, 21, 42] for more on Bergman kernels on domains.
Denote by \(J_g (w)\) the Jacobian of the action \(\Omega \ni w \mapsto g \cdot w \in \Omega \). For \(\alpha > d' - 1\), define \(J_g( w)^{\alpha / d'}\) for some choice of the branch of the power if \(\alpha \notin {\mathbb {Z}}\). Then the action of G on a function \(f \in A^2_{\alpha } (\Omega )\) given by
defines a projective unitary representation \(\pi _{\alpha }\) of G on \( A^2_{\alpha } (\Omega )\). It is called the holomorphic discrete series. For each \(\alpha > d' -1\), the discrete series \(\pi _{\alpha }\) is irreducible and square-integrable.
For details on Bergman spaces and holomorphic discrete series, see [19,20,21, 29].
5.2 Density conditions for Bergman kernels
In this section we provide proofs of Theorems 1.2 and 1.3 stated in the introduction. Both results form a special case (trivial center Z(G)) of the following two theorems, which will be obtained from Theorems 4.5 and 4.6.
Theorem 5.1
Let \(\pi _{\alpha }\) be a holomorphic discrete series of G on \(A^2_{\alpha } (\Omega )\) for \(\alpha > d'-1\). Let \(\Gamma \le G\) be a lattice with stabilizer \(\Gamma _z\) for \(z \in \Omega \) and let \(p_z := |\Gamma _z|^{-1} \sum _{\gamma \in \Gamma _z} \overline{u(\gamma )} \pi _{\alpha } (\gamma )\).
Then the following assertions hold :
-
(i)
If \(k^{(\alpha )}_{z}\) is a cyclic vector for \(\pi _{\alpha }|_{\Gamma },\) then \( {{\,\mathrm{vol}\,}}(G / \Gamma ) d_{\pi _{\alpha }} \le |\Gamma _z|^{-1}. \)
-
(ii)
If \(k^{(\alpha )}_{z}\) is a \(p_{z}\)-separating vector for \(\pi _{\alpha } (\Gamma )'',\) then \( {{\,\mathrm{vol}\,}}(G / \Gamma ) d_{\pi _{\alpha }} \ge |\Gamma _z|^{-1}. \)
Proof
The assertions will be shown by applying Theorem 4.5 to \(\eta = k_{z}^{(\alpha )}\) and \(\Lambda = \Gamma _z\).
Since Z(G) is finite and K is a maximal compact subgroup of G, it follows that \(Z(G) \subseteq K\). In addition, since \(\Omega \cong G/K\), the stabilizer \(\Gamma _z = x_0 K x_0^{-1} \cap \Gamma \) is finite as \( x_0 K x_0^{-1}\) is compact and \(\Gamma \) is discrete, where \(z = x_0 K\). In addition, note that Lemma 4.2 yields that \(Z(\Gamma ) = Z(G) \cap \Gamma \), and thus \(Z(\Gamma ) \subseteq Z(G) \subseteq K\), so that \(Z(\Gamma ) \subseteq \Gamma _z\).
It remains to show that \(\pi _{\alpha } (\gamma ) k_z^{(\alpha )} = u(\gamma ) k_z^{(\alpha )}\) for some \(u : \Gamma _z \rightarrow {\mathbb {T}}\). For this, let \(f \in A_\alpha ^2(\Omega )\) and \(\gamma \in \Gamma \). Then a direct calculation entails
Hence, \( \pi _\alpha (\gamma ) k^{(\alpha )}_{z} = u(\gamma ) k^{(\alpha )}_{z}\) with \(u(\gamma ) = \sigma _\alpha (\gamma , \gamma ^{-1}) \overline{ J_{\gamma }( z)^{\alpha / d'}}\) for \( \gamma \in \Gamma _z\). \(\square \)
Theorem 5.2
Under the same assumptions and notation as Theorem 5.1, let \(\Lambda _z\) be a set of representatives of \(\Gamma / \Gamma _z\).
-
(i)
If \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_{z})_{\gamma \in \Gamma }\) is a frame for \(A^2_{\alpha } (\Omega ),\) then \( {{\,\mathrm{vol}\,}}(G / \Gamma ) d_{\pi _{\alpha }} \le |\Gamma _z|^{-1}. \)
-
(ii)
If \((\pi _{\alpha } (\gamma ) k^{(\alpha )}_{z})_{\gamma \in \Lambda _z}\) is a Riesz sequence in \(A^2_{\alpha } (\Omega ),\) then \( {{\,\mathrm{vol}\,}}(G / \Gamma ) d_{\pi _{\alpha }} \ge |\Gamma _z|^{-1}. \)
Proof
As shown in the proof of Theorem 5.1, the vector \(\eta = k_z^{(\alpha )}\) and subgroup \(\Lambda = \Gamma _z\) satisfy the hypotheses of Theorem 4.5. Hence, assertions (i) and (ii) follow from Theorem 4.6. \(\square \)
References
Atiyah, M., Schmid, W.: A geometric construction of the discrete series for semisimple Lie groups. Invent. Math. 42, 1–62 (1977)
Atiyah, M.F.: Elliptic operators, discrete groups and von Neumann algebras. In: Colloque “Analyse et Topologie” en l’honneur de Henri Cartan, pp. 43–72. Société Mathématique de France (SMF), Paris (1976)
Bagchi, B., Misra, G.: The homogeneous shifts. J. Funct. Anal. 204(2), 293–319 (2003)
Bekka, B.: Square integrable representations, von Neumann algebras and an application to Gabor analysis. J. Fourier Anal. Appl. 10(4), 325–349 (2004)
Dixmier, J.: Von Neumann Algebras, vol. 27. Elsevier (North-Holland), Amsterdam (1981)
Enstad, U.: The density theorem for projective representations via twisted group von Neumann algebras. J. Math. Anal. Appl. 511(2), 25 (2022). Id/No 126072
Faraut, J., Koranyi, A.: Function spaces and reproducing kernels on bounded symmetric domains. J. Funct. Anal. 88(1), 64–89 (1990)
Faraut, J., Korányi, A.: Analysis on Symmetric Cones. Clarendon Press, Oxford (1994)
Goodman, F.M., De la Harpe, P., Jones, V.F.R.: Coxeter Graphs and Towers of Algebras, vol. 14. Springer, New York (1989)
Helgason, S.: Differential Geometry, Lie Groups, and Symmetric Spaces. Academic Press, Cambridge (1978)
Hilgert, J., Neeb, K.-H.: Structure and Geometry of Lie Groups. Springer, Berlin (2012)
Hua, L.K.: Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains, vol. 6. American Mathematical Society (AMS), Providence (1979)
Jevtić, M., Massaneda, X., Thomas, P.J.: Interpolating sequences for weighted Bergman spaces of the ball. Mich. Math. J. 43(3), 495–517 (1996)
Jones, V.: Bergman space zero sets, modular forms, von Neumann algebras and ordered groups. Preprint. arXiv:2006.16419
Jones, V., Sunder, V.S.: Introduction to Subfactors, vol. 234. Cambridge University Press, Cambridge (1997)
Kelly-Lyth, D.: Uniform lattice point estimates for co-finite Fuchsian groups. Proc. Lond. Math. Soc. (3) 78(1), 29–51 (1999)
Kleppner, A.: The structure of some induced representations. Duke Math. J. 29, 555–572 (1962)
Kleppner, A.: Multipliers on Abelian groups. Math. Ann. 158, 11–34 (1965)
Knapp, A.W.: Bounded symmetric domains and holomorphic discrete series. In: Symmetric Spaces, Short Courses Presented at Washington University, Pure and Applied Mathematics, vol. 8, pp. 211–246 (1972)
Knapp, A.W.: Representation Theory of Semisimple Groups. An Overview Based on Examples, vol. 36. Princeton University Press, Princeton (1986)
Korányi, A.: Function spaces on bounded symmetric domains. In: Faraut, J., et al (eds.) Analysis and Geometry on Complex Homogeneous Domains, pp. 183–281. Birkhäuser, Boston (2000)
Kuhn, G., Steger, T.: Restrictions of the special representation of \(\text{ Aut }(\text{ tree}_ 3)\) to two cocompact subgroups. Rocky Mt. J. Math. 22(4), 1349–1363 (1992)
Lisiecki, W.: Kaehler coherent state orbits for representations of semisimple Lie groups. Ann. Inst. Henri Poincaré Phys. Théor. 53(2), 245–258 (1990)
Marco, N., Massaneda, X.: On density conditions for interpolation in the ball. Can. Math. Bull. 46(4), 559–574 (2003)
Massaneda, X., Thomas, P.J.: Interpolating sequences for Bargmann–Fock spaces in \({\mathbb{C}}^{n}\). Indag. Math. New Ser. 11(1), 115–127 (2000)
Monastyrskij, M.I., Perelomov, A.M.: Coherent states and bounded homogeneous domains. Rep. Math. Phys. 6, 1–14 (1974)
Moore, C.C.: Extensions and low dimensional cohomology theory of locally compact groups. II. Trans. Am. Math. Soc. 113, 64–86 (1964)
Neeb, K.-H.: Coherent states, holomorphic extensions, and highest weight representations. Pac. J. Math. 174(2), 497–542 (1996)
Neeb, K.-H.: Holomorphy and Convexity in Lie Theory, vol. 28. de Gruyter, Berlin (1999)
Omland, T.Å.: Primeness and primitivity conditions for twisted group \(C^\ast \)-algebras. Math. Scand. 114(2), 299–319 (2014)
Ortega-Cerdà, J., Schuster, A., Varolin, D.: Interpolation and sampling hypersurfaces for the Bargmann–Fock space in higher dimensions. Math. Ann. 335(1), 79–107 (2006)
Perelomov, A.: Generalized Coherent States and Their Applications. Springer, New York (1986)
Perelomov, A.M.: Coherent states for arbitrary Lie group. Commun. Math. Phys. 26, 222–236 (1972)
Perelomov, A.M.: Coherent states for the Lobachevskian plane. Funct. Anal. Appl. 7, 215–222 (1974)
Perelomov, A.M.: Coherent states and symmetric spaces. Commun. Math. Phys. 44, 197–210 (1975)
Rădulescu, F.: The \(\Gamma \)-Equivariant Form of the Berezin Quantization of the Upper Half Plane. Memoirs of the American Mathematical Society, vol. 630. American Mathematical Society (AMS), Providence (1998)
Rawnsley, J.H.: Coherent states and Kähler manifolds. Q. J. Math. Oxf. II. Ser. 28, 403–415 (1977)
Romero, J.L., Van Velthoven, J.T.: The density theorem for discrete series representations restricted to lattices. Expo. Math. 40(2), 265–301 (2022)
Satake, I.: Algebraic Structures of Symmetric Domains. Princeton University Press, Princeton (1980)
Seip, K.: Beurling type density theorems in the unit disk. Invent. Math. 113(1), 21–39 (1993)
Seip, K.: Interpolation and Sampling in Spaces of Analytic Functions, vol. 33. American Mathematical Society (AMS), Providence (2004)
Stoll, M.: Mean value theorems for harmonic and holomorphic functions on bounded symmetric domains. J. Reine Angew. Math. 290, 191–198 (1977)
Takesaki, M.: Theory of Operator Algebras I. Springer, Berlin (2002)
Young, R.M.: An Introduction to Nonharmonic Fourier Series, 1st edn. Academic Press Inc, San Diego (2001)
Acknowledgements
M.C. is supported by the NWO Vidi grant ‘Non-commutative harmonic analysis and rigidity of operator algebras’, VI.Vidi.192.018. J.v.V. gratefully acknowledges support from the Austrian Science Fund (FWF) project J-4445.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Caspers, M., van Velthoven, J.T. Density conditions with stabilizers for lattice orbits of Bergman kernels on bounded symmetric domains. Math. Z. 302, 609–628 (2022). https://doi.org/10.1007/s00209-022-03063-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-022-03063-y
Keywords
- Bergman space
- Cyclic vector
- Discrete series representation
- Frame
- Lattice
- Riesz sequence
- Separating vector
- Twisted von Neumann algebra