[论文解读] TQFTs do not detect the Milnor sphere

Ben Gripaios, Oscar RANDAL-WILLIAMS|arXiv (Cornell University)|Jan 28, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

该论文证明极一般的拓扑量子场论在广泛的目标范畴和切向结构下，无法检测 Milnor 的异域七球（更广义地说，界限于平行可化流形的同伦球面）。

ABSTRACT

We show that, under very general hypotheses, topological quantum field theories (TQFTs) cannot detect homotopy spheres bounding parallelisable manifolds, such as Milnor's exotic 7-dimensional sphere. The result holds for a wide variety of target categories (or $(\infty,n)$-categories) and arbitrary tangential structures. An appendix contains results on the mapping class groups of (stably-) framed manifolds that may be of independent interest.

研究动机与目标

• Motivate the question of whether functorial TQFTs can detect exotic smooth structures.
• Show that Milnor’s 7-sphere bound a parallelisable manifold and thus cannot be distinguished by broad classes of TQFTs.
• Provide general theorems valid for various target categories and tangential structures to establish non-detection.
• Discuss extensions to cohomological TQFTs and extended TQFTs and outline a proof strategy.

提出的方法

• Prove Theorem 1: for a (4k-1)-dimensional oriented homotopy sphere Sigma bounding a parallelisable 4k-manifold, any oriented TQFT F into Vect_k satisfies F(M#Sigma)=F(M) for any nonempty M.
• Embed a handlebody V_g into a bordism and factor M via a decomposition involving V_g and a gluing along boundary diffeomorphisms to realize M#Sigma.
• Use properties of Theta_{d} and Diff_{oundary} to construct a diffeomorphism whose induced action on the TQFT is trivial, yielding F(M#Sigma)=F(M).
• Show that the argument holds when targeting well-rounded categories, by leveraging residual finiteness of automorphism groups and linearity of representations.
• Extend the result to bordisms with arbitrary tangential structures theta and to extended/cohomological TQFTs by reducing to the framed case and applying Lemma 4 and related results.
• Outline the appendix results on finite residuals of (stably-)framed mapping class groups that underpin the extension steps.

实验结果

研究问题

• RQ1 Do semisimple TQFTs detect all exotic spheres in dimensions > 4?
• RQ2 Can non-semisimple, extended, or cohomological TQFTs detect Milnor’s Milnor sphere or other exotic spheres?
• RQ3 To what extent do tangential structures affect the ability of TQFTs to distinguish exotic smooth structures?

主要发现

• A Milnor 7-sphere bounding a parallelisable manifold is invisible to a broad class of TQFTs, i.e., F(M#Sigma)=F(M) for relevant M and Sigma.
• The non-detection result extends beyond semisimple TQFTs to general TQFTs valued in various target categories including chain complexes and quasi-coherent sheaves.
• The non-detection holds for bordism categories with arbitrary tangential structures and for extended TQFTs, including cohomological (infinity,1)-category valued theories.
• A concrete proof strategy uses diffeomorphism implants and the finite residual property of framing-related mapping class groups to ensure the connected-sum with Sigma is undetectable by F.
• An appendix provides results on the finite residuals of (stably-)framed mapping class groups that support the framing-based part of the argument.