2017-02-23

立方体の面を球面に射影する手法の疑問

最近、ここのUnityに関するチュートリアルが面白くて、色々遊んでいる。一般的な入門とは異なり、シェーダをフルスクラッチで書いたりしているのがマニアックで自分好み。こんな良質なチュートがあって、しかも無料で読めて（パトロン系だったのが最近、一般公開したっぽい）、UnityやUEという強力な環境も整っていて、今の時代は恵まれているなぁとつくづく思う。そのうちユニークなシェーダとか作ってみたい。

立方体の面を球面へ

で、本題は先ほどのCube Sphereのページ。作った立方体の面を球面に変形する課題を扱っているのだが、まずは「普通に」正規化してみよう。つまり立方体の座標を ${ v=^{t}(x, y, z) }$ とすると、

$\frac{v}{|v|}=\frac{1}{\sqrt{x^{2}+y^{2}+z^{2}}}\left(\begin{matrix} x \\ y \\ z \end{matrix}\right)$

に写すことを考える。

f:id:mathmathniconico:20170223180126p:plain

球面上の格子模様と色は、立方体上に等間隔で入れた格子と面ごとに設定した色である。ちょっと分かり難いかもしれないけど、頂点方向の間隔が狭くなっていることが分かるだろうか。

そこで次のような変形を考える。まず立方体上の座標は何れかが ${ 1 }$ になることから、 ${ 1-(1-x^{2})(1-y^{2})(1-z^{2}) = 1 }$ が常に成り立つ。

${ 1-(1-x^{2})(1-y^{2})(1-z^{2}) = x^{2}+y^{2}+z^{2}-x^{2}y^{2}-y^{2}z^{2}-z^{2}x^{2}+x^{2}y^{2}z^{2} }$

であるから、上手い ${ v_{0}=(x_{0}, y_{0}, z_{0}) }$ を設定して、 ${ x_{0}^{2}+y_{0}^{2}+z_{0}^{2} }$ が上の式となるようにすればよい。例えば

$x_{0}^{2}=x^{2}-\frac{x^{2}y^{2}}{2}-\frac{x^{2}z^{2}}{2}+\frac{x^{2}y^{2}z^{2}}{3}$

などが考えられる。つまり

$x\mapsto x\sqrt{1-\frac{y^{2}}{2}-\frac{z^{2}}{2}+\frac{y^{2}z^{2}}{3}}$

で写してみる。

f:id:mathmathniconico:20170223180201p:plain

ご覧のように、歪みが緩和されているのが分かる。テクスチャも描きやすくなるだろう。

で、この方法を調べても数学的な背景が全く出てこない。ココとかココとか紹介されているけど方法論のみ。数学的な意味が何かありそうなだけに気になのだが調べようがない。もちろん完全な等間隔になっているという訳ではないし、何かしら意味のある変換の近似（例えばテイラー展開の有限次の項まで取ったとか）だと思うのだけど。風船を膨らませてるのかなとも思ったけど物理はからっきしダメなので分からない。 ${ 2 }$ や ${ 3 }$ の交代級数が出てるので、対数関数あたりが怪しいけどどうなんだろう。

おまけ

Unityを触ってみて、UEと比較してUnityの方が分かり易い印象。その手軽さはsteamにある個人製作の大量のク○ゲーが物語っている。UEの方は大規模タイトルでの採用が多いことから、リッチな絵作りとかソースを直接触ってカスタマイズしたい場合に選ばれるのかもしれない。ゲームエンジンとしての違いとかはよく分からないけど。個人的にはUEはIMEを変えないとまともに動かないのと、ランチャーが無駄に重いので非力な環境では作業が辛い。

2017-02-11

28.分離拡大と有限次ガロア拡大

数学ざっくり環論

自分が初めてガロア理論を学んだ時に感じたのは、多項式の分離性および体の分離拡大への導入が幾分か唐突であるという印象だった。数学的にあまり意味のない行為ではあるが、こういったギャップに自分なりの解釈を立てたいというのが私の趣味である。今回改めて考え直してみたが、残念ながらその解決には至らなかった。ガロアの最初の論文だと（ ${ \mathbb{Q} }$ 上のため）分離性を考慮していないと聞く。歴史的にどういった経緯で何を目的として分離性が考慮されるようになったのか興味がある。

