[논문 리뷰] Separators of fat points in P^n

Elena Guardo, Lucia Marino외 1명|arXiv (Cornell University)|2009. 02. 18.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 5

한 줄 요약

이 논문은 프로젝티브 공간 ℙⁿ에서 지배점에 대한 새로운 분리자 정의를 제안한다. 이 정의는 점을 제거하는 대신 그 점의 중복도를 감소시키는 방식으로 이루어지며, 최소 분리자의 차수를 I_{Z'}/I_Z를 생성하는 형식들의 차수로 이루어진 튜플로 정의한다. 이 튜플과 Z의 힐베르트 함수를 안다면 Z'의 힐베르트 함수를 계산할 수 있음을 증명한다. 주요 결과는 감소된 점에 대한 고전적 분리자 이론을 중복도가 1 초과인 지배점으로 일반화하며, 분리자 차수 튜플의 성분들이 I_Z의 최소 자유 해체에서 마지막 싸이지 모듈러스의 이동에 해당함을 보여준다.

ABSTRACT

In this paper we extend the definition of a separator of a point P in P^n to a fat point P of multiplicity m. The key idea in our definition is to compare the fat point schemes Z = m_1P_1 + ... + m_iP_i + .... + m_sP_s in P^n and Z' = m_1P_1 + ... + (m_i-1)P_i + .... + m_sP_s. We associate to P_i a tuple of positive integers of length v = deg Z - deg Z'. We call this tuple the degree of the minimal separators of P_i of multiplicity m_i, and we denote it by deg_Z(P_i) = (d_1,...,d_v). We show that if one knows deg_Z(P_i) and the Hilbert function of Z, one will also know the Hilbert function of Z'. We also show that the entries of deg_Z(P_i) are related to the shifts in the last syzygy module of I_Z. Both results generalize well known results about reduced sets of points and their separators.

연구 동기 및 목표

• 감소된 점에 대한 고전적 분리자 개념을 ℙⁿ에서 중복도가 1 초과인 지배점으로 확장하기 위해, 점 제거에서 중복도 감소로 연산을 재정의함.
• 지배점의 최소 분리자의 차수를 I_{Z'}/I_Z를 생성하는 형식들의 차수로 이루어진 튜플로 정의함.
• 감소된 점 집합에 대한 힐베르트 함수 계산을 감소된 점 집합에 대한 일반화함.
• 분리자 차수 튜플의 성분들이 정의 아이디얼 I_Z의 마지막 싸이지 모듈러스의 이동과 어떻게 관련되어 있는지 규명함.
• 지지가 완전교차인 동차 지배점 스킴에 대해, 모든 점들이 동일한 분리자 차수 튜플을 가지며, 이는 케일리-바하라흐 성질을 일반화함.

제안 방법

• ℙⁿ에서 지배점 스킴 Z = m₁P₁ + ⋯ + mᵢPᵢ + ⋯ + mₛPₛ와 Z′ = m₁P₁ + ⋯ + (mᵢ−1)Pᵢ + ⋯ + mₛPₛ를 정의함.
• Pᵢ의 분리자란 I_{Z′} ∓ I_Z에 속하는 동차 형식 F로 정의하며, 최소 분리자의 차수를 I_{Z′}/I_Z를 생성하는 형식들의 차수로 이루어진 튜플 (deg F₁, ..., deg Fᵥ)로 정의함. 여기서 v = deg Z − deg Z′.
• 몫환 R/I_Z를 사용하여 이 형식들의 이미지가 R/I_Z-모듈러스로서 I_{Z′}/I_Z를 최소 생성함을 보임.
• Z′의 힐베르트 함수가 Z의 힐베르트 함수와 분리자 차수 튜플을 안다면 계산 가능함을 증명함.
• 분리자 차수 튜플의 성분들이 I_Z의 최소 자유 해체에서 마지막 싸이지 모듈러스의 이동과 대응됨을 규명함.
• 이 대응을 지지가 완전교차인 동차 지배점 스킴에 적용하여, 모든 점이 동일한 분리자 차수 튜플을 가짐을 보임.

실험 결과

연구 질문

• RQ1 감소된 점에 대한 고전적 분리자 개념을 중복도가 1 초과인 지배점으로 ℙⁿ에서 어떻게 일반화할 수 있는가?
• RQ2 Z에서 한 점의 중복도를 감소시켜 얻은 지배점 스킴 Z′의 힐베르트 함수와 Z의 힐베르트 함수 사이의 관계는 무엇인가?
• RQ3 지배점의 최소 분리자 차수는 정의 아이디얼 I_Z의 싸이지 모듈러스와 어떻게 관련되어 있는가?
• RQ4 어떤 조건에서 스킴 내 모든 지배점이 동일한 분리자 차수 튜플을 가지는가?
• RQ5 감소된 점에 대한 케일리-바하라흐 성질은 지지가 완전교차인 지배점 스킴으로 어떻게 일반화되는가?

주요 결과

• 지배점 Pᵢ의 중복도를 감소시켜 얻은 Z′의 힐베르트 함수는 Z의 힐베르트 함수와 Pᵢ의 최소 분리자 차수 튜플을 안다면 계산 가능하다.
• 분리자 차수 튜플 deg_Z(Pᵢ) = (d₁, ..., dᵥ)의 성분들은 I_Z의 최소 자유 해체에서 마지막 싸이지 모듈러스의 이동에 정확히 해당하며, 이는 −n만큼 이동된 것으로 간주된다.
• 지지가 완전교차인 동차 지배점 스킴 Z에 대해, 모든 점 Pᵢ는 동일한 분리자 차수 튜플을 가지며, 이는 임의의 Pᵢ의 중복도를 감소시켜 얻은 모든 Z′가 동일한 힐베르트 함수를 가짐을 의미한다.
• ℙ³에서 유형 (2,3,4)의 완전교차이자 중복도 m=3인 경우, 분리자 차수 튜플은 명시적으로 (10,11,12,12,13,14)로 계산된다.
• 이 결과는 지지가 완전교차인 동차 지배점 스킴에 대해, 모든 점이 대칭적인 분리자 차수를 가지며 일반화된 케일리-바하라흐 성질이 성립함을 시사한다.
• 이 구성은 Z의 힐베르트 함수와 분리자 차수 튜플을 안다면 Z′의 힐베르트 함수를 직접 계산할 수 있는 계산 방법을 제공한다.