심플렉틱 용량

틀:위키데이터 속성 추적 심플렉틱 기하학에서 심플렉틱 용량(symplectic容量, 틀:Llang)은 심플렉틱 다양체의 2차원 "넓이"를 측정하는 방법이다. 그로모프 조임 불가능성 정리(Громов조임不可能性定理, 틀:Llang)에 따라, 심플렉틱 용량이 존재한다.

정의

$2n$ 차원의 심플렉틱 다양체들의 집합을 ${\mathrm{Sympl}}_n$이라고 쓰자. 심플렉틱 용량은 다음 조건들을 만족시키는 함수

$c:{\mathrm{Sympl}}_n\to [0,\mathrm{\infty }]$

이다.

• (단조성) 만약 심플렉틱 매장 $\iota :U\to V$가 존재한다면, $c(U)\le c(V)$
• (동차성) 임의의 양의 실수 $\lambda \in {ℝ}^{+}$ 및 심플렉틱 다양체 $(U,\omega )$에 대하여, $c(U,\lambda \omega )={\lambda }^{2}c(U,\omega )$
• (규격화) $c({𝔹}^{2n}(r))=c({𝔹}^2(r)\times {ℝ}^{2n-2})=\pi r^2$

여기서 ${𝔹}^{2n}(r)$는 $2r$차원의, 반지름이 $r$인 공 ${𝔹}^{2n}(r)\subset {ℝ}^{2n}$에 표준적인 심플렉틱 구조를 부여한 것이다.

성질

다음과 같은 두 함수를 정의하자.

$c_{\min }(M)=\sup \{r:\mathrm{\exists }\iota :{𝔹}^{2n}(r)\hookrightarrow M\}$

$c_{\max }(M)=\inf \{r:\mathrm{\exists }\iota :M\hookrightarrow {𝔹}^2(r)\times {ℝ}^{2n-2}\}$

그로모프 조임 불가능성 정리에 따르면, $c_{\min }$과 $c_{\max }$는 심플렉틱 용량을 이룬다. 특히, 만약 심플렉틱 매장

${𝔹}^{2n}(r)\hookrightarrow {𝔹}^2(R)\times {ℝ}^{2n-2}$

이 존재하는 필요충분조건은 $r\le R$이다. 또한, 모든 심플렉틱 용량 $c$에 대하여,

$c_{\min }(M)\le c(M)\le c_{\max }(M)$

이 성립한다.

역사

미하일 그로모프가 1985년에 유사 정칙 곡선을 사용하여 그로모프 조임 불가능성 정리를 증명하였다.

참고 문헌

• 틀:저널 인용
• 틀:저널 인용

외부 링크

• 틀:웹 인용