[论文解读] Almost set-theoretic complete intersections in characteristic zero

Margherita Barile|ArXiv.org|Apr 4, 2005

Polynomial and algebraic computation参考文献 9被引用 4

一句话总结

本文引入了一类在特征零下的仿射单纯 тор簇，其由恰好 codim(V) + 1 个二项式方程定义，尽管其定义理想需要超过 codim(V) 个生成元。通过二项式上的递归恒等式及互素素数幂的性质，作者证明此类簇在代数闭特征零域上为“几乎集论完全交”——即比余维数多一个二项式方程。

ABSTRACT

We present a class of toric varieties $V$ which, over any algebraically closed field of characteristic zero, are defined by codim $V$+1 binomial equations.

研究动机与目标

• 为长期存在的问题提供解答：在特征零下，仿射单纯 тор簇是否可用最少数量的二项式方程定义。
• 将集论完全交理论扩展至完全交之外，特别是在通常无法用二项式定义的特征零情形下。
• 构造一个无限类的余维数 >2 的仿射单纯 тор簇，使其为几乎集论完全交，且由二项式定义。
• 提供一种构造性方法，利用递归二项式恒等式与互素素数幂，以减少定义方程的数量。

提出的方法

• 通过涉及变量取相同幂次及混合单项式的单项式参数化，定义一类仿射单纯 тор簇。
• 利用与该簇相关的指数向量半群 T，分析定义理想中的二项式关系。
• 应用递归恒等式：对二项式 F = M - N，有 F^(h) = M^h - N^h 满足 F^(h+1) = M F^(h) + F N^h，从而保证 F^(h) ∈ (F)。
• 利用不同素数幂 p^α 与 q^β 的互素性，由 M^{p^α}(u) = N^{p^α}(u) 和 M^{q^β}(u) = N^{q^β}(u) 推出 M(u) = N(u)。
• 构造两个二项式 F_{n,p} = y_n^{p^α} - E_p 与 F_{n,q} = y_n^{q^β} - E_q，其中 p 与 q 为不同素数，以 r+1 个方程定义该簇。
• 证明这 r+1 个二项式同时为零，可推出理想 I(V) 中所有二项式均为零，从而以集论方式定义该簇。

实验结果

研究问题

• RQ1 在特征零下，余维数 >2 的仿射单纯 torus 变换是否可用 codim(V) + 1 个二项式方程定义，即使其并非完全交？
• RQ2 是否可能通过一种绕过特征零条件下限制的方法，在特征零下构造一个由二项式定义的集论完全交？
• RQ3 如何利用递归二项式恒等式与互素素数幂来减少一个 torus 变换的定义方程数量？
• RQ4 半群 T 的组合结构与在特征零下以比余维数多一个二项式定义簇的可能性之间有何关系？
• RQ5 能否将正特征下基于 p-粘合的方法适配到特征零，以实现类似最小二项式定义集？

主要发现

• 例 1 中的簇 V 由四个二项式方程定义：F₁, F₂, F₃,₂, 与 F₃,₃，尽管其定义理想需要六个生成元。
• 定义理想 I(V) 由六个二项式极小生成：y₁⁶−x₁x₃, y₂⁶−x₂x₃, y₃²−x₁x₂y₁²y₂², y₁⁴y₂⁴−x₃y₃, y₁²y₃−x₁y₂⁴, 与 y₂²y₃−x₂y₁⁴。
• 在特征零下，根据定理 1.1，V 不是完全交，也不是由二项式构成的集论完全交。
• 该簇是几乎集论完全交，因为其由 codim(V) + 1 = 4 个二项式定义。
• 证明依赖于 p^α 与 q^β 的互素性，由 M^{p^α}(u) = N^{p^α}(u) 与 M^{q^β}(u) = N^{q^β}(u) 推出 M(u) = N(u)，从而确保 I(V) 中所有二项式在公共零点处为零。
• 该方法成功地将定义方程数从六个减少到四个，方法是利用二项式的递归结构与素数幂指数的特性。