Three homological invariants under cleft extensions

기술 요약: 클레프트 확장(Cleft Extensions) 하에서의 세 가지 호몰로지 불변량

문제 제기
본 논문은 세 가지 특정 호몰로지 불변량인 이구사-토도로프 거리(Igusa-Todorov distance), 확장 차원(extension dimension), 루키에 차원(Rouquier dimension)이 아벨 범주(abelian categories)의 클레프트 확장 연산 하에서 어떻게 거동하는지 조사한다. 삼각 범주의 차원(루키에 차원)과 아벨 범주의 확장 차원은 표현론적 복잡성(예: 유한 표현 유형 또는 유계 유도 범주의 경계)을 측정하는 잘 알려진 도구이지만, 이들의 안정성과 이들이 특정 범주적 구성 하에서 갖는 경계값은 여전히 활발히 연구되는 분야이다. 구체적으로, 저자들은 범주 $\mathcal{A}$가 다른 범주 $\mathcal{B}$의 클레프트 확장으로 구성될 때 이러한 불변량들에 대한 정량적 경계를 설정하는 것을 목표로 한다.

방법론
저자들은 Beligiannis가 처음 도입한 클레프트 확장 및 클레프트 코확장(cleft coextensions)의 프레임워크를 사용한다.

1. 범주적 프레임워크: 클레프트 확장 $(\mathcal{B}, \mathcal{A}, i, e, l)$은 다음과 같은 함자(functor)들을 포함한다: $e: \mathcal{A} \to \mathcal{B}$는 충실하고(faithful) 정확하며(exact), 좌부역(left adjoint) $l$을 가지며, $el \simeq \text{Id}_{\mathcal{B}}$를 만족한다. 이 구조는 엔도함자(endofunctor) $F: \mathcal{B} \to \mathcal{B}$를 유도한다. 이와 대조적으로, 클레프트 코확장은 우부역(right adjoint) $r$을 포함하며, 이는 $F': \mathcal{B} \to \mathcal{B}$인 엔도함자를 유도한다.
2. 호몰로지 조건: 증명은 이러한 함자들의 정확성(예: $l$ 또는 $r$의 정확성), $e$에 의한 사영 대상(projective objects)의 보존, 그리고 유도된 엔도함자의 멱영성($F^n = 0$ 또는 $F'^n = 0$)이라는 특정 호몰로지 성질에 의존한다.
3. 시지기(Syzygy) 및 분해 기법: 저자들은 $\mathcal{B}$에서의 대상들의 분해를 $l$(또는 $r$)을 통해 $\mathcal{A}$로 "들어올림(lifting)"으로써 $\mathcal{A}$의 대상들과 관계를 맺기 위해 시지기 대상($\Omega^n$)과 완전열(exact sequences)을 활용한다. 핵심 렘마들은 $\mathcal{B}$로부터의 시퀀스를 $l$(또는 $r$)을 통해 $\mathcal{A}$로 들어올려 완전열을 구성하고, Schanuel의 렘마와 풀백 다이어그램을 사용하여 커널(kernel)과 코커널(cokernel)을 분석하는 것을 포함한다.
4. 유도 범주 분석: 루키에 차원의 경우, 저자들은 유계 유도 범주 $D^b(\text{mod-}\Lambda)$ 내에서 삼각형 동치(triangle equivalences)와 경계를 설정하기 위해 부역 쌍(adjoint pairs)의 유도 함자($Ll, Lq$)를 활용한다.

주요 기여 및 결과

• 이구사-토도로프 거리 (정리 3.11):
  $l$이 정확하고, $e$가 사영 대상을 보존하며, 유도된 엔도함자 $F$가 멱영적($F^n=0$)이고 $\text{Proj}_{\mathcal{B}} = \text{add}(P)$인 클레프트 확장 $(\mathcal{B}, \mathcal{A}, i, e, l)$에 대하여, 이구사-토도로프 거리는 다음을 만족한다:
  $$\text{IT.dist}(\mathcal{B}) \leq \text{IT.dist}(\mathcal{A}) \leq n(\text{IT.dist}(\mathcal{B}) + 1) - 1$$
  이 결과는 아르틴 대수(Artin algebras)에 대한 기존의 발견을 더 넓은 맥락의 아벨 범주로 일반화한다.

• 확장 차원 (정리 4.10):
  노터링 대수(Noetherian algebras) 상의 모듈 범주가 충분한 입사 대상(injectives)을 갖지 못하는 점을 고려하여, 저자들은 클레프트 코확장 $(\mathcal{B}, \mathcal{A}, i, e, r)$을 활용한다. 만약 $r$이 정확하고 유도된 엔도함자 $F'$가 멱영적($F'^n=0$)이며 $\text{Proj}_{\mathcal{A}} = \text{add}(P)$라면, 다음이 성립한다:
  $$\text{ext.dim}(\mathcal{B}) \leq \text{ext.dim}(\mathcal{A}) \leq n(\text{ext.dim}(\mathcal{B}) + 1) - 1$$

