Kivinen's conjectural description of Hilbert-scheme homology for rational-component curves

Let CC be the unique compactification with rational components and no other singularities of the curve {xn=ydn}\{x^n=y^{dn}\}. Let

V:=m0H(C[m],Q).V:=\bigoplus_{m\geq 0} H_*(C^{[m]},\mathbb{Q}).

The algebra AnA_n is the algebra acting on this homology described in the preceding results. Kivinen's conjecture. As a bigraded AnA_n-module, one has

VC[x1,,xn,y1,,yn]ijk=1d(xixj)kker(yiyj)k.V\cong \frac{\mathbb{C}[x_1,\ldots,x_n,y_1,\ldots,y_n]}{\sum_{i\neq j}\sum_{k=1}^{d}(x_i-x_j)^k\ker(\partial_{y_i}-\partial_{y_j})^k}.

This conjecture is motivated by computations for reducible planar curves and by the analogous description of ordinary equivariant homology of affine Springer fibers. The source presents it as conjectural and gives no resolution.

Sources & referencesView supporting material

Primary source

Oscar Kivinen, “Unramified affine Springer fibers and isospectral Hilbert schemes”, arXiv:1808.02278 (2019).

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.