[논문 리뷰] Differential forms on orbifolds with corners

Jake P. Solomon, Sara B. Tukachinsky|arXiv (Cornell University)|2020. 11. 19.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 에탈리티 적인 쌍방향 군oids를 사용하여 모서리가 있는 오비폴드 위의 미분형식과 커런트에 대한 엄밀한 프레임워크를 수립한다. 이는 미분형식의 공간과 그 이중공간인 커런트의 공간이 군oids 표현에 관계없이 불변임을 증명하며, 프레셰 위상과 호환되는 연속적인 당김과 밀림 연산을 도입하여 고전 결과를 모서리가 있는 오비폴드로 일반화한다. 또한 커런트에 대해 함의성과 스토크스 정리와 같은 핵심 성질을 증명한다.

ABSTRACT

Motivated by symplectic geometry, we give a detailed account of differential forms and currents on orbifolds with corners, the pull-back and push-forward operations, and their fundamental properties. We work within the formalism where the category of orbifolds with corners is obtained as a localization of the category of étale proper groupoids with corners. Constructions and proofs are formulated in terms of the structure maps of the groupoids, avoiding the use of orbifold charts. The Fréchet space of differential forms on an orbifold and the dual space of currents are shown to be independent of which étale proper groupoid is chosen to represent the orbifold.

연구 동기 및 목표

• 모서리가 있는 오비폴드 위에서 미분형식과 커런트의 일관된 이론을 개발함으로써 심플렉틱 기하학 응용에 기여하는 것.
• 모서리가 있는 오비폴드를 나타내는 에탈리티 적인 쌍방향 군oids의 선택에 관계없이 프레셰 공간으로서의 미분형식과 그 이중공간인 커런트의 공간이 불변임을 보이는 것.
• 모서리가 있는 오비폴드 위의 미분형식과 커런트에 대해 연속적인 당김과 밀림 연산을 정의하고 연구하는 것.
• 고전적인 적분과 스토크스 정리를, 특히 상대적 방향과 섬유화된 구조의 맥락에서 모서리가 있는 오비폴드 환경으로 일반화하는 것.
• 모듈리 공간이 모서리가 있는 오비폴드인 오픈 과르모-위튼 이론과 푸카야 카테고리 구성에 기초가 되는 도구를 제공하는 것.

제안 방법

• 오비폴드의 모서리가 있는 경우를, 모서리가 있는 에탈리티 적인 쌍방향 군oids의 2-category의 국소화로 형식화함으로써 오비폴드 차트에 의존하지 않도록 한다.
• 군oids 위의 불변형식으로서 오비폴드 위의 미분형식을 정의하고, 미분가환대수의 구조와 호환되는 프레셰 위상을 부여한다.
• 군oids의 구조 사상들을 사용하여 당김과 밀림 사상을 구성하며, 프레셰 위상에 대해 연속성을 확보한다.
• 콤���된 지지집합을 가진 미분형식 위의 연속적 선형 함수로 커런트를 정의하고, 쌍대성에 의해 밀림 사상을 정의한다.
• 2-동형 사상에 沿한 당김이 동일함을 증명하며, 상대적으로 방향이 정해진 쌍방향 서브머르피즘에 대해 밀림 사상이 잘 정의됨을 보인다.
• 수직 및 수평 경계 포함을 통해 경계 기여를 분석함으로써 커런트에 대해 스토크스 정리의 한 형태를 수립한다.

실험 결과

연구 질문

• RQ1 오비폴드 차트에 의존하지 않고 모서리가 있는 오비폴드 위에서 미분형식과 커런트를 어떻게 일관되게 정의할 수 있는가?
• RQ2 미분형식과 커런트의 공간이 에탈리티 적인 쌍방향 군oids 표현의 선택에 대해 어느 정도 불변인가?
• RQ3 미분형식과 커런트에 대한 당김 및 밀림 연산이 잘 정의되고 연속적이기 위해 어떤 조건이 필요한가?
• RQ4 적분의 표준 성질, 예를 들어 스토크스 정리는 모서리가 있는 오비폴드 환경으로 어떻게 일반화되는가?
• RQ5 상대적 방향과 섬유화된 구조는 모서리가 있는 오비폴드 위에서 밀림 사상을 정의하는 데 어떤 역할을 하는가?

주요 결과

• 모서리가 있는 오비폴드 위의 프레셰 공간으로서의 미분형식은 오비폴드를 나타내는 에탈리티 적인 쌍방향 군oids의 선택에 관계없이 불변이다.
• 미분형식의 당김은 잘 정의되어 있으며, 오비폴드의 모서리가 있는 사상들 사이의 2-동형에 대해 불변이다.
• 상대적으로 방향이 정해진 쌍방향 서브머르피즘에 대해 미분형식의 밀림 사상은 잘 정의되며, 프레셰 위상과도 호환된다.
• 커런트에 대해 스토크스 정리의 한 형태가 성립하며, 이는 수직 경계 성분에서 기인하는 수정 항이 존재한다.
• 대상의 경계에서 0이 되는 형식의 당김이 반드시 소스의 경계에서 0이 되는 것은 아니며, 이는 상대형식이 아닌 표준형식의 사용를 정당화한다.
• 커런트의 밀림 사상은 소스의 경계와 사상에 의해 경계의 상이 포함된 수정된 스토크스 유형 항식을 만족한다.