Delphi.science

Trisection invariants of 4-manifolds are uncomputable

Nathan M. Dunfield, Marc Kegel, Shana Yunsheng Li, Qiuyu Ren

arXivarxiv/2608.27811Aug 28, 2026math.GTscore 0

We prove that two invariants of smooth 4-manifolds defined in terms of trisections are uncomputable: the trisection genus and the Kirby-Thompson L-invariant. That is, there does not exist an algorithm that takes as input a triangulated closed orientable 4-manifold and outputs one of these quantities. The result on the L-invariant resolves the second part of Problem 4.116 in the K3 problem list. In the same spirit, we show that the PL multisection genus of PL manifolds is uncomputable in dimensions at least four.

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