記法の変更

${ f\in K\lbrack X \rbrack }$ の根を ${ \alpha_{1}, \dotsc, \alpha_{n} }$ とする。このとき ${ f }$ の最小分解体を ${ \mathrm{msf}_{K}f=\mathrm{msf}_{K}(\alpha_{1}, \dotsc, \alpha_{n}) }$ と表す。
${ \alpha\in L }$ の ${ K }$ 上の最小多項式を ${ \mathrm{min}_{K}\alpha }$ と表す。

単拡大の場合

状況を整理しよう。 ${ K }$ を体、その代数閉包を ${ \overline{K} }$ とする。 ${ L }$ は中間体で、特に ${ L/K }$ は代数拡大である。前回述べたことは、 ${ L/K }$ がガロア拡大であれば、正規拡大であるということだった。では逆は成り立つだろうか。この疑問を単純な場合に考えてみよう。

${ \theta\in\overline{K} }$ によって ${ L=( \theta )_{\overline{K}/K} }$ と表せるとしよう。このような体は単拡大（simple extension）と呼ばれている。 ${ L/K }$ は有限次拡大なので ${ n:=\mathrm{dim}_{K}L }$ をその次元としておく。更に ${ L/K }$ は正規拡大だがガロア拡大でないと仮定する。このとき ${ \mathrm{Aut}L/K }$ を調べたい。

${ p=\mathrm{min}_{K}\theta }$ を ${ \theta }$ の最小多項式、 ${ p }$ の相異な根を ${ \theta_{1}=\theta, \dotsc, \theta_{s} }$ と置く。 ${ \sigma\in\mathrm{Aut}L/K }$ に対し、 ${ \theta^{\sigma} }$ は ${ p^{\sigma}=p }$ の根となるが、明らかに異なる同型は異なる元に対応する。従って自己同型の個数は ${ s }$ 個以下となる。逆に体の同型に関する延長の一般論より、各 ${ i }$ に対して同型 ${ \sigma_{i}:L=(\theta)_{\overline{K}/K}\rightarrow (\theta_{i})_{\overline{K}/K} }$ が存在して ${ \theta\mapsto\theta_{i} }$ を満たす。今正規性より ${ \theta_{i}\in L }$ が従うため、 ${ \sigma_{i}\in\mathrm{Aut}L/K }$ と見なせる。従って ${ \mathrm{Aut}L/K=\lbrace \sigma_{1}=\mathrm{id}_{L}, \dotsc, \sigma_{s} \rbrace }$ が成り立つ。

正規な単拡大の場合、自己同型と最小多項式の相異な根とが一対一に対応することが分かった。 ${ L/K }$ がガロア拡大なら、同型の個数は拡大の次数 ${ n=\mathrm{dim}L/K }$ に一致する。従って ${ s=n }$ であること、つまり ${ \theta }$ の最小多項式 ${ \mathrm{min}_{K}\theta }$ の相異な根が丁度 ${ n }$ 個あることこそ、ガロア拡大であるための必要十分条件となる。

分離多項式と分離拡大

前節の考察は限られた条件下におけるものではあるが、我々はここから重要な示唆を得ることができる。敢えて ${ s\lt n }$ となる状況を考えよう。最小多項式 ${ p }$ は ${ \overline{K}\lbrack X \rbrack }$ において一次式の積に書けるから、

$p=\prod_{i=1}^{s}(X-\theta_{i})^{e_{i}}$

と表せる。 ${ s\lt n }$ より、ある ${ i }$ が存在して ${ e_{i}\gt 1 }$ となる。つまり ${ \theta_{i} }$ は ${ p }$ の重根となる。逆に重根を持たなければ ${ e_{i}=1 }$ であり、次数の関係から ${ s=n }$ が成り立つ。そこで次を考える。

定義多項式 ${ f\in K\lbrack X \rbrack }$ が ${ \overline{K} }$ において重根を持たないとき分離的（separable）であるという。*1そうでないときは非分離的（inseparable）であるという。また拡大 ${ L/K }$ において、代数的な元 ${ \alpha\in L }$ の最小多項式 ${ \mathrm{min}_{K}\alpha }$ が分離的であるとき ${ \alpha }$ は分離的であるという。代数拡大 ${ L/K }$ の任意の元が分離的であるとき ${ L/K }$ を分離拡大と呼ぶ。

