Some remarks on Chow correspondences

Pablo Pelaezによる「Some Remarks on Chow Correspondences」の技術的詳細要約

問題設定
本論文は、ヴォヴォドスキーの三角形圏としてのモチーフの圏（$DM_k$）の枠組みにおける特定の課題、すなわち、滑らかな射影多様体 $X$ と $Y$（代数閉体 $k$ 上）の間の Chow 対応 $\Lambda \in CH^{d+n}(X \times Y)$ のうち、特定の誘導準同型 $\psi$ が消滅するものを特徴付ける問題に取り組んでいる。

ここで問題となる準同型 $\psi: CH^{d_Y-n}(Y) \to Alb(X)(k)$ は、Chow 対応 $\Lambda$ を通じて定義される。これは、サイクル $\gamma$ を、次数を調整した交差積の押し出しのアルベネーゼ像へと写すものである：
$$\psi(\gamma) = alb_X(\Lambda(\gamma) - \deg(\Lambda(\gamma))[x_0])$$
ここで、$alb_X$ はアルベネーゼ写像、$x_0$ は固定された有理点であり、$\Lambda(\gamma)$ はサイクルに対する標準的な対応作用である。本論文は、$\psi$ が恒等的にゼロとなるための条件、具体的には、モチーフの圏における直交フィルター内の構造に関連する消滅条件を決定することを目的としている。

手法
著者は、ヴォヴォドスキーの三角形圏としてのモチーフの圏（$DM_k$）および適切な同値関係の理論を用いる。その手法は、以下の主要な構成要素に基づいている：

1. サイクルのモチーフ的表現: 論文は、代数的サイクルをモチーフの圏における射として表現するために、同型 $Hom_{DM_k}(M(Z), \mathbb{1}(m)[2m]) \cong CH^m(Z)$ を利用している。
2. 直交フィルター: 中心的な道具は、$DM_k$ の直交フィルター $DM_k^\perp(m)$ である。このフィルターは、$m$-有効モチーフの部分圏に対して直交する対象からなる。本論文は、特に直交被覆 $bc_{\leq -1}$ と、その余単位 $\theta_{-1}^A: bc_{\leq -1}(A) \to A$（ここで $A$ はアルベネーゼ多様体 $Alb(X)$ の点集合のファンクターを表す）に焦点を当てている。
3. 分解基準: 記述的なアプローチの核心は、対応に関連するモチーフ的写像の分解の分析にある。具体的には、対応 $\Lambda$ によって誘導されるモチーフ的写像とアルベネーゼ多様体への写像の合成が、直交被覆 $bc_{\leq -1}(A)$ を通じて因子分解するかどうかを調査している。
4. 正則準同型: 分析は、サイクル誘導正則準同型（Liebermanの意味における）の理論と、アルベネーゼ写像の正則準同型としての性質を結びつけている。

主要な貢献と結果

• 消滅する対応の特性付け (Theorem 4.1.4):
  主要な結果は、準同型 $\psi$ がゼロとなるための必要十分条件を確立している。この定理は、$\psi \equiv 0$ であるための条件は、対応 $\Lambda$ に関連するモチーフ的写像（具体的には合成 $A_f \circ \Lambda_X$）が、直交被覆 $\theta_{-1}^A: bc_{\leq -1}(A) \to A$ を通じて因子分解することであると述べている。図式的に言えば、$DM_k$ において該当する三角形を可換にするような写像 $\Lambda': M(Y)(-n)[-2n] \to bc_{\leq -1}(A)$ が存在する。

• 二乗同値の検出 (Theorem 4.3.1):
  本論文は、直交被覆が「二乗同値としてゼロである（$alg^{*2}$ と表記）」対応を検出することを実証している。具体的には、もし対応 $\Lambda$ が部分群 $CH^{d+n}_{alg^{*2}}(Y \times X)$（代数的同値関係の自身との積）に属する場合、誘導される準同型 $\psi$ はゼロとなる。したがって、そのような対応は $bc_{\leq -1}(A)$ を通じた因子分解条件を満たす。

• H. Saito のフィルターの検出 (Theorem 4.3.2):
  基礎体 $k = \mathbb{C}$ である特定のケースにおいて、結果は H. Saito のフィルターの第二ステップ（$H^{*2}$）に含まれる対応へと強化される。もし $\Lambda \in CH^{d+n}_{H^{*2}}(Y \times X)$ であれば、$\psi$ は消滅し、直交被覆を通じた因子分解が成立する。

• 条件の鋭さ (Remark 4.3.3):
  著者は、条件 $\Lambda \in CH^{d+n}_{alg^{*2}}$ が鋭いことを示すための反例を提供している。単に $CH^{d+n}_{alg}$（代数的同値）には属するが二乗には属さない対応の場合、準同型 $\psi$ は必ずしも消滅しないことが示されている。これは、アルベネーゼ核の非捩率元と、零に数値的に同値ではないサイクルを含む対応を構成することによって示される。

意義と主張
本論文は、アルベネーゼ多様体へのサイクル誘導正則準同型が消滅するための精密なモチーフ的判定基準を提供すると主張している。$\psi$ の消滅を $bc_{\leq -1}$ を通じた因子分解に結びつけることで、本研究は古典的な交差理論（適切な同値関係）と、ヴォヴォドスキーのモチーフの圏の構造的性質とを繋いでいる。

直交フィルターが特定のクラスの対応を「検出」できるという点に意義がある：

1. アルベネーゼ多様体上のゼロ写像を誘導する対応を特定する。
2. 二乗同値である、あるいは（$\mathbb{C}$ 上で）H. Saito のフィルターの第二ステップに属する対応は、このモチーフ的因子分解を満たすものであると特徴付ける。

著者は一般的な Bloch-Beilinson 予想を解決しようとしているのではなく、直交フィルターを、これら特定の同値関係を自然に捉えるための道具として位置付けており、アルベネーゼ写像の下での代数的サイクルの振る舞いに対するモチーフ的な視点を提供している。結果は、アルベネーゼ写像の確立された性質と Lieberman の正則準同型の理論に基づき、既存のモチーフの枠組み内での特性付けとして提示されている。