ScalingStacks

Verified tagged author-source HTML · 2006.13068v1 · cited publication edition alignment unverified.

We choose a nonempty EJE_{J} which realizes the maximum in (2.2), with m=|J|−1m=|J|-1, and relabel so that J={0,…,m}J=\{0,\dots,m\}. We also denote by UU an open neighborhood of EJE_{J} in 𝔛\mathfrak{X} which can be covered by finitely many adapted coordinate charts as above. In particular, in these charts we have

(3.1) in2​Ωt∧Ωt¯=|fJ|2​∏j=1mi​d​zjzj∧d​zj¯zj¯∧∏k=m+1ni​d​zk∧d​zk¯.i^{n^{2}}\Omega_{t}\wedge\overline{\Omega_{t}}=|f_{J}|^{2}\prod_{j=1}^{m}i\frac{dz_{j}}{z_{j}}\wedge\frac{d\overline{z_{j}}}{\overline{z_{j}}}\wedge\prod_{k=m+1}^{n}idz_{k}\wedge d\overline{z_{k}}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.