• 루키에 차원 (정리 5.8):
  유도된 엔도함자 $F$가 좌 완벽(left perfect)이면서 동시에 멱영적인 노터링 대수 상의 모듈 범주에 대한 클레프트 확장의 경우, 유계 유도 범주의 루키에 차원은 다음을 만족한다:
  $$\text{Rouq.dim} D^b(\text{mod-}\mathcal{B}) \leq \text{Rouq.dim} D^b(\text{mod-}\mathcal{A}) \leq n(\text{Rouq.dim} D^b(\text{mod-}\mathcal{B}) + 1) - 1$$

• 특정 환 구성에 대한 응용 (섹션 6 & 7):
  이론적 경계는 다음과 같은 중요한 환 클래스들에 적용된다:

  • 모리타 컨텍스트 환(Morita Context Rings): 특정 바이모듈(bimodule) 조건(예: 사영성 또는 vanishing Tor)이 충족될 때, 구성 성분 환들에 대한 불변량의 경계가 설정된다.
  • $\theta$-확장 및 자명 확장(Trivial Extensions): 결과는 $M$의 멱영 지수에 기반한 경계를 제공하며 $\Gamma \ltimes_\theta M$ 형태의 환들로 일반화된다.
  • 텐서 환(Tensor Rings): 텐서 환 $T_\Gamma(M)$에 대해서도 유사한 경계가 도출된다.
  • 화살 제거(Arrow Removals): 허용 가능한 경로 대수(admissible path algebras)에서 특정 화살을 제거하여 얻은 경우에 대한 중요한 응용이 제공된다. 정리 6.5는 $\Lambda$로부터 $\Gamma$를 만들기 위해 화살 $a_i$를 제거했을 때, 불변량들이 다음을 만족함을 보여준다:
    $$\text{IT.dist}(\Gamma) \leq \text{IT.dist}(\Lambda) \leq 2\text{IT.dist}(\Gamma) + 1$$
    (및 확장 차원과 루키에 차원에 대해서도 동일함). 이는 젠틀 대수(gentle algebras)와 같은 특정 예시에서 타이트한 경계임이 입증되었다.

의의 및 주장
본 논문은 다양한 대수적 구성에 걸쳐 이러한 호몰로지 불변량을 연구하기 위한 통합된 개념적 프레임워크를 제공한다고 주장한다. 이러한 불변량들이 클레프트 확장(특히, 기저 범주의 불변량과 유도된 함자의 멱영 지수에 의해 선형적으로 제한됨) 하에서 예측 가능하게 행동한다는 것을 입증함으로써, 저자들은 다음을 위한 도구를 제공한다:

1. 더 단순한 하부 구조의 성질을 바탕으로 특정 대수가 이구사-토도로프 대수인지(따라서 유한 차원 공리를 만족하는지) 결정한다.
2. 복잡한 환(모리타 컨텍스트나 화살 제거 경로 대수와 같은)에 대해 확장 차원 및 루키에 차원을 계산하거나 경계를 구하기 위해 이를 더 단순한 구성 요소로 환원한다.
3. 예시 7.3에서 보여주듯, 특정 대수에 대해 클레프트 확장 경계($\leq 3$)가 일반적인 로위 길이(Loewy length) 경계($\leq 5$)보다 개선됨을 보여줌으로써 루키에 차원의 기존 경계를 정교화한다.

저자들은 이러한 결과들이 대수가 유한 표현 유형일 것을 요구하지 않고, 오직 클레프트 확장의 호몰로지적 성질로부터 엄격하게 도출되었음을 강조하며, 이를 통해 더 넓은 범위의 노터링 대수로 이러한 불변량의 적용 가능성을 확장한다.