[논문 리뷰] Categorification of the polynomial ring

Mikhail Khovanov, Radmila Sazdanović|arXiv (Cornell University)|2010. 12. 31.

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

한 줄 요약

이 논문은 평면 뱃줄무늬 다이어그램과 '라크'(long arcs) 및 '사르크'(short arcs)를 사용하여, 다항식 환 ℤ[x]의 다이어그램적 카테고리화를 구축한다. 이는 '아이디포텐트'를 갖는 대수 A⁻를 통해 이루어지며, 이 대수는 평면 텐클 다이어그램으로 구성된다. 이 논문은 분해 불가능한 프로젝티브 모듈 Pₙ (xⁿ을 카테고리화함)과 표준 모듈 Mₘ (x−1)ⁿ을 카테고리화함) 사이에 Bernstein-Gelfand-Gelfand (BGG) 상호관계를 수립한다. 그로텐디에크 환은 [Pₙ] = xⁿ 및 [P₍₋ⁿ₎] = (x−1)ⁿ를 통해 ℤ[x]를 실현한다.

ABSTRACT

We develop a diagrammatic categorification of the polynomial ring $Z[x]$. Our categorification satisfies a version of Bernstein-Gelfand-Gelfand reciprocity property with the indecomposable projective modules corresponding to $x^n$ and standard modules to $(x-1)^n$ in the Grothendieck ring.

연구 동기 및 목표

• 다양한 기하적-위상수학적 자료를 사용하여 다항식 환 ℤ[x]의 다이어그램적 카테고리화를 구축하는 것.
• A⁻-모듈의 모노이드 카테고리에서 분해 불가능한 프로젝티브 모듈 Pₙ으로서 xⁿ을 실현하는 것.
• 표준 모듈 Mₘ을 통해 (x−1)ⁿ을 카테고리화하고, 그로텐디에크 환에서 BGG 상호관계를 수립하는 것.
• 향후 연구에서 헤르미트 및 체비셰프 다항식과 같은 수직 다항식으로 이 틀을 확장하는 것.

제안 방법

• 플레인 텐클 다이어그램(라크와 사르크 포함)의 동치류로 구성된 기저를 갖는 k-대수 A⁻를 정의하며, 부유하는 아크이 나타나면 곱셈이 0이 되는 조건을 부여한다.
• n ≥ 0에 대해 최소 직교 아이디포텐트 {1ₙ}의 체계를 도입하여, 비단위 대수에서의 단위를 대체하며, 1ₙ은 n개의 라크와 사르크가 없는 다이어그램에 대응한다.
• Pₙ = A⁻1ₙ로 프로젝티브 모듈을 구성하며, 이는 B⁻ₙ에 속하는 모든 다이어그램에 의해 생성되는 자유 모듈이다. 표준 모듈 Mₙ은 Pₙ에서 오른쪽 사르크를 갖는 다이어그램으로 생성되는 부분모듈을 몫으로 취한다.
• 다이어그램의 스택 구조에 의해 유도되는 A⁻-pmod 위의 모노이드 구조를 사용하여, Pₙ ⊗ Pₘ = Pₙ₊ₘ를 만족시키는 프로젝티브 모듈의 텐서곱을 정의한다.
• 플러스와 마이너스의 수열 ε에 대해 추가 아이디포텐트 e_ε를 정의하고, ε에 n개의 마이너스가 포함되어 있을 경우 e_ε ≃ e₋ₙ임을 명시적인 다이어그램적 인터티너를 통해 증명한다.
• 그로텐디에크 환 K₀(A⁺-pmod)가 ℤ[x]를 실현하며, [Pₙ] = xⁿ 및 [P₍₋ⁿ₎] = (x−1)ⁿ임을 보이며, 이는 Pₙ를 m = 0에서 n까지의 P₍₋ₘ₎의 합으로 분해함으로써 이루어진다.

실험 결과

연구 질문

• RQ1 다양한 기하적-위상수학적 자료를 사용하여 다항식 환 ℤ[x]를 어떻게 카테고리화할 수 있는가?
• RQ2 비단위 대수 위에서 프로젝티브 모듈의 관점에서 xⁿ의 카테고리적 대응은 무엇인가?
• RQ3 표준 모듈 Mₘ(해당 다항식이 (x−1)ⁿ일 때)와 프로젝티브 모듈 Pₙ 사이의 BGG 상호관계는 어떻게 되는가?
• RQ4 유한 생성 프로젝티브 A⁻-모듈의 카테고리의 그로텐디에크 환이 ℤ[x]를 복원할 수 있는가?
• RQ5 아이디포텐트 1ₙ과 e_ε는 모듈 카테고리의 정렬과 카테고리화를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 유한 생성 프로젝티브 A⁻-모듈의 카테고리의 그로텐디에크 환은 ℤ[x]와 동형이며, [Pₙ] = xⁿ이다.
• 표준 모듈 Mₘ은 오른쪽 사르크를 갖는 다이어그램으로 생성되는 부분모듈을 몫으로 취한 Pₙ의 몫으로 정의되며, 그로텐디에크 환에서 [Mₘ] = (x−1)ⁿ를 만족한다.
• BGG 상호관계가 성립한다: Pₙ과 Mₘ 사이의 복수도 [Pₙ : Mₘ]는 1ₙMₘ의 차원과 같으며, 일반화된 의미에서 [Mₘ : Lₙ]로 해석된다.
• 프로젝티브 모듈 Pₙ는 m = 0에서 n까지의 P₍₋ₘ₎의 직합으로 분해되며, 각각의 복수도 (n 선택 m)이다. 따라서 [Pₙ] = ∑ₘ₌₀ⁿ (n 선택 m)(x−1)ᵐ이다.
• 카테고리 A⁻-pmod는 단순 객체로 P₍₋ₙ₎를 가지며, 그로텐디에크 환은 [Pₙ] = xⁿ 및 [P₍₋ₙ₎] = (x−1)ⁿ를 통해 ℤ[x]를 실현한다.
• 카테고리화는 A⁺-pmod로 확장되며, 여기서 프로젝티브 모듈 Pₙ는 P₍₋ₘ₎의 합으로 분해되며, 그로텐디에크 환에서 xⁿ = ∑ₘ₌₀ⁿ (n 선택 m)(x−1)ᵐ의 항등식이 확인된다.