[논문 리뷰] Equivalences for noncommutative projective spaces

Jorge Vitória|arXiv (Cornell University)|2010. 01. 25.

Algebraic structures and combinatorial models참고 문헌 15인용 수 7

한 줄 요약

이 논문은 비가환 다항식 대수에 관련된 비가환 프로젝티브 공간을 그레디드 모리타 동치와 비유적 동치에 대해 분류하며, 점 다양체와 고렌스타인 매개수와 같은 불변량을 사용한다. 점 다양체는 동형사상에서는 유지되나 비유적 동치에서는 유지되지 않음을 밝히며, 동형사상이 되지 않는 비가환 프로젝티브 공간이 동일한 점 다양체를 가질 수 있는 명시적 예를 제시하고, 동형사상이 되는 비가환 프로젝티브 공간은 동치인 그레디드 모듈러 카테고리를 가진다고 추측한다.

ABSTRACT

Following Artin and Zhang's formulation of noncommutative projective geometry, we classify up a family of skew polynomial quadratic algebras up to graded Morita equivalence and their corresponding noncommutative projective spaces up to birational equivalences. We also study their point varieties and provide examples of non-isomorphic noncommutative projective spaces.

연구 동기 및 목표

• 비가환 다항식 대수에 관련된 비가환 프로젝티브 공간을 그레디드 모리타 동치에 대해 분류하는 것.
• 그들의 분수체의 분수체에서의 0차 부분환의 동형사상을 통해 이러한 공간들 사이의 비유적 동치를 연구하는 것.
• 비가환 프로젝티브 공간의 점 다양체를 동형사상에 대한 불변량으로서 계산하고 분석하는 것.
• 비가환 프로젝티브 공간이 동형사상이면 그에 대응하는 그레디드 모듈러 카테고리가 동치가 되는지 확인하고, 점 다양체가 비동형 공간을 구별하는 데 어떤 역할을 하는지 조사하는 것.

제안 방법

• 아르틴과 셰이의 비가환 프로젝티브 기하학 프레임워크를 사용하여, 비가환 프로젝티브 공간을 $Tails(S^n_\omega)$로 정의한다. 이는 타르션을 모듈로 한 그레디드 모듈러의 카테고리이다.
• Gr(S^n_ω)와 Gr(S^n_{ω'}) 사이의 그레디드 모리타 동치 개념을 적용하여, 대수들을 동치에 대해 분류한다.
• 점 다양체를 구축하기 위해 역계열(projective schemes) $\Omega_i$를 사용하며, 점 다양체 $\Omega_R$는 이들의 역극한(inverse limit)으로 정의된다.
• 유도된 카테고리에서 고렌스타인 매개수와 강한 예외적 컬렉션을 활용하여, $Tails(S^n_\omega)$를 관계를 가진 경로 대수와 연결한다.
• 비유적 동치를 탐지하기 위해 $GL_n(\mathbb{Z})$-작용을 지수에 적용하는 $q$-순환수 구조 $q_{(1ij)}(\omega)$를 적용한다.
• 종단 대수 $B^n_\omega$의 베일린슨 퀼리와 경로 대수 표현을 사용하여 유도 동치를 계산한다.

실험 결과

연구 질문

• RQ1 두 비가환 프로젝티브 공간 $\mathbb{P}^{n-1}_\omega$와 $\mathbb{P}^{n-1}_{\omega'}$이 언제 동형이 되는가?
• RQ2 그레디드 모듈러 카테고리 $Gr(S^n_\omega)$와 $Gr(S^n_{\omega'})$가 언제 동치가 되는가?
• RQ3 비가환 프로젝티브 공간 사이의 비유적 동치는 그들의 점 다양체를 유지하는가?
• RQ4 비동형 비가환 프로젝티브 공간이 동일한 점 다양체를 가질 수 있는가?
• RQ5 비가환 프로젝티브 공간의 동형사상은 그에 대응하는 그레디드 모듈러 카테고리의 동치와 동치인가?

주요 결과

• n=3인 경우, 동형사상이 되는 비가환 프로젝티브 공간 $\mathbb{P}^2_\omega$와 $\mathbb{P}^2_{\omega'}$는 동치인 그레디드 모듈러 카테고리 $Gr(S^3_\omega) \cong Gr(S^3_{\omega'})$를 가지며, 그들의 점 다양체도 동형이다.
• n=4인 경우, 비유적 동치인 비가환 프로젝티브 공간 $\mathbb{P}^3_\omega$와 $\mathbb{P}^3_{\omega'}$는 비동형의 점 다양체를 가진다: 하나는 두 개의 초평면과 한 개의 직선을 가지며, 다른 하나는 여섯 개의 직선을 가진다.
• 비가환 프로젝티브 공간의 동형사상에서는 점 다양체가 유지되며, 모리의 정리에 의해 Ext-모듈과 고렌스타인 매개수에 의해 보장된다.
• 비유적 동치는 점 다양체의 동형을 보장하지 않으며, 3차원에서의 명시적 반례로 이를 입증할 수 있다.
• 조금이라도 점 다양체가 동형이어도, 비유적 동치는 그레디드 모리타 동치를 보장하지 않는다. 동일한 점 다양체를 가졌지만 $Gr(S^4_\omega)$가 동치가 아닌 두 대수의 쌍을 통해 이를 입증하였다.
• 논문은 $\mathbb{P}^{n-1}_\omega \cong \mathbb{P}^{n-1}_{\omega'}$이면 $Gr(S_\omega) \cong Gr(S_{\omega'})$임을 추측하며, n=3의 결과를 고차원으로 확장한다.