The essential skeleton conjecture for log canonical pairs and tropicalization

Let (X,Δ)(X,\Delta) be a log canonical pair such that U:=XΔU:= X \mathbin{\rule[0.2em]{0.67em}{0.12em}} \Delta is a subvariety of a torus. Let

trop:UTU\textsf{trop}:U\longrightarrow\mathscr{T}U

be the tropicalization map, and let Skess(X,Δ)\textsf{Sk}^{\textsf{ess}}(X,\Delta) denote the essential skeleton. Essential skeleton conjecture. The restriction

tropSkess(X,Δ):Skess(X,Δ)TU\textsf{trop}|_{\textsf{Sk}^{\textsf{ess}}(X,\Delta)}:\textsf{Sk}^{\textsf{ess}}(X,\Delta)\longrightarrow\mathscr{T}U

is surjective with finite fibers. The theorem for (M0,n,M0,n)(\overline{\textsf{M}}_{0,n},\partial\overline{\textsf{M}}_{0,n}) described above is presented as a special case. The statement proposes a general relationship between birational geometry, essential skeleta, and tropicalization; no resolution of the general conjecture is given here.

Sources & referencesView supporting material

Primary source

Jiachang Xu and Muyuan Zhang, “Faithful tropicalization and Skeleton of M_0,n”, arXiv:2301.04797 (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.