3 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…
math.AT2024
Product formulas for conjugated motivic milnor basis
Hana Jia Kong, Weinan Lin
We give explicit product formulas for the mod 2 motivic Steenrod algebra in the conjugated motivic Milnor basis. This provides an efficient tool for computing the E2-page of the mo…