淡中・クライン双対性

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "淡中・クライン双対性" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2017年10月)

この記事は更新が必要とされています。 この記事には古い情報が掲載されています。編集の際に新しい情報を記事に反映させてください。反映後、このタグは除去してください。（2024年7月）

この記事はカテゴライズされていないか、不十分です。 適切なカテゴリを追加して、記事内容を向上させてください。（2024年3月）

淡中・クライン双対性（たんなか・クラインそうついせい、Tannaka–Krein_duality）の理論は数学において、コンパクトの相互作用に関するもの、位相群とその圏 (数学) の線形表現の相互作用に関するものである。

コンパクト群と離散可換位相群の間のポントリャーギン双対を、コンパクトだが非可換な群に自然に拡張したものである。

この理論は淡中忠郎とマルク・クレインにちなんで命名された。 レフ・ポントリャーギンが考えた可換群の場合とは対照的に、非可換コンパクト群の双対概念は群ではなく、Gの有限次元表現によって形成される、何らかの付加的な構造を持つ表現の圏Π(G)である。

淡中とクラインの双対性定理は、Π(G)の圏から群Gへの逆行列を記述し、その表現の圏から群を回復することを可能にする。 さらに、彼らは、この方法で群から生じうるすべてのカテゴリーを完全に特徴づけている。 後にアレクサンドル・グロタンディークは、同様のプロセスによって、淡中の双対性がTannakian formalismを介して代数群の場合に拡張できることを示した。 一方、淡中とクラインの理論は数理物理学者によって発展・改良され続けた。淡中-クライン理論の一般化は量子群の表現を研究するための自然な枠組みを提供し、現在では量子超群、量子亜群、およびそれらの双対ホップ環状体に拡張されている。

局所コンパクトな可換群に対するポントリャーギンの双対性理論では、群Gの双対対象はその指標群 ${\displaystyle {\hat {G}},}$であり、一次元の単位表現からなる。 群Gが非可換であることを許すならば、指標群の最も直接的な類似は既約表現の同値類の集合である。Gのユニタリー表現の同値類の集合である。指標の積の類似は表現のテンソル積である。しかし、Gの既約表現は一般に群やモノイドを形成することができない。すべての有限次元表現の集合${\displaystyle \Pi (G)}$を考え、それをモノイダル圏として扱う必要があることがわかった。

圏${\displaystyle \Pi (G)}$の表現とは、恒等関手からそれ自身への自然変換たちのことである。 言い換えると、任意の${\displaystyle T\in \operatorname {Ob} \Pi (G)}$ に対して、テンソル積との両立条件${\displaystyle \varphi (T\otimes U)=\varphi (T)\otimes \varphi (U)}$と任意の表現の射${\displaystyle f\colon T\to U}$,すなわち, ${\displaystyle f\circ \varphi (T)=\varphi (U)\circ f}$との両立条件を満たす非ゼロ関数${\displaystyle \varphi }$のことである。

圏${\displaystyle \Pi (G)}$の全表現の集まり${\displaystyle \Gamma (\Pi (G))}$ は乗法${\displaystyle \varphi (T)=\varphi (T)\psi (T)}$ と各点収束位相で位相が入る。各点収束位相とはつまり ${\displaystyle \{\varphi _{a}\}}$ がある ${\displaystyle \varphi }$ に収束することと、任意の${\displaystyle T\in \operatorname {Ob} \Pi (G)}$に対して ${\displaystyle \{\varphi _{a}(T)\}}$ が ${\displaystyle \varphi (T)}$ に収束することが同値になるということである. こうして集合${\displaystyle \Gamma (\Pi (G))}$ がコンパクトな（位相的な）群になることが示される。

この項目「淡中・クライン双対性」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文："Tannaka–Krein duality"（2024/2/25/1:11）） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2024年10月）

淡中の定理 は、表現圏 Π(G) から コンパクト群 G を再構成する方法を提供する。

