ScalingStacks

Theorem 2.1 (cf. [ PP91 ] ) . [05CB]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Theorem 2.1 (cf. [PP91]).

Let Vi​jV^{ij}, respectively Wp​qW^{pq}, be real symmetric, respectively hermitian, positive definite matrices of smooth functions on B∘B^{\circ}, locally given by some potential function Φ\Phi:

(1) Vi​j=∂2Φ∂uj​∂uj,Wp​q=−4​∂2Φ∂ηp​∂η¯q,1≤i,j≤nn+1≤p,q≤N.V^{ij}=\frac{\partial^{2}\Phi}{\partial u_{j}\partial u_{j}},\quad W^{pq}=-4\frac{\partial^{2}\Phi}{\partial\eta_{p}\partial\bar{\eta}_{q}},\qquad 1\leq i,j\leq n\quad n+1\leq p,q\leq N.

Then the following 𝔱\mathfrak{t}-valued 2-form is closed:

(2) Fj=−1​(12​∂Wp​q∂uj​d​ηp∧d​η¯q+∂Vi​j∂ηp​d​ui∧d​ηp−∂Vi​j∂η¯q​d​ui∧d​η¯q).F_{j}=\sqrt{-1}\left(\frac{1}{2}\frac{\partial W^{pq}}{\partial u_{j}}d\eta_{p}\wedge d\bar{\eta}_{q}+\frac{\partial V^{ij}}{\partial\eta_{p}}du_{i}\wedge d\eta_{p}-\frac{\partial V^{ij}}{\partial\bar{\eta}_{q}}du_{i}\wedge d\bar{\eta}_{q}\right).

Suppose, in addition, that detVi​j=detWp​q\det V^{ij}=\det W^{pq} and (F1,…,Fn)(F_{1},\dots,F_{n}) is in the cohomology class 2​π​[ν]2\pi[\nu]. Then there exist a connection on the bundle M→BM\to B with associated 1-forms AiA_{i} and the curvature (F1,…,Fn)(F_{1},\dots,F_{n}) such that MM is a Kähler manifold with Ricci-flat metric given by

(3) h=(V−1)i​j​d​zi⊗d​z¯j+Wp​q​d​ηp⊗d​η¯q,h=(V^{-1})^{ij}dz_{i}\otimes d\bar{z}_{j}+W^{pq}d\eta_{p}\otimes d\bar{\eta}_{q},

where d​zj=Vi​j​d​ui+−1⋅Ajdz_{j}=V^{ij}du_{i}+\sqrt{-1}\cdot A_{j} and d​ηpd\eta_{p} form a basis of holomorphic 1-forms. The holomorphic NN-form and the Kähler form:

(4) Ω=∧j=1kdzj⋀∧p=1ldηp,ω=duj∧Aj+−12⋅Wp​qdηp∧dη¯q\Omega=\wedge_{j=1}^{k}dz_{j}\bigwedge\wedge_{p=1}^{l}d\eta_{p},\qquad\omega=du_{j}\wedge A_{j}+\frac{\sqrt{-1}}{2}\cdot W^{pq}d\eta_{p}\wedge d\bar{\eta}_{q}

are compatible in the sense that Ω∧Ω¯=c​o​n​s​t⋅ωN\Omega\wedge\bar{\Omega}=const\cdot\omega^{N}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.