Theta functions and holomorphic differential forms on compact quotients of bounded symmetric domains (Q762318): Difference between revisions

In der vorliegenden Arbeit wird die Existenz von holomorphen Differentialformen auf kompakten Quotienten der folgenden drei Typen Cartanscher Bereiche untersucht: \(X_{p,q}:=\{Z\in M_{p,q}({\mathbb{C}})|^ t\bar ZZ<1_ q\}\simeq SU(p,q)/S(U(p)\times U(q\quad)),\) \(X^+_ q:=\{Z\in X_{q,q}|^ tZ=Z\}\simeq Sp(q,{\mathbb{R}})/U(q),\) \(X^-_ q:=\{Z\in X_{q,q}|^ tZ=-Z\}\simeq S0^*(2q)/U(q).\) Die diesbezüglichen drei Hauptergebnisse sind die folgenden: (A) Es sei p,q,r,s\(\in {\mathbb{Z}}\) mit \(p,q>0\) und \(0\leq r\leq p\), \(0\leq s\leq q\). Dann existiert eine kompakte Kähler-Mannigfaltigkeit V mit universeller Überlagerung \(X_{p,q}\), derart, daß \(H^{(pq- rs,0)}(V)\neq \{0\}.\)- (B) Es sei q,r\(\in {\mathbb{Z}}\) mit \(q>0\) und \(0\leq r\leq q\). Dann existiert eine kompakte Kähler-Mannigfaltigkeit V mit universeller Überlagerung \(X^+_ q\), derart, daß \(H^{q(q-1)/2- r(r-1)/2,0}(V)\neq \{0\}.\)- (C) Es sei q,r\(\in {\mathbb{Z}}\) mit \(q>1\) und \(1\leq r\leq q\). Dann existiert eine kompakte Kähler-Mannigfaltigkeit V mit universeller Überlagerung \(X^-_ q\), derart, daß \(H^{q(q- 1)/2-r(r-1)/2,0}(V)\neq \{0\}.\) Diese Ergebnisse sind in dem Sinne scharf, daß auf kompakten Quotienten von \(X_{p,q}\), \(X^+_ q\), \(X^-_ q\) aufgrund der Verschwindungssätze von \textit{R. Parthasarathy} [Proc. Indian Acad. Sci., Math. Sci. 89, 1-24 (1980; Zbl 0434.22011)] keine von Null verschiedenen holomorphen Differentialformen existieren, deren Grade von den oben angegebenen Graden verschieden sind. Die Beweise benutzen wesentlich die Theorie der Thetafunktionen und werden sämtlich nach dem folgenden Schema durchgeführt: Es sei \(X\subset {\mathbb{C}}^ n\) ein beschränktes, symmetrisches Gebiet und \(x_ 0\in X\). Die halbeinfache, zusammenhängende Lie-Gruppe G operiere transitiv und biholomorph auf X, derart, daß der Stabilisator K von \(x_ 0\) kompakt ist. Es sei \(F: G\to X\) die durch \(g\mapsto g(x_ 0)\) gegebene Abbildung und \({\mathfrak g}\) die Lie-Algebra der links-invarianten komplexen Vektorfelder auf G, sowie \({\mathfrak m}\) die Unteralgebra von \({\mathfrak g}\), die alle Funktionen der Gestalt \(f\circ F\) annulliert, wobei \(f: X\to {\mathbb{C}}\) holomorph ist. Der Polynomring \({\mathbb{C}}[u]_ n\) in n Variablen \(u=(u_ 1,...,u_ n)\) trage die Struktur eines \({\mathfrak sp}(n,{\mathbb{R}})\)-Moduls, die als infinitesimale Weil-Darstellung bekannt ist. Ist \(\Phi: G\to Sp(n,{\mathbb{R}})\) ein Homomorphismus und \(\Phi ': {\mathfrak g}\to {\mathfrak sp}(n,{\mathbb{R}})\otimes_{{\mathbb{R}}}{\mathbb{C}}\) die induzierte Abbildung, so erhält \({\mathbb{C}}[u]_ n\) dann vermöge \(\Phi\) ' die Struktur eines \({\mathfrak g}\)-Moduls. Es existiere nun ein \(\sigma_ 0\in Sp(n,{\mathbb{R}})\), derart, daß \(\Phi^{-1}(\sigma_ 0Sp(n,{\mathbb{R}})\sigma_ 0^{-1})\) eine diskrete, kokompakte Untergruppe von G ist. Ferner sei für \(m\in {\mathbb{N}}\) mit \(m\leq n\) die Bedingung \(Hom_{{\mathfrak m}(\wedge^ m({\mathfrak g}}/{\mathfrak m}),\quad {\mathbb{C}}[u]_ n)\neq \{0\}\) erfüllt. Dann existiert eine kompakte Kähler-Mannigfaltigkeit V mit universeller Überlagerung X, derart, daß \(H^{(m,0)}(V)\neq \{0\}\) gilt.