ScalingStacks

Proof. [03T7]

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

Proof. It follows from the fact that LL is Lagrangian. Indeed, let us lift LL to TY∗T_{Y}^{\ast}. Then locally in a neighborhood of a connected component of LL, one can find a smooth real function f=f⁡(y)f=f(y) such that L=d​fL=df. We can write the local equation for LL: xj∨=∂f/∂yj,1≤j≤nx_{j}^{\vee}=\partial f/\partial y_{j},1\leq j\leq n. The connection ∇E\nabla_{E} can be locally written as ∇E,0+idE⊗(2πi/ε∑j∂f/∂yjdxj)\nabla_{E,0}+id_{E}\otimes(2\pi i/\varepsilon\sum_{j}\partial f/\partial y_{j}dx_{j}), where ∇E,0\nabla_{E,0} is the trivial flat connection on the vector bundle EE. Since the holomorphic coordinates on TYT_{Y} are given by zj=yj+i​xj,i=−1z_{j}=y_{j}+ix_{j},i=\sqrt{-1}, one sees that the (0,2)(0,2)-part of the curvature is equal to c​u​r​v​(∇E)(0,2)=c​o​n​s​t×(∑j,k∂2f/∂yj​∂yk​d​zj¯​d​zk¯)=0curv(\nabla_{E})^{(0,2)}=const\times(\sum_{j,k}\partial^{2}f/\partial y_{j}\partial y_{k}d\bar{z_{j}}d\bar{z_{k}})=0. The Proposition is proved. ■\blacksquare

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