前節の結果をまとめておこう。

命題 ${ L=(\theta)_{\overline{K}/K} }$ とする。 ${ \theta }$ が分離的であるとき、 ${ L\rightarrow\overline{K} }$ の個数は ${ \mathrm{dim}_{K}L }$ と等しい。特に ${ L/K }$ が正規拡大なら ${ \sharp\mathrm{Aut}L/K=\mathrm{dim}_{K}L }$ が成り立つ。

次の定理は、体の同型に関する延長定理と並ぶ、ガロア理論における核心的な命題の一つである。

定理有限次分離拡大は単拡大である。すなわち ${ L/K }$ に対して ${ \theta\in L }$ が存在して ${ L=(\theta)_{L/K} }$ が成り立つ。

以下の証明はvan der Waerdenに依るそうだが、 ${ K }$ が有限体か無限体かで証明方法が異なるため、一先ず無限体の場合を示そう。

（証明） ${ \mathrm{dim}_{K}L }$ に関する帰納法で示す。 ${ 1 }$ 次元のときは明白なので、 ${ 2 }$ 次元の場合を考える。まず ${ L=(\alpha, \beta)_{\overline{K}/K} }$ と表せる。基底それぞれの最小多項式を ${ f=\mathrm{min}_{K}\alpha, g=\mathrm{min}_{K}\beta }$ と置き、その根を ${ \alpha_{1}=\alpha, \dotsc, \alpha_{m}, \beta_{1}=\beta, \dotsc, \beta_{n} }$ とする。 ${ L/K }$ は分離拡大だから、 ${ \beta_{j} }$ は相異である。従って

$\frac{\alpha_{i}-\alpha_{j}}{\beta_{k}-\beta_{l}}$

は ${ L }$ の元であり、 ${ K }$ が無限体であることから、これらとは異なる ${ c\in K }$ が取れる。そこで ${ \theta=\alpha+c\beta }$ と置く。 ${ X=\beta=\beta_{1} }$ のとき ${ \theta-cX-\alpha_{1}=\alpha+c\beta-c\beta-\alpha=0 }$ であり、 ${ X=\beta_{k}, k\ge 2 }$ のとき ${ \theta-cX-\alpha_{i}=c(\beta-\beta_{k})-(\alpha_{i}-\alpha)\neq 0 }$ である。従って ${ f(\theta-cX)=\prod_{i=1}^{m}(\theta-cX-\alpha_{i}) }$ と ${ g }$ は唯一つの根 ${ \beta }$ のみを共有する。このとき ${ q:=\mathrm{min}_{(\theta)_{\overline{K}/K}}\beta }$ を ${ \beta }$ の ${ (\theta)_{\overline{K}/K} }$ 上の最小多項式とすると、 ${ q|g, q|f(\theta-cX) }$ が ${ (\theta)_{\overline{K}/K} }$ で成り立つ。共有する根は一つのみだから ${ \mathrm{dim}q=1 }$ が分かる。故に ${ q=X+\gamma, \gamma\in (\theta)_{\overline{K}/K} }$ と表せる。 ${ \beta=-\gamma, \alpha=\theta-c\beta\in (\theta)_{\overline{K}/K} }$ より ${ L=(\alpha, \beta)_{\overline{K}/K}=(\theta)_{\overline{K}/K} }$ が従う。

一般の場合は ${ L=(\omega_{1}, \dotsc, \omega_{n})_{\overline{K}/K} }$ として、 ${ M:=(\omega_{1}, \dotsc, \omega_{n-1})_{\overline{K}/K} }$ を考える。 ${ M/K }$ も有限次分離拡大であるから、帰納法の仮定より ${ M=(\theta)_{\overline{K}/K} }$ と表せる。このとき ${ L=(\omega_{n}, \theta)_{\overline{K}/K} }$ となるので ${ 2 }$ 次元の場合に帰着する。 ${ \square }$

有限体の場合は次の補題に依る。

補題有限体 ${ K }$ に対し、 ${ K^{\times}=K\backslash\lbrace 0\rbrace }$ は積に関して巡回群を為す。

