Delphi.science

Undecidability problems for semifree DG algebras

Ciprian Manolescu, Nick Rozenblyum

arXivarxiv/2605.08122Apr 28, 2026math.RAscore 0

We prove that the stable tame isomorphism, quasi-isomorphism, and derived Morita equivalence problems for semifree noncommutative differential graded algebras (DGAs) are all undecidable. This resolves half of Problem 5.16 from the K3 Problem List in Low-Dimensional Topology. We present two solutions, both obtained (essentially autonomously) by Gemini Deep Think / Aletheia.

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