[논문 리뷰] On the diagonals of a Rees algebra

Olga Lavila-Vidal|ArXiv.org|2004. 07. 03.

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

한 줄 요약

이 박사학위논문은 프로젝티브 다양체의 블로우업의 좌표환으로서의 역할을 하는 리즈 대수의 대각선의 대수적 및 기하적 성질을 조사한다. 다중등급 호모로지 대수학과 대각선 함자(diagonal functor)를 이용하여 이상적 해상도와 이상적 거듭제곱의 경계를 확립하며, $I^j$의 최소 자유 해상도가 다항식 유사 패턴으로 안정화됨을 증명하고, 정의 아이디얼에 대한 특정 조건 하에서 대각선이 코hen-맥컬레이 또는 고렌스타인임을 보여준다.

ABSTRACT

The aim of this work is to study the ring-theoretic properties of the diagonals of a Rees algebra, which from a geometric point of view are the homogeneous coordinate rings of embeddings of blow-ups of projective varieties along a subvariety. In Chapter 1 we extend the definitions and results about the biprojective scheme and the Hilbert polynomial of finitely generated bigraded modules defined over standard bigraded k-algebras to finitely generated bigraded S-modules, for S=k[X_1,..., X_n,Y_1,...,Y_r] the polynomial ring bigraded by deg X_i=(1,0), deg Y_j=(d_j,1), d_j \geq 0. We also relate the shifts in the bigraded minimal free resolution of any finitely generated bigraded S-module to its a-invariants. In Chapter 2 we are concerned with the diagonal functor in the category of bigraded S-modules. We compare the local cohomology modules of a finitely generated bigraded S-module with the local cohomology modules of its diagonals. In Chapter 3 we study in detail the Cohen-Macaulay property of the rings k[(I^e)_c]. Chapter 4 is devoted to study the Gorenstein property of those rings. As a somehow unexpected by-product, the methods used to study the diagonals of a Rees algebra also allow to study the a-invariants of the powers of an ideal and their asymptotic properties (Chapters 5 and 6)

연구 동기 및 목표

• 포함된 프로젝티브 다양체의 블로우업의 동차 좌표환에 해당하는 리즈 대수의 대각선의 환론적 및 기하적 성질을 이해하는 것.
• 특히 부분다양체 또는 점들의 아이디얼을 따라 블로우업하는 맥락에서 이러한 대각선 환들이 코hen-맥컬레이 또는 고렌스타인임이 되는 조건을 규명하는 것.
• 동차 아이디얼의 거듭제곱의 최소 등급 자유 해상도의 점차적 행동을 분석하는 것.
• 다중등급 코homology와 대각선 함자를 이용하여 이상적 거듭제곱의 $a$-invariants와 하이루베르트 함수에 대한 명시적 경계와 구조적 결과를 도출하는 것.

제안 방법

• 대각선 함자를 사용하여 리즈 대수 $R_A(I) = \bigoplus_{j \to 0} I^j$ 에서 부분대수 $k[(I^e)_c]$를 추출하며, 이들은 블로우업 매bedding의 좌표환이다.
• 다중등급 코homology와 $a$-invariants를 활용하여 리즈 대수 위의 이등급 모듈의 깊이와 정규성에 대해 연구한다.
• 리즈 대수의 코스졸 호모로지 분석을 통해 $I^j$의 최소 자유 해상도의 구조를 분석하며, 이는 단항식 아이디얼과 격자점에 기반한 해상도 기술로 이어진다.
• 해상도 모듈의 비티 수와 계수의 점차적 행동이 $l-1$ 이하 차수의 다항식 $Q(j)$ 형태의 힐베르트 다항식에 의해 지배됨을 보여준다. 여기서 $l = l(I)$는 아이디얼 $I$의 해석적 스며들기 차수이다.
• 핵심 기법으로는 초기 아이디얼을 이용한 단항식 아이디얼로 문제를 축소하는 것으로, $ ext{in}(J)$ 가 $igcup_{i} ext{supp}( ext{in}(J))$ 를 통해 대각선 구조를 결정함을 이용한다.
• 이론은 형식환 $G$, 대칭대수 $ ext{Sym}_A(I)$, 정수폐쇄 $ar{R}$ 와 같은 다른 이등급 모듈로 확장되며, 유사한 점차적 행동이 나타남을 보여준다.

실험 결과

연구 질문

• RQ1 리즈 대수의 대각선 $k[(I^e)_c]$가 코hen-맥컬레이가 되는 조건은 무엇인가? 특히 $I$ 가 $\mathbb{P}^n$ 상의 점들의 집합을 정의할 경우에 대해.
• RQ2 큰 $j$ 에 대해 $I^j$ 의 최소 자유 해상도의 점차적 구조는 어떻게 되며, 이는 해석적 스며들기 차수 $l(I)$ 와 어떻게 관련되는가?
• RQ3 이상적 거듭제곱의 $a$-invariants 는 명시적으로 경계를 가질 수 있으며, 리즈 대수의 대각선 구조와 어떻게 관련되는가?
• RQ4 형식환 $I$ 가 고렌스타인일 경우에, 대각선 환 $k[(I^e)_c]$ 가 고렌스타인임이 되는 조건은 무엇인가?
• RQ5 이상적 거듭제곱의 하이루베르트 함수와 비티 수는 점차적으로 어떻게 행동하며, 다항함수로 기술될 수 있는가?

주요 결과

• 큰 $j$ 에 대해 $I^j$ 의 최소 자유 해상도는 단항식 조건에 대한 직합으로 기술된다: $D_p^j = \bigoplus_{i,\pi} A(-\alpha_{pi} - v(\u03c0))$, 여기서 $\u03c0 \notin C_{pi} + \mathbb{N}^r$ 이고 $|\u03c0| = j - \beta_{pi}$.
• 해상도 모듈의 계수는 점차적으로 $l-1$ 이하 차수의 다항식 $Q(j)$ 로 증가하며, 여기서 $l = l(I)$ 는 아이디얼 $I$ 의 해석적 스며들기 차수이다.
• 리즈 대수 $R_A(I)$ 의 $a$-invariant 은 생성자들의 차수와 관련된 이등급 모듈의 $a$-invariants 를 통해 경계가 된다.
• 선 위에 $d$ 개 이하의 점이 있는 $\mathbb{P}^2$ 상의 점들의 집합을 정의하는 아이디얼에 대해 $c \geq d$ 일 때 대각선 $k[(I^e)_c]$ 는 코hen-맥컬레이이며, 형식환이 고렌스타인일 경우 고렌스타인이다.
• $s = \binom{d+1}{2}$ 개의 점을 포함하고 $d = \text{reg}(I)$ 인 $\mathbb{P}^2$ 상의 아이디얼에 대해 $c \geq d+1$ 일 때 대각선 $k[(I^e)_c]$ 는 산술적으로 코hen-맥컬레이이며, 이는 이차 다항식들에 의해 정의된다.
• $\text{Tor}_p^A(k, I^j)$ 의 점차적 행동은 차수 $\leq l-1$ 의 힐베르트 다항식 $P(j)$ 에 의해 지배되며, $p$-번째 싸이지지 모듈의 생성자 수는 같은 차수의 다항식 $Q(j)$ 로 세어진다.