G をコンパクトなグループとし、F: Π(G) → Vect_C を忘却関手 とする。G の有限次元 複素数 表現から複素数 有限次元 ベクトル空間 へ。 自然変換 τ: F → F にトポロジーを配置する。これは、それぞれが ${\displaystyle \tau \mapsto \tau _{V}}$ によって与えられる投影の End(F) → End(V) (自然変換 ${\displaystyle \tau }$ をとります) そのコンポーネント ${\displaystyle \tau _{V}}$ at ${\displaystyle V\in \Pi (G)}$) は 連続関数 です。 自然変換が G の自明な表現上の恒等写像であり、 ${\displaystyle \tau _{V\otimes W}=\tau _{V}\otimes \tau _{W}}$ という意味でテンソル積を保存する場合、自然変換は テンソル保存 であると言う。 また、${\displaystyle {\overline {\tau }}=\tau }$ の場合、τ は 自己共役 であるとも言う。ここで、バーは複素共役を示す。 この場合、F のすべてのテンソル保存自己共役自然変換の集合 ${\displaystyle {\mathcal {T}}(G)}$ は End(F) の閉じた部分集合になる。 G が (コンパクトな) グループである場合、実際には (コンパクトな) グループになる。 G のすべての要素 x は、各表現で x による乗算を介してテンソルを保存する自己共役の自然変換を生じさせるため、マップ ${\displaystyle G\to {\mathcal {T}}(G)}$ を持つ。 淡中の定理は、この写像が同型写像であることを示す。

「クラインの定理」は、どのカテゴリーがコンパクトな群に対する双対目的として生じ得るか、という問いに答える。

Π を、テンソル積とインボリューションの演算を備えた有限次元ベクトル空間の圏とする。 Π がコンパクト群 G に対して双対目的体であるためには、次の条件が必要かつ十分である。

1. Π のすべてのオブジェクト A に対して ${\displaystyle I\otimes A\approx A}$ というプロパティを持つオブジェクト ${\displaystyle I}$ が存在する (これは必然的に一意になる) 同型写像に）。

2. Π のすべてのオブジェクト A は、最小オブジェクトの合計に分解できます。

3. A と B が 2 つの極小オブジェクトである場合、準同型写像の空間 Hom_Π(A, B) は次のいずれかになります。 次元 (同型の場合)、またはゼロに等しい。

これらの条件がすべて満たされる場合、圏 Π = Π(G) になる。ここで、G は Π の表現のグループである。

1980年代にドリンフェルドと神保道夫の研究で量子群が発見され、淡中-クラインの双対性理論への関心が再び高まった。 量子群の研究への主なアプローチの1つは，対称モノイダル圏Π(G)に似た圏を形成する有限次元表現を通して進められるが，より一般的な型のbraided monoidal categoryである． この場合にも淡中・クライン型の優れた双対理論が存在することが判明し，量子群とその表現の両方を研究できる自然な設定を提供することによって，量子群の理論において重要な役割を果たします。 その後まもなく，有理共形場理論において，braided monoidal categoryのさまざまな例が発見された。 淡中・クラインの哲学は、共形場理論から生じるbraided monoidal categoryも量子群から得られることを示唆し、KazhdanとLusztigは一連の論文で、実際にそうであることを証明した。 一方、レシェティキンとトゥラーエフによって、ある種の量子群から生じるbraided monoidal categoryが、結び目の新しい不変量の構築に応用された。

doplicher-roberts theorem（セルジオ・ドプリッヒャーとジョン・E・ロバーツによる）は圏論の観点からRep(G)を特徴付けるものであり、ヒルベルト空間の圏の部分圏の一種である。^[1]

このようなヒルベルト空間上のコンパクト群ユニタリー表現の部分圏は次の通りである：

1. 共役を持つストリクト対称モノイダルC*-圏
2. モノイダル単位の内同型のC*代数がスカラーだけを含むような部分対象と直和を持つ部分圏。

1. ^ Doplicher, S.; Roberts, J. (1989). “A new duality theory for compact groups”. Inventiones Mathematicae 98 (1): 157–218. Bibcode: 1989InMat..98..157D. doi:10.1007/BF01388849. 

この節には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。（2024年3月）