## Singularities on normal varieties.(English)Zbl 1179.14003

This is a very nice foundational article about singularities of normal varieties. The authors define generalizations of the notions of multiplier ideals, adjoint ideals, log canonical, log terminal, canonical, and terminal singularities without any additional assumptions of the ambient normal variety $$X$$. Prior to their work, a common additional assumption was that the canonical divisor $$K_X$$ is $$\mathbb{Q}$$-Cartier, or some $$\mathbb{Q}$$-Cartier perturbation of it, $$K_X+\Delta$$, was used. These assumptions are needed to define the relative canonical divisor of a resolution of singularities of $$X$$. The issues are: what to do in the case when $$K_X$$ is not $$\mathbb{Q}$$-Cartier, or if there is some geometrically-meaningful way of choosing $$\Delta$$. These issues are clarified in this paper.
As consequence, the authors obtain generalizations of well-known results to this setting, such as: “log terminal $$\Rightarrow$$ rational”, “log canonical $$\Rightarrow$$ Du Bois”, subadjunction, deformation invariance of canonical singularities, plurigenera, and numerical Kodaira dimension.
The method of paper is the following. Let $$f:Y\rightarrow X$$ be a resolution of singularities. For prime divisors $$E$$ on $$Y$$, let $$\mathrm{val}_E$$ denote the valuation corresponding to $$E$$ on the rational functions on $$X$$. For a coherent fractional ideal sheaf $$\mathcal{I}\subset \mathcal{K}_X$$, define $\mathrm{val}_E(\mathcal{I}):=\min\{\mathrm{val}_E\phi\;|\;\phi \in\mathcal{I}(U),\;U\cap f(E)\neq\emptyset\;\}.$ For a divisor $$D$$ on $$X$$, define $f^*D:=\sum_E \left(\lim_{k\rightarrow\infty}\frac{\mathrm{val}_E(\mathcal{O}_X(-k!D))}{k!}\right)\cdot E.$ Then the issue about $$K_X$$ not being $$\mathbb{Q}$$-Cartier is resolved by using $$f^*(-K_X)$$ and $$-f^*(K_X)$$ to define two “relative canonical divisors” $$K_{Y/X}$$ and $$K^-_{Y/X}$$, respectively. About the second issue, the choice of $$\Delta$$, it is shown that the newly-defined multiplier ideal of a pair $$(X,Z)$$ is the unique maximal element of the set of multiplier ideals defined as usual using $$\mathbb{Q}$$-Cartier divisors $$K_X+\Delta$$.
There are various technical difficulties encountered (e.g. the use of limiting relative canonical divisors), but dealt with by the authors in a very readable manner. The naturality of their construction, and the generalizations of the results mentioned above, follows from the two characterization theorems of the newly-defined notions of multiplier ideals and canonicity in terms of older, more familiar, terminology.
The authors point out some open questions: the relation between their multiplier ideals and the generalized test ideals (they agree in the toric case); the discreteness of the jumping numbers; does canonical imply rational, or log canonical, in this more general setting as well?

### MSC:

 14B05 Singularities in algebraic geometry 14F18 Multiplier ideals 14E15 Global theory and resolution of singularities (algebro-geometric aspects) 14J17 Singularities of surfaces or higher-dimensional varieties
Full Text:

### References:

  doi:10.1090/S0894-0347-99-00285-4 · Zbl 0906.14001  doi:10.1353/ajm.1998.0038 · Zbl 0919.14003  doi:10.1090/S0002-9947-01-02695-2 · Zbl 0976.13003  doi:10.1007/s002080050085 · Zbl 0909.14001  doi:10.2307/1970547  doi:10.2307/1970486 · Zbl 0122.38603  doi:10.1007/BF01388445 · Zbl 0545.10021  doi:10.1090/S0002-9947-03-03285-9 · Zbl 1028.13003  doi:10.1007/BF01393930 · Zbl 0498.14002  doi:10.1007/s00209-004-0655-y · Zbl 1061.14055  doi:10.1007/s002220050276 · Zbl 0955.32017  doi:10.2307/1971429 · Zbl 0731.53063  doi:10.1073/pnas.86.19.7299 · Zbl 0711.53056  doi:10.1007/s00222-006-0503-2 · Zbl 1108.14031  doi:10.1080/00927870008827196 · Zbl 0979.13007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.