多重線型代数

数学における多重線型代数とは、線型空間における多重線型性  を扱う代数学の分野。多重線型性は典型的には線型環における積の構造に現れている。A}} を K}} –代数とするとき、自然数 n}} に対し、A}} 上で定義された n}} 変数写像  とよばれる。多重線型写像は何らかの意味でベクトルの「積」を表していると考えられる。

多重線型性を捉える基本的な対象としてテンソル代数、対称代数、外積代数が挙げられる。テンソル代数におけるテンソル積によって、ベクトルの積として最も一般的なものが定式化される。また、対称積や外積によって一定の付加的な条件を満たすような積が捉えられる。

1. 歴史
-----

多重線型代数の起源は様々な形で19世紀における一次方程式の研究やテンソル解析などのいくつかの分野に辿ることができる。20世紀前半の微分幾何学や一般相対性理論、あるいは応用数学の様々な分野におけるテンソルの使用によって多重線型代数の概念はさらに発展させられた。

20世紀の中頃になってテンソルの理論はより抽象的な形に再定式化された。ブルバキによる『代数』の執筆はこの過程に強い影響を与えており、実際のところ、//多重線型代数// という用語自体も彼らによって作られたものだとされている。この時代にはホモロジー代数が多重線型代数の新たな応用先として現れていた。

1940年代における代数的位相幾何学の発展により、空間の直積とホモロジー群のテンソル積との対応などの理解のためにもテンソル積を純代数的に定式化し取り扱う必然性が生まれていた。 ここでの問題には多くの概念が関わっている。たとえば、ヘルマン・グラスマンに始まるウェッジ積の概念はクロス積の概念を一般化したものになっているが、微分形式の理論と、続くドラーム・コホモロジーの理論に不可欠な形で利用されている。

ブルバキによる多重線型代数の再構成において、それまでの多重線型代数の一流儀であった四元数を通じてテンソルを考える方法は打ち捨てられることになった。ブルバキが採用したのはより圏論的な方法論であり、普遍性をもとにした議論によって多重線型代数の理論は大きく整理された。 こうして、//テンソル空間// を考えることによって多重線型性の問題が単なる線型性の問題へと言い換えられる、ともいうべき理解が得られた。この過程で用いられる操作は純代数的なものであり、幾何学的な直感は見かけ上完全に排除されている。多重線型代数の理論を代数的・圏論的に整理したことによって多重線型的な問題の「最適解」の概念がはっきりとしたものになる。その場その場に応じた、座標系を用いたりして幾何学的な概念に訴える必要無しに、すべてのものが「自然に」構成できることになる。

2. 定義
-----

以下、K}} を可換環とする。

2.1. 特徴付け
---------

2.1.1. テンソル代数
-------------

K}} –加群 E}} のテンソル代数 T//E//}} とは、可換とは限らない K}} –代数であって E}} からの線型写像 //E// → T//E//}} を持ち、次の条件を満たすもののことである：K}} –代数 A}} への K}} –線型写像 //E// → //A//}} が与えられたとき、図式

が可換になるような K}} –代数の準同型 T//E// → //A//}} が存在して一意に定まる。この条件によって対 }} は同型を除き一意に定まる。

2.1.2. 対称代数
-----------

K}} –加群 E}} の対称代数 S//E//}} とは、可換な K}} –代数であって E}} からの K}} –線型写像をもち、次の条件を満たすもののことである：可換 K}} –代数 A}} への K}} –線型写像 //E// → //A//}} が与えられたとき、図式

が可換になるような K}} –代数の準同型 S//E// → //A//}} が存在して一意に定まる。この条件によって対 }} は同型を除き一意に定まる。

2.1.3. 外積代数
-----------

K}} –加群 E}} の外積代数 larger とは、可換とは限らない K}} –代数であって E}} からの K}} –線型写像を持ち、次の条件を満たすもののことである：K}} –代数への線型写像で、任意の //x// ∈ //E//}} について、

となっているものが与えられたときに、図式

が可換になるような K}} –代数の準同型が存在して一意に定まる。この条件によって対 (larger は同型を除き一意に定まる。

2.2. 構成
-------

2.2.1. テンソル積とテンソル代数
-------------------

Tsup とし、1 < //n//}} について n}} 回テンソル積をとったものをTsup とし、これらの直和 larger を T//E//}} とする。この K}} –加群は

によって定まる積を持ちK}} –代数になる。T//sup を E}} の n}} 次テンソル冪  と呼ぶ。//

