Weyl chamber and stable-base-locus decomposition conjecture for X83X^3_8 and X95X^5_9

Let X=X95X=X^5_9 or X=X83X=X^3_8. Write Eff(X)\overline{\operatorname{Eff}}(X) for the pseudoeffective cone of divisors, WCD(Eff(X))\operatorname{WCD}(\overline{\operatorname{Eff}}(X)) for its Weyl chamber decomposition, and SBLD(Eff(X))\operatorname{SBLD}(\overline{\operatorname{Eff}}(X)) for its stable-base-locus decomposition. A rational contraction is a birational map f:X\dasharrowYf:X\dasharrow Y of the type considered in the paper, and ex(f)\operatorname{ex}(f) denotes its exceptional contribution. The Weyl chamber decomposition conjecture.

WCD(Eff(X))=SBLD(Eff(X)).\operatorname{WCD}(\overline{\operatorname{Eff}}(X))=\operatorname{SBLD}(\overline{\operatorname{Eff}}(X)).
  1. Each Weyl chamber has the form
fNef(Y)ex(f),f^*\operatorname{Nef}(Y)*\operatorname{ex}(f),

where f:X\dasharrowYf:X\dasharrow Y is a rational contraction.

This conjecture concerns the first non-Mori-dream cases where the pseudoeffective cone has only a negative part. It proposes that the Weyl chamber decomposition captures the stable-base-locus decomposition and that every chamber arises from a rational contraction.

Sources & referencesView supporting material

Primary source

Maria Chiara Brambilla, Olivia Dumitrescu, Elisa Postinghel and Luis José Santana Sánchez, “Birational geometry of blowups via Weyl chamber decompositions and actions on curves”, arXiv:2410.18008 (2025).

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.