ScalingStacks

\remaname 5.7.7 . [01UR]

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

\remaname 5.7.7.

Soit (f1,…,fm)(f_{1},\dots,f_{m}) une famille de formes linéaires sur 𝐑n\mathbf{R}^{n} qui contient une repère affine de l’espace affine 𝐑n\mathbf{R}^{n}. Posons f=max⁡(f1,…,fm)f=\max(f_{1},\dots,f_{m}) ; c’est une fonction strictement convexe sur 𝐑n\mathbf{R}^{n}. Si les fjf_{j} sont définies sur 𝐐\mathbf{Q}, la fonction ff est donc la fonction d’appui d’un fibré en droites ample LL sur une variété torique XX de tore 𝐆mn\mathbf{G}_{\mathrm{m}}^{n}. Dans ce cas, l’application ∇(h)\nabla(h) est appelée « application moment » et l’image de VV est un polytope convexe de 𝐑n\mathbf{R}^{n} correspondant à la variété torique polarisée (X,L)(X,L). On sait alors que vol⁡(∇(h)​(V))=degL⁡(X)/n!\operatorname{vol}(\nabla(h)(V))=\deg_{L}(X)/n!. Le courant (d′​d′′⁡f)n(\mathop{\mathrm{d}^{\prime}\mathrm{d}^{\prime\prime}}f)^{n} est donc égal à degL⁡(X)​δ0\deg_{L}(X)\delta_{0}. Cela redonne une formule de Lagerberg ([43], Exemple 3.2 et Proposition 5.12). Le lien entre supercourants et théorie de l’intersection apparaîtra clairement dans la suite de ce texte.

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