[論文レビュー] Automorphisms of positive entropy on some hyperKahler manifolds via derived automorphisms of K3 surfaces

Genki Ouchi|arXiv (Cornell University)|Aug 19, 2016

Algebraic Geometry and Number Theory参考文献 31被引用数 4

ひとこと要約

本稿は、ピック数1のK3表面の導来自己同値を活用することで、ピック数2で正の位相的エントロピーをもつ自己同型を持つハイパーカラビ＝ヤウ多様体の明示的例を構成する。ブリッジランド安定性条件と導来カテゴリ－内の安定対象のモジュライ空間を用い、K3表面における正のカテゴリカルエントロピー自己同値が、得られるハイパーカラビ＝ヤウ多様体上に正エントロピーの自己同型を誘導することを示し、次元2を超える明示的かつ高次元の例を初めて得る。

ABSTRACT

We construct examples of hyperKahler manifolds of Picard number two with automorphisms of positive entropy via derived automorphisms of K3 surfaces of Picard number one. Our hyperKahler manifolds are constructed as moduli spaces of Bridgeland stable objects in derived categories of K3 surfaces. Then automorphisms of positive entropy are induced by derived automorphisms of positive entropy on K3 surfaces.

研究の動機と目的

• ピック数2で正の位相的エントロピーをもつ高次元ハイパーカラビ＝ヤウ多様体の明示的構成。
• 導来カテゴリ－的手法を用いて、K3表面からの自己同型の力学的性質をハイパーカラビ＝ヤウ多様体へ拡張すること。
• K3表面における正のカテゴリカルエントロピー自己同値と、安定対象のモジュライ空間における正エントロピー自己同型との間の関係を確立すること。
• モジュライ空間の幾何が、基礎となるK3表面の導来自己同値の力学を反映する明示的例を提供すること。

提案手法

• K3表面の導来カテゴリ－におけるブリッジランド安定対象のモジュライ空間を、K3^[n]-型ハイパーカラビ＝ヤウ多様体の構成に用いる。
• ベイラーとマクレーの結果を活用し、適切に安定性条件を選べば、そのようなモジュライ空間が射影的ハイパーカラビ＝ヤウ多様体であることを示す。
• 導来カテゴリ－の自己同値に対するカテゴリカルエントロピーの概念を用い、正エントロピーの力学を検出する。
• 安定性条件の空間におけるウォール・チェンバー構造を分析し、自己同値がモジュライ空間上でどのように作用するかを理解する。
• 数論的議論（例：モジュラー障害）を用いて、ネロン＝セバール格子内に特定のベクトルが存在しないことを証明し、不安定化対象の不在を保証する。
• ピック数1のK3表面と特定のムカイベクトルを選んで、明示的例を構成する。直交補空間に等長ベクトルが存在しないことを検証する。

実験結果

リサーチクエスチョン

• RQ1 導来カテゴリ－のK3表面を用いて、ピック数2のハイパーカラビ＝ヤウ多様体に正エントロピー自己同型を構成できるか。
• RQ2 ピック数1のK3表面における正のカテゴリカルエントロピー自己同値は、安定対象の関連モジュライ空間に正エントロピー自己同型を誘導するか。
• RQ3 ムカイベクトルとネロン＝セバール格子にどのような条件を課すと、モジュライ空間がピック数2をもち、このような自己同型を許容するか。
• RQ4 数論的障害（例：モジュラー非可解性）をどのように用いて、不安定化対象の不在を証明し、モジュライ空間の安定性を保証できるか。
• RQ5 導来カテゴリ－とそれに関連する直線のファノ多様体を用いて、立方体4次曲面へこの構成を拡張できるか。

主な発見

• 本稿は、ピック数2で正の位相的エントロピーをもつハイパーカラビ＝ヤウ多様体の明示的例を構成し、高次元例における空白を埋める。
• ピック数1のK3表面と特定のムカイベクトル（例：(6,h,42) で h²=510）に対して、ギーゼッカー安定層のモジュライ空間はピック数2であり、正エントロピー自己同型をもつ。
• 特定の二次ディオファントス方程式（例：7x² - 85xy + 255y² = -1）に整数解が存在しないことは、ネロン＝セバール格子内に不安定化ベクトルが存在しないことを示し、モジュライ空間が適切に定義されることを保証する。
• モジュライ空間上の自己同型は、K3表面における正のカテゴリカルエントロピーをもつ導来自己同値によって誘導される。
• 判別式74で、H^{2,2}(X,Z)のランクが2である立方体4次曲面に対して、直線のファノ多様体はピック数2のハイパーカラビ＝ヤウ多様体であり、正の位相的エントロピーをもつ自己同型をもつ。
• この構成により、このような多様体が存在し、かつ導来カテゴリ－内の安定対象のモジュライ空間を通じて幾何的に実現可能であることが確認された。