algebra / Representation theory of algebras; homological conjectures

Tachikawa's second conjecture for self-injective algebras

Claims Theorem 1.1: over k=F2(q,H1,H2)k=\mathbb F_2(q,H_1,H_2) there are a finite-dimensional symmetric algebra AA and a nonprojective finite-dimensional module MM with ExtAi(M,M)=0\mathrm{Ext}^i_A(M,M)=0 for all i>0i>0, so Tachikawa's second conjecture fails, and MM is also a symmetric counterexample to the Auslander-Reiten conjecture. The conclusions persist under every field extension. It does NOT address Tachikawa's first conjecture separately, nor give characteristic-zero examples.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 23, 2026Significance 35/100Registry: lean checked

Tachikawa's second conjecture for self-injective algebras

Prior state unknown→disproved

Claims Theorem 1.1: over k=F2(q,H1,H2)k=\mathbb F_2(q,H_1,H_2) there are a finite-dimensional symmetric algebra AA and a nonprojective finite-dimensional module MM with ExtAi(M,M)=0\mathrm{Ext}^i_A(M,M)=0 for all i>0i>0, so Tachikawa's second conjecture fails, and MM is also a symmetric counterexample to the Auslander-Reiten conjecture. The conclusions persist under every field extension. It does NOT address Tachikawa's first conjectu…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims Theorem 1.1: over k=F2(q,H1,H2)k=\mathbb F_2(q,H_1,H_2) there are a finite-dimensional symmetric algebra AA and a nonprojective finite-dimensional module MM with ExtAi(M,M)=0\mathrm{Ext}^i_A(M,M)=0 for all i>0i>0, so Tachikawa's second conjecture fails, and MM is also a symmetric counterexample to the Auslander-Reiten conjecture. The conclusions persist under every field extension. It does NOT address Tachikawa's first conjecture separately, nor give characteristic-zero examples.

Claims Theorem 1.1: over k=F2(q,H1,H2)k=\mathbb F_2(q,H_1,H_2) there are a finite-dimensional symmetric algebra AA and a nonprojective finite-dimensional module MM with ExtAi(M,M)=0\mathrm{Ext}^i_A(M,M)=0 for all i>0i>0, so Tachikawa's second conjecture fails, and MM is also a symmetric counterexample to the Auslander-Reiten conjecture. The conclusions persist under every field extension. It does NOT address Tachikawa's first conjecture separately, nor give characteristic-zero examples.

Recorded attempts

Evidence graph

Connected research record

Tachikawa's second conjecture for self-injective algebras — Mathematical Frontier Network