[논문 리뷰] On the neighborhood of a torus leaf and dynamics of holomorphic foliations

Takayuki Koike, Noboru Ogawa|arXiv (Cornell University)|2018. 08. 30.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 4

한 줄 요약

이 논문은 복소 표면 $X$ 속의 타원곡선 $Y$의 이웃 분야의 해석적 유형—유다에 의해 분류된 것—과 $Y$를 컴acts 리프로 가지는 복소 해부학적 분할 $\mathcal{F}$의 호로노미의 역학적 행동 사이의 대응관계를 수립한다. 만약 호로노미가 비선형화 가능하지 않고 무리수적 중립적이라면, $Y$의 이웃 분야는 유다에 유형 $\gamma$이며, 이는 유다의 분류에서 역학적 불변량을 사용한 핵심 케이스를 해결한다.

ABSTRACT

Let $X$ be a complex surface and $Y$ be an elliptic curve embedded in $X$. Assume that there exists a non-singular holomorphic foliation $\mathcal{F}$ with $Y$ as a compact leaf, defined on a neighborhood of $Y$ in $X$. We investigate the relation between Ueda's classification of the complex analytic structure of a neighborhood of $Y$ and complex dynamics of the holonomy of $\mathcal{F}$ along $Y$. More precisely, we show that the pair $(Y,X)$ is of type ($γ$) in his classification when there exists a closed curve in $Y$ along which the holonomy of $\mathcal{F}$ is irrationally indifferent and non-linearizable. We also investigate the metric semi-positivity of the line bundle determined by the divisor $Y$. Our approach is based on the theory of hedgehogs, due to Pérez-Marco.

연구 동기 및 목표

• 복소 표면 $X$ 속의 타원곡선 $Y$의 이웃 분야의 유다 유형을, $Y$를 컴팩트 리프로 가지는 복소 해부학적 분할 $\mathcal{F}$의 호로노미를 통해 규명하는 것.
• 호로노미 사상의 역학적 성질—특히 0에서의 선형화 가능성과 고정점의 유형—이 $Y$의 이웃 분야의 해석적 구조에 어떻게 영향을 미치는지 조사하는 것.
• 유다 유형 $\gamma$의 열린 케이스를 해결하기 위해, 비선형화 가능하고 무리수적 중립적인 호로노미가 유형 $\gamma$임을 보이는 것.
• 유다의 예시에 대한 이전 결과를 확장하여, 이웃 분야 분류의 불변량으로서 호로노미 역학을 분석하는 것.

제안 방법

• 타원곡선 $Y$의 이웃 분야를 유다의 분류에 따라 유형 $\alpha$, $\beta$, $\gamma$로 나누는 것—모델 이웃 분야와의 임계 등가를 기반으로 한다.
• 유도차원 $\pi_1(Y,p)$를 따라 호로노미 표현 $h_{\mathcal{F}}: \pi_1(Y,p) \to \mathrm{Diff}(\mathbb{C},0)$를 분할 차트의 전이 사상으로 정의한다.
• 복소 역학 이론에서의 허드히그 이론을 적용하여, 비선형화 가능하고 무리수적 중립적인 경우의 호로노미 사상 $g \in \mathrm{Diff}(\mathbb{C},0)$의 행동을 연구한다.
• 서로 가환하는 정칙 근방 함수 $f$와 $g$로부터 생성된 포함된 코너드 집합의 수열 $L = \bigcap_{n \geq 0} f^n(K_r)$을 이용하여 공통 허드히그의 존재를 증명한다.
• 유도차원 곡선과 연결성에 기반한 위상적 추론을 통해, 큰 $n$에 대해 $K'$가 $\eta_n$과 분리될 수 없음을 보이며, 이는 불변성이 성립하지 않을 경우 모순을 초래한다.
• 비선형화 가능한 근방 함수에 대한 정리 7.3을 적용하여 $L = \{0\}$일 수 없음을 제거함으로써, $f$와 $g$에 대한 비자명한 공통 허드히그가 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 복소 해부학적 분할 $\mathcal{F}$의 호로노미에 대해 어떤 역학적 조건이 타원곡선 $Y$의 이웃 분야가 유다 유형 $\gamma$가 되는가?
• RQ2 호로노미 근방 함수의 비선형화 가능성과 무리수적 중립성은 $Y$의 이웃 분야의 해석적 유형을 결정할 수 있는가?
• RQ3 비자명한 공통 허드히그의 존재와 같은 역학적 불변량이 유다 유형 $\gamma$ 이웃 분야를 특징짓는가?
• RQ4 호로노미 표현 $h_{\mathcal{F}}$는 유다 이론의 임계 이론적 분류와 어떻게 관련이 있는가?
• RQ5 0에서 가환하는 정칙 근방 함수 $f$와 $g$의 역학은 비자명한 컴팩트 불변 집합(허드히그)의 존재를 증명하는 데 사용될 수 있는가? 이는 이웃 분야의 유형을 반영하는가?

주요 결과

• 만약 복소 해부학적 분할 $\mathcal{F}$의 $Y$를 따라 호로노미가 비선형화 가능하지 않고 무리수적 중립적이라면, $Y$의 이웃 분야는 유다 유형 $\gamma$이다.
• 두 근방 함수 $f$와 $g$가 모두 비선형화 가능하고 고정점이 무리수적 중립적이라면, 공통 허드히그의 존재가 보장된다.
• 포괄된 교차 $L = \bigcap_{n \geq 0} f^n(K_r)$는 $0 \in L$이고 $L \neq \{0\}$인 컴팩트, 연결, 완전, 불변 집합을 형성하며, 이는 비자명한 역학을 증명한다.
• 증명은 위상적 연결성에 기반한 모순에 의존한다: 큰 $n$에 대해 $K'$가 $\eta_n$과 분리되어 있다면, 이는 연결성을 위반하여 모순이 된다.
• 호로노미의 비선형화 가능성은 $L = \{0\}$일 수 없음을 보여주며, 이는 비선형화 가능한 근방 함수에 대한 기존 결과와도 모순된다.
• 이 구성은 호로노미 사상의 역학이 이웃 분야의 해석적 유형을 완전히 결정함을 확인하며, 특히 이전까지 미스터리였던 유형 $\gamma$의 경우에 대해 이를 입증한다.