[論文レビュー] On toric varieties of high arithmetical rank

Margherita Barile|ArXiv.org|Apr 12, 2005

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

ひとこと要約

この論文は、$N=2n-1$次元のアフィン空間に埋め込まれたトーリック多様体のクラスを構成し、少なくとも$N-2$個の二項式方程式によって最小で定義可能であることを示し、エタールコhomologyを用いてその算術的ランクの鋭い下界を確立する。主な結果は、$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$次元のアフィン空間内のトーリック多様体のクラスを、理論的上限に近い高い算術的ランクを持つように構成すること。
• 特に$H^2_{\rm c}(V; \bbZ/p\bbZ) \neq 0$を用いて、エタールコhomologyを用いてこれらの多様体の算術的ランクの鋭い下界を確立すること。
• 明示的な集合論的定義方程式を構成することで、$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$を用いたパラメトライゼーションにより、$N = 2n-1$として$K^N$内のトーリック多様体$V \subset K^N$を定義し、$d$が2つの異なる素数で割り切れる二項式関係を含む。
• 文献[6]の補題3′のエタールコhomologyの基準を用い、$H^2_{\rm c}(V; \bbZ/p\bbZ) \neq 0$ならば$\operatorname{ara}(V) \geq N-2$であることを示す。
• ポincare双対性を用いて、$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)$が、$H^2_{\rm c}$上で$d$倍の乗法的写像を誘導することを用い、$p \mid d$であるから、この写像はコhomology上でゼロであることを示す。
• コンpakトコhomologyの長い完全系列において非単射な写像を導出し、$H^2_{\rm c}(V) \neq 0$を示す。これにより、$\operatorname{ara}(V) \geq N - 2$が従う。

実験結果

リサーチクエスチョン

• RQ1 エタールコhomologyを用いて、高余次元におけるトーリック多様体の算術的ランクを下から抑えられるか。
• RQ2 余次元$n-1$の$K^{2n-1}$内のトーリック多様体について、下界$\operatorname{ara}(V) \geq N-2$が鋭いか。
• RQ3 二項式方程式を用いて、$n=2$および$n=3$の場合に算術的ランクを明示的に計算できるか。
• RQ4 このクラスの多様体において、算術的ランクは底層の標数に依存するか。
• RQ5 $n \geq 4$の場合の算術的ランクは何か。また、下界$\operatorname{ara}(V) \geq N-2$は鋭いままか。

主な発見

• $N = 2n-1$を満たす$K^N$内の構成されたトーリック多様体$V$について、すべての$n \geq 2$に対して$\operatorname{ara}(V) \geq N - 2$が成り立つ。
• 下界$\operatorname{ara}(V) \geq N - 2$は$n = 2の場合に鋭く、$V$は単一の二項式方程式$y_1^d - x_1^{a_1 d} x_2 = 0$によって定義される。
• $n = 3$の場合、多様体$V \subset K^5$は集合論的に3つの二項式によって定義される：$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$。
• コhomologicalな議論により、$p \mid d$ならば$H^2_{\rm c}(V; \bbZ/p\bbZ) \neq 0$であることが示され、エタールコhomologyの基準により$\operatorname{ara}(V) \geq N - 2$が導かれる。
• 証明は、$\operatorname{char} K \neq p$である限り、底層の標数に依存せず、特性にわたって一様に成り立つ。
• $n \geq 4$の場合、算術的ランクは未だ不明であり、下界$\operatorname{ara}(V) \geq N - 2$の鋭さについても、開かれた問題のまま残されている。