Tilting Completion and Self-Orthogonality Modules

"Tilting Completion and Full-Rank Self-Orthogonal Modules"에 관한 기술 요약

문제 제기
본 논문은 유한 차원 대수(finite-dimensional algebras)에 관한 두 가지 근본적인 "틸팅 완결성(tilting-completion)" 질문, 즉 pretilting 모듈이 tilting module로 완결될 수 있는지 여부를 다룬다.

1. 전체 계수 문제 ($C_n$): $n$개의 단순 모듈을 갖는 유한 차원 대수 $A$가 있다고 하자. 만약 $M$이 $|M| = n$(즉, 가질 수 있는 극대 개수의 불가약 직합(indecomposable summands)을 가짐)인 기본 pretilting 모듈이라면, $M$은 반드시 tilting module의 직합(direct summand)이어야 하는가? 고전적 틸팅 이론(사영 차원 $\le 1$)에서 봉가츠(Bongartz)의 정리는 이를 확증한다. 질문은 일반화된 틸팅 모듈(임의의 유한 사영 차원)에 대해서도 이 성질이 유지되는가이다.
2. 거의 전체 계수 문제 ($C_{n-1}$): 만약 $M$이 $|M| = n-1$인 기본 pretilting 모듈(즉, "almost-tilting" 모듈)이라면, $M$은 반드시 틸팅 보충(tilting complement)을 갖는가?

또한, 본 논문은 모든 self-orthogonal 모듈 $T$가 $|T| = n(A)$일 때 반드시 충실(faithful)하다는 체다(Chen), 리(Li), 장(Zhang), 조(Zhao)의 Self-orthogonal Faithful Conjecture를 조사한다. 아울러, 모든 self-orthogonal 모듈 $T$가 $|T| = n(A)$일 때 Wakamatsu tilting이라는 에노모토(Enomoto)의 Self-orthogonal Wakamatsu-tilting Conjecture를 검토한다.

방법론
저자들은 유도 범주(derived categories)와 모듈 범주(module categories) 사이를 잇는 다단계 전략을 사용하여 반례를 구축한다:

1. 유도-모듈 전이(Derived-to-Module Transfer): 구축은 유리 곡면(rational surface, 구체적으로 10개의 점으로 blow-up 된 $\mathbb{P}^2$) 상의 최대 길이(maximal length)를 갖는 비완전 예외적 집합(non-full exceptional collection)으로부터 시작된다(Krah에 의해 확립됨). 칼크(Kalck)는 이것이 $\text{thick}(P^\bullet) \neq K^b(\text{proj } A)$를 만족하는 $A$ 위의 전계수 presilting 복합체(full-rank presilting complex) $P^\bullet$를 생성함을 관찰했다.
2. 텐서 곱 구축(Tensor Product Construction): 이 복합체를 모듈 범주로 전이하기 위해, 저자들은 $B = A \otimes_k R$인 새로운 대수 $B$를 정의한다 (여기서 $R$은 선형 방향 쿼리(linearly oriented quiver)의 radical-square-zero path algebra이다). 저자들은 $B$-모듈과 특정 구간에 지지된(supported) $A$-복합체의 호모토피 범주 사이의 동치 관계를 활용한다.
3. Ext-Homotopy 비교: 핵심적인 기술적 도구는 $B$ 상의 확장군(extension groups)과 복합체 상의 morphism 사이의 비교이다. 구체적으로, $P^\bullet$를 $B$-모듈로 볼 때 $\text{Ext}^r_B(P^\bullet, P^\bullet) \cong \text{Hom}_{K^b}(P^\bullet, P^\bullet[r])$임을 증명한다. 이를 통해 복합체의 self-orthogonality 및 사영 차원 성질을 모듈 설정에서도 보존할 수 있다.
4. One-Point Extensions: 거의 전체 계수 사례와 Faithful Conjecture에 대한 반례를 생성하기 위해, 저자들은 one-point extension 구축법을 사용한다.
   • Faithful Conjecture의 경우: 전체 계수 모듈의 비단사 근사(non-monomorphic approximation)를 사용하여 one-point extension $\Gamma$를 구성한다. 이는 결과적인 모듈이 self-orthogonal하고 full-rank이지만 non-faithful가 되도록 강제한다.
   • 거의 전체 계수(Almost-Full-Rank)의 경우: regular one-point extension을 사용하여 full-rank 반례를 더 큰 대수에 임베딩함으로써, 대수의 rank는 하나 증가시키되 모듈의 rank는 일정하게 유지하여, 틸팅 완결이 없는 almost-full-rank 모듈을 생성한다.

