[논문 리뷰] Quasi-morphisms and quasi-states in symplectic topology

Michael Entov|arXiv (Cornell University)|2014. 04. 25.

Geometric and Algebraic Topology참고 문헌 50인용 수 15

한 줄 요약

이 논문은 심플렉틱 동형군에서의 준형사상과 심플렉틱 위상수학에서 부드러운 함수 대수에서의 준상태를 도입하고 연구하여, $C^0$-강성, 해밀턴 역학, 그리고 파울리 괄호 성질을 드러내는 데서 그 역할을 규명한다. 주요 기여는 비틀림이 없는 기하학적 및 역학적 현상을 탐지할 수 있는 칼라비 준형사상과 심플렉틱 준상태를 구성하는 것으로, 이는 호퍼 및 기타 해밀턴 노름의 유계성 부재와 스펙트럼 불변량의 $C^0$-연속성과 관련된다.

ABSTRACT

This is a survey about certain "almost homomorphisms" and "almost linear" functionals (called quasi-morphisms and quasi-states) in symplectic topology and their applications to Hamiltonian dynamics, functional-theoretic properties of Poisson brackets and algebraic and metric properties of symplectomorphism groups.

연구 동기 및 목표

• 심플렉틱 위상수학에서 숨겨진 강성을 드러내기 위해 준형사상과 준상태를 도구로 개발하고 적용하는 것.
• 함수 이론적 성질을 통해 파울리 괄호의 성질을 $C^0$-연속성과 스펙트럼 불변량의 관점에서 이해하는 것.
• 심플렉틱 준상태와 양자 상태 사이의 유사성에 기반해 심플렉틱 위상수학과 양자역학 간의 연결 고리를 탐색하는 것.
• 부분 칼라비 준형사상을 사용하여 심플렉틱 동형군에서 해밀턴 노름($ orm{ullet}_{U,0}$ 및 $ orm{ullet}_{U}$ 등)의 유계성 부재를 확립하는 것.
• 파울리 대수의 함수 이론적 성질을 통해 기하학적 구조를 연구하는 새로운 접근 방식인 심플렉틱 함수 이론의 기초를 다지는 것, 여기서 기하학적 구조는 파울리 대수의 함수 이론적 성질을 통해 연구된다.

제안 방법

• 양자 호모로지와 스펙트럼 불변량을 사용하여 해밀턴 군의 기본 커버링에서 동차 준형사상을 구성하는 것.
• 바나흐 공간 $C^inity(M)$ 위의 함수에 대해 동차성, 양성, 그리고 가환 함수에 대한 덧셈성을 갖는 함수형으로 심플렉틱 준상태를 정의하는 것. 이는 바르트라인의 양자 상태에 영향을 받음.
• 칼라비 준형사상과 심플렉틱 준상태 사이의 연결 고리를 이용하여 스펙트럼 불변량과 노름의 $C^0$-연속성을 증명하는 것.
• 부분 칼라비 준형사상을 적용하여, 서로 이격된 무거운 집합 $X$와 $Y$가 존재할 경우 ${ m Ham}(M)$에서 노름 $ orm{ullet}_{U}$ 가 유계가 아님을 보이는 것.
• 준형사상의 $C^0$-연속성에 기반해 호퍼 노름이 ${ m Ham}(B^{2n})$에서 $C^0$-연속임을 증명하는 것.
• 파울리 대수 내에서 평균화 기법과 함수 이론적 방법을 사용하여 해밀턴 역학과 스펙트럼 프로파일을 분석하는 것.

실험 결과

연구 질문

• RQ1 심플렉틱 준상태와 준형사상은 해밀턴 역학에서 $C^0$-강성 현상을 탐지할 수 있는가?
• RQ2 스펙트럼 불변량의 $C^0$-연속성과 심플렉틱 동형군에서의 준형사상 존재성 간의 관계는 무엇인가?
• RQ3 부분 칼라비 준형사상은 왜 ${ m Ham}(M)$에서 해밀턴 노름의 유계성 부재를 암시하는가?
• RQ4 심플렉틱 준상태가 $C^inity(M)$에서 얼마나 양자역학적 구조를 반영하며, 선형 상태와 어떻게 다를까?
• RQ5 파울리 괄호의 함수 이론적 연구를 통해 어떤 기하학적 및 역학적 현상이 드러날 수 있는가?

주요 결과

• 칼라비 준형사상이 ${ m Ham}(B^{2n})$에서 $C^0$-연속이므로, $igracevert orm{ullet}_{H} igracevert ext{ 는 } C^0 ext{-위상에서 닫혀 있다}$는 것을 의미한다.
• 호퍼 노름이 ${ m Ham}(B^{2n})$에서 $C^0$-연속이므로, 임의의 $c \neq 0$에 대해 $igracevert orm{ullet}_{H} igracevert ext{ 는 } C^0 ext{-위상에서 내부를 갖는다}$는 것을 의미한다.
• 부분 칼라비 준형사상이 존재하고, 서로 이격된 무거운 닫힌 집합 $X$와 $Y$가 이격된 이웃을 갖는다면, ${ m Ham}(M)$에서 노름 $ orm{ullet}_{U}$ 는 유계가 아니다.
• 임의의 이동 가능한 열린 집합 $U$에 대해, 칼라비 준형사상이 존재할 경우 ${ m Ham}(M)$에서 노름 $ orm{ullet}_{U,0}$ 는 유계가 아니다.
• 스펙트럼 불변량과 관련된 프로파일 함수 $ ho(t)$ 는 $t \to 0$일 때 $C^0$-강성 행동을 보이지만, 그 기하학적 의미는 아직 명확하지 않다.
• 심플렉틱 준상태는 $C^0$-연속이며 ${ m Symp}_0(M)$의 작용에 대해 불변하며, 이는 부분 칼라비 준형사상의 쌍대성에 의해 유도된다.