[논문 리뷰] Triangular Matrix Categories I: Dualizing Varieties and generalized one-point extension

Alicia León-Galeana, M. Ortiz-Morales외 1명|arXiv (Cornell University)|2019. 03. 10.

Algebraic structures and combinatorial models참고 문헌 44인용 수 4

한 줄 요약

이 논문은 추가 범주에 대한 삼각형 행렬 범주를 도입하여, 여러 개의 대상이 있는 링으로의 삼각형 행렬 대수의 일반화를 시도한다. 두 개의 추가 범주가 이중화 다양체이고, 이중화 모듈러스가 특정 조건을 만족할 경우, 결과적으로 삼각형 행렬 범주도 이중화 다양체가 되며, 이는 아우라우저–라이텐 시퀀스의 존재를 보장한다. 이는 표현 이론에서의 한 점 확장을 범주적이고 함자론적 프레임워크로 일반화하는 것이다.

ABSTRACT

Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in \mathsf{Mod}(\mathcal{U}\otimes \mathcal{T}^{op})$ we construct the triangular matrix category $\mathbfΛ:=\left[\begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix} ight]$. First, we prove that there is an equivalence $\Big( \mathsf{Mod}(\mathcal{T}), \mathbb{G}\mathsf{Mod}(\mathcal{U})\Big) \simeq \mathrm{Mod}(\mathbfΛ)$. One of our main results is that if $\mathcal{U}$ and $\mathcal{T}$ are dualizing $K$-varieties and $M\in \mathsf{Mod}(\mathcal{U}\otimes \mathcal{T}^{op})$ satisfies certain conditions then $\mathbfΛ:=\left[\begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix} ight]$ is a dualizing variety (see theorem 6.10). In particular, $\mathrm{mod}(\mathbfΛ)$ has Auslander-Reiten sequences. Finally, we apply the theory developed in this paper to quivers and give a generalization of the so called one-point extension algebra.

연구 동기 및 목표

• 추가 범주를 이용하여 여러 대상이 있는 링의 맥락에서 삼각형 행렬 대수를 일반화하기 위해.
• 추가 범주 $\mathcal{U}, \mathcal{T}$ 와 이중 모듈러스 $M \in \mathsf{Mod}(\mathcal{U} \otimes \mathcal{T}^{op})$ 에 대해 삼각형 행렬 범주 $\mathbf{\Lambda} = \left[\begin{smallmatrix}\mathcal{T}&0\\ M&\mathcal{U}\end{smallmatrix}\right]$ 를 정의하기 위해.
• 삼각형 행렬 범주 $\mathbf{\Lambda}$ 가 이중화 다양체가 되는 조건을 확립하여, 호모로지적 이중성과 아우라우저–라이텐 시퀀스의 존재를 보장하기 위해.
• 표현 이론에서의 고전적 한 점 확장 구조를 범주적 및 함자론적 프레임워크로 일반화하기 위해.

제안 방법

• 삼중체 $(A, B, f)$ 의 형태로 삼각형 행렬 범주 $\mathbf{\Lambda}$ 를 구성하며, 여기서 $f: M \otimes_{\mathcal{T}} A \to B$ 는 $\mathcal{U}$-모듈러스 내의 사상이다.
• $\Big{(}\mathsf{Mod}(\mathcal{T}), \mathbb{G}\mathsf{Mod}(\mathcal{U})\Big{)} \simeq \mathrm{Mod}(\mathbf{\Lambda})$ 의 동치를 확립하여, $\mathcal{T}$ 와 $\mathcal{U}$ 에 대한 모듈러스 범주를 $\mathbf{\Lambda}$ 에 대한 모듈러스 범주와 연결한다.
• 이중화 $K$-다양체의 개념을 사용하며, 범주 $\mathcal{C}$ 에 대해 $\mathrm{mod}(\mathcal{C})$ 와 $\mathrm{mod}(\mathcal{C}^{op})$ 사이의 이중성 함자 함수를 요구한다.
• 유도된 함자 $L^n$ 과 Ext 함자 함수를 사용하여 $\mathrm{Ext}^n_{\mathcal{C}}(-,C)$ 와 $\mathrm{Ext}^n_{\mathcal{C}}(C,-)$ 가 유한히 표현 가능하다는 것을 확인함으로써, 이중화 성질을 보장한다.
• 범주 $\mathcal{C}$ 가 이중화 다양체일 경우, 삼각형 행렬 범주 $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Hom}}\\ \mathcal{C}\end{smallmatrix}\right]$ 가 이중화 다양체임을 증명한다.
• 유도된 함자 동치 $\mathbb{D}_{\mathcal{C}^{op}}\overline{\mathbb{F}}(B) \simeq L^n(\mathbb{D}_{\mathcal{C}^{op}}(B))$ 를 적용하여, 행렬 범주 내의 이중성 구조를 검증한다.

