[논문 리뷰] Polytopes with mass linear functions, part I

Dusa McDuff, Susan Tolman|ArXiv.org|2008. 07. 06.

Point processes and geometric inequalities참고 문헌 8인용 수 4

한 줄 요약

이 논문은 차원 3 이하의 매끄러운 단순 다면체에서 질량 선형 함수를 분류하며, 비상수 질량 선형 함수는 대칭성에서 비롯되거나 유일한 3차원 다면체의 한 가족에서 기인함을 보여준다. 핵심 결과는 유일한 가족의 매끄러운 3차원 다면체만 본질적인 질량 선형 함수(대칭성에 의해 유도되지 않는 함수)를 허용하며, 대부분의 다면체는 이러한 함수를 갖지 않는다는 것이다. 이 분류는 심플렉틱 토릭 다양체와 그 심플렉토모르피즘 군에 기하학적 함의를 지니며, 특히 심플렉토모르피즘 군의 기본군에 대한 사상의 단사성과 관련된다.

ABSTRACT

We analyze mass linear functions $H$ on simple polytopes $\De$, where a mass linear function is an affine function on $\De$ whose value on the center of mass depends linearly on the positions of the supporting hyperplanes. We show that certain types of symmetries of $\De$ give rise to nonconstant mass linear functions on $\De$. These are called inessential; the others are essential. We also show that most polytopes do not admit any nonconstant mass linear functions. Our main result shows that there is only one family of smooth polytopes of dimension $\leq 3$ which admit essential mass linear functions. These results have geometric implications. Fix a symplectic toric manifold $(M,\om,T,Φ)$ with moment polytope $\De = Φ(M)$; let $\Symp(M,\om)$ be its group of symplectomorphisms. Any linear function $H$ on $\De$ generates a Hamiltonian $\R$ action on $M$ whose closure is a subtorus $T_H$ of $T$. We show that if the map $π_1(T_H) o π_1(\Symp(M,\om))$ has finite image, then $H$ is mass linear. Therefore, in most cases the induced map $π_1(T) o π_1(\Symp(M,\om))$ is an injection. We also show that this map does not have finite image unless $M$ is a product of projective spaces. Moreover, the inessential $H$ correspond to elements in the kernel of the map $π_1(T) o \Isom(M)$, where the Kahler isometry group $\Isom(M)\subset \Symp(M,\om)$ consists of elements that also preserve the natural compatible complex structure on $M$. Therefore if $\De$ supports no nonconstant essential mass linear $H$, the map $π_1(\Isom(M)) o pi_1(\Symp(M,\om)$ is injective.

연구 동기 및 목표

• 차원 ≤3인 모든 매끄러운 다면체 중에서 비상수 질량 선형 함수를 갖는 것을 분류하는 것.
• 대칭성에서 기인하는 비본질적 질량 선형 함수와 대칭성에서 기인하지 않는 본질적 함수를 구분하는 것.
• 질량 선형 함수가 심플렉틱 토릭 다양체에 미치는 기하학적 함의, 특히 심플렉토모르피즘 군의 기본군에 대한 사상의 성질을 규명하는 것.
• π₁(T) → π₁(Symp₀(M,ω)) 사상이 단사가 되는 조건을 설정하는 것.

제안 방법

• 질량 선형 함수를 다면체 Δ 위의 애핀 함수로 정의하며, 중심의 질량이 지지 초평면의 위치에 대해 선형적으로 의존하는 경우로 정의한다.
• 체임버 𝒞_Δ를 사용하여 지지 수단 κ_i의 변화에 따라 Δ의 부피와 모멘트가 어떻게 변하는지 분석한다.
• 대칭적이고 비대칭적인 면을 도입하고, 다면체의 대칭성에서 기인하는 비본질적 함수를 정의한다.
• 두 개의 비대칭 면을 가진 다면체를 분석하고, 특히 3차원 다면체 Y_a와 같은 구체적 예시의 맥락에서 질량 선형 함수를 분류한다.
• 평평한 면과 전개에 관한 결과를 적용하여 분류 문제를 평평한 면이 없는 다면체로 축소한다.
• 강력하고 광범위한 면의 개념을 사용하여, 단체의 곱과의 조합적 동치에 대해 4차원 다면체를 분류한다.

실험 결과

연구 질문

• RQ1 어떤 매끄러운 3차원 다면체가 비상수 질량 선형 함수를 갖는가?
• RQ2 매끄러운 다면체에서 대칭성에서 기인하지 않는 본질적 질량 선형 함수는 어떤 특성을 지닌다?
• RQ3 심플렉틱 토릭 다양체 (M,ω)에 대해 π₁(T) → π₁(Symp₀(M,ω)) 사상이 단사가 되는 조건은 무엇인가?
• RQ4 본질적 질량 선형 함수가 존재하지 않을 경우, π₁(Isom₀(M)) → π₁(Symp₀(M,ω)) 사상이 단사가 되는 조건은 무엇인가?
• RQ5 모든 면이 강력한 매끄러운 4차원 다면체는 단체의 곱과 조합적으로 동치인가?

주요 결과

• 유일한 가족의 매끄러운 3차원 다면체만 본질적 질량 선형 함수를 허용한다—즉, 예제 1.1에서 정의된 Y_a 형태의 다면체이며, 다각형은 이러한 함수를 갖지 않는다.
• 대칭 면이 없는 매끄러운 4차원 다면체에서 모든 질량 선형 함수가 비본질적이라면, 그 다면체는 단체의 곱과 조합적으로 동치이다.
• 모든 4차원 심플렉틱 토릭 다양체에서 π₁(T) → π₁(Symp₀(M,ω)) 사상은 단사이며, 6차원의 경우 M이 ℂP²-_bundle over ℂP¹가 아닐 경우에도 단사이다.
• 다면체가 본질적 질량 선형 함수를 지원하지 않으면, π₁(Isom₀(M)) → π₁(Symp₀(M,ω)) 사상은 단사이다.
• 4차원의 경우, 매끄러운 다면체에서 모든 질량 선형 함수는 대칭 면에서 기인하거나 비본질적이다. 이는 대칭성이 존재하지 않는 한 이러한 함수가 희귀하다는 것을 의미한다.
• 모든 면이 강력하고 강력한 매끄러운 4차원 다면체는 대칭 면이 없고, 조합적으로 단체의 곱과 동치이다.