水平希尔伯特函数与纯$O$-序列的对数凹性
Log-concavity of level Hilbert functions and pure $O$-sequences
AI总结：
该研究针对Iarrobino遗留的两类序列对数凹性问题展开，明确了多数参数下水平希尔伯特函数与纯$O$-序列对数凹性的成立与否，指出$(3,2)$型为核心开放问题并提出相关猜想。
摘要：
我们研究了水平希尔伯特函数（level Hilbert functions）与纯$O$-序列（pure $O$-sequences）语境下的对数凹性问题，这两类数值序列由Stanley于20世纪70年代末提出，其结构性质此后一直是组合交换代数领域备受关注的研究对象。然而，直到近期Iarrobino发表一篇论文后，学界才开始对这些序列的对数凹性展开系统研究。\n本札记的目标是解决Iarrobino的工作遗留的两个一般性问题：1）给定整数对$(r,t)$，所有余维数为$r$、型为$t$的水平希尔伯特函数都是对数凹的吗？2）具有相同参数的纯$O$-序列是否满足对数凹性？\nIarrobino的主要结果包括：对问题1，当$r=2$且$t$为任意值时答案为肯定，当$(r,t)=(3,1)$时答案也为肯定；此外他证明了当$(r,t)=(4,1)$时问题1的答案是否定的。\n我们对问题1的核心贡献是：除了$(r,t)=(3,2)$在任意特征下仍为开放问题外，其余所有剩余情形的答案均为否定。随后我们专门针对余维数为3、型为2的水平希尔伯特函数提出了若干详细猜想。\n关于问题2，我们证明：对所有$(r,1)$型整数对答案为肯定；对$(r,t)=(3,4)$答案为否定；对任意满足$r\nge 4$且$2\ble t\ble r+1$的整数对$(r,t)$答案均为否定。有趣的是，剩余的主要开放情形同样是$(r,t)=(3,2)$。此外我们猜想，与任意水平希尔伯特函数的性质类似，当余维数$r\nge 3$且型$t$足够大时，纯$O$-序列不满足对数凹性。
英文摘要：
We investigate log-concavity in the context of level Hilbert functions and pure $O$-sequences, two classes of numerical sequences introduced by Stanley in the late Seventies whose structural properties have since been the object of a remarkable amount of interest in combinatorial commutative algebra. However, a systematic study of the log-concavity of these sequences began only recently, thanks to a paper by Iarrobino. The goal of this note is to address two general questions left open by Iarrobino's work: 1) Given the integer pair $(r,t)$, are all level Hilbert functions of codimension $r$ and type $t$ log-concave? 2) How about pure $O$-sequences with the same parameters? Iarrobino's main results consisted of a positive answer to 1) for $r=2$ and any $t$, and for $(r,t)=(3,1)$. Further, he proved that the answer to 1) is negative for $(r,t)=(4,1)$. Our chief contribution to 1) is to provide a negative answer in all remaining cases, with the exception of $(r,t)=(3,2)$, which is still open in any characteristic. We then propose a few detailed conjectures specifically on level Hilbert functions of codimension 3 and type 2. As for question 2), we show that the answer is positive for all pairs $(r,1)$; negative for $(r,t)=(3,4)$; and negative for any pair $(r,t)$ with $r\ge 4$ and $2\le t\le r+1$. Interestingly, the main case that remains open is again $(r,t)=(3,2)$. Further, we conjecture that, in analogy with the behavior of arbitrary level Hilbert functions, log-concavity fails for pure $O$-sequences of any codimension $r\ge 3$ and type $t$ large enough.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
