[論文レビュー] A bijective proof of Loehr-Warrington's formulas for the statistics $\mbox{ctot}_{\frac{q}{p}}$ and $\mbox{midd}_{\frac{q}{p}}$

Mikhail Mazin|arXiv (Cornell University)|Jan 30, 2013

Advanced Combinatorial Mathematics参考文献 5被引用数 4

ひとこと要約

この論文は、大きな長方形内での補図形におけるボックス数の差が1であるという基本的な組合せ的双対性を用いて、Young図形上の統計量 $\operatorname{ctot}_{\frac{q}{p}}$ および $\operatorname{mid}_{\frac{q}{p}}$ に対する双対的証明を提供する。主な結果は、これらの統計量の対称性を説明する直接的かつ構成的な全単写像であり、$\mathbb{C}^2$ 上の点のヒルベルトスキームにおける幾何的不変量の組合せ的解釈を提供する。証明により、$\operatorname{ctot}_{\frac{q}{p}}(D)$ および $\operatorname{mid}_{\frac{q}{p}}(D)$ が境界グラフ $M(D)$ のみに依存することを示し、トーラス作用に関する長年の組合せ的パズルを解消する。

ABSTRACT

Loehr and Warrington introduced partitional statistics $\mbox{ctot}_{\frac{q}{p}}(D)$ and $\mbox{midd}_{\frac{q}{p}}(D)$ and provided formulas for these statistics in terms of the boundary graph of the Young diagram $D$. In this paper we give a bijective proof of Loehr-Warrington's formulas using the following simple combinatorial observation: given a Young diagram $D$ and two numbers $a$ and $l,$ the number of boxes in $D$ with the arm length $a$ and the leg length $l$ is one less than the number of boxes with the same properties in the complement to $D.$ Here the complement is taken inside the positive quadrant or, equivalently, a very large rectangle.

研究の動機と目的

• Young図形上の $\operatorname{ctot}_{\frac{q}{p}}$ および $\operatorname{mid}_{\frac{q}{p}}$ に対する双対的証明を提供すること。
• 有理数 $x$ に対して $h_x(D)$ が不変である背後にある組合せ的対称性を説明すること。これは $\mathbb{C}^2$ 上のヒルベルトスキームと幾何的に関係している。
• なぜ $\operatorname{ctot}_{\frac{q}{p}}(D)$ および $\operatorname{mid}_{\frac{q}{p}}(D)$ が境界グラフ $M(D)$ のみに依存するのかを明確にすること。これはトーラス作用の組合せ論的パズルを解消する。
• $M(D)$ を保存したまま $c^+_{\frac{q}{p}}(D)$ と $c^-_{\frac{q}{p}}(D)$ を交換する、構成的かつ明示的な全単写像を提供すること。これにより、ヒルベルトスキームのセル分解における対称性が説明される。

提案手法

• 証明は、基本的な組合せ的双対性に依存している：任意のYoung図形 $D$ に対して、アーム長さ $a$ とレッグ長さ $l$ を持つボックスの数は、大きな長方形 $R_{Kp,Kq}$ 内での補図形におけるそれより1つ少ない。
• 図形 $D$ の境界ラティスパス $B(D)$ を用いて、整数 $\mod Kpq$ でラベル付けされた頂点を持つラベル付きグラフ $M(D)$ を定義する。$N$-エッジは $p$ 減少し、$W$-エッジは $q$ 増加し、頂点はラベルで同一視される。
• $M(D)$ には $B(D)$ に対応するオイラー路 $E(D)$ が備えられ、統計量 $\operatorname{ctot}_{\frac{q}{p}}(D)$ および $\operatorname{mid}_{\frac{q}{p}}(D)$ が $E(D)$ の選択に依存せず、$M(D)$ のみの不変量であることが示される。
• 全単写像は、$D$ とその補図形の間の双対性を利用することで構成される。$D$ の各ボックスに対して、同じ $(a,l)$ を持つ補図形内の対応ボックスが存在し、その数は正確に1つずつ異なる。
• 生成関数を用いて、$D$ の $(p,q)$-重み付きコンテンツが $M(D)$ によって決定されることを示し、$C_{p,q}^D$ が $P_N^{M(D)}$ および $P_W^{M(D)}$ から回復可能であることを確認する。これにより、$M(D)$ が $D$ の完全なコンテンツ情報を符号化していることが証明される。
• 幾何的解釈はヒルベルトスキーム $\operatorname{Hilb}^n_{p,q}(\mathbb{C}^2)$ に根ざしており、$\operatorname{ctot}_{\frac{q}{p}}(D)$ はモノミアルイデアル $I_D$ を含む既約成分の次元に等しく、全単写像は安定および不安定なセル分解の間の対称性を反映する。

