[논문 리뷰] Invariant manifolds for analytic dynamical systems over ultrametric fields

Helge Glöckner|ArXiv.org|2008. 08. 20.

advanced mathematical theories참고 문헌 16인용 수 3

한 줄 요약

이 논문은 완전한 초거품체 위의 해석적 동역계에 대해 불변 다양체—특히 a-안정, 중심-안정, 중심 다각체의 존재성과 구조를 확립한다. 비아르키메데스 해석학과 접선 사상에 대한 스펙트럼 조건을 사용하여, a-초구속성 조건 하에 a-안정 집합이 a-안정 부분공간에 탄젠트하는 해석적 부분다양체임을 증명하며, 고전적 안정 다각체 정리들을 초거품체 환경으로 일반화하고 국소 체 위의 리군에 응용 가능하다.

ABSTRACT

We give an exposition of the theory of invariant manifolds around a fixed point, in the case of time-discrete, analytic dynamical systems over a complete ultrametric field K. Typically, we consider an analytic manifold M modelled on an ultrametric Banach space over K, an analytic self-map f of M, and a fixed point p of f. Under suitable conditions on the tangent map of f at p, we construct a centre-stable manifold, a centre manifold, respectively, an r-stable manifold around p, for a given positive real number r not exceeding 1. The invariant manifolds are useful in the theory of Lie groups over local fields, where they allow results to be extended to the case of positive characteristic which previously were only available in characteristic zero (i.e., for p-adic Lie groups).

연구 동기 및 목표

• 완전한 초거품체 위의 해석적 동역계로 고전적 안정 다각체 이론을 확장하는 것, 특히 양의 특성수에서의 적용을 포함하여.
• 접선 사상에 대한 스펙트럼 조건과 기하학적 조건을 사용하여 비아르키메데스 환경에서 a-안정, 중심-안정, 중심 다각체를 정의하고 구성하는 것.
• a-초구속성으로 초구속성 개념을 일반화하여 초거품체 위의 부분적으로 초구속적인 동역계에 대한 기초를 마련하는 것.
• 고정점에서 선형화된 사상이 a-초구속성을 만족할 경우, a-안정 집합이 a-안정 부분공간에 탄젠트하는 해석적 부분다양체임을 증명하는 것.
• 국소 및 전역 안정 다각체가 동역계에 대해 불변임을 증명하고, 역반복을 통한 재귀적 구조를 갖는다는 것을 보이는 것.

제안 방법

• 접선 사상 $T_p(f)$의 a-초구속성 조건을 사용하며, 이는 접선 공간을 a-안정 부분공간과 a-불안정 부분공간으로 분해하고, 연산자 노름에 대한 조건을 포함한다.
• 강한 삼각부등식을 만족하는 초거품체 노름과 비아르키메데스 해석학을 적용하여 바나흐 공간 모델에서 동역계를 정의한다.
• 수열 공간에서의 수축사상 원리를 사용하여 a-안정 다각체를 a-불안정 부분공간 위의 그래프로 구성한다.
• 역함수 정리와 해석적 은폐함수 이론을 적용하여, 불변 다각체가 매장된 해석적 부분다양체임을 보인다.
• 스펙트럼 이론을 적용하여 a-초구속성과 유한차원에서 선형 사상의 스펙트럼을 연결하며, 모든 고유값 $\lambda$에 대해 $a \neq |\lambda|$임을 보장한다.
• 뒤로 가는 반복을 통해 다각체를 구성한다: $W_a^s = \bigcup_{n=0}^\infty f^{-n}(\Omega)$, 여기서 $\Omega$는 $p$의 적절한 근방이다.

실험 결과

연구 질문

• RQ1 초거품체 위의 다양체 위에서 정의된 해석적 미분형사가 불변 a-안정 다각체를 갖는 조건은 무엇인가?
• RQ2 고전적 초구속성 개념은 초거품체 환경에 어떻게 적응되어야 하며, 안정 다각체의 존재를 보장할 수 있는가?
• RQ3 a-안정 집합 $W_a^s(f,p)$의 정확한 구조는 무엇이며, 언제 해석적 부분다양체가 되는가?
• RQ4 $a \in (0,1]$의 선택은 불변 다각체의 기하학적 및 동역학적 성질에 어떻게 영향을 미치는가?
• RQ5 비초구속성 부분이 존재하는 상황에서 중심-안정 다각체와 중심 다각체 이론은 어떻게 일반화될 수 있는가?

주요 결과

• a-안정 집합 $W_a^s(f,p)$는 접선 공간의 a-안정 부분공간 $T_p(M)_{a,s}$에 탄젠트하는 $M$의 매장된 해석적 부분다양체이다.
• W_a^s(f,p)에 부여된 다각체 구조는 유일하며 $f$에 대해 불변이며, $f|_{W_a^s}$는 스스로 위로 해석적 미분형사이다.
• p의 각 근방은 $W_a^s = \bigcup_{n=0}^\infty f^{-n}(\Omega)$를 만족하는 부분다양체 $\Omega$를 포함한다. 이는 뒤로 가는 동역학을 반영한다.
• a=1일 경우, 1-안정 다각체 $W^s$는 고전적 안정 다각체와 일치하며, $T_p(f)$가 초구속성임은 $1 \notin \{|\lambda| : \lambda \text{ 고유값 of } T_p(f) \otimes_{\mathbb{K}} \mathrm{id}_{\overline{{\mathbb{K}}}}\}$일 때이고, 그 때에만 성립한다.
• 유한차원의 경우, a-초구속성은 선형화된 사상의 모든 고유값 $\lambda$에 대해 $a \neq |\lambda|$임과 동치이다.
• a-불안정 다각체는 뒤로 가는 반복과 수축원리를 사용하여 불안정 부분공간 위의 해석적 함수의 그래프로 구성된다.