2025-11-25T11:25:17.864636

The Second Main Theorem with moving hypersurfaces in subgeneral position

Cai, Yang

In this paper, we prove a second main theorem for a holomorphic curve $f$ into $\mathbb P^N (\mathbb C)$ with a family of slowly moving hypersurfaces $D_1,...,D_q$ with respect to $f$ in $m$-subgeneral position, proving an inequality with factor $3 \over 2$. The motivation comes from the recent result of Heier and Levin.

academic

부분일반위치의 이동 초곡면을 포함한 제2주정리

기본정보

논문ID: 2501.00833
제목: 부분일반위치의 이동 초곡면을 포함한 제2주정리
저자: Qili Cai, Chin Jui Yang (휴스턴 대학교)
분류: math.CV (복소변수론)
발표시간: 2025년 1월 1일
논문링크: https://arxiv.org/abs/2501.00833

초록

본 논문은 정칙곡선 $f: \mathbb{C} \to \mathbb{P}^N(\mathbb{C})$ 에 대한 제2주정리를 증명하며, 여기서 $f$ 에 대한 완만한 이동 초곡면 $D_1, \ldots, D_q$ 가 $m$ -부분일반위치에 있는 경우를 다룬다. 인수 $\frac{3}{2}$ 를 포함하는 부등식을 증명했으며, 연구 동기는 Heier와 Levin의 최근 결과에서 비롯되었다.

연구 배경 및 동기

문제 배경

역사적 기원: 1929년 R. Nevanlinna는 아원형함수의 값분포이론을 연구하면서 다음을 추측했다: 고정된 점을 완만하게 증가하는 아원형함수로 대체하면 제2주정리가 여전히 성립한다.
발전 과정:
- Osgood, Steinmetz, Yamanoi가 절단 1을 사용하여 이 추측을 해결함
- 1991년 Ru와 Stoll이 부분일반위치의 이동 초평면과 선형 비퇴화 정칙곡선의 제2주정리를 확립
- 특히 부분일반위치 조건 하에서 정칙곡선과 이동 목표의 교집합 성질 연구
핵심 문제: 정칙곡선과 이동 목표의 교집합 성질 연구, 특히 부분일반위치 조건 하에서의 제2주정리

연구의 중요성

고전적 Nevanlinna 이론을 이동 목표 경우로 확장
복소기하학 및 디오판토스 근사 이론에 중요한 도구 제공
값분포이론과 대수기하학의 연결

핵심 기여

주요 정리: $m$ -부분일반위치의 완만한 이동 초곡면족에 대한 제2주정리를 증명하고 인수 $\frac{3}{2}$ 의 개선된 결과 획득
일반화 틀: 대수 비퇴화 경우에 적용 가능한 보다 일반적인 이론 틀 확립, "일반 영역" 개념 도입
기술적 혁신: Heier-Levin 방법을 채택하고 Vojta의 Nochka 가중치 그래프 기법과 결합
이론 완성: 고전적 고정 초곡면 이론을 이동 초곡면 경우로 일반화

방법론 상세 설명

기본 정의 및 기호

완만한 증가 함수: 아원형함수 $g$ 가 $f$ 에 대해 완만하게 증가한다고 하면, $T_g(r) = o(T_f(r))$ 이다.

이동 초곡면: 차수 $d$ 의 이동 초곡면 $D$ 는 동차다항식 $Q = \sum_{I \in I_d} a_I x^I$ 로 정의되며, 여기서 $a_I$ 는 공통 영점이 없는 정칙함수이다.

$m$ -부분일반위치: 이동 초곡면 $D_1, \ldots, D_q$ 가 $m$ -부분일반위치에 있다는 것은, 어떤 $z \in \mathbb{C}$ 에 대해 $D_1(z), \ldots, D_q(z)$ 중 임의의 $m+1$ 개가 한 점에서 만나지 않음을 의미한다.

주요 정리

정리 1.4 (주정리): $f: \mathbb{C} \to \mathbb{P}^N(\mathbb{C})$ 를 정칙사상이라 하고, $D_1, \ldots, D_q$ 를 $f$ 에 대한 완만한 이동 초곡면족이라 하며, 차수를 각각 $d_1, \ldots, d_q$ 라 하자. $f$ 가 $K_f$ 위에서 대수 비퇴화이고 $D_1, \ldots, D_q$ 가 $m$ -부분일반위치에 있다고 가정하자. 그러면 임의의 $\varepsilon > 0$ 에 대해:

$\sum_{j=1}^q \frac{1}{d_j} m_f(r, D_j) \leq_{\text{exc}} \frac{3}{2}(2m - N + 1 + \varepsilon)T_f(r)$

일반 영역 방법

일반 영역: $k = K_f$ 라 하면, $k$ 의 일반 영역 $\Omega_k$ 는 $k$ 의 체 확대로서 대수적으로 닫혀있고 $k$ 위에서 무한 초월차수를 갖는다.

대수 다양체: $V_f := \cap\{P = 0 | P \in K_f[x_0, \ldots, x_N], P(f) \equiv 0\} \subseteq \mathbb{P}^N(\Omega)$ 로 정의

일반화 정리 1.6: 보다 일반적인 설정에서 다음을 증명했다: $\sum_{j=1}^q \frac{1}{d_j} m_f(r, D_j) \leq_{\text{exc}} \frac{3}{2}(2m - n + 1 + \varepsilon)T_f(r)$

여기서 $n = \dim V_f$ 이다.

기술적 혁신점

분포 상수 방법

분포 상수 $\Delta$ 를 도입: $\Delta := \max_{\Gamma \subset \{1,\ldots,q\}} \frac{\#\Gamma}{\text{codim}_{V_f}(\cap_{j \in \Gamma} D_j)}$

Vojta 가중치 그래프 기법

Vojta의 Nochka 가중치 그래프 분석을 활용하여 기하학적 방법으로 최적 상수를 결정한다. 핵심 관찰은 점 $P = (\alpha(W_0), \text{codim}_{V_f} W_0)$ 이 두 직선의 교점 $Q = (\frac{2m-n+1}{2}, \frac{n+1}{2})$ 의 좌하방에 위치한다는 것이다.