[논문 리뷰] Koszul Algebras and Sheaves over Projective Space

Roberto Martínez-Villa|ArXiv.org|2004. 05. 28.

Algebraic structures and combinatorial models참고 문헌 13인용 수 3

한 줄 요약

이 논문은 다항식 대수와 외대수 위의 군집된 코즐 모듈에 대한 코즐 dualities를 통해 프로젝티브 공간 위의 코herent sheaf에 대한 상대적인 아울러스터-레텐 이론을 수립한다. 이는 $\operatorname{Coh}(\mathbb{P}^n)$ 내에서 유한 개를 제외한 모든 아울러스터-레텐 성분이 $\mathbb{Z}\Delta$ 형태를 띤다는 것을 보이며, 코즐 모듈의 sheafification을 통해 국소적으로 자유로운 복합선형기하학의 특성화를 제공하고, 임의의 높은 계수를 가진 분해불가능 벡터 번들의 존재를 증명한다.

ABSTRACT

We are going to show that the sheafication of graded Koszul modules $% K_Γ$ over $Γ_{n}=K[ x_{0},x_{1}...x_{n}] $ form an important subcategory $\overset{\wedge}{K}_Γ$ of the coherents sheaves on projective space, $Coh(P^{n}).$ One reason is that any coherent sheave over $P^{n}$ belongs to $\overset{\wedge}{K}_Γ$up to shift. More importantly, the category $K_Γ$ allows a concept of almost split sequence obtained by exploiting Koszul duality between graded Koszul modules over $Γ$ and over the exterior algebra $Λ.$ This is then used to develop a kind of relative Auslander-Reiten theory for the category $\mathit{Coh(P}^{n})$, with respect to this theory, all but finitely many Auslander-Reiten components for $\mathit{Coh(P}^{n})$ have the shape extit{ZA}$_{\infty}.$ We also describe the remaining ones.

연구 동기 및 목표

• 다항식 대수 $\Gamma_n = K[x_0, \dots, x_n]$ 위의 군집된 코즐 모듈을 이용한 코즐 duality를 통해 $\operatorname{Coh}(\mathbb{P}^n)$의 상대적인 아울러스터-레텐 이론을 개발하는 것.
• 다항식 대수 $\Gamma_n$ 위의 군집된 코즐 모듈의 sheafification을 통해 $\mathbb{P}^n$ 위의 코herent sheaf를 특성화하는 것.
• $\operatorname{Coh}(\mathbb{P}^n)$ 내 아울러스터-레텐 성분의 구조를 규명하여, 모든 성분 중 유한 개를 제외한 나머지는 $\mathbb{Z}\Delta$ 형태를 띤다는 것을 보이는 것.
• 특정 코즐 모듈의 sheafification으로서 국소적으로 자유로운 복합선형기하학(벡터 번들)을 새롭게 특성화하는 것.

제안 방법

• 다항식 대수 $\Gamma_n$과 외대수 $\Lambda_n$ 사이의 코즐 duality를 활용하여, BGG 대응을 통해 유도 동치를 수립한다.
• $\Gamma_n$-모듈의 군집된 코즐 모듈의 sheafification으로 구성된 $\operatorname{Coh}(\mathbb{P}^n)$의 전부분위부분범주인 $\widehat{K}_\Gamma$를 정의한다.
• $\Lambda$가 $\Gamma_n$의 Yoneda 대수일 때, $K_\Lambda$와 $K_{\Gamma^{op}}$ 사이의 대칭성을 이용하여 $\widehat{K}_\Gamma$ 내에서 상대적인 거의 분할 시퀀스를 정의한다.
• $\Gamma_n$의 몫범주 $QGr\Gamma$와 함자 $\sim$를 사용하여 군집된 모듈과 $\mathbb{P}^n$ 위의 코herent sheaf를 연결하며, 동차 원소 $f$에 대해 $\widetilde{M} = (\Gamma[f^{-1}] \otimes M)_0$로 정의한다.
• 세르의 정리를 적용하여, $X = \mathbb{P}^n$이 동차 아이디얼 $I$에 의해 정의될 때, $\Gamma_* : \operatorname{Coh}(X) \to QGr\Gamma$의 동치를 확립하고, 그 역함수로 $\sim$를 사용한다.
• 코즐 모듈과 그 sheafification 위에서의 이동함수 $\sigma$의 작용을 분석하여 아울러스터-레텐 성분의 구조를 규명하며, 성분이 $\mathbb{Z}\Delta$ 또는 특정한 무한한 진자형 구조를 띤다는 것을 보인다.

실험 결과

연구 질문

• RQ1 아울러스터-레텐 성분의 구조는 $\operatorname{Coh}(\mathbb{P}^n)$ 내에서 어떻게 되어 있으며, 코즐 duality와 어떤 관련이 있는가?
• RQ2 다항식 대수 $\Gamma_n$ 위의 어떤 군집된 모듈이 $\mathbb{P}^n$ 위의 국소적으로 자유로운 복합선형기하학에 대응하는가?
• RQ3 코즐 duality를 이용하여 $\operatorname{Coh}(\mathbb{P}^n)$ 내에서 상대적인 거의 분할 시퀀스를 정의할 수 있으며, 이는 범주의 구조에 대해 무엇을 드러내는가?
• RQ4 임의의 높은 계수를 가진 분해불가능 벡터 번들이 $\mathbb{P}^n$에 존재하는가? 그리고 어떻게 구성할 수 있는가?

주요 결과

• 모든 아울러스터-레텐 성분 중 유한 개를 제외한 나머지는 $\mathbb{Z}\Delta$ 형태를 띠며, 여기서 $\Delta$는 $\Gamma_n/J^2$의 분리된 쿼버이며, $J$는 재결정 루트이다.
• 코즐 모듈의 sheafification은 $\operatorname{Coh}(\mathbb{P}^n)$ 내의 전부분위부분범주 $\widehat{K}_\Gamma \subset \operatorname{Coh}(\mathbb{P}^n)$를 형성하며, $\mathbb{P}^n$ 위의 임의의 코herent sheaf는 적어도 한 번의 이동을 통해 $\widehat{K}_\Gamma$의 객체와 동형이다.
• 모든 분해불가능 코즐 $\Lambda$-모듈 $M$에 대해 $\pi F(M)$의 상대 아울러스터-레텐 성분은 $\mathbb{Z}\Delta$의 음이 아닌 부분에 포함되거나 특정한 무한한 진자형 구조를 띤다.
• $\pi F(M)$가 국소적으로 자유로울 경우, 그 아울러스터-레텐 성분 내 모든 층이 국소적으로 자유로운데, 이러한 성분은 정확히 $M$이 $\mathbb{Z}\Delta$의 음이 아닌 부분에 있을 때만 발생한다.
• $\pi F(\sigma^j M_i)$의 계수는 $j$와 $i$에 대해 엄격하게 증가하므로, $n > 1$일 경우 $\mathbb{P}^n$ 위에 임의의 높은 계수를 가진 분해불가능 벡터 번들이 존재함을 시사한다.
• 이러한 번들의 구성은 $0 \to X \to Y \to Z \to 0$ 형태의 정확한 시퀀스를 기반으로 하며, $\sigma$-작용에 의한 모듈의 계수 증가가 재귀적으로 발생한다.