[논문 리뷰] The affine invariant of generalized semitoric systems

Álvaro Pelayo, Tudor S. Raţiu외 1명|arXiv (Cornell University)|2013. 07. 29.

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

한 줄 요약

이 논문은 4차원 다양체 위의 일반화된 세미토릭 시스템, 즉 비콤팩트 S¹ 작용과 포커스-포커스 특이점을 가진 통합 시스템에 대해, Δ로 표기되는 심플렉틱 불변량을 도입한다. 수직 커팅 절차를 포커스-포커스 값이 있는 직선을 따라 수행함으로써, 특이 이미지 F(M)를 평면 영역 Δ로 매핑하는 호메오모르피즘을 구축한다. 이 Δ는 애매한 불변량이며, 토릭 시스템에서의 볼록 다각형을 일반화한다. 이 결과는 비토릭적이고 일반화된 세미토릭 시스템으로의 아티야–쥐예맹–스터너그 정리의 확장이다.

ABSTRACT

A generalized semitoric system F:=(J,H): M --> R^2 on a symplectic 4-manifold is an integrable system whose essential properties are that F is a proper map, its set of regular values is connected, J generates an S^1-action and is not necessarily proper. These systems can exhibit focus-focus singularities, which correspond to fibers of F which are topologically multipinched tori. The image F(M) is a singular affine manifold which contains a distinguished set of isolated points in its interior: the focus-focus values {(x_i,y_i)} of F. By performing a vertical cutting procedure along the lines {x:=x_i}, we construct a homeomorphism f : F(M) --> f(F(M)), which restricts to an affine diffeomorphism away from these vertical lines, and generalizes a construction of Vu Ngoc. The set Δ:=f(F(M)) in R^2 is a symplectic invariant of (M,ω,F), which encodes the affine structure of F. Moreover, Δmay be described as a countable union of planar regions of four distinct types, where each type is defined as the region bounded between the graphs of two functions with various properties (piecewise linear, continuous, convex, etc). If F is a toric system, Δis a convex polygon (as proven by Atiyah and Guillemin-Sternberg) and f is the identity.

연구 동기 및 목표

• 비토릭적이고 일반화된 세미토릭 시스템으로 아티야–쥐예맹–스터너그의 볼록성 정리의 확장을 이루기 위해, 비콤팩트 S¹ 작용과 포커스-포커스 특이점을 포함하는 시스템에 대해 수행한다.
• 모멘텀 맵 이미지의 애매한 구조를 캡처하는 일반화된 세미토릭 시스템에 대한 심플렉틱 불변량을 정의하기 위해 수행한다.
• 표준 세미토릭 시스템을 초월하는 더 넓은 범주에 속하는 통합 시스템으로 르이 옌의 호메오모르피즘 구성 방법을 일반화하기 위해 수행한다.
• 모멘텀 맵의 이미지가 호메오모르피즘에 의해 어떤 형태로 나타나는지, 즉 네 가지 유형의 평면 영역의 가чёт한 합집합임을 기술하기 위해 수행한다.
• 결과적으로 도출된 영역 Δ가 심플렉틱 불변량임을 입증하며, 포커스-포커스 선을 제외한 영역에서 애매한 구조를 유지함을 보여주기 위해 수행한다.

제안 방법

• 일반화된 세미토릭 시스템을 J와 H: M → ℝ²로 정의한다. 여기서 J는 효과적인 해밀토니안 S¹ 작용을 생성하며, 모든 특이점은 비퇴화적이며 쌍곡 블록을 포함하지 않는다.
• 포커스-포커스 특이점을 F(M) 내부의 고립된 점으로 식별하며, 이는 다중 압착된 토러스 섬유와 대응한다.
• 각 포커스-포커스 값 (x_i, y_i)을 통과하는 수직선 x = x_i를 따라 커팅 절차를 수행하여 이미지를 분해한다.
• 수직선을 제외한 영역에서 애매한 미분형으로 작용하는 호메오모르피즘 f: F(M) → f(F(M))를 구성한다.
• 결과 이미지 Δ := f(F(M)) ⊂ ℝ²를 심플렉틱 불변량으로 정의하며, 이는 조각별 선형, 연속적이며 볼록 함수로 둘러싸인 평면 영역의 조합으로 이루어진다.
• 개발 지도와 단일화를 사용하여 모멘텀 맵 이미지의 애매한 구조를 분석하며, 정수 애매한 다양체의 개념을 특이적인 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 아티야–쥐예맹–스터너그의 볼록성 결과는 비콤팩트 S¹ 작용을 포함하는 일반화된 세미토릭 시스템으로 확장될 수 있는가?
• RQ2 모멘텀 맵 이미지의 애매한 구조를 캡처하는 심플렉틱 불변량은 어떻게 구성할 수 있는가?
• RQ3 포커스-포커스 특이점이 존재할 경우, F(M)의 위상수학적 및 기하학적 성격은 어떠한가?
• RQ4 x = x_i 선을 따라 수행하는 수직 커팅 절차는 특이한 애매한 구조를 어떻게 잘 다루는 평면 영역 Δ로 변형하는가?
• RQ5 결과 영역 Δ는 토릭 시스템에서의 볼록 다각형을 어떻게 일반화하는가? 그리고 그 구조적 구성 요소는 무엇인가?

주요 결과

• 일반화된 세미토릭 시스템의 이미지 F(M)는 내부에 고립된 포커스-포커스 값 (x_i, y_i)을 포함하는 특이한 애매한 다양체이다.
• x = x_i 선을 따라 수행하는 수직 커팅 절차는 F(M)에서 f(F(M))로의 호메오모르피즘 f: F(M) → f(F(M))를 유도하며, 이는 이러한 선을 제외한 영역에서 애매한 미분형으로 작용한다.
• 결과 이미지 Δ := f(F(M))는 시스템 (M, ω, F)의 심플렉틱 불변량이며, 모멘텀 맵의 애매한 구조를 캡처한다.
• Δ는 네 가지 유형의 평면 영역의 가чёт한 합집합이며, 각 영역은 조각별 선형, 연속적, 볼록 또는 오목 함수의 그래프로 둘러싸여 있다.
• F가 토릭 시스템일 경우(즉, J가 콤팩트일 경우), Δ는 볼록 다각형으로 줄어들며, 아티야–쥐예맹–스터너그 결과를 복원한다.
• 이 구성은 르이 옌의 이전 연구를 일반화하며, 포커스-포커스 특이점이 있는 비콤팩트 설정으로 심플렉틱 불변량의 개념을 확장한다.