Colon ideal conjecture for generalized star configurations

Let cmathbbKcmathbb K be a field of characteristic 00, let cmathcalC=(cell1,,celln)R=cmathbbK[x1,,xk]cmathcal C=(cell_1,\ldots,cell_n)\subset R=cmathbb K[x_1,\ldots,x_k] be an [n,k][n,k]-linear code with no zero columns, and let Ia(cmathcalC)I_a(cmathcal C) be generated by all aa-fold products of its linear forms. For cellincmathcalCcellincmathcal C, write cmathcalC=cmathcalCsetminuscellcmathcal C'=cmathcal Csetminuscell. Colon ideal conjecture. For every cmathcalCsubsetRcmathcal Csubset R, every cellincmathcalCcellincmathcal C, and every 2aleqn2\leq aleq n, one has

Ia(cmathcalC):cell=Ia1(cmathcalC).\operatorname{I}_a(cmathcal C):cell=I_{a-1}(cmathcal C').

This equality is known for usual star configurations and is conjectured here for arbitrary codes; it is intended as a key step toward understanding their homological properties.

Sources & referencesView supporting material

Primary source

Benjamin Anzis, Mehdi Garrousian and Stefan Tohaneanu, “Generalized star configurations and the Tutte polynomial”, arXiv:1604.01311 (2017).

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.