Homogeneous spaces in tensor categories

기술 요약: 텐서 범주에서의 동차 공간(Homogeneous Spaces)

문제 제기
본 논문은 중간 성장(moderate growth)을 갖는 대칭 텐서 범주 $\mathcal{C}$의 맥락에서 동차 공간 $G/H$(몫 스킴)의 존재성과 구조적 성질을 다룬다. 0표수(characteristic zero)에서의 아핀 군 스킴(affine group schemes)의 표현론은 델리뉴(Deligne)의 정리(이 정리는 이러한 범주들을 슈퍼그룹의 표현들과 동일시한다)를 통해 잘 이해되어 있으나, 양의 표수 $p > 0$에서의 구조론은 여전히 미완성 상태이다. 특히, 비압축적(incompressible) 텐서 범주가 $\text{Ver}_{p^\infty}$의 부분 범주라는 것이 추측되고 있다. 이러한 범주들의 기하학적 이론에서 근본적인 공백은 대수적 그룹 $G$와 그 부분군 $H \leq G$에 대한 몫 스킴 $G/H$의 엄밀한 존재성이다. 몫 스킴이 확립되지 않으면, 유도 함자(induction functors) 및 공변 층(equivariant sheaves) 연구와 같은 핵심적인 표현론적 도구들이 견고한 기하학적 토대를 결여하게 된다.

방법론
저자들은 두 가지 특정한 기술적 조건인 **기하적 환원성(Geometric Reductivity, GR)**과 **최대 닐포턴성(Maximal Nilpotency, MN)**을 만족하는 텐서 범주에 대한 스킴 이론을 전개한다. 이 조건들은 비압축적 범주(예: $\text{Ver}_{p^\infty}$)의 내재적 특징으로 상정된다.

방법론은 "본체(body)"인 대수적 그룹(고전적 대수적 그룹)과 무한소 구조(infinitesimal structures) 사이의 상호작용에 크게 의존하며, 오직 양의 표수에서만 가능한 프로베니우스 사상(Frobenius morphism)을 활용한다. 주요 방법론적 단계는 다음과 같다:

1. 프로베니우스 트위스트와 커널: 저자들은 $\mathcal{C}$ 내 대수(algebras)에 대한 프로베니우스 트위스트 $A^{[1]}$와 대수적 그룹에 대응하는 프로베니우스 커널 $G_r$을 정의한다. 핵심적인 구조적 결과(명제 4.19)는 충분히 큰 $r$에 대하여, 몫 $G/G_r$이 "순수하게 짝수인(purely even)" 대수적 그룹(즉, 체 $k$ 위의 일반적인 군 스킴)이며, $G_r$은 무한소 군 스킴임을 확립한다.
2. 고전적 사례 및 무한소 사례로의 환원: $G/H$의 존재성은 두 가지 경우로 환원된다:
   • 고전적 사례: 벡터 공간($\text{Vec}$) 범주에서의 "본체" 그룹 $G_0/H_0$의 몫.
   • 무한소 사례: 무한소 부분군에 의한 몫. 이는 존재하며 아핀(affine)임이 밝혀졌다.
3. 층 이론적 구성: 저자들은 몫을 구성하기 위해 faisceaux(fppf 위상의 층) 이론을 활용한다. 이들은 특정 조건 하에서 그룹에서 몫으로의 사상이 충실하게 평평하고(faithfully flat) 아핀이라는 사실을 이용하여, 국소적으로 구성 및 접합(gluing)이 가능하다면 범주 내 스킴으로서 몫이 존재함을 입증한다.
4. 분포 대수(Distribution Algebras): 저자들은 대수적 그룹의 구조를 분석하기 위해 분포 대수($\Gamma_G$)와 그 여과(filtration)를 사용하여, $\Gamma_G$가 본체 $G_0$의 분포와 프로베니우스 커널들에 의해 생성됨을 보여준다.

주요 기여 및 결과

