[논문 리뷰] Divisorial linear algebra of normal semigroup rings

Winfried Bruns, Joseph Gubeladze|ArXiv.org|2000. 01. 10.

Commutative Algebra and Its Applications참고 문헌 9인용 수 6

한 줄 요약

이 논문은 정규 반군환에서 임의의 고정된 bound C에 대해 최대 C개의 생성자를 가진 유사환원 이상의 수가 유한함을 증명한다. 조합론적이고 다중등급 힐베르트 함수 기법을 사용하여, 유한한 수의 유사환원 클래스만이 코hen–맥컬레이임을 증명하고, 정의하는 원뿔의 면 구조를 통해 유사환원 이상의 최소 깊이를 특성화한다.

ABSTRACT

We investigate the minimal number of generators $μ$ and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound $C$ there exist, up to isomorphism, only finitely divisorial ideals $I$ such that $μ(I)\le C$. It follows that there exist only finitely many Cohen--Macaulay divisor classes. Moreover we determine the minimal depth of all divisorial ideals and the behaviour of $μ$ and depth in ``arithmetic progressions'' in the divisor class group. The results are generalized to more general systems of linear inequalities whose homogeneous versions define the semigroup in a not necessarily irredundant way. The ideals arising this way can also be considered as defined by the non-negative solutions of an inhomogeneous system of linear diophantine equations. We also give a more ring-theoretic approach to the theorem on minimal number of generators of divisorial ideals: it turns out to be a special instance of a theorem on the growth of multigraded Hilbert functions.

연구 동기 및 목표

• 정규 반군환에서 고정된 생성자 수의 유한성에 대한 유사환원 이상의 수를 결정하는 것.
• 정의하는 유리 원뿔의 면 구조를 사용하여 유사환원 이상의 최소 깊이를 특성화하는 것.
• 조합론적이고 힐베르트 함수 논증을 사용하여, 코hen–맥컬레이 모듈에 해당하는 유한한 수의 유사환원 클래스만 존재함을 증명하는 것.
• 비균일 선형 디오판틴 부등식계로 정의된 유사환원 이상의 결과를 일반화하는 것.
• 유사환원 이상의 최소 생성자 수와 다중등급 힐베르트 함수의 성장 사이의 링 이론적 연결 고리를 확립하는 것.

제안 방법

• 비균일 선형 부등식계의 정수해 집합 T에 대해 모듈 KT로 유사환원 이상을 분석하는 것.
• 반군환 R을 그 유사환원 클래스군 Cl(R)에 의한 다중등급 다항식환 P에 표준적으로 통합하는 것.
• 다중등급 힐베르트 함수 이론을 적용하여 산술등차수열을 따라 힐베르트 함수가 C 이하로 유계이면, 그러한 값을 가진 유한한 수의 등급 성분이 존재함을 보이는 것.
• 특히 양의 차원을 가진 컴팩트 면에 집중하여, 유사환원 이상과 관련된 볼록 다면체에 대한 조합론적 논증을 사용하는 것.
• 포아송 유사형 자기형사상을 사용하여 원뿔형 유사환원 이상을 자기형사상의 상에 대한 R의 분해 성분으로 특성화하는 것.
• 문제를 S의 분수군의 부분반군으로 환원하고, 질량 조건 하에서 그들의 합집합의 갭을 분석하는 것.

실험 결과

연구 질문

• RQ1 고정된 bound C에 대해, 정규 반군환에서 최대 C개의 생성자를 가진 유사환원 이상이 유한한가?
• RQ2 정규 반군환에서 어떤 유사환원 이상의 최소 깊이는 얼마이며, 이는 원뿔의 면 구조에 의해 어떻게 결정되는가?
• RQ3 유사환원 클래스군에서 코hen–맥컬레이 모듈을 나타내는 클래스가 유한한가?
• RQ4 유사환원 클래스군의 산술등차수열을 따라 μ(I)와 깊이의 행동은 어떻게 되는가?
• RQ5 반군을 다항식환에 순수 통합하는 경우, 어떤 조건에서 그 코셋 모듈이 유사환원 이상이 되는가?

주요 결과

• 모든 양의 정수 C에 대해, μ(I) ≤ C를 만족하는 정규 반군환의 유사환원 이상 I는 유한하다.
• 모든 유사환원 이상의 최소 깊이는 반군의 원뿔이 {0}과의 교차에서 생성하는 원뿔의 면 수의 최솟값과 같다.
• 유사환원 클래스군에서 코hen–맥컬레이 모듈을 나타내는 클래스는 생성자 수가 유한한 이상의 유한성에 기인하여 유한하다.
• 유사환원 클래스군의 산술등차수열을 따라 μ(I)와 깊이의 행동은 잘 제어되어 있으며 주기적이다.
• 유사환원 이상의 최소 생성자 수는 다중등급 힐베르트 함수의 성장에 의해 결정되며, 이는 유한성 결과에 대한 대체 증명을 제공한다.
• 원뿔형 유사환원 이상—즉, 부등식 σ_i(z) ≥ σ_i(β)로 정의된 것—은 코hen–맥컬레이이며, R의 포아송 유사형 분해의 정확히 해당 성분에 해당한다.