[논문 리뷰] Doubling coverings of algebraic hypersurfaces

Omer Friedland, Yosef Yomdin|arXiv (Cornell University)|2015. 12. 09.

Analytic Number Theory Research참고 문헌 20인용 수 3

한 줄 요약

이 논문은 비특이 대수기하곡면 Y = {P = c}의 컴acts 부분에 대한 이중 커버링에서 최소 차수의 상한을 log(1/δ)의 주기로 설정한다. 여기서 δ는 비특이 임계점을 가진 다항식 P의 특이점 집합으로부터 Y까지의 거리이다. 이 결과는 해석적 이중 커버링이 특이점에 가까워질수록 점점 더 복잡해지며, 이는 C^k-매개변수화와는 대조적으로 복잡도가 일정하게 유지되지 않는다는 것을 보여준다.

ABSTRACT

A doubling covering $\U$ of a complex $n$-dimensional manifold $Y$ consists of analytic functions $ψ_j:B_1 o Y$, each function being analytically extendable, as a mapping to $Y$, to a four times larger concentric ball $B_4$. Main result of this paper is an upper bound on the minimal number $κ({\U})$ of charts in doubling coverings of a manifold $Y$, being a compact part of a non-singular level hypersurface $Y=\{P=c\}$, where $P$ is a polynomial on $\C^n$ with non-degenerated critical points. We show that $κ({\U})$ is of order $\log({1}/ρ)$, where $ρ$ is the distance from $Y$ to the singular set of $P$. Our main motivation is that doubling coverings form a special class of "smooth parameterizations", which are used in bounding entropy type invariants in smooth dynamics on one side, and in bounding density of rational points in diophantine geometry on the other. Complexity of smooth parameterizations is a key issue in some important open problems in both areas. We also present connections between doubling coverings and doubling inequalities for analytic functions $f$ on $Y$, which compare the maxima of $|f|$ on couples of compact domains $Ω\subset G$ in $Y$. We shortly indicate connections with Kobayashi metric and with Harnack inequality.

연구 동기 및 목표

• C^n에서 비특이 대수기하곡면의 컴acts 부분에 대한 이중 커버링에서 최소 차수의 상한을 설정하는 것.
• 정의 다항식 P의 특이점 집합에 가까워질수록 이러한 커버링의 복잡도가 어떻게 증가하는지 조사하는 것.
• 이중 커버링과 기하곡면 위의 해석 함수에 대한 이중 부등식을 연결하는 것.
• 해석적 이중 커버링이 특이점 근처에서 로그 복잡도 증가를 보이며, C^k-매개변수화와는 달리 균일하게 유bound된다는 것을 보여주는 것.

제안 방법

• Y에 있는 컴acts 도메인을 커버하기 위해, B_1 → Y로의 단일 해석적 사상 ψ_j: B_1 → Y이며, B_4로 연장 가능한 이중 커버링을 정의하는 데 사용한다.
• 주요 결과(정리 3.1)를 적용하여, P의 특이점 집합으로부터의 거리 δ에 따라 차수의 수를 제한한다.
• 해석 함수 f에 대한 이중 부등식을, Harnack 유형의 구성과 유사한 이중 커버링 내의 차수 체인을 통해 유도한다.
• ∇P의 노름을 사용하여 Y에서 특이점 집합까지의 거리를 추정하며, K(P) = ||∇P||는 척도 인자로 정의된다.
• 특수 케이스인 쌍곡선 H_ε = {zy = ε²}과 쌍곡면 Y_ε = {∑z_j² = ε²}에 대한 명시적 커버링을 구성하여 상한과 하한이 일치함을 보인다.
• 코로나리 5.3를 적용하여, 해석 함수의 이중 상수 DC_f(G,Ω)를 사용해 차수 수의 하한을 유도한다.

실험 결과

연구 질문

• RQ1 비특이 대수기하곡면 Y = {P = c}의 컴acts 부분에 대한 이중 커버링에서 최소 차수의 수는 다항식 P의 특이점 집합에 가까워질수록 어떻게 증가하는가?
• RQ2 C^k-매개변수화와는 달리, 이중 커버링이 특이점 근처의 기하학적 붕괴를 캡처하는 복잡도 측정법이 될 수 있는가?
• RQ3 비특이 임계점을 가진 다항식에 대해, 커버링 복잡도가 특이점 집합으로부터의 거리 δ에 대해 정확히 어떻게 의존하는가?
• RQ4 이중 커버링은 기하곡면 위의 해석 함수에 대한 이중 부등식과 어떻게 관련되어 있는가?
• RQ5 로그 복잡도 상한은 특이점이 열린 또는 비이sov된 다항식으로 확장될 수 있는가?

주요 결과

• G_c = Y_c ∩ Q에 대한 이중 커버링에서 최소 차수의 수는 C(P) log(1/δ) 이하로 제한되며, 여기서 δ는 Y_c와 P의 임계점 사이의 거리이다.
• 쌍곡선 H_ε = {zy = ε²}의 경우, ρ ≥ 1/10인 모든 이중 커버링에서 차수의 수는 최소 c₃ log(1/ε)이며, 이는 상한과 일치한다.
• 쌍곡면 Y_ε = {∑z_j² = ε²}의 경우, 차수의 수는 c₅ log(c₆/δ) 이하이며, 상수는 n에만 의존한다.
• 기하곡면 위의 해석 함수 f에 대한 이중 부등식은, 이중 상수 DC_f(G,Ω)에 명시적인 의존성을 포함한 이중 커버링 내의 차수 체인에 의해 제어됨을 보였다.
• 이러한 구성은 특이점 근처에서 이중 커버링의 날카로운 로그 복잡도 증가를 제공하며, C^k-매개변수화의 균일한 유bound성과 대조된다.
• 결과는 이중 커버링이 스무스 다이내믹스와 디오판틴 기하학에서 복잡도를 연구하는 데 자연스러운 프레임워크임을 시사하며, 특히 엔트로피와 유리점의 조밀도와의 관련성에서 그렇다.