[논문 리뷰] Some asymptotic properties of the Rees powers of a module

Ana L. Branco Correia, Santiago Zarzuela|ArXiv.org|2004. 08. 25.

Commutative Algebra and Its Applications참고 문헌 11인용 수 5

한 줄 요약

이 논문은 국소환 위의 자유모듈의 부분모듈에 대한 Rees 거듭제곱의 점근적 성질을 확립하며, 이는 Burch의 부등식을 아이디얼에서 모듈로 확장한 것이다. 이 논문은 $ R $ 과 Rees 대수 $ \mathcal{R}_G(E) $ 가 Cohen-Macaulay일 경우, 부분모듈 $ E \subset G \simeq R^e $ 의 해석적 전개 $ \ell_G(E) $ 가 $ \ell_G(E) \leq d + e - 1 - \inf_{n \geq 1} \operatorname{depth}(G_n / E_n) $ 를 만족함을 증명한다. 이 결과는 Cowsik-Nori의 완전교차 모듈러에 대한 기준을 확장하는 데 응용된다.

ABSTRACT

Let R be a commutative ring and let G be a free R-module with positive rank e. For any R-submodule E of G we may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n of the image, that we call the n-th Rees powers of E. In this work we prove some asymptotic properties of the modules E_n, which extend well known similar ones for the case of ideals, among them Burch's inequality for the analytic spread.

연구 동기 및 목표

• 기존에 아이디얼에 대해 제시된 Burch의 부등식을 자유모듈의 부분모듈로 일반화하는 것.
• 자연수 $ n $ 에 대해 부분모듈 $ E \subset G $ 의 Rees 거듭제곱 $ E_n $ 에 의한 몫 $ G_n / E_n $ 의 깊이의 점근적 행동을 연구하는 것.
• 완전교차 아이디얼에 대한 Cowsik-Nori 기준을 아이디얼 모듈러의 경우로 확장하는 것.
• 특히 깊이와 해석적 전개와 관련하여 부분모듈의 Rees 대수가 Cohen-Macaulay가 되는 조건을 설정하는 것.

제안 방법

• 자연적인 사상에 의한 대칭대수 $ \mathcal{S}_R(E) \to \mathcal{S}_R(G) $ 의 상으로서 Rees 대수 $ \mathcal{R}_G(E) $ 를 정의하고, 그 차수 성분을 $ E_n $ 으로 표기한다.
• Katz와 Naude가 확립한 $ G_n / E_n $ 의 관련 소수의 안정성에 기반하여 깊이 안정성을 분석한다.
• Brodmann의 깊이 안정성 방법을 응용하여, 아이디얼에서의 깊이 안정성 결과를 모듈로 확장한다.
• 해석적 섬유환 $ \mathcal{F}_G(E) = \mathcal{R}_G(E)/\mathfrak{m}\mathcal{R}_G(E) $ 를 분석하고, 그 차원과 $ G_n / E_n $ 의 깊이의 하한과의 관계를 통해 Burch의 부등식을 모듈에 대해 증명한다.
• 감소 이론과 Fitting 이상수를 활용하여 아이디얼 모듈러에 대한 이격도와 해석적 이격도를 정의한다.
• 이 결과를 응용하여, Cohen-Macaulay 국소환에서 아이디얼 모듈러가 완전교차임과 동시에 무한히 많은 $ n $ 에 대해 $ G_n / E_n $ 가 Cohen-Macaulay임이 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 Burch의 부등식이 아이디얼에 대해 성립하는 것을 자유모듈의 부분모듈로 확장할 수 있는가, 특히 해석적 전개와 몫 모듈러의 깊이 측면에서?
• RQ2 부분모듈러 $ E \subset G $ 에 대해 Rees 거듭제곱 $ G_n / E_n $ 의 깊이는 점근적으로 어떻게 행동하는가? 큰 $ n $ 에서 안정된 값이 존재하는가?
• RQ3 완전교차 아이디얼에 대한 Cowsik-Nori 기준을 아이디얼 모듈러의 경우로 일반화할 수 있는가?
• RQ4 Rees 대수 $ \mathcal{R}_G(E) $ 가 Cohen-Macaulay가 되는 조건은 무엇이며, 이는 $ G_n / E_n $ 의 깊이와 어떻게 관련되는가?
• RQ5 아이디얼 모듈러의 해석적 이격도와 그 Rees 거듭제곱의 깊이 사이의 관계는 무엇인가?

주요 결과

• 자연수 $ E \subset G \simeq R^e $ 에 대해 해석적 전개 $ \ell_G(E) $ 는 $ \ell_G(E) \leq d + e - 1 - \inf_{n \geq 1} \operatorname{depth}(G_n / E_n) $ 를 만족하며, 이는 Burch의 부등식을 모듈로 확장한 것이다.
• 만약 $ R $ 과 $ \mathcal{R}_G(E) $ 가 모두 Cohen-Macaulay일 경우, 이 부등식에서 등호가 성립한다.
• $ G_n / E_n $ 의 깊이는 큰 $ n $ 에서 안정화되며, $ G_n / E_n $ 의 관련 소수 집합 역시 안정화된다.
• 아이디얼 모듈러 $ E $ 는 $ \operatorname{depth}(G_n / E_n) = d - \operatorname{ht}F_e(E) $ 가 무한히 많은 $ n $ 에 대해 성립할 경우, 등가다중성을 가진다.
• Cohen-Macaulay 국소환에서 아이디얼 모듈러 $ E $ 가 완전교차임과 동시에 무한히 많은 $ n $ 에 대해 $ G_n / E_n $ 가 Cohen-Macaulay임이 동치이며, 이는 $ E $ 가 일반적으로 완전교차임을 만족할 경우 성립한다.
• 일반적인 완전교차 조건을 가정할 경우, 완전교차 모듈러에 대한 기준은 모든 $ n > 0 $ 에 대해 $ G_n / E_n $ 가 Cohen-Macaulay임과 동치이며, 또는 무한히 많은 $ n $ 에 대해 성립함과 동치이다.