[논문 리뷰] An Extension of Uniqueness Theorems for Meromorphic Mappings

Gerd Dethloff, Van Tan Tran|arXiv (Cornell University)|2004. 05. 28.

Meromorphic and Entire Functions참고 문헌 7인용 수 15

한 줄 요약

이 논문은 복소 프로젝티브 공간에서의 유일성 정리에 대해 초평면 수를 줄이고 절단 조건을 개선함으로써 유일성 정리의 범위를 확장한다. 특정한 다중도 절단 범위와 초평면 수에 대해, 주어진 사상과 역상이 일치하는 사상들의 집합은 최대 두 개의 원소를 가짐을 증명하며, 1998년 후피모토가 제기한 열린 문제를 해결한다.

ABSTRACT

In this paper, we give some results on the number of meromorphic mappings of C^m into P^n under a condition on the inverse images of hyperplanes in P^n. At the same time, we give an answer for an open question by H.Fujimoto.

연구 동기 및 목표

• 1998년 후피모토가 제기한 메로모르픽 사상의 유일성 정리에서 필요한 최소한의 초평면 수에 관한 열린 문제를 해결하기 위해.
• ℂ^m에서 ℂP^n으로의 메로모르픽 사상에 대한 기존의 유일성 정리를 확장하여, 초평면 수를 3n+1에서 더 작은 값으로 줄이기 위해.
• 유일성 정리에서 다중도에 대한 절단 조건을 개선하여 보다 유연하고 일반적인 결과를 도출하기 위해.
• f₁×f₂: ℂ^m → ℂP^n×ℂP^n의 곱 사상이 선형적으로 열화되는 조건을 설정하여, 공유되는 사상에 대한 구조적 제약 조건을 제공하기 위해.
• 특히 공유되는 초평면 역상이 있는 사상들에 대해, 대수적 열화와 절단된 세기 함수 하에서의 유일성에 관한 이전 결과를 일반화하기 위해.

제안 방법

• 수준 k에서 교차 다중도를 절단하는 보다 정교한 세기 함수 v_{(f,H)}^{k)}를 도입하여, 다중도 성장에 대한 통제를 가능하게 한다.
• 다변수 복소해석학에서의 네바린나 이론의 첫 번째 및 두 번째 주요 정리를 적용하여, 세기 함수와 특성 함수를 추정한다.
• 곱 사상의 선형적 열화를 정의하기 위해 세그레 매장 Ψ: ℂP^n×ℂP^n → ℂP^{n²+2n}을 사용하여 공유되는 사상에 대한 대수적 제약 조건을 부여한다.
• 특성 함수 T_f(r)와 세기 함수 N_f^{k)}(r,H_j)의 성장 추정치를 바탕으로 모순 증명을 수행하며, 부등식 (q−n−2)T_f(r) ≤ ... 를 이용하여 q를 유계로 제한한다.
• 정리 2.2를 적용하여 교차비 유사 함수 (f_s,H_j)/(f_s,H_i)의 비례성을 도출하며, 주어진 범위 하에서 α_ij = 1을 얻는다.
• 밀도 추론과 해석함수 이론을 활용하여, 조밀한 부분집합에서의 항등식을 ℂ^m 전체로 확장하여 비율의 전역 등가성을 보장한다.

실험 결과

연구 질문

• RQ1 후피모토의 유일성 정리에서 q = 3n+1인 초평면 수를 유지하면서도 유일성 성질을 보존하는 조건 하에서 줄일 수 있는가?
• RQ2 다중도가 수준 k에서 절단된 상태에서, 최대 두 개의 사상이 동일한 역상을 공유하기 위해 필요한 최소한의 초평면 수는 얼마인가?
• RQ3 f₁과 f₂가 다중도가 수준 k에서 절단된 상태에서 동일한 역상을 공유할 때, 곱 사상 f₁×f₂: ℂ^m → ℂP^n×ℂP^n가 선형적으로 열화되는 조건은 무엇인가?
• RQ4 높은 차원에서의 메로모르픽 사상에 대한 유일성 정리에서 절단 수준 k를 줄이거나 최적화할 수 있는가?
• RQ5 p=∞가 아니라 p=1 또는 p=2로 다중도 절단을 설정할 경우, 더 적은 수의 초평면으로도 유일성 결과를 얻을 수 있는가?

주요 결과

• 1 ≤ n ≤ 3, q = 3n+1, p = 2, 그리고 23n ≤ k ≤ ∞일 때, 집합 F_k({H_j}, f, p)에는 최대 두 개의 서로 다른 사상이 포함된다.
• 4 ≤ n ≤ 6, q = 3n, p = 2, 그리고 (6n−1)n/(n−3) ≤ k ≤ ∞일 때, 집합 F_k({H_j}, f, p)에는 최대 두 개의 서로 다른 사상이 포함된다.
• n ≥ 7, q = 3n−1, p = 1, 그리고 (6n−4)n/(n−6) ≤ k ≤ ∞일 때, 집합 F_k({H_j}, f, p)에는 최대 두 개의 서로 다른 사상이 포함된다.
• q = [5(n+1)/2]이고 k ≥ (65n+171)n일 때, F_k({H_j}, f, 1)에는 최대 두 개의 사상이 포함되거나, 모든 쌍 f₁,f₂ ∈ F_k({H_j}, f, 1)이 선형적으로 열화된 곱 사상 f₁×f₂를 유도한다.
• 증명은 모든 i ≠ j에 대해 α_ij = 1임을 보이며, 이는 초평면 함수 비율이 동일함을 의미하고, 결과적으로 f₁ ≡ f₂ 또는 선형적 열화가 발생함을 이끌어낸다.
• 모순 증명을 통해 세 명 이상의 사상이 존재할 경우, 성장 유계 T_f(r) ≤ (n + nq/k)T_f(r)를 위반하는 부등식이 도출되며, 이는 주어진 조건 k ≥ (65n+171)n 및 q = [5(n+1)/2] 하에서는 실패한다.