[논문 리뷰] Multigraded regularity of complete intersections

Marc Chardin, Navid Nemati|arXiv (Cornell University)|2020. 12. 29.

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

한 줄 요약

이 논문은 $\mathbb{P}^n \times \mathbb{P}^m$에서 0차원 완전교차 구조의 이중등급 힐버트 함수에 대한 명시적 공식을 수립하며, 많은 값이 정의하는 형식의 이중도수에만 의존함을 보여준다. 다중등급 정규성에 대한 날카운 상계를 제공하고, 이중도수 $(d,e)$인 일반적인 완전교차에서 힐버트 함수가 유한한 이중도수 집합 외에는 항상 그 구조의 차수로 수렴함을 증명한다.

ABSTRACT

$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $ extrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $\mathbb{P}^n imes \mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections.

연구 동기 및 목표

• 다중등급 공간, 특히 $\mathbb{P}^n \times \mathbb{P}^m$에서 완전교차 구조의 다중등급 정규성을 이해하기 위해.
• 0차원 완전교차의 호모로지 불변량 중에서 정의하는 형식의 이중도수에만 의존하는 것이 무엇인지 규명하기 위해.
• 이러한 구조의 이중등급 힐버트 함수에 대한 명시적 값을 계산하고, 특정 형식의 선택에 영향을 받지 않는 영역을 식별하기 위해.
• 0차원 경우에 다중등급 정규성에 대한 날카운 상계를 수립하기 위해.
• 일반적인 이중도수 $(d,e)$를 가진 완전교차에서, 힐버트 함수가 차수로 수렴함을 증명하고, 이는 유한한 이중도수 집합 외에는 성립함을 보여주기 위해.

제안 방법

• 저자들은 불변 이상의 국소 코hom로 모듈러스를 정의함으로써 이중등급 설정에서 다중등급 정규성을 정의한다. 이때 불변 이상은 $B = B_1 \cdot B_2$이다.
• 좌표환의 구조를 분석하기 위해 최소 자유 해체와 등급별 베티 수를 사용한다.
• 특정 $\mathbb{N}^2$ 영역에서 정의하는 형식의 선택에 영향을 받지 않는 값을 계산하기 위해 힐버트 함수의 딜로지아 성질을 활용한다.
• 일반성 추론과 차원 이론을 포함한 대수기하학 및 교환대수의 결과를 적용하여 완전교차의 보편 가족의 섬유 구조를 분석한다.
• 국소화와 야코비안 유형의 추론을 사용하여 보편 가족에서 $\mathbb{P}^n$과 $\mathbb{P}^m$으로의 자연스러운 투영이 조밀한 열린 부분집합에서 동형임을 보인다.
• 부분 도함수와 영이 아닌 야코비안 소수에서의 국소화를 이용한 역함수의 구성으로 투영 사상의 비라시오널성을 증명한다.

실험 결과

연구 질문

• RQ1 $\mathbb{P}^n \times \mathbb{P}^m$에서 0차원 완전교차의 이중등급 힐버트 함수 값 중에서 정의하는 형식의 선택에 영향을 받지 않고 이중도수에만 의존하는 것은 무엇인가?
• RQ2 0차원 완전교차에 대해 $\mathbb{P}^n \times \mathbb{P}^m$에서 다중등급 정규성에 날카운 상계를 수립할 수 있는가?
• RQ3 이중도수 $(d,e)$를 가진 일반적인 완전교차의 힐버트 함수는 어떤 구조를 가지며, 어떻게 수렴하는가?
• RQ4 완전교차 점의 다중등급 공간에서 힐버트 함수 값에 딜로지아 성질이 어떻게 나타나는가?
• RQ5 보편 가족에서 $\mathbb{P}^n$ 또는 $\mathbb{P}^m$으로의 자연스러운 투영이 조밀한 열린 부분집합에서 동형이 되는 조건은 무엇인가?

주요 결과

• 주어진 이중도수로 정의된 $\mathbb{P}^n \times \mathbb{P}^m$에서 0차원 완전교차의 경우, 힐버트 함수의 많은 값은 특정 형식의 선택에 영향을 받지 않고 $n$, $m$, 그리고 이중도수에만 의존한다.
• 일부 영역에서 힐버트 함수 값은 대칭적이거나 보완적인 이중도수에 의해 결정되는 딜로지아 성질을 보인다.
• 논문은 $\mathbb{P}^n \times \mathbb{P}^m$에서 0차원 완전교차의 다중등급 정규성에 대한 날카운 상계를 제공하며, 이는 정의하는 형식의 이중도수에만 의존한다.
• 일반적인 이중도수 $(d,e)$를 가진 완전교차의 경우, 모든 충분히 큰 이중도수에서 힐버트 함수는 구조의 차수로 수렴하며, 이는 오직 유한한 수의 예외를 제외하고 성립한다.
• 보편 가족에서 $\mathbb{P}^n$과 $\mathbb{P}^m$으로의 자연스러운 투영은 조밀한 열린 부분집합에서 동형이며, 이는 섬유가 균형 잡히고 구조가 일반적으로 매끄럽다는 것을 의미한다.
• 저자들은 보편 가족에서 $\mathbb{P}^n$으로의 투영 사상이 조밀한 열린 부분집합에서 비라시오널임을 증명하고, 영이 아닌 부분 도함수에서의 국소화를 통해 명시적인 역함수를 구성한다.