The hyperplane-section inequality for bidual canonical degree

Let (R,m)({\mathbf R},{\mathfrak m}) and xx satisfy the conditions above: C\mathcal{C} is a canonical ideal of R{\mathbf R}, xx is regular modulo C\mathcal{C}, S=R/(x){\mathbf S}={\mathbf R}/(x), and D=(C,x)/(x)\mathcal{D}=(\mathcal{C},x)/(x) is the induced canonical ideal of S{\mathbf S}.

Hyperplane-section conjecture. Under these conditions,

bideg(R)bideg(R/(x)).\operatorname{bideg}({\mathbf R})\geq\operatorname{bideg}({\mathbf R}/(x)).

This is a Lefschetz-type comparison predicting that bidual canonical degree does not increase under the indicated hyperplane section. The text presents it as a model for the desired behavior and gives no resolution.

Sources & referencesView supporting material

Primary source

J. P. Brennan, L. Ghezzi, J. Hong, L. Hutson and W. V. Vasconcelos, “Canonical Degrees of Cohen-Macaulay Rings and Modules: a Survey”, arXiv:2006.14401 (2020).

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.