Facet-defining conjecture for rigid tropical rays

About 5 years old · traced to

Let XX be the schön very affine variety in the setup, with rigid ray τ∈Trop⁡(X)∩R≥0p\tau\in \operatorname{Trop}(X)\cap \mathbb{R}_{\geq 0}^p. Let vτv_\tau be its ray vector and let kτ=ord⁡Eτ(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)∈R≥0p∣∑j=1p(vτi)jsj≤kτ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)∩R≥0p\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 p−1p-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.

References

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).

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.