[논문 리뷰] Tilting modules and universal localization

Lidia Angeleri Hügel, Maria Archetti|ArXiv.org|2009. 08. 13.

Algebraic structures and combinatorial models참고 문헌 11인용 수 3

한 줄 요약

이 논문은 프로젝티브 차원 1을 갖는 기울임 모듈과 보편 국소화 사이의 깊은 연결 고리를 확립하며, 모든 이러한 기울임 모듈이 자연스럽게 프로젝티브 차원 1을 갖는 유한 생성 모듈의 집합에 대한 보편 국소화로부터 유도됨을 증명한다. 주요 기여는 아르틴 대수와 프뤼퍼 도메인에서 기울임 모듈 $S \oplus S/R$ 형태가 정확히 보편 국소화와 완전한 가브리엘 국소화에 대응함을 보여주는 특성화이다.

ABSTRACT

We show that every tilting module of projective dimension one over a ring R is associated in a natural way to the universal localization (in the sense of Schofield) of R at a set of finitely presented modules of projective dimension one. We then investigate tilting modules arising from universal localization. Furthermore, we discuss the relationship between universal localization and the localization given by a perfect Gabriel topology. Finally, we give some applications to Artin algebras and to Pruefer domains.

연구 동기 및 목표

• 임의의 링에서 프로젝티브 차원 1을 갖는 기울임 모듈과 보편 국소화 사이의 구조적 관계를 명확히 하기.
• 기울임 모듈 $S \oplus S/R$ 형태가 언제 보편 국소화 또는 완전한 가브리엘 위상에서 유도되는지 조사하기.
• 특히 아르틴 대수와 프뤼퍼 도메인과 같은 특수한 링의 클래스에서 기울임 모듈 구성과 국소화 이론 사이의 동치관계를 수립하기.
• 보편 국소화와 완전한 국소화를 활용하여 프뤼퍼 도메인에서 살체의 기울임 모듈 결과를 복원하고 일반화하기.
• 관련 모듈 수열의 호모로지 조건을 통해 기울임 클래스가 완전한 가브리엘 위상 또는 보편 국소화에서 유도되는지의 조건을 특성화하기.

제안 방법

• 기울임 모듈 $T$를 링 에피모르피즘 $\lambda: R \to S$와 연결하기 위해 수직 카테고리 구성 $\mathcal{X}_{T_1} = \{M \mid \operatorname{Hom}_R(T_1,M) = \operatorname{Ext}^1_R(T_1,M) = 0\}$을 사용한다.
• 가브리엘과 데 라 페냐의 결과를 적용하여 $\mathcal{X}_{T_1}$를 링 $S$ 위의 모듈 카테고리로 실현하고, $\lambda$가 프로젝티브 차원 1을 갖는 유한 생성 모듈의 집합 $\mathcal{U}$에 대한 보편 국소화 $R \to R_{\mathcal{U}}$임을 보인다.
• 기울임 모듈 $S \oplus S/R$와 완전한 가브리엘 국소화 $R \to Q_{\mathcal{G}}$ 사이의 동치관계를 $T_0, T_1 \in \operatorname{Add}T$에 대한 호모로지 조건과 $\operatorname{Hom}_R(T_1, T_0)$의 영성으로 수립한다.
• 프뤼퍼 도메인의 성질을 활용하여, 유한 생성 순환 모듈의 집합에 대한 보편 국소화가 항상 완전한 가브리엘 위상에서 유도됨을 보인다.
• 프뤼퍼 도메인에서는 기울임 클래스가 유한형의 완전한 가브리엘 위상과 일대일 대응되며, $\mathcal{L}$-가분 모듈이 $\operatorname{Gen}T$와 일치함을 이용한다.
• 프뤼퍼 도메인에서 $\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$이 성립하는 것과 $T \simeq Q_{\mathcal{L}} \oplus Q_{\mathcal{L}}/R$가 동치임을 증명하여, 살체의 결과를 따름으로써 복원한다.

실험 결과

연구 질문

• RQ1 임의의 링 $R$에서 프로젝티브 차원 1을 갖는 모든 기울임 모듈이 프로젝티브 차원 1을 갖는 유한 생성 모듈의 집합에 대한 보편 국소화로부터 유도될 수 있는가?
• RQ2 기울임 모듈 $S \oplus S/R$가 완전한 가브리엘 위상 $\mathcal{G}$에서 유도되는 조건은 무엇인가?
• RQ3 프뤼퍼 도메인에서 보편 국소화와 완전한 가브리엘 국소화 사이의 관계는 어떻게 되는가?
• RQ4 프뤼퍼 도메인 $R$의 유한형 가브리엘 위상 $\mathcal{L}$에 대한 국소화 $Q_{\mathcal{L}}$가 프로젝티브 차원 1 이하인 조건은 언제인가?
• RQ5 기울임 모듈 $S \oplus S/R$ 형태는 관련 모듈 수열의 호모로지적 및 카테고리적 성질을 통해 어떻게 특성화될 수 있는가?

주요 결과

• 임의의 링 $R$에서 프로젝티브 차원 1을 갖는 모든 기울임 모듈 $T$는 프로젝티브 차원 1을 갖는 유한 생성 모듈의 집합 $\mathcal{U}$에 대한 보편 국소화 $R \to R_{\mathcal{U}}$와 관련된다.
• 아르틴 대수에서, 형식 $S \oplus S/R$를 갖는 모든 유한 생성 기울임 모듈은 유한 생성 모듈의 집합에 대한 보편 국소화로부터 유도된다.
• 프뤼퍼 도메인에서, $\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$인 모든 기울임 모듈 $T$는 $Q_{\mathcal{L}} \oplus Q_{\mathcal{L}}/R$와 동치이며, 이는 살체의 결과를 복원한다.
• 프뤼퍼 도메인에서, 유한 생성 순환 모듈의 집합에 대한 보편 국소화는 항상 완전한 가브리엘 위상에서 유도된다.
• 기울임 모듈 $T$가 형식 $S \oplus S/R$를 갖는 것은, $T_0, T_1 \in \operatorname{Add}T$, $\operatorname{Hom}_R(T_1, T_0) = 0$, 그리고 $\mathcal{X}_{T_1}$가 지라우드 부분카테고리인 정확한 수열 $0 \to R \to T_0 \to T_1 \to 0$이 존재할 때이고, 오직 그 때에만 완전한 가브리엘 위상 $\mathcal{G}$에서 유도된다.
• 프뤼퍼 도메인에서 $\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$, $T$가 완전한 국소화에서 유도됨, $T$가 보편 국소화에서 유도됨, 그리고 그러한 수열의 존재는 모두 동치이다.