[논문 리뷰] Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers

Juan Migliore, Uwe Nagel|ArXiv.org|2001. 03. 28.

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

한 줄 요약

이 논문은 임의의 차원을 가진 축소된 산술적으로 고렌스타인 스킴을 구성하여, 주어진 SI-시퀀스(대칭적이고 단조증가, 미분 가능한 O-시퀀스)를 선형 다양체의 구성으로 올림함으로써, 아티닌 단면이 움직임에 대한 성질을 갖는다. 핵심 기여는 이러한 스킴이 동일한 Hilbert 함수와 WLP를 갖는 모든 산술적으로 고렌스타인 부분스킴 중에서 극단적인 Betti 수를 달성한다는 것을 증명하고, 이를 통해 고정된 h-벡터를 가진 모든 단순형 다면체가 특성 0에서 최대 Betti 수를 갖는 대표를 가짐을 보여주는 데 있다.

ABSTRACT

An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of Artinian Gorenstein algebras with the Weak Lefschetz Property, a property shared by most Artinian Gorenstein algebras. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration $G$ of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the Weak Lefschetz Property. Furthermore, we show that $G$ has maximal graded Betti numbers among all arithmetically Gorenstein subschemes of projective space whose Artinian reduction has the Weak Lefschetz Property and the given Hilbert function. As an application we show that over a field of characteristic zero every set of simplicial polytopes with fixed $h$-vector contains a polytope with maximal graded Betti numbers.

연구 동기 및 목표

• 프로젝션 공간 내에서 주어진 Hilbert 함수와 그에 대응하는 고렌스타인 대수의 그룹화된 Betti 수를 갖는 축소된 산술적으로 고렌스타인 부분스킴으로의 확장 가능성에 대해 규명하는 것.
• 산술적으로 고렌스타인 스킴 중에서 주어진 Hilbert 함수와 WLP를 갖는 최대 Betti 수를 갖는 것이 존재하는지 여부에 대한 열린 문제를 다루는 것.
• 토릭 위상수학이나 특성에 의존하지 않는 구조적이고 기하학적인 방법으로 SI-시퀀스를 축소된 고렌스타인 구성으로 올리는 것.
• 고정된 h-벡터를 가진 모든 단순형 다면체가 특성 0인 체 위에서 최대 그룹화된 Betti 수를 갖는 대표를 포함하고 있음을 보여주는 것.

제안 방법

• 선형 부분공간의 합집합인 일반화된 스틱 플래너를 구성하여, 그 아티닌 단면이 주어진 SI-시퀀스를 Hilbert 함수로 가지며 움직임에 대한 성질을 만족하도록 한다.
• 완전교차를 통한 재귀적 연결 과정을 이용하여, 원하는 Hilbert 함수를 갖는 산술적으로 코hen-맥컬레이 및 고렌스타인 아이디얼을 구성한다.
• 부분공간 성질을 활용하여 결과 스킴이 여전히 산술적으로 고렌스타인임을 보장하고, Betti 수가 최대화됨을 확보한다.
• SI-시퀀스 이론을 적용하여, 이러한 시퀀스가 단순형 다면체의 h-벡터로 나타날 수 있음을 보이고, 이를 축소된 고렌스타인 스킴으로 올린다.
• 구성된 고렌스타인 구성이 동일한 Hilbert 함수와 WLP를 갖는 모든 산술적으로 고렌스타인 스킴 중에서 가능한 최대 그룹화된 Betti 수를 달성함을 보여준다.
• 고렌스타인 스킴의 Hilbert 함수가 대칭적이고 단조증가하며, 첫 번째 반은 미분 가능한 O-시퀀스임을 이용하여 구성의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 모든 SI-시퀀스가 프로젝션 공간 내에서 축소된 산술적으로 고렌스타인 스킴의 Hilbert 함수로 나타나며, 그 아티닌 단면이 움직임에 대한 성질을 갖는가?
• RQ2 고정된 Hilbert 함수와 WLP를 갖는 산술적으로 고렌스타인 부분스킴 중에서 최대 그룹화된 Betti 수를 갖는 것이 존재하는가?
• RQ3 고정된 h-벡터를 가진 모든 단순형 다면체가 특성 0인 체 위에서 최대 Betti 수를 갖는 대표를 포함하는가?
• RQ4 기하학적 구성 방법을 통해 아티닌 고렌스타인 대수의 움직임에 대한 성질이 축소된 산술적으로 고렌스타인 부분스킴으로 올릴 수 있는가?
• RQ5 토릭 다양체나 특성에 의존하지 않는 방식으로 최대 Betti 수를 갖는 고렌스타인 스킴을 구성할 수 있는가?

주요 결과

• 모든 SI-시퀀스에 대해, 그 아티닌 단면이 해당 SI-시퀀스를 Hilbert 함수로 가지며 움직임에 대한 성질을 갖는 축소된 산술적으로 고렌스타인 선형 다양체의 구성이 명시적으로 구성된다.
• 구성된 스킴은 동일한 Hilbert 함수와 WLP를 갖는 모든 산술적으로 고렌스타인 부분스킴 중에서 가능한 최대 그룹화된 Betti 수를 달성한다.
• 이 방법은 임의의 코드미니와 차원에서 작동하여, 넓은 범위의 고렌스타인 스킴에 대해 극단적 Betti 수를 실현하는 통일된 방법을 제공한다.
• 이 방법은 토릭 위상수학에 의존하지 않고, 특성 0에서 유효한 새로운 기하학적 증명을 제공하여, 모든 SI-시퀀스가 단순형 다면체의 h-벡터로 나타남을 보여준다.
• 고정된 h-벡터에 대해, 최대 그룹화된 Betti 수를 갖는 단순형 다면체가 존재함을 보여주며, 단순형 다면체의 맥락에서 극단적 행동에 대한 질문에 답한다.
• 완전교차 연결만으로 제한할 경우 구성에 실패함을 알 수 있으며, h_2 = 6 및 h_3 = n−10인 h-벡터의 경우 14 ≤ n ≤ 20에서 n=19 및 n=20은 이러한 연결을 통해 도달할 수 없지만, 고렌스타인 연결을 통해 실현 가능함을 보여준다.