Herzog's canonical trace conjecture for codimension-two Cohen–Macaulay algebras

Let SS be either a regular local ring with residue class field KK or a regular positively graded KK-algebra. Let II be a perfect ideal of grade two, and let AA be an Hilbert–Burch matrix of II. Write R=S/IR=S/I, and let \tr(ωR)\tr(\omega_R) denote the trace of the canonical module of RR. If μ(I)\mu(I) is the minimal number of generators of II and Ij(A)I_j(A) denotes the ideal of j×jj\times j minors of AA, then Herzog's conjecture.

\tr(ωR)=Iμ(I)2(A)R.\tr(\omega_R)=I_{\mu(I)-2}(A)R.

The conjecture asserts that the canonical trace is obtained by specializing the corresponding ideal of minors from the generic maximal-minor case. The paper presents this as a conjecture posed by Jürgen Herzog; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Antonino Ficarra, “The canonical trace of Cohen-Macaulay algebras of codimension 2”, arXiv:2406.07517 (2024).

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.