[논문 리뷰] On the structure of the fiber cone of ideals with analytic spread one

Teresa Cortadellas, Santiago Zarzuela|ArXiv.org|2006. 03. 02.

Commutative Algebra and Its Applications참고 문헌 21인용 수 3

한 줄 요약

이 논문은 Noetherian 국소환에서 분석적 차수 1을 가진 이상의 피브어 콘의 구조를 다루며, 그의 Noether 정규화인 다항식환 위에서의 모듈러 구조를 활용하여 피브어 콘의 성질을 완전히 특성화한다. 주요 기여는 피브어 콘을 모듈러로 완전히 기술함으로써, 다중도, 환원 수, Castelnuovo-Mumford 정규성, Cohen-Macaulay/Gorenstein 성질 등의 불변량을 이상 자체의 성질로 명시적으로 계산할 수 있도록 하는 것이다.

ABSTRACT

Foa a given local ring, we study the fiber cone of ideals with analytic spread one. In this case, the fiber cone has a strucure as a module over its Noether normalization which is a polynomial ring in one variable over the residue field. One may then apply the structure theorem for graded modules over a graded principal domain to get a complete descriptionof the fiber cone as a module. We analyze this structure in order to study and characterize in terms of the ideal itself the aritmetical properties and other numerical invariants of the fiber cone as multiplicity, reduction number or Castelnuovo-Mumford regularity.

연구 동기 및 목표

• 분석적 차수 1을 가진 이상의 피브어 콘의 구조를 이해하는 것.
• 피브어 콘의 산술적 및 수치적 불변량—다중도, 환원 수, Castelnuovo-Mumford 정규성 등—을 이상의 내재된 성질을 통해 특성화하는 것.
• 피브어 콘의 Cohen-Macaulay, Gorenstein, 또는 Buchsbaum 성질을 이상 이론적 자료에 기반해 결정하는 조건을 규명하는 것.
• 피브어 콘을 그의 Noether 정규화인 일변수 다항식환 위의 완전한 모듈러 이론적 기술을 제공하는 것.

제안 방법

• 주 이상환 위의 유한생성 분할 모듈러의 구조 정리에 기반하여, 피브어 콘을 그의 Noether 정규화인 잔여체 위의 일변수 다항식환 위의 모듈러로 기술한다.
• 분할 모듈러 분해를 적용하여 피브어 콘의 불변량—Hilbert 함수, 다중도, 환원 수—를 분석한다.
• 등장사상 $ F(I) \to F(I)/(a_1^0, \dots, a_{l-1}^0) $ 를 사용하여 문제를 분석적 차수 1의 경우로 축소한다.
• Cohen-Macaulay 성질에 대한 핵심 조건으로서 $ \lambda(I^2 / JI) = 1 $ 을 활용한다.
• 특정 조건 하에서 피브어 콘의 Hilbert 함수를 특성화하기 위해 공식 $ \sum_{i=0}^{d} (-1)^i \binom{d}{i} \mu(I^{n+1-i}) = 1 $ 을 적용한다.
• 등장사상 $ I_{l-1}^n / (\mathfrak{m}_{l-1} I_{l-1}^n + a_l I_{l-1}^{n-1}) \cong I^n / (\mathfrak{m} I^n + J I^{n-1}) $ 를 사용하여 피브어 콘의 구조와 이상의 최소 생성원 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 분석적 차수 1을 가진 이상 $ I $ 에 대해, 그의 피브어 콘 $ F(I) $ 가 Cohen-Macaulay가 되도록 보장하는 조건은 무엇인가?
• RQ2 $ F(I) $ 의 Castelnuovo-Mumford 정규성은 이상 $ I $ 로부터 어떻게 계산할 수 있는가?
• RQ3 $ F(I) $ 의 다중도와 $ I $ 의 거듭제곱의 생성원 수 사이의 정확한 관계는 무엇인가?
• RQ4 $ F(I) $ 의 환원 수와 Hilbert 함수는 이상의 불변량으로 완전히 결정될 수 있는가?
• RQ5 $ F(I) $ 가 Gorenstein 또는 Buchsbaum가 되는 조건는 무엇이며, 이러한 성질은 어떻게 이상 $ I $ 로부터 탐지할 수 있는가?

주요 결과

• 분석적 차수 1을 가진 이상 $ I $ 에 대해, $ \mathfrak{m}I^2 = J\mathfrak{m}I $ 이고 $ \lambda(I^2 / JI) = 1 $ 이면, 피브어 콘 $ F(I) $ 는 Cohen-Macaulay이다.
• 만약 $ \lambda(I^2 / JI) = 1 $ 이고 $ F(I) $ 가 Cohen-Macaulay이면, $ 1 \leq n \leq r(I) - 1 $ 에 대해 $ \sum_{i=0}^{d} (-1)^i \binom{d}{i} \mu(I^{n+1-i}) = 1 $ 이 성립한다.
• 피브어 콘 $ F(I) $ 의 Castelnuovo-Mumford 정규성은 환원 수 $ r(I) $ 와 같으며, 즉 $ \mathrm{reg}(F(I)) = r(I) $ 이다.
• 피브어 콘의 다중도는 $ e(F(I)) = \sum_{i=0}^{l-1} \binom{l-1}{i} \mu(I^{r-i}) $ 로 주어지며, 여기서 $ l $ 은 분석적 차수이고 $ r $ 은 환원 수이다.
• 피브어 콘 $ F(I) $ 는 $ \lambda(I^n / (\mathfrak{m}I^n + JI^{n-1})) = \sum_{i=0}^{l} (-1)^i \binom{l}{i} \mu(I^{n-i}) $ 이 모든 $ 1 \leq n \leq r(I) $ 에 대해 성립할 때, 그리고 그 때에만 Cohen-Macaulay이다.
• 피브어 콘을 그의 Noether 정규화 위의 모듈러로 본다면, 이상 $ I $ 의 불변량으로부터 피브어 콘의 모든 불변량을 완전히 재구성할 수 있으며, 특히 분석적 차수 1의 경우에 특히 그렇다.