[논문 리뷰] Commuting matrices, and modules over Artinian local rings

George M. Bergman|arXiv (Cornell University)|2013. 08. 31.

Rings, Modules, and Algebras참고 문헌 8인용 수 4

한 줄 요약

이 논문은 아르틴 국소 환 위에서 가환 내림사슬을 갖는 자기변환들로 생성된 대수의 구조를 연구함으로써 게르스텐하버의 가환 행렬에 대한 정리의 일반화를 시도한다. 특히, 가환 국소 아르틴 환 위에서의 충실 모듈의 길이가 그 고리의 소클의 길이에 의해 유계임을 증명함으로써, 가환 행렬로 생성된 행렬 대수의 차원에 대한 날카로운 유계를 제공한다.

ABSTRACT

Gerstenhaber showed in 1961 that any commuting pair of n x n matrices over a field k generates a k-algebra A of k-dimension \leq n. A well-known example shows that the corresponding statement for 4 matrices is false. The question for 3 matrices is open. Gerstenhaber's result can be looked at as a statement about the relation between the length of a 2-generator finite-dimensional commutative k-algebra A and the lengths of faithful A-modules. Wadsworth generalized this result to a larger class of commutative rings than those generated by two elements over a field. We recover his generalization, using a slightly improved argument. We then explore some examples, raise further questions, and make a bit of progress toward answering some of them. An appendix gives some results on generation and subdirect decompositions of modules over not necessarily commutative Artinian rings, generalizing a special case used in the paper. What I originally thought of as my main result turned out to have been anticipated by Wadsworth, so I probably won't submit this for publication unless I find further strong results to add. However, others may find interesting the observations, partial results, and questions noted, and perhaps make some progress on them.

연구 동기 및 목표

• 체 위의 $ n \times n $ 가환 행렬에 대한 게르스텐하버의 결과를 더 일반적인 가환 환, 특히 아르틴 국소 환으로 확장하는 것.
• 가환 국소 아르틴 환 위에서의 충실 모듈의 길이와 그로 생성된 내림사슬 대수의 구조 사이의 관계를 조사하는 것.
• 특히 고리의 소클의 길이와 관련하여, 이러한 고리 위에서의 충실 모듈의 최소 가능한 길이를 탐색하는 것.
• 특히 세 개 이상의 행렬에 대해, 가환 행렬로 생성된 대수의 차원이 행렬 크기로 유계임이 성립하는지의 틀을 제공하는 것.
• 행렬 수가 많아질 경우 게르스텐하버 유형의 유계가 실패하는 이유를 모듈 이론적 기법과 부분직합 분해를 통해 다루는 것.

제안 방법

• 유한 생성 모듈의 내림사슬에 대한 정리와 내림사슬에 대한 보조정리를 사용하여 내림사슬의 거듭제곱의 성장률을 유계로 제한한다.
• 기저 고리 $ R $ 의 이상 $ I_i $ 를 도입하여, $ f $-불변 부분모듈이 $ i $ 개의 원소로 생성될 때의 소거자 측도를 제공함으로써 내림사슬 대수의 구조를 제어한다.
• 레마 2 를 적용하여, 몫 $ R/I_i $ 의 길이를 사용하여 단일 내림사슬 $ f $ 가 생성하는 대수 $ A $ 의 $ R $-모듈 길이를 유계로 제한한다.
• 주 이상환 위에서 유한 길이 모듈의 분해를 적용하여 내림사슬 대수의 길이를 모듈의 길이와 연결한다.
• 아르틴 고리 위에서의 모듈에 대한 부분직합 분해 기법을 사용하여, 제어된 생성과 소클 크기를 갖는 충실한 부분모듈과 부분인자를 구성한다.
• 국소 아르틴 모듈과 그들의 소클에 관한 결과를 적용하여, 게르스텐하버 유형의 유계에 대한 최소 반례의 최소 생성 수와 소클 길이에 대한 유계를 도출한다.

실험 결과

연구 질문

• RQ1 체 위의 두 개의 가환 $ n \times n $ 행렬로 생성된 대수의 차원에 대한 게르스텐하버의 유계는 가환 국소 아르틴 고리로 일반화될 수 있는가?
• RQ2 가환 국소 아르틴 고리 위에서의 충실 모듈의 최소 가능한 길이는 무엇이며, 그 고리의 소클의 길이와 어떻게 관련되는가?
• RQ3 세 개의 가환 $ n \times n $ 행렬로 생성된 대수의 차원에 대해 유한한 유계가 존재하는가? 만약 존재한다면, 무엇이 그것을 결정하는가?
• RQ4 어떤 조건에서 아르틴 고리 위의 충실 모듈을 유한 생성이고 소클이 작은 부분인자로 대체할 수 있는가?
• RQ5 세 개 이상의 가환 행렬에 대해 게르스텐하버 유계가 실패하는 것은 소클 길이와 생성 수와 같은 모듈 이론적 불변량을 통해 특징지어질 수 있는가?

주요 결과

• 가환 PID $ R $ 위에서 유한 길이 모듈 $ M $ 에서 단일 내림사슬 $ f $ 가 생성하는 내림사슬 대수 $ A $ 의 길이는 $ \sum_{i=0}^{d-1} \ell(R/I_i) $ 로 유계가 되며, 여기서 $ d $ 는 $ M $ 의 최소 생성수이다.
• 소클의 길이가 $ n $ 인 가환 국소 아르틴 고리 $ A $ 에 대해, 임의의 충실한 $ A $-모듈 $ M $ 은 $ \ell(M'/J(A)M') \leq n $ 를 만족하는 충실한 부분모듈 $ M' $ 을 갖는다. 따라서 $ M' $ 은 최대 $ n $ 개의 원소로 생성된다.
• 모든 충실한 $ A $-모듈 $ M $ 은 $ \ell(\mathrm{socle}(M'')) \leq n $ 를 만족하는 충실한 몫 $ M'' $ 을 갖는다. 이는 게르스텐하버 유형의 유계에 대한 최소 반례의 소클이 유계임을 보여준다.
• 유계 $ \ell(A) \leq \ell(M) $ 가 실패하는 최소 길이의 충실한 $ A $-모듈 $ M $ 은 최대 $ n $ 개의 원소로 생성되고, 소클 길이가 최대 $ n $ 이다. 여기서 $ n = \ell(\mathrm{socle}(A)) $ 이다.
• 이러한 부분인자에 대해 생성 수와 소클 길이가 모두 유계이므로, 어떤 반례도 모두 구조적이고 크기적으로 작아야 한다는 것을 의미한다.
• 결과들은 Wadsworth 의 게르스텐하버 정리의 일반화를 복구하고 약간 향상시키며, 이상 필터링과 모듈 생성에 기반한 더 깔끔한 증명을 제공한다.