ScalingStacks

9.1 Data [03W8]

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

9.1 Data

a)

A compact oriented surface BB, a finite subset Bs​i​n​g⊂BB^{sing}\subset B.

b)

A 𝐙{\bf Z}-affine structure on Y=Bs​m=B∖Bs​i​n​gY=B^{sm}=B\setminus B^{sing} with the standard singularities near each b∈Bs​i​n​gb\in B^{sing}.

c)

A set ℒ{\cal L} of lines. With each line l∈ℒl\in{\cal L} there is an associated continuous map fl:(0,+∞)→Yf_{l}:(0,+\infty)\to Y. We assume that ℒ{\cal L} is decomposed into a disjoint union of two subsets ℒ=ℒi​n⊔ℒc​o​m{\cal L}={\cal L}_{in}\sqcup{\cal L}_{com}. Lines belonging to ℒi​n{\cal L}_{in} are called initial, while those in ℒc​o​m{\cal L}_{com} are called composite. We assume that for any l∈ℒl\in{\cal L} there exists a continuous extension fl:[0,+∞)→Bf_{l}:[0,+\infty)\to B such that fl​(0)∈Bs​i​n​gf_{l}(0)\in B^{sing} if l∈ℒi​nl\in{\cal L}_{in} and fl​(0)∈Y=Bs​mf_{l}(0)\in Y=B^{sm} if l∈ℒc​o​ml\in{\cal L}_{com}.

d)

A collection of covariantly constant nowhere vanishing integer-valued 11-forms αl∈Γ⁡((0,+∞),fl∗​((T∗)𝐙),l∈ℒCLOSE\alpha_{l}\in\Gamma((0,+\infty),f_{l}^{\ast}((T^{\ast})^{\bf Z}),l\in{\cal L}. We assume that for l∈ℒi​nl\in{\cal L}_{in} in the standard coordinates (x,y)(x,y) near singular point fl​(0)f_{l}(0) we have: fl​(t)=(0,t)f_{l}(t)=(0,t) or fl​(t)=(0,−t)f_{l}(t)=(0,-t) for all sufficiently small t>0t>0, and αl​(t)=±fl∗​(d​y)\alpha_{l}(t)=\pm f_{l}^{\ast}(dy).

e)

A map ℒ→ℒ×ℒ,l↦(pl​e​f​t​(l),pr​i​g​h​t​(l)){\cal L}\to{\cal L}\times{\cal L},\,\,\,l\mapsto(p_{left}(l),p_{right}(l)) (the letter pp stands for “parent”: one can think about these lines as “generating ll in a collision”).

Notice that since the form d​ydy is invariant with respect to the monodromy, the condition in d) is coordinate-independent. The covector αl​(t)\alpha_{l}(t) will be called a direction covector of ll at time tt. It gives rise to a half-plane

Pl,t(0)={v∈Tfl​(t)​Y|⟨αl​(t),v⟩>0}.P_{l,t}^{(0)}=\{v\in T_{f_{l}(t)}Y|\langle\alpha_{l}(t),v\rangle>0\}\,\,.

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