[논문 리뷰] A Description of Totally Reflexive Modules for a Class of non-Gorenstein Rings

Rangel Tracy, Alain Denise|arXiv (Cornell University)|2015. 10. 16.

Algebraic structures and combinatorial models참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $i \geq 2$에 대해 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$ 형태의 비-골레르스타인 국소환 위에서의 완전 반사 모듈러스를 연구한다. 이러한 모듈러스는 $Ix + \sum B_j y_j$ 형태의 표현 행렬을 갖는다. 이를 통해 $n$개의 원소로 최소 생성되는, 프로젝티브 합성항을 가지지 않는 완전 반사 모듈러스의 동형류와 잔여체 $k$ 위의 $n \times n$ 행렬 $i$-성분 조합의 특정 동치 관계에 대한 동치류 사이의 전단사 사상이 수립된다.

ABSTRACT

We consider local non-Gorenstein rings of the form $(S_i,\mathfrak{n}_i)=k[X, Y_1, \ldots ,Y_i]/\left(X^2, (Y_1, \ldots, Y_i)^2 ight), $ where $i\geq 2.$ We show that every totally reflexive $S_i$-module has a presentation matrix of the form $I x + \sum_{j=1}^i B_j y_j, $ where $I$ is the identity matrix and $B_j$ is an square matrix with entries in the residue field, $k$. From there, we prove that there exists a bijection between the set of isomorphism classes of totally reflexive modules (without projective summands) over $S_i$ which are minimal generated by $n$ elements and the set of $i$-tuples of $n imes n$ matrices with entries in $k$ modulo a certain equivalence relation.

연구 동기 및 목표

• 비-골레르스타인 국소환 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$ ($i \geq 2$) 위에서의 완전 반사 모듈러스의 구조를 이해하는 것.
• 완전 반사 $S_i$-모듈러스의 표현 행렬을 항등행렬과 잔여체 $k$ 위의 행렬로 표현하는 것.
• 최소 완전 반사 $S_i$-모듈러스(프로젝티브 합성항을 가지지 않는 것)의 동형류와 $k$ 위의 $i$-성분 조합의 $n \times n$ 행렬 동치류 사이의 전단사 사상을 수립하는 것.

제안 방법

• 반환 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$의 구조를 분석하여 모듈러스 표현에 대한 제약 조건을 규명하는 것.
• 완전 반사 $S_i$-모듈러스를 항등행렬 $I$와 잔여체 $k$ 위의 행렬 $B_j$를 사용한 $Ix + \sum_{j=1}^i B_j y_j$ 형태의 표현 행렬로 표현하는 것.
• 행렬 형태를 이용하여 프로젝티브 합성항을 가지지 않는 완전 반사 모듈러스의 동형류를 매개변수화하는 것.
• $k$ 위의 $n \times n$ 행렬의 $i$-성분 조합에 대해 모듈러스 동형류에 대응하는 동치 관계를 정의하는 것.
• 최소 완전 반사 $S_i$-모듈러스의 동형류와 이러한 행렬 조합의 동치류 사이의 전단사 사상을 수립하는 것.
• 환의 대수적 제약 조건을 활용하여 모든 완전 반사 모듈러스가 이러한 행렬 표현을 가져야 한다는 것을 보이는 것.

실험 결과

연구 질문

• RQ1 비-골레르스타인 환 $S_i = k[X, Y_1, \ldots, Y_i]/(X^2, (Y_1, \ldots, Y_i)^2)$ ($i \geq 2$) 위에서의 완전 반사 모듈러스의 표현 행렬의 구조는 무엇인가?
• RQ2 최소 완전 반사 $S_i$-모듈러스(프로젝티브 합성항을 가지지 않는 것)의 동형류는 어떻게 매개변수화할 수 있는가?
• RQ3 해당 동형류와 잔여체 $k$ 위의 행렬 조합 사이에 자연스러운 대응 관계가 존재하는가?
• RQ4 $k$ 위의 $n \times n$ 행렬의 $i$-성분 조합에 대해 모듈러스 동형류에 대응하는 동치 관계는 무엇인가?
• RQ5 모든 완전 반사 $S_i$-모듈러스가 $B_j$가 $k$ 위의 행렬인 $Ix + \sum B_j y_j$ 형태로 표현될 수 있는가?

주요 결과

• 모든 완전 반사 $S_i$-모듈러스는 항등행렬 $I$와 잔여체 $k$의 원소를 갖는 $n \times n$ 행렬 $B_j$를 사용하여 $Ix + \sum_{j=1}^i B_j y_j$ 형태의 표현 행렬을 갖는다.
• 프로젝티브 합성항을 가지지 않으며 $n$개의 원소로 최소 생성되는 완전 반사 $S_i$-모듈러스의 동형류 집합과, 특정한 동치 관계에 대한 $k$ 위의 $n \times n$ 행렬 $i$-성분 조합의 동치류 집합 사이에 전단사 사상이 존재한다.
• 모듈러스가 최소이면서 프로젝티브 합성항을 가지지 않는 한, 최소 생성집합의 선택에 관계없이 매개변수화가 독립적이다.
• 환 $S_i$의 구조는 모든 완전 반사 모듈러스가 이 행렬 형태로 제약을 받는다는 것을 강제한다.
• 행렬 조합의 동치 관계는 대응하는 모듈러스의 동형류를 정확히 포괄하므로, 완전한 분류를 제공한다.
• 결과적으로, 잔여체 위의 행렬 데이터를 통해 최소 완전 반사 $S_i$-모듈러스(프로젝티브 합성항을 가지지 않는 것)의 완전한 대수적 분류가 이루어진다.