ScalingStacks

0.2.1 [01KU]

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

0.2.1

Dans le cas d’un fibré en droites hermitien L¯\bar{L} sur une variété complexe XX c1​(L¯)c_{1}(\bar{L}) est une forme différentielle de type (1,1)(1,1) et sa puissance c1​(L¯)nc_{1}(\bar{L})^{n} est une forme de type (n,n)(n,n), laquelle donne lieu à une mesure si XX est de dimension nn. La théorie des mesures de [22] avait ceci d’insatisfaisant qu’elle définissait une mesure c1​(L¯)nc_{1}(\bar{L})^{n} tout en s’avérant incapable de donner un sens à l’objet c1​(L¯)c_{1}(\bar{L}), lorsque L¯\bar{L} est un fibré métrisé sur une variété algébrique propre de dimension nn sur un corps valué complet.

Combler cette frustration est la raison d’être du présent travail.

Au passage, nous étendons la théorie en traitant des variétés analytiques ni nécessairement algébriques, ni nécessairement compactes. Le caractère local des mesures c1​(L¯)nc_{1}(\bar{L})^{n} (établi dans [23]) apparaîtra ainsi bien plus naturellement.

Soit donc kk un corps valué complet, non archimédien. Soit XX un espace kk-analytique au sens de Berkovich [7, 8].

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