[논문 리뷰] Quasicoherent sheaves on complex noncommutative two-tori

Alexander Polishchuk|ArXiv.org|2005. 06. 28.

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

한 줄 요약

이 논문은 복소수 비환류 두차원 토러스 위의 준일관층을 헬모르픽 벡터 번들의 인도 객체로 정의하고, 이러한 준일관층의 유도 범주와 해당 타원곡선 위의 준일관층의 유도 범주 사이의 동치를 확립한다. 또한 계수가 0인 토르션 준일관층을 몫으로 취한 몫 범주 Qcoh(η_T)는 유한 생성 모듈러의 범주와 동치이며, 그 프로젝티브 객체는 실수 계수에 의해 유일하게 분류됨을 보여준다.

ABSTRACT

We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the derived category of quasicoherent sheaves on $T$ is equivalent to the derived category of usual quasicoherent sheaves on the corresponding elliptic curve. We define the rank of a quasicoherent sheaf that can take arbitrary nonnegative real values. We study the category $\Qcoh(η_T)$ obtained by taking the quotient of the category of quasicoherent sheaves by the subcategory of objects of rank zero (called torsion sheaves). We show that projective objects of finite rank in $\Qcoh(η_T)$ are classified up to an isomorphism by their rank. We also prove that the subcategory of objects of finite rank in $\Qcoh(η_T)$ is equivalent to the category of finitely presented modules over a semihereditary algebra.

연구 동기 및 목표

• 복소수 비환류 두차원 토러스 T 위의 준일관층을 T 위의 헬모르픽 벡터 번들의 인도 객체로 정의하고 연구한다.
• 비환류 토러스 위의 준일관층의 유도 범주와 관련된 타원곡선 E = C/(Z + Zτ) 위의 일반 준일관층의 유도 범주 사이의 유도 동치를 확립한다.
• 준일관층의 계수 함수를 비음수 실수 및 +∞ 값으로 취하는 함수로 정의하고, 이를 유도 불변량으로 확장한다.
• 계수 0인 토르션 준일관층을 인한 몫 범주 Qcoh(η_T)를 분석하고, 그 유한계수 프로젝티브 객체를 분류한다.
• Qcoh(η_T) 내의 유한계수 객체의 전체 부분범주가 반세미헤르디티 대수 위의 유한 생성 모듈러의 범주와 동치임을 보인다.

제안 방법

• 복소수 비환류 두차원 토러스 T 위의 준일관층을 T 위의 헬모르픽 벡터 번들의 인도 객체로 정의한다.
• 준일관층 범주 Qcoh(T)를 복소 구조에 대응하는 도함수 δ_τ의 올림을 갖춘 헬모르픽 모듈러의 전부 서브범주로 실현한다.
• D^b(Qcoh(T))가 타원곡선 E = C/(Z + Zτ)에 대해 D^b(Qcoh(E))와 동치임을 증명하며, 이는 이전의 벡터 번들에 대한 결과를 확장한다.
• 헬모르픽 벡터 번들의 실수 계수를 일반화하여, 비음수 실수 및 +∞ 값을 갖는 준일관층에 대한 계수 함수를 도입한다.
• 계수 0인 것을 토르션 준일관층으로 정의하고, 몫 범주 Qcoh(η_T) = Qcoh(T)/Tors를 구성한다.
• 유한 계수의 준벡터 번들 P에 대해 X ↦ Hom(P, X) 함수를 이용하여 Qcoh^f(η_T)와 R_P = End_{Qcoh(η_T)}(P) 위의 유한 생성 모듈러의 범주 사이의 동치를 구성한다.

실험 결과

연구 질문

• RQ1 벡터 번들의 범주에서 일관된 토르션 준일관층이 존재하지 않는다는 점을 감안할 때, 복소수 비환류 두차원 토러스 위에서 준일관층을 어떻게 의미 있게 정의할 수 있는가?
• RQ2 비환류 두차원 토러스 위의 준일관층의 유도 범주 구조는 어떻게 되며, 관련된 타원곡선 위의 준일관층의 유도 범주와 어떤 관계가 있는가?
• RQ3 비환류 토러스 위의 헬모르픽 벡터 번들의 계수는 준일관층의 범주에 대해 잘 정의되고, 덧셈 함수로 확장될 수 있는가?
• RQ4 계수 0인 토르션 준일관층을 인한 몫 범주 Qcoh(η_T)의 구조는 어떠한가? 그리고 그 프로젝티브 객체는 어떻게 분류되는가?
• RQ5 η_T 위의 유한계수 준일관층의 범주는 반세미헤르디티 링 위의 유한 생성 모듈러의 범주와 동치인가?

주요 결과

• 복소수 비환류 두차원 토러스 T 위의 준일관층의 유도 범주는 해당 타원곡선 E의 준일관층의 유도 범주와 동치이다.
• T 위의 준일관층의 계수는 R≥0 ∪ {+∞}의 모든 값을 취하는 덧셈 함수로 확장되며, 헬모르픽 벡터 번들의 실수 계수를 일반화한다.
• 계수 0인 토르션 준일관층이 존재하며, 이는 비자명한 세르 서브범주를 이룬다; 몫 범주 Qcoh(η_T)는 교환 기하학에서 일반점 위의 준일관층의 범주와 유사하다.
• Qcoh(η_T) 내의 유한계수 프로젝티브 객체는 실수 계수에 의해 유일하게 분류되며, 이는 비음수 실수이면 어떤 값이든 될 수 있다.
• Qcoh^f(η_T)는 임의의 유한 계수 준벡터 번들 P에 대해 반세미헤르디티 대수 R_P 위의 유한 생성 모듈러의 범주와 동치이다.
• Qcoh^f(η_T) 내의 모든 객체는 프로젝티브 차원 ≤1을 가지며, 모든 유한 생성 R_P-모듈러는 어떤 X ∈ Qcoh^f(η_T)에 대해 Hom(P, X)의 형태로 나타난다.