Tachikawa's commutative conjecture on canonical modules

At least 23 years old · documented by

Let (R,m,k)(R,\mathfrak m,k) be a Noetherian local ring with a canonical module KRK_R. Tachikawa's conjecture. If

Ext⁡Ri(KR,R)=0\operatorname{Ext}^i_R(K_R,R)=0

for all i>0i>0, then RR is Gorenstein. This is the commutative version of Tachikawa's first conjecture concerning the vanishing of Ext modules; the supplied source does not state whether the conjecture has been resolved.

References

Primary source

Doan Trung Cuong and Toshinori Kobayashi, “On direct summands of syzygies of the residue field of a local ring”, arXiv:2510.24220 (2025).

Additional references

10 papers in this index state this conjecture (2002–2025). The statement above is taken from the most recent of them; the others are arXiv:2409.04686, arXiv:2404.02274, arXiv:2312.15586, arXiv:2310.10607, arXiv:2212.05521, arXiv:2005.02263, arXiv:1512.02442, arXiv:1409.1141, arXiv:math/0208172.

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.