9
現代数学解説
文献あり

有向グラフから多元環を作っていろいろ計算してくれるウェブアプリで遊ぼう!【String Applet 第1回】

524
1

概要

String Applet というブラウザで動くウェブアプリの紹介です。これは多元環の表現論という、与えられた非可換環上の加群圏や導来圏の構造を調べる分野のもので、いろんな計算をやってくれて遊べる楽しいアプリです。 Jan Geuenich さんによって開発されました。

String Appletを開いた画面 String Appletを開いた画面

本記事では、このアプリの遊び方を紹介することで、同時に具体例をもって多元環の表現論のいろいろな概念の説明や面白さを説明します。

前提知識

最低限、環の定義が分かる人。分かんなくてもとりあえず何か数学で遊んでみたい人でもいいよ。

多元環だけ定義しておきます。この定義がすんなり分かれば問題ないですし分かんなくても遊べます。

多元環

kに対して、k上の多元環 Λとは、「kベクトル空間であり、(可換と限らない単位的結合的)積を持つ環である」ときをいう(厳密にはちょっとだけ自然な条件を課します)。さらにΛkベクトル空間として有限次元のときΛを有限次元多元環という。

今回の目標

  • 有向グラフを適当にString Appletで作って、関係式も入力できるようになる
  • 有向グラフと関係式から多元環を作る方法を知る

まずは好きに遊んでみよう!

使い方は、

  1. 左下で多元環を入力
  2. Updateボタンを押す
  3. 右側にいろんな情報が出てくるので、それを眺めたりクリックして遊ぶ

です。詳しくは後で述べますが、まずは「好きに何となく左下をクリックして矢印引っ張って、Updateボタン押して、右側のタブをいろいろ見て」「クリックできそうな箇所をいろいろクリックして」遊んで見ましょう!
(どう矢印を引っ張ったらわかんなかったり、いろんな例が見たかったら、左上の「Load -> Example」のところから適当なやつを選べます)(またページを更新するたびに新しい例がランダムで表示されます)。出てくる頂点をグリグリ動かすだけでも楽しいね

こんな図とかが出てきます!




いっぱい矢印とかがあってボタンがいっぱいクリックドラッグできて楽しいですね(小並感)!

これらの情報やクリックする操作が何を意味するのかについて説明するのが本シリーズの狙いです。

細かい定義や証明は述べず、遊べるようになることに主眼を置いています。詳しい解説はそのうち。

好きな多元環を入力してね!

この記事の目標は有向グラフと関係式をString Appletに入力できるようになることと、その意味をできれば理解することです。

アプリの左下に注目してください:
test test
ここでは、

  • 有向グラフ (上段)
  • 関係式(下段)

と呼ばれる2つのものを入力します。

有向グラフ

有向グラフとは、頂点を適当に置いて、その間に適当に矢印を引っ張ったものです。String Appletでは、

  • なにもないところをクリックすると頂点が追加され(ラベルは数字)
  • 頂点をクリックしてから別の頂点をクリックすると矢が追加されます(ラベルはアルファベット)(同じ頂点を2回クリックするとループが追加されます)

消したかったら、矢とかをクリックしてDeleteキーを押せばいいです。すごく直感的なので多分やれば好きな有向グラフを作れると思います。

関係式について説明する前に、有向グラフから道多元環と呼ばれる多元環が構成されることを述べます。

有向グラフの道多元環

Qを有向グラフとします。例えば上の図をQだとしましょう。
このとき、道多元環kQを次で定義します。

  • ベクトル空間として、kQQ上の「有向道」を基底として持つベクトル空間
  • kQ上の積を、「道をつなげる」ことで定義

もう少し詳しく述べます。

  • 「道」とは、矢を辿れるように適当にたどっていた文字列のことで、上の例だと例えば「a」「ab」「bc」「aaa」「aaaaabc」などが道です。また都合上、各頂点1,2,3について、「動かない空の道」e1,e2,e3も道だとみなします(指を頂点1に置いて動かさないのがe1)。

  • 二つの道xyの掛け算xyを、「もしx行ってy行くというふうに繋げられるなら、そのつなげた道」「繋げられないならxy=0」により定義します。つまり指を掛け算のとおりに有向グラフ上で(指を離さずに)辿れたらその道、辿れなかったら0です。
    上の例では、ab=abや、ac=0や、aabce3=aabcや、e2a=0です(何もしない道は、「どの頂点に指をずっと置いておくか」の情報は持っていることに注意)。

