[논문 리뷰] Ample Group Action on AS-regular Algebras and Noncommutative Graded Isolated Singularities

Izuru Mori, Kenta Ueyama|arXiv (Cornell University)|2014. 04. 20.

Algebraic structures and combinatorial models참고 문헌 24인용 수 4

한 줄 요약

이 논문은 AS-정규 대수 위에서의 충분한 군 작용의 개념을 도입하고, 고정 부분대수 $ S^G $의 임의의 모듈의 유도 범주 $ \mathcal{D}^b(\operatorname{tails} S^G) $와 비틀린 군 대수 $ S*G $의 벨린스키 대수의 모듈의 유도 범주 $ \mathcal{D}^b(\operatorname{mod} \nabla S*G) $ 사이의 유도 동치를 확립한다. Noetherian인 AS-정규 대수 $ S $가 차원 $ \geq 2 $일 때, 군 $ G $가 충분하고 모든 원소의 호모로지 행렬식이 1이라면 $ \mathcal{D}^b(\operatorname{tails} S^G) \cong \mathcal{D}^b(\operatorname{mod} \nabla S*G) $임을 증명하며, 이는 비가환 매클레이 대응을 일반화한다.

ABSTRACT

In this paper, we introduce a notion of ampleness of a group action $G$ on a right noetherian graded algebra $A$, and show that it is strongly related to the notion of $A^G$ to be a graded isolated singularity introduced by the second author of this paper. Moreover, if $S$ is a noetherian AS-regular algebra and $G$ is a finite ample group acting on $S$, then we will show that ${\mathcal D}^b(\operatorname{tails} S^G)\cong {\cal D}^b(\operatorname{mod} abla S*G)$ where $ abla S$ is the Beilinson algebra of $S$. We will also explicitly calculate a quiver $Q_{S, G}$ such that ${\mathcal D}^b(\operatorname{tails} S^G)\cong {\mathcal D}^b(\operatorname{mod} kQ_{S, G})$ when $S$ is of dimension 2.

연구 동기 및 목표

• AS-정규 대수 위에서의 충분한 군 작용의 개념을 정의하고 연구하기.
• 충분한 작용에 대해 $ \mathcal{D}^b(\operatorname{tails} S^G) $와 $ \mathcal{D}^b(\operatorname{mod} \nabla S*G) $ 사이의 유도 동치를 확립하기.
• 군 작용의 충분성 조건을 통해 고정 부분대수 $ S^G $가 그레이드된 고립 특이점임을 특성화하기.
• 차원 2에서 $ \mathcal{D}^b(\operatorname{tails} S^G) \cong \mathcal{D}^b(\operatorname{mod} kQ_{S,G}) $를 만족하는 쿼버 $ Q_{S,G} $를 명시적으로 계산하기.

제안 방법

• 유한군 작용 $ G $에 대한 충분성 개념을 오른쪽 Noetherian 그레이드 대수 $ A $에 대해 도입하기.
• 모든 $ G $의 원소가 행렬식 1을 가진다는 호모로지 행렬식 조건을 사용하여 충분성과 $ S^G $가 그레이드된 고립 특이점임을 연결하기.
• $ S*G $가 $ kG $ 위에서 Noetherian인 AS-정규 대수임을 증명하여, 벨린스키 대수의 사용을 가능하게 하기.
• 대수 $ S $의 벨린스키 대수 $ \nabla S $를 구성하고, 충분성 조건 하에서 $ \mathcal{D}^b(\operatorname{tails} S^G) \cong \mathcal{D}^b(\operatorname{mod} \nabla S*G) $임을 보여주기.
• 차원 2에서 BGP-반사와 유도 동치 기법을 사용하여 쿼버 $ Q_{S,G} $를 명시적으로 계산하기.
• 비가환 대수기하학과 유도 범주의 결과를 적용하여 이전 사례들(베론제 대수와 다항식 불변량)을 통합하기.

실험 결과

연구 질문

• RQ1 AS-정규 대수 $ S $ 위에서의 유한군 작용 $ G $가 언제 충분한가 하고, 이는 $ S^G $가 그레이드된 고립 특이점임과 어떻게 관련되는가?
• RQ2 언제 $ \mathcal{D}^b(\operatorname{tails} S^G) $가 $ \mathcal{D}^b(\operatorname{mod} \nabla S*G) $와 동치가 되는가?
• RQ3 차원 2에서 $ \operatorname{tails} S^G $의 유도 범주는 쿼버 대수의 모듈의 유도 범주로 표현될 수 있는가?
• RQ4 충분성 조건은 비가환 대수기하학에서 고전적인 매클레이 대응을 어떻게 일반화하는가?

주요 결과

• Noetherian인 AS-정규 대수 $ S $가 차원 $ d \geq 2 $일 때, 군 $ G $가 충분한 것은 $ S^G $가 그레이드된 고립 특이점이면서 $ S*G \cong \operatorname{End}_{S^G}(S) $임과 동치이다.
• 만약 $ S $가 AS-정규이고 $ G $가 유한군이며 모든 원소의 호모로지 행렬식이 1이라면, $ S*G $는 $ kG $ 위에서 Noetherian인 AS-정규 대수이다.
• 군 $ G $가 충분할 경우, $ \mathcal{D}^b(\operatorname{tails} S^G) $는 $ \mathcal{D}^b(\operatorname{mod} \nabla S*G) $와 유도 동치이다.
• 차원 2에서 $ S \not\cong k\langle x,y\rangle/(xy \pm yx) $이면, 모든 호모로지 행렬식 1인 유한군 $ G $는 $ S $에 대해 충분하다.
• 이러한 $ S $와 $ G $에 대해, $ \mathcal{D}^b(\operatorname{tails} S^G) \cong \mathcal{D}^b(\operatorname{mod} kQ_{S,G}) $를 만족하는 쿼버 $ Q_{S,G} $가 명시적으로 구성된다.
• 이 유도 동치는 베론제 사례와 다항식 불변량 사례를 모두 일반화하며, 비가환 매클레이 대응 이전의 결과들을 통합한다.