A counterexample to Tachikawa's second conjecture
Source: github.com/openai/math/tree/main/preprints/A-counterexample…
We disprove Tachikawa's second conjecture by constructing a finite-dimensional symmetric algebra over $k=\mathbb F_2(q,H_1,H_2)$ with a finite-dimensional nonprojective module whose self-extension groups vanish in every positive degree. The associated endomorphism algebra also gives counterexamples to the classical, generalized, and strong Nakayama conjectures, the Auslander–Gorenstein conjecture, and the Wakamatsu tilting conjecture. These conclusions persist after every extension of k .
Comments and reviews
No comments yet.
Discussed elsewhere
After OpenAI solved (it still has to be checked carefully!) the second Tachikawa, most of the important homological conjectures in our field might be wrong after all. Here I suggest some own interesting problems and conjectures related to homological algebra of finite dimensional algebras. (last…
API
curl /api/v1/records/openai-math/A-counterexample-to-Tachikawas-second-conjecture
curl -X POST /api/v1/records/openai-math/A-counterexample-to-Tachikawas-second-conjecture/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/openai-math/A-counterexample-to-Tachikawas-second-conjecture/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'
C.M.Ringel (Bielefeld): New Activitiesmath.uni-bielefeld.deClaus Michael Ringel
A new age has started! (9.10.2026) It is said that AI has exhibited examples which show that all the classical homological conjectures are wrong. Whether these assertions are correct, has still to be verified (like any claim of a mathematician). But at least someone has started to take…