Super Toeplitz operators on line bundles (Q2434057)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Super Toeplitz operators on line bundles |
scientific article |
Statements
Super Toeplitz operators on line bundles (English)
0 references
31 October 2006
0 references
Let \((X,\omega)\) be a compact Hermitian manifold of dimension \(n\) and \((L,h_L)\) be a Hermitian holomorphic line bundle on \(X\). The Bergman kernel of \(H^0(X,L)\) is defined by \[ K(x,y)=\sum_i s_i(x) \otimes s_i(y)^{*_{h_L}} \] for \((s_i)_i\) a orthonormal basis for \(H^0(X,L)\) with respect to the \(L^2\) norm induced by \(\omega\) and \(h_L\). The Bergman function is the restriction to the diagonal of \(X \times X\) of the Bergman kernel. For \(f\) a bounded measurable function on \(X\) with complex values, one can define the Toeplitz operator \(T_f:L^2(X,L)\to H^0(X,L)\) with symbol \(f\) to be the composition of the multiplication by \(f\) with the projection onto the space of holomorphic sections. The asymptotic behavior of the Bergman function \(B_k\) for \(L^k\) when \(k\) tends to infinity has been extensively studied in the last few years and appears to be a fundamental object in complex geometry, especially when \(L\) is positive. It is used in particular to study the asymptotic properties of Toeplitz operators acting on \(H^0(X,L^k)\). The paper under review investigates the case of \(L\) with semi-positive curvature and the extended Bergman kernel for harmonic \((0,q)\)-forms with value in \(L^k\). Let's define \(X(q)\) to be the subset of \(X\) where the curvature form of \(L\) is nondegenerate and has exactly \(q\) negative values. Using Demailly's holomorphic Morse inequalities, the first part of the paper proves that the first term of the asymptotic of the Bergman function converges in \(L^1\) topology towards the restriction to \(X(0)\) of the usual term under the assumption that \(X(1)\) is empty, i.e., \[ \frac{B_k}{k^n}(x) \rightarrow \mathbf{1}_{X(0)}\Big| \mathrm{det}_{\omega}\left(i\partial\bar\partial \phi \right)_x \Big| \] where \(\phi\) is a local potential for the fixed metric on \(L\) when \(X(1)=\emptyset\). Of course, this gives the first term of the asymptotic of the associated Toeplitz operator, and the proof also shows that the norm of the Bergman kernel \(| K(x,y)| \) tends to zero off the diagonal (for the leading order) in weak topology. In the same vein, an asymptotic distribution of the eigenvalues of \(T_f\) is given in terms of the symbol of the operator, which can be seen as a generalization of a result of \textit{L. Boutet de Monvel} and \textit{V. Guillemin} [The spectral theory of Toeplitz operators. Annals of Mathematics Studies, No. 99. (Princeton, New Jersey): Princeton University Press; University of Tokyo Press (1981; Zbl 0469.47021)] to semi-positive line bundles. Moreover, an analog for the problem of sampling in [\textit{B. Berndtsson}, Contemp. Math. 332, 1--17 (2003; Zbl 1038.32003)] is derived in that case, and a necessary -- and natural -- condition is described to get a sequence of sampling sets. In the second part of the paper, the author generalises the previous results to the elements of the space \(\mathcal{H}^{q}(X,L^k)\) of \(\bar\partial\)-harmonic \((0,q)\)-forms with value in \(L^k\). After deriving local holomorphic Morse inequalities in the spirit of [\textit{R. Berman}, Math. Z. 248, No. 2, 325--344 (2004; Zbl 1066.32002)], the first term of the asymptotic of the Bergman form for low-energy \((q,q)\)-forms in the Hilbert space \(\mathcal{H}^{q}(X,L^k)\) is given when \(X(q+1)=X(q-1)=\emptyset\) in \(L^1\) topology. This leads to the generalizations for the asymptotics of the corresponding (super) Toeplitz operators, whose symbol is a differential form on \(X\). Note that this last part uses Demailly's strong Morse inequalities and the formalism of Berezin's integration for supermanifolds.
0 references
line bundles
0 references
Bergman kernel
0 references
Toeplitz operator
0 references
asymptotic expansion
0 references
semi-positive curvature
0 references
0 references
0 references