2 papers
math.AT2025
On the Last Kervaire Invariant Problem
Weinan Lin, Guozhen Wang, Zhouli Xu
We prove that the element is a permanent cycle in the Adams spectral sequence. As a result, we establish the existence of smooth framed manifolds with Kervaire invariant on…
math.AT2025
Machine Proofs for Adams Differentials and Extension Problems among CW Spectra
Weinan Lin, Guozhen Wang, Zhouli Xu
In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to…