不安定アダムズ・スペクトル系列の微分を計算機で証明
Automated proofs of unstable Adams differentials
この論文をやさしく読む
ひとことで言うと
球面の高次元的な形の性質を調べる代数的位相幾何で、スペクトル系列の微分を規則に従って計算する手順を計算機に行わせる研究です。結果を群の大きさの上下限や証明図として整理しています。
何に役立つ？
球面の不安定ホモトピー群を調べる研究で、微分の計算と証明の追跡を支援します。数値の表だけでなく、計算の根拠をたどる図の読み方も提供しています。
この研究の面白いところ
ライプニッツ則とEHP系列の写像に関する自然性を組み合わせ、複数の微分の情報を体系的に導きます。証明例とフローチャートを併せて提示する点が特徴です。
どこまで分かった？
表は不安定50ステムまでの2-primary部分の位数の上下限です。全素数成分や全次元の群を完全に決定したという内容ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
不安定ライプニッツ則と、EHP系列の写像に関する自然性を体系的に適用することで、不安定アダムズ・スペクトル系列の微分を計算する、計算機に基づく手法を提示する。結果を、不安定50ステムまでの球面の2-primary不安定ホモトピー群の位数について、上限と下限の表として記録する。いくつかの微分について証明例を示すとともに、関連する不安定アダムズ図表と、微分の証明を表すフローチャートの読み方を案内する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
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.
著者のコメント
(10 figures = 6 in the body + 4 legend panels; 5 tables = contradiction table + 4 bounds tables): 20 pages, 10 figures, 5 tables. Code and data at https://github.com/jfbaer/adams-ehp (doi:10.5281/zenodo.22820890); interactive Adams charts at https://jfbaer.github.io/adams-ehp/
arXiv ID: 2609.23984 ／ 要約の誤りについて