[논문 리뷰] An explicit estimate on multiplicity truncation in the second main theorem for holomorphic curves encountering hypersurfaces in general position in projective space

Ta Thi Hoai An, Ha Tran Phuong|ArXiv.org|2007. 08. 07.

Meromorphic and Entire Functions참고 문헌 12인용 수 20

한 줄 요약

이 논문은 복소수 사영 공간에서 일반 위치에 있는 초곡면들과 만날 때 헬름홀로픽 곡선에 대한 두 번째 주요 정리에서 잘라내기 수준 $ M $ 에 대한 명시적인 상계를 제시한다. Corvaja와 Zannier의 필터링 기법을 정교화하고 와이언스키안 분석을 활용하여, $ M \geq 2d\lceil 2^n(n+1)n(d+1)\varepsilon^{-1}\rceil^n $ 이면, 모든 큰 $ r $ 에 대해 유한 측도를 가진 집합을 제외한 영역에서 부등식 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum_{j=1}^q d_j^{-1}N_f^M(r,D_j) $ 가 성립함을 입증한다.

ABSTRACT

Yan and Chen proved a weak Cartan-type second main theorem for holomorphic curves meeting hypersurfaces in projective space that included truncated counting functions. Here we give an explicit estimate for the level of truncation.

연구 동기 및 목표

• 헬름홀로픽 곡선이 일반 위치에 있는 초곡면들과 만날 때 두 번째 주요 정리에서 잘라내기 수준 $ M $ 에 대한 명시적 추정을 제공하는 것.
• Yan과 Chen의 잘라낸 세기 함수를 포함한 약한 카르탕형 두 번째 주요 정리에서 $ M $ 이 $ \varepsilon $ 에 어떻게 의존하는지 명시적으로 밝혀내는 것.
• 값 분포 이론과 디오판틴 대수적 추론 분야의 구체적 응용에 대해 잘라내기 수준을 계산 가능하게 만드는 것.
• 잘라낸 세기 함수의 적용 범위를 확장하기 위해, 부등식이 점점 커짐에 따라 성립하도록 보장하는 최소 $ M $ 을 정량화하는 것.

제안 방법

• 저자들은 원래 디오판틴 추론에 사용된 Corvaja와 Zannier의 필터링 방법에 대한 정교한 분석을 사용한다.
• 차수 $ \alpha $ 의 동차 다항식들로 이루어진 벡터 공간 $ V_\alpha $ 를 구성하고, 다중지표 $ \mathbf{i} $ 와 연관된 단항식을 이용해 기저를 정의한다.
• 기저 원소 $ \psi_t(f) $ 로부터 와이언스키안 행렬식 $ W $ 를 구성하고, 공통 영점에서의 소멸 차수를 추정하여 세기 함수의 잘라내기 수준을 통제한다.
• 핵심 부등식은 첫 번째 주요 정리와 와이언스키안 추정을 통해 유도되며, 이로부터 필터링의 총 무게 $ \Delta $ 에 대한 하한이 도출된다.
• 잘라내기 수준 $ M $ 은 $ n+1 $ 개의 변수에서 총 차수 $ \leq \alpha/d - n $ 인 단항식의 수를 통해 추정되며, 이로써 $ M\alpha/\Delta $ 에 대한 bound 를 얻는다.
• $ \alpha $ 를 $ \varepsilon^{-1} $ 에 비례하도록 선택함으로써, 저자들은 $ d $, $ n $, $ \varepsilon $ 에 대한 명시적인 $ M $-상한을 도출한다.

실험 결과

연구 질문

• RQ1 헬름홀로픽 곡선이 일반 위치에 있는 초곡면들과 만날 때 두 번째 주요 정리에서 잘라낸 세기 함수를 포함한 정리가 성립하기 위한 최소 잘라내기 수준 $ M $ 은 무엇인가?
• RQ2 값 분포 이론에 응용하기 위해 $ M $ 이 $ \varepsilon $ 에 어떻게 의존하는지 명시적으로 밝힐 수 있는가?
• RQ3 Corvaja와 Zannier의 필터링 기법을 보다 정교화하여 잘라낸 세기 함수의 맥락에서 $ M $ 에 대한 효과적인 상한을 도출할 수 있는가?
• RQ4 초곡면의 차수와 사영 공간의 차원에 대해 잘라내기 수준은 어느 정도 정량화될 수 있는가?
• RQ5 부등식 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum d_j^{-1}N_f^M(r,D_j) $ 가 모든 큰 $ r $ 에 대해 유한 측도를 가진 집합을 제외한 영역에서 성립하도록 하는 명시적인 $ M $ 을 유도할 수 있는가?

주요 결과

• 논문은 $ M \geq 2d\lceil 2^n(n+1)n(d+1)\varepsilon^{-1}\rceil^n $ 이면, 모든 큰 $ r $ 에 대해 유한 르베그 측도를 가진 집합을 제외한 영역에서 잘라낸 세기 함수를 포함한 두 번째 주요 정리 부등식이 성립함을 입증한다.
• 잘라내기 수준 $ M $ 은 초곡면들의 차수 $ d_j $ 의 최소공배수 $ d $, 차원 $ n $, 그리고 오차 매개변수 $ \varepsilon $ 에 대해 명시적으로 유계되어 있다.
• 이 상한은 잘 선택된 동차 다항식 기저의 와이언스키안에 대한 세밀한 분석과 Corvaja 및 Zannier의 필터링 방법을 통해 도출된다.
• 추정 결과에 따르면 $ M $ 이 $ \varepsilon^{-1} $ 에 대해 다항식적으로 증가하므로, 일반적으로 응용에서 사용되는 작은 고정된 $ \varepsilon $ 에 대해 효과적임을 보여준다.
• 이 결과는 $ \mathbb{C} $ 에서 $ \mathbb{P}^n(\mathbb{C}) $ 로의 헬름홀로픽 곡선 뿐만 아니라, $ \mathbb{C}^m $ 에서의 매끄러운 사영 사상과 비아르키메데스 해석적 곡선으로도 확장된다.
• 핵심 부등식 $ (q - n - 1 - \varepsilon)T_f(r) \leq \sum d_j^{-1}N_f^M(r,D_j) $ 는 점점 커짐에 따라 성립함이 증명되었으며, $ o(T_f(r)) $ 오차는 $ \varepsilon $-항에 흠뻑 흠뻑 녹아든다.