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
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
0 references