[論文レビュー] Families of circles on surfaces

Niels Lubbes|arXiv (Cornell University)|Feb 27, 2013

Geometric and Algebraic Topology参考文献 19被引用数 7

ひとこと要約

本稿は、2つの実円族を有する表面（実セレストリアと呼ばれる）を3次元空間で分類し、それらが弱デル・ペッツォ表面であることを示している。このような表面は、モビウスモデルの次数が 2(d−c) に等しいユークリッド型 (d,c) を持つことが確立され、平面、球面、ダーブォー・サイクリック、および高次の表面を含むすべての可能なタイプが、ウェイリーエクイバレント（Weyl同値）に関して分類され、一般の点を通る実円が無限個またはゼロ個であることを証明している。

ABSTRACT

We classify surfaces in 3-space that carry at least 2 families of real circles. Equiv-alently, we classify surfaces with at least 2 real circles through a generic closed point. We call such surfaces real celestials. We show that celestials are weak Del Pezzo surfaces. The Euclidean type of a surface is a tuple (d,c) defined by the degree of the surface in 3-space and the multiplicity of the Euclidean absolute in the surface. The degree of the Moebius model of a celestial of Euclidean type (d,c) is 2(d-c). The Moebius model of a celestial in the 3-sphere is of degree 2, 4 or 8. We show that the Euclidean type of a celestial is either (1,0) (plane), (2,1) (sphere), (2,0), (3,1), (4,2) (Darboux cyclides), (4,0), (6,2), (7,3) or (8,4). We classify celestials in 3-space up to Weyl equivalence. We describe the geometry and singular loci of such celestials. As a result of our classification we obtain an alternative proof for the known fact that a real celestial carries either infinite or at

研究の動機と目的

• 3次元空間において少なくとも2つの実円族を有する表面（実セレストリアと呼ばれる）をすべて分類すること。
• そのような表面のユークリッド型 (d,c) を特定すること。ここで d はユークリッド絶対量の次数、c はその重複度である。
• セレストリアのモビウスモデルの次数が 2(d−c) に等しくなること、すなわち幾何的不変量と関連することを特徴づけること。
• ウェイリー同値（Weyl equivalence）に関して実セレストリアを分類し、その幾何構造と特異点集合を記述すること。
• 一般の点を通る実セレストリアが、無限個の実円を含むか、まったく含まないかのいずれかであることを証明すること。

提案手法

• 代数幾何学的手法とモビウス不変性を用いて、2つの実円族を有する表面を分析すること。
• ユークリッド絶対量の次数 d と重複度 c を用いた分類不変量としてのユークリッド型 (d,c) の定義と分析。
• セレストリアのモビウスモデルの次数を 2(d−c) として計算し、表面の幾何的構造と関連づけること。
• ウェイリー同値を用いて、モビウス群内の射影的同値性に関して実セレストリアを分類すること。
• 特に3次元球面モデルにおける特異点集合と全体的構造の幾何的解析。
• 弱デル・ペッツォ表面理論を応用し、可能なセレストリア表面の制約と分類を行うこと。

実験結果

リサーチクエスチョン

• RQ1 どの3次元空間の表面が少なくとも2つの実円族を有するか？
• RQ2 セレストリアのユークリッド型 (d,c) とそのモビウスモデルの次数の関係は何か？
• RQ3 実セレストリアの可能なユークリッド型 (d,c) は何か？
• RQ4 実セレストリアはどのようにウェイリー同値に関して分類できるか？
• RQ5 実セレストリアは、一般の点を通る実円を無限個または有限個持つのか？

主な発見

• 実セレストリアは弱デル・ペッツォ表面であり、代数幾何学におけるよく知られたクラスと関連づけられる。
• ユークリッド型 (d,c) のセレストリアのモビウスモデルの次数は 2(d−c) に等しく、重要な不変量を提供する。
• 3次元球面におけるセレストリアのモビウスモデルの次数は 2, 4, 8 に限られ、可能な幾何的実現を制限する。
• 実セレストリアの可能なユークリッド型は (1,0), (2,1), (2,0), (3,1), (4,2), (4,0), (6,2), (7,3), (8,4) に限られ、型の完全な分類がなされた。
• ウェイリー同値に関する分類により、実セレストリアの完全な幾何的・代数的記述とその特異点集合が得られた。
• 既知の事実である「一般の点を通る実セレストリアは、無限個の実円を含むか、まったく含まない」ことの別証明が得られた。