[论文解读] On toric varieties of high arithmetical rank

Margherita Barile|ArXiv.org|Apr 12, 2005

Commutative Algebra and Its Applications参考文献 7被引用 3

一句话总结

该论文在 $N=2n-1$-维仿射空间中构造了一类toric簇，其最小定义方程至少包含 $N-2$ 个二项式方程，利用平展上同调确立了其算术秩的精确下界。关键结果是当 $n=2$ 或 $n=3$ 时，算术秩恰好等于 $N-2$，表明这些簇在与其余维数相比达到了最高的算术秩。

ABSTRACT

We describe a class of toric varieties in the $N$-dimensional affine space which are minimally defined by no less than $N-2$ binomial equations.

研究动机与目标

• 在 $N=2n-1$-维仿射空间中构造一类算术秩较高的toric簇，使其接近理论上的上界 $N$。
• 利用平展上同调，特别是 $H^2_{ m c}(V; \bbZ/p\bbZ) \neq 0$，建立这些簇算术秩的精确下界。
• 通过显式构造集合论定义方程，证明当 $n=2$ 和 $n=3$ 时，下界 $\operatorname{ara}(V) \geq N-2$ 是精确的。
• 证明对于此类簇，算术秩不依赖于基域的特征。
• 探讨当 $n \geq 4$ 时，下界 $\operatorname{ara}(V) \geq N-2$ 是否仍然精确，此问题作为开放问题保留。

提出的方法

• 通过 $n$ 个变量 $u_1, \dots, u_n$ 的参数化定义一个 $V \subset K^N$ 的toric簇，其中 $N = 2n-1$，并引入涉及 $d$ 的单项式关系，其中 $d$ 可被两个不同的素数整除。
• 利用文献[6]中的平展上同调准则（引理3′），证明若 $H^2_{\rm c}(V; \bbZ/p\bbZ) \neq 0$，则 $\operatorname{ara}(V) \geq N-2$。
• 应用庞加莱对偶性，将 $H^2_{\rm c}(V)$ 与 $H^2_{\rm c}(K^n \setminus X)$ 关联，其中 $X$ 是子簇 $u_1 = \cdots = u_{n-1} = 0$。
• 构造一个同构 $\tilde{\phi}: K^n \setminus X \to V \setminus \phi(X)$，表明 $H^2_{\rm c}(V \setminus \phi(X)) \simeq H^2_{\rm c}(K^n \setminus X)$。
• 利用映射 $\bar{\phi}: X \to \phi(X)$ 在上同调上诱导乘法 $d$ 的事实，且由于 $p \mid d$，该映射在上同调上为零。
• 通过紧支集上同调的长正合列推导出一个非单射映射，从而证明 $H^2_{\rm c}(V) \neq 0$，因此 $\operatorname{ara}(V) \geq N-2$。

实验结果

研究问题

• RQ1 能否利用平展上同调（特别是在高余维数情形下）对toric簇的算术秩进行下界估计？
• RQ2 对于 $K^{2n-1}$ 中余维数为 $n-1$ 的toric簇，下界 $\operatorname{ara}(V) \geq N-2$ 是否精确？
• RQ3 能否通过二项式方程显式计算 $n=2$ 和 $n=3$ 时的算术秩？
• RQ4 对于此类簇，算术秩是否依赖于基域的特征？
• RQ5 当 $n \geq 4$ 时，算术秩是多少？下界 $\operatorname{ara}(V) \geq N-2$ 是否仍然精确？

主要发现

• 所构造的 $V \subset K^N$ 的toric簇（其中 $N = 2n-1$）满足对所有 $n \geq 2$ 有 $\operatorname{ara}(V) \geq N - 2$。
• 当 $n = 2$ 时，下界 $\operatorname{ara}(V) \geq N - 2$ 是精确的，此时 $V$ 由一个二项式方程定义：$y_1^d - x_1^{a_1 d} x_2 = 0$。
• 当 $n = 3$ 时，簇 $V \subset K^5$ 由三个二项式方程集合论地定义：$F_1 = y_1^d - x_1^{a_1 d} x_3$，$F_2 = y_2^d - x_2^{a_2 d} x_3$，以及 $G = y_1^{d-1} y_2 - x_1^{a_1(d-1)} x_2^{a_2} x_3$。
• 上同调论证表明，当 $p \mid d$ 时，有 $H^2_{\rm c}(V; \bbZ/p\bbZ) \neq 0$，这通过平展上同调准则推出 $\operatorname{ara}(V) \geq N - 2$。
• 该证明不依赖于基域的特征，只要 $\operatorname{char} K \neq p$，且该下界在所有特征下均一致成立。
• 当 $n \geq 4$ 时，算术秩仍未知，且下界 $\operatorname{ara}(V) \geq N - 2$ 是否精确仍是开放问题。