Trisection invariants of 4-manifolds are uncomputable

Nathan M. Dunfield, Marc Kegel, Shana Yunsheng Li +1

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 no…