Tachikawa's commutative conjecture on canonical modules

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

ExtRi(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.

Sources & referencesView supporting material

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.