実験結果

リサーチクエスチョン

• RQ1 Loehr-Warringtonの $\operatorname{ctot}_{\frac{q}{p}}$ および $\operatorname{mid}_{\frac{q}{p}}$ の公式を、Young図形における基本的双対性を用いて双対的証明することは可能か？
• RQ2 $\operatorname{ctot}_{\frac{q}{p}}(D)$ および $\operatorname{mid}_{\frac{q}{p}}(D)$ がなぜ境界グラフ $M(D)$ のみに依存し、オイラー路 $E(D)$ の選択に依存しないのか？
• RQ3 $c^+_{\frac{q}{p}}(D)$ と $c^-_{\frac{q}{p}}(D)$ の間の対称性の背後にある組合せ的メカニズムは何か？この対称性が有理数 $x$ に対して $h_x(D)$ が不変である理由を説明する。
• RQ4 $R_{Kp,Kq}$ 内での $D$ とその補図形の補完性は、同じ $(a,l)$ を持つボックスの1対1対応をどのように説明するのか？その数は正確に1つずつ異なる。
• RQ5 ヒルベルトスキーム $\operatorname{Hilb}^n_{p,q}(\mathbb{C}^2)$ の既約成分の安定および不安定なセル分解が、各次元のセルを同じ数だけ持つという事実の幾何的意義は何か？

主な発見

• Young図形 $D$ にアーム長さ $a$ およびレッグ長さ $l$ を持つボックスの数は、大きな長方形 $R_{Kp,Kq}$ 内の補図形におけるそれより正確に1つ少ない。これは基礎的な双対性を確立する。
• $\operatorname{ctot}_{\frac{q}{p}}(D)$ および $\operatorname{mid}_{\frac{q}{p}}(D)$ は境界グラフ $M(D)$ に完全に依存し、オイラー路 $E(D)$ の選択には依存しない。これは生成関数 $P_N^{M(D)}$ および $P_W^{M(D)}$ の不変性による。
• $D$ の $(p,q)$-重み付きコンテンツの生成関数 $C_{p,q}^D$ は、$P_N^{M(D)}$ および $P_W^{M(D)}$ から明示的に再構成可能である。これにより、$M(D)$ が $D$ の完全な重み付きコンテンツを符号化していることが証明され、$M(D) = M(D')$ となるのは $D$ と $D'$ が同じ重み付きコンテンツを持つときである。
• $\operatorname{Hilb}^n_{p,q}(\mathbb{C}^2}$ の既約成分の次元で、モノミアルイデアル $I_D$ を含む成分の次元は $\operatorname{ctot}_{\frac{q}{p}}(D)$ に等しくなる。これは統計量の幾何的解釈を提供する。
• 安定および不安定なセル分解が各次元のセルを同じ数だけ持つという事実により、$c^+_{\frac{q}{p}}(D)$ と $c^-_{\frac{q}{p}}(D)$ を交換するが $M(D)$ を保存する全単写像の存在が説明される。
• 双対的証明により、Loehr-Warringtonの対称性の組合せ的謎が解けた。$h_x(D)$ が有理数 $x$ に対して不変である理由は、図形とその補図形の間の明示的かつ構成的な双対性に起因する。