[논문 리뷰] How to categorify the ring of integers localized at two

Mikhail Khovanov, Tian Yin|arXiv (Cornell University)|2017. 02. 24.

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

한 줄 요약

이 논문은 다이어그램적 DG 범주와 리브트 경로 대수를 이용하여 삼등분된 모나드 카루비-닫힘 범주를 구성함으로써, ℤ[1/2]의 분류화를 달성한다. 자기 dual shift isomorphism X ≅ X[-1] ⊕ 1을 실현함으로써, 컴act 유도 범주의 그로텐디크 링은 ℤ[1/2]와 동형이 되며, 이는 2에서 국소화된 정수에 대한 분류화 문제의 해법을 제공한다.

ABSTRACT

We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two.

연구 동기 및 목표

• 문제 2.3에서 제기된 [17]의 2에서 국소화된 정수인 ℤ[1/2]의 분류화 문제를 해결하기 위해.
• 그로텐디크 링이 ℤ[1/2]와 동형이 되는 아이디포텐트 완비 삼등분된 모나드 카르비-닫힘 범주를 구성하기 위해.
• 자기 dual shift isomorphism을 통해 다이어그램적 분류화 기법을 일반화하여 유리수 그로텐디크 링을 얻기 위해.

제안 방법

• 단위 대상 1과 대상 X로 생성되는 DG 모나드 범주 𝒞를 정의하며, 국소 관계에 모odulo된 평면 호로 변형을 묘사한다.
• X ≅ X[-1] ⊕ 1의 동형을 네 개의 생성 사상(z, z*, x_i, x_i*)이 특정 관계를 만족하도록 구현함으로써, 이동과 아이디포텐트 구조를 인코딩한다.
• 유도 범주 D(𝒞)를 구성하고, 컴팩트 객체의 전부의 부분범주 D^c(𝒞)를 추출하며, 이는 삼등분되고 카르비-닫힘이다.
• 엔도모르피즘의 DG 대수와 K-이론 계산을 통해 그로텐디크 링 K₀(D^c(𝒞))를 분석한다.
• 관계 2[X] = 1 이 그로텐디크 군에서 성립함을 보여 K₀(D^c(𝒞)) ≅ ℤ[1/2] 를 수립한다.
• 자기 dual 동형 X ≅ 1 ⊕ X^{n+1} 과 관련된 리브트 경로 대수를 이용하여 ℤ[1/n]으로의 일반화를 추측한다.

실험 결과

연구 질문

• RQ1 그로텐디크 링이 아이디포텐트 완비 삼등분된 모나드 카르비-닫힘 범주인 ℤ[1/2]가 될 수 있는가?
• RQ2 자기 dual shift 동형 X ≅ X[-1] ⊕ 1 이 DG 범주에서 다이어그램적으로 어떻게 실현될 수 있으며, 이는 그로텐디크 링에서 1/2를 실현하는가?
• RQ3 리브트 경로 대수와 그 K-이론은 이러한 분류화를 구성하는 데 어떤 역할을 하는가?
• RQ4 이 구성은 임의의 n ≥ 2에 대해 ℤ[1/n]의 분류화로 일반화될 수 있는가?
• RQ5 리브트 대수 L(m, 3m+1) 위의 모듈러에 대한 분류화된 링의 작용은 ℤ[1/2]가 ℤ/(2m+1) 위에 선형 작용하는 것을 올리는 카테고리적 작용을 갖는가?

주요 결과

• 컴팩트 유도 범주 D^c(𝒞)의 그로텐디크 링은 ℤ[1/2]와 동형이며, [X]는 1/2로 사상된다.
• 범주 내에서의 동형 X ≅ X[-1] ⊕ 1 은 K₀에서 관계 2[X] = 1 을 유도하며, 이는 1/2 를 그로텐디크 클래스로 실현한다.
• 범주 𝒞 는 특정 관계를 만족하는 생성자 z, z*, x_i, x_i* 를 가진 다이어그램적 DG 범주로 구성된다.
• 유도 범주 D(𝒞) 는 End(1 ⊕ X) 에서 DG 대수의 구조를 가지며, 미분이 0 이고, 아이디포텐트 분해를 통해 기저를 구성한다.
• K-이론 계산은 K₀(D^c(𝒞)) ≅ ℤ[1/2] 를 보여주며, 국소화된 링의 분류화를 확인한다.
• 자기 dual 동형 X ≅ 1 ⊕ X^{n+1} 을 이용하여 ℤ[1/n] 으로의 일반화를 추측하며, K₀(Ka(𝒞)) ≅ ℤ[1/n] 이 성립할 것으로 기대된다.