[논문 리뷰] Some homological properties of category O. IV

Kevin Coulembier, Volodymyr Mazorchuk|arXiv (Cornell University)|2015. 09. 15.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 BGG 분류 𝒪의 평행자기-특이 블록에서 구조 모듈—표준, 측표준, 단순, 임베딩, 프로젝티브, 틸팅 모듈 등—의 프로젝티브 차원과 그레이드 길이에 대한 명시적 공식을 수립한다. 웰리 그룹의 길이 함수 ℓ와 루슈티그의 a-함수를 사용하여 이러한 불변량들을 두 핵심 함수 sλ 및 dλ를 통해 표현하며, 블록이 항상 약한 구이샤르데트가 아니라는 것을 증명함으로써 표현 이론 분야의 한 질문을 해결한다.

ABSTRACT

We study projective dimension and graded length of structural modules in parabolic-singular blocks of the BGG category O. Some of these are calculated explicitly, others are expressed in terms of two functions. We also obtain several partial results and estimates for these two functions and relate them to monotonicity properties for quasi-hereditary algebras. The results are then applied to study blocks of O in the context of Guichardet categories, in particular, we show that blocks of O are not always weakly Guichardet.

연구 동기 및 목표

• BGG 분류 𝒪의 평행자기-특이 블록에서 모든 구조 모듈의 프로젝티브 차원과 그레이드 길이를 결정하는 것.
• 주요 블록 𝒪₀의 결과를 임의의 평행자기-특이 블록으로 일반화하는 것.
• 이러한 불변량들과 준-헤르드레기 대수에서의 단조성 성질 간의 관계를 조사하는 것.
• 분류 𝒪의 블록이 약한 구이샤르데트인지 여부에 대한 질문을 다루며, 특히 구이샤르데트 분류의 맥락에서 고려하는 것.
• 결과를 리 대수의 초대수 표현 이론에서 열려 있는 문제들과, 분류 𝒪의 블록들에 적용하는 것.

제안 방법

• 저자들은 x ∈ Xλ에 대해 sλ(x) = pd𝒪λ L(x·λ) 및 dλ(x) = pd𝒪λ Δ(x·λ)로 정의되는 두 함수를 정의하여, 특이 블록에서 단순 및 표준 모듈을 인덱싱한다.
• 논문은 평행자기-특이 블록 𝒪μλ에서 모든 프로젝티브 차원과 그레이드 길이를 sλ, dλ, ℓ(길이 함수), a(루슈티그의 a-함수)를 통해 표현한다.
• 논문은 카즈단–루슈티그 조합론을 사용하며, 최장 원소 w₀와 평행자기 웰리 군 w₀μ의 작용을 포함한다.
• 그레이드 길이를 계산하기 위해 이전 연구에서의 코즐러 이중성과 분류 𝒪의 그레이드 구조 결과를 적용한다.
• 저자들은 세르 하위분류 이론과 블록 분해를 사용하여 분해 불가능한 블록을 분석하며, 특히 동일한 중심 문자를 가진 가중치 집합 [λ]를 통해 분석한다.
• 저자들은 초대수 표현 이론의 기법—특히 올드 리플렉션과 제약 함수자—를 사용하여 임베딩 모듈과 그 프로젝티브 차원을 연결한다.

실험 결과

연구 질문

• RQ1 분류 𝒪의 평행자기-특이 블록에서 모든 구조 모듈의 프로젝티브 차원과 그레이드 길이는 무엇인가?
• RQ2 형식 A 이외의 경우에도 공식 sλ(x) ≥ a(w₀x) + a(w₀w₀λ)가 성립하는가?
• RQ3 Wλ가 최대 코스터 군인 모든 정수형 도미넌트 가중치 λ에 대해 등식 sλ(x) = a(w₀x) + a(w₀w₀λ)가 항상 성립하는가?
• RQ4 고정된 오른쪽 세포 R̂에 대해 블록 𝒪₀^R̂의 피니스티크 차원은 무엇이며, 이러한 블록의 임베딩 모듈은 유한한 프로젝티브 차원을 가지는가?
• RQ5 정리 57의 다이어그램에서 성립하는 함의 관계가 역으로도 성립하는가: S₁(μ,λ)가 C₁(μ,λ)를 함의하는가?

주요 결과

• 𝒪μλ에서 단순 모듈 L(x·λ)의 프로젝티브 차원은 sλ(x) − 2ℓ(w₀μ)이며, 그레이드 길이는 0이다.
• 𝒪μλ에서 표준 모듈 Δμ(x·λ)의 프로젝티브 차원은 dλ(x)이며, 그레이드 길이는 ℓ(w₀) − ℓ(x) + ℓ(w₀μ) − dλ(x)이다.
• 임베딩 모듈 I(x·λ)의 프로젝티브 차원은 2a(w₀x)이며, 그레이드 길이는 ℓ(w₀) + ℓ(x)이다.
• 틸팅 모듈 T(x·λ)의 프로젝티브 차원은 a(x)이며, 그레이드 길이는 2ℓ(w₀) − 2ℓ(x)이다.
• 모든 블록 𝒪[λ]의 피니스티크 차원은 2ℓ(w₀) 이하로 유계이며, 블록에 일반적 가중치가 포함되어 있으면 정확히 2ℓ(w₀)이다.
• 논문은 분류 𝒪의 블록이 항상 약한 구이샤르데트가 아니라는 것을 증명하며, 특정 피니스티크 차원 조건의 실패를 통해 [Fu, Ga]에서 제기된 질문을 해결한다.