[論文レビュー] The beginnings of the theory of Hopf algebras

Nicolás Andruskiewitsch, Walter Ferrer Santos|arXiv (Cornell University)|Jan 16, 2009

Algebraic structures and combinatorial models参考文献 11被引用数 5

ひとこと要約

この論文は、ホップ代数の歴史的起源をたどり、代数的トポロジー（ハインツ・ホップのH空間とコホモロジーに関する業績を通じて）と代数的群論（ジャン・デュダン、ピエール・カーティエ、および後のバートラム・コスタンタンを通じて）の二重のルートを特定する。形式的定義の進化を、カーティエの1956年のハイパーアルゲブラから現代の公理的枠組みへと詳細に述べ、ボレル、カック、その他の貢献者を強調し、1969年のスウィーダーの書籍がホップ代数を抽象代数学の独立分野として確立したことを示す。

ABSTRACT

We consider issues related to the origins, sources and initial motivations of the theory of Hopf algebras. We consider the two main sources of primeval development: algebraic topology and algebraic group theory. Hopf algebras are named from the work of Heinz Hopf in the 1940's. In this note we trace the infancy of the subject back to papers from the 40's, 50's and 60's in the two areas mentioned above. Many times we just describe -- and/or transcribe parts of -- some of the relevant original papers on the subject.

研究の動機と目的

• ホップ代数の起源が代数的トポロジーと代数的群論にさかのぼることをたどること。
• 特にピエール・カーティエの1956年におけるハイパーアルゲブラの定義が果たした役割を明確にすること。
• ハインツ・ホップにちなんでホップ代数と名付けられた経緯と、アルマン・ボレルが1953年に「algèbre de Hopf」という用語を初めて用いた意義を説明すること。
• コスタンタン、カック、スウィーダーらの主要な数学者たちが現代の公理的理論を形作った貢献を分析すること。
• 1960年代後半までに、トポロジー的および群論的動機からホップ代数理論が独立した分野として発展した過程を文書化すること。

提案手法

• 1940年代から1960年代の原典論文の歴史的分析、特にホップ（1941年）、ボレル（1953年）、カーティエ（1956年）、コスタンタン（1960年代）の論文を対象とする。
• 特にコホモロジー的および代数的構造に焦点を当て、基礎的文献からの重要な記述の写しと解釈を行う。
• スウィーダーの記法などの現代的用語を用いて、初期の定義を再解釈し、概念的進化を明確にする。
• ハイパーアルゲブラやリング群といった初期の概念と、現代のホップ代数の公理的定義との比較を行う。
• 双対性、積分、反対元の役割を分析し、とりわけラーソンとスウィーダーの業績を通じて理論発展に与えた影響を検討する。
• リー理論、ホモロジー、コホモロジーの知見を統合し、トポロジー的および代数的構造が理論にどのように統合されたかを示す。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数の概念は、ハインツ・ホップのH空間に関する業績を通じて、代数的トポロジーでどのように生まれたのか？
• RQ2 アルマン・ボレルはどのように「algèbre de Hopf」という用語を考案し、トポロジーと代数の橋渡しを果たしたのか？
• RQ3 ピエール・カーティエの1956年のハイパーアルゲブラの定義は、ホップ代数の形式化にどのように寄与したのか？
• RQ4 特にデュダンとカーティエによる代数的群論の理論が、ホップ代数の公理的体系の発展にどのような影響を与えたのか？
• RQ5 ゲオルク・カックのリング群に関する1961年の概念——フォン・ノイマン代数における群代数の非可換一般化——は、有限次元ホップ代数の構造を予見しており、双対の二重双対定理を含んでいた。

主な発見

• ホップ代数の形式的定義、すなわちアンチポードを備えたバイアルゲブラとしての定義は、ピエール・カーティエが1956年に「ハイパーアルゲブラ」という名前で初めて明確に提示した。
• 「ホップ代数」という用語は、アルマン・ボレルが1953年にハインツ・ホップのH空間とコホモロジールーピングの基礎的業績を称えて広めた。
• ハインツ・ホップの1941年の論文は、H空間のコホモロジールーピングがカップ積と整合するコプロダクトを持つことを示し、強い構造的制約を生じさせた。
• コシュールのリー代数コホモロジーに関する業績は、ホップのトポロジー的結果の代数的アナロジーを提供し、群上の対角写像に類似する写像を用いた。
• ベルトラム・コスタンタンは後に、半単純リー代数のコホモロジーがその原始的要素の外積代数に同型であることを証明し、後の発展にとって基盤的である結果を得た。
• ゲオルク・カックの1961年の「リング群」の概念——フォン・ノイマン代数における群代数の非可換一般化——は、有限次元ホップ代数の構造を予見し、二重双対に関する双対定理を含んでいた。