[論文レビュー] On tangents to quadric surfaces

Ciprian S. Borcea, Xavier Goaoc+2 more|ArXiv.org|Feb 24, 2004

Mathematics and Applications参考文献 10被引用数 3

ひとこと要約

本稿は、複素射影3次元空間内の4つの二次曲面が連続的な共通接線を共有する幾何的条件を調査し、『バスケット』——ある円錐に沿って他の曲面に接する二次曲面——の概念を導入する。4つの実球が無限個の共通実接線を持つための必要十分条件は、中心が一直線上にあり、かつ少なくとも1本の共通実接線を共有することである。これは、それらが共通の円で交わる、または共通の回転面（例えば円錐、円柱、双曲面）に接している場合に成立する。

ABSTRACT

We study the variety of common tangents for up to four quadric surfaces in projective three-space, with particular regard to configurations of four quadrics admitting a continuum of common tangents. We formulate geometrical conditions in the projective space defined by all complex quadric surfaces which express the fact that several quadrics are tangent along a curve to one and the same quadric of rank at least three, and called, for intuitive reasons: a basket. Lines in any ruling of the latter will be common tangents. These considerations are then restricted to spheres in Euclidean three-space, and result in a complete answer to the question over the reals: ``When do four spheres allow infinitely many common tangents?''.

研究の動機と目的

• 複素射影3次元空間内の4つの二次曲面が連続的な共通接線を有する幾何的条件を特定すること。
• ランクが3以上で、他の曲面に円錐に沿って接する二次曲面（「バスケット」として定式化）の概念を形式化し、共通接線の退化的配置を統一的に扱う枠組みを提供すること。
• 4つの球の実数の場合を分析し、無限個の共通実接線が存在するための厳密な必要十分条件を同定すること。
• グラスマンニアン、双対性、ヴェロネーゼ埋め込みを用いて、共通バスケットを有する構成の代数的・幾何的構造を特徴づけること。
• 4つの二次曲面のうち、一方の群の各曲面が他方の群の共通バスケットであるような『ダブル・フォー』構成の、射影同値を除いて一意であることを証明し、レーゼ配置と関連付けること。

提案手法

• 射影空間 $\mathbb{P}^3$ 内の直線の集合を表すために、グラスマンニアン $G(2,4)$ を用い、プルーック座標を介して $\mathbb{P}^5$ 内の二次曲面に埋め込むことで、共通接線を交点として扱えるようにする。
• 双対性とヴェロネーゼ埋め込みを用い、二次曲面の幾何とその双対の関係を関連づけ、特にランク1（二重平面）またはランク2（円錐）の二次曲面を含む線型系に注目する。
• ある二次曲面が別のものに円錐に沿って接する場合、その2次曲面の線型系が二重平面を含むことと同値であるという『バスケット』の概念を導入する。
• 代数幾何の技法を用いて、共通バスケット $b$ を共有する $k$ 個の二次曲面をパラメータ化する既約代数的多様体 $B^k_{n}$ を分析し、次元を計算し、一般な構成を特徴づける。
• 4つの球の実数の場合を、共通接線の方向ベクトルに関する2次および4次方程式系に還元し、対称性と平行移動を用いて方程式系を簡略化する。
• 変数を消去し、方向空間における2次曲線と4次曲線の交点を分析することで、1次元の解族が存在するための必要条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 複素射影3次元空間 $\mathbb{P}^3(\mathbb{C})$ 内の4つの二次曲面が連続的な共通接線を持つための幾何的条件は何か？
• RQ2 二次曲面 $q_1$ が別の二次曲面 $q_2$ の『バスケット』と見なされるのはいつか？ また、その接線が円錐に沿って発生するための代数的条件は何か？
• RQ3 3次元実空間 $\mathbb{R}^3$ 内の4つの実球が無限個の共通実接線を持つための正確な条件は何か？
• RQ4 4つの二次曲面が共通バスケットを共有する構成は、レーゼやデザルグの配置といった古典的構成とどのように関係するか？
• RQ5 4つの二次曲面と共通バスケットをパラメータ化する多様体 $B^4_{25}$ の構造は何か？ そして、幾何的にどのように特徴づけられるか？

主な発見

• 一般位置にある4つの非特異な複素二次曲面は、グラスマンニアン内での接線多様体の交点として、正確に32本の共通接線を持つ。
• 連続的な共通接線が存在するための必要十分条件は、4つの二次曲面が共通のバスケット——ランクが3以上の二次曲面で、各々に円錐に沿って接するもの——を共有することである。
• $B^2_{16}$：共通バスケットを共有する2次曲面のペアをパラメータ化する多様体は、既約で次元16であり、一般にはその線型系が二重平面を含むことが特徴である。
• $B^4_{25}$：共通バスケットを共有する4つの二次曲面をパラメータ化する多様体は、既約で次元25であり、一般の構成は4つの二次曲面のスパン内に存在する4つの円錐線型系の完全四辺形に対応する。
• 4つの実球の場合、無限個の共通実接線が存在するための必要十分条件は、中心が一直線上にあり、かつ少なくとも1本の共通実接線を共有することである。これは、それらが共通の円で交わる、または共通の回転面（例えば円錐、円柱、双曲面）に接している場合に成立する。
• 実数の場合、4つの中心が同一平面上にあっても一直線上にない場合は、共通実接線は最大12本までであり、3つの中心が一直線上にある場合は、回転対称性により共通接線が存在するのは、共通の円錐またはバスケットを共有する構成に限られる。