기술적 요약: 텐서 범주 내의 절대 평탄 대수 (Absolutely Flat Algebras)

1. 문제 제기 및 동기

본 논문은 텐서 범주(강한 아벨로니안 모노이달 범주)의 ind-완성(ind-completions) 내에서 세 가지 대수 클래스인 반단순 대수(semisimple algebras), 아르티니 단순 대수(artinian simple algebras), 그리고 아르티니 절대 평탄 대수(artinian absolutely flat algebras, von Neumann regular algebras) 사이의 구조적 관계를 조사한다.

체 $k$ 위의 고전적 환론(ring theory)에서, 아르티니 대수(artinian algebra)에 대해 이 세 가지 개념은 다음과 같이 동치이다: 대수가 단순 대수들의 곱인 것은, 대수가 절대 평탄한 것과 동치이다. 저자들은 이러한 동치 관계가 더 넓은 맥락의 텐서 범주에서도 유지되는지 묻는다. 구체적으로 다음을 다룬다:

1. 모든 반단순 대수는 단순 대수들의 곱인가?
2. 모든 아르티니 단순 대수는 절대 평탄한가?
3. 이러한 성질들이 일치하기 위한 조건은 무엇인가?

이러한 동기는 다음과 같은 분야의 미해결 질문들에서 기인한다:

• 스칼라 확장(extension of scalars)이 여전히 텐서 범주로 남는지 여부 (이는 체 확장이 절대 평탄한지와 동치이다).
• 프레탄나키안(pretannakian) 범주의 델리뉴 텐서 곱(Deligne tensor products)이 항상 프레탄나키안인지 여부.
• 유한 텐서 범주 내 단순 대수의 "정확성(exactness)"에 관한 에팅오프-오스트릭(Eitingof-Ostrik) 추측.

2. 방법론 및 프레임워크

저자들은 프레탄나키안 범주(대칭 아르티니안 텐서 범주)의 틀 안에서 범주론적 대수, 표현론, 그리고 대수 기하학을 결합한 체계적인 접근 방식을 채택한다.

• 정의: 이들은 ind-대수의 맥락에서 자코브슨 근간(Jacobson radical) $J(A)$, 반단순성($J(A)=0$), 그리고 절대 평탄성($Tor^A_1 \equiv 0$)을 정의한다. 또한 좌/우 아르티니안(left/right artinian) 성질과 이-아르티니안(bi-artinian) 성질을 구분한다.
• 웰-파이버드 범주(Well-Fibered Categories): 핵심적인 방법론적 도구는 웰-파이버드 프레탄나키안 범주 개념이다. 범주 $\mathcal{C}$가 "기초적인(basic)" 프레탄나키안 범주 $\mathcal{D}$로 가는 대칭 텐서 함수를 가지며, 이 $\mathcal{D}$가 **기하학적 환원성(Geometrically Reductive, GR)**과 **최대 닐포텐트성(Maximally Nilpotent, MN)**을 모두 갖춘 경우 $\mathcal{C}$를 웰-파이버드하다고 한다.
  • GR: 모든 에피모피즘 $X \twoheadrightarrow 1$에 대하여, 어떤 대칭 거듭제곱 $S^n X \twoheadrightarrow 1$이 분할(split)된다.
  • MN: 비자명한 단순 대상들은 유한한 대칭 대수를 가지며, 비분할 확장(non-split extensions)은 대칭 거듭제곱 하에서 결국 소멸한다.
• 군 스킴으로의 환원: 탄나키안 형식론(Tannakian formalism)을 사용하여, 저자들은 웰-파이브드 범주에서의 문제를 기초 체 $k$ 위의 아핀 군 스킴 $G$의 유한 길이 표현 $\text{Rep}_f G$ 내의 대수를 연구하는 문제로 환원한다.
• 텐서 범주 내의 대수 기하학: 저자들은 대수적 군과 스킴의 이론(예: [C2], [CS])을 활용하여, 가환 대수를 동형 공간 $G/H$의 좌표 환(coordinate rings)으로 분석한다.

3. 주요 기여 및 결과

3.1. 일반적 관계 및 반례

본 논문은 일반적인 상황에서 고전적 동치 관계가 실패함을 입증한다.

• 함축 관계: 저자들은 아르티니 대수에 대해, 절대 평탄성이 $\text{Ext}^1$의 소멸을 함축하고, 이것이 다시 대수가 단순 대수들의 곱임을 함축하며, 이것이 반단순성을 함축함을 증명한다. 그러나 역방향 함축은 보편적으로 성립하지 않는다.
• 반례:
  • 반단순하지만 단순 대수들의 곱이 아닌 경우: 델로노이(Delannoy) 범주(초지수적 성장)에서, 단순 대수들의 곱이 아닌 가환 반단순 대수가 존재한다 (보조정리 4.5).
  • 단순하지만 절대 평탄하지 않은 경우: 초지수적 성장(예: $(\text{Rep } GL)_t$)을 가진 범주에서, 절대 평탄하지 않은 단순 가환 ind-대수가 존재한다 (명제 4.6).
  • 비-아르티니안 단순 대수: 본 논문은 유한 차원 사상 공간을 가지면서 무한 길이를 가진 대상을 포함하는 텐서 범주의 첫 번째 사례를 제공하여(부록 A), 아르티니안 대수의 정의에 대한 미묘한 차이를 강조한다.

3.2. 완만한 성장을 가진 경우에 대한 주요 정리

주요 긍정적 결과는 **완만한 성장(moderate growth)**을 가진, 특히 웰-파이브드인 프레탄나키안 범주에 대해 확립된다.

정리 A (가환의 경우): $\mathcal{C}$가 대수적으로 닫힌 체 $k$ 위의 웰-파이브드 프레탄나키안 범주일 때,

1. $\text{Ind } \mathcal{C}$ 내의 모든 단순 가환 대수는 아르티니안이며 절대 평탄하다.
2. $\text{Ind } \mathcal{C}$ 내의 모든 반단순 가환 대수는 단순 대수들의 곱이다.
3. $\text{char}(k) > 0$인 경우, $\mathcal{C}$ 내의 모든 반단순 대수(가환성을 가정하지 않음)는 단순 대수들의 곱이며 절대 평탄하다.

이 정리는 (양의 표수에서) 프로베니우스 정확한(Frobenius exact) 완만한 성장 프레탄나키안 범주와 (표수 0에서의) 모든 그러한 범주에 대해 고전적 동치 관계가 성립함을 의미한다.

정리 B (탄나키안/군 스킴의 경우): $G$가 대수적으로 닫힌 체 $k$ 위의 아핀 군 스킴일 때,

1. 단순 가환 $G$-동변 대수 $A$에 대하여, 불변 부분체 $A^G$의 대수적 폐체를 $L$이라 하자. $A \otimes_{A^G} L \cong L[GL/H]$를 만족하는 정확한 부분군 $H \subseteq GL$이 존재한다.
2. 반단순 가환 $G$-동변 대수들은 단순 대수들의 곱이다.
3. 유한 차원 반단순 $G$-동변 대수들은 단순 대수들의 곱이다.

3.3. 구조적 특징화

• 아르티니안 특징화: 웰-파이브드 범주에서, 가환 ind-대수는 이데알에 대한 하강 사슬 조건(DCC)을 만족하거나, 이와 동치로, 아르티니안 로컬 대수들의 유한 직적(finite direct product)인 경우이다 (정리 5.2).
• 나카야마 성질(Nakayama Property): 저자들은 나카야마 성질(웰-파이브드 범주에서 유효함)을 활용하여 자코브슨 근간이 극대 이데알들의 교집합과 일치하며, 단순 모듈이 극대 이데알에 대응함을 증명한다.

3.4. 부록

• 부록 A: 유한 차원 사상 공간을 가지면서도 대상의 길이가 무한인 대칭 텐서 범주를 구성하여, 텐서 범주의 ind-완성이 항상 유한 길이 대상을 갖는 "좋은" 텐서 범주가 아님을 보여준다.
• 부록 B: 탄나키안 범주의 중립성(neutrality)에 관한 델리뉴의 정리를 $\text{Vec}$에서 임의의 GR+MN 프레탄나키안 범주로 확장한다.
• 부록 C: 텐서 범주에서의 스칼라 확장에 관한 기술적 간극을 메운다.

4. 의의 및 주장

본 논문은 완만한 성장을 가진 프레탄나키안 범주 내의 가환 대수에 대해, 웰-파이브드인 경우 반단순성, 단순 대수의 곱, 그리고 절대 평탄성이 동치라는 질문을 해결한다고 주장한다.

• 추측의 범위: 저자들은 (BEO, C2에 의해 뒷받침되는) 모든 프레한나키안 범주가 완만한 성장을 가진다면 웰-파이브드일 것이라는 주요 추측을 언급한다. 만약 이 추측이 성립한다면, 그들의 결과는 모든 그러한 범주에 적용된다.
• 한계: 본 논문은 **초지수적 성장(superexponential growth)**을 가진 범주(완만한 성장을 갖지 않는)에서는 이러한 동치 관계가 실패함을 명시한다.
• 미해결 질문:
  • 표수 0인 슈퍼-탄나키안(super-tannakian) 범주에서 비가환 대수에 대해서도 동치가 성립하는가? (질문 5.16)
  • 초지수적 성장에서 발견된 반례들이 비-아르티니안 단순 대수와 절대 평탄하지 않은 아르티니안 단순 대수를 구분하도록 정교화될 수 있는가? (주석 4.7)

이 연구는 단순 가환 대수를 정확한 부분군 $H$를 갖는 동형 공간 $G/H$의 좌표 환으로 식별함으로써, 추상적인 텐서 범주론을 구체적인 대수 기하학과 연결하는 엄밀한 구조적 기술을 제공한다.