[논문 리뷰] Symplectic Harmonic theory and the Federer-Fleming deformation theorem

Yi Lin|arXiv (Cornell University)|2011. 12. 12.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 5

한 줄 요약

이 논문은 폐포된 심플렉틱 다양체에서 양의 차수를 가진 모든 원시 코homology 클래스가 전체 다양체 위에 지지되지 않는 심플렉틱 조화 형태로 표현될 수 있음을 증명한다. 이를 위해 Federer-Fleming 변형 정리와 정규 컨베이어의 코homology 이론을 사용한다. 이 결과는 고립된 부분다양체에 대한 조화 톰 형식의 지지에 관한 Guilliem의 열린 질문을 해결한다.

ABSTRACT

In this article, we initiate a geometric measure theoretic approach to symplectic Hodge theory. In particular, we apply one of the central results in geometric measure theory, the Federer-Fleming deformation theorem, together with the cohomology theory of normal cur- rents on a differential manifold, to establish a fundamental property on symplectic Harmonic forms. We show that on a closed symplectic manifold, every real primitive cohomology class of positive degrees admits a symplectic Harmonic representative not supported on the entire mani- fold. As an application, we use it to investigate the support of symplectic Harmonic representatives of Thom classes, and give a complete solution to an open question asked by Guillemin.

연구 동기 및 목표

• 심플렉틱 조화 형태의 지지 성질을 연구하며, 특히 고립된 부분다양체와 코이소트로픽 부분다양체에 대해 다룬다.
• Victor Guilliem이 제기한, 고립된 부분다양체의 톰 형식에 대해 전지지되지 않는 조화 형태가 존재하는가에 대한 열린 질문을 해결한다.
• Federer-Fleming 변형 정리를 사용하여 심플렉틱 호지 이론에 기하 측도 이론적 기초를 마련한다.
• 모든 양의 차수를 가진 원시 코homology 클래스가 전체 다양체에 지지되지 않는 닫힘 원시 De Rham 컨베이어로 표현됨을 보인다.
• 컨베이어 이론적 방법을 통해 심플렉틱 조화 이론과 코이소트로픽 사이클, 원시 코homology를 연결한다.

제안 방법

• Federer-Fleming 변형 정리를 적용하여 닫힘 원시 컨베이어를 닫힘 원시 미분형식으로 매끄럽게 변형함으로써 코homology 클래스와 원시성의 유지를 보장한다.
• 미분다양체 위의 정규 컨베이어의 코homology 이론을 사용하여 원시 코homology 클래스를 나타내는 닫힘 컨베이어의 구조를 분석한다.
• Bahramgiri의 심플렉틱 스무딩 연산자를 사용하여 닫힘 원시 컨베이어에서 닫힘 원시 미분형식을 구성한다.
• Hard Lefschetz 조건 하에서 Merkulov와 Guilliem에 의해 확립된 심플렉틱 $dd^\Lambda$-레마를 활용하여 코homological 성질과 조화 성질을 연결한다.
• Lefschetz 분해와 원시 성분의 유일성을 사용하여, 원시 형식이 $d$-exact임을 보일 경우 $dd^\Lambda$-exact이며 원시 잠재함수를 가짐을 보인다.
• 문제를 전체 다양체에 지지되지 않는 닫힘 원시 컨베이어로 옮기며, 변형 정리가 지지에 대한 통제를 가능하게 함으로써 해결한다.

실험 결과

연구 질문

• RQ1 폐포된 심플렉틱 다양체에서 양의 차수를 가진 모든 원시 코homology 클래스가 전체 다양체에 지지되지 않는 심플렉틱 조화 형태로 표현될 수 있는가?
• RQ2 고립된 부분다양체의 톰 형식은 전체 지지가 없는 심플렉틱 조화 형식으로 표현될 수 있는가?
• RQ3 약한 의미에서 모든 원시 코homology 클래스는 코이소트로픽 사이클로 표현될 수 있는가?
• RQ4 Federer-Fleming 변형 정리는 심플렉틱 호지 이론에서 전지지되지 않는 조화 형태의 구성에 어떻게 기여하는가?
• RQ5 Hard Lefschetz 성질이 없을 경우 원시 코homology와 전지지되지 않는 조화 형태의 존재성 간의 관계는 무엇인가?

주요 결과

• 폐포된 심플렉틱 다양체에서 모든 양의 차수를 가진 원시 코homology 클래스는 전체 다양체에 지지되지 않는 심플렉틱 조화 형태로 표현된다.
• 이 결과는 닫힘 원시 컨베이어에 Federer-Fleming 변형 정리를 적용하여 동일한 코homology 클래스에 속하는 매끄러운 닫힘 원시 형식을 얻음으로써 확립된다.
• 이 구성은 모든 원시 코homology 클래스가 전체 다양체에 지지되지 않는 닫힘 원시 De Rham 컨베이어로 표현됨을 보여준다.
• 이로써 Guilliem의 열린 질문이 해결되며, 컴acts 오리엔티드 코이소트로픽 부분다양체의 톰 형식이 전지지되지 않는 조화 형태로 표현됨을 확인한다.
• Hard Lefschetz 조건 하에서 원시 De Rham 코homology $PH^r_d(M)$와 표준 원시 코homology $PH^r(M)$ 사이의 동형사상이 확립된다.
• $d$-exact인 원시 형식이 $dd^\Lambda$-exact이며 원시 잠재함수를 가짐을 보이기 위해 심플렉틱 $dd^\Lambda$-레마와 Lefschetz 분해의 유일성을 사용한다.