∞-Operad
数学や理論物理学（特に超弦理論など）の文脈で登場する ∞-Operad（インフィニティ・オペラド） は「結合法則や交換法則が、厳密な等号ではなく『連続的な変形（ホモトピー）』の意味で成り立つ代数構造」を扱うための枠組みです。通常のオペラドを、より柔軟な「高次圏論（Higher Category Theory）」へ拡張したものと言えます。
1. 直感的な背景：なぜ∞が必要か
通常の代数系（群や環など）では、a *b = b *a といった法則が厳密に成り立ちます。しかし、合成代数では、以下のような状況が頻発します。
- a *bと b *a は厳密には等しくない。
- しかし、両者の間には「通り道（パス）」が存在する。
- さらに、その「通り道」同士も、さらに高次の「面」でつながっている。
このように、無限の階層にわたって「違いを補完する構造」が存在する場合、従来のオペラドでは記述しきれません。そこで、(∞, 1)-categoryの枠組みで定義されたのが ∞-Operad です。
2. 数学的な定義 fibration
現代的な数理物理や代数幾何において、∞-Operad は主に Jacob Lurie によって整備された 「∞-圏のファイブレーション」 として定義されます。
具体的には、有限集合の圏の骨格である Fin*（basepoint を持つ有限集合の圏）への特定の条件を満たす写像 $p:O⊗ →N(Fin*) として定義されます。
構成要素
- 演算の多重度: 1つの出力に対して複数の入力を受け取る構造を、有限集合の対応として表現します。
- 擬圏（Quasicategory）: ∞-Operad は通常、単体的集合（Simplicial Set）の一種である擬圏の言葉で書かれます。これにより、合成の「一意性」を緩め、ホモトピー的な一意性のみを保証します。
3. なぜ重要なのか？
∞-Operad を使うことで、以下のような高度な概念を厳密に扱えるようになります。
| 概念 | 説明 |
| En-Operads | n次元のユークリッド空間内での「演算の入れ替え」を記述。n=1 は結合的、n=∞ は可換に対応します。 |
| Derived Algebraic Geometry | 派生代数幾何において、可換環の概念をホモトピー的に拡張した「E∞-ring」を扱う基盤となります。 |
| Factorization Homology | 多様体上の場の理論を計算する際、∞-Operad の構造が計算の核となります。 |
まとめ
∞-Operad は、「複雑に絡み合った演算のルールを、ホモトピー論の力を借りて整頓するツール」です。これによって、これまで「ほぼ等しい」と片付けていた現象を、厳密な数学的対象として計算できるようになりました。