[論文レビュー] Spectra and strains

Vasily Golyshev|ArXiv.org|Jan 2, 2008

Algebraic Geometry and Number Theory参考文献 5被引用数 3

ひとこと要約

本稿では、Fano多様体の不変量としてのファノスペクトルとストレインを導入し、ガロア表現を通じて量子コホノロジーと算術幾何学を結びつける。スペクトルは、量子乗法行列から得られるものであり、深いつながりを有する算術的・幾何的データを符号化しており、低分岐層と特別なローレンツ多項式が、特に最小的・セルラーなFano多様体におけるこれらのスペクトルの分類への道筋を提供する。

ABSTRACT

This is a blend of two informal reports on the activities of the seminar on Galois representations and mirror symmetry given at the Conference on classification problems and mirror duality at the Steklov Institute, in March 2006, and at the Seminar on Algebra, Geometry and Physics at MPI, in November 2007. We assess where we are on the issue of the spectra of Fano varieties, and state problems. We introduce higher dimensional irreducible analogues of dessins, the low ramified sheaves, and hypothesize that Fano spectra relate to their geometric conductors. We give a recipe to a physicist.

研究の動機と目的

• Fano多様体のスペクトルを、量子乗法行列とそのローレンツ多項式への特殊化を用いて定義・形式化すること。
• ハイパーサーフェス切断に関して閉じた変形類としての「ストレイン」の概念を導入し、乗法的シフトに関して不変であるストレインのスペクトルを定義すること。
• 未切断の部分を持たない、すなわち「先祖多様体」として知られる多様体が、そのストレインの最小代表者としての役割を果たすことを調査すること。
• Fanoスぺクトルと低分岐層（LRS）との関係を調査し、スペクトルの成分が幾何的モノドロミー情報から生じるのではと仮説を立てる。
• スペクトルが、特に最小的・セルラーな場合に、異なるFanoストレインを区別するための微細不変量として機能するかを検討すること。

提案手法

• Fano多様体のスペクトルを、ハイパーサーフェス類による量子乗法行列の行列式の零点として定義し、曲線の次数を通じてローレンツ多項式環に特殊化する。
• 反標準類を用いた特殊化により反標準スペクトルを導入し、無限遠点の成分を加えることで完全反標準スペクトルを定義する。
• Giventalの量子弱Lefschetz定理を用いて、ハイパーサーフェス切断においてスペクトルの安定性を示し、インデックス1の場合にはGivental定数のシフトを適用する。
• 有理関数体上に定義されたモノドロミーが最小限の「低分岐層」を用いて、dessins d'enfantsを高次元に一般化する。
• 最小Fano3次元多様体のスペクトルを、モジュラー曲線 $X_0(N)/W_N$ 上の楕円的点や尖点と関連づけ、Picard-Fuchs方程式とも関係付ける。
• 与えられた台を持つ多項式の空間をストライエーションすることで特別なローレンツ多項式の「ゾーン」を構成し、退化した臨界値を持つものに注目し、それらを低分岐層と結びつける。

実験結果

リサーチクエスチョン

• RQ1 Fano多様体のスペクトルが、特に最小的またはセルラーな場合に、その変形類（ストレイン）をどの程度決定するか。
• RQ2 非同型のセルラーなストレインが同一のスペクトルを持つことは可能か。あるいは、このようなクラスにおいてスペクトルは完全不変量であるか。
• RQ3 Fano多様体の完全反標準スペクトルのすべての既約成分が、ある低分岐層（LRS）スペクトルの成分であるか。
• RQ4 セルラーFano多様体におけるアフィンセル分解の組合せ論と、関連するLRSの算術的導子との間に構造的対応があるか。
• RQ5 スペクトル成分の定義体の判別式が小さいことを示すことは可能か。これにより、その算術的複雑性が最適である可能性が示唆される。

主な発見

• グリーマンニアン $G(2,5)$ のスペクトルは、$t^2 - 11t - 1$ の2つの根から構成され、これは射影空間内に完全交差として実現されないことを示している。
• 射影空間内の完全交差のストレインのスペクトルは、$\mathbb{Q}$ 上に定義された単一の点から構成され、そのストレインはセルラー的で、最小的かつTate的である。
• $\mathbb{P}^3$ に $\mathbb{P}^1$ をブLOWアップしたもののスペクトルは、2つの既約成分から構成され、それぞれガロア群が $S_3$ で、判別式が $-23$ および $-31$ であり、これらは重み1の尖点形式の最小の判別式である。
• すべてのグリーマンニアンのスペクトルは $\mathbb{Q}^{ab}$ 上に定義され、既約成分は $n \geq 5$ に対して $S_n$ をガロア群として持ち、非自明な算術的複雑性を示している。
• 最小Fano3次元多様体においては、スペクトルがモジュラー対象と関係している：$X_0(N)/W_N$ 上の楕円的点および尖点に対応し、ここで $N = (-K_F)^3 / (2d^2)$ である。
• 本稿は、カウンティング方程式がPicard-Fuchs型であることと、関連する局所系の低分岐性を根拠に、一般に最小Fano多様体のスペクトルはLRSスペクトルであると予想している。