Sur l'anneau canonique de certaines variétés de dimension 3 (Q793808)

L'article traite du problème suivant: Soit \(V\) une variété lisse et projective de dimension \(d\) définie sur \({\mathbb{C}}\). Notons \(\omega_ v\) le faisceau des d-formes régulières sur \(V\) et \(K_ v\) le diviseur correspondant. Supposons que pour n assez grand, les sections globales de \(\omega_ v^{\otimes n}\) définissent une application birationnelle sur son image. On se demande alors si l'anneau gradué \(A=\oplus_{n\geq 0}H^ 0(V,\omega_ v^{\otimes n})\) est de type fini sur \({\mathbb{C}}\). Proj(A) fournirait alors un modèle canonique de \(V\). - La réponse est oui pour \(d\leq 2\). Pour \(d=3\), on résout affirmativement le problème lorsque \(K_ v\) admet une décomposition dans \(NS_{{\mathbb{Q}}}(V)\) vérifiant certaines propriétés. Ces propriétés sont équivalentes à la condition suivante: la variété V domine un modèle birationnel \(X\) de \(V\) vérifiant: (i) \(X\) est \({\mathbb{Q}}\)-factoriel [au sens de \textit{M. Reid}, Journéesde géométrie algébrique, Angers 1979, 273-310 (1980; Zbl 0451.14014)] et n'a que des singularités canoniques [au sens de \textit{M. Reid} (ibid.)]. (ii) Le \({\mathbb{Q}}\)-diviseur canonique \(K_ x\) de X est numériquement positif (i.e. pour toute courbe \(C\) sur \(X\), on a \(K_ x.C\geq 0\)). L'A. a aussi rendu effective la méthode utilisée par l'A. [cf. ''Sur les variétés canoniques de dimension 3 d'indice positif'' (à paraître)], et essayer de voir si \(K_ v\) admettait en général une telle décomposition [cf. ''Sur la décomposition de Zariski en dimension 3'' (à paraître)]. - Les techniques employées utilisent d'une part le théorème d'annulation de Kawamata-Viehweg [\textit{Y. Kawamata}, Math. Ann. 261, 43-46 (1982; Zbl 0476.14007) et \textit{E. Viehweg}, J. Reine Angew. Math. 335, 1-8 (1982; Zbl 0485.32019)] et d'autre part, un théorème de non annulation généralisé depuis par \textit{V. V. Shokurov} [''Non vanishing theorem'', Izv. Akad. Nauk SSSR, Ser. Mat. (à paraître)]. Signalons aussi l'article excellent de \textit{Y. Kawamata} [Ann. Math., II. Ser. 119, 95-110 (1984; Zbl 0542.14007)]; il y développe une théorie analogue à celle de \textit{S. Mori} [dans Algebraic threefolds, Proc. 2nd 1981 Sess. C.I.M.E., Varenna 1981, Lect. Notes Math. 947, 155-189 (1982; Zbl 0493.14020)], mais cette fois, pour certaines variétés éventuellement singulières. Finalement, grâce à la généralisation de V. V. Shokurov, le problème de finitude de l'anneau A est résolu pour les variétés vérifiant les assertions (i) et (ii).