（証明）アーベル群となることは良いだろう。ある元の位数が ${ \sharp K-1 }$ となることを示せば良い。そこで最大位数の元 ${ x }$ を取り、その位数を ${ n }$ とする。他の元の位数は ${ n }$ を割ることに注意する。実際 ${ y }$ の位数を ${ m }$ として ${ m, n }$ は互いに素とする。 ${ (xy)^{k}=1 }$ なら ${ n }$ 乗して ${ y^{kn}=1 }$ を得る。故に ${ m|kn }$ だが、互いに素より ${ m|k }$ となる。また ${ m }$ 乗すれば ${ x^{km}=1 }$ より ${ n|km }$ 、故に ${ n|k }$ となる。従って ${ nm|k }$ となるため、 ${ n }$ が最大位数であることに矛盾する。（ ${ (xy)^{nm}=1 }$ より ${ xy }$ の位数は ${ nm }$ となる。）そこで多項式 ${ X^{n}-1 }$ を考えれば全ての元が根となるが、根の個数は次数以下だから ${ \sharp K-1\le n }$ が従う。一方で元の位数は ${ \sharp K }$ を割るから、 ${ n|(\sharp K-1) }$ が従う。結局 ${ n=\sharp K-1 }$ となり、これは ${ K^{\times}=\langle x \rangle }$ であることを意味する。 ${ \square }$

（定理の証明） ${ K }$ は有限体で、 ${ L }$ はその有限次拡大であることから ${ L }$ も有限体であることが分かる。 ${ L^{\times} }$ は巡回群だから、その生成元を ${ \gamma }$ とする。このとき ${ L=(\gamma)_{\overline{K}/K} }$ が成り立つ。 ${ \square }$

有限次ガロア拡大の特徴付け

分離性を加味すれば、正規拡大の特徴付けと同様なことがガロア拡大においても成り立つ。

定理（有限次ガロア拡大の特徴付け）有限次拡大 ${ L/K }$ に対し、以下は同値である。

${ L/K }$ はガロア拡大である。
${ L/K }$ は分離かつ正規である。
${ L }$ はある分離多項式 ${ f\in K\lbrack X \rbrack }$ の最小分解体である。即ち ${ L=\mathrm{msf}_{K}f }$ が成り立つ。

（証明）まず定義よりガロア拡大は正規拡大である。 ${ \alpha\in L }$ を任意に取り、その最小多項式を ${ p=\mathrm{min}_{K}\alpha }$ とする。前節で述べたことの繰り返しとなるが、 ${ \sigma\in\mathrm{Aut}L/K }$ に対して ${ \alpha^{\sigma} }$ も ${ p }$ の根である。相異なものを集めて

${ \lbrace \alpha^{\sigma}|\sigma\in\mathrm{Aut}L/K \rbrace = \lbrace \alpha_{1}, \dotsc, \alpha_{m} \rbrace }$

と表せば、 ${ p=\prod_{i=1}^{m}(X-\alpha^{\sigma}) }$ を得る。つまり最小多項式の根は全て異なるため、分離的である。

次に分離かつ正規を仮定する。正規性の特徴付けより、 ${ L }$ は適当な多項式 ${ f\in K\lbrack X \rbrack }$ の最小分解体である。今 ${ f=\prod q_{i}^{e_{i}} }$ と ${ K\lbrack X \rbrack }$ において既約分解する。このとき ${ g=\prod q{i} }$ と置けば、 ${ L }$ は ${ g }$ の最小分解体でもある。各 ${ q_{i} }$ はその根の最小多項式であり、従って分離性より根は全て異なる。また既約性より ${ q_{i} }$ 達は根を共有しない。つまり ${ g }$ の根は全て異なる。故に ${ g }$ は分離多項式である。

