ScalingStacks

Definition . [03ET]

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.

Suppose, for each pair (λ,ν)∈SC⁡(S)×SC⁡(T)(\lambda,\nu)\in\operatorname{SC}(S)\times\operatorname{SC}(T) we have a bi-polyhedral Kähler affine structure on Σ\D{\Sigma\backslash D} of type (λ,ν)(\lambda,\nu), which varies continuously with (λ,ν)(\lambda,\nu) in the Hausdorff topology of metric structures on Σ\Sigma. We call such a family projective if:

  • •

    For any linear functions l∈ℝd,l∨∈(ℝd)∗l\in\mathbb{R}^{d},\ l^{\vee}\in(\mathbb{R}^{d})^{*}, the bi-PIKAS for (λ+l,ν+l∨)∈SC⁡(S)×SC⁡(T)(\lambda+l,\nu+l^{\vee})\in\operatorname{SC}(S)\times\operatorname{SC}(T) have the same underlying Kähler affine structure.

  • •

    The bi-PIKAS for (ϵ−1​λ,ϵ​ν)(\epsilon^{-1}\lambda,\epsilon\nu) differs from the bi-PIKAS for (λ,ν)(\lambda,\nu) by the ϵ\epsilon-rescaling

    (yα′,y^α′,Kα′​(yα′),K^α′​(y^α′),gi​j)=(ϵ−1​yα,ϵ​y^α,Kα​(ϵ​yα′),K^α​(ϵ−1​y^α′),ϵ2​gi​j)(y^{\prime}_{\alpha},\hat{y}^{\prime}_{\alpha},K^{\prime}_{\alpha}(y^{\prime}_{\alpha}),\hat{K}^{\prime}_{\alpha}(\hat{y}^{\prime}_{\alpha}),g_{ij})=(\epsilon^{-1}y_{\alpha},\epsilon\hat{y}_{\alpha},K_{\alpha}(\epsilon y^{\prime}_{\alpha}),\hat{K}_{\alpha}(\epsilon^{-1}\hat{y}^{\prime}_{\alpha}),\epsilon^{2}g_{ij})

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