ScalingStacks

Definition 2.20 . [03NF]

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

Definition 2.20.

Let (M,J,g,Ω)(M,J,g,\Omega) be a Calabi–Yau mm-fold, and L,L′L,L^{\prime} graded Lagrangians in MM, with phase functions θL,θL′\theta_{L},\theta_{L^{\prime}}, which intersect transversely at p∈Mp\in M. By a kind of simultaneous diagonalization, we may choose an isomorphism TpM≅ℂmT_{p}M\cong{\mathbin{\mathbb{C}}}^{m} which identifies J|p,g|p,ω|pJ|_{p},g|_{p},\omega|_{p} on Tp​MT_{p}M with the standard versions (2.2) on ℂm{\mathbin{\mathbb{C}}}^{m}, and identifies Tp​L,Tp​L′T_{p}L,T_{p}L^{\prime} with the Lagrangian planes Π0,Πϕ\Pi_{0},\Pi_{\boldsymbol{\phi}} in ℂm{\mathbin{\mathbb{C}}}^{m} respectively, where

Π0={(x1,…,xm):xj∈ℝ},Πϕ={(ei​ϕ1x1,…,ei​ϕmxm):xj∈ℝ},\Pi_{0}=\bigl\{(x_{1},\ldots,x_{m}):x_{j}\in{\mathbin{\mathbb{R}}}\bigr\},\;\>\Pi_{\boldsymbol{\phi}}=\bigl\{({\rm e}^{i\phi_{1}}x_{1},\ldots,{\rm e}^{i\phi_{m}}x_{m}):x_{j}\in{\mathbin{\mathbb{R}}}\bigr\}, (2.12)

for ϕ1,…,ϕm∈(0,π)\phi_{1},\ldots,\phi_{m}\in(0,\pi). Then ϕ1,…,ϕm\phi_{1},\ldots,\phi_{m} are independent of choices up to order. Define the degree μL,L′(p)∈ℤ\mu_{L,L^{\prime}}(p)\in{\mathbin{\mathbb{Z}}} of pp by

μL,L′​(p)=(ϕ1+⋯+ϕm+θL​(p)−θL′​(p))/π.\mu_{L,L^{\prime}}(p)=(\phi_{1}+\cdots+\phi_{m}+\theta_{L}(p)-\theta_{L^{\prime}}(p))/\pi.

This an integer as θL′(p)=θL(p)+ϕ1+⋯+ϕmmodπℤ\theta_{L^{\prime}}(p)=\theta_{L}(p)+\phi_{1}+\cdots+\phi_{m}\mod\pi{\mathbin{\mathbb{Z}}}. Exchanging L,L′L,L^{\prime} replaces ϕ1,…,ϕm\phi_{1},\ldots,\phi_{m} by π−ϕ1,…,π−ϕm\pi-\phi_{1},\ldots,\pi-\phi_{m}, so that μL,L′​(p)+μL′,L​(p)=m\mu_{L,L^{\prime}}(p)+\mu_{L^{\prime},L}(p)=m. Since ϕ1,…,ϕm∈(0,π)\phi_{1},\ldots,\phi_{m}\in(0,\pi), we see that

(θL​(p)−θL′​(p))/π<μL,L′​(p)<(θL​(p)−θL′​(p))/π+m.(\theta_{L}(p)-\theta_{L^{\prime}}(p))/\pi<\mu_{L,L^{\prime}}(p)<(\theta_{L}(p)-\theta_{L^{\prime}}(p))/\pi+m. (2.13)

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