Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

Update notes: In this version, we reduce the number of spectra in this project from 210 to 49 (compared to the cw210 version), while keeping the outcome sufficient to prove the Last Kervaire Invariant Problem. The size of the proof file proofs.db.rar is also reduced from 600MB to 44MB, leading to easier track for proofs.

In this Zenodo repositary we upload the computations of Adams differentials and extensions among many CW spectra and their proofs. This data will be used in the proof of the Last Kervaire Invariant Problem by Weinan Lin, Guozhen Wang and Zhouli Xu.

In programs.rar, we have two programs ./Adams and ./ss provided for both windows users and mac users and a definition file Adams.json for spectra involved in this project. The source code for the two programs is contained in source code.zip. You can also find the source code on Github https://github.com/WayneLin92/SSeqCpp together with user manual for the programs.

In programs.rar there is also a demo for ./ss which is a category of five spectra: S0, C2, Ceta, Cnu, Csigma.

kervaire_database.rar contains all the Adams spectral sequence data and extension data. They are sqlite3 database files and can be read directly by the ./ss program. We also provide the same data in csv format in kervaire_csv.rar.

proofs.db.rar and proofs_csv.rar are proofs of all the differentials. Inside proofs_csv.rar there are 3 csv files. We break it to 3 files because Microsoft Excel has a limit of 1000,000 rows.

On the website https://waynelin92.github.io/ss/kervaire-49.html you can find plots of the data. The website source code (html/javascript) is actually contained in programs.rar/webpages in this repositary.

Please read instructions.pdf for more infomation.