Skip to content
DraconiticResearch
Search Sources API
197,688 studies31 sourcesUpdated 3 min ago
PreprintarXiv licencearXiv

Automated proofs of unstable Adams differentials

  • Jake Francis Baer
Open at sourcePDFDOICite

Abstract

We present a computer-based approach to computing differentials in the unstable Adams spectral sequence by systematically applying the unstable Leibniz rule and naturality with respect to maps in the EHP sequence. We record our results in tables of upper and lower bounds on the orders of 2-primary unstable homotopy groups of spheres through the unstable 50-stem. We provide examples of proofs for several differentials and give a guide to interpreting the associated unstable Adams charts and flow chart diagrams for differential proofs.

Related

  1. Adams Spectral Sequences and Franke’s Algebraicity Conjecture
    Irakli Patchkoria, Piotr Pstrągowski
    Memoirs of the American Mathematical SocietyPeer-reviewedLicence not statedFull text27 citedMathematical physicsOpenAlex
  2. Indecomposable Uniform Families on the Adams 4-Line
    Jordan Benson, Runji Li
    arXivPreprintCC BY-NC-SA 4.0Full textGeometry & topologyarXiv
  3. Adaptive Adams-Type Methods Based on Algebraic, Trigonometric, and Exponential Interpolation
    Pavlina Atanasova, Valentin Georgiev, Elis Dieva +1
    MathematicsPeer-reviewedCC BY 4.0General mathematicsCrossref
  4. Sharp Adams inequality for Critical Biharmonic Equations with Hardy--Hénon Weights in ℝ4
    J. C. de Albuquerque, J. Carvalho, L. M. Silva
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  5. Quadratic differentials and random walks on the dual graph of a pants decomposition
    Charles Bordenave, Xinlong Dong, Dragomir Šarić
    HALPreprintLicence not statedGeneral mathematicsHAL

Cite

BibTeXRIS
BibTeX
@misc{baer2026automated,
  title = {{Automated proofs of unstable Adams differentials}},
  author = {Jake Francis Baer},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.23984},
  eprint = {2609.23984},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.23984},
}
RIS
TY  - UNPB
TI  - Automated proofs of unstable Adams differentials
AU  - Jake Francis Baer
PY  - 2026
DA  - 2026/09/21
PB  - arXiv
DO  - 10.48550/arxiv.2609.23984
UR  - https://arxiv.org/abs/2609.23984
AB  - We present a computer-based approach to computing differentials in the unstable Adams spectral sequence by systematically applying the unstable Leibniz rule and naturality with respect to maps in the EHP sequence. We record our results in tables of upper and lower bounds on the orders of 2-primary unstable homotopy groups of spheres through the unstable 50-stem. We provide examples of proofs for several differentials and give a guide to interpreting the associated unstable Adams charts and flow chart diagrams for differential proofs.
ER  -