[논문 리뷰] A Counterexample to Viterbo's Conjecture

Pazit Haim‐Kislev, Yaron Ostrover|arXiv (Cornell University)|2024. 05. 26.

Mathematics and Applications인용 수 4

한 줄 요약

이 논문은 $ n \geq 2 $ 인 모든 차원에서 비트로보의 부피-용적 추측에 대한 반례를 제시한다. $ \mathbb{R}^4 $ 에서 두 개의 기울인 정오각형의 라그랑주 곱의 에클란드–호퍼–제인더 용적을 계산하기 위해 민코프스키 비알드 역학을 사용한다. 주요 결과는 용적 대비 용적 비율이 유클리드 구의 값보다 높다는 것을 보여주며, 이는 심플렉틱 용적이 볼록 도메인 클래스에서 부피에 의해 항상 유계가 아니라는 것을 증명한다.

ABSTRACT

We present a counterexample to Viterbo's volume-capacity conjecture. This implies, in particular, that in contrast with a well-known conjecture, symplectic capacities do not coincide on the class of convex domains in the classical phase space.

연구 동기 및 목표

• 고정된 부피를 가진 볼록 도메인 중에서 유클리드 구가 심플렉틱 용적을 최대화한다는 비트로보의 오랜 추측을 반박하기 위해.
• 볼록 도메인 클래스에서 심플렉틱 용적이 부피에 의해 항상 유계인지 여쭤보기 위해.
• 라그랑주 곱의 볼록 체의 에클란드–호퍼–제인더 용적이 민코프스키 비알드 역학을 통해 계산될 수 있음을 보여주기 위해.
• 특히 정오각형과 그 90° 회전을 사용하여 $ \mathbb{R}^4 $ 에서 구체적인 반례를 구성함으로써, 추측된 부등식 위반이 발생함을 보여주기 위해.

제안 방법

• 저자들은 볼록 도메인 경계의 닫힌 특성의 최소 작용으로 정의된 에클란드–호퍼–제인더 용적을 사용한다.
• 민코프스키 비알드 궤적을 통해 $ \mathbb{R}^4 $ 에서 정오각형 $ K $ 와 그 90° 회전체 $ T $ 의 라그랑주 곱 $ K \times T $ 의 용적을 계산한다.
• 용적이 이중성과 비알드 역학의 대칭성을 활용하여, $ K $ 의 대각선을 沿해 2번 반사하는 $ T $-비알드 궤적의 $ T^\circ $-길이와 동일하다고 보여진다.
• 지지 함수를 사용하여 $ T^\circ $-길이를 명시적으로 계산한다: $ \|x\|_{T^\circ} = \langle x, w_i \rangle $, 여기서 $ w_i $ 는 이중체의 꼭짓점이다.
• 기하학적 제약 조건(이동 불가, 방향 제약) 하에서 3점 비알드 경로의 $ T^\circ $-길이를 최소화하는 데 성공하여, 최소값이 2번 반사 궤적에서 발생함을 보였다.
• 연속성과 근사화 논증을 사용하여 비미분 가능한 오각형에서부터 미분 가능한 볼록 체로의 반례를 확장하였으며, 비트로보 부등식 위반은 유지된다.

실험 결과

연구 질문

• RQ1 비트로보의 부피-용적 추측은 $ \mathbb{R}^{2n} $ 의 모든 볼록 도메인에 대해 성립하는가, 아니면 반례가 존재하는가?
• RQ2 부피가 고정되어 있을 때, 볼록 도메인 클래스에서 심플렉틱 용적이 다를 수 있는가?
• RQ3 볼록 체의 라그랑주 곱의 에클란드–호퍼–제인더 용적이 민코프스키 비알드 역학을 통해 계산될 수 있는가?
• RQ4 구가 아닌 볼록 도메인은 유클리드 구보다 더 높은 심플렉틱 용적 대비 부피 비율을 달성할 수 있는가?

주요 결과

• 정오각형 $ K $ 와 그 90° 회전체 $ T $ 의 라그랑주 곱 $ K \times T $ 의 에클란드–호퍼–제인더 용적은 $ c_{\text{EHZ}}(K \times T) = 2\cos(\pi/10)(1 + \cos(\pi/5)) $ 이다.
• 용적 대비 부피 비율은 $ \frac{c_{\text{EHZ}}(K \times T)^2}{2A^2} = \frac{\sqrt{5}+3}{5} > 1 $ 을 만족하며, 여기서 $ A = \frac{5}{2}\sin(2\pi/5) $ 는 $ K $ 나 $ T $ 의 면적이다. 이는 비트로보의 추측을 위반한다.
• 반례는 $ \mathbb{R}^4 $ 에서의 결과가 고차원으로의 표준 확장 논증을 통해 $ n \geq 2 $ 인 모든 차원에서 유효하므로, 모든 $ n \geq 2 $ 에 대해 성립한다.
• 비알드 궤적의 3점 경로 중에서 $ T^\circ $-길이가 가장 짧은 것은 대각선을 따라 2번 반사하는 궤적이며, 이 값은 에클란드–호퍼–제인더 용적과 같다.
• 결과는 볼록 도메인 클래스에서 심플렉틱 용적이 부피에 의해 유일하게 결정되지 않으며, 유클리드 구가 동일한 부피를 가진 모든 볼록 체 중에서 심플렉틱 크기를 최대화하지는 않는다는 것을 암시한다.
• 오각형 기반 도메인의 매끄러운 근사화는 $ C^\infty $ 볼록 체를 만들어내며, 여전히 비트로보의 추측을 위반함을 보여주어, 이 실패가 다각형이나 비미분 가능한 도메인에 국한되지 않음을 입증한다.