クラスター代数
[Wikipedia|▼Menu]
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は英語から大ざっぱに翻訳されたものであり、場合によっては不慣れな翻訳者や機械翻訳によって翻訳されたものかもしれません。翻訳を改善してくださる方を募集しています。

このページは他の記事からまったくリンクされておらず、孤立しています。関係あるページをこのページにリンクしてください。(2022年8月)

団代数(クラスター代数)はFomin and Zelevinsky (2002, 2003, 2007)によって導入された可換環クラスである。ランクnのクラスター代数は、整域Aであって、サイズnの複数のサブセットを持つものであり、それぞれのサブセットは団(クラスター)と呼ばれ、この複数のサブセットの和集合代数Aを生成し、さまざまな条件を満たす。
定義

Fが整域であると仮定する。たとえば、有理数Q上のn個の変数の有理関数可換体Q (x1,...,xn)などがその例である。

ランクnの団(クラスター)は、Fのn個の要素{x, y, ...}のセットで構成される。それらのセットは、通常、体拡大Fの代数的に独立した生成セットであるとみなされる。

シード(種)は、 Fの団(クラスター){x, y, ...}と交換行列(英語版)Bとからなる。ただし、交換行列Bの要素bx,yは整数であり、団(クラスター)の要素のペアx,yによってインデックス付けされたものである。交換行列を交代行列(または歪対称行列)であると限定することもあり、その場合は、すべてのxおよびyに対してbx,y = ?by,xである。より一般的には、交換行列は、歪対称化可能行列とされる。なお、歪対称化可能行列とは、そのすべての要素bx,yが、団(クラスター)の要素に関連付けられた正の整数のセット{dx,dy,...}を用いて、dxbx,y = ?dyby,xと、交代行列(歪対称行列)に変換できるようなべて行列のことである。シード(種)はとして視覚的に表現されることもよくある。箙は有向グラフであり、団(クラスター){x, y, ...}を頂点とし、交換行列のbx,yが正の場合、xからyにbx,y本の有向辺(矢印)を引いたものである。 交換行列が歪対称化可能行列である場合、箙はループまたは2サイクルを持たない。

シード(種)には変異と呼ばれる変化があり異なるシード(種)に変わる。この変異は、団(クラスター)の要素(箙で言えば頂点)の1つ選択するとそれに応じて決まる。この新たに生じるシード(種)は、傾斜の一般化によって得られるが、それは次のような規則での交換行列Bの要素の変化と団(クラスター){x, y, ...}との変化からなる。変異を定める団(クラスター)の要素(箙の頂点)をyとする。交換行列Bの変化は次の通り。団(クラスター)内のすべてのxについて、bx,yおよびby,xの値を交換する。y以外の団(クラスター)の要素x,zについて、 bx,y > 0 かつ by,z > 0である場合には、bx,z を bx,yby,z + bx,zに置き換える。bx,y < 0かつby,z < 0である場合には、bx,z を -bx,yby,z + bx,zに置き換える。それ以外の場合(bx,y by,z ? 0の場合)には、bx,z は変えない。最後に、団(クラスター){x, y, ...}の変化を説明する。 yを新しい生成要素wに、次のように置き換える。y以外の要素は変えない。 w y = ∏ t : b t , y > 0 t b t , y + ∏ t : b t , y < 0 t − b t , y {\displaystyle wy=\prod _{t:\,b_{t,y}>0}t^{b_{t,y}}+\prod _{t:\,b_{t,y}<0}t^{-b_{t,y}}}

この式の右辺は、シード(種)の団(クラスター)の要素tをyとの関係(bt,yの正負)で2群に分け、群ごとに要素の冪の積を取り、その和となるn変数多項式となっている。なお、変異の逆も変異である。つまり、 シード(種)Aがシード(種)Bの変異である場合、 BはAの突然変異である。

団代数(クラスター代数)は、初期シードから、次のように構築される。あるシードの変異は、団(クラスター)の要素ごとに定まるから、そのすべての変異を行うこととし、それを繰り返す。シード(種)をグラフの頂点とし、1回の変異で移りあうシード(種)のペアを両端点とするを引くことにすると、可能なすべての変異の繰り返しにより、グラフが生成される。このグラフは有限グラフの場合と無限グラフの場合とがある。団代数(クラスター代数)の基礎となる代数は、このグラフのすべてのシード(種)に付随する団(クラスター)のすべての要素によって生成された代数である。シード(種)には、上記で述べていないその他の構造も付随しており、それに対応する団代数(クラスター代数)も存在する。

団代数(クラスター代数)は、シード(種)の数が有限である場合、有限型であると言われる。 Fomin & Zelevinsky (2003)は、有限型の団代数(クラスター代数)が、有限次元単純リー代数ディンキン図の観点から分類できることを示した。
参考文献

Berenstein, Arkady; Fomin, Sergey; Zelevinsky, Andrei (2005), “Cluster algebras. III. Upper bounds and double Bruhat cells”, Duke Mathematical Journal 126 (1): 1?52, arXiv:math/0305434, doi:10.1215/S0012-7094-04-12611-9, MR.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}2110627 

Fomin, Sergey; Shapiro, Michael; Thurston, Dylan (2008), “Cluster algebras and triangulated surfaces, part I: Cluster complexes.”, Acta Mathematica 201: 83?146, arXiv:math/0608367, doi:10.1007/s11511-008-0030-7 

Fomin, Sergey; Zelevinsky, Andrei (2002), “Cluster algebras. I. Foundations”, Journal of the American Mathematical Society 15 (2): 497?529, arXiv:math/0104151, doi:10.1090/S0894-0347-01-00385-X, MR1887642 

Fomin, Sergey; Zelevinsky, Andrei (2003), “Cluster algebras. II. Finite type classification”, Inventiones Mathematicae 154 (1): 63?121, arXiv:math/0208229, Bibcode: 2003InMat.154...63F, doi:10.1007/s00222-003-0302-y, MR2004457 

Fomin, Sergey; Zelevinsky, Andrei (2007), “Cluster algebras. IV. Coefficients”, Compositio Mathematica 143 (1): 112?164, arXiv:math/0602259, doi:10.1112/S0010437X06002521, MR2295199 

Fomin, Sergey; Reading, Nathan (2007), “Root systems and generalized associahedra”, in Miller, Ezra; Reiner, Victor; Sturmfels, Bernd, Geometric combinatorics, IAS/Park City Math. Ser., 13, Providence, R.I.: Amer. Math. Soc., arXiv:math/0505518, Bibcode: 2005math......5518F, ISBN 978-0-8218-3736-8, MR2383126 

Marsh, Bethany R. (2013), Lecture notes on cluster algebras., Zurich Lectures in Advanced Mathematics, Zurich: European Mathematical Society (EMS), doi:10.4171/130, ISBN 978-3-03719-130-9, MR3155783 


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:15 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef