[论文解读] Families of circles on surfaces

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

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

一句话总结

本文分类了三维空间中至少包含两族实圆的曲面（称为实天体），并证明其为弱德尔朋约曲面。研究建立其欧氏类型 (d,c) 满足 Möbius 模型的次数为 2(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

研究动机与目标

• 分类三维空间中至少包含两族实圆的曲面（称为实天体）。
• 确定此类曲面的欧氏类型 (d,c)，其中 d 为欧氏绝对的次数，c 为其重数。
• 刻画天体的 Möbius 模型次数为 2(d−c)，建立其与几何不变量的联系。
• 在 Weyl 等价意义下对实天体进行分类，并描述其几何结构与奇点轨迹。
• 证明实天体在一般点处要么包含无穷多条实圆，要么一条也无。

提出的方法

• 运用代数几何与 Möbius 不变量分析包含两族实圆的曲面。
• 定义并分析欧氏类型 (d,c) 作为基于欧氏绝对次数与重数的分类不变量。
• 计算天体的 Möbius 模型次数为 2(d−c)，建立其与曲面几何结构的联系。
• 应用 Weyl 等价性，将实天体在 Möbius 群的射影等价意义下进行分类。
• 对奇点轨迹与天体的整体结构进行几何分析，尤其在三维球面模型中。
• 运用弱德尔朋约曲面理论，约束并分类可能的天体曲面。

实验结果

研究问题

• RQ1 哪些三维空间中的曲面至少包含两族实圆？
• RQ2 天体的欧氏类型 (d,c) 与其 Möbius 模型次数之间有何关系？
• RQ3 实天体可能的欧氏类型 (d,c) 有哪些？
• RQ4 如何在 Weyl 等价意义下对实天体进行分类？
• RQ5 实天体在一般点处包含无穷多条还是有限多条实圆？

主要发现

• 实天体为弱德尔朋约曲面，将其与代数几何中一个经典曲面类联系起来。
• 欧氏类型为 (d,c) 的天体，其 Möbius 模型次数为 2(d−c)，构成一个关键不变量。
• 在三维球面中，天体的 Möbius 模型次数为 2、4 或 8，限制了其可能的几何实现。
• 实天体可能的欧氏类型为 (1,0)、(2,1)、(2,0)、(3,1)、(4,2)、(4,0)、(6,2)、(7,3) 和 (8,4)，完整分类了其类型。
• 在 Weyl 等价意义下的分类提供了实天体及其奇点轨迹的完整几何与代数描述。
• 获得了一个替代证明，支持已知结论：实天体在一般点处要么包含无穷多条实圆，要么一条也无。