Jim Stasheff Associahedron
ジム・スタシェフ（James Dillon Stasheff, 1936年 – ）は、現代数学における「高次代数（Higher Algebra）」の先駆者であり、アソシアヘドロン（Associahedron）Stasheff polytope（スタシェフポリトープ多胞体）とA∞構造を生みました。
1. ジム・スタシェフの来歴
- 生い立ち: 1956年にミシガン大学を卒業後、プリンストン大学へ進学。ジョン・ミルナー（John Milnor）の著名な講義録『Characteristic Classes』の共著者としても知られています。
- 二つの博士号（1961年）: スタシェフはプリンストン大学に在籍しながらオックスフォード大学にも留学しました。彼は自身の博士論文を「代数的」なパートと「トポロジー的」なパートの二つに分割しました。
- オックスフォード大学 (D.Phil): イオアン・ジェームス（Ioan James）指導の下。
- プリンストン大学 (Ph.D): ジョン・コールマン・ムーア（John Coleman Moore）指導の下。
- その後: マサチューセッツ工科大学（MIT）、ノートルダム大学、テンプル大学を経て、ノースカロライナ大学チャペルヒル校の教授を歴任。現在は名誉教授です。1980年代以降は、その代数的知見を量子力学や弦理論（物理学）へ応用する研究でも多大な貢献をしました。
2. 該当論文：高次の結合法則の確立
「アソシアヘドロン」と「A∞代数」
基本情報
- 論文名: Homotopy Associativity of H-Spaces. I, II
- 掲載誌: Transactions of the American Mathematical Society, Vol. 108, No. 2 (1963)
- 構成:
- Part I: pp. 275–292（幾何学的・トポロジー的側面）
- Part II: pp. 293–312（代数的側面）
論文の内容
この論文は、ハミルトンの四元数やケーリーの八元数が持つ「非結合性」という不完全さを、「ホモトピー（連続的な変形）」という視点から一般化、階層化する試みでした。
- H-Space（H空間）の定義: 通常の「群」のように厳密な結合法則を持たず、「ホモトピーの意味で結合的」である空間を定義しました。
- アソシアヘドロン（K_n）の導入: カッコの付け方の違いを「点（0次元）」とし、それらを繋ぐ「線（1次元）」、「面（2次元）」…と構築することで、演算の不完全さを「図形の広がり（高次次元）」の中に閉じ込めました。
- Cayley numbers（八元数）への言及: スタシェフはこの論文の中で、実数、複素数、四元数までは「射影空間（Projective Space）」を無限次元まで構成できるが、八元数では結合性の欠如によりそれができないという問題に触れています。彼は、この「次元の壁」をホモトピー論的な「メカニズム」で解明しようとしました。
アソシアヘドロンの次元と構造
アソシアへドロンは、演算する要素の数（n）が増えるごとに、その次元を上げていきます。
- K_2 (点): 単一の要素 a。
- K_3 (線分): (ab)c と a(bc)。2つの計算順序を繋ぐ1次元のパス。
- K_4 (五角形): 4つの要素の演算。5つの頂点（計算順序）が巡回し、2次元の面を作る。
- K_5 (三次元多面体): 5つの要素。14の頂点が、複数の五角形と四角形の面で構成された立体を作る。
重要な洞察：
次元が上がるほど、計算の「順序」という制約は、広大な「空間」へと開放されます。「演算は時間ではなく空間や論理の問題である」という言葉は、この K_n の内部空間を自由に移動できる能力を指していると解釈できます。