Abstract
We study submodules of analytic Hilbert modules defined over certain algebraic varieties in bounded symmetric domains, the so-called Jordan–Kepler varieties V ℓ of arbitrary rank ℓ. For ℓ > 1, the singular set of V ℓ is not a complete intersection. Hence the usual monoidal transformations do not suffice for the resolution of the singularities. Instead, we describe a new higher rank version of the blow-up process, defined in terms of Jordan algebraic determinants, and apply this resolution to obtain the rigidity of the submodules vanishing on the singular set.
This paper is dedicated to the memory of Ronald G. Douglas
The first-named author was supported by the J. C. Bose National Fellowship and the MATRICS grant of the SERB as well as the CAS II of the UGC. The second-named author was supported by an Infosys Visiting Chair Professorship at the Indian Institute of Science.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
Mathematics Subject Classification (2010)
1 Introduction
R. G. Douglas introduced the notion of Hilbert module \(\mathcal M\) over a function algebra \(\mathcal A\) and reformulated several questions of multi-variable operator theory in the language of Hilbert modules. Having done this, it is possible to use techniques from commutative algebra and algebraic geometry to answer some of these questions. One of the very interesting examples is the proof of the Rigidity Theorem for Hilbert modules [19, Section 3], which we discuss below.
A Hilbert module is a complex separable Hilbert space \(\mathcal M\) equipped with a multiplication
which is a continuous algebra homomorphism. Here \(\mathcal B(\mathcal M)\) denotes the algebra of all bounded linear operators on \(\mathcal M\). The continuity of the module multiplication means
for some C > 0. Familiar examples are the Hardy and Bergman spaces defined on bounded domains in C d. Sometimes, it is convenient to consider the module multiplication over the polynomial ring C[z] in d variables rather than a function algebra. In this case, we require that
for some C p > 0. We make this “weak” continuity assumption throughout the paper.
In what follows, we will consider a natural class of Hilbert modules consisting of holomorphic functions, taking values in C n, defined on a bounded domain Ω ⊆C d. Thus (i) we assume \(\mathcal M\subseteq \mathrm {Hol}(\Omega ,\mathbf C^n)\). A second assumption (ii) is to require that the evaluation functional
is continuous and surjective, see [2, Definition 2.5]. Set
The function \(\mathcal K,\) which is holomorphic in the first variable and anti-holomorphic in the second variable is called the reproducing kernel of the Hilbert module \(\mathcal M.\) A further assumption (iii) is that \(\mathbf C[\boldsymbol z]\subseteq \mathcal M\) is dense in \(\mathcal M\). A Hilbert module with these properties is said to be an analytic Hilbert module. In this paper, we study a class of Hilbert modules which are submodules of analytic Hilbert modules.
From the closed graph theorem, it follows that \(\mathfrak m_p f\in \mathcal M\) for any \(f\in \mathcal M\) and p ∈C[z]. Also, the density of the polynomials implies that the eigenspace \(\ker \,(\mathfrak m_p-p(w))^*\) is spanned by the vectors
for ζ ∈C n, i.e.,
see [15, Remark, p. 285]. Since the matrix \(\mathcal K(w,w)\) is invertible by our assumption, it follows that the dimension of the kernel \(\{\mathcal K_w({\cdot })\zeta :\zeta \in \mathbf C^n\}\) is exactly n for all w ∈ Ω. Clearly, the map \(w\mapsto \mathcal K_w({\cdot })\zeta \), ζ ∈C n is a holomorphic map on \(\Omega ^*:=\{w\in \mathbf C^d:\overline w\in \Omega \}\). It serves as a holomorphic section of the trivial vector bundle
with fibre
A refinement of the argument given in [2] (which, in turn, is an adaptation of ideas from [12]), then shows that the isomorphism class of the module \(\mathcal M\) and the equivalence class of the holomorphic Hermitian bundle \(\mathcal E\) determine each other. The case d = 1, originally considered in [12], corresponds to Hilbert modules over the polynomial ring in one variable. The proof in [12], in this particular case, has a slightly different set of hypotheses. In the paper [12], among other things, a complete set of invariants for the equivalence class of \(\mathcal E\) is given. If n = 1, as is well known, this is just the curvature of the holomorphic line bundle \(\mathcal E\).
There is a natural notion of module isomorphism, namely, the existence of a unitary linear map \(U:\mathcal M\to \widetilde {\mathcal M}\), which intertwines the module multiplications \(\mathfrak m_p\) and \(\tilde {\mathfrak m}_p\), that is,
Clearly, a Hilbert module \(\mathcal M\) over the polynomial ring C[z] is determined by the commuting tuple of multiplication by the coordinate functions on \(\mathcal M\) and vice-versa. Thus the notion of module isomorphism corresponds to the usual notion of unitary equivalence of two such d-tuples of multiplication operators by a fixed unitary. If \(\Gamma :\mathcal M_1\to \mathcal M_2\) is a module map, then it maps the eigenspace of \(\mathcal M_1\) at w into that of \(\mathcal M_2\) at w. Thus \(\Gamma (\mathcal K^1({\cdot },w)\zeta )\subseteq \{\mathcal K^2(\cdot ,w)\xi :\xi \in \mathbf C^n\}\), where \(\mathcal K^i\) are the reproducing kernels of the Hilbert modules \(\mathcal M_i, i=1,2,\) respectively. Hence we obtain a holomorphic map ΦΓ : Ω →C n×n with the property
for any fixed but arbitrary w. Thus any module map between two analytic Hilbert modules is induced by a holomorphic matrix-valued function ΦΓ : Ω →C n×n, see [14, Theorem 3.7]. Moreover, if the module map is invertible, then ΦΓ(z) must be invertible. Finally, if the module map is assumed to be unitary, then
for all z, w ∈ Ω.
Let us describe, following [17], an instance of the Sz.-Nagy–Foias theory in the language of Hilbert modules. Let T be a contraction on some Hilbert space \(\mathcal M\). The module multiplication determined by this operator is the map \(\mathfrak m_p(f)=p(T)f\), p ∈C[z], \(f\in \mathcal M\). From the contractivity of T, it follows that \(\|\mathfrak m_p\|\le \|p\|:=\sup \{|p(z)|:z \in \mathbb D\}\) and in this case, the Hilbert module \(\mathcal M\) is said to be contractive. Now, assume that T ∗ n → 0 as n →∞. Then Sz.-Nagy–Foias show that there exists an isometry R and a co-isometry R ′ such that, for the unit disk D, the sequence
where \(\mathcal E\) and \(\mathcal E^\prime \) are a pair of (not necessarily finite dimensional) Hilbert spaces, is exact. The map R is essentially the characteristic function of the contraction T and serves to identify the contractive module \(\mathcal M\) as a quotient module of \(H_{\mathcal E^{\prime }}^2(\mathbf D)\) by the image of \(H_{\mathcal E}^2(\mathbf D)\) under the isometric map R.
For any planar domain Ω, a model theory for completely contractive Hilbert modules over the function algebra Rat( Ω), consisting of rational functions with poles off the closure \(\overline \Omega \), has been developed by Abrahamse and Douglas in the paper [1]. However, the situation is much more complicated for Hilbert modules over the polynomial ring in d variables, d > 1.
1.1 The Normalized Kernel
We begin by recalling some notions from complex geometry. Let \(\mathcal L\) be a holomorphic Hermitian line bundle over a complex manifold Ω. The Hermitian metric of \(\mathcal L\) is given by some smooth choice of an inner product \(\|{\cdot }\|{ }^2_w\) on the fibre \(\mathcal L_w\). There is a canonical (Chern) connection on \(\mathcal L\) which is compatible with both the Hermitian metric and the complex structure of \(\mathcal L\). The curvature κ of the line bundle \(\mathcal L\) on any fixed but arbitrary coordinate chart, with respect to the canonical connection, is given by the formula
where γ is any non-vanishing holomorphic section of \(\mathcal L.\) Since any two such sections differ by multiplication by a non-vanishing holomorphic function, it is clear that the definition of the curvature is independent of the choice of the holomorphic section γ. Indeed, it is well known that two such line bundles are locally equivalent if and only if their curvatures are equal. For holomorphic Hermitian vector bundles (rank > 1) the local equivalence involves not only the curvature but also its covariant derivatives, see [12].
In general, Lemma 2.3 of [32] singles out a frame γ (0) such that the metric has the form: ∥γ (0)(w)∥2 = I + O(|w|2) and it follows that
In a slightly different language, fixing w 0 ∈ Ω, a normalized kernel \(\mathcal K^{(0)}\) at w 0 is defined in [14, Remark 4.7(b)] by requiring that \(\mathcal K^{(0)}(z,w_0)\equiv I\). Setting \(\gamma ^{(0)}(w)=\mathcal K_w^{(0)}\), we see that the normalized kernel \(\mathcal K^{(0)}\) has no linear terms. There is a neighborhood, say Ω0, of w 0 on which \(\mathcal K(z,w_0)\) doesn’t vanish (for n = 1) or is an invertible n × n-matrix (for n > 1). Set
Then
is a normalized kernel on Ω0. Thus starting with an analytic Hilbert module \(\mathcal M\) possessing a reproducing kernel \(\mathcal K\), there is a Hilbert module \(\mathcal M^{(0)}\) possessing a normalized reproducing kernel \(\mathcal K^{(0)}\), isomorphic to \(\mathcal M\). Now, it is evident that two Hilbert modules are isomorphic if and only if there is a unitary U such that
In other words, the normalized kernel is uniquely determined up to a fixed unitary. In particular, if n = 1, then the two Hilbert modules are isomorphic if and only if the normalized kernels are equal. We gather all this information in the following proposition.
Proposition 1.1
The following conditions on any pair of (scalar) analytic Hilbert modules over the polynomial ring are equivalent.
-
1.
Two analytic Hilbert modules \(\mathcal M_1\) and \(\mathcal M_2\) are isomorphic.
-
2.
The holomorphic line bundles \(\mathcal L_1\) and \(\mathcal L_2\) determined by the eigenspaces of the analytic Hilbert modules \(\mathcal M_1\) and \(\mathcal M_2\) , respectively, are locally equivalent as Hermitian holomorphic bundles.
-
3.
The curvature of the two line bundles \(\mathcal L_i\) , i = 1, 2, are equal.
-
4.
The normalized kernels \(\mathcal K_i^{(0)}\) , i = 1, 2, at any fixed but arbitrary point w 0 are equal.
2 Invariants for Submodules
In the paper [13], Cowen and Douglas pointed out that all submodules of the Hardy module H 2(D) are isomorphic. They used this observation to give a new proof of Beurling’s theorem describing all invariant subspaces of H 2(D). Although all submodules of the Hardy module H 2(D) are isomorphic, the quotient modules are not. Surprisingly enough, this phenomenon distinguishes the multi-variable situation from the one variable case. Consider for instance the submodule \(H_{(0,0)}^2(\mathbf D^2)\) of all functions vanishing at (0, 0) in the Hardy space H 2(D 2) over the bidisk D 2. Then the module tensor product of \(H_{(0,0)}^2(\mathbf D^2)\) over the polynomial ring C[z] in two variables with the one dimensional module C w, (p, w)↦p(w), is easily seen to be
while H 2(D 2) ⊗C[z] C w = C. It follows that the submodule \(H_{(0,0)}^2(\mathbf D^2)\) is not isomorphic to the module H 2(D 2), in stark contrast to the case of one variable.
The existence of non-isomorphic submodules of the Hardy module H 2(D 2) indicates that inner functions alone may not suffice to characterize submodules in this case. It is therefore important to determine when two submodules of the Hardy module, and also more general analytic Hilbert modules, are isomorphic. This question was considered in [10] for the closure of some ideals \(\mathcal I\subseteq \mathbf C[\boldsymbol z]\) in the Hardy module H 2(D 2) with the common zero set {(0, 0)}. It was extended to a much larger class of ideals in the paper [3]. A systematic study in a general setting culminated in the paper [19] describing a rigidity phenomenon for submodules of analytic Hilbert modules in more than one variable. A different proof of the Rigidity Theorem using the sheaf model was given in [9]. A slightly different approach to obtaining invariants by resolving the singularity at (0, 0) was initiated in [16], and considerably expanded in [9]. We describe this approach briefly.
A systematic study of Hilbert submodules of analytic Hilbert modules was initiated in the papers [8, 9]. If \(\mathcal I\) is an ideal in C[z], consider the submodule \(\widetilde {\mathcal M}=[\mathcal I]\) in an analytic Hilbert module \(\mathcal M\subseteq \mathrm {Hol}(\Omega ,\mathbf C)\) obtained by taking the closure of \(\mathcal I.\) Let
denote the algebraic subvariety of Ω determined by \(\mathcal I.\) For the reproducing kernel \(\mathcal K(z,w)\) of \(\mathcal M,\) the vectors \(\mathcal K_w\in \mathcal M\) will in general not belong to the submodule \(\widetilde {\mathcal M}.\) However, one has a truncated kernel \(\widetilde {\mathcal K}(z,w)=\widetilde {\mathcal K}_w(z)\) such that \(\widetilde {\mathcal K}_w\in \widetilde {\mathcal M}\) for all w ∈ Ω, which induces a holomorphic Hermitian line bundle \(\tilde {\mathcal L}\) defined on \(\Omega \setminus \Omega _{\mathcal I},\) with fibre
and positive definite metric \(\widetilde {\mathcal K}(w,w).\) This line bundle \(\tilde {\mathcal L}\) does not necessarily extend to all of Ω. In fact, on the singular set \(\Omega _{\mathcal I}\) the eigenspace of the submodule \(\widetilde {\mathcal M}\) will in general be higher dimensional. However, in the paper [9], using the monoidal transform, a line bundle \(\hat {\mathcal L}\) was constructed on a certain blow-up space \(\hat \Omega ,\) with a holomorphic map \(\pi :\hat \Omega \to \Omega .\) (Actually, this construction holds locally, near any given point \(w_0\in \Omega _{\mathcal I}.\)) The restriction of this line bundle to the exceptional set \(\pi ^{-1}(\Omega _{\mathcal I})\) in the blow-up space was shown to be an invariant for the submodule \(\widetilde {\mathcal M}\).
For the submodule \(\widetilde {\mathcal M}=H_{(0,0)}^2(\mathbf D^2)\subseteq H^2(\mathbf D^2)\) of the Hardy module, corresponding to the point singularity (0, 0) ∈ Ω := D 2, the above construction can be made very explicit: The eigenspace of \(\widetilde {\mathcal M}\) at w := (w 1, w 2)≠(0, 0) is the one dimensional space spanned by the truncated kernel vector
At (0, 0), this vector is the zero vector while the eigenspace of \(\widetilde {\mathcal M}\) is two dimensional, spanned by the vectors z 1 and z 2. We observe, however, that for j = 1, 2 the limit \(\frac {\widetilde {\mathcal K}_w(z)}{w_j}\), along lines through the origin as w → 0, exists and is non-zero. Parametrizing the lines through (0, 0) in D 2 by w 2 = 𝜗 1 w 1 or w 1 = 𝜗 2 w 2, we obtain the coordinate charts for the projective space P 1(C). On these, we have
Similarly, we have
Setting s(𝜗 1) := z 1 + 𝜗 1 z 2 and s(𝜗 2) = z 2 + 𝜗 2 z 1 taking values in \(H_{(0,0)}^2(\mathbf D^2)\), we obtain a holomorphic Hermitian line bundle \(\hat {\mathcal L}\) over projective space P 1(C). The metric of this line bundle is given by the formula
for j = 1, 2. It is shown in [16, Theorem 5.1], see also [9, Theorem 3.4], that for many submodules of analytic Hilbert modules, the class of this holomorphic Hermitian line bundle on the projective space is an invariant for the submodule. Since the curvature is a complete invariant, it follows that in our case the curvature
for the coordinate 𝜗 j (j = 1, 2) is an invariant for the submodule \(H_{(0,0)}^2(\mathbf D^2)\).
Often it is possible to determine when two submodules of an analytic Hilbert module are isomorphic without explicitly computing a set of invariants. A particular case is the class of submodules in an analytic Hilbert module which are obtained by taking the closure of an ideal in the polynomial ring. Here the surprising discovery is that many of these submodules are isomorphic if and only if the ideals are equal. Of course, one must impose some mild condition on the nature of the ideal. For instance, principal ideals have to be excluded. Several different hypotheses that make this “rigidity phenomenon” possible are discussed in Section 3 of [19]. One of these is the theorem of [19, Theorem 3.6]. A slightly different formulation given below is Theorem 3.1 of [9].
Let Ω ⊂C d be a bounded domain. For k = 1, 2, let \([\mathcal I_k]\) be the closure in an analytic Hilbert module \(\mathcal M\subseteq \mathrm {Hol}(\Omega )\) of the ideal \(\mathcal I_k\subseteq \mathbf C[\boldsymbol z]\).
Theorem 2.1 (Theorem 3.1, [9])
Assume that the dimension of \([\mathcal I_k]/[\mathcal I_k]_w\) is finite and that the dimension of the zero set of these modules is at most d − 2. Also, assume that every algebraic component of \(V(\mathcal I_k)\) intersects Ω. Then \([\mathcal I_1]\) and \([\mathcal I_2]\) are isomorphic if and only if \(\mathcal I_1=\mathcal I_2\).
In this paper we study submodules of (scalar valued) analytic Hilbert modules (n = 1) which are related to higher-dimensional singularities. Starting with the weighted Bergman spaces defined on a bounded symmetric domain, the submodules are determined by a vanishing condition on a certain “Kepler variety”. The new feature is that the singularity set is not a complete intersection (in the sense of algebraic geometry) which means that the usual projectivization involving monoidal transforms (blow-up process) is not sufficient for the resolution of singularities. We will replace it by a higher-rank blow-up process, having as exceptional fibres compact Hermitian symmetric spaces of higher rank instead of projective spaces. The charts and analytic continuation we use are adapted to the geometry of the Kepler variety. The simplest case of rank 1 reduces to the usual blow-up process.
In this setting we again obtain a rigidity theorem which is not a special case of Theorem 2.1, since we do not consider different ideals (i.e. different subvarieties) for the singular modules, but we consider a fixed subvariety and vary the underlying “big” Hilbert module, by choosing an arbitrary coefficient sequence or, as a special case, a K-invariant probability measure. This situation is most interesting in the symmetric case, where one has a full scale of different Hilbert modules like the weighted Bergman spaces. Then we show that the “truncated” kernel of the submodule can be recovered from the reduction to the blow-up space. This is a kind of rigidity in the parameter space instead of selecting different ideals.
3 Jordan–Kepler Varieties
Hilbert modules and submodules defined by analytic varieties have been mostly studied for domains Ω which are strongly pseudoconvex with smooth boundary, or a product of such domains. From an operator-theoretic point of view, this is natural since for strongly pseudoconvex (bounded) domains, Toeplitz operators with continuous symbols (in particular, with symbols given by the coordinate functions) are essentially normal, so that the Toeplitz C ∗-algebra generated by such operators is essentially commutative and has a classical Fredholm and index theory. There are, however, interesting classes of bounded domains which are only weakly pseudoconvex (and are therefore domains of holomorphy, by the Cartan—Thullen theorem) with a non-smooth boundary. A prominent class of such domains are the bounded symmetric domains of arbitrary rank r, which generalize the (strongly pseudoconvex) unit ball, having rank r = 1. The Hardy space and the weighted Bergman spaces of holomorphic functions on bounded symmetric domains have been extensively studied from various points of view (see, e.g., [6, 21, 30]). More recently, irreducible subvarieties of symmetric domains, given by certain determinant type equations, have been studied in [20] under the name of “Jordan–Kepler varieties”. This terminology is used since the rank r = 2 case corresponds to the classical Kepler variety in the cotangent bundle of spheres [11].
In order to describe bounded symmetric domains and their determinantal subvarieties, we will use the Jordan theoretic approach to bounded symmetric domains which is best suited for harmonic and holomorphic analysis on symmetric domains. For background and details concerning the Jordan theoretic approach, we refer to [22, 26, 30].
Let V be an irreducible Hermitian Jordan triple of rank r, with Jordan triple product denoted by {u;v;w}. The so-called spectral unit ball Ω ⊂ V is a bounded symmetric domain. Conversely, every (irreducible) bounded symmetric domain can be realized in this way. An example is the matrix space V = C r×s with triple product
giving rise to the matrix ball
In particular, for rank r = 1 we obtain the triple product
on V = C d, with inner product (u|v), giving rise to the unit ball
Let G denote the identity component of the full holomorphic automorphism group of Ω. Its maximal compact subgroup
consists of linear transformations preserving the Jordan triple product. For z, w ∈ V define the Bergman operator B z,w acting on V by
We can also write
where
and
denotes the so-called quadratic representation (conjugate linear in w). For matrices, we have D(z, w)v = zw ∗ v + vw ∗ z, Q z w = zw ∗ z and hence
An element c ∈ V satisfying c = Q c c is called a tripotent. For matrices these are the partial isometries. Any tripotent c induces a Peirce decomposition
Now we introduce certain K-invariant varieties. Every Hermitian Jordan triple V has a natural notion of rank defined via spectral theory. For fixed ℓ ≤ r let
denote the Jordan–Kepler manifold studied in [20]. It is a K C-homogeneous manifold whose closure is the Jordan–Kepler variety
We have
where
Here a, b are the so-called characteristic multiplicities defined in terms of a joint Peirce decomposition [26]. Moreover,
is the genus. As a fundamental property, there exists a Jordan triple determinant
which is a (non-homogeneous) sesqui-polynomial satisfying
For (r × s)-matrices, we have p = r + s and
as a consequence of (3.2). In particular, Δ(z, w) = 1 − (z|w) in the rank 1 case V = C d. A Hermitian Jordan triple U is called unital if it contains a (non-unique) tripotent u such that D(u, u) = 2⋅I. In this case U becomes a Jordan *-algebra with unit element u under the multiplication
and involution
This Jordan algebra has a homogeneous determinant polynomial N : U →C defined in analogy to Cramer’s rule for square matrices. Every Peirce 2-space \(V_2^c\) is a unital Jordan triple with unit c.
One can show that the smooth part of V ℓ (in the sense of algebraic geometry) is precisely given by Thus the singular points of V ℓ form the closed subvariety V ℓ−1, which has codimension > 1, unless we have the case ℓ = r for tube domains (b = 0). This case will be excluded in the sequel. The center consists of all tripotents of rank ℓ.
4 Hilbert Modules on Kepler Varieties
Combining the Kepler variety and the spectral unit ball, we define the Kepler ball
for any 0 ≤ ℓ ≤ r. The Kepler ball Ωℓ has singularities exactly at Ωℓ−1, so that the smooth part of Ωℓ is given by
Apart from the case ℓ = r on tube type domains, which we exclude here, the singular set Ωℓ−1 ⊂ Ωℓ has codimension > 1. Combining this with the fact that V ℓ is a normal variety (so that the second Riemann extension theorem holds) it follows that every holomorphic function on has a unique holomorphic extension to Ωℓ. Henceforth we will identify holomorphic functions on with their unique holomorphic extension to Ωℓ. For any K-invariant measure ρ on we have a polar integration formula
where ρ c is a measure on the symmetric cone \(\Lambda _2^c\) of \(V_2^c\) [22] called the radial part of ρ. Here \(\sqrt {t}\) denotes the Jordan algebraic square root in \(\Lambda _2^c.\) As a special case, consider the Riemann measure λ ℓ(dz) on which is induced by the normalized inner product on V. Denoting by Γℓ the Koecher–Gindikin Gamma function of \(\Lambda _2^c\) [22], its polar decomposition is
Here N c is the Jordan algebra determinant on \(V_2^c\) normalized by N c(c) = 1. For ℓ = r the Riemann measure on the open dense subset agrees with the Lebesgue measure, and (4.1) gives the well-known formula
for any maximal tripotent e ∈ S = S r. As a consequence of (4.1) we have for the Kepler ball
since \(\Delta (k\sqrt {t},k\sqrt {t})=\Delta (\sqrt {t},\sqrt {t})=N_c(c-t)\) for all \(t\in \Lambda _2^c\cap (c-\Lambda _2^c).\)
As a fundamental fact [22, 30] of harmonic analysis on Jordan algebras and Jordan triples, the Fischer–Fock reproducing kernel e (z|w), for the normalized K-invariant inner product (z|w) on V, has a “Taylor expansion”
over all integer partitions m = m 1 ≥ m 2 ≥… ≥ m r ≥ 0, where \(E^{\boldsymbol m}(z,w)=E^{\boldsymbol m}_w(z)\) are sesqui-polynomials which are K-invariant such that the finite-dimensional vector space
is an irreducible K-module. These K-modules are pairwise inequivalent and span the polynomial algebra \(\mathcal P(V).\) Let
denote the multi-variable Pochhammer symbol. Let \(\mathbf N_+^r\) denote the set of all partitions of length ≤ r. Restricted to the Kepler variety we only consider partitions in \(\mathbf N_+^\ell \) of length ≤ ℓ, completed by zeroes at the end.
Lemma 4.1
For any partition \({\boldsymbol m}\in \mathbf N_+^\ell \) of length ≤ ℓ we have
Proof
Applying [22, Theorem VII.1.7] to \(\Lambda _2^c\) yields
□
Let du be the K-invariant probability measure on S ℓ and put
Definition 4.2
Consider a coefficient sequence \((\rho _{\boldsymbol m})_{{\boldsymbol m}\in \mathbf N_+^\ell }\) normalized by ρ 0 = 1. Define a Hilbert space \(\mathcal M=\mathcal M_\rho \) of holomorphic functions on Ωℓ by imposing the K-invariant inner product
where \(f_{\boldsymbol m}\in \mathcal P_{\boldsymbol m}(V)\) denotes the m-th component of f.
The subnormal case arises when the inner product (4.5) has the form
where ρ is a K-invariant probability measure on the closure of Ωℓ or a suitable K-invariant subset which is a set of uniqueness for holomorphic functions. For the case ℓ = r, this was studied in detail for the tube type domains in [7] and completed for all bounded symmetric domains in [5]. By [20, Proposition 4.4] the Hilbert space
has the coefficient sequence
given by the moments of the radial part ρ c, which is a probability measure on \(\Lambda _2^c\) (not necessarily of full support). As a special case the Hardy type inner product (4.4), corresponding to the K-invariant probability measure du on S ℓ, has the point mass at c as its radial part, showing that all radial moments ρ m = 1.
It is clear that the Hilbert spaces \(\mathcal M_\rho \) defined by K-invariant measures are analytic Hilbert modules as defined above (however, consisting of holomorphic functions on a manifold instead of a domain). For more general coefficient sequences ρ m, one could in principle determine whether multiplication operators by polynomials are bounded (using certain growth conditions on the coefficient sequence), and whether the other requirements for analytic Hilbert modules hold. Important examples are listed below where the reproducing kernels are given by hypergeometric series. For the classical case ℓ = r, the well-understood analytic continuation of the scalar holomorphic discrete series of weighted Bergman spaces on Ω = Ωr [21] shows that the Hilbert module property extends beyond the subnormal case.
Proposition 4.3
For a given coefficient sequence ρ m, \(\mathcal M\) has the reproducing kernel
Proof
This follows from [20, Proposition 4.3] and the formula
obtained in [20, equation (5.5) in the proof of Theorem 5.1]. □
We will now present some examples, where the reproducing kernel (4.6) can be expressed in closed form as a multivariate hypergeometric series defined in general by
Applying (4.3) to m = 0 it follows that
is a probability measure on Moreover, applying (4.3) to any \({\boldsymbol m}\in \mathbf N_+^\ell \) it follows that the measure ρ ν has the coefficient sequence
Thus the Hilbert space
of holomorphic functions on Ωℓ has the reproducing kernel
In the classical case ℓ = r we have the probability measure
on Ω, whose reproducing kernel is given by
according to the Faraut–Korányi formula [21].
5 The Singular Set and Its Resolution
The only strongly pseudoconvex symmetric domains are the unit balls of rank r = 1. Here the singularity Ω0 consists of a single point {0}. The classical procedure to resolve this singularity is the monoidal transformation (blow-up process) where a point is replaced by a projective space of appropriate dimension. As the main geometric result in this paper, we obtain a generalization of the blow-up process for higher dimensional Kepler varieties and domains of arbitrary rank. The Jordan theoretic approach leads to quite explicit formulas which generalize the equations of the classical blow-up process of a point.
The general procedure outlined in Sect. 2 using monoidal transformations works in the case where the singularity is given by a regular sequence g 1, …, g m of polynomials generating the vanishing ideal \(\mathcal I.\) In this case the variety is a smooth complete intersection. If m = d equals the dimension, this variety reduces to a single point. The usual blow-up process around a point 0 ∈C d is the proper holomorphic map
where
is the tautological bundle over P d−1, with “collapsing map” π(w, U) := w. The map π is biholomorphic outside the exceptional fibre π −1(0) = P d−1. For the Kepler varieties studied here the singular set Ωℓ−1 has higher dimension and is not a complete intersection (unless ℓ = 1). Thus a regular generating sequence of polynomials does not exist. Instead, we use the harmonic analysis of polynomials provided by the Jordan theoretic approach to study the singular set. The main idea is to replace the projective space (a compact Hermitian symmetric space of rank 1) by a compact Hermitian symmetric space of higher rank, namely the Peirce manifold
of all Peirce 2-spaces of rank ℓ in V. This can also be realized as the conformal compactification of the Peirce 1-space \(V_1^c,\) for any rank ℓ tripotent c. For example, in the full matrix triple V = C r×s the Peirce 1-space of c = ( 1ℓ0 0 0 ) ∈ S ℓ is given by
Hence, in this case, the Peirce manifold M ℓ is the direct product of two Grassmann manifolds
In the simplest case r = 1 we have V = C d and for the tripotent c = (1, 0d−1) we have \(V_1^c=(0,\mathbf C^{d-1}).\) Its conformal compactification is \(\hat V_1^c=\mathbf P^{d-1},\) which is the exceptional fibre of the usual blow-up process for 0 ∈C d. More generally, for any non-zero tripotent c we have \(V_2^c=\mathbf C{\cdot }c\) and hence \(V_1^c\) becomes the orthogonal complement c ⊥ = C d−1, with conformal compactification \(\hat V_1^c=\mathbf P^{d-1}.\)
The standard charts of projective space P d−1 have the form
using homogeneous coordinates on P d−1. Note that for 1 ≤ i ≤ d, the rank 1 tripotent c i := (0, …, 0, 1, 0, …, 0) ∈C d has the Peirce 1-space
In the higher rank setting, the Bergman operators (3.1) serve to define canonical charts for the Peirce manifolds. For each tripotent c ∈ S ℓ and every \(t\in V_1^c\) the transformation B t,−c ∈ K C preserves the rank. It follows that has a Peirce 2-space denoted by [B t,−c c]. As shown in [29] the map
is a holomorphic chart of M ℓ. The range of the chart τ c is
Here N U : U →C denotes a Jordan algebra determinant of the Jordan triple U which, as a Peirce 2-space, is of tube type. The Jordan determinant is only defined after choosing a maximal tripotent in U as a unit element, but any two such determinant functions differ by a non-zero multiple. It is shown in [29] that the local charts τ c of M ℓ, for different tripotents c, c′∈ S ℓ, are compatible and hence form a holomorphic atlas on M ℓ.
One can make the passage z↦[z] to the Peirce 2-space more explicit by introducing the so-called (Moore-Penrose) pseudo-inverse. Every element has a pseudo-inverse determined by the properties
Using the pseudo-inverse, the orthogonal projection onto the Peirce 2-space of \(V_2^z\) can be explicitly written down.
Lemma 5.1
The pseudo-inverse of z := B t,−c c is given by
Combining these remarks, the chart (5.1) can be written down explicitly. It is also instructive to embed M ℓ into the conformal compactification \(\hat V\) of the underlying Jordan triple V (the compact Hermitian symmetric space that is dual to the spectral unit ball Ω). According to [26] \(\hat V\) can elegantly be described using a certain equivalence relation [z;w] for pairs z, w ∈ Z. As shown in [29], one may identify the Peirce 2-space \(V_2^z\) with the equivalence class \([z;\tilde z]\in \hat V.\) Thus the local chart (5.1) associated to a tripotent c ∈ S ℓ can also be expressed via the embedding
given by
where and \(\tilde z\) is computed via Lemma 5.1. In the sequel this more refined description of the local charts will not be needed.
Having found the exceptional fibre M ℓ for the higher-rank blow-up process, we now consider the tautological bundle
over M ℓ, together with the collapsing map
whose range is V ℓ. In [20] this map is used to show that V ℓ is a normal variety. This property implies the so-called second Riemann extension theorem for holomorphic functions, of crucial importance in the following. For each \(s\in V_2^c\) the rank ℓ element
has the same Peirce 2-space τ c(t) as B t,−c c. We define a local chart
by
By (5.2) the range of the chart ρ c is
One shows that the charts ρ c, for c ∈ S ℓ, define a holomorphic atlas on \(\hat V_\ell ,\) such that the collapsing map \(\pi :\hat V_\ell \to V_\ell \) is holomorphic and is biholomorphic outside the singular set. We call \(\hat V_\ell ,\) together with the collapsing map the (higher rank) blow-up of V ℓ.
Proposition 5.2
For rank 1, let c := (1, 0). Then
where s ∈C and t ∈C d−1. Here [s : t] = [s : t 1 : … : t d−1] denotes the homogeneous coordinates in P d−1.
Proof
Clearly, \(V_2^c=\mathbf C{\cdot }c=(\mathbf C,0)=[1:0]\) and \(V_1^c=(0,\mathbf C^{d-1}).\) Then
In particular, σ c(1, t) = (1, t) has the Peirce 2-space τ c(t) = C⋅(1, t) = [1 : t]. It follows that
□
More generally, taking for c = e i the i-th basis unit vector (1 ≤ i ≤ d) we obtain local charts
where ζ′ = (ζ j)j≠i. The finitely many charts ρ i (1 ≤ i ≤ d) form already a covering. Using the grid approach to Jordan triples one can similarly choose finitely many charts in the general case. However, for many arguments using K-invariance it is more convenient to take the continuous family of charts \((\rho _c)_{c\in S_\ell }.\)
Since the analytic Hilbert modules considered here are supported on the Kepler ball Ωℓ = Ω ∩ V ℓ we restrict the tautological bundle to the open subset
and obtain a collapsing map \(\pi :\hat \Omega _\ell \to \Omega _\ell \) by restriction. The main idea to study singular submodules \(\widetilde {\mathcal M}\) is now to construct a Hermitian holomorphic line bundle \(\hat {\mathcal L}\) over \(\hat \Omega _\ell ,\) whose curvature will be the crucial invariant of \(\widetilde {\mathcal M}.\)
Proposition 5.3
There exists a holomorphic line bundle \(\hat {\mathcal L}\) on \(\hat \Omega _\ell \) consisting of all equivalence classes
with λ ∈C. Here c, c′∈ S ℓ are tripotents such that
for \((s,t)\in V_2^c\times V_1^c\) and \((s',t')\in V_2^{c'}\times V_1^{c'}.\)
Proof
The condition (5.5) implies \(\sigma _c(s,t)=\sigma _{c'}(s',t')\) and \([\sigma _c(1,t)]=\tau _c(t)=\tau _{c'}(t')=[\sigma _{c'}(1,t')].\) This implies that N c(s) and \(N_{c'}(s')\) do not vanish. Since the quotient maps \(\frac {\overline {N_{c'}(s')}}{\overline {N_c(s)}}\) satisfy a cocycle property, it follows that
defines an equivalence relation yielding a holomorphic line bundle. □
At this point we do not fix a Hermitian metric on the line bundle \(\hat {\mathcal L}\) over \(\hat \Omega _\ell .\) The metric depends on the choice of singular submodules \(\widetilde {\mathcal M}\) which will be defined below.
6 Singular Hilbert Submodules
Consider the partition
of length ℓ, with 1 repeated ℓ times. Given the Hilbert module \(\mathcal M=\mathcal M_\rho \) as above, consider the K-invariant Hilbert submodule
The formula (4.6) yields the truncated kernel in the form
corresponding to vanishing of order ≥ 1 on V ℓ−1. Using the identity
one can also express this using Pochhammer symbols for m instead of m + 1.
Lemma 6.1
Let V be a unital Jordan triple, with Jordan algebra determinant N. Then we have
Proof
For tube type we have
Writing
it follows that
Since d m+1 = d m in the unital case, it follows that
□
Lemma 6.2
For \({\boldsymbol m}\in \mathbf N_+^\ell \) we have for \(s\in V_2^c\) and \(t\in V_1^c\)
Proof
Applying Lemma 6.1 to the tube type Peirce 2-space \(V_2^c\) of rank ℓ implies
Since \(E_c^{\boldsymbol m}(P_cB_{t,-c}^*z,s)=E^{\boldsymbol m}(B_{t,-c}^*z,s)=E^{\boldsymbol m}(z,B_{t,-c}s),\) the assertion follows. □
Since the truncated kernel \(\widetilde {\mathcal K}\) of \(\widetilde {\mathcal M}\) vanishes on the singular set V ℓ−1 it cannot be used directly to define a Hermitian line bundle over V ℓ−1. Instead, we first consider the module tensor product of \(H_0^2(\Omega _\ell )\) over the polynomial ring \(\mathcal P(V)\) with the one dimensional module C w, (p, w)↦p(w). Similar as in (2.1) we have, as a consequence of (6.1)
Here \(\mathcal P_{\boldsymbol 1}(V)\) is the finite-dimensional K-module belonging to the partition 1. The K-module \(\mathcal P_{\boldsymbol 1}(V)\) has dimension > 1 (since we exclude the case ℓ = r for tube type, where \(\mathcal P_{\boldsymbol 1}(V)\) is spanned by the Jordan algebra determinant N). The ideal \(\mathcal I\) associated to the variety V ℓ−1 is generated by \(\mathcal P_{\boldsymbol 1}(V).\) For each w ∈ Ωℓ there is a “cross-section” \(\mathcal P_{\boldsymbol 1}(V)\to H_0^2(\Omega _\ell )\) given by
where
Then \(\Psi _w(z)\in \mathcal M\) for each w ∈ Ωℓ. Let N i, i ∈ I be an orthonormal basis of \(\mathcal P_{\boldsymbol 1}(V).\) Then there is a holomorphic vector subbundle \(\mathcal E\subset \Omega _\ell \times \mathcal M\) over the Kepler ball Ωℓ, whose fibre at w ∈ V ℓ is the span
The vector bundle \(\mathcal E\) is independent of the choice of orthonormal basis N i. Consider the pull-back vector bundle
over \(\hat \Omega _\ell ,\) under the collapsing map π. We note that the “canonical” choice of higher rank vector bundle \(\mathcal E\) over Ωℓ, with typical fibre \(\mathcal P_{\boldsymbol 1}(V)\) associated with the quotient module, is only possible for irreducible domains. In the reducible case (2.2) of the bidisk there is no natural choice of a rank 2 vector bundle having the fibre < z 1, z 2 > at the origin.
Proposition 6.3
For all \((s,t)\in V_2^c\oplus V_1^c\) we have
Proof
This follows from the computation
□
Now consider the holomorphic line bundle \(\hat {\mathcal L}\) over the blow-up space \(\hat \Omega _\ell \) defined in Proposition 5.3.
Theorem 6.4
There exists an anti-holomorphic embedding \(\hat {\mathcal L}\subset \pi ^*\mathcal E,\) defined on each fibre \(\hat {\mathcal L}_{w,U}\subset (\pi ^*\mathcal E)_{w,U}=\mathcal E_w\) by
In short,
Proof
First we show that the map (6.3) is well-defined via the local charts (5.3). Suppose that c, c′∈ S ℓ satisfy
where \((s,t)\in V_2^c\times V_1^c\) and \((s',t')\in V_2^{c'}\times V_1^{c'}.\) Then we have
It follows that \(\widetilde {\mathcal K}_{B_{t,-c}s}=\widetilde {\mathcal K}_{B_{t',-c'}s'}\) and Proposition 6.3 implies
Since N c(s) and \(N_{c'}(s')\) don’t vanish on the overlap of the charts, it follows that
Thus the map (6.3) respects the equivalence relation (5.4). Moreover, the map (6.3) is anti-holomorphic in (s, t), with values in \(\mathcal M.\) In order to see that the range belongs to the span of N i(z) Ψw(z), where w = B t,−c s, choose holomorphic functions c i(t) such that
for all \(t\in V_1^c.\) It follows that
□
We are now able to define a Hermitian metric on the line bundle \(\hat {\mathcal L}\) over \(\hat \Omega _\ell .\) A Jordan theoretic argument yields
Lemma 6.5
For \(t\in V_1^c\) we have
and hence
Here Δ denotes the Jordan triple determinant (3.3).
Proposition 6.6
For all \((s,t)\in V_2^c\oplus V_1^c\) we have
Proof
Since \(P_cB_{t,-c}B_{t,-c}^*P_c\) belongs to the structure group of \(V_c^2\) it follows from Lemma 6.5 that
Now apply Proposition 6.3. □
Proposition 6.7
For each submodule \(\widetilde {\mathcal M}\subset \mathcal M,\) with truncated kernel (6.1), there exists a Hermitian metric on the line bundle \(\hat {\mathcal L}\) over \(\hat \Omega _\ell ,\) given by the local representatives
For this metric, the embedding (6.3) is isometric.
Proof
Since Proposition 6.6 implies
it follows that the embedding (6.3) is isometric. □
Definition 6.8
The Hilbert module over \(\hat \Omega _\ell \) associated with the Hermitian holomorphic line bundle \(\hat {\mathcal L}\) will be called the reduction of \(\widetilde {\mathcal M},\) and denoted by \(\hat {\mathcal M}.\) Note that this is different from the pull-back \(\pi ^*\mathcal E\) which is a vector bundle containing \(\hat {\mathcal L}\) as a subbundle.
The following rigidity theorem for singular submodules on Kepler varieties is our main analytic result.
Theorem 6.9
Consider two K-invariant Hilbert modules \(\widetilde {\mathcal M}_\rho \) and \(\widetilde {\mathcal M}_{\rho '}\) on Ω ℓ, for given coefficient sequences ρ m and \(\rho _{\boldsymbol m}^{\prime },\) respectively. Suppose that the reduced Hilbert modules \(\hat {\mathcal M}_\rho \) and \(\hat {\mathcal M}_{\rho '}\) on the blow-up space \(\hat \Omega _\ell \) are equivalent. Then we have equality \(\widetilde {\mathcal M}_\rho =\widetilde {\mathcal M}_{\rho '}.\)
Proof
The proof is an application of the ‘normalized kernel argument’ summarized in Proposition 1.1. Consider the reproducing kernels \(\hat {\mathcal K}^\rho \) and \(\hat {\mathcal K}^{\rho '}\) of the reduced Hilbert modules. It suffices to consider a local chart \(V_2^c\times V_1^c\) of \(\hat \Omega _\ell \) for a given tripotent c ∈ S ℓ defined in (5.3). As a consequence of module equivalence for line bundles, there exists a non-vanishing holomorphic function ϕ on the local chart \(V_2^c\times V_1^c\) of \(\hat \Omega _\ell \) such that
Putting y = 0 we obtain
Therefore ϕ is constant. After normalization, we may assume ϕ = 1. Then (6.4) implies
for all x, y. In view of (6.2), this implies \(\rho _{{\boldsymbol m}+{\boldsymbol 1}}=\rho _{{\boldsymbol m}+{\boldsymbol 1}}^{\prime }\) for all \({\boldsymbol m}\in \mathbf N_+^\ell .\) By (6.1), the singular submodules \(\widetilde {\mathcal M}\) and \(\widetilde {\mathcal M}^{\prime }\) have the same truncated kernel \(\widetilde {\mathcal K}(z,w)=\widetilde {\mathcal K}'(z,w).\) □
7 Outlook and Concluding Remarks
For the Hardy module H 2(D d) it is evident that not all submodules are of the form \([\mathcal I],\) for some ideal \(\mathcal I\) of the polynomial ring. (Here \([\mathcal I]\) is the closure of \(\mathcal I\) in H 2(D d)). Ahern and Clark [4] show that all submodules (of the Hardy module) of finite codimension are of this form. In general, if a submodule \(\widetilde {\mathcal M}\subseteq \mathcal M\) is not of the form \([\mathcal I]\), then it is not covered by the known Rigidity theorems with only one exception, namely [18, Theorem, pp. 70]. However, the geometric invariants constructed in [9] and in the current paper, it is hoped, might be useful in studying a much larger class of submodules. Recall that a submodule of an analytic Hilbert module \(\mathcal M\) based on the domain Ω defines a coherent analytic sheaf [8, 9]. It possesses a Hermitian structure away from the zero variety and on this smaller open set, we have a holomorphic Hermitian vector bundle, which determines the class of the submodule. What we have shown here is that it has an analytic Hermitian continuation to the blow-up space. This interesting phenomenon naturally leads to the notion of, what one may call a Hermitian sheaf and eventually determine the equivalence class of these in terms of the geometric data already implicit in the definition, as in the examples we have discussed here.
We conclude this paper with several remarks concerning interesting directions for future research.
Remark 7.1
In [28] we consider more general Hilbert modules related to Kepler varieties, where the integration does not take place on the Kepler ball Ωℓ but on certain boundary strata, including the Hardy type inner product (4.4). These Hilbert modules, and their submodules defined by a vanishing condition on Ωℓ−1 provide a wider class of natural examples to which the above treatment is applicable.
Remark 7.2
It is easy to generalize the singular Hilbert modules treated in this paper, defined by a vanishing condition of order 1 on the singular set, to vanishing conditions of higher order. In this case the truncated kernel, generalizing (6.1), has the form
corresponding to vanishing of order ≥ k on V ℓ−1. Here k = (k, …, k, 0, …, 0) with k repeated ℓ times. In principle, one could also start with an arbitrary partition μ > 0 of length ℓ and consider truncations such as
In this case one expects to have the finite-dimensional K-module \(\mathcal P_\mu (V)\) occurring as a quotient module. On the other hand, treating singularities where the rank decreases by more than 1, for example V ℓ−2 ⊂ V ℓ, or the origin V 0 = {0} as a singularity in Ω = Ωr, seems to be more difficult.
Remark 7.3
In the maximal rank case ℓ = r the ball Ωr = Ω is invariant under the full non-linear group G. For tube type domains, the singular set Ωr−1 has codimension 1, defined by vanishing of the Jordan algebra determinant. This case formally resembles the one-dimensional situation and is not covered by our approach (it was excluded to begin with). On the other hand, let V be a Hermitian Jordan triple not of tube type. There are three cases
-
The rectangular matrices V = C r×s with s > r.
-
The skew-symmetric matrices \(V=\mathbf C_{asym}^{N\times N}\) of odd order N = 2r + 1
-
The exceptional Jordan triple \(V=\mathbf O_{\mathbf C}^{1\times 2}\) of rank r = 2 and dimension 16.
For these cases the singular set
has codimension > 1. The intersection
with the unit ball Ω ⊂ V is an analytic subvariety of Ω. For any automorphism g ∈ G = Aut( Ω) we obtain another subvariety g( Ωr−1) ⊂ Ω. Since G acts on the weighted Bergman spaces \(\mathcal M_\nu =H_\nu ^2(\Omega )\) one can consider submodules of \(\mathcal M_\nu \) defined by vanishing on Ωr−1 and g( Ωr−1), respectively, where g ∈ G does not belong to K.
A similar situation arises for the so-called Mok embeddings
of the unit ball B = B n into a symmetric domain Ω of higher rank, constructed in [31]. Here c ∈ S 1 is any rank 1 tripotent. These embeddings have the property that the respective Bergman kernels satisfy
for all x, y ∈ B. Let B c := ι c(B) ⊂ Ω be the image variety (whose defining equations are explicitly known [31]) and consider, for g ∈ G, the subvariety g(B c) with associated Hilbert submodule \(\widetilde {\mathcal M}_\nu \subseteq \mathcal M_\nu \) defined by a vanishing condition on g(B c).
It would be of interest to study the reduced modules and rigidity problems for singular submodules in such a G-equivariant setting.
Remark 7.4
Beyond the scalar case treated in this paper, analytic Hilbert modules for higher rank vector bundles (n > 1) have recently attracted much attention [23,24,25, 27] and should give rise to interesting singular submodules as well.
References
M.B. Abrahamse, R.G. Douglas, A class of subnormal operators related to multiply connected domains, Adv. in Math., 19 (1976), 106–148.
O.P. Agrawal, N. Salinas, Sharp kernels and canonical subspaces (revised), Amer. J. Math. 110 (1988), 23–47.
O.P. Agrawal, D.N. Clark, R.G. Douglas, Invariant subspaces in the polydisk, Pac. J. Math., 121 (1986), 1–11.
P. Ahern, D.N. Clark, Invariant subspaces and analytic continuation in several variables, J. Math. Mech. 19 (1969/1970), 963–969.
J. Arazy, G. Zhang, Homogeneous multiplication operators on bounded symmetric domains, J. Functional Anal. bf 202(2003), 44–66.
D. Bekollé, C.A. Berger, L.A. Coburn, K. Zhu, BMO in the Bergman metric on bounded symmetric domains, J. Functional Anal. 93 (1990), 310–350.
B. Bagchi, G. Misra, Homogeneous operator tuples on twisted Bergman spaces, J. Funct. Anal., 136 (1996), 171–213.
S. Biswas, G. Misra, M. Putinar, Unitary invariants for Hilbert modules of finite rank, J. Reine Angew. Math. 662 (2012), 165–204.
S. Biswas, G. Misra, Resolution of singularities for a class of Hilbert modules, Indiana Univ. Math. J. 61 (2012), 1019–1050.
C.A. Berger, L.A. Coburn, A. Lebow, Representation and index theory for C ∗ -algebras generated by commuting isometries, J. Functional Analysis, 27 (1978), 51–99.
H. Bommier-Hato, M. Engliš, E.-H. Youssfi, Bergman kernels, TYZ expansions and Hankel operators on the Kepler manifold, J. Funct. Anal. 271 (2016), 264–288.
M.J. Cowen, R.G. Douglas, Complex geometry and operator theory, Acta Math. 141 (1978), 187–261.
M.J. Cowen, R.G. Douglas, On moduli for invariant subspaces, Operator Theory: Advances and Applications 6, 65–73, Birkhäuser, Basel, 1982.
R.E. Curto, N. Salinas, Generalized Bergman kernels and the Cowen–Douglas theory, Amer J. Math. 106 (1984), 447–488.
R.G. Douglas, G. Misra, Equivalence of quotient Hilbert modules, Proc. Indian Acad. Sc. (Math. Sc.) 113 (2003), 281–291.
R.G. Douglas, G. Misra, C. Varughese, Geometric invariants for quotient modules from resolutions of Hilbert modules, Operator Theory: Advances and Application 129, 241–270, Birkhäuser, Basel, 2001.
R.G. Douglas, V.I. Paulsen, Hilbert Modules over Function Algebras, Pitman research notes in mathematics, no. 217, Longman Scientific and Technical, 1989.
R. G. Douglas, V.I. Paulsen, K. Yan, Operator theory and algebraic geometry, Bull. Amer. Math. Soc. 20 (1990), 67–71.
R.G. Douglas, V.I. Paulsen, C.H. Sah, K. Yan, Algebraic reduction and rigidity for Hilbert modules, Amer. J. Math. 117 (1995), 75–92.
M. Englis, H. Upmeier, Reproducing Kernels and Asymptotic Expansions on Jordan–Kepler Varieties. Adv. in Math. 347 (2019), 780–826
J. Faraut, A. Korányi, Function spaces and reproducing kernels on bounded symmetric domains, J. Funct. Analysis 88 (1990), 64–89
J. Faraut, A. Korányi, Analysis on Symmetric Cones, Clarendon Press, Oxford, 1994.
A. Korányi, G. Misra, Homogeneous bundles and operators in the Cowen–Douglas class, C. R. Math. Acad. Sci. Paris, 354 (2016), 291–295.
A. Korányi, G. Misra, A classification of homogeneous operators in the Cowen–Douglas class, Adv. Math., 226 (2011), 5338–5360.
A. Korányi and G. Misra, Homogeneous Hermitian holomorphic vector bundles and the Cowen–Douglas class over bounded symmetric domains, Adv. Math., 351 (2019), 1105–1138226.
O. Loos, Bounded Symmetric Domains and Jordan Pairs, Univ. of California, Irvine 1977
G. Misra, H. Upmeier, Homogeneous vector bundles and intertwining operators for symmetric domains, Adv. Math. 303 (2016), 1077–1121
G. Misra, H. Upmeier, Toeplitz C ∗ -algebras on boundary orbits of symmetric domains, preprint (2019)
B. Schwarz, Jordan theoretic G-orbits and flag varieties, PhD Thesis, University of Marburg, (2010), https://archiv.ub.uni-marburg.de/diss/z2010/0625.
H. Upmeier, Multivariable Toeplitz Operators and Index Theory. Birkhäuser, Basel, 1996.
H. Upmeier, K. Wang, G. Zhang, Holomorphic isometries from the unit ball into symmetric domains, Int. Math. Res. Notices 2019 (2019), 55–89.
R.O. Wells, Differential Analysis on Complex Manifolds, Graduate Texts in Math. 65 (1980), Second Edition, Springer-Verlag, New York-Berlin.
Acknowledgement
We thank the referee for going through the first draft of this paper carefully and making several very useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Misra, G., Upmeier, H. (2020). Singular Hilbert Modules on Jordan–Kepler Varieties. In: Curto, R.E., Helton, W., Lin, H., Tang, X., Yang, R., Yu, G. (eds) Operator Theory, Operator Algebras and Their Interactions with Geometry and Topology . Operator Theory: Advances and Applications, vol 278. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-43380-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-43380-2_20
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-43379-6
Online ISBN: 978-3-030-43380-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)