Preservation of stability under the Fourier-Mukai transform whose kernel is the Poincare line bundle

技術的要約：フーリエ・ムカイ変換下における安定性の保存

問題提起
本論文は、アベル多様体 $X$ 上の連接層のギーゼカー（Gieseker）安定性が、ポアンカレ線束 $P$ の双対を核とするフーリエ・ムカイ変換 $\Phi_{P^\vee}: D(X) \to D(\hat{X})$ の下でどのように振る舞うかを扱っている。フーリエ・ムカイ変換は派生圏の同値性を誘導するが、一般には層の安定性を保存するわけではない。先行研究（具体的には [16]）では、ピカール数 $\rho(X)=1$ のアベル曲面における安定性の保存が確立されている。本論文は、この調査をピカール数 $\rho(X) \geq 1$ の一般の場合へと拡張し、一般的な安定層の変換（シフトまたは双対化の後）が、双対曲面 $\hat{X}$ 上の適切なアベル因子に関して安定となるための条件を特定することを目的としている。

副次的な焦点は、弱ブリル・ノーター（weak Brill-Noether）特性である。これは、高次コホモロジー群が最大でも一つのみ非ゼロであるような層がモジュライ空間内に存在するという性質である。著者は、モジュライ・スタックが既約であり、かつ極化がアベル錐の境界付近にある場合、この特性が一般には成立しないことを指摘している。本論文は、固定されたアベル因子に対してこの特性が成立する条件を確立しようとしている。

手法
主要な道具として、派生圏 $D(X)$ 上のブリッジランド（Bridgeland）安定性条件の理論を用いている。著者は、安定性パラメータの空間 $\text{Stab}(X)$ 内における「壁越え（wall-crossing）」の挙動を分析している。

1. 幾何学的安定性条件： 研究は、安定性パラメータの空間における直線 $L = \{(0, tH) \mid t > 0\}$、すなわち幾何学的安定性条件 $\sigma_{(0, tH)}$ に対応する部分に焦点を当てている。
2. 全半安定な壁（Totally Semi-Stable Walls）： 著者は、「全半安定な壁」を調査している。これは、壁の両側における安定対象のモジュライ空間が互いに素であるような壁として定義される。これらの壁は、ムカイ・ベクトル $v$ が等長ベクトルへと分解されることに対応する。
3. 壁越え分析： パラメータ $t$ が直線 $L$ に沿って変化する際の一般的な安定対象 $E$ の挙動を追跡することで、本論文は、$E$ が（ねじれのない層から）次数 $-1$ のコホモロジーを持つ複体へと（あるいはその逆に）遷移する時期を決定している。
4. フーリエ・ムカイの適合性： 本論文は、$\Phi$ によって誘導されるムカイ・ラティスの既知の等長性と、等長ムカイ・ベクトルを持つ半安定層に関する特定の補題（例：補題 1.2）を利用している。核心となる議論は、一般的な安定層 $E$ に対して、その変換 $\Phi(E)$（または $\Phi(E)[1]$）が依然として連接層であり、かつ $\hat{X}$ 上の特定の極化 $L'$ に関して安定であることを示すことにある。

主要な貢献および結果

1. 安定性保存に関する主定理（定理 0.1 / 定理 3.12）
本論文は、ムカイ・ベクトル $v=(r, \xi, a)$（ここで $r>0$ かつ $(\xi \cdot H) > 0$）を持つモジュライ・スタック $M_L(v)$ 内の一般的な層 $E$ に対して、フーリエ・ムカイ変換が安定性を保存する条件を確立している。$\ell = \langle v^2 \rangle / 2$ とする。

• ケース $a > 0$： $X$ が楕円曲線の直積ではなく、または $\xi$ が原始的でない場合、アベル因子 $L$ および $L'$ が存在し、一般の $E \in M_L(v)$ に対して $\Phi(E)^\vee$ は $L'$-安定である。
• ケース $a \leq 0$： 楕円曲線に関連する特定の例外的なケース（例：$v = (\ell, kC, -1)$）を除き、アベル因子 $L$ および $L'$ が存在し、一般の $E \in M_L(v)$ に対して $\Phi(E)[1]$ は $L'$-安定である。

2. 弱ブリル・ノーター特性（命題 0.2 / 命題 3.16）
著者は、$r>0, (\xi \cdot H) > 0, \langle v^2 \rangle \geq 0$ である任意のムカイ・ベクトル $v$ に対して、弱ブリル・ノーター特性が成立するアベル因子 $L$ が存在することを証明している。具体的には、高次コホモロジー群を最大でも一つしか持たない層 $E \in M_L(v)$ が存在する。この結果は、変換された対象が（派生圏の）ハート（heart）に属すること（すなわち、層であること）を保証する安定性保存の結果から直接導かれている。

3. 既約性と極化への独立性（系 0.3）
モジュライ・スタック $M(v)$ が既約であるという仮定の下で（これは $v$ が原始的であり、かつ $\langle v^2 \rangle \geq 2r, 2a$ といった特定の数値条件を満たす場合に成立する）、本論文は、 $X$ 上の極化を調整する必要なく、双対曲面上の自然に関連付けられた極化 $\hat{H}$ に関して安定性保存が成立することを示している。

4. $dH$ の形の型のアベル因子（定理 0.4 / 定理 3.24）
ムカイ・ベクトルが $v=(r, dH, a)$ の形であるとき：

• $d \geq 0$ であれば、弱ブリル・ノーター特性は成立する。
• $d < 0$ の場合、負の整数と楕円曲線に関連する特定の例外的な形式 $v$ を取らない限り、当該特性は成立する。
  このセクションはまた、与えられたムカイ・ベクトルに対して $aCM$（算術的コーエン・メーレン特性）層が存在するかどうかの特徴付けも提供している（系 3.25）。

意義および主張
本論文は、安定性保存に関する従来の、ピカール数 1 の場合に限定された結果を、任意のアベル曲面へと一般化することを主張している。ブリッジランド安定性を用い、安定性多様体内の特定の直線に沿った壁越えを分析することにより、著者はフーリエ・ムカイ変換の下で安定性を保存する極化を見出すための構成的な方法を提供している。

著者は、これらの結果が固定されたアベル因子に対する弱ブリル・ノーター特性を解決したと明言しており、これは、モジュライ空間が既約である場合や、アベル錐の境界付近の極化において特性が失敗したとされる以前の知見（例：[6]）とは対照的である。本研究は、アベル曲面上の層のモジュライ空間の幾何学、および派生同値の下でのそれらの振る舞いに関する理解を洗練させるものである。

限界と例外
本論文は、一般的な定理が適用されない例外的なケースを注意深く記しており、主に以下を含む：

• 楕円曲線の直積。
• 特定の構成を持つ原始的なベクトル $\xi$。
• $C$ を楕円曲線とし、$k \geq \ell + 1$ であるときのムカイ・ベクトル $(\ell, kC, -1)$ または $(1, kC, -\ell)$。
  これらの例外的なケースでは、変換の結果、安定なベクトル束ではなく、ねじれを持つ連接層となることが多く、またモジュライ空間の構造が標準的な安定性保存を妨げる。