[論文レビュー] Representation theory of Geigle-Lenzing complete intersections

Martin Herschend, Osamu Iyama+2 more|arXiv (Cornell University)|Sep 2, 2014

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿は、重み付き射影直線の高次元版としてGeigle-Lenzing (GL) 完全交差とGL射影空間を導入し、それらの特異性カテゴリと有限次元代数—CM-正則代数およびd-正則代数—の導来カテゴリの間で導来同値を確立する。これにより、非可換幾何的対象へ向けたティルティング理論およびd-表現理論が拡張される。

ABSTRACT

Weighted projective lines, introduced by Geigle and Lenzing in 1987, are important objects in representation theory. They have tilting bundles, whose endomorphism algebras are the canonical algebras introduced by Ringel. The aim of this paper is to study their higher dimensional analogs. First, we introduce a certain class of commutative Gorenstein rings $R$ graded by abelian groups $L$ of rank $1$, which we call Geigle-Lenzing complete intersections. We study the stable category of Cohen-Macaulay representations $CM^LR$, which coincides with the singularity category $D_{sg}^L(R)$. We show that the stable category of $CM^LR$ is triangle equivalent to $D^b(mod A^{CM})$ for a finite dimensional algebra $A^{CM}$, which we call the CM-canonical algebra. As an application, we classify the $(R,L)$ that are Cohen-Macaulay finite. We also give sufficient conditions for $(R,L)$ to be $d$-Cohen-Macaulay finite in the sense of higher Auslander-Reiten theory. Secondly, we study a new class of non-commutative projective schemes in the sense of Artin-Zhang, i.e. the category $coh X=mod^LR/mod^L_0R$ of coherent sheaves on the Geigle-Lenzing projective space $X$. Geometrically this is the quotient stack $[(Spec R-{R_+})/Spec k[L]]$. We show that $D^b(coh X)$ is triangle equivalent to $D^b(mod A^{ca})$ for a finite dimensional algebra $A^{ca}$, which we call a $d$-canonical algebra. We study when $X$ is $d$-vector bundle finite, and when $X$ is derived equivalent to a $d$-representation infinite algebra in the sense of higher Auslander-Reiten theory. Our $d$-canonical algebras provide a rich source of $d$-Fano and $d$-anti-Fano algebras in non-commutative algebraic geometry. We also observe Orlov-type semiorthogonal decompositions of $D_{sg}^L(R)$ and $D^b(coh X)$.

研究の動機と目的

• Geigle-Lenzing完全交差と射影空間を導入することで、重み付き射影直線の表現理論を高次元へ拡張すること。
• GL完全交差の特異性カテゴリと、CM-正則代数と呼ばれる有限次元代数の導来カテゴリの間で導来同値を確立すること。
• GL射影空間を介して、非可換射影スキームへ向けたティルティング理論およびd-表現理論を一般化すること。
• 高次Auslander-Reiten理論を用いて、GL完全交差がコーエン・マカウレイ有限であるか、d-コーエン・マカウレイ有限であるかを分類すること。
• GL射影空間上の連接層の特異性カテゴリおよび導来カテゴリに対して、Orlov型の完全直交分解を構成すること。

提案手法

• 一般位置にある線形形式を用いた、R = k[T₀,…,T_d, X₁,…,X_n]/(X_i^{p_i} - ℓ_i(T₀,…,T_d)) としての、グレード付きGorenstein環としてのGL完全交差を定義する。
• TateのDG代数分解を用いて、特異性カテゴリ D^b_sing(R) を分析し、これはコーエン・マカウレイ加群の安定カテゴリ CML_R と三角同値であることを示す。
• CML_R 内のティルティング対象の自己準同型代数としてCM-正則代数ACMを構成し、D^b_sing(R) ≅ D^b(mod ACM) なる導来同値を得る。
• GL射影空間を非可換射影スキーム X = [Spec R \∕ R⁺] / G として定義し、連接層を mod_L R / mod_L^0 R として与える。
• D^b(coh X) がd-正則代数Acaの導来カテゴリ D^b(mod Aca) と三角同値であることを証明し、X 上のティルティング層から生じる。
• 高次Auslander-Reiten理論を適用して、d-ベクターバンドル有限性およびd-表現無限性を特徴付け、D^b_sing(R) および D^b(coh X) に対してOrlov型の完全直交分解を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのGL完全交差がコーエン・マカウレイ有限であり、高次Auslander-Reiten理論においてd-コーエン・マカウレイ有限性の十分条件は何か？
• RQ2 GL完全交差の特異性カテゴリがどのように有限次元代数の導来カテゴリと導来同値となるか？
• RQ3 GL射影空間上の連接層の導来カテゴリの構造は何か？ また、それがいつd-表現無限代数と導来同値となるか？
• RQ4 GL射影空間上の連接層の特異性カテゴリおよび導来カテゴリに対して、Orlov型の完全直交分解を構成できるか？
• RQ5 d-ティルティング対象およびd-クラスタティルティング部分カテゴリは、GL完全交差および射影空間の表現理論において果たす役割は何か？

主な発見

• GL完全交差R上のコーエン・マカウレイ加群の安定カテゴリCML_Rは、CM-正則代数と呼ばれる有限次元代数ACMのmod AC Mの導来カテゴリ D^b(mod ACM) と三角同値である。
• d-正則代数Acaは D^b(coh X) ≅ D^b(mod Aca) を満たし、GL射影空間X上の連接層のカテゴリと有限次元代数の導来カテゴリの間で導来同値を確立する。
• p₁ = p₂ = 2 を満たすGL完全交差に対して、CM-正則代数のグローバル次元はd以下であり、CML_Rはティルティング対象U_CMによって生成されるd-クラスタティルティング部分カテゴリを含む。
• d-クラスタティルティング部分カテゴリU内のティルティング対象Vは、U = add{U_CM(ℓω) | ℓ ∈ ℤ} および V = U_CM ⊕ (⊕_{x∈S} R(x)) として構成され、SはL/Zωの完全代表系である。
• X 上のd-ティルティングバンドルはd-クラスタティルティング部分カテゴリ内のスライスを用いて構成され、その自己準同型代数はd-正則代数Acaである。
• D^b_sing(R) および D^b(coh X) に対して、Orlov型の完全直交分解が観察され、古典的結果が高次元GL設定へ一般化される。