The negative-invariant conjecture for nearly Gorenstein normal graded rings

From papers

Let R=n0RnR = \bigoplus_{n\ge 0} R_n be a normal graded domain finitely generated over a field k=R0k=R_0. Let KRK_R be its canonical module, let KR1\operatorname{K^{-1}_R} be the inverse canonical module, and define

b(R)=min{nZ[KR1]n0}.b(R)=\min\{n\in\mathbb Z\mid [\operatorname{K^{-1}_R}]_n\ne 0\}.

A normal graded ring RR is nearly Gorenstein when its canonical trace ideal satisfies TrR(KR)=mR\operatorname{Tr}_R(K_R)=\mathfrak m_R. If RR has an isolated singularity, then:

Negative-invariant conjecture. If char(k)=0\operatorname{char}(k)=0 and b(R)<0b(R)<0, then RR is of strongly F-regular type. If, moreover, RR is Q\mathbb Q-Gorenstein, meaning that rcl(KR)=0r\,\operatorname{cl}(K_R)=0 in Cl(R)\operatorname{Cl}(R) for some positive integer rr, then RR is log-terminal.

This proposes a stronger singularity-theoretic consequence of the negativity condition on b(R)b(R), analogous to the known fact that rational singularities have negative aa-invariant. The source presents the statement as a conjecture; its resolution status is not specified in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Tomohiro Okuma, Kei-ichi Watanabe and Ken-ichi Yoshida, “Nearly Gorenstein normal graded rings”, arXiv:2602.04222 (2026).

Solutions 0

No solutions have been posted yet.