[论文解读] Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers

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

Commutative Algebra and Its Applications参考文献 29被引用 6

一句话总结

本文通过将任意 SI-序列（對稱、單峰、可微的 O-序列）提升為線性子空間配置，構造出任意維度的簡約、算術 Gorenstein 純量環，使其 Artinian 約化具有弱 Lefschetz 性質。主要貢獻在於證明此類純量環在具有相同 Hilbert 函數與 WLP 的所有算術 Gorenstein 子純量環中達到了極值 Betti 數，並應用此結果證明：每一個具有固定 h-向量的單純多面體在特徵為零的域上皆存在一個代表，其具有最大 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.

研究动机与目标

• 確定具有弱 Lefschetz 性質的 Artinian Gorenstein 代數之 Hilbert 函數與階梯 Betti 數，能否被提升至射影空間中簡約、算術 Gorenstein 子純量環。
• 解決一個開放問題：對於給定的 Hilbert 函數與 WLP，是否存在算術 Gorenstein 純量環使其具有最大 Betti 數？
• 提供 SI-序列至簡約 Gorenstein 配置的構造性、幾何提升方法，避免依賴 торic 拓撲或特徵相關方法。
• 證明每一個具有固定 h-向量的單純多面體在特徵為零的域上皆包含至少一個具有最大階梯 Betti 數的代表。

提出的方法

• 構造一個推廣的棒狀圖形——即線性子空間的並集——使其 Artinian 約化具有指定的 SI-序列作為 Hilbert 函數，且滿足弱 Lefschetz 性質。
• 透過完全交截的遞迴連結過程，建立具有期望 Hilbert 函數的算術 Cohen-Macaulay 及 Gorenstein 理想。
• 運用子空間性質以確保所得純量環仍為算術 Gorenstein，且 Betti 數被最大化。
• 應用 SI-序列理論，證明任何此類序列皆可作為單純多面體的 h-向量，並進一步提升為簡約 Gorenstein 純量環。
• 證明所構造的 Gorenstein 配置在所有具有相同 Hilbert 函數與 WLP 的算術 Gorenstein 純量環中，達到了最大可能的階梯 Betti 數。
• 利用 Gorenstein 純量環的 Hilbert 函數為對稱且單峰，且前半部分為可微 O-序列的事實，確保構造之有效性。

实验结果

研究问题

• RQ1 是否每個 SI-序列皆可作為射影空間中簡約、算術 Gorenstein 純量環的 Hilbert 函數，且其 Artinian 約化具有弱 Lefschetz 性質？
• RQ2 在具有固定 Hilbert 函數與 WLP 的所有算術 Gorenstein 子純量環中，是否存在一個具有最大階梯 Betti 數的純量環？
• RQ3 每一個具有固定 h-向量的單純多面體是否在特徵為零的域上皆包含至少一個具有最大 Betti 數的代表？
• RQ4 弱 Lefschetz 性質能否從 Artinian Gorenstein 代數透過幾何構造提升至簡約、算術 Gorenstein 子純量環？
• RQ5 是否可不依賴 toric 純量或特徵相關拓撲，實現具有最大 Betti 數的 Gorenstein 純量環之構造？

主要发现

• 對於任意 SI-序列，明確構造出一個簡約、算術 Gorenstein 的線性子空間配置，其 Artinian 約化具有該 SI-序列作為 Hilbert 函數，且具有弱 Lefschetz 性質。
• 所構造的純量環在所有具有相同 Hilbert 函數與 WLP 的算術 Gorenstein 子純量環中，達到了最大可能的階梯 Betti 數。
• 該構造適用於任意余維與維度，提供一種統一方法，以實現一大類 Gorenstein 純量環的極值 Betti 數。
• 該方法提供了一種新的幾何證明，顯示每個 SI-序列皆為單純多面體的 h-向量，且獨立於 toric 拓撲，適用於特徵為零的域。
• 證明對於任一固定的 h-向量，皆存在一個單純多面體使其具有最大階梯 Betti 數，從而回答了單純多面體設定中極值行為的一個問題。
• 當僅限制於完全交截連結時，該構造會失敗，如當 h_2 = 6 且 h_3 = n−10，其中 14 ≤ n ≤ 20 時，n=19 與 n=20 無法透過此類連結實現，但可透過 Gorenstein 連結達成。