[논문 리뷰] A Second Main Theorem for Moving Hypersurface Targets

Gerd Dethloff, Van Tan Tran|arXiv (Cornell University)|2007. 03. 20.

Meromorphic and Entire Functions참고 문헌 21인용 수 26

한 줄 요약

이 논문은 ℂ^m에서 ℂP^n으로의 대수적으로 비퇴화된 메로모르픽 사상에 대해, 천천히 움직이는 초곡면 목표물이 (약한) 일반 위치에 있을 경우, 루의 고정된 목표물 결과를 일반화하여 제2 주요 정리를 확립한다. 이는 계수 함수의 차수와 성장에 대해 효과적인 유계를 갖는, 명시적인 잘라내기 수준을 포함한 계수 함수와 특성 함수 사이의 날카로운 부등식을 제공한다.

ABSTRACT

In 1979, B. Shiffman conjectured that if f is an algebraically nondegenerate holomorphic map of C into P^n and D_1,...,D_q are hypersurfaces in P^n in general position, then the sum of the defects is at most n+1. This conjecture was proved by M. Ru in 2004. In this paper, the Shiffman conjecture is proved more generally in the case of slowly moving hypersurfaces in (weakly) general position. Moreover, we introduce a truncation in the corresponding Second Main Theorem, with an effective estimate on the truncation level, thus generalizing a result of An-Phuong.

연구 동기 및 목표

• ℂP^n에서 일반 위치에 있는 고정된 초곡면에 대한 루의 제2 주요 정리를, 천천히 움직이는 초곡면으로 일반화하는 것.
• 이동 목표물에 대해 앤폰의 잘라내기 결과를 확장하기 위해, 이동 목표물에 대한 잘라내기 수준의 명시적 추정을 제공하는 것.
• 메로모르픽 사상의 특성 함수와 그 이동 초곡면과의 교차점에 대한 계수 함수 사이의 날카로운 부등식을 수립하는 것.
• 잘라내기 수준이 이동 초곡면의 계수 함수의 차수와 성장에 대해 효과적으로 의존함을 증명하는 것.
• 이동 초곡면의 계수 함수가 생성하는 체 위에서 사상이 대수적으로 비퇴화적일 조건 하에서 주요 부등식이 성립함을 보이는 것.

제안 방법

• 저자들은 ℂ^m 위의 정칙 함수 fᵢ를 갖는 메로모르픽 사상 f = (f₀ : … : fₙ)의 축소 표현을 사용한다.
• 특성 함수 T_f(r)는 σ = dᶜlog‖z‖² ∧ (ddᶜlog‖z‖)ᵐ⁻¹를 사용하여 구면 위에서 적분함으로써 정의된다.
• 계수 함수 Q_j에 대한 계수 함수 N_f(r, Q)는 잘라내기 수준 L을 포함하여 정의되며, Q_j(f₀,…,fₙ)의 영점의 차수를 최대 L까지 셈한다.
• 핵심 기법은 이동 초곡면 Q_j와의 교차점의 성장을 제어하기 위해 보조 함수와 와이어스트란 W_J를 구성하는 것이다.
• 증명은 제닝스의 공식과 로그 적분의 성장 추정을 사용하여 특성 함수와 잘라낸 계수 함수를 포함하는 부등식을 유도한다.
• 잘라내기 수준 L_j는 L_j = [d_jL/d + 1]로 명시적으로 추정되며, 여기서 d는 초곡면 Q_j의 차수 d_j들의 최소공배수이다.

실험 결과

연구 질문

• RQ1 네바린느 이론의 제2 주요 정리는 고정된 초곡면이 아닌, 일반 위치에 있는 이동 초곡면으로 확장될 수 있는가?
• RQ2 목표물이 이동할 경우 제2 주요 정리에서 계수 함수의 최적 잘라내기 수준은 무엇인가?
• RQ3 이동 초곡면의 계수 체 위에서 사상의 대수적 비퇴화성은 결함 관계에 어떤 영향을 미치는가?
• RQ4 잘라내기 수준은 이동 초곡면의 계수 함수의 차수와 성장에 대해 정확히 어떻게 의존하는가?
• RQ5 이전 결과를 일반화하기 위해 주요 부등식을 효과적으로 명시적인 유계를 갖도록 만들 수 있는가?

주요 결과

• 논문은 ℂ^m에서 ℂP^n으로의 메로모르픽 사상 f에 대해, q ≥ n+2개의 천천히 움직이는 초곡면 Q_j가 (약한) 일반 위치에 있을 경우 제2 주요 정리를 확립한다.
• 명시적인 잘라내기 수준 L_j = [d_jL/d + 1]가 유도되며, 여기서 d는 초곡면 Q_j의 차수 d_j들의 최소공배수이다.
• 주요 부등식은 r → ∞일 때 (q - n - 1 - ε)T_f(r) ≤ ∑_{j=1}^q (1/d_j) N_f^{(L_j)}(r, Q_j) + o(T_f(r))로 표현된다.
• 결과는 루의 고정된 목표물 제2 주요 정리를 일반화하고, 앤폰의 잘라내기 결과를 효과적인 유계를 갖는 이동 목표물로 확장한다.
• 증명은 보조 와이어스트란 유형의 행렬식을 구성하고, 제닝스의 공식을 사용하여 로그 적분의 성장을 제어하는 데 의존한다.
• 잘라내기 수준은 초곡면이 사상에 대해 천천히 움직일지라도, 계수 함수가 특성 함수에 대해 유계로 유지됨을 보장한다.