The comparison conjecture for canonical and bi-canonical degree

Let (R,m)({\mathbf R},{\mathfrak m}) be a one-dimensional Cohen–Macaulay local ring with a canonical ideal C\mathcal{C}. If (c)(c) is a minimal reduction of C\mathcal{C}, define

cdeg(R)=λ(R/(c))λ(R/C),bideg(R)=λ(R/C)λ(R/C).\operatorname{cdeg}({\mathbf R})=\lambda({\mathbf R}/(c))-\lambda({\mathbf R}/\mathcal{C}),\qquad \operatorname{bideg}({\mathbf R})=\lambda({\mathbf R}/\mathcal{C})-\lambda({\mathbf R}/\mathcal{C}^{**}).

Comparison conjecture. In general,

cdeg(R)bideg(R).\operatorname{cdeg}({\mathbf R})\geq \operatorname{bideg}({\mathbf R}).

The conjecture proposes a general comparison between the canonical degree and the bi-canonical degree, two numerical invariants measuring the deviation of a Cohen–Macaulay ring from being Gorenstein. Its resolution is not supplied in the source.

Sources & referencesView supporting material

Primary source

L. Ghezzi, S. Goto, J. Hong, H. L. Hutson and W. V. Vasconcelos, “The Bi-Canonical Degree of a Cohen-Macaulay Ring”, arXiv:1711.09480 (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.