ScalingStacks

Remark 4.3.2 . [051M]

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

Remark 4.3.2.

As explained in Section 2, a priori these structures depend on the choice of Θ\Theta. But we claim that in our current setting b1​(D)=0b_{1}(D)=0, the choice of Θ\Theta will not change the isomorphism class of the Kähler structures. Given two choices Θ\Theta and Θ′\Theta^{\prime}, then the difference Θ′−Θ\Theta^{\prime}-\Theta is a closed 1-form on QT∖PQ_{T}\setminus P. Since PP has codimension 33 in QQ, we know H1​(QT∖P,ℝ)≃H1​(Q,ℝ)≃H1​(D,ℝ)H^{1}(Q_{T}\setminus P;\mathbb{R})\simeq H^{1}(Q;\mathbb{R})\simeq H^{1}(D;\mathbb{R}). Hence we can write

(4.38) Θ′−Θ=d​f+β\Theta^{\prime}-\Theta=df+\beta

for a function ff on QT∖PQ_{T}\setminus P and a harmonic 1-form β\beta on DD. So if b1​(D)=0b_{1}(D)=0 then β=0\beta=0, and the isomorphism class of the Kähler structure (ω,Ω)(\omega,\Omega) does not depend on the choice of Θ\Theta. In the general case when b1​(D)>0b_{1}(D)>0, up to gauge equivalence, Θ\Theta and Θ′\Theta^{\prime} differ by the pull-back of a flat connection on DD. In Remark 4.8.2 we shall see the geometric meaning of this.

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