Facet-defining conjecture for rigid tropical rays

From papers

Let XX be the schön very affine variety in the setup, with rigid ray τTrop(X)R0p\tau\in \operatorname{Trop}(X)\cap \mathbb{R}_{\geq 0}^p. Let vτv_\tau be its ray vector and let kτ=ordEτ(KXΣ/X)+1k_\tau=\operatorname{ord}_{E_\tau}(K_{X^\Sigma/X})+1, where EτE_\tau is the divisor corresponding to τ\tau. The LCT-polytope is

LCT(G)={(s1,,sp)R0pj=1p(vτi)jsjkτi for i=1,,q}.\operatorname{LCT}(G)=\left\{(s_1,\dots,s_p)\in\mathbb{R}_{\geq 0}^p\mid \sum_{j=1}^p (v_{\tau_i})_j s_j\leq k_{\tau_i}\text{ for }i=1,\dots,q\right\}.

Facet-defining conjecture. For every rigid ray τTrop(X)R0p\tau\in \operatorname{Trop}(X)\cap\mathbb{R}_{\geq 0}^p,

{(vτ)1s1++(vτ)psp=kτ}\{(v_\tau)_1s_1+\dots+(v_\tau)_ps_p=k_\tau\}

is facet-defining, meaning that its intersection with LCT(G)\operatorname{LCT}(G) has dimension p1p-1 and lies in the boundary of LCT(G)\operatorname{LCT}(G). This conjecture would identify the log-canonical-threshold hyperplane associated with every rigid ray as a genuine facet of the LCT-polytope, providing a natural affine translate of the Bernstein--Sato slope τ\tau^\perp.

Progress summary

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

Sources & referencesView supporting material

Primary source

Anna-Laura Sattelberger and Robin van der Veer, “Maximum Likelihood Estimation from a Tropical and a Bernstein–Sato Perspective”, arXiv:2101.03570 (2022).

Solutions 0

No solutions have been posted yet.