Algorithms for computing multiplier ideals (Q649844): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: Kan / rank | |||
Normal rank |
Revision as of 10:49, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algorithms for computing multiplier ideals |
scientific article |
Statements
Algorithms for computing multiplier ideals (English)
0 references
6 December 2011
0 references
Let \(X\) be a smooth complex variety and \(\mathfrak{a}\subseteq \mathcal{O}_X\) an ideal sheaf. Let \(\pi:\widetilde{X}\to X\) be a log resolution of \(\mathfrak{a}\). Then the multiplier ideal of \(\mathfrak{a}\) with exponent \(c\in \mathbb{R}_{\geq 0}\) is defined as \(J(\mathfrak{a}^c)=J(c\cdot \mathfrak{a})=\pi_\ast \mathcal{O}_{\widetilde{X}}(K_{\widetilde{X}|X}-\lfloor cF\rfloor)\subseteq \mathcal{O}_X\). Here \(K_{\widetilde{X}|X}\) is the relative canonical divisor of \(\pi\) and \(\mathfrak{a}\mathcal{O}_{\widetilde{X}}=\mathcal{O}_{\widetilde{X}}(-F)\) for an effective divisor \(F\) on \(\widetilde{X}\) such that Supp \(F\cup\text{Exc}(\pi)\) is a divisor with simple normal crossing. \(\text{Exc} (\pi)\) is the exceptional locus of \(\pi\). Algorithms are given for computing multiplier ideals using the theory of \(D\)-modules, i.e. Gröbner bases in Weyl algebras are used. Several examples are given.
0 references
multiplier ideal
0 references
log resolution
0 references
\(\mathcal D\)-modules
0 references
Weyl algebra
0 references
Gröbner basis
0 references