[논문 리뷰] Symplectic embeddings of 4-dimensional ellipsoids into cubes

Daan Frenkel, Dorothee Müller|arXiv (Cornell University)|2012. 10. 08.

Geometric and Algebraic Topology참고 문헌 9인용 수 19

한 줄 요약

이 논문은 4차원 입방체에 심플렉틱적으로 통합될 수 있는 타원체 $ E(1,a) $의 최소 크기를 주는 함수 $ c_{EC}(a) $를 결정한다. McDuff와 Schlenk의 공구 통합 작업에서 유도된 방법을 응용하고, 공구 패킹 문제로의 환원을 통해 저자들은 $ a < \sigma^2 $ 인 경우, $ \sigma = 1 + \sqrt{2} $ 이며, 펠 수열에 의해 지배되는 무한 단계계를 보이는 $ c_{EC}(a) $를 밝혀내며, $ a \geq 7\frac{1}{32} $ 인 경우, 부피 제약 조건 $ \sqrt{a/2} $ 와 일치한다. 다만 일곱 개의 작은 간격을 제외하고는 여전히 조각별 선형성을 유지한다.

ABSTRACT

Recently, McDuff and Schlenk determined the function c_{EB}(a) whose value at a is the infimum of the size of a 4-ball into which the ellipsoid E(1,a) symplectically embeds (here, a &gt;= 1 is the ratio of the area of the large axis to that of the smaller axis of the ellipsoid). In this paper we look at embeddings into four-dimensional cubes instead, and determine the function c_{EC}(a) whose value at a is the infimum of the size of a 4-cube C^{4}(A) = D^{2}(A) times D^{2}(A) into which the ellipsoid E(1,a) symplectically embeds (where D^{2}(A) denotes the disc in mathbb{R}^{2} of area A). As in the case of embeddings into balls, the structure of the graph of c_{EC}(a) is very rich: for a less than the square sigma^2 of the silver ratio sigma := 1+sqrt(2), the function c_{EC}(a) turns out to be piecewise linear, with an infinite staircase converging to (sigma^2, sqrt(sigma^2/2)). This staircase is determined by Pell numbers. On the interval [sigma^2,7+1/32], the function c_{EC}(a) coincides with the volume constraint sqrt(a/2) except on seven disjoint intervals, where c is piecewise linear. Finally, for a &gt;= 7+1/32, the functions c_{EC}(a) and sqrt(a/2) are equal. For the proof, we first translate the embedding problem E(1,a)--&gt;C^{4}(A) to a certain ball packing problem of the ball B^{4}(2A). This embedding problem is then solved by adapting the method from McDuff-Schlenk, which finds all exceptional spheres in blow-ups of the complex projective plane that provide an embedding obstruction. We also prove that the ellipsoid E(1,a) symplectically embeds into the cube C^{4}(A) if and only if E(1,a) symplectically embeds into the elllipsoid E(A,2A). Our embedding function c_{EC}(a) thus also describes the smallest dilate of E(1,2) into which E(1,a) symplectically embeds.

연구 동기 및 목표

• 타원체 $ E(1,a) $가 심플렉틱적으로 통합될 수 있는 4차원 입방체의 최소 크기를 정의하는 함수 $ c_{EC}(a) $를 결정하는 것.
• 공구 통합에 대한 심플렉틱 강성 이론을 확장하여, 입방체로의 통합을 분석함으로써 이해를 넓히는 것.
• 특히 $ a < \sigma^2 $ 인 경우 $ c_{EC}(a) $의 조각별 선형성과 무한 단계계의 구조를 특성화하는 것.
• 심플렉틱 통합 $ E(1,a) \overset{s}{\hookrightarrow} C^4(A) $가 성립하는 것과 $ E(1,a) \overset{s}{\hookrightarrow} E(A,2A) $가 동시에 성립하는 것 사이의 이항 조건을 증명함으로써, 입방체와 타원체 통합 간의 연관성을 설정하는 것.

제안 방법

