[논문 리뷰] The non-commutative scheme having a free algebra as a homogeneous coordinate ring

S. Paul Smith|arXiv (Cornell University)|2011. 04. 19.

Algebraic structures and combinatorial models참고 문헌 11인용 수 9

한 줄 요약

이 논문은 자유 대수를 그 동차 좌표환으로 가지는 비환류 체계(non-commutative scheme)의 유사층의 유도 범주가 행렬 대수의 직접 극한(direct limit) 위의 모듈러 범주와 동치임을 증명한다. 이 체계에서 코herent sheaf의 범주는 기초적인 기하적 특성인 분해 불가능성, 노에테리안 성질, 단순 대상이 존재하지 않으며, 모든 짧은 정확한 수열이 분리됨을 보이며, 이는 교환 법칙이 성립하지 않는 기하학적 구조가 공통의 프로젝티브 체계와 근본적으로 다름을 시사한다.

ABSTRACT

Let k be a field and TV the tensor algebra on a k-vector space V of dimension n>1. This paper proves that the quotient category QGr(TV) := Gr(TV)/Fdim of graded TV-modules modulo those that are unions of finite dimensional modules is equivalent to the category of modules over the direct limit of matrix algebras, M_n(k)^{\otimes r}. QGr(TV) is viewed as the category of "quasi-coherent sheaves" on the non-commutative scheme Proj(TV). The subcategory qgr(TV) consisting of the finitely presented objects is viewed as the category of coherent sheaves on Proj(TV). We show qgr(TV) has no indecomposable objects, no noetherian objects, and no simple objects. Moreover, every short exact sequence in qgr(TV) splits. The equivalence of categories result can be interpreted as saying that Proj(TV) is an "affine non-commutative scheme".

연구 동기 및 목표

• 자유 대수 R에 대해 Proj_nc(R)로 정의된 비환류 체계의 구조를 이해하는 것.
• 이 체계에서 코herent sheaf의 범주를 특성화하는 것—특히 단순 대상이나 노에테리안 대상이 존재하지 않는다는 점.
• 이 체계에서 유사층과 코herent층의 범주가 직접 극한의 행렬 대수 위의 모듈러 범주와 동치임을 증명하는 것.
• 비환류 프로젝티브 공간이 그 교환 법칙이 성립하는 동반체계와 근본적으로 다름을 보여주는 것—특히 정확한 수열과 대상의 분해 측면에서.

제안 방법

• Fdim(R)를 유한 차원 모듈러의 직접 극한의 전부인 부분범주로 하여 QGr(R) = Gr(R)/Fdim(R)를 정의한다.
• 꼬임 함수자(twist functor)와 구조층 O = π*(R)를 사용하여 Proj_nc(R) 위의 유사층 범주의 분석을 수행한다.
• O가 QGr(R)에서 유한 생성, 프로젝티브, 생성자임을 증명함으로써 모리타 유형 동치를 가능하게 한다.
• 직접 극한 대수 S = lim→ M_{n+1}(k)⊗r를 구성하고, QGr(R)가 오른쪽 S-모듈러의 범주와 동치임을 보인다.
• R-모듈러의 정확한 수열에 스네이크 보조정리(Snake Lemma)를 적용하여 확장 분석을 수행하고 코herent 범주의 성질을 유도한다.
• 비환류 기하학에서 닫힌 부분공간 이론인 로젠버그 이론을 적용하여, X^n의 유일한 닫힌 부분공간은 공집합과 X^n 자체임을 보인다.

실험 결과

연구 질문

• RQ1 비환류 체계 Proj_nc(k⟨x₀,…,xₙ⟩) 위의 유사층 범주의 구조는 무엇인가?
• RQ2 이 체계에서 코herent sheaf의 범주는 분해 불가능하거나 노에테리안 또는 단순 대상을 포함하는가?
• RQ3 이 비환류 체계의 코herent sheaf 범주는 공통의 프로젝티브 공간과 어떻게 비교되는가?
• RQ4 자유 대수를 좌표환으로 가지는 비환류 체계는 레비트 대수(Leavitt algebra) 또는 쌍츠 대수(Cuntz algebra)와 어떤 관계가 있는가?
• RQ5 코herent 범주 내의 모든 짧은 정확한 수열이 분리되는가? 이는 기하학적 구조에 어떤 함의를 갖는가?

주요 결과

• QGr(R)는 직접 극한 대수 S = lim→ M_{n+1}(k)⊗r 위의 오른쪽 모듈러의 범주와 동치이며, 이 동치 아래에서 O는 S로 매핑된다.
• qgr(R)는 유한 생성된 오른쪽 S-모듈러의 범주와 동치이며, S는 스스로의 반대환과 동형이다.
• dim V ≥ 2일 때, qgr(R)는 분해 불가능 대상, 노에테리안 대상, 단순 대상이 존재하지 않는다.
• qgr(R) 내 모든 짧은 정확한 수열은 분리되며, 이는 범주가 강한 의미에서 반단순(semisimple)임을 나타낸다.
• qgr(R)의 그로텐디크 군은 덧셈군으로서 ℤ[1/(n+1)]과 동형이다.
• 자유 대수에 많은 양면 이상이 존재함에도 불구하고, X^n의 유일한 닫힌 부분공간은 공집합과 X^n 자체뿐이다.