ヤング束のソースを表示

{{要改訳|date=2018年4月}}
{{正確性|date=2018年4月}}
[[数学]]において、'''ヤング束'''は全ての[[自然数の分割]]からなる[[束 (束論)|束]]である。「On quantitative substitutional analysis」などで[[対称群]]の[[表現論]]を発展させた、{{仮リンク|アルフレッド・ヤング|en|Alfred_Young}}にちなんで名付けられた。ヤングの理論において、現在では[[ヤング図形]]と呼ばれる対象やその半順序は、決定的な重要な役割を果たした。{{Harvtxt|Stanley|1988}}によって、ヤング束は差分半順序集合の最も単純な例とされるなど、ヤング束は代数的[[組合せ論]]においてよく現れる。そして、[[アフィンリー代数]]の結晶基底とも密接に関連している。

== 定義 ==
[[ファイル:Young's_lattice.svg|サムネイル|200px|ヤング束 {{mvar|Y}} の[[ハッセ図]]]]
非負整数からなる非増加列 {{math|''&lambda;'' {{=}} (''&lambda;''{{sub|1}}, ''&lambda;''{{sub|2}}, &hellip;)}} が非負整数 {{mvar|n}} の[[自然数の分割|分割]] {{lang|en|partition}} であるとは、成分の総和 {{math|{{!}}''&lambda;''{{!}} {{=}} ''&lambda;''{{sub|1}} + ''&lambda;''{{sub|2}} + &hellip;}} が {{mvar|n}} となることをいう。これを記号 {{math|''&lambda;'' ⊢ ''n''}} により表す。分割  {{math|''&lambda;'' {{=}} (''&lambda;''{{sub|1}}, ''&lambda;''{{sub|2}}, &hellip;)}} と {{math|''&mu;'' {{=}} (''&mu;''{{sub|1}}, ''&mu;''{{sub|2}}, &hellip;)}} の間に[[半順序関係]] {{math|''&lambda;'' &le; ''&mu;''}} を
:<math> \lambda_i \le \mu_i \qquad (i \ge 1) </math>
により定める{{sfn|Stanley|2013|p={{google books quote|id=_Tc_AAAAQBAJ|page=57|57}}}}。（これは対応する[[ヤング図形]]の包含関係に他ならない{{sfn|Sagan|2001|p=192|loc=Definition 5.1.2}}。右図参照。）この半順序関係により分割全体
:<math> Y = \{\, \lambda \vdash n \mid n \ge 0 \,\} </math>
は[[束 (束論)|束]]になり、これをヤング束 {{lang|en|Young's lattice}} という。

== 意義 ==
伝統的なヤング束の応用には対称群の[[標数]] 0 における[[既約表現]]と分岐則の記述がある。既約表現の同型類は（自然数の）分割あるいはヤング図形によってパラメータづけることができる。ヤング束において ''q'' が ''p'' をカバーする場合(すなわちp<qで、p<x<qなるxが存在しない場合)にのみ、分割 ''p'' による ''S<sub>n</sub>'' の表現は、分割 ''q'' による ''S''<sub>''n''+1</sub> に含まれる。これを繰り返すことで、''p''のヤング標準盤に対応した、分割''p''に伴う''S<sub>n</sub>''の既約表現のヤングの半標準基底に行きつく。

== 性質 ==
* 半順序集合''Y''は階層的である：要素数が最小なものは空集合 &#x2205;&#x20;であり、0の唯一の分割である。そして''n''の分割はランク''n''とされる。つまり、2種類の分割が与えられた場合、その分割は束により比較可能であるという意味である。また、各intermediate{{訳語疑問点|date=2018年4月}}ランクには少なくとも1つのintermediate分割が存在する。
* 半順序集合''Y''は[[分配束]]である。2つの分割の[[結びと交わり]]は対応するヤング図の積集合と和集合によって与えられる。
* もし分割''p''がヤング束の''k''個の要素をカバーするならば ''k'' + 1 要素にカバーされる。''p'' によってカバーされるすべての分割は、ヤング図の1つの「角（corner）」（行と列の両方の終端になっている要素）を除去することで得られる。''p'' をカバーする全ての分割は、ヤング図の「凹み（dual corner）」（「角」の位置にある空マス）に1マス追加することで得られる。
* 異なる分割''p''と''q''がともに''Y''の''k''要素をカバーする場合、要素数''k''は 0 か 1 であり、''p''と''q''はともに''k''要素によってカバーされる。わかりやすくいえば、2つの異なる分割は両方でカバーされた1つの分割（それぞれのヤング図は、それぞれ、他方に属さないマスを有する）を持つことができ、その場合、両方をカバーするまた別の分割（2つのヤング図形の和集合）が存在する。
* ∅ と ''p''間の[[飽和鎖]]は、''p''のヤング図形の標準形と自然な[[双射]]をなす。：鎖内部の図は、ナンバリング順に標準盤のマスを追加する。より一般的には、''q''と''p''間の飽和鎖は''p/q''のskew図{{訳語疑問点|date=2018年4月}}と自然な双射をなす。
* ヤング束の[[隣接代数 (順序理論)|メビウス関数]]は以下の数式に従い&nbsp;0,&nbsp;±1 の値を取る
:: <math> \mu(q,p) = \begin{cases} (-1)^{|p| - |q|} & \text{if the skew diagram }p/q\text{ is a disconnected union of squares} \\
& \text{(no common edges);} \\[10pt]
0 & \text{otherwise}. \end{cases} </math>

== 対称性 ==
{{Multiple image}}従来、ヤング束は同じランク要素は同じ高さに揃えてハッセ図で表されていた。{{Harvtxt|Suter|2002}} は、ヤング束の部分集合を描写する異なる方法が、予想外の対称性を示すことを示している。

''n''番目の[[三角数]]の分割
: <math> n + \cdots + 3 + 2 + 1 </math>
は階段状の[[自然数の分割|フェラー図]]に対応する。フェラー図が長方形となる最大の要素は以下の分割である
: <math>
\begin{array}{c}
\underbrace{1 + \cdots\cdots\cdots + 1}_{n\text{ terms}} \\
\underbrace{2 + \cdots\cdots + 2}_{n-1\text{ terms}} \\
\underbrace{3 + \cdots + 3}_{n-2\text{ terms}} \\
\vdots \\
\underbrace{{}\quad  n\quad {}}_{1\text{ term}}
\end{array}
</math>
この形式の分割はヤング束で見れば下にただ1つしか要素を持たない唯一の形式である。Suterはこれらの特定の分割以下のすべての要素の集合は、ヤング束の対称性だけでなく、回転対称性も有することを示した。 n+1次の回転群はこの半順序集合に作用する。この集合は左右対称であり、回転対称でもあるため、dihedral 対称でもある（''n''&nbsp;+&nbsp;1 [[二面体群]]は[[群作用]]をこの集合に対して行う。集合のサイズは&nbsp;2<sup>''n''</sup>）。

例えば、 ''n''&nbsp;=&nbsp;4 の場合、長方形のフェラー図を持つ階段状の最大要素は
: 1 + 1 + 1 + 1
: 2 + 2 + 2
: 3 + 3
: 4
である。

これらの分割の下にあるヤング束の部分集合は左右対称性の他に5倍回転対称性を持つ。つまり、二面体群&nbsp;''D''<sub>5</sub> はヤング束のこの部分集合に作用する。

== 注 ==
{{reflist|2}}

== 参考文献 ==
* {{Cite journal | last1 = Misra | first1 = Kailash C. | last2 = Miwa | first2 = Tetsuji| year = 1990 | title = Crystal base for the basic representation of <math>U_q(\widehat{\mathfrak{sl}}(n))</math>| journal = [[Communications in Mathematical Physics]]| volume = 134 | issue = 1 | pages = 79–88 | bibcode = 1990CMaPh.134...79M| doi = 10.1007/BF02102090 }}
* {{Cite book|last=Sagan|first=Bruce|title=The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions|edition=Second|year=2001|publisher=Springer|url={{google books|Y6vTBwAAQBAJ|plainurl=yes}}|isbn=978-1-4419-2869-6|ref=harv}}
* {{Cite journal|last=Stanley|first=Richard P.|year=1988|title=Differential posets|journal=[[Journal of the American Mathematical Society]]|volume=1|issue=4|pages=919–961|ref=harv|doi=10.2307/1990995}}
* {{Cite book|last=Stanley|first=Richard P.|year=2013|title=Algebraic Combinatorics: Walks, Trees, Tableaux, and More|publisher=Springer|url={{google books|_Tc_AAAAQBAJ|plainurl=yes}}|isbn=978-1-4614-6997-1|ref=harv}}
* {{Cite journal|last=Suter|first=Ruedi|year=2002|title=Young's lattice and dihedral symmetries|journal=[[European Journal of Combinatorics]]|volume=23|issue=2|pages=233–238|ref=harv|doi=10.1006/eujc.2001.0541}}

== 関連項目 ==
* {{仮リンク|ヤング・フィボナッチ束|en|Young–Fibonacci_lattice}}
* {{仮リンク|ブラッテリ図|en|Bratteli_diagram}}

{{DEFAULTSORT:やんくそく}}
[[Category:束論]]
[[Category:表現論]]
[[Category:数学に関する記事]]