[논문 리뷰] Representation theory of Geigle-Lenzing complete intersections

Martin Herschend, Osamu Iyama외 2명|arXiv (Cornell University)|2014. 09. 02.

Algebraic structures and combinatorial models인용 수 6

한 줄 요약

이 논문은 가중치 있는 프로젝티브 선의 고차원 버전으로서 Geigle-Lenzing (GL) 완전교차곡선과 GL 프로젝티브 공간을 도입하며, 이들의 특이성 카테고리와 유한차원 대수—CM-canonical 대수 및 d-canonical 대수—의 유도 카테고리 사이의 유도 동치를 확립함으로써, 틸팅 이론과 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-canonical 대수의 유도 카테고리 사이의 유도 동치를 확립한다.
• GL 프로젝티브 공간을 통해 비가환 프로젝티브 스킴에 대해 틸팅 이론과 d-표현 이론을 일반화한다.
• 고차원 아우살러-레인-테리 이론을 활용하여 GL 완전교차곡선이 Cohen-Macaulay 유한이고 d-Cohen-Macaulay 유한이 되는 조건을 분류한다.
• GL 프로젝티브 공간에서 코herent sheaf의 특이성 카테고리와 유도 카테고리에 대해 오르로프 유형의 직교 분해를 구성한다.

제안 방법

• 일반적인 위치에 있는 선형 형식을 갖는 분할 Gorenstein 링 R = k[T₀,…,T_d, X₁,…,X_n]/(X_i^{p_i} - ℓ_i(T₀,…,T_d))로 GL 완전교차곡선을 정의한다.
• Tate의 DG 대수 해상법을 사용하여 특이성 카테고리 D^b_sing(R)를 분석하며, 이는 Cohen-Macaulay 모듈러의 안정 카테고리 CML_R와 삼각 동치이다.
• CML_R 내의 틸팅 대상의 내적 대수로 CM-canonical 대수 ACM을 구성함으로써, D^b_sing(R) ≅ D^b(mod ACM)의 유도 동치를 도출한다.
• GL 프로젝티브 공간을 비가환 프로젝티브 스킴 X = [Spec R \∕ R⁺] / G로 정의하며, 코herent sheaf는 mod_L R / mod_L^0 R로 주어진다.
• D^b(coh X)가 d-canonical 대수 Aca의 유도 카테고리 D^b(mod Aca)와 삼각 동치임을 증명하며, 이는 X 상의 틸팅 코herent sheaf에서 유래한다.
• 고차원 아우살러-레인-테리 이론을 적용하여 d-벡터 번들의 유한성과 d-표현 무한성의 특성화를 도출하고, D^b_sing(R) 및 D^b(coh X)에 대해 오르로프 유형의 직교 분해를 유도한다.

실험 결과

연구 질문

• RQ1 어떤 GL 완전교차곡선이 Cohen-Macaulay 유한이며, 고차원 아우살러-레인-테리 이론에서 d-Cohen-Macaulay 유한성을 위한 충분 조건은 무엇인가?
• RQ2 GL 완전교차곡선의 특이성 카테고리가 어떤 조건에서 유한차원 대수의 유도 카테고리와 유도 동치가 될 수 있는가?
• RQ3 GL 프로젝티브 공간에서 코herent sheaf의 유도 카테고리의 구조는 어떻게 되며, 언제 d-표현 무한 대수와 유도 동치가 되는가?
• RQ4 GL 프로젝티브 공간에서 코herent sheaf의 특이성 카테고리와 유도 카테고리에 대해 오르로프 유형의 직교 분해를 구성할 수 있는가?
• RQ5 d-틸팅 대상과 d-클러스터 틸팅 부분카테고리의 역할은 GL 완전교차곡선과 프로젝티브 공간의 표현 이론에서 어떻게 작용하는가?

주요 결과

• GL 완전교차곡선 R에서의 Cohen-Macaulay 모듈러의 안정 카테고리 CML_R는 CM-canonical 대수라 불리는 유한차원 대수 ACM의 mod(ACM)의 유도 카테고리 D^b(mod ACM)와 삼각 동치이다.
• d-canonical 대수 Aca는 D^b(coh X) ≅ D^b(mod Aca)를 만족하며, 이는 GL 프로젝티브 공간 X의 코herent sheaf 카테고리와 유한차원 대수의 유도 카테고리 사이의 유도 동치를 확립한다.
• p₁ = p₂ = 2인 GL 완전교차곡선의 경우, CM-canonical 대수의 전반적 차원은 최대 d이며, CML_R는 틸팅 대상 U_CM에 의해 생성되는 d-클러스터 틸팅 부분카테고리가 존재한다.
• d-클러스터 틸팅 부분카테고리 U 내의 틸팅 대상 V는 U = add{U_CM(ℓω) | ℓ ∈ ℤ} 및 V = U_CM ⊕ (⊕_{x∈S} R(x))로 구성되며, 여기서 S는 L/Zω의 완전한 대표자 집합이다.
• d-틸팅 번들의 경우, d-클러스터 틸팅 부분카테고리 내의 슬라이스를 통해 구성되며, 그 내적 대수는 d-canonical 대수 Aca이다.
• D^b_sing(R) 및 D^b(coh X)에 대해 오르로프 유형의 직교 분해가 관찰되었으며, 이는 고차원 GL 설정으로 일반화된 고전적 결과를 반영한다.