[論文レビュー] Two conjectures on convex curves

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

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

ひとこと要約

本稿は、実射影空間 RP³ 内の凸曲線の展開可能な曲面（接線展開面）に関する2つの予想を検討する。本稿では、RP³ 内の任意の凸曲線の接線展開面の次数が 4 であることを証明する一方で、4本の接線が同時に交わるような実直線が存在しないような凸曲線の例を構成することで、2番目の予想を反証する。この結果により、1つの予想は解決され、もう1つは最初の非自明な場合において反証されたが、有理正規曲線の特殊な場合については未解決のまま残されている。

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³ 内の凸曲線に関連する展開可能な曲面の幾何学に関する2つの長年の予想を検討すること。
• RP³ 内の凸曲線の接線展開面の次数が 4 であるかどうかを特定し、予想を確認すること。
• RP³ 内の凸曲線の4本の接線が常に1本の実直線で交わるかどうかを検証し、2番目の予想に挑戦すること。
• 曲線が RP³ 内に存在する場合の、これらの予想の状態を、最初の非自明なケースとして解明すること。特に、凸性と直線配置に注目すること。
• 有理正規曲線の特殊なケースを未解決のまま残すこと。

提案手法

• RP^n 内の滑らかな閉曲線の局所的および大域的凸性の定義を用い、大域的凸性は任意の超平面との局所的交点重複度の和が n を超えないことを要件とする。
• 微分幾何学的手法を用いて、RP³ 内の凸曲線の接線展開面の次数を、射影代数的曲面として分析する。
• 代数幾何学的ツールを用いて接線展開面の次数を計算し、RP³ 内の任意の凸曲線に対してそれが正確に 4 に等しいことを示す。
• 特定の例として、4本の接線が同時に交わるような実直線が存在しないような RP³ 内の凸曲線を、射影空間における幾何的および組合せ論的推論を用いて構成する。
• 接線とそれらの横断線のインシデント幾何学を分析し、双対性および実代数的制約を活用して、共通の横断線の存在を反証する。
• 有理正規曲線に関する未解決問題を文脈化するために、[EG1] および [So4] の基礎的結果に依拠する。

実験結果

リサーチクエスチョン

• RQ1 RP³ 内の任意の凸曲線の接線展開面の次数は 4 であるか？
• RQ2 RP³ 内の凸曲線の4本の接線は、常に1本の実直線で交わるか？
• RQ3 一般には誤りであるにもかかわらず、有理正規曲線における2番目の予想は真であるか？
• RQ4 曲線の凸性とその接線展開面の次数との正確な関係は何か？
• RQ5 局所的および大域的交点重複度は、射影空間における曲線およびそれに関連する展開面の幾何学をどのように制約するか？

主な発見

• RP³ 内の任意の凸曲線の接線展開面の次数は正確に 4 である。これは最初の予想を確認する。
• 4本の接線が共通の実横断線を持たないような凸曲線が存在する。これは、一般の場合における2番目の予想を反証する。
• 反例は明示的に構成されており、指定された4本の接線を同時に交わるような実直線が存在しないことを示している。
• この結果は、曲線が RP³ 内にある最初の非自明なケースに成立し、2番目の予想の有効性の明確な境界を確立する。
• 接線展開面の次数は凸性に対して不変であり、曲線が凸である限り、その具体的な形状に依存しない。
• 2番目の予想が一般には成り立たないにもかかわらず、有理正規曲線においては成り立つかどうかは未解決のまま残されている。