The negative-invariant conjecture for nearly Gorenstein normal graded rings

Less than 1 year old · traced to

Let R=⨁n≥0RnR = \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 KR−1⁡\operatorname{K^{-1}_R} be the inverse canonical module, and define

b(R)=min⁡{n∈Z∣[KR−1⁡]n≠0}.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 Tr⁡R(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 r cl⁡(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.

References

Primary source

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

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.