Weighted integral formulas on manifolds (Q942038)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weighted integral formulas on manifolds
scientific article

    Statements

    Weighted integral formulas on manifolds (English)
    0 references
    0 references
    3 September 2008
    0 references
    Let \(X\) be a complex manifold of dimension \(n\) and \(E\to X_\zeta\times X_z\) a rank \(n\) vector bundle that admits a holomorphic section \(\eta\) that defines the diagonal \(\Delta\) of \(X \times X\). Let \(\delta_\eta\) denote the contraction with \(\eta\) and \(\nabla_\eta = \delta_\eta -\overline\partial\). We fix a section \(u\) on \(E^*\) such that \(\nabla_\eta u = 1 -R\), where \(R\) has support on \(\Delta\). Let \(h\) be a Hermitian metric on \(E\) and \(D_E\) the associated Chern connection. It induces a connection \(D_{E^*}\) on the dual bundle \(E^*\). To each element \(A\) of \(C^\infty (X\times X ,\,T^*(X\times X ) \otimes E \otimes E^*\,)\) corresponds an element \(\widetilde A \) in \[ G_E:= C^\infty (X\times X ,\,\bigwedge [T^*(X\times X ) \otimes E \otimes E^*]), \] which arises from \(A\) by arranging the differential form first, then the section of \(E\) and finally the section of \(E^*\). For a section \(f\) of \(E\), we put \(D f:=\widetilde{D_Ef}\) and \(Dg:= \widetilde{D_{E^*} g}\) for a section \(g\) of \(E^*\). Finally, \(D\) extends to a derivation on \(G_E\). Then, the following formula is derived. Let \[ K= \int_E u \wedge\biggl(\frac{D \eta}{2 \pi i} + \frac{i\widetilde \Theta} {2\pi}\biggr)_n ,\qquad P=\int_E\biggl(\frac{D \eta}{2 \pi i} + \frac{i\widetilde \Theta}{2\pi}\biggr)_n. \tag{1} \] Then \[ \overline\partial K = [\Delta] - P, \] where \([\Delta]\) denotes the current of integration over \(\Delta\). This is applied to the case \(X= \mathbb P^n\) and the bundle \(E\) that is obtained as follows: First let \(F'= \mathbb C^{n+1} \times (\mathbb P^n_{[\zeta]} \times \mathbb P^n_{[z]})\) be the trivial bundle over \( \mathbb P^n_{[\zeta]}\times \mathbb P^n_{[z]}\) and \(F\) the rank \(n\) bundle over \( \mathbb P^n_{[\zeta]}\times \mathbb P^n_{[z]}\) with fiber \( \mathbb C^n/(\zeta)\) at the point \(([\zeta],[z])\). Now let \(L^{-1}\) be the tautological line bundle over \( \mathbb P^n\) and \(L^1\) its dual bundle. Then the above applies to the bundle \(E:=F \otimes L^1_{[z]}\to \mathbb P^n_{[\zeta]}\times \mathbb P^n_{[z]}\). Explicit formulas for \(D_E\) and \(\Theta\) are computed, and finally a '``weighted'' Koppelman formula is obtained: Let \(D \subset \mathbb{P}^n\). If \(\varphi (\zeta)\) is a \((p,q)\)-form with values in \(L_{[\zeta]}^{-n+p}:=(L^{-1})^{\otimes (n-p)}\), then \[ \varphi ([z])= \int_{\partial D} \varphi K_p \wedge \varphi + \int_D\overline\partial K_p \wedge \varphi +\overline\partial_{[z]} \int_D K_p \wedge \varphi + \int_D P_p \wedge \varphi , \] with explicit kernels \(K_p\) and \(P_p\) that are defined analogously to (1). The integrals are taken in the \([\zeta]\)-variable.
    0 references
    Koppelman formulas
    0 references
    vector bundles
    0 references
    Hermitian structures
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references