ScalingStacks

Proposition 3.2 [031V]

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

Proposition 3.2

With the notation as above, let h⁡(y)=f⁡(y1,y2)+i​g​(y1,y2)h(y)=f(y_{1},y_{2})+ig(y_{1},y_{2}) be a holomorphic function on DrD_{r}, so that −14​π​log⁡|y|2+f⁡(y1,y2)>0-{1\over 4\pi}\log|y|^{2}+f(y_{1},y_{2})>0 on DrD_{r}. Let V0V_{0} be the harmonic function on YY defined in Lemma 3.1, and V=V0+f⁡(y1,y2)/ϵV=V_{0}+f(y_{1},y_{2})/\epsilon, with ϵ\epsilon chosen small enough so that V>0V>0 on YY. Then there exists a connection 1-form θ\theta on XX such that dθ/2πi=∗dVd\theta/2\pi i=*dV, and this defines a hyperkähler metric on XX with

−ReΩ=d​y1∧θ/2​π​i+V​d​y2∧d​u−ImΩ=d​y2∧θ/2​π​i+V​d​u∧d​y1ω=d​u∧θ/2​π​i+V​d​y1∧d​y2.\eqalign{-\mathop{\rm Re}\Omega&=dy_{1}\wedge\theta/2\pi i+Vdy_{2}\wedge du\cr-\mathop{\rm Im}\Omega&=dy_{2}\wedge\theta/2\pi i+Vdu\wedge dy_{1}\cr\omega&=du\wedge\theta/2\pi i+Vdy_{1}\wedge dy_{2}.\cr}

These forms extend to X¯\bar{X}, giving a hyperkähler metric on X¯\bar{X}, and a holomorphic elliptic fibration X¯→Dr\bar{X}\rightarrow D_{r} with periods 11 and 12​π​i​log⁡y+i​h​(y)+C{1\over 2\pi i}\log y+ih(y)+C, for some real constant CC. By appropriate choice of θ\theta, this constant CC may be taken to be zero.

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