algebra / Representation theory of artin algebras

Does Tachikawa's second conjecture imply the Auslander-Reiten conjecture?

Yes. With the known implications it follows that the Auslander-Reiten conjecture, the generalized Nakayama conjecture, the Auslander-Gorenstein conjecture, the Nakayama conjecture, the Gorenstein-projective conjecture and Tachikawa's second conjecture are all equivalent, and that Tachikawa's second implies his first. None of them is thereby proved.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 14, 2026Significance 30/100Registry: unreviewed

Does Tachikawa's second conjecture imply the Auslander-Reiten conjecture?

Prior state unknown→proved

Yes. With the known implications it follows that the Auslander-Reiten conjecture, the generalized Nakayama conjecture, the Auslander-Gorenstein conjecture, the Nakayama conjecture, the Gorenstein-projective conjecture and Tachikawa's second conjecture are all equivalent, and that Tachikawa's second implies his first. None of them is thereby proved.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Yes. With the known implications it follows that the Auslander-Reiten conjecture, the generalized Nakayama conjecture, the Auslander-Gorenstein conjecture, the Nakayama conjecture, the Gorenstein-projective conjecture and Tachikawa's second conjecture are all equivalent, and that Tachikawa's second implies his first. None of them is thereby proved.

Yes. With the known implications it follows that the Auslander-Reiten conjecture, the generalized Nakayama conjecture, the Auslander-Gorenstein conjecture, the Nakayama conjecture, the Gorenstein-projective conjecture and Tachikawa's second conjecture are all equivalent, and that Tachikawa's second implies his first. None of them is thereby proved.

Recorded attempts

Evidence graph

Connected research record

Does Tachikawa's second conjecture imply the Auslander-Reiten conjecture? — Mathematical Frontier Network