[논문 리뷰] Holomorphic curves into algebraic varieties intersecting moving hypersurface targets

Gerd Dethloff, Van Tan Tran|arXiv (Cornell University)|2015. 03. 30.

Meromorphic and Entire FunctionsMathematics참고 문헌 24인용 수 20

한 줄 요약

이 논문은 복소수 사영 다양체에서 정규화되지 않은 헬로모르픽 곡선이 움직이는 초곡면과 교차할 때, Ru의 고정된 목표에 대한 결과를 확장하여 제2주요 정리(Second Main Theorem)를 수립한다. 다양체의 좌표환에 대한 새로운 필터링 기법과 Hilbert 수열의 渐近 분석을 통해 일반 다양체에서 정규 수열의 실패 문제를 극복하고, 세기 함수가 오차 항 o(T_f(r))를 포함한 날카로운 부등식을 만족함을 증명한다.

ABSTRACT

27 pages. arXiv: 1503.08801v2. We correct an error in the proof: The second part of equation (2.12) in the the first version of this paper does not hold in general.

연구 동기 및 목표

• 고정된 초곡면에 대한 Min Ru의 제2주요 정리 결과를 사영 다양체에서 움직이는 초곡면 목표로 일반화하는 것.
• 일반 다양체에서 정규 수열 성질이 붕괴됨에 따라 이전 방법이 선형 동형사상에 의존하는 데 실패하는 문제를 해결하는 것.
• 정규 수열이 존재하지 않을 경우에도 차원 제어를 유지할 수 있도록 다양체의 동차 좌표환에 대한 새로운 필터링 기법을 개발하는 것.
• 이차형 이상의 이상적일 수 있는 경우에도, 이차형 이상의 이상적의 원소를 사용하여 움직이는 초곡면이 일반 위치에 있지 않은 영역을 제어하는 것.
• 임의의 사영 다양체에서, 완전성 또는 Cohen-Macaulay 조건 없이도, 오차 항이 o(T_f(r))인 날카로운 세기 함수 부등식을 수립하는 것.

제안 방법

• 사영 다양체 V의 동차 좌표환에 필터링을 구성하며, 이는 움직이는 초곡면의 정의 다항식을 이용한다.
• 필터링의 Hilbert 수열 渐近 분석을 통해 인접 벡터 공간들의 차원 합을 계산하며, 조합 기법을 활용한다.
• 필터링의 거의 모든 인접 벡터 공간이 동일한 차원을 가지며, 이는 정밀한 渐近 추정을 가능하게 한다.
• 일반적 특수화 방법을 사용하여, 유리형 계수가 일반 점에서 평가될 때 벡터 공간 차원이 안정됨을 보인다.
• 이차형 이상의 이상적의 원소를 도입하여, 이차형 이상일 경우에도 비일반 위치 영역을 제어한다.
• Evertse-Ferretti 추정을 통한 Mumford의 항등식의 일반화된 형태를 적용하며, 노름의 로그 비율에 대한 최대 함수 추정을 병행한다.

실험 결과

연구 질문

• RQ1 사영 다양체에서 헬로모르픽 곡선에 대한 제2주요 정리가 고정된 초곡면에서 움직이는 초곡면 목표로 확장될 수 있는가?
• RQ2 정규 수열 성질이 붕괴할 경우, 좌표환의 필터링에서 차원 제어를 어떻게 유지할 수 있는가?
• RQ3 움직이는 초곡면이 일반 위치에 있지 않은 비일반성 영역을 올바르게 다루는 방법은 무엇인가?
• RQ4 완전교차가 아니라는 가정 하에 세기 함수 부등식의 오차 항을 o(T_f(r))로 줄일 수 있는가?
• RQ5 Evertse-Ferretti와 Ru의 방법을 움직이는 목표로 일반화할 수 있는가? 이때는 Hilbert 함수에 대한 대수적 기법과 渐近 분석만을 사용한다.

주요 결과

• 저자들은 ℂ → ℙ^M 으로 가는 대수적으로 비정규화된 헬로모르픽 곡선 f에 대해, 움직이는 초곡면 Q_j와의 교차를 고려한 제2주요 정리를 증명하며, 세기 함수가 임의의 ε > 0 에 대해 ∑_{j=1}^q N_f(r, Q_j) ≥ d(q−n−1−ε)T_f(r) + o(T_f(r)) 를 만족함을 보였다.
• 정규 수열 성질에 의존하지 않도록 Hilbert 수열의 渐近 분석과 필터링 내의 조합적 차원 제어 기법을 사용함으로써, 이 방법이 성공적으로 적용됨을 입증하였다.
• 필터링의 인접 벡터 공간의 차원이 거의 일정함을 보이며, 이는 다양체가 Cohen-Macaulay가 아닐 경우에도 정밀한 渐近 추정이 가능함을 시사한다.
• 움직이는 초곡면이 일반 위치에 있지 않은 영역은 이차형 이상의 이상적의 단일 원소를 통해 제어되며, 이는 오차 항 분석에 충분하다.
• 오차 항이 o(T_f(r))임을 증명함으로써, 주어진 가정 하에 경계의 날카로움이 확인되었다.
• 이 결과는 Ru의 고정된 목표 제2주요 정리와 Dethloff-Tan의 ℙ^n 에서의 움직이는 목표 결과를, 완전교차 조건 없이도 임의의 사영 다양체로 일반화한다.