Open Research Index

A proper dg algebra which does not cogenerate

Mingyuan Hu, Vivek Shende, Dinglong Wang

arXivarxiv/2609.34193Sep 28, 2026math.RAscore 0

Keller's strong form of the homological conjectures asserts: any finite dimensional algebra cogenerates its unbounded derived category of modules. Here we record an example of a (coconnective) dg algebra with finite dimensional cohomology, which does not cogenerate its module category, along with some related phenomena: a smooth dg category whose dualizing bimodule fails to be nondegenerate, and a nontrivial fully faithful left Calabi-Yau morphism. All examples and most proofs were produced by ChatGPT. In an appendix we explain the reason we were looking for such examples: their existence…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.34193
curl -X POST /api/v1/records/arxiv/2609.34193/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.34193/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'