最後に ${ L }$ が分離多項式 ${ f }$ の最小分解体であると仮定する。 ${ L^{\mathrm{Aut}L/K} =K }$ を ${ \mathrm{dim}_{K}L }$ に関する帰納法で示す。 ${ \mathrm{dim}_{K}L=1 }$ のとき ${ L=K }$ であり、 ${ \mathrm{Aut}L/K=\lbrace \mathrm{id}_{K} \rbrace }$ より明らか。 ${ \mathrm{dim}_{K}L\gt 1 }$ として ${ f }$ の根 ${ \alpha\in L\backslash K }$ を取る。 ${ \alpha }$ の最小多項式を ${ q=\mathrm{min}_{K}\alpha }$ とすると ${ q|f }$ が成り立つ。ここで ${ K_{1}:=(\alpha)_{L/K} }$ と置くと、 ${ \mathrm{dim}_{K_{1}}L\lt\mathrm{dim}_{K}L }$ を得る。 ${ L=\mathrm{msf}_{K_{1}}f }$ だから、帰納法の仮定より ${ K_{1}=L^{\mathrm{Aut}L/K_{1}} }$ が成り立つ。

${ \theta\in L^{\mathrm{Aut}L/K} }$ を取る。 ${ L^{\mathrm{Aut}L/K}\subset L^{\mathrm{Aut}L/K_{1}}=K_{1}=K\lbrace \alpha \rbrace^{\mathbb{N}} }$ より

$\theta=\sum_{i=0}^{m-1}c_{i}\alpha^{i}, m=\mathrm{deg}q, c_{i}\in K$

と表せる。 ${ q }$ の根を ${ \alpha_{1}=\alpha, \dotsc, \alpha_{m}\in\overline{K} }$ とすれば、 ${ q|f }$ 及び ${ f }$ の分離性より ${ \alpha_{i}\in L }$ かつ相異であることが分かる。体の同型に関する延長定理より、 ${ K }$ 上の同型 ${ K_{1}=(\alpha)_{L/K}\rightarrow (\alpha_{j})_{L/K} }$ として ${ \alpha\mapsto \alpha_{j} }$ を満たすように取れる。定理の系を鑑みれば、この延長となる同型 ${ \sigma_{j}:L\rightarrow L }$ が存在する。 ${ \theta=\theta^{\sigma_{j}}=\sum c_{i}\alpha_{j}^{i} }$ であることから、各 ${ \alpha_{j} }$ 達は

${ g:=c_{m-1}X^{m-1}+\dotsb+c_{1}X+(c_{0}-\theta) }$

という ${ m-1 }$ 次式の ${ m }$ 個の根となる。従って ${ g }$ は恒等的にゼロでなければならない。故に ${ \theta=c_{0}\in K }$ を得る。 ${ \square }$

所感

あと2回分をどうしようか考え中。シロー群やって代数学の基本定理の証明（実数の連続性を仮定して）をする有限群コース。分離閉包とかやってアルティンの原始元定理でまとめるコース。正標数で遊びながら円分体のガロア群を計算するコース。可解群をやって代数方程式の解法とかやるコース。等々色々候補はあるけど微妙だなぁ。因みに4章は~~ホモ理論~~ホモロジー代数の予定です。

*1:根が「分離」している。

2017-01-31

余代数のグラフ表現について

数学

誕生日パラドックス→ベルヌーイ数ちゃんと知らないなぁ→umbral calculus（陰計算）という擬数学があるらしい→余代数で正当化できるらしい→余代数に興味が沸いた

ということで余代数を少し学んだので知識の整理をする。オリジナルと言うほどでもないけど、幾つかの例はグラフ余代数と呼ばれる例（の剰余）で表せることを考えた。この注意について言及がある本やPDFは未だ見ていないので、何か文献が有れば教えて欲しい。

代数

代数（algebra）とは、可換環論の文脈において環準同型 ${ R\rightarrow A }$ を指す。これはアティマクに倣ったもので「ざっくり学ぶ可換環論」でも踏襲している。ところがより広い文脈では、 ${ R }$ -加群（この ${ R }$ は可換環）であって、結合的かつ和に関して分配的な積演算が定義され、 ${ r(xy)=(rx)y=x(ry) }$ が ${ r\in R, x, y\in A }$ で成り立つものを指す。特に両側単位的な元 ${ 1_{A}\in A }$ を持つことを要請する場合もあるが、いずれにせよ積の可換性を仮定しない。可換環論の立場なら斜代数（skew-algebra）とでも呼ぶべきなのかもしれないが、実は広義の方の定義を三つ組みで表現することができる。

