[논문 리뷰] Symmetries of vector fields: the diffeomorphism centralizer

Davi Obata|arXiv (Cornell University)|2019. 03. 14.

Advanced Differential Equations and Dynamical Systems참고 문헌 16인용 수 4

한 줄 요약

이 논문은 컴act 다양체 위의 C¹-일반적인 벡터장이 유한한 수의 싱크 또는 소스를 가진 경우, 미분형상 중심화군—유동과 가환하는 C¹ 미분형상의 집합—이 준거직선적(quasi-trivial)임을 증명한다. 즉, 모든 이러한 미분형상은 유동의 시간 재정렬(reparametrization)이다. 만약 벡터장이 유한한 수의 체인-재진행 클래스를 가진다면 중심화군은 자명하다. 즉, 유동 자체에 의해 생성된다.

ABSTRACT

In this paper we study the diffeomorphism centralizer of a vector field: given a vector field it is the set of diffeomorphisms that commutes with the flow. Our main theorem states that for a $C^1$-generic diffeomorphism having at most finitely many sinks or sources, the diffeomorphism centralizer is quasi-trivial. In certain cases, we can promote the quasi-triviality to triviality. We also obtain a criterion for a diffeomorphism in the centralizer to be a reparametrization of the flow.

연구 동기 및 목표

• 유동과 가환하는 C¹ 미분형상의 집합으로 정의된 C¹-벡터장에 대한 미분형상 중심화군의 구조를 조사하기 위해.
• 이 중심화군이 준거직선적(각 원소가 유동의 시간 재정렬임)인지 또는 자명한지(일정한 시간 이동으로 재정렬됨)를 결정하기 위해.
• 이전에 미분형상에 대해 증명된 일반적인 자명성 결과를, 미분형상 중심화군에 대해 확장하여, 벡터장과 그 유동의 설정으로 확장하기 위해.
• 중심화군에 속하는 어떤 미분형상이 유동의 시간 재정렬임을 특징짓는 기준을 제공하기 위해.
• 스마일의 중심화군 문제의 유동에 대한 유사 문제를 다루기 위해, C¹-일반적인 벡터장이 자명하거나 준거직선적 중심화군을 가지는지 묻기 위해.

제안 방법

• 벡터장 X에 대한 C¹-미분형상 중심화군을, 모든 t∈ℝ에 대해 f∘Xₜ = Xₜ∘f 를 만족하는 C¹-미분형상 f의 집합으로 정의한다.
• 준거직선성의 개념을 사용한다: f가 중심화군에 속함과 동시에 f(x) = Xₜ(x) 를 만족하는 연속적인 시간 함수 t(x) 가 존재함과 동치이다.
• C¹-일반적인 벡터장이 유한한 수의 싱크 또는 소스를 가진 경우, 안정다양체 위의 극한 근사와 선형 Poincaré 유동을 이용하여 중심화군이 준거직선적임을 증명한다.
• LND(극한 비퇴화성) 성질과 C¹-노름 제어를 통해 시간 재정렬 함수 τ의 균일한 유계성을 확립한다.
• 체인-재진행 클래스의 수가 유한한 수 이하이면, 연속적인 시간 함수 τ는 반드시 상수여야 하며, 이는 자명성을 의미한다.
• 비정지집합의 조밀성과 궤도 역학을 이용하여 局소적 재정렬 항등식을 전역적으로 확장한다.

실험 결과

연구 질문

• RQ1 C¹-일반적인 벡터장이 유한한 수의 싱크 또는 소스를 가진 경우, 그 C¹-미분형상 중심화군은 준거직선적인가?
• RQ2 준거직선성 중심화군이 자명성을 유도하기 위해 추가로 어떤 조건이 필요한가?
• RQ3 중심화군에 속하는 어떤 미분형상도 유동의 시간 재정렬로 특징지을 수 있는가?
• RQ4 벡터장 중심화군과 미분형상 중심화군 간의 중심화군의 구조는 어떻게 다를까?
• RQ5 Axiom A 또는 단면 Axiom A 클래스에 속하는 C¹-일반적인 벡터장의 중심화군은 자명한가?

주요 결과

• C¹-조밀집 부분집합 𝒪 ⊂ 𝒳¹(M) 이 존재하여, 모든 X ∈ 𝒪 이며 유한한 수의 싱크 또는 소스를 가진 경우, X의 C¹-미분형상 중심화군은 준거직선적이다.
• X ∈ 𝒪 이며 체인-재진행 클래스의 수가 유한한 수 이하이면, X의 C¹-미분형상 중심화군은 자명하다.
• 콤팩트 표면 위의 C¹-일반적인 벡터장에 대해서는 중심화군이 자명하며, 페크스토의 모스-스멀 결과를 확장한다.
• C¹-일반적인 Axiom A 벡터장은 자명한 C¹-미분형상 중심화군을 가진다.
• C¹-일반적인 단면 Axiom A 벡터장의 중심화군은 자명하다.
• 3차원에서 동질적 접촉이 없는 C¹-벡터장에 대해서도 결과가 확장되며, 이는 3차원에서의 팔리 추측에 부합한다.