[논문 리뷰] Quivers for SL(2) tilting modules

Daniel Tubbenhauer, Paul Wedrich|arXiv (Cornell University)|2019. 07. 26.

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

한 줄 요약

이 논문은 소수 체 𝔽ₚ 위에서 SL(2)의 양성 특성 p에서의 기울기 모듈의 범주를 나타내는 관계가 있는 퀼리(quiver)를 구성한다. 다이어그램적 방법과 Temperley–Lieb 계산법을 사용하여, 이 퀄리의 경로 대수와 기울기 모듈의 범주 사이에 대수적 동형사상을 확립함으로써, Weyl 인수 분해와 사상 공간을 p-Jones–Wenzl 프로젝터를 통해 기록하는 단일한 모노이드적, 생성자와 관계의 묘사를 제공한다.

ABSTRACT

Using diagrammatic methods, we define a quiver algebra depending on a prime p and show that it is the algebra underlying the category of tilting modules for SL(2) in characteristic p. Along the way we obtain a presentation for morphisms between p-Jones-Wenzl projectors.

연구 동기 및 목표

• 대수적으로 닫힌 양성 특성 p를 가진 체 위에서 SL(2)의 기울기 모듈의 범주에 대한 생성자와 관계의 묘사를 제공하는 것.
• 경로 대수가 기울기 모듈의 범주를 유한 생성 프로젝티브 모듈의 범주로 실현하는 𝔽ₚ 위의 관계가 있는 퀄리를 정의하는 것.
• 다이어그램적 기법과 Temperley–Lieb 범주를 사용하여 기울기 모듈 간의 사상을 모델링하고, 특히 p-Jones–Wenzl 프로젝터를 통해 이를 다루는 것.
• 명시적인 대수적 묘사를 통해 기울기 모듈의 범주에 모노이드적 구조를 확립하는 것.

제안 방법

• 정점 집합은 ℕ₀이며, 정점은 최고 무게 v−1로 표기되며, v의 p진 전개에서 숫자의 부정화에 해당하는 화살표가 있다.
• 화살표는 𝒟ᵢ와 𝒰ᵢ로 정의되며, 각각 p진 숫자 구조에서 아래로 내려가는 것과 위로 올라가는 움직임을 나타내며, 영항성, 먼 공통성, 국소적 교환성을 포함한 관계가 있다.
• 경로 대수는 Weyl 인수의 구조와 기울기 모듈에서의 사상 합성 구조를 반영하는 관계로 약분된다.
• 사상은 𝔽ₚ 위에서의 p-Jones–Wenzl 프로젝터를 사용하여 모델링되며, 이는 표준 표현의 텐서 곱에서 Weyl 인수에 대한 프로젝션을 제공한다.
• Temperley–Lieb 계산법을 사용하여 표준 및 p-사상을 정의하고, 고리들이 내부 사상 공간의 기저를 이룬다.
• 함수 F가 정점들을 분해 불가능한 기울기 모듈로 보내고, 경로들을 사상으로 보내는 방식으로, 대수 Z가 기울기 모듈의 범주와 동형임을 보였다.

실험 결과

연구 질문

• RQ1 SL(2)의 기울기 모듈의 범주를 양성 특성 p에서 퀄리에 의한 생성자와 관계의 묶음으로 어떻게 묘사할 수 있는가?
• RQ2 분해 불가능한 기울기 모듈 간의 사상의 다이어그램적 구조는 무엇이며, 이를 어떻게 대수적으로 포괄할 수 있는가?
• RQ3 최고 무게의 p진 숫자가 Weyl 인수 분해와 퀄리 구조에 어떻게 영향을 미치는가?
• RQ4 p-Jones–Wenzl 프로젝터는 퀄리 대수에서 사상을 실현하는 데 어떤 역할을 하는가?
• RQ5 기울기 모듈의 범주는 무한하고 프랙탈 같은 퀄리의 경로 대수 위에서 유한 생성 프로젝티브 모듈의 범주로 실현될 수 있는가?

주요 결과

• 함수 F가 정점 v−1에서의 상수 경로를 T(v−1)의 아이디암프로젝터로 보내는 방식으로, 대수 Z가 기울기 모듈의 범주와 동형임을 보였으며, 이는 전사적이고 충실한 실현을 제공한다.
• v의 p진 전개에서 각각의 0이 아닌 숫자 aᵢ ≠ 0 (i < j)에 대해, v−1에서 w−1로 향하는 r개의 화살표가 존재하며, 이는 해당 숫자의 부정화에 해당한다.
• T(v−1)에 포함된 Weyl 인수의 수는 2ʳ이며, 여기서 r은 v의 p진 전개에서 0이 아닌 숫자의 개수이다.
• 기울기 모듈의 범주는 반무한 Ringel 쌍대성에 의해 Z 위의 유한 생성 프로젝티브 모듈의 범주와 동치이다.
• 기울기 모듈의 범주 내의 두꺼운 텐서 아이디얼은 소수의 거듭제곱으로 색인되며, 내림차순의 사슬 I_{p⁰} ⊃ I_{p¹} ⊃ I_{p²} ⊃ … 를 이룬다.
• p-Jones–Wenzl 프로젝터는 모노이드 구조와 p진 숫자 구조와 호환되는 방식으로 기울기 모듈 간의 사상을 묘사하는 데 기여한다.