${ A }$ は ${ R }$ -代数、 ${ m:A\times A\rightarrow A }$ は ${ R }$ -双線型写像、 ${ u:R\rightarrow A }$ は ${ R }$ -準同型とする。また ${ \overline{m}:A\otimes A\rightarrow A }$ を誘導された準同型とする。また

${ \begin{align*} A\otimes A\otimes A\xrightarrow{\overline{m}\otimes\mathrm{id}}A\otimes A\xrightarrow{\overline{m}}, \\ A\otimes A\otimes A\xrightarrow{\mathrm{id}\otimes\overline{m}}A\otimes A\xrightarrow{\overline{m}} A \end{align*} }$

及び

${ \begin{align*} R\otimes A\xrightarrow{u\otimes\mathrm{id}}A\otimes A\xrightarrow{\overline{m}}A, \\ R\otimes A\xrightarrow{\cong}A \end{align*} }$

及び

${ \begin{align*} A\otimes R\xrightarrow{\mathrm{id}\otimes u}A\otimes A\xrightarrow{\overline{m}}A, \\ A\otimes R\xrightarrow{\cong}A \end{align*} }$

がそれぞれ一致することを仮定する。（図式で書ければ一目瞭然なのだが。）このとき ${ A }$ を広義の代数とみなせ、また逆に広義の代数はこのような写像を定め、お互いに復元できる。従って広義の代数を代数 ${ (A, \overline{m}, u) }$ と表すことができ、表記の上で狭義の代数 ${ R\rightarrow A }$ と区別できる。

余代数

${ R }$ -加群 ${ C }$ 及び準同型 ${ \Delta:C\rightarrow C\otimes C, \epsilon:C\rightarrow R }$ が上の図式の双対図を満たすとき、組 ${ (C, \Delta, \epsilon) }$ を余代数（coalgebra）と呼ぶ。例は豊富にあるのでいくつか紹介しよう。

例1： ${ S }$ を集合、 ${ C=RS=\oplus_{s\in S} Rs }$ として、 ${ \Delta(s)=s\otimes s, \epsilon(s)=1 }$ と定める。天野勝利氏のPDFに依れば差分作用素に対応する。

例2： ${ C=R\oplus R\partial }$ として、 ${ \Delta(1)=1\otimes 1, \Delta(\partial)=\partial\otimes 1+1\otimes\partial }$ 、 ${ \epsilon(1)=1, \epsilon(\partial)=0 }$ と定める。微分作用素らしい。

例3： ${ C=\oplus_{n\ge 0}Rd_{n} }$ として、 ${ C(d_{n})=\sum_{i+j=n}d_{i}\otimes d_{j} }$ 、 ${ \epsilon(d_{n})=\delta_{n, 0} }$ はクロネッカーのデルタ、と定める。高階導分に対応するそうだ。

例4：上で

$\Delta(d_{n})=\sum_{k=0}^{n}\left(\begin{matrix}n \\ k\end{matrix}\right)d_{k}\otimes d_{n-k}$

としたものはdivided power coalgebraと呼ばれる余代数となる。

例5：他にも ${ C=Rc\oplus Rs }$ として、 ${ \Delta ( c )=c\otimes c-s\otimes s, \Delta ( s )=s\otimes c+c\otimes s }$ 、 ${ \epsilon ( s ) =0, \epsilon ( c ) =1 }$ と定めたのはtrigonometric coalgebraと呼ばれる。

例6：また ${ U_{2} }$ で表されるのが ${ C=Rg\oplus Rx\oplus Rh }$ として、 ${ \Delta(g)=gg, \Delta(x)=gx+xh, \Delta(h)=hh }$ （テンソルは適宜省略する）、 ${ \epsilon(g)=1, \epsilon(x)=0, \epsilon(h)=1 }$ と定めた余代数。

例7：行列余代数というのは ${ C=\mathbb{M}_{n}( R ) }$ で、基底 ${ e_{ij} }$ に対して ${ \Delta( e_{ij} )=\sum e_{ik}\otimes e_{kj}, \epsilon( e_{ij} )=\delta_{i, j} }$ と定めたもの。

