[논문 리뷰] Partial quasi-morphisms and quasi-states on cotangent bundles, and symplectic homogenization

Alexandra Monzner, Nicolas Vichery외 1명|arXiv (Cornell University)|2011. 11. 01.

Geometric and Algebraic Topology참고 문헌 25인용 수 8

한 줄 요약

이 논문은 닫힘 연결 다중다양체 $N$ 의 코타angent(bundle) $T^*N$ 에서 컴acts지지된 미분가능 함수와 해밀토니안 군에 대해 $a \in H^1(N;\mathbb{R})$ 를 매개변수로 하는 부분 준형사상 $\mu_a$ 와 준상태 $\zeta_a$ 의 가족을 구성한다. 이러한 함수들은 엔토프-폴터비치 이론을 일반화하며, $N = \mathbb{T}^n$ 일 때 비탈레보의 심플렉틱 동차화와 일치한다. 이는 라그랑주 플로어 homology의 스펙트럴 불변량을 통해 심플렉틱 강성, 호퍼 기하학, 파울슨 괄호 부등식, 메이터 이론 등에 대한 통합적 프레임워크를 제공한다.

ABSTRACT

For a closed connected manifold N, we construct a family of functions on the Hamiltonian group G of the cotangent bundle T^*N, and a family of functions on the space of smooth functions with compact support on T^*N. These satisfy properties analogous to those of partial quasi-morphisms and quasi-states of Entov and Polterovich. The families are parametrized by the first real cohomology of N. In the case N=T^n the family of functions on G coincides with Viterbo's symplectic homogenization operator. These functions have applications to the algebraic and geometric structure of G, to Aubry-Mather theory, to restrictions on Poisson brackets, and to symplectic rigidity.

연구 동기 및 목표

• 닫힘 연결 다중다양체 $N$ 에 대해 $\mathbb{T}^n$ 의 설정을 초월하여 일반적인 코타angent(bundle) $T^*N$ 에서 부분 준형사상과 준상태 이론을 확장하는 것.
• 라그랑주 플로어 호모로지의 스펙트럴 불변량을 사용하여 $\mu_a$ 와 $\zeta_a$ 의 통합적 구성 방법을 수립하는 것.
• $N = \mathbb{T}^n$ 일 때 $\mu_a$ 가 비탈레보의 심플렉틱 동차화와 일치함을 보여, 동차화를 더 넓은 대수기하학적 프레임워크에 통합하는 것.
• 이 구성들을 활용하여 심플렉틱 토폴로지 분야에서 알려진 결과들, 예를 들어 분할 노름 상한, 파울슨 괄호 제약, 심플렉틱 강성에 대한 새로운이고 명확한 증명을 도출하는 것.
• 스펙트럴 불변량에 대한 날카운 삼각부등식과 라그랑주 및 해밀토니안 불변량을 연결하는 곱 공식을 증명하여 $\mu_a$ 와 $\zeta_a$ 의 소멸 성질을 확보하는 것.

제안 방법

• 부분 준형사상 $\mu_a$ 는 라그랑주 플로어 호모로지에서 유도된 스펙트럴 불변량을 기반으로 하며, 이는 코homology 클래스 $a \in H^1(N;\mathbb{R})$ 를 통해 동차화된다.
• 함수 $\zeta_a$ 는 군 $\mathcal{G}$ 에서 $T^*N$ 상의 컴팩트 지지 미분가능 함수 공간으로의 지수 함수를 통해 $\mu_a$ 를 당김으로써 얻어진다.
• 스펙트럴 불변량에 대해 날카운 삼각부등식을 증명하여, 이들이 해밀토니안 군 $\mathcal{G}$ 에 내림내림됨을 보장한다.
• 라그랑주 및 해밀토니안 플로어 호모로지의 스펙트럴 불변량을 연결하는 곱 공식을 수립하였으며, 이는 $\mu_a$ 와 $\zeta_a$ 의 소멸 성질을 증명하는 데 필수적이다.
• 완전한 흐름을 갖는 해밀토니안로의 근사화를 위해 $f_\varepsilon(t) = \varepsilon f(t/\varepsilon)$ 와 같은 커프오프 절차를 사용하여 수렴이 스펙트럴 노름으로 수렴함을 보장한다.
• 심플렉틱 강성의 증명은 $\zeta_a$ 의 $C^0$ 연속성과 초중요 집합 근처에 지지된 함수를 서로 겹치지 않는 지지를 가진 성분들로 분해하는 데 의존한다.

실험 결과

연구 질문

• RQ1 닫힘 연결 다중다양체 $N$ 에 대해 부분 준형사상과 준상태는 $\mathbb{T}^n$ 에서의 설정을 초월하여 일반적인 코타angent(bundle) $T^*N$ 로 어떻게 일반화될 수 있는가?
• RQ2 구성된 $\mu_a$ 와 $\zeta_a$ 는 $T^*\mathbb{T}^n$ 에서 비탈레보의 심플렉틱 동차화 연산자와 정확히 어떤 관계를 갖는가?
• RQ3 라그랑주 플로어 호모로지에서 유도된 스펙트럴 불변량을 사용하여 $\mu_a$ 와 $\zeta_a$ 를 원하는 대수적 및 기하학적 성질을 갖도록 구성하고 특성화할 수 있는가?
• RQ4 이 함수들이 심플렉틱 토폴로지 분야에서 알려진 결과들, 예를 들어 분할 노름 상한과 파울슨 괄호 부등식에 대해 새로운 또는 단순화된 증명을 제공하는 데 얼마나 기여하는가?
• RQ5 라그랑주 및 해밀토니안 스펙트럴 불변량 간의 곱 공식은 $\mu_a$ 와 $\zeta_a$ 의 소멸 성질을 확립하는 데 어떤 역할을 하는가?

주요 결과

• $T^*N$ 의 해밀토니안 군 $\mathcal{G}$ 상에서의 함수 가족 $\mu_a$ 는 날카운 삼각부등식과 군의 구조와의 호환성 등 부분 준형사상과 유사한 성질을 만족한다.
• $C^\infty_c(T^*N)$ 상의 함수 가족 $\zeta_a$ 는 $C^0$ 연속성과 초중요 집합에서의 정규화 등 준상태와 유사한 성질을 만족한다.
• $N = \mathbb{T}^n$ 일 때 함수 $\mu_a$ 는 비탈레보의 심플렉틱 동차화 연산자와 일치하며, 임의의 컴팩트 지지 해밀토니안 $H$ 에 대해 $\overline{H}(p)$ 는 $\mu_p(\phi_H^1)$ 와 같다.
• 이 구성에 사용된 스펙트럴 불변량은 날카운 삼각부등식을 만족하며, 이는 이들이 해밀토니안 군 $\mathcal{G}$ 에 내림내림됨을 의미한다. 이는 핵심적인 기술적 결과이다.
• 라그랑주 및 해밀토니안 스펙트럴 불변량을 연결하는 곱 공식을 증명하였으며, 이는 $\mu_a$ 와 $\zeta_a$ 가 이동 가능한 집합에 지지된 함수에서 소멸함을 보여주는 데 필수적이다.
• 이 구성은 메이터의 알파 함수가 심플렉틱적으로 불변임을 새롭게 증명하며, 스펙트럴 노름을 이용한 분할 노름에 대한 하한을 제공한다.