• 동차 공간의 존재성: 주요 결과(정리 7.5)는 (GR)과 (MN)을 만족하는 텐서 범주 $\mathcal{C}$에서 대수적 그룹 $G$와 부분군 $H$에 대하여 동차 공간 $G/H$가 유한 타입(finite type)의 스킴으로서 존재함을 증명한다. 또한, $G/H$는 분리(separated)되어 있다.
• "본체"와의 관계: 논문은 $G/H$와 밑바탕이 되는 고전적 그룹 $G_0/H_0$의 몫 사이의 정밀한 관계를 확립한다.
  • 자연스러운 폐쇄 임베딩 $G_0/H_0 \hookrightarrow (G/H)_0$가 존재하며, 이는 **보편적 호메오모르피즘(universal homeomorphism)**이다(정리 7.5).
  • 슈퍼 설정(즉, $\mathcal{C} \subseteq \text{Ver}_p$)에서는 $(G/H)_0 = G_0/H_0$라는 등식이 성립하지만, 더 일반적인 비압축적 범주에서는 실패할 수 있다(예시 6.1). 그러나 $G/H$의 기하학적 성질(아핀, 준 아핀, 적절성)은 $G_0/H_0$의 성질과 동치이다(정리 7.5).
• $\text{Ver}_p$에서의 몫의 구조: $\mathcal{C} = \text{Ver}_p$인 특정 경우에 대해, 저자들은 $G/H$의 명시적인 국소 구성을 제공한다. 이들은 $(G/H)_0 = G_0/H_0$임을 보이고, 이 스킴이 리 대수의 여과로부터 유도된 특정 벡터 번들의 상의 대칭 대수(symmetric algebra)의 스펙트럼과 국소적으로 동형임을 보여준다(정리 9.9).
• 아핀 몫과 단사성: 8절에서, 논문은 아핀 몫이 존재하는 경우를 특징짓는다. $\mathcal{C}$가 반단순(semisimple)이면, $G/H$가 아핀일 필요충분조건은 좌표 환 $k[G]$가 $k[H]$-코모듈(comodule)로서 단사(injective)인 것이다(정리 8.1). 이는 슈나이더(Schneider)의 고전적 결과들을 텐서 범주 설정으로 일반화한 것이다.
• 공변 층과 유도: $G/H$의 존재는 유도 함자 $\text{Ind}_H^G$의 정의를 가능하게 한다. 논문은 $G$ 상의 $H$-공변 준코herrent 층의 범주와 $G/H$ 상의 준코herrent 층 사이의 동치 관계를 증명한다(명제 7.11). 나아가, 유도 함자의 유도된 함자(derived induction functors)와 $G/H$의 층 코호몰로지 사이의 동형 관계를 확립한다(보조정리 7.13).

의의 및 주장
본 논문은 관련 텐서 범주에서 동차 공간이 스킴으로서 존재하는지에 대한 기초적인 질문을 해결함으로써, 이들 그룹의 표현론에 고전적인 기하학적 기법을 적용할 수 있게 한다고 주장한다.

• 기초적 가치: $G/H$의 존재는 고전적 표현론에서 플래그 다양체(flag varieties)가 수행하는 역할과 유사하게, 텐서 범주 내 대수적 그룹의 견고한 기하학적 이론을 발전시키기 위한 전제 조건으로 제시된다.
• 구조적 통찰: 프로베니우스 커널을 통한 대수적 그룹의 "무한소" 부분과 "일반" 부분의 분해(명제 4.19)는 동차 공간의 범위를 넘어 적용될 수 있는 근본적인 구조적 결과로 강조된다.
• 표현론: 논문은 $G/H$의 기하학적 성질(특히 적절성)을 유도 함자에 의한 컴팩트 대상(compact objects)의 보존과 명시적으로 연결한다(결과 7.14). 이는 슈퍼그룹 이론에서 이전에 사용되었던 호모지니어스 슈퍼배리에티(homogeneous supervarieties)를 통한 캐릭터 계산 작업에 매우 중요하다.
• 일반성: 결과들은 $\text{Ver}_{p^\infty}$ 및 그 부분 범주를 포함하여 (GR)과 (MN)을 만족하는 모든 텐서 범주에 적용되며, 따라서 이 조건들이 비압축적 범주를 특징짓는다는 추측을 뒷받침한다.

저자들은 범위에 대해 겸허한 어조를 유지하며, $(G/H)_0 = G_0/H_0$라는 등식은 일반적으로 실패하지만, 보편적 호메오모르피즘 성질이 많은 기하학적 성질을 전달하기에는 충분하다고 언급한다. 또한, 현재의 프레임워크는 리 대수를 더 큰 무한소 군으로 대체해야 하므로, 이 범주들에서 완전한 해리쉬-천드라 쌍(Harish-Chandra pairs) 이론을 개발하는 것은 향후 과제로 남아 있다고 밝힌다.