E}} から T//E//}} への線型写像は //E// =}} Tsup によって与えられている。E}} から K}} –代数 A}} への K}} –線型写像 φ: //E// → //A//}} が与えられたとき、//E// → T//E//}} と両立する準同型 T//E// → //A//}} は //x// sub によって与えられる。

2.2.2. 対称代数と対称積
---------------

テンソル代数 T//E//}} において //x// ⊗ //y// − //y// ⊗ //x// }} という形の Tsup の元が生成する両側イデアルを I//E//}} とする。商環 S//E// =}} T//E///I//E//}} と K}} –準同型 //E// → T//E// → S//E//}} は上に挙げた対称代数の普遍性を満たしている。

S//E//}} における T//sup の 像 S//sup を E}} の n}} 次対称冪  と呼ぶ。直接的には、S//sup は T//sup をその部分加群

は斉次元で で割った商加群となっており、S//E//}} は S//sup の直和になっている。//

2.2.3. 外積代数と外積
--------------

//x// ⊗ //x//}} という形の元が生成する両側イデアルを J//E//}} とする。商環 larger と K}} –準同型 //E// → T//E// → larger は上に挙げた対称代数の普遍性を満たしている。

T//sup の像 larger を E}} の n}} 次外冪  と呼ぶ。直接的には larger は T//sup をその部分加群

は斉次元で で割った商加群となっており、larger は larger の直和になっている。

3. 圏と関手による言い換え
--------------

上に挙げたテンソル代数の特徴付けは、//E// → T}} が K}} –代数の圏から K}} –加群の圏への埋め込み関手の左随伴関手であることをいっている。同様にして //E// → //S// }} は可換 K}} –代数の圏から K}} 加群の圏への埋め込み関手の左随伴関手になっている。

テンソル積加群や対称積加群、外積加群についても関手的な特徴付けができる。n}} 次テンソル冪は n}} 変数双線型写像を表現している。つまり、K}} –加群 F}} に対して E}} から F}} への n}} 重線型写像を //Lsub と書くことにすれば、関手の間の自然な同一視 //Lsub がある。

同様にして n}} 次対称冪や n}} 次外冪もそれぞれある関手を表現していると見なすことができる。具体的には、S//sup は n}} 次対称写像の空間//

は から への 重線型写像で を満たす。を Symsub として表現している。同様にして large は n}} 次交代写像の空間

は から への 重線型写像で ならば を満たす。を表現している。

4. 対称代数や外積代数の構造
---------------

加群の直和 //E// ⊕ //F//}} に対して、次数付き加群としての自然な同一視 //S//  ≡ S//E// ⊗ S//F//}} や larger がある。つまり、各自然数 k}} について

が成立している。したがって、dim S//sup や dim larger の母関数 σsub や λsub について//

が成立している。ここから σsub や λsub から dim large などが従う。

5. 多項式環
-------

n}} 次の自由 K}} –加群Ksup の対称代数は K}} を係数とする n}} 変数の多項式環 //K// !(}}//X// sub と見なせる。

6. 行列式
------

Ksup の n}} 次外冪 larger は一次元空間であるが、これは向きも込めた Ksup における体積要素の空間と見なせる。Ksup 上の線型写像 φ}} について、φ}} が体積要素を何倍に変換するかという情報は larger 上に引き起こされる線型写像 larger がどんな定数倍写像になっているかということで表されている。

7. 幾何学への応用
----------

位相空間上のベクトル束に対しテンソル代数、対称代数や外積代数などの操作を考えることで次数付き線型環の束が得られる。つまり、空間 X}} 上のベクトル束 E}} に対し、各点 x}} におけるファイバーのベクトル空間ごとに T//Esub などを考えることで新たな束が得られる。特に多様体 V}} の余接束 //T// sup に対し、この操作を施すことで共変の p}} 階テンソルの束 larger やそれら切断のなす外積代数 Ω}}、接束 TV}} に対しこの操作を施すことで反変の p}} 階テンソルの束 larger などが得られる。//

8. 物理学への応用
----------

8.1. フォック空間
-----------

ボゾン場の第二量子化を表すフォック空間として可分ヒルベルト空間の対称代数が現れ、元のヒルベルト空間のベクトルによる掛け算は非有界作用素を表している。

9. 脚注
-----

10. 参考文献
--------

11. 関連項目
--------

テンソル代数
対称代数
外積代数
ファイバー束
テンソル積
クロス積
外積
クリフォード代数