[논문 리뷰] Two conjectures on convex curves

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

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³ 내 볼록 곡선에 대해 네 개의 접선이 동시에 모두 만날 수 있는 실수 직선이 존재하지 않음을 보여주며, 사영 공간 내 기하학적 및 조합론적 추론을 사용한다.
• 접선과 그 횡단선 간의 인cidenc 기하학을 분석하며, 이중성과 실수 대수적 제약 조건을 활용하여 공통 횡단선의 존재를 반박한다.
• 유리 정규 곡선에 대한 열린 문제를 둘러싸기 위해 [EG1]과 [So4]의 기본 결과에 의존한다.

실험 결과

연구 질문

• RQ1 RP³ 내의 어떤 볼록 곡선의 접선 편평표면의 차수는 정확히 4인가?
• RQ2 RP³ 내 볼록 곡선의 네 개의 접선이 항상 한 실수 직선에 의해 만날 수 있는가?
• RQ3 유리 정규 곡선에 대해서는 두 번째 추측이 일반적으로 거짓임에도 불구하고 참인가?
• RQ4 곡선의 볼록성과 그 접선 편평표면의 차수 사이의 정확한 관계는 무엇인가?
• RQ5 국소 및 전역 교차 차수의 합은 사영 공간 내 곡선과 그에 관련된 편평표면의 기하학을 어떻게 제약하는가?

주요 결과

• RP³ 내의 어떤 볼록 곡선의 접선 편평표면의 차수는 정확히 4이며, 이는 첫 번째 추측을 확인한다.
• 네 개의 접선이 공통의 실수 횡단선을 가지지 않는 볼록 곡선이 RP³ 내에 존재하며, 이는 일반적인 경우에서 두 번째 추측을 반박한다.
• 반례는 명시적으로 구성되었으며, 주어진 네 개의 접선을 동시에 모두 만족하는 실수 직선이 존재하지 않음을 보여준다.
• 결과는 RP³ 내 곡선의 첫 번째 비자명한 경우에 대해 성립하며, 두 번째 추측의 유효성에 대한 날카로운 경계를 설정한다.
• 접선 편평표면의 차수는 볼록성에 대해 불변이며, 곡선의 구체적 형태에 관계없이 볼록할 경우 항상 동일하다.
• 두 번째 추측이 유리 정규 곡선에 대해 성립하는지 여부는 여전히 열려 있으며, 일반적으로 실패했음에도 불구하고.