ScalingStacks

Theorem 1.5 . [03YQ]

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 1.5.

(cf. Theorem 2.1 in [31]) Let Vi​jV^{ij}, respectively Wp​q¯W^{p\bar{q}}, be real symmetric positive definite/Hermitian matrices of smooth functions on ℬ0\mathcal{B}^{0}, locally given by some potential function Φ\Phi:

(1.5) Vi​j=∂2Φ∂μi​∂μj,Wp​q¯=−4​∂2Φ∂ηp​∂η¯q,1≤i,j≤𝔫,1≤p,q≤N−𝔫.V^{ij}=\frac{\partial^{2}\Phi}{\partial\mu_{i}\partial\mu_{j}},\quad W^{p\bar{q}}=-4\frac{\partial^{2}\Phi}{\partial\eta_{p}\partial\bar{\eta}_{q}},\quad 1\leq i,j\leq\mathfrak{n},\quad 1\leq p,q\leq N-\mathfrak{n}.

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

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

Suppose further that 12​π​(F1,…,F𝔫)\frac{1}{2\pi}(F_{1},\ldots,F_{\mathfrak{n}}) is in the cohomology class c1∈H2​(ℬ0,𝔱ℤ)c_{1}\in H^{2}(\mathcal{B}^{0},\mathfrak{t}_{\mathbb{Z}}). Then there exists a connection ϑ\vartheta on the principal bundle M→ℬ0M\to\mathcal{B}^{0} with curvature d​ϑi=Fid\vartheta_{i}=F_{i} for i=1,…,𝔫i=1,\ldots,\mathfrak{n}, such that MM is a Kähler manifold with metric tensor

(1.7) h=(V−1)i​j​ζi⊗ζ¯j+Wp​q¯​d​ηp⊗d​η¯q,ω=d​μj∧ϑj+−12​Wp​q¯​d​ηp∧d​η¯q,h=(V^{-1})^{ij}\zeta_{i}\otimes\bar{\zeta}_{j}+W^{p\bar{q}}d\eta_{p}\otimes d\bar{\eta}_{q},\quad\omega=d\mu_{j}\wedge\vartheta_{j}+\frac{\sqrt{-1}}{2}W^{p\bar{q}}d\eta_{p}\wedge d\bar{\eta}_{q},

where ζj=Vi​j​d​μi+−1​ϑj\zeta_{j}=V^{ij}d\mu_{i}+\sqrt{-1}\vartheta_{j} and ηp\eta_{p} form a basis of type (1,0) forms which defines an integrable complex structure. There is a nowhere vanishing holomorphic form on MM:

(1.8) Ω=∧j=1𝔫(−−1ζj)⋀∧p=1N−𝔫dηp.\Omega=\wedge_{j=1}^{\mathfrak{n}}(-\sqrt{-1}\zeta_{j})\bigwedge\wedge_{p=1}^{N-\mathfrak{n}}d\eta_{p}.

The Calabi-Yau condition ωN=N!2N​−1N2​Ω∧Ω¯\omega^{N}=\frac{N!}{2^{N}}\sqrt{-1}^{N^{2}}\Omega\wedge\overline{\Omega} is equivalent to the equation

(1.9) det(Vi​j)=det(Wp​q¯).\det(V^{ij})=\det(W^{p\bar{q}}).

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