[논문 리뷰] Reeb components with complex leaves and their symmetries I : The automorphism groups and Schröder's equation on the half line

Tomohiro Horiuchi, Yoshihiko Mitsumatsu|arXiv (Cornell University)|2016. 05. 29.

Advanced Topics in Algebra참고 문헌 10인용 수 3

한 줄 요약

이 논문은 3차원 다양체에서 복소수 리프를 가진 리브 성분의 자기동형군을 조사하며, 반직선 위에서 슈뢰더의 함수방정식을 만족하는 미분동형사상에 초점을 맞춘다. 선형 호로노미가 경계에서 자명할 경우 자동형군이 무한차원 벡터 공간을 포함함을 증명한다; 그렇지 않은 경우 유한차원임을 입증하며, 중심다양체 이론과 선형 부분이 자명한 확장 미분동형사상의 분석을 통해 이를 도출한다.

ABSTRACT

We review the standard Hopf construction of Reeb components with leafwise complex structure and determine the group of leafwise holomorphic smooth automorphisms for tame Reeb components in the case of complex leaf dimension one. For this, we solve the Schröder type functional equation on the half line for expanding diffeomorphism. As a result, we see that the automorphism group of one with trivial linear holonomy on the boundary contains an infinite dimensional vector space, while in the case of non-trivial linear holonomy the group is of finite dimensional.

연구 동기 및 목표

• 3차원 다样的체에서 복소수 리프를 가진 흐름이 잘 정의된 리브 성분에 대해 리프별로 해석적이고 스무스한 자동형군의 구조를 규명하는 것.
• 원점에서 선형 부분이 자명한 확장 미분동형사상에 대해 반직선 위에서 슈뢰더 유형의 함수방정식을 해결하는 것.
• 선형 호로노미가 자명할 경우와 아닐 경우의 자동형군 차원성의 이분법을 명확히 하는 것: 선형 호로노미가 자명할 경우 무한차원, 아닐 경우 유한차원.
• 클래식한 방법이 실패하는 경우에 중심다양체 이론과 정규형 기법을 적용하여 함수방정식을 해결하는 것.
• 평탄한 잔여항과 비평탄한 잔여항을 포함한 다양한 종류의 미분동형사상에 대해 슈뢰더 방정식의 해의 스무스성에 대한 통합적 증명을 제공하는 것.

제안 방법

• 원점에서 선형 부분이 자명한 확장 미분동형사상에 대해 반직선 위에서 슈뢰더 유형의 함수방정식을 해결하며, 리브 성분의 호로노미를 모델링한다.
• 미분동형사상에 의해 정의된 역상 연산자에 중심다양체 이론을 적용하며, $ H_c $를 통한 쌍대화를 통해 불변 그래프를 구성한다.
• 두 단계로 구성된 구축: 먼저 편미분 $ \tilde{\varphi}_\delta $를 정의하고, 그 다음 제어된 리프시츠 노름을 갖는 수정된 미분동형사상 $ \Phi_c $를 정의한다.
• 타카스의 정규형과 푸리에 급수를 비자명한 유한 잔여항을 가진 미분동형사상에 적용하고, 평탄한 경우에 대해 통합된 중심다양체 접근법을 사용한다.
• 리프시츠 거리 제어를 통해 $ \Phi_c $와 선형 사상 $ T(x,z) = (x, \lambda z) $ 사이의 $ C^r $ 정규성을 확립한 후 $ r \to \infty $로 취한다.
• $ H_c $를 통한 쌍대화를 이용해 불변 그래프를 원래 시스템으로 이전하며, 해 $ \beta $의 스무스성을 증명한다.

실험 결과

연구 질문

• RQ1 경계 리프에서 선형 호로노미가 자명할 경우, 3차원에서 복소수 리프를 가진 리브 성분의 자동형군의 구조는 어떠한가?
• RQ2 선형 호로노미가 비자명할 경우 자동형군은 어떻게 변화하며, 이로 인해 발생하는 무한차원과 유한차원의 이분법적 대비는 무엇을 설명하는가?
• RQ3 선형 부분이 자명한 확장 미분동형사상에 대해 중심다양체 이론을 사용하여 반직선 위에서 슈뢰더의 함수방정식을 해결할 수 있는가?
• RQ4 표준 정규형 기법이 실패하는 경우, 항등사상에 대해 평탄한(플랫) 미분동형사상 다루기 위해 필요한 기법은 무엇인가?
• RQ5 평탄한 경우와 비평탄한 경우를 모두 다룰 수 있는 통합적 접근법이 슈뢰더 방정식 해결에 적용될 수 있는가?

주요 결과

• 경계 리프에서 선형 호로노미가 자명할 경우, 리브 성분의 자동형군은 스무스한 리프별 해석적 자동형군으로 구성된 무한차원 벡터 공간을 포함한다.
• 선형 호로노미가 비자명할 경우 자동형군은 유한차원이 되며, 이는 대칭의 구조적 대비를 나타낸다.
• 원점에서 선형 부분이 자명한 확장 미분동형사상에 대해 반직선 위에서 슈뢰더 방정식의 해가 존재하며, 스무스하다(실제론 $ C^\infty $이다).
• 증명은 변환된 미분동형사상 $ \Phi_c $ 에 중심다양체 이론을 적용한 데 기반하며, 불변 그래프는 해 $ \beta $에 대응한다.
• 편미분의 매개변수화된 가중치를 사용하고 쌍대화의 리프시츠 노름을 제어함으로써 평탄한 경우와 비평탄한 경우의 미분동형사상 처리를 통합한다.
• 해 $ \beta $ 는 0에서 스무스하고 평탄함을 보이며, 이는 자동형군이 무한차수까지 항등사상에 접하는 것으로 해석된다.