• 심플렉틱 기하학과 부피 제약 조건을 활용하여, $ E(1,a) \hookrightarrow C^4(A) $ 문제를 $ B^4(2A) $ 내의 공구 패킹 문제로 변환한다.
• 이전에 공구 통합에 사용된 $ \mathbb{CP}^2 $의 블로우업에서의 예외적 구면 방법을 응용하여, 입방체 통합에 대한 차단 클래스를 분석한다.
• 가중치 전개와 격자점 수를 계산하여, 블로우업의 예외적 분할 구성에서의 차단 클래스 $ (d,e;m) $ 를 식별한다.
• 계산 알고리즘을 적용하여 $ a \in [6,8] $ 에 대해 체계적으로 차단 클래스를 열거하고 검증하며, 특히 $ k=1,\dots,7 $ 인 $ \left(6+\frac{1}{k+1}, 6+\frac{1}{k}\right) $ 간격에서 집중한다.
• 델자онт 다각형 표현을 사용하여 심플렉틱 통합을 토릭 기하학과 모멘트 맵 불변량과 연결한다.
• 입방체 통합 함수 $ c_{EC}(a) $ 가 $ a \geq 7\frac{1}{32} $ 인 경우 부피 제약 조건 $ \sqrt{a/2} $ 와 일치함을 검증하며, 일곱 개의 이산 간격에서는 여전히 조각별 선형성을 유지한다.

실험 결과

연구 질문

• RQ1 함수 $ c_{EC}(a) $ 는 $ a \geq 1 $ 에 대해 $ E(1,a) \hookrightarrow C^4(A) $ 를 만족시키는 최소 입방체 크기 $ A $ 를 어떻게 정의하는가?
• RQ2 함수 $ c_{EC}(a) $ 는 McDuff와 Schlenk의 공구 통합에서 발견된 것과 유사한 무한 단계계를 보이며, 만약 그렇다면 어떤 수열이 이를 지배하는가?
• RQ3 어느 값들에 대해 $ c_{EC}(a) $ 가 부피 제약 조건 $ \sqrt{a/2} $ 에서 벗어나며, 이러한 간격은 몇 개인가?
• RQ4 심플렉틱 통합 $ E(1,a) \hookrightarrow C^4(A) $ 와 $ E(1,a) \hookrightarrow E(A,2A) $ 사이에 이중성 또는 동치관계가 존재하는가?
• RQ5 심플렉틱 통합의 장애는 $ \mathbb{CP}^2 $ 의 블로우업에서의 예외적 구면으로 완전히 특성화될 수 있는가?

주요 결과

• $ a < \sigma^2 $ 인 경우, $ \sigma = 1 + \sqrt{2} $ 이며, 함수 $ c_{EC}(a) $ 는 조각별 선형이며, $ (\sigma^2, \sqrt{\sigma^2/2}) $ 로 수렴하는 무한 단계계를 가지며, 이 단계계는 펠 수열에 의해 결정된다.
• 구간 $ \left[\sigma^2, 7\frac{1}{32}\right] $ 에서 $ c_{EC}(a) $ 는 부피 제약 조건 $ \sqrt{a/2} $ 와 일치하지만, 일곱 개의 이산 간격에서는 여전히 조각별 선형성을 유지한다.
• $ a \geq 7\frac{1}{32} $ 인 경우, 함수 $ c_{EC}(a) $ 는 부피 제약 조건 $ \sqrt{a/2} $ 와 정확히 일치하며, 이 시점 이후 추가적인 장애가 더 이상 존재하지 않음을 시사한다.
• 심플렉틱 통합 $ E(1,a) \hookrightarrow C^4(A) $ 가 성립하는 것은 $ E(1,a) \hookrightarrow E(A,2A) $ 가 성립하는 것과 동치이며, 이는 입방체와 타원체 통합 간의 직접적인 대응 관계를 설정한다.
• 저자들은 알고리즘적 열거를 통해 장애 클래스 $ (d,e;m) $ 를 계산하고 검증하여, $ a = 7\frac{1}{32} $ 이후에 추가 장애가 존재하지 않음을 확인한다.
• 함수 $ c_{EC}(a) $ 의 구조는 $ \mathbb{CP}^2 $ 의 블로우업에서의 예외적 구면 기하학에 의해 완전히 결정되며, McDuff와 Schlenk의 방법을 입방체 설정으로 확장한 것이다.