주요 기여 및 결과

• 전체 계수 질문($C_n$)에 대한 부정적 답변: 저자들은 유한 차원 기본 연결된 quasi-hereditary 대수 $B$와, $|M| = n(B)$인 faithful한 기본 pretilting 모듈 $M$을 구성하였으나, $M$은 어떤 tilting module의 직합도 되지 않는다(정리 1.2). 이는 일반적인 유한 차원 설정, 심지어 quasi-hereditary 대수 클래스 내에서도 rank-tilting-completion 성질에 대한 첫 번째 반례를 제공한다.
• Enomoto의 추측 반박: 위에서 구성된 모듈 $M$은 Wakamatsu tilting이 아님이 밝혀졌다. 결과적으로, 모든 full-rank self-orthogonal 모듈은 W-tilting이라는 에노모토의 추측은 거짓이며, 이는 연결된 quasi-hereditary 대수 위의 faithful한 기본 모듈에 대해서도 마찬가지이다(따름정리 5.2).
• Self-orthogonal Faithful Conjecture에 대한 부정적 답변: full-rank 반례에 one-point extension reduction을 적용함으로써, 저자들은 $\text{Ann}_\Gamma(T) \neq 0$인 기본 self-orthogonal 모듈 $T$를 $|T| = n(\Gamma)$로서 구성하였다(정리 1.3). 이는 full-rank self-orthogonal 모듈이 반드시 faithful해야 한다는 추측을 반증한다.
• 추측 간의 동치성: 본 논문은 모든 유한 차원 대수에 대한 보편적 진술로서, 에노모토의 Self-orthogonal Wakamatsu-tilting Conjecture와 Self-orthogonal Faithful Conjecture가 동치임을 확립한다(따름정리 6.5). 한 쪽의 실패는 one-point extension reduction을 통해 다른 쪽의 실패를 의미한다.
• 거의 전체 계수 질문($C_{n-1}$)에 대한 부정적 답변: 저자들은 $|L| = n(\Lambda) - 1$인 기본 pretilting 모듈 $L$을 갖는 유한 차원 기본 연결된 quasi-hereditary 대수 $\Lambda$를 구성하였으며, $L$은 틸팅 완결을 갖지 않는다(정리 1.4). 이는 틸팅 완결의 실패가 모듈이 단 하나의 summand만을 결여한 경우에도 지속됨을 보여준다.

의의
본 논문은 일반화된 설정에서 pretilting 모듈의 완결에 관한 오랜 미해결 문제들을 해결한다. 고전적 틸팅 이론(Bongartz의 정리)은 사영 차원이 $\le 1$인 경우 완결을 보장하지만, 본 연구는 일반화된 틸팅 모듈의 경우 수치적 조건 $|M| = n(A)$ (또는 심지어 $n(A)-1$)만으로는 틸팅 보충의 존재를 보장하기에 불충분함을 입증한다.

나아가, 본 연구는 full-rank self-orthogonal 모듈이 Wakamatsu tilting이 아닐 수도 있고 faithful하지 않을 수도 있음을 보여줌으로써 self-orthogonal 모듈의 지형을 명확히 한다. self-orthogonal 모듈에 관한 두 주요 추측 사이의 동치 관계를 확립한 것은, 이들의 해결(혹은 실패)이 특정 모듈의 속성이 아니라 유한 차원 대수의 구조에 내재된 문제임을 시사하며, 두 문제를 통합한다. 이 구축법은 대수 기하학(rational surfaces), 유도 범주(derived categories/presilting complexes), 그리고 표현론(tilting theory) 사이의 깊은 연결 관계에 기초하고 있으며, 틸팅 이론에서 반례를 생성하기 위한 강력한 프레임워크를 제공한다.