Quasi-monomiality conjecture for valuations computing asymptotic Arnold multiplicities

About 16 years old · traced to

Let XX be a smooth variety, let a∙\mathfrak{a}_{\bullet} be a graded sequence of ideals on XX, and let q\mathfrak{q} be a nonzero ideal. Write Arn⁡q(a∙)=λ−1>0\operatorname{Arn}^{\mathfrak{q}}(\mathfrak{a}_{\bullet})=\lambda^{-1}>0, and let J(a∙λ)\mathcal{J}(\mathfrak{a}_{\bullet}^{\lambda}) denote the associated asymptotic multiplier ideal. A valuation v∈Val⁡X∗v\in\operatorname{Val}^*_X computes Arn⁡q(a∙)\operatorname{Arn}^{\mathfrak{q}}(\mathfrak{a}_{\bullet}) when it realizes the corresponding valuation formula.

Quasi-monomiality conjecture. The weak version asserts that, for every generic point ξ\xi of an irreducible component of the subscheme defined by (J(a∙λ):q)(\mathcal{J}(\mathfrak{a}_{\bullet}^{\lambda}):\mathfrak{q}), there exists a quasi-monomial valuation v∈Val⁡X∗v\in\operatorname{Val}^*_X computing Arn⁡q(a∙)\operatorname{Arn}^{\mathfrak{q}}(\mathfrak{a}_{\bullet}) with cX(v)=ξc_X(v)=\xi. The strong version asserts that every valuation in Val⁡X∗\operatorname{Val}^*_X computing Arn⁡q(a∙)\operatorname{Arn}^{\mathfrak{q}}(\mathfrak{a}_{\bullet}) is quasi-monomial.

The preceding theorem proves existence of a computing valuation with each specified generic center, but not quasi-monomiality. The source explicitly says that it cannot prove either conjectural version.

References

Primary source

Mattias Jonsson and Mircea Mustata, “Valuations and asymptotic invariants for sequences of ideals”, arXiv:1011.3699 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.