[論文レビュー] On the Coincidences of Pascal Lines

Jaydeep Chipalkatti|arXiv (Cornell University)|Jan 1, 2016

Polynomial and algebraic computation参考文献 17被引用数 5

ひとこと要約

この論文は、複素射影平面における一致するパスカル線の代数的幾何を調査し、一致するパスカル線を持つ六点集合 {A,...,F} の集合 Ψ が、二つの既約成分を持つことを証明している。一つは対合の五次元族であり、もう一つは「リコシェット構成」の四次元族である。結果として、二つのコンピュータ代数システムにおけるグレブナー基底計算を用いて、このような構成の完全な記算法的特徴付けが得られた。

ABSTRACT

Let K denote a smooth conic in the complex projective plane. Pas- cal's theorem says that, given six points A,B,C,D,E,F on K, the three in- tersection points AE ∩ BF,AD ∩ CF,BD ∩ CE are collinear. This defines the Pascal line of the array AB C , and one gets sixty such lines in general by permuting the points. In this paper we consider the variety Ψ of sex- tuples {A,...,F}, for which some of the Pascal lines coincide. We show that Ψ has two irreducible components: a five-dimensional component of sextuples in involution, and a four-dimensional component of what will be called 'rico- chet configurations'. This gives a complete synthetic characterization of points in Ψ. The proof relies upon Gr¨ obner basis techniques to solve multivariate poly- nomial equations; the implementation was done in two distinct computer algebra systems.

研究の動機と目的

• 平滑な円錐曲線上の六点集合で、いくつかのパスカル線が一致するような代数的多様体 Ψ を特徴づけること。
• Ψ の既約成分とそれらの次元を、複素射影平面上で特定すること。
• 代数的および計算的手法を用いて、一致するパスカル線を持つ構成の完全な記算法的特徴付けを提供すること。

提案手法

• 著者らは、少なくとも60通りの可能なパスカル線のうち二つ以上が一致するような、平滑な円錐曲線 K 上の六点集合 {A,...,F} の集合として、多様体 Ψ を定義する。
• 線分の一致条件を符号化する多変数多項式方程式系を解くために、グレブナー基底技法を適用する。
• 結果の信頼性を高めるために、二つの異なるコンピュータ代数システムを用いて計算を実装する。
• 代数幾何のアルゴリズムを用いて、定義イデアルを既約成分に分解することで、Ψ の構造を分析する。
• 証明では、二種類の構成、すなわち対合（五次元）とリコシェット構成（四次元）に区別する。
• これらの成分の記算法的特徴付けは、代数的分解と解の多様体の幾何的解釈から導出される。

実験結果

リサーチクエスチョン

• RQ1 円錐曲線上の六点集合で、いくつかのパスカル線が一致するような多様体 Ψ の代数的構造は何か？
• RQ2 Ψ はいくつの既約成分を持ち、それらの次元は何か？
• RQ3 Ψ の各既約成分に対応する幾何的構成は何か？
• RQ4 パスカル線の一致は、記算法的幾何的言語で完全に特徴づけられるか？
• RQ5 対合型とリコシェット型の構成は、代数的および幾何的性質においてどのように異なるか？

主な発見

• 多様体 Ψ は正確に二つの既約成分を持つ：一つは対合に相当する五次元成分である。
• もう一つの成分は四次元であり、「リコシェット構成」と呼ばれるクラスの構成に対応する。
• Ψ の完全な記算法的特徴付けは、これら二つの成分の同定によって達成された。
• 証明は、二つの独立したコンピュータ代数システムで実行されたグレブナー基底計算に依拠しており、結果の堅牢性が保証されている。
• 結果として、円錐曲線上の六点集合で一致するパスカル線を持つものの完全分類が得られ、代数幾何学における古典的問題が解決された。