operadの系譜

「Operad」という言葉が初めて公式に登場したのは、1972年に発行されたJ. Peter May（J. ピーター・メイ）の著作『The Geometry of Iterated Loop Spaces』の中です。

用語の由来

J. Peter Mayは、この概念を定義する際、以下の2つの言葉を組み合わせて造語しました。

• Operations（演算）
• Monad（モナド：圏論における概念）
  彼は、複数の入力を受け取って1つの出力を出す「操作（Operation）」が、互いにどのように組み合わさるかという構造を記述するために、このシンプルで響きの良い言葉を選びました。

なぜ「Operad」という名前が必要だったのか

1970年頃、J.M. BoardmanとR.M. Vogtが同様の概念を研究していましたが、彼らはそれを「theory」や「PROPs（products and permutations）」といった、より古くて複雑な用語の枠組みで呼んでいました。
メイは、「無限ループ空間（iterated loop spaces）」という非常に複雑な対象を解析するために、それらの操作を「1つの抽象的な実体」として独立させて扱う必要がありました。

• 当時の課題: 空間をループさせる操作を何度も繰り返したとき、その「つなぎ合わせ」のルールが複雑だった。
• メイの解決: そのルール（結合法則や入れ替えなど）そのものを「オペラード」という1つの数学的オブジェクトとしてパッケージ化した。
• 初出: 1972年
• 著者: J. Peter May
• 文献: The Geometry of Iterated Loop Spaces (Springer Lecture Notes in Mathematics Vol. 271)
  この1972年の定義が、後にコンツェヴィッチらの手によって物理学や代数学へと「輸出」され、今日のような巨大な理論へと発展する出発点となりました。

オペラード（Operad）の歴史は、「代数的な構造を、図形の形として捉え直す」という数学的探求の歴史です。

1. 黎明期：ホモトピー論からの誕生 (1960年代後半〜1970年代)

オペラードは、もともと代数学ではなく代数的トポロジー（特に「無限ループ空間」の研究）から生まれました。

• J.M. Boardman と R.M. Vogt (1968年): 「積（掛け算）」が完全な結合法則を満たさず、ホモトピー（連続的な変形）の範囲内でのみ結合的であるような構造（A_\infty構造）を記述するために、その原型を提案しました。
• J. Peter May (1972年): 彼が「Operad」という用語を正式に定義しました。これは「Operations」と「Monad」を組み合わせた造語です。
• 目的: 空間のループ構造を解析するために、「複数の入力を1つの出力にまとめる操作」を体系化すること。

2. 中興の祖：数理物理と幾何学への浸透 (1990年代)

しばらくはトポロジーの専門的な道具でしたが、1990年代にマキシム・コンツェヴィッチらによって、全く別の分野で脚光を浴びることになります。

• 変形量子化とコンツェヴィッチ: 前述の通り、量子化の理論において「演算の入れ子構造」を記述するためにオペラードが不可欠であることが判明しました。
• ミラー対称性と弦理論: 物理学の弦（ストリング）が合体したり分裂したりする様子は、まさにオペラード的な構造（配置空間の境界）を持っていました。これにより、代数幾何学や数理物理学の最前線へと躍り出ました。

3. 現代：普遍的な「枠組み」としての発展 (2000年代〜現在)

現在では、オペラードは特定の分野の道具ではなく、数学全体を貫く「言語」としての地位を確立しています。

• 代数的組合わせ論: 木グラフ（Tree）や多角形の分割など、組み合わせ論的な対象をオペラードで整理する研究が進みました。
• 高次カテゴリー論: 圏論をさらに高次化した理論において、オペラードは複雑な整合性条件を記述するための標準的な言語となっています。
• 計算機科学: プログラムの構文ツリーや、並列処理のモデリングなどへの応用も模索されています。

時代による定義の変化

歴史の皮肉: > 当初は「トポロジーの複雑すぎる計算を整理するためのニッチな道具」と思われていましたが、実は「宇宙の物理法則や計算の論理構造そのものを記述する基本形式」だったことが後から分かった、という点がオペラードの面白い歴史的側面です。