[논문 리뷰] Constructible functions and Lagrangian cycles on orbifolds

Davesh Maulik, David Treumann|arXiv (Cornell University)|2011. 10. 18.

Geometry and complex manifolds참고 문헌 5인용 수 5

한 줄 요약

이 논문은 코시와라의 지수 공식을 매끄러운 오비폴드로 일반화하며, 코시피이 이론을 통해 구조적 함수와 라그랑주 사이클 간의 대응을 수립한다. 이는 비편재 오비폴드 위의 구조적 함수의 가중된 오일러 특성수가 그 특성 사이클과 영단면의 교차수와 일치함을 증명하며, 베히드의 정리가 오비폴드 환경으로 확장됨을 보여주고 도널드슨-타우스 이론에의 응용을 가능하게 한다.

ABSTRACT

On a smooth manifold M, the Kashiwara index formula expresses the weighted Euler characteristic of a constructible function in terms of its characteristic cycle. We generalize this formula to the case when M is a smooth orbifold, answering a question of Behrend.

연구 동기 및 목표

• 코시와라의 지수 공식을 매끄러운 다양체에서 매끄러운 오비폴드로 확장함으로써, 베히드가 제기한 질문에 응답한다.
• 오비폴드 오일러 특성이 정수값이 아니라 유리수값을 가질 수 있다는 미묘한 점을 해결하기 위해 보렐-무어 호몰로지와 컴act하게 지지된 사이클을 사용한다.
• 하나의 하위분석적 사이트 위의 코시피이를 사용하여 오비폴드에서의 구조적 함수와 라그랑주 사이클에 대한 국소-전역 프레임워크를 수립한다.
• 비편재 오비폴드 위의 구조적 함수의 가중된 오일러 특성수가 그 특성 사이클과 영단면의 교차수와 일치함을 증명한다.
• 특히 칼라비-야우 3차원다양체의 도널드슨-타우스 불변량에서의 대칭적 고장 이론의 맥락에서 대수기하학에서의 응용을 위해 결과를 적용한다.

제안 방법

• 하나의 하위분석적 그로텐디크 사이트 위의 코시피이 이론을 사용하여, 구조적 함수와 라그랑주 사이클의 국소-전역 행동을 다룬다.
• 비콤팩트 지지 함수 문제를 해결하기 위해, 컴팩트 수평 지지를 가진 구조적 함수와 라그랑주 사이클을 코시피이로 정의한다.
• 지역적으로 고전적 지수 공식을 적용하고, 코시피이 호몰로지와 내림내림 기법을 통해 이를 전역적으로 확장한다.
• 에테일 사상에 의한 표현 가능한 공간을 통해 오비폴드 위의 대수적 코시피이를 정의하여, 대수적 구조적 함수와 라그랑주 사이클을 표현한다.
• 몫 스택 위의 대수적 구조적 함수와 대수적 라그랑주 사이클 간의 동형을 이용하여, 전역적 구조를 오비폴드 설정과 연결한다.
• 여기서 코 tangent bundle의 정밀한 교차를 통해 대칭적 고장 이론 맥락에서 가상 기본류를 계산한다.

실험 결과

연구 질문

• RQ1 코시와라의 지수 공식은, 가중된 오일러 특성수와 그 특성 사이클이 영단면과의 교차수 사이의 관계를 다루지만, 이를 매끄러운 오비폴드로 확장할 수 있는가?
• RQ2 오비폴드 설정에서 오일러 특성수는 정수값이 아니라 유리수값을 가질 수 있기 때문에, 어떻게 해석해야 하는가?
• RQ3 국소-전역 성질을 존중하는 오비폴드 위의 구조적 함수와 라그랑주 사이클을 정의하기 위한 올바른 프레임워크는 무엇인가?
• RQ4 오비폴드 위의 구조적 함수의 특성 사이클은 어떻게 정의되고, 오일러 통합과 어떻게 관련되는가?
• RQ5 비트리비얼 오비폴드 기하학에 대해 오비폴드 지수 공식을 적용하여 도널드슨-타우스 이론에서의 가상 기본류의 차수를 계산할 수 있는가?

주요 결과

• 오비폴드 지수 공식이 성립한다: 비편재 오비폴드에서, 구조적 함수의 가중된 오일러 특성수는 코 tangent bundle의 영단면과의 교차수와 일치한다.
• 비편재 오비폴드 위의 구조적 함수의 특성 사이클은 보렐-무어 호몰로지에 잘 정의되어 있으며, 수직 지지가 컴팩트한 콘형 라그랑주 사이클의 군에 속한다.
• 오비폴드 위의 전역 구조적 함수로의 대수적 구조적 함수의 역상 매핑은 동형이며, 이는 국소적 대수적 구성이 전역적으로 확장됨을 허용한다.
• 오비폴드 위의 대수적 라그랑주 사이클의 군은 수평 지지가 컴팩트한 전역 라그랑주 사이클의 군과 동형이다.
• 공식은 대칭적 고장 이론으로까지 확장된다: 비편재 델리그레-무프 스택에 대칭적 완전한 고장 이론이 존재할 경우, 가상 기본류의 차수는 베히드 함수의 가중된 오일러 특성수와 일치한다.
• 결과는 오비폴드 설정에서의 도널드슨-타우스 불변량 계산을 가능하게 하며, 예를 들어 3차원다양체 위의 복소수층과 그의 분리된 초면에 대한 응용을 위해 전역 몰입 또는 매끄러움 조건이 필요하지 않다.