ScalingStacks

Proof of Lemma 3.29 . [0513]

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 of Lemma 3.29.

This follows from elementary manipulation. First, the holomorphic coordinates {wi}i=1n−1\{w_{i}\}_{i=1}^{n-1} can be chosen such that gi​j¯​(0)=δi​jg_{i\bar{j}}(0)=\delta_{ij} for all 1≤i,j≤n−11\leq i,j\leq n-1. By the substitution of the form

(3.322) {wi=zi+12∑j,k=2n−1Ci​j​kzjzk+∑j=2n−1Di​jz1zj+Eiz12, 2≤i≤n−1,w1=z1+∑j=1n−1Fj​z1​zj,\begin{cases}w_{i}=z_{i}+\frac{1}{2}\sum\limits_{j,k=2}^{n-1}C_{ijk}z_{j}z_{k}+\sum\limits_{j=2}^{n-1}D_{ij}z_{1}z_{j}+E_{i}z_{1}^{2},\ \ 2\leq i\leq n-1,\\ w_{1}=z_{1}+\sum\limits_{j=1}^{n-1}F_{j}z_{1}z_{j},\end{cases}

with suitable choices of coefficients, where Ci​j​k=Ci​k​jC_{ijk}=C_{ikj} for 2≤i,j,k≤n−12\leq i,j,k\leq n-1. One can plug both the Taylor expansion of gi​j¯g_{i\bar{j}} along zkz_{k}’s and (3.322) into ωD\omega_{D}. Comparing the coefficients, then it follows that,

(3.323) {Ci​j​k=−∂wkgj​i¯(0),Di​j=−∂wjg1​i¯(0),Ei=−12∂w1g1​j¯(0),Fi=−∂wjg1​1¯(0),F1=−12∂w1g1​1¯(0),\displaystyle\begin{cases}C_{ijk}=-\partial_{w_{k}}g_{j\bar{i}}(0),\\ D_{ij}=-\partial_{w_{j}}g_{1\bar{i}}(0),\\ E_{i}=-\frac{1}{2}\partial_{w_{1}}g_{1\bar{j}}(0),\\ F_{i}=-\partial_{w_{j}}g_{1\bar{1}}(0),\\ F_{1}=-\frac{1}{2}\partial_{w_{1}}g_{1\bar{1}}(0),\end{cases}

where 2≤i,j,k≤n−12\leq i,j,k\leq n-1. Then we can achieve (3.319) with {wi}i=1n−1\{w_{i}\}_{i=1}^{n-1} replaced by {zi}i=1n−1\{z_{i}\}_{i=1}^{n-1}.

∎

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