[논문 리뷰] Lectures on Non-Archimedean Function Theory

William B. Cherry|ArXiv.org|2009. 09. 24.

advanced mathematical theories참고 문헌 30인용 수 5

한 줄 요약

이 강의 시리즈는 p진수 및 비아르키메데스 체 위에서 복소해석학의 유사 이론을 개발하는 비아르키메데스 함수론을 소개한다. 비율 다각형과 포아송-지엔센 공식 같은 기본 도구를 수립하며, 원 위의 메로모르픽 함수에 대한 베네데토의 비아르키메데스 4섬 문제 정리에 이르러, 정확한 곡률과 반경 조건 하에 단사 영역이 서로 겹치지 않는 원판 위로 사상됨을 보장한다.

ABSTRACT

Lecture 1 discusses non-Archimedean analogs of classical complex function theory based on the Schnirelman integral. Lecture 2 discusses valuation (Newton) polygons and their consequences and presents a non-Archimedean analog of the Poisson-Jensen formula. Lecture 3 introduces non-Archimedean value distribution theory. Lecture 4 presents an introduction to Benedetto's non-Archimedean analogs of the Ahlfors Island theorems.

연구 동기 및 목표

• 비아르키메데스 체 위에서 고전적 복소해석학과 유사한 체계적인 함수론 이론을 개발하기 위해.
• 비율 다각형과 메로모르픽 함수에 대한 비아르키메데스 포아송-지엔센 공식과 같은 기본 도구를 수립하기 위해.
• 특히 양의 특성에서의 비아르키메데스 환경으로 값 분포 이론을 확장하기 위해.
• 원 위의 메로모르픽 함수에 대한 베네데토의 4섬 문제 정리를 증명하고 분석하여, 서로 겹치지 않는 무경계 원판 위로의 단사 사상 조건을 규명하기 위해.
• 베르코비치 해석적 공간과 반노름이 양의 특성에서 결과를 제시하고 증명하는 데서 수행하는 역할을 명확히 하기 위해.

제안 방법

• 초등 거리 부등식을 만족하는 비아르키메데스 절대값을 사용하여 완비되고 이산적으로 값이 부여된 체를 정의한다.
• 유계 수열을 이용하여 $\mathbf{Q}$ 에서 $\mathbf{Q}_p$ 와 $\mathbf{Z}_p$ 와 같은 p진수 체를 완비화 과정을 통해 구성한다.
• 메로모르픽 함수의 행동을 분석하고 비아르키메데스 환경에서 포아송-지엔센 공식을 도출하기 위해 비율 다각형을 활용한다.
• 값 분포를 위한 위상적이고 거리 기반의 프레임워크를 제공하기 위해 도메인 $\mathbf{B}_{<1}$ 과 목적지 $\mathbf{P}^1$ 을 모델링하기 위해 베르코비치 해석적 공간을 도입한다.
• 비아르키메데스 환경에서 변형을 제어하기 위해 구면 도함수를 측정하기 위해 $||f^\#||_\nu = \frac{||f'\|_\nu}{\max\{1, ||f||_\nu\}}$ 를 정의한다.
• 모든 $\nu$ 에 대해 $f(\nu) = \mu$ 를 만족할 때 $f^\#(0)$ 과 $r(\nu)||f^\#||_\nu$ 에 조건을 부과하여, 서로 겹치지 않는 네 개의 원판 위로 사상되는 단사 영역의 존재를 확보한다.

실험 결과

연구 질문

• RQ1 고전적 복소함수론은 어떻게 비아르키메데스 체, 특히 p진수 체로 체계적으로 일반화될 수 있는가?
• RQ2 비아르키메데스 환경에서 포아송-지엔센 공식의 유사체는 무엇이며, 영점과 극점의 분포와 어떻게 관련되는가?
• RQ3 양의 특성에서, 원 위의 메로모르픽 함수에서 기형적인 행동을 방지하기 위해 어떤 조건이 필요한가?
• RQ4 정확한 곡률과 반경 조건 하에, 원 위의 메로모르픽 함수가 서로 겹치지 않는 네 개의 무경계 원판 위로 사상되는 단사 영역을 가질 수 있는가?
• RQ5 모든 $\nu$ 에 대해 $f(\nu) = \mu$ 를 만족할 때 조건 $r(\nu)||f^\#||_\nu \geq C_2$ 가 필수적인 이유는 무엇이며, 이 조건이 실패할 경우 어떤 일이 발생하는가?

주요 결과

• 비율 다각형을 통한 비아르키메데스 포아송-지엔센 공식 수립으로 영점과 극점의 차수와 함수의 성장 간의 관계를 연결한다.
• 메로모르픽 함수 $f$ 가 $\mathbf{B}_{<1}$ 에서 정의되어 있고, $f^\#(0) > C_1$ 이며 모든 $\nu$ 에 대해 $f(\nu) = \mu$ 를 만족할 때 $r(\nu)||f^\#||_\nu \geq C_2$ 이면, $f$ 는 어떤 무경계 원판 $U$ 를 서로 겹치지 않는 네 개의 무경계 원판 $D_i$ 중 하나 위로 단사적으로 사상한다.
• 특성 $ \mathrm{char}\;\widetilde{\mathbf{F}} = 0$ 일 경우 상수 $C_2 = 0$ 이며, 이는 특성 0 에서 야생 브랜치가 존재하지 않음을 반영한다.
• 양의 특성에서는 일부 $\nu$ 에 대해 $r(\nu)||f^\#||_\nu$ 가 실패하는 반례가 존재하며, 이러한 경우 4섬 문제 결론이 성립하지 않는다.
• 정리의 날카로움이 입증된다: 형태 $\left(z + \frac{c}{z^{p^n}}\right)\prod_{i=1}^N\left(1 + \frac{c}{(z - a_i)^{p^n}}\right)$ 의 예시들은 $r(\nu)||f^\#||_\nu$ 에 대한 조건을 약화시키면 단사 영역 성질이 실패함을 보여준다.
• 증명은 베르코비치 위상과 반노름을 사용하여 도메인의 기하학적 성질과 각 점에서 함수의 행동을 정의하고 제어한다.