[论文解读] Two conjectures on convex curves

V. D. Sedykh, Boris Shapiro|arXiv (Cornell University)|Aug 28, 2002

Algebraic Geometry and Number Theory参考文献 13被引用 6

一句话总结

本文研究了实射影空间 RP³ 中凸曲线的可展曲面（切线可展曲面）的两个猜想。证明了 RP³ 中任意凸曲线的切线可展曲面的次数为 4，同时通过构造一个在 RP³ 中的凸曲线，使其存在四条切线，而没有任何实直线能同时与这四条切线相交，从而否定了第二个猜想。该结果在首个非平凡情形下解决了其中一个猜想并否定了另一个，但关于有理正规曲线的特殊情况仍为开放问题。

ABSTRACT

Abstract. In this paper we recall two basic conjectures on the developables of convex projective curves, prove one of them and disprove the other in the first nontrivial case of curves in RP 3. Namely, we show i) that the tangent developable of any convex curve in RP 3 has degree 4 and ii) construct an example of 4 tangent lines to a convex curve in RP 3 such that no real line intersects all four of them. The question (discussed in [EG1] and [So4]) whether the second conjecture is true in the special case of rational normal curves still remains open. We start with some important notions. §1. Introduction and results Main definition. A smooth closed curve γ: S 1 → RP n is called locally convex if the local multiplicity of intersection of γ with any hyperplane H ⊂ RP n at any of the intersection points does not exceed n = dim RP n and globally convex or just convex if the above condition holds for the global multiplicity, i.e for the sum of local multiplicities.

研究动机与目标

• 研究关于 RP³ 中凸曲线相关可展曲面几何的两个长期存在的猜想。
• 确定 RP³ 中凸曲线的切线可展曲面是否次数为 4，以确认一个猜想。
• 检验 RP³ 中凸曲线的四条切线是否总能被一条实直线同时相交，以挑战第二个猜想。
• 在首个非平凡情形下解决这些猜想的状态：即 RP³ 中的曲线，特别关注凸性与直线构型。
• 保留有理正规曲线这一特殊情况的开放性，其中第二个猜想仍未解决。

提出的方法

• 利用 RP^n 中光滑闭曲线的局部与整体凸性的定义，其中整体凸性要求与任意超平面的局部交点重数之和不超过 n。
• 应用微分几何技术分析 RP³ 中凸曲线的切线可展曲面，重点研究其作为射影代数曲面的次数。
• 运用代数几何工具计算切线可展曲面的次数，证明对于 RP³ 中任意凸曲线，其次数恰好为 4。
• 构造一个在 RP³ 中的凸曲线的具体例子，使其具有四条切线，使得没有任何实直线能同时与这四条切线相交，使用射影空间中的几何与组合推理。
• 分析切线及其横截线的关联几何，利用对偶性与实代数约束，否定了公共横截线的存在性。
• 依赖 [EG1] 和 [So4] 的基础结果，以定位有理正规曲线情形下的开放问题。

实验结果

研究问题

• RQ1 RP³ 中任意凸曲线的切线可展曲面是否次数为 4？
• RQ2 RP³ 中凸曲线的四条切线是否总能被一条实直线同时相交？
• RQ3 尽管在一般情况下不成立，第二个猜想在 RP³ 中的有理正规曲线情形是否成立？
• RQ4 曲线的凸性与切线可展曲面的次数之间是否存在精确关系？
• RQ5 局部与整体交点重数如何约束射影空间中曲线及其相关可展曲面的几何结构？

主要发现

• RP³ 中任意凸曲线的切线可展曲面次数恰好为 4，证实了第一个猜想。
• 存在一个 RP³ 中的凸曲线，其四条切线不具有公共实横截线，从而在一般情形下否定了第二个猜想。
• 反例被明确构造，证明没有任何实直线能同时与指定的四条切线相交。
• 该结果适用于 RP³ 中曲线的首个非平凡情形，确立了第二个猜想有效性的严格边界。
• 切线可展曲面的次数在凸性下保持不变，且与具体曲线无关，只要曲线是凸的。
• 尽管在一般情况下不成立，关于第二个猜想在有理正规曲线情形是否成立的问题仍为开放。