[논문 리뷰] A linear isoperimetric inequality for the punctured Euclidean plane

Leonid Polterovich, Jean-Claude Sikorav|ArXiv.org|2001. 06. 26.

Geometric and Algebraic Topology참고 문헌 8인용 수 7

한 줄 요약

이 논문은 유클리드 평면 ℝ²∖ℤ²에서 수축 가능한 곡선에 대해 선형 이소페리메트릭 부등식을 확립하며, 그러한 곡선이 둘러싸는 면적은 그 길이의 (1+√2) 배 이내임을 증명한다. 이 증명은 조합군론에서의 정교화된 소작소취리(소작소취리)의 응용에 기반하여, 단어 aba⁻¹b⁻¹c의 정규닫힘에 속하는 원소들의 조합적 면적은 그 (a,b)-길이의 최대 절반 이내임을 보여준다. 이 결과는 해밀턴 역학에 응용되어, 2-토러스 위의 항성일지 않은 해밀턴 미분형사의 미분의 노름이 선형 성장을 보임을 보여준다.

ABSTRACT

It follows from a general theorem of Bonk and Eremenko that closed plane curves which are contractible in the complement to the integral lattice satisfy a linear isoperimetric inequality. We give an alternative proof of this fact. Our approach is based on a non-standard combinatorial isoperimetric inequality which requires a refinement of the small cancellation theory. We present an application of the isoperimetric inequality for the punctured plane to Hamiltonian dynamics. Combining it with methods of symplectic topology we show that every non-identical Hamiltonian diffeomorphism of the 2-torus has at least linear asymptotic growth of the differential.

연구 동기 및 목표

• 수축 가능한 곡선에 대해 유클리드 평면 ℝ²∖ℤ²에서의 선형 이소페리메트릭 부등식을 고전적 고프리 모트 공간 이론 대신 조합군론적 방법으로 재증명하는 것.
• 세 생성자로 이루어진 자유군에서 관계식 r = aba⁻¹b⁻¹c를 가진 경우의 날카운 조합적 이소페리메트릭 부등식을 확립하는 것.
• ℝ²∖ℤ²에서의 이소페리메트릭 부등식을 2-토러스 위 해밀턴 역학에 적용하여, 항성일지 않은 해밀턴 미분형사의 미분 노름이 선형 성장을 보임을 증명하는 것.
• 기존의 소작소취리 이론을 개선하여 전반적인 단어 길이를 (a,b)-길이로 대체하고 이소페리메트릭 상수를 향상시키는 것.
• 명시적인 예를 통해 조합적 설정에서 이소페리메트릭 상수 1/2의 날카움을 보여주는 것.

제안 방법

• 관계식 ⟨a,b,c | aba⁻¹b⁻¹c⟩를 가진 군에 대해 비표준적인 조합적 이소페리메트릭 부등식을 사용하며, 관계식 r = aba⁻¹b⁻¹c의 정규닫힘에 집중한다.
• (a,b)-길이 l(w)를 정의하여, N에 속한 w의 순환 축소에서 c±¹ 문자를 忽시하고 a±¹ 및 b±¹ 문자의 수로 간주한다.
• 소작소취리 이론의 정교화된 변형을 사용하여, N에 속한 모든 w에 대해 A(w) ≤ ½ l(w)임을 증명한다.
• 루프가 자유군 F₃의 단어와 대응되는 기하학적-조합적 대응 관계를 설정한다.
• 곡선 γ와 그 해밀턴 미분형사 ψ에 의한 이미지로 이루어진 루프에 이소페리메트릭 부등식을 적용하여, 어떤 격자 L에 대해 ℝ²∖L에서 수축 가능함을 보인다.
• 심플렉틱 면적 추정과 작용 차분 δ(x,y,ψⁿ) = nδ(x,y,ψ)를 사용하여, 면적과 길이 추정을 통해 ||dψⁿ||의 선형 성장을 도출한다.

실험 결과

연구 질문

• RQ1 유클리드 평면 ℝ²∖ℤ²에서의 선형 이소페리메트릭 부등식을 고전적 고프리 모트 공간 이론 대신 조합군론을 사용하여 증명할 수 있는가?
• RQ2 자유군 F₃에서 단어 aba⁻¹b⁻¹c의 정규닫힘에서의 조합적 면적에 대한 최적의 이소페리메트릭 상수는 무엇인가?
• RQ3 유클리드 평면 ℝ²∖ℤ²에서의 선형 이소페리메트릭 부등식은 2-토러스 위의 항성일지 않은 해밀턴 미분형사의 미분 노름이 선형 성장을 보임을 암시하는가?
• RQ4 기존의 소작소취리 이론을 개선하여 전체 단어 길이를 (a,b)-길이라는 부분 길이로 대체할 수 있는가?
• RQ5 정리 1.2에서 이소페리메트릭 상수 1/2는 날카로운가? 그리고 이는 명시적인 군 원소 수열을 통해 입증될 수 있는가?

주요 결과

• 모든 매끄러운 수축 가능한 곡선 α에 대해 ℝ²∖ℤ²에서 Area(α) ≤ (1+√2) Length(α) 부등식이 성립한다.
• 자유군 F₃에서 aba⁻¹b⁻¹c의 정규닫힘에 속한 모든 w에 대해 조합적 이소페리메트릭 부등식 A(w) ≤ ½ l(w)가 성립하며, 이 상수는 날카롭다.
• 수열 uₖ = (b⁻¹c)ᵏabᵏa⁻¹에 대해 A(uₖ)/l(uₖ) → ½ (k → ∞) 이 성립하여 상수 ½의 날카로움을 증명한다.
• 임의의 항성일지 않은 2-토러스 위 해밀턴 미분형사 ψ에 대해, 어떤 ψ에 따라 달라지는 κ > 0가 존재하여 ||dψⁿ|| ≥ κn 임을 보여준다.
• 고정점을 가진 비해밀턴 심플렉틱 면적 보존 미분형사에 대해서도 이 방법이 확장되며, 플럭스 동형사 조건 하에 동일한 선형 성장을 얻는다.
• 증명 기법은 심플렉틱 위상수학, 심플렉틱 면적 추정 및 이소페리메트릭 부등식을 조합하여, 미분의 성장에 대한 하한을 도출한다.