[論文レビュー] A scheme related to the Brauer loop model

Allen Knutson, Paul Zinn-Justin|arXiv (Cornell University)|Mar 11, 2005

Algebraic structures and combinatorial models参考文献 15被引用数 8

ひとこと要約

本稿は、非可換な行列積 $\bullet$ を用いた退化した行列環 $M_N(\mathbb{C})$ におけるブラウアー・ループ多様体 $E = \{M \in M_N(\mathbb{C}) : M \bullet M = 0, \operatorname{diag}(M) = 0\}$ を導入する。この多様体の高次元成分は、固定点が 0 個または 1 個である対合（リンク・パターン）によって添え字づけられ、その成分の多重次数がブラウアー・ループ・モデルのペロン＝フロベニウス固有ベクトルの成分と正確に対応することを証明した。この結果は、分岐差分作用素とトーラス作用を用いて、元々の予想を解決するものである。

ABSTRACT

We introduce the_Brauer loop scheme_ E := {M in M_N(C) : M\cp M = 0}, where \cp is a certain degeneration of the ordinary matrix product. Its components of top dimension, floor(N^2/2), correspond to involutions πin S_N having one or no fixed points. In the case N even, this scheme contains the upper-upper scheme from [Knutson '04] as a union of (N/2)! of its components. One of those is a degeneration of the_commuting variety_ of pairs of commuting matrices. The_Brauer loop model_ is a quantum integrable stochastic process introduced in [de Gier--Nienhuis '04], and some of the entries of its Perron-Frobenius eigenvector were observed (conjecturally) to match the degrees of the components of the upper-upper scheme. We extend this, with proof, to_all_ the entries: they are the degrees of the components of the Brauer loop scheme. Our proof of this follows the program outlined in [Di Francesco--Zinn-Justin '04]. In that paper, the entries of the Perron-Frobenius eigenvector were generalized from numbers to polynomials, which allowed them to be calculated inductively using divided difference operators. We relate these polynomials to the multidegrees of the components of the Brauer loop scheme, defined using an evident torus action on E. In particular, we obtain a formula for the degree of the commuting variety, previously calculated up to 4x4 matrices.

研究の動機と目的

• ブラウアー・ループ多様体 $E$ を、可換多様体の退化版として定義し、その性質を研究すること。
• 多様体 $E$ の成分とリンク・パターン（固定点が 0 個または 1 個の対合）との幾何的対応関係を確立すること。
• これらの成分の多重次数が、ブラウアー・ループ・モデルのペロン＝フロベニウス固有ベクトルの成分に一致することを証明すること。
• 表現論的データ（固有ベクトル成分）と代数幾何学的データ（多様体成分の次数）を結ぶ予想を解決すること。

提案手法

• $M_N(\mathbb{C})$ 上に、巡回的順序に基づく非可換な行列積 $\bullet$ を定義し、これが結合的かつ単位元を持つことを示す。
• ブラウアー・ループ多様体 $E$ を $M \bullet M = 0$ かつ $\operatorname{diag}(M) = 0$ として定義し、リンク・パターンによって添え字づけられる成分に分解可能であることを示す。
• トーラス作用を用いて $E$ の多重次数を定義し、これは等変パラメータに関する多項式である。
• 分岐差分作用素を用いて、多重次数をブラウアー・ループ・モデルの多項式 $\Psi_\pi$ と関係づけ、これらがペロン＝フロベニウス固有ベクトルの成分を符号化していることが知られていることを用いる。
• 平坦極限を用いて $E$ を $\{M : M^2 = 0\}$（べき零軌道）に結びつけ、$E$ の成分が極限で重複度 $2^{n+r}$ で現れることを示す。
• 多重次数の線形独立性を用いて、重複度を一意に特定し、固有ベクトル成分との対応関係を確認する。

実験結果

リサーチクエスチョン

• RQ1 ブラウアー・ループ多様体 $E$ の成分はどのようにパrameter化され、その幾何的構造は何か？
• RQ2 多様体 $E$ の成分の多重次数と、ブラウアー・ループ・モデルのペロン＝フロベニウス固有ベクトルの成分との正確な関係は何か？
• RQ3 多様体 $E$ の成分の次数を代数的に計算可能か？ また、可積分系からの既知の組合せ論的データと一致するか？
• RQ4 多様体 $E$ は等次元的か？ また、$\{M : M^2 = 0\}$ への平坦極限は存在するか？
• RQ5 拡張されたトーラス作用 $\overline{T}$ は、多重次数不変量をどのように精緻化し、$\Psi_\pi$ との対応関係をどのように支持するか？

主な発見

• ブラウアー・ループ多様体 $E$ の高次元成分は、固定点が 0 個または 1 個の対合（リンク・パターン）によって添え字づけられ、各成分 $E_\pi$ は次元 $\lfloor N^2/2 \rfloor$ の既約多様体である。
• 成分 $E_\pi$ の多重次数は、ブラウアー・ループ・モデルに現れる多項式 $\Psi_\pi$ に等しく、これらはペロン＝フロベニウス固有ベクトルの成分を符号化している。
• 多様体 $E$ は等次元的であり、その成分は $\{M : M^2 = 0\}$ の平坦極限 $D_0$ において重複度 $2^{n+r}$ で現れる。これは、予想された重複度を確認するものである。
• 多重次数 $\operatorname{m}\!\deg E_\pi$ の $\mathbb{Z}$ 上の線形独立性により、$\Psi_\pi$ との対応関係が一意的かつ正確であることが保証される。
• この対応関係を用いて、$N \times N$ 行列の可換多様体の次数が計算され、$4 \times 4$ 行列までに拡張された既存の結果を一般化する。
• 重み $w_i = z_i - z_{i+1}$ を持つ拡張トーラス作用 $\overline{T}$ は、標準的な $T$-多重次数を回復し、多重次数不変量の不変性と一貫性を確認する。