Nilpotent representations over equioriented cyclic quivers

技術要約：等方向的循環クィバー上のべき零表現

問題提起
本論文は、等方向的（equioriented）な循環クィバーのべき零表現の組合せ論的および幾何学的性質を調査するものである。本研究では、以下の2つの異なる代数的文脈を扱う：

1. 線形表現： 体 $k$ 上の表現、特に有限体 $\mathbb{F}_q$ に焦点を当てる。表現は、連続する写像の十分長い合成が消滅する場合にべき零であると定義される。
2. 半表現（Semirepresentations）： ブール半環 $\mathbb{B} = \{0, 1\}$（ここで $1+1=1$）上の表現。ここでのべき零性は、合成による消滅を通じて同様に定義される。

主な目的は、べき零表現と特定の幾何学的または組合せ論的構造との間の明示的な全単射を確立し、有限体における正確な計数公式を導出し、両方の設定におけるべき零性の漸近的確率を分析することである。

手法
著者らは、線形代数的な全単射、組合せグラフ理論、および包含除外原理を組み合わせて用いる。

• 幾何学的全単射（線形の場合）： べき零端道（endomorphism）に関するLeinsterの全単射、および2つの写像へのその拡張に基づき、著者らは循環クィバーに対する明示的な全単射を構築する。彼らは、べき零表現の集合 $N(\beta)$ を、全表現空間 $\text{Rep}(Q, \beta)$ と、少なくとも一つの零ベクトルを含むタプルの特定の部分集合 $Z$ と関連付ける。これは、表現空間を分解し、線形写像の核（kernel）と像（image）の構造を利用することに基づいている。
• 組合せ論的対応（ブールの場合）： ブール半環上の表現について、著者らは表現空間を特定の有向グラフ $G_\beta$ のスパンイング部分グラフの集合と同一視する。この同一視の下で、べき零半表現は、スパンイング有向非巡回グラフ（DAG）と正確に一致する。
• 計数技法：
  • 有限体のケースでは、集合 $Z$（非ゼロベクトルの数に関する包含除外原理を用いる）のサイズを数えることにより、その濃度を導出する。
  • ブールの場合、著者らは、グラフ $G_\beta$ のソース頂点に関する包含除外を適用することで、DAGの数を数えるための再帰的な公式を導出する。これにより、問題は、より厳密に小さい次元ベクトルに対応する誘導部分グラフ上のDAGを数える問題へと還元される。
• 漸近解析： べき零性の確率は、べき零集合の濃度と全表現空間を比較することによって分析される。ブールの場合、$G_\beta$ におけるサイクル（cycle）の性質と頂点に対する厳密な全順序を用いて、境界が確立される。

主要な貢献と結果

1. 線形表現のための明示的な全単射：
   本論文は、以下の全単射を確立する（定理 3.5）：
   $$N(\beta) \times \prod_{i=1}^k V_i \cong \text{Rep}(Q, \beta) \times Z$$
   ここで $Z$ は、少なくとも一つの $v_i = 0$ を満たすタプル $(v_1, \dots, v_k)$ の集合である。これは、単一の端道およびペアの写像に関する既知の結果を一般化している。

2. 有限体上の計数：
   この全単射を用いて、著者らは $\mathbb{F}_q$ 上のべき零表現の数 $N(\beta)$ に関する閉形式の公式を導出する（定理 3.6）：
   $$N(\beta) = q^{\beta \cdot \sigma \beta - \mathbf{1} \cdot \beta} \left( q^{\mathbf{1} \cdot \beta} - \prod_{i=1}^k (q^{\beta_i} - 1) \right)$$
   したがって、ランダムな表現がべき零である確率は以下の通りとなる：
   $$\text{Prob}(N(\beta)) = 1 - \prod_{i=1}^k (1 - q^{-\beta_i})$$
   また、本論文は $q$-二項係数を用いて、表現のランクによるこのカウントの精緻化も提供している（定理 3.9）。

3. ブール半環上の計数：
   著者らは、べき零半表現を $G_\beta$ のスパンイングDAGと同一視する。彼らは、そのような表現の数 $N_B(\beta)$ に関する再帰的公式を導出する（定理 4.2）：
   $$N_B(\beta) = \sum_{\gamma < \beta} (-1)^{\mathbf{1} \cdot (\beta - \gamma) - 1} \binom{\beta}{\gamma} 2^{(\beta - \gamma) \cdot \sigma \gamma} N_B(\gamma)$$
   ここで、和は $\beta$ よりも厳密に小さい次元ベクトル $\gamma$ について取られる。

4. 漸近的挙動：

   • 有限体： 次元ベクトルの成分が増大するにつれ、もし任意の $\beta_i$ が増大すればべき零の確率は1に近づくが、本論文は、もし $\sum q^{-\beta_i}$ が0に収束するならば、確率は0に向かうことを指摘している（系 3.14）。
   • ブール半環： べき零性の確率は、次元ベクトルがスケールアップするにつれて指数関数的に減衰する。具体的には、$\beta(n) = n\beta$ のとき、漸近的減衰率は $m(\beta) = \min_i (\beta_i \beta_{i+1})$ によって決定される（系 4.7）：
     $$\lim_{n \to \infty} \frac{\log_2(\text{Prob}(N_B(n\beta)))}{n^2} = -m(\beta)$$

5. 集合値表現との比較：
   本論文は、線形べき零性と「最終的に定数となる」集合値表現を関連付けている。線形表現がべき零であるための必要十分条件は、その基礎となる集合値表現（忘却関手による）が最終的に定数となることであることを証明している。さらに、有限体 $\mathbb{F}_q$ 上の線形ケースにおけるべき零性の確率は、集合の濃度が $q^{\beta_i}$ である場合の集合論的な最終的定数性の確率に等しいことを示している（命題 5.2）。

意義と主張
本論文は、循環クィバー表現におけるべき零性を理解するための、統一された幾何学的および組合せ論的な枠組みを提供することを主張している。

• 幾何学的洞察： 明示的な全単射を構築することにより、本研究は、循環クィバーにおけるべき零という抽象的な概念を、零ファイバーおよび特定のベクトルタプルの部分集合の幾何学へと結びつけ、単一の端道に関する既知の結果を循環系へと拡張している。
• 組合せ論的な精密さ： 有限体における正確な計数およびブール半環における再帰的構造の導出は、以前は定性的または限定的な結果しか存在しなかった可能性のある領域に対し、正確な計数ツールを提供している。
• 漸近的理解： ブール半表現における漸近的減衰率の決定は、システムサイズが増大するにつれてべき零性がどれほど「稀」になるかについての定量的な尺度を提供する。
• 学際的な接続： 本研究は、線形表現論、集合値表現、およびグラフ理論（DAG）を橋渡ししており、有限体上の線形文脈におけるべき零性が、集合論的な文脈における最終的定数性と構造的に等価であることを示している。

著者らは、提示された数学的結果を超えて、新しい実験的な応用や将来の研究方向を提案しておらず、これらの代数的対象の構造的および計数的な性質に焦点を絞っている。