[論文レビュー] Motivic HyperK\"ahler Resolution Conjecture : I. Generalized Kummer varieties
本稿は、一般化されたクーマー多様体およびアーベル面のヒルベルトスキームについて、モチーフ的ハイパーカイラー解体予想を証明し、ハイパーカイラー解体のチャウモチーフと対応する商スタックのオルビフォルドモチーフの間の同型を確立する。主な結果は、これらの多様体に対する乗法的チャウ・クネンケン分解の存在であり、ボアヴィルの予想を裏付け、ヴォジンの乗法的分解定理を基底のザリスキ開部分集合上での相対的族へ拡張する。
Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-G\"ottsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an algebra object in the category of Chow motives. Inspired by Ruan, one can formulate a motivic version of his Cohomological HyperK\"ahler Resolution Conjecture. We prove this motivic version, as well as its K-theoretic analogue conjectured by Jarvis-Kaufmann-Kimura, in two situations related to an abelian surface $A$ and a positive integer $n$. Case (A) concerns Hilbert schemes of points of $A$ : the Chow motive of $A^{[n]}$ is isomorphic as algebra objects, up to a suitable sign change, to the orbifold motive of the quotient stack $[A^{n}/\mathfrak{S}_{n}]$. Case (B) for generalized Kummer varieties : the Chow motive of the generalized Kummer variety $K_n(A)$ is isomorphic as algebra objects, up to a suitable sign change, to the orbifold motive of the quotient stack $[A_{0}^{n+1}/\mathfrak {S}_{n+1}]$, where $A_{0}^{n+1}$ is the kernel abelian variety of the summation map $A^{n+1} o A$. As a byproduct, we prove the original Cohomological HyperK\"ahler Resolution Conjecture for generalized Kummer varieties. As an application, we provide multiplicative Chow-K\"unneth decompositions for Hilbert schemes of abelian surfaces and for generalized Kummer varieties. In particular, we have a multiplicative direct sum decomposition of their Chow rings with rational coefficients, which is expected to be the splitting of the conjectural Bloch-Beilinson-Murre filtration. The existence of such a splitting for holomorphic symplectic varieties is conjectured by Beauville.
研究の動機と目的
- ホロモルフィックシンプレクティック多様体としてのグローバル商オルビフォルドのシンプレクティック解体として得られる多様体について、ルアンのコhomologicalハイパーカイラー解体予想のモチーフ的版を定式化し、証明すること。
- 一般化されたクーマー多様体 $K_n(A)$ のチャウモチーフと $[A^{n+1}_0 / S_{n+1}]$ のオルビフォルドモチーフとの間のチャウモチーフ同型を、符号のねじれを除いて確立すること。
- アーベル面のヒルベルトスキームおよび一般化されたクーマー多様体に対して乗法的チャウ・クネンケン分解の存在を証明し、ボアヴィルのスプリット予想を支持すること。
- 有理コホモロジーに対するヴォジンの乗法的分解定理を、基底の非空なザリスキ開部分集合上での一般化クーマー多様体の相対的族へ拡張すること。
提案手法
- 固定点のねじれチャウモチーフの直和の $G$-不変部分代数として、グローバル商スタック $[M/G]$ のオルビフォルドモチーフを定義し、年齢項と正規バンドルのチャーン類によるオルビフォルド積を用いる。
- 固定点 $M_g$ のチャウ群 $\bigoplus_{g \in G} CH^{*-\text{age}(g)}(M_g)$ 上で、押し出し、制限、障害バンドルの最高チエーン類を用いて、オルビフォルド積 $\star_{\text{orb}}$ を構成する。
- 基底変換とチャウ理論におけるファンクター理論を用いて、2つの場合（A）アーベル多様体のヒルベルトスキーム $A^{[n]}$ および（B）一般化されたクーマー多様体 $K_n(A)$ について、モチーフ的ハイパーカイラー解体予想を証明する。
- ヴォジンの対称的区別可能サイクルに関する結果を適用し、関連する対応の下で $K_n(A)$ のチャーン類が保存されることを示し、チャウ・クネンケンプロジェクターと整合することを保証する。
- 乗法的チャウ・クネンケン分解のスパイラル展開を用いて、基底のザリスキ開部分集合上での相対的族への乗法的分解定理の拡張を行う。
- 相対的族の一般ファイバーが乗法的チャウ・クネンケン分解を備えるという事実を活用し、層の導来圏における乗法的分解を構成する。
実験結果
リサーチクエスチョン
- RQ1一般化されたクーマー多様体がグローバル商オルビフォルドのシンプレクティック解体として得られる場合、モチーフ的ハイパーカイラー解体予想は成り立つか？
- RQ2一般化されたクーマー多様体 $K_n(A)$ のチャウモチーフは、複素数係数のチャウモチーフの圏における代数的対象として、$[A^{n+1}_0 / S_{n+1}]$ のオルビフォルドモチーフと同型であるか？
- RQ3アーベル面のヒルベルトスキームおよび一般化されたクーマー多様体は、ボアヴィルのスプリット予想が予測するように、乗法的チャウ・クネンケン分解を備えるか？
- RQ4基底の非空なザリスキ開部分集合上での相対的一般化クーマー多様体の有理コホモロジーに、乗法的分解が存在するか？
- RQ5相対的族としての一般化クーマー多様体の有理コホモロジーの乗法的構造は、導来分解定理の下でも保存されるか？
主な発見
- 一般化されたクーマー多様体 $K_n(A)$ のチャウモチーフは、複素数係数のチャウモチーフの圏における可換代数的対象として、$[A^{n+1}_0 / S_{n+1}]$ のオルビフォルドモチーフと、符号のねじれを除いて同型である。
- ヒルベルトスキーム $A^{[n]}$ のチャウモチーフは、$[A^n / S_n]$ のオルビフォルドモチーフと同型であり、これによりケース（A）におけるモチーフ的ハイパーカイラー解体予想が確認される。
- 一般化されたクーマー多様体 $K_n(A)$ は乗法的チャウ・クネンケン分解を備え、有理数係数のチャウ環に対する乗法的直和分解を提供する。
- 元のコホモロジカルハイパーカイラー解体予想は、モチーフ的結果の副産物として、一般化されたクーマー多様体について証明される。
- 任意のアーベル多様体の滑らかな族 $\pi: A \to B$ に対して、非空なザリスキ開部分集合 $U \subset B$ が存在し、相対的一般化クーマー多様体 $\pi|_U: K_n(A)|_U \to U$ が導来圏において有理コホモロジーの乗法的分解を備える。
- $K_n(A)$ のチャーン類は、対称群作用の各固定点成分において、対称的に区別可能であることが保証され、チャウ・クネンケンプロジェクターと整合する。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。