${ i\in I }$ を頂点とする有向グラフ ${ \Gamma }$ を考えよう。（ ${ I }$ は必ずしも加算である必要は多分ないが、一応可算としておく。） ${ \Gamma }$ が推移的（ ${ i\rightarrow j, j\rightarrow k }$ なら ${ i\rightarrow k }$ ）で、局所有限（ ${ i, j }$ に対し、 ${ i\rightarrow k\rightarrow j }$ なる ${ k }$ は高々有限個）とする。辺を ${ e_{ij} }$ と表し、 ${ C=\oplus e_{ij} }$ と置く。更に

${ \Delta(e_{ij})=\sum_{k} e_{ik}\otimes e_{kj}, \epsilon(e_{ij})=\delta_{ij} }$

と定めれば、 ${ (C, \Delta, \epsilon) }$ は余代数となる。便宜上、グラフ余代数と呼ぶことにする。

例との関係を見てみよう。

例1について： ${ I=S }$ として、 ${ s\rightarrow s }$ としたものに他ならない。

例6について： ${ p\rightarrow p, p\rightarrow q, q\rightarrow q }$ としたものに他ならない。実際 ${ g=e_{pp}, x=e_{pq}, h=e_{qq} }$ である。

例7について： ${ I=\lbrace 1, \dotsc, n \rbrace }$ として ${ i\rightarrow j }$ としたものに他ならない。

余イデアルと剰余余代数

余代数 ${ C }$ の部分加群 ${ N }$ を考える。剰余加群 ${ C/N }$ を余代数とみることができないだろうか？　一般には勿論不可能だが、余イデアルという状況を考えれば可能となる。

まず基本となるのは完全系列 ${ 0\rightarrow N\rightarrow C\rightarrow C/N\rightarrow 0 }$ である。テンソル積の右完全性より

${ N\otimes C\xrightarrow{\iota_{1}}C\otimes C\xrightarrow{\alpha_{1}}C/N\otimes C\rightarrow 0 }$

は完全となる。テンソルの順序を交換する同型 ${ \mathrm{tw} }$ を施せば

${ C\otimes N\xrightarrow{\iota_{2}}C\otimes C\xrightarrow{\alpha_{2}}C\otimes C/N\rightarrow 0 }$

も完全となる。また同様に ${ C/N }$ をテンソルして、更に ${ \mathrm{tw} }$ を施せば、完全系列

${ \begin{align*} N\otimes C/N\rightarrow C\otimes C/N \xrightarrow{\beta_{1}}C/I\otimes C/N\rightarrow 0, \\ C/N\otimes N\rightarrow C\otimes C/N\xrightarrow{\beta_{2}}C/I\otimes C/N\rightarrow 0 \end{align*} }$

を得る。特に写像の作り方より

${ \begin{align*} C\otimes C\xrightarrow{\alpha_{1}}C/N\otimes C\xrightarrow{\beta_{2}}C/N\otimes C/N, \\ C\otimes C\xrightarrow{\alpha_{2}}C\otimes C/N\xrightarrow{\beta_{1}}C/N\otimes C/N \end{align*} }$

は一致する（可換）ので、これを ${ \pi:C\otimes C\rightarrow C/N\otimes C/N }$ と置く。

今 ${ N }$ が ${ \Delta N\subset\mathrm{Ker}\alpha_{1}+\mathrm{Ker}\alpha_{2} }$ を満たすと仮定する。このとき ${ x\in N }$ なら ${ \pi\circ\Delta(x)=0 }$ が従うので、この写像は ${ \overline{\Delta}:C/I\rightarrow C/N\otimes C/N }$ を誘導する。これは余代数の図式を満たす。

また ${ \epsilon N=0 }$ を満たすなら、 ${ \overline{\epsilon}:C/N\rightarrow R }$ が誘導され図式を満たす。

定義 ${ N }$ が余イデアルとは、 ${ \Delta N\subset\mathrm{Ker}\alpha_{1}+\mathrm{Ker}\alpha_{2}, \epsilon N=0 }$ を満たすことをいう。このとき ${ (C/N, \overline{\Delta}, \overline{\epsilon}) }$ は余代数を定める。これを ${ N }$ による剰余余代数と呼ぶ。

