Sparse curve singularity delta-invariant conjecture

Let B1,,BkZ01B_1,\ldots,B_k\subset\mathbb Z^1_{\geqslant 0} be support sets, let di:=minBi>0d_i:=\min B_i>0, and let

jr:=GCDi(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=0jr12.\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 (d11)(d21)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.

Sources & referencesView supporting material

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.