실험 결과

연구 질문

• RQ1 범주 $\mathcal{U}$ 와 $\mathcal{T}$ 가 이중화 $K$-다양체일 때, 삼각형 행렬 범주 $\mathbf{\Lambda} = \left[\begin{smallmatrix}\mathcal{T}&0\\ M&\mathcal{U}\end{smallmatrix}\right]$ 가 이중화 다양체가 되는 조건은 무엇인가?
• RQ2 표현 이론에서의 고전적 한 점 확장 구조는 추가 범주 및 함자 범주의 맥락으로 어떻게 일반화될 수 있는가?
• RQ3 유도된 함자 $L^n$ 과 $\mathrm{Ext}^n$ 이 삼각형 행렬 범주의 이중화 성질을 보장하는 데 어떤 역할을 하는가?
• RQ4 모듈러스 간의 사상(예: 단사 사상 또는 전사 사상)의 범주는 삼각형 행렬 범주로서 이중화 구조를 갖출 수 있는가?
• RQ5 $\mathcal{C}$ 에서의 이중성 함자와 삼각형 행렬 범주 $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Ext}^n}\\ \mathcal{C}\end{smallmatrix}\right]$ 에 유도된 이중성 간의 관계는 무엇인가?

주요 결과

• 범주 $\mathcal{U}$ 와 $\mathcal{T}$ 가 이중화 $K$-다양체이고, $M$ 이 특정한 유한성 및 표현 가능성 조건을 만족할 경우, 삼각형 행렬 범주 $\mathbf{\Lambda} = \left[\begin{smallmatrix}\mathcal{T}&0\\ M&\mathcal{U}\end{smallmatrix}\right]$ 는 이중화 다양체이다.
• $\Big{(}\mathsf{Mod}(\mathcal{T}), \mathbb{G}\mathsf{Mod}(\mathcal{U})\Big{)} \simeq \mathrm{Mod}(\mathbf{\Lambda})$ 의 동치가 성립하며, 이는 행렬 링에 대한 모듈러스 범주의 일반화를 보여준다.
• 범주 $\mathcal{C}$ 가 이중화 $K$-다양체일 경우, $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Hom}}\\ \mathcal{C}\end{smallmatrix}\right]$ 는 이중화 다양체이다.
• 이중화 $K$-다양체 $\mathcal{C}$ 가 충분한 프로젝티브를 갖는 경우, $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Ext}^n}\\ \mathcal{C}\end{smallmatrix}\right]$ 는 $\mathrm{Ext}^n_{\mathcal{C}}(-,C)$ 와 $\mathrm{Ext}^n_{\mathcal{C}}(C,-)$ 가 모든 $C \in \mathcal{C}$ 에 대해 유한히 표현 가능할 경우 이중화된다.
• 행렬 범주에서의 이중성은 $\mathbb{D}_{\mathcal{C}^{op}}\overline{\mathbb{F}}(B) \simeq L^n(\mathbb{D}_{\mathcal{C}^{op}}(B))$ 를 만족하며, 이는 $\mathbb{D}_{\mathcal{C}^{op}}(B)$ 가 오른쪽 완전함수일 경우 성립한다.
• 특히 $n=1$ 인 경우, 범주 $\left[\begin{smallmatrix}\mathcal{C}&0\\ \widehat{\mathbbm{Ext}^1}\\ \mathcal{C}\end{smallmatrix}\right]$ 는 이중화이며, 이 이중성은 첫 번째 유도된 함자와 호환된다.