通过单项式理想的贝蒂数刻画斯坦纳系统
Characterizing Steiner Systems via Betti Numbers of Monomial Ideals
浏览论文内容
中文总结 AI 辅助
本文通过构造单项式理想，利用其贝蒂数完全判定点集配对是否为斯坦纳系统，并据此将素数幂猜想转化为关于贝蒂数的等价形式。
中文摘要 AI 辅助
给定一个点集 $[n]$ 和一个由 $[n]$ 的 $k$-子集构成的集合 $B$，我们构造一个单项式理想，其贝蒂数完全决定配对 $([n],B)$ 是否为斯坦纳系统 $S(t,k,n)$。特别地，我们的构造仅基于单项式理想的贝蒂数来刻画斯坦纳三元系和斯坦纳四元系。此外，这些单项式理想使我们能够将著名的素数幂猜想重新表述如下：若 $S = K[x_1, \dots, x_{q^2+q+1}]$ 中由 $q+1$ 次无平方单项式生成的单项式理想 $M$ 具有贝蒂数 $\mathrm{b}_s(S/M) = {{q^2+q+1} \choose s}$ 对所有 $s=0,\ldots,q$ 成立，则 $q$ 是素数幂。
英文摘要
Given a point set $[n]$ and a collection $B$ of $k$-subsets of $[n]$, we create a monomial ideal whose Betti numbers completely determine whether the pair $([n],B)$ is a Steiner system $S(t,k,n)$. In particular, our construction characterizes Steiner triple systems and Steiner quadruple systems solely on the basis of Betti numbers of monomial ideals. Moreover, these monomial ideals allow us to reformulate the renowned prime power conjecture as follows: If a monomial ideal $M$ of $S = K[x_1, \dots, x_{q^2+q+1}]$ generated by squarefree monomials of degree $q+1$ has Betti numbers $\mathrm{b}_s(S/M) = {{q^2+q+1} \choose s} \text{ for all } s=0,\ldots,q$ then $q$ is a prime power.
