Sparse curve singularity delta-invariant conjecture

About 3 years old · traced to

Let B1,…,Bk⊂Z⩾01B_1,\ldots,B_k\subset\mathbb Z^1_{\geqslant 0} be support sets, let di:=min⁡Bi>0d_i:=\min B_i>0, and let

jr:=GCD⁡ ⋃i(Bi∩[di,di+r]).j_r:=\operatorname{GCD}\,\bigcup_i(B_i\cap[d_i,d_i+r]).

Assume that j∞=1j_\infty=1, equivalently that the associated map germ is injective. Sparse curve singularity delta-invariant conjecture. For arbitrary kk, the δ\delta-invariant of the sparse curve singularity in Ck\mathbb C^k, whose components are supported at B1,…,BkB_1,\ldots,B_k, equals

a function of d1,…,dk+∑r=0∞jr−12.\text{a function of }d_1,\ldots,d_k+\sum\limits_{r=0}^{\infty}\dfrac{j_r-1}{2}.

This extends the proved formula for k=2k=2, where the first term is (d1−1)(d2−1)2\frac{(d_1-1)(d_2-1)}2. The conjecture seeks a support-set formula for basic invariants of sparse curve singularities in arbitrary target dimension.

References

Primary source

Alexander Esterov, Evgeny Statnik and Arina Voorhaar, “Sparse curve singularities, singular loci of resultants, and Vandermonde matrices”, arXiv:2301.07001 (2023).

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.