さて、基底上にこのように演算を定めると、ベクトル空間であることから、この演算をkQに拡張することができます。このkQはこの演算により多元環になることがわかり、これを道多元環と呼びます。

積の例

具体的には、分配法則で計算します。例えば、上の例でe1+ab+caab+bcを書けたかったら、
(e1+ab+c)(aab+bc)=e1aab+e1bc+abaab+abbc+caab+cbc=aab+bc
となることがわかります。
また同じような理屈から、e1+e2+e3kQの両側単位元になっています。

このように、有向グラフという組合せ論的対象から、非可換環が自然に出てきます!実は逆に「多元環はすべて有向グラフから作られる」というタイプの性質も成り立ちます。
しかしそのためには「関係式」というもので割る必要があります。

道多元環を関係式で割って多元環を作ろう

専門数学で「関係式」というと、「ある代数系で満たされる等式」のことを指します(対称群のブレイド関係式など)。
上で作った道多元環kQは、ある意味「関係式がない」という意味で自由代数だと思えます。よって、この関係式を満たしなさい!という成約を付けることで新しい多元環Λを作ることができます。

例を見ましょう、先程の図
test test
の下段には「a2ab」という式が入力されています。これの意味は、

新しい多元環Λでは、a2=0ab=0という関係式が満たされるようにせよ!

という意味です。例えばもとの道多元環kQではa2=aaはゼロではなく、abもゼロではありません。しかし、下段にこれらの式を入力することで、kQを「関係式を満たすように割った」多元環Λを扱えます。

正確な数学的な意味は、a2abで生成されるkQの両側イデアルa2,abkQを割った環
Λ:=kQ/a2,ab
を考えているということです。

実は筆者が適当に有向グラフを作ってしまったせいで、kQは有限次元ではありません(a,a2,a3,が全部線形独立なので)。しかしΛには関係式にa2=0が入っているおかげで、有限次元になります。

この多元環の次元が気になるって?それはString Appletが計算してくれます!
好きな多元環を有向グラフと関係式で入力して、上の「Update」を押しましょう。
test test
すると右側のGeneral Informationタブの一番上に
dimΛ=7
とデカデカと表示されています。これがこの多元環Λのベクトル空間としての次元です!

上のΛの具体的な7個の基底を挙げよ

答えはこの記事の一番下に置いておきます。

関係式は、なんとか=0だけじゃなくて、次のような関係式も入力できます:

これは、この有向グラフQの道多元環kQを、abcdで生成される両側イデアルで割った多元環を意味しています。イデアルとか知らなくても、要するにこの環では「abcd=0、つまりab=cd」という式が成り立つということさえ分かればよいです。

上の例のkQの次元と、Λ=kQ/abcdのベクトル空間としての次元を、

  • まずは自分で計算してみる
  • 次にString Appletで入力してみて、答え合わせをする

をやってみましょう!

というわけで多元環を入力する方法だけでちょっと疲れたので、右側の情報の説明は次回以降少しずつしていきます。みなさんもこの記事で覚えた方法を使って好きに多元環を作って、右側の情報を眺めて「なんかわかんないけど図がいっぱいで楽しそうだな」と思ってください!

最後に、純粋にグラフ理論的な問題を投げておいて終わりにします。

次が有限次元ベクトル空間になるのはどのようなときか:

  1. 有向グラフQに対して道多元環kQ
  2. 有向グラフQと道多元環kQの関係式の集合Rを指定してできる多元環kQ/R

String Appletですべての有限次元多元環が扱えるわけではなく、special biserial algebraと呼ばれるある特別なクラスの多元環です。なので、有向グラフと関係式によっては例えばこういうエラーがあります:

これはString Appletで扱うには関係式が足りてないよ、と言っています。例えばabなどの関係式を入力すれば扱えます。

これはString Appletでは扱えない関係式です。

暇な人は、どういう入力でエラーがでるのかいろいろ試してみると、自然とあなたはspecial biserial algebraの定義にたどり着くでしょう。

問題1の答え
答えを一応書いておくと、
{e1,e2,e3,a,b,c,bc}です。長さ0の空の道を忘れないように。

参考文献

投稿日:2021124
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

H.E.
H.E.
129
15803
某大ポスドク、詳しくはtwitterまで。自分の分野(環の表現論)でよく使われるfolkloreの解説記事を主に書いています。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 概要
  2. 前提知識
  3. 今回の目標
  4. まずは好きに遊んでみよう!
  5. 好きな多元環を入力してね!
  6. 有向グラフ
  7. 有向グラフの道多元環
  8. 道多元環を関係式で割って多元環を作ろう
  9. 参考文献