ScalingStacks

Remark 4.1 . [044I]

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.1.

(Motivational Discussion on singularities) We denote

fS=1−z1−z2=1−e2​π​i​η1−e2​π​i​η2f_{S}=1-z_{1}-z_{2}=1-e^{2\pi i\eta_{1}}-e^{2\pi i\eta_{2}}

and write the 3-current SS as

S=δ⁡(fS)​−14​π2​d​fS∧d​f¯S∧d​μ,S=\delta(f_{S})\frac{\sqrt{-1}}{4\pi^{2}}df_{S}\wedge d\bar{f}_{S}\wedge d\mu,

which defines a generalised function δ⁡(fS)\delta(f_{S}) satisfying the measures identities:

∫−14​π2​d​ηp∧d​η¯q∧δ⁡(fS)∧d​fS∧d​f¯S∧𝑑μ=∫Sd​ηp∧d​η¯q,\int\frac{\sqrt{-1}}{4\pi^{2}}d\eta_{p}\wedge d\bar{\eta}_{q}\wedge\delta(f_{S})\wedge df_{S}\wedge d\bar{f}_{S}\wedge d\mu=\int_{S}d\eta_{p}\wedge d\bar{\eta}_{q},

where the notation ∫Sd​ηp∧d​η¯q\int_{S}d\eta_{p}\wedge d\bar{\eta}_{q} is the shorthand for the complex measure f↦∫Sf​d​ηp∧d​η¯qf\mapsto\int_{S}fd\eta_{p}\wedge d\bar{\eta}_{q}, and similarly for the LHS. Now d​fS=−2​π​−1​(z1​d​η1+z2​d​η2)df_{S}=-2\pi\sqrt{-1}(z_{1}d\eta_{1}+z_{2}d\eta_{2}), so

{−∫S|z2|2δ(fS)dη1∧dη¯1∧dη2∧dη¯2∧dμ=∫S−1dη1∧dη¯1,−∫S|z1|2δ(fS)dη1∧dη¯1∧dη2∧dη¯2∧dμ=∫S−1dη2∧dη¯2,∫Sz¯1​z2​δ​(fS)​d​η1∧d​η¯1∧d​η2∧d​η¯2∧dμ=∫S−1​d​η1∧d​η¯2,∫Sz¯2​z1​δ​(fS)​d​η1∧d​η¯1∧d​η2∧d​η¯2∧dμ=∫S−1​d​η2∧d​η¯1.\begin{cases}-\int_{S}|z_{2}|^{2}\delta(f_{S})d\eta_{1}\wedge d\bar{\eta}_{1}\wedge d\eta_{2}\wedge d\bar{\eta}_{2}\wedge d\mu=\int_{S}\sqrt{-1}d\eta_{1}\wedge d\bar{\eta}_{1},\\ -\int_{S}|z_{1}|^{2}\delta(f_{S})d\eta_{1}\wedge d\bar{\eta}_{1}\wedge d\eta_{2}\wedge d\bar{\eta}_{2}\wedge d\mu=\int_{S}\sqrt{-1}d\eta_{2}\wedge d\bar{\eta}_{2},\\ \int_{S}\bar{z}_{1}z_{2}\delta(f_{S})d\eta_{1}\wedge d\bar{\eta}_{1}\wedge d\eta_{2}\wedge d\bar{\eta}_{2}\wedge d\mu=\int_{S}\sqrt{-1}d\eta_{1}\wedge d\bar{\eta}_{2},\\ \int_{S}\bar{z}_{2}z_{1}\delta(f_{S})d\eta_{1}\wedge d\bar{\eta}_{1}\wedge d\eta_{2}\wedge d\bar{\eta}_{2}\wedge d\mu=\int_{S}\sqrt{-1}d\eta_{2}\wedge d\bar{\eta}_{1}.\\ \end{cases}

The distributional equation (4.6) is written in components as

−14​π​(∂2wp​q¯∂μ​∂μ+4​∂2v∂ηp​∂η¯q)=δ⁡(fS)​zp​z¯q.-\frac{1}{4\pi}\left(\frac{\partial^{2}w^{p\bar{q}}}{\partial\mu\partial\mu}+4\frac{\partial^{2}v}{\partial\eta_{p}\partial\bar{\eta}_{q}}\right)=\delta(f_{S})z_{p}\bar{z}_{q}.

Multiplying these equations by ap​q¯a^{p\bar{q}} and summing up, we obtain

(4.7) −14​π​Δa​v=δ⁡(fS)​ap​q¯​zp​z¯q,-\frac{1}{4\pi}\Delta_{a}v=\delta(f_{S})a^{p\bar{q}}z_{p}\bar{z}_{q},

or equivalently the measure equality

(Δav)dVola=−∫Sπ−1A1/2ap​q¯dηp∧dη¯q=−∫S2πA1/2d𝒜,(\Delta_{a}v)d\text{Vol}_{a}=-\int_{S}\pi\sqrt{-1}A^{1/2}a_{p\bar{q}}d\eta_{p}\wedge d\bar{\eta}_{q}=-\int_{S}2\pi A^{1/2}d\mathcal{A},

where d​𝒜=−12​ap​q¯​d​ηp∧d​η¯qd\mathcal{A}=\frac{\sqrt{-1}}{2}a_{p\bar{q}}d\eta_{p}\wedge d\bar{\eta}_{q} is the natural area form on SS. A natural guess for wp​q¯w^{p\bar{q}} is then

(4.8) −14​π​Δa​wp​q¯=A−1​δ​(fS)​zp​z¯q,-\frac{1}{4\pi}\Delta_{a}w^{p\bar{q}}=A^{-1}\delta(f_{S})z_{p}\bar{z}_{q},

or equivalently

(Δawp​q¯)dVola=−∫S2πA−1/2zpz¯qai​j¯​zi​z¯jd𝒜,(\Delta_{a}w^{p\bar{q}})d\text{Vol}_{a}=-\int_{S}2\pi\frac{A^{-1/2}z_{p}\bar{z}_{q}}{a^{i\bar{j}}z_{i}\bar{z}_{j}}d\mathcal{A},

where summation convention is used. The singularity around SS to leading order looks like (cf. Section 4.4 below)

v∼A1/22​R,wp​q¯∼A−1/2zpz¯q2​R​ai​j¯​zi​z¯j,R∼(|fS|24​π2​ai​j¯​zi​z¯j+A​μ2)1/2,v\sim\frac{A^{1/2}}{2R},\quad w^{p\bar{q}}\sim\frac{A^{-1/2}z_{p}\bar{z}_{q}}{2Ra^{i\bar{j}}z_{i}\bar{z}_{j}},\quad R\sim(\frac{|f_{S}|^{2}}{4\pi^{2}a^{i\bar{j}}z_{i}\bar{z}_{j}}+A\mu^{2})^{1/2},

which is compatible with the singularity in the distributional equation (4.6).

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