[論文レビュー] Moduli of Representations, Quiver Grassmannians, and Hilbert Schemes

Lutz Hille|arXiv (Cornell University)|May 22, 2015

Algebraic structures and combinatorial models参考文献 15被引用数 12

ひとこと要約

本稿では、ベイリンソンの同値とヒルベルト汎在性を用いて、任意の射影的スキームが、有限次元代数上の表現のモジュライ空間としても、クーヴィーグラスマンニアンとしても実現可能であることを示している。主な結果は、このようなスキームとクーヴィーグラスマンニアンとの間の構成的かつ明示的な同型写像であり、クーヴィーのクロンケラー代数上での最小のクーヴィーと、定義方程式から導かれる関係式を持つ。

ABSTRACT

It is a well established fact, that any projective algebraic variety is a moduli space of representations over some finite dimensional algebra. This algebra can be chosen in several ways. The counterpart in algebraic geometry is tautological: every variety is its own Hilber scheme of sheaves of length one. This holds even scheme theoretic. We use Beilinson's equivalence to get similar results for finite dimensional algebras, including moduli spaces and quiver grassmannians. Moreover, we show that several already known results can be traced back to the Hilbert scheme construction and Beilinson's equivalence.

研究の動機と目的

• 任意の射影的スキームが、有限次元代数上の特定のモジュールの部分モジュールのクーヴィーグラスマンニアンに同型であることを示すこと。
• 任意の射影的スキームを、定義方程式から導かれる関係を持つベイリンソン型代数上での、次元ベクトル (1,…,1) の非分解表現のモジュライ空間として実現すること。
• クーヴィーのサイズを最小化し、ℙⁿ の任意の射影的部分スキームを記述するのに (n+1)-クロンケラークーヴィーが十分であることを示すこと。
• ヒルベルト汎在性の構成とベイリンソンの同値をたどることで、既知のクーヴィーグラスマンニアンおよびモジュライ空間の結果を統一的かつ一般化すること。
• この構成を任意の可換環、特に ℤ 上でも有効に保ち、整域性と函子性を維持すること。

提案手法

• ℙⁿ 上のティルティングバンドルを用いて、ベイリンソンの同値を用いて有限次元代数 A = kQ/J を構成し、高次のねじれを含むように拡張する。
• 経路代数 kQ 内のイデアル J を、同次関係 fi によって生成するものとし、A = kQ/J が X の定義方程式を満たすモジュールをパラメトライズすることを保証する。
• 次元ベクトル (1,…,1) のモジュール M を A 上に構成し、その非分解表現のモジュライ空間が X に同型であることを示す。
• M の次元ベクトル (1,…,1) の部分モジュールのクーヴィーグラスマンニアンが X に同型であることを示し、このような部分モジュールが X の点に対応することを用いる。
• 適切なバンドル T = ℌ(𝒪 ⊕ 𝒪(e) ⊕ 𝒪(d)) を選ぶことでクーヴィーを (n+1)-クロンケラークーヴィーに簡約し、クロンケラー代数上の2次元モジュールを得る。
• クロンケラー代数上での (1,1)-次元部分モジュールのグラスマンニアンが X に同型であることを示し、各部分モジュールが3頂点クーヴィー設定における (1,1,1)-部分モジュールに一意に持ち上がることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の射影的スキームは、有限次元代数上の部分モジュールのクーヴィーグラスマンニアンとして実現可能か？
• RQ2 最小のクーヴィー、特に (n+1)-クロンケラークーヴィーを用いて、このような実現を構成可能か？
• RQ3 ベイリンソンの同値とヒルベルト汎在性をどのように組み合わせることで、一様的かつ構成的な枠組みを構築できるか？
• RQ4 この構成を任意の可換環、特に ℤ 上でも有効に保ち、整域性と函手性を維持できるか？
• RQ5 与えられた射影的スキームをクーヴィーグラスマンニアンとして実現するための最小クーヴィーのサイズは何か？2頂点よりの簡略化は可能か？

主な発見

• 同次多項式 fi で定義される任意の射影的スキーム X ⊂ ℙⁿ は、(n+1)-クロンケラー代数上の次元ベクトル (1,1) の部分モジュールのクーヴィーグラスマンニアンに同型であり、モジュール M = (S^{d-1}V/I_{d-1}, S^dV/I_d) である。
• 拡大されたベイリンソン代数 kQ/J 上での次元ベクトル (1,…,1) のすべての非分解表現のモジュライ空間は、スキームとして X に同型である。
• 構成は明示的かつ函手的である：クーヴィー Q はベイリンソンクーヴィーであり、J は fi によって生成され、M は単純モジュールの唯一の真のインジェクティブ被覆である。
• 3頂点クーヴィー設定における (1,1,1)-部分モジュールのグラスマンニアンと、クロンケラークーヴィーにおける (1,1)-部分モジュールのグラスマンニアンとの同型写像は、上部成分が1次元であるため、全単射である。
• この構成は任意のベース体、さらには ℤ 上でも有効であり、すべての対象が対称冪 S^mV とイデアル I_m を用いて整域的に定義可能である。
• 結果は既存の構成を一般化・統一する：クーヴィーグラスマンニアンおよびモジュライ空間の既知の結果は、すべてヒルベルト汎在性とベイリンソンの同値の特別な場合として回復可能である。