上の完全系列より ${ \mathrm{Ker}\alpha_{1}=\mathrm{Im}\iota_{1}=:\overline{N\otimes C}, \mathrm{Ker}\alpha_{2}=\mathrm{Im}\iota_{2}=:\overline{C\otimes N} }$ が従う。これは具体的に条件を満たすかどうかを判定するのに都合が良い。

例との関係を見てみよう。以降 ${ \otimes }$ は適宜省略する。

例5について：サイズ ${ 2 }$ の行列余代数（ ${ e_{11}=c, e_{12}=s, e_{21}=s^{\prime}, e_{22}=c^{\prime} }$ と置く）において、 ${ c-c^{\prime}, s+s^{\prime} }$ で生成される部分加群は余イデアルとなり、その剰余余代数となる。実際

${ \begin{align*} \Delta(c-c^{\prime}) &= cc+ss^{\prime}-c^{\prime}c^{\prime}-s^{\prime}s \\ &=(c-c^{\prime})c + c^{\prime}(c-c^{\prime}) + (s+s^{\prime})s^{\prime} - s^{\prime}(s+s^{\prime}), \\ \Delta(s+s^{\prime}) &= cs+sc^{\prime}+c^{\prime}s^{\prime}+s^{\prime}c \\ &= (c-c^{\prime})s + c^{\prime}(s+s^{\prime}) + (s+s^{\prime})c^{\prime} + s^{\prime}(c-c^{\prime}) \end{align*} }$

であり、それぞれ第 ${ 1, 3 }$ 項は ${ \mathrm{Im}\iota_{1} }$ の元、 ${ 2, 4 }$ 項は ${ \mathrm{Im}\iota_{2} }$ の元となる。つまり余イデアルであることが分かる。行列余代数を歪対称に折り曲げたイメージだろうか。

例2について：例6の ${ h-g }$ による剰余となる。

例3について：確かめてないが次のようにして構成できるだろう。 ${ i\le j }$ のとき ${ i\rightarrow j }$ となるグラフを考える。このとき ${ e_{ij}-e_{0(j-i)} }$ で生成される部分加群は余イデアルとなり、その剰余余代数となる。 ${ d_{n}=\overline{e_{0n}} }$ とすればよい。

一般化

上記のままだと例4の説明がつかない。そこでグラフ余代数を見直すことを考える。 ${ I }$ を添え字集合として ${ e_{ij} }$ の自由加群 ${ C }$ を与え、（適切な意味で）推移的かつ局所有限な重み付け ${ \gamma_{ij} }$ を用意して、

$\Delta(e_{ij})=\sum_{k}\frac{\gamma_{ik}\gamma_{kj}}{\gamma_{ij}}e_{ik}\otimes e_{kj}, \epsilon(e_{ij})=\epsilon_{ij}$

が余代数になるような条件を適当に仮定する。このように解釈すれば、係数を ${ R }$ に拡張した余代数を定義できる。例3で剰余を取る前に、重みとして ${ \gamma_{0n}=\frac{1}{n!} }$ を考えれば多分上手く行く…気がする。上手くいくなら、一つの予想として余代数は全てこの形に表せることが立つ。任意の加群が自由加群の剰余加群として表されたように、余代数も「自由余代数」の剰余余代数として表されるのではないか。「自由余代数」はグラフの形が影響するので、自由加群よりずっと豊かな理論が広がっているだろう。

ちなみに余代数の圏はアーベル圏にはならない。何故かと言うと余代数準同型 ${ f:C\rightarrow C }$ が自然に定義できるが、核（ ${ \mathrm{Ker}f }$ ）は余イデアルにならない。一般に ${ \mathrm{Ker}(f\otimes f)\supset\mathrm{Ker}\alpha_{1}+\mathrm{Ker}\alpha_{2} }$ であって、逆が成り立つとは限らない。 ${ f }$ が全射なら成り立つそうだ。

参考文献

天野勝利. Hopf 代数とは. PDFファイル.
天野勝利. 代数学I (Hopf 代数と量子群の入門). PDFファイル.
John W. Milnor and John C. Moore. On the Structure of Hopf Algebras. The Annals of Mathematics, Second Series, Vol. 81, No. 2 (Mar., 1965), pp. 211-264.

arXiv探訪

興味の赴くままに数学するだけ