[논문 리뷰] $l$-adic cohomological field theories of dormant opers

Yasuhiro Wakabayashi|arXiv (Cornell University)|2017. 09. 13.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 2

한 줄 요약

이 논문은 단순한 대수적 군 $G$에 대한 담그지 않은 $G$-오퍼의 컴팩트 모듈리 스택에서 유도된 가상 기본류를 사용하여 $l$-adic 에테ール 코homology에서 반단순(cohomological field theory, CohFT)을 구성한다. 담그지 않은 충실한 변형된 $G$-오퍼(G-do'per)의 개념을 도입함으로써, 양의 특성에서 $G$-do'퍼스의 모듈리 스택에서 $ abla$-클래스의 교차수에 대한 위튼-콘테비치 정리의 유사체를 수립한다.

ABSTRACT

The purpose of the present paper is to develop the enumerative geometry of dormant $G$-opers for a semisimple algebraic group $G$. In the present paper, we construct a compact moduli stack admitting a perfect obstruction theory by introducing the notion of a dormant faithful twisted $G$-oper (or, a $G$-do'per, for short). Moreover, by means of the resulting virtual fundamental class, we obtain a semisimple CohFT (= cohomological field theory) valued in the $l$-adic \'etale cohomology of the moduli stack classifying pointed stable curves in positive characteristic. This CohFT gives an analogue of the Witten-Kontsevich theorem describing the intersection numbers of psi classes on the moduli stack of $G$-do'pers.

연구 동기 및 목표

• 양의 특성에서 단순한 대수적 군 $G$에 대한 담그지 않은 $G$-오퍼의 계수 기하학을 체계적으로 발전시키기.
• 완전한 오염 이론을 지닌 $G$-do'퍼스의 모듈리 스택을 구성하기.
• 이 모듈리 스택 위에 가상 기본류를 정의하여 $l$-adic 에테ール 코homology 값의 반단순 CohFT를 얻기.
• 모듈리 스택에서 $G$-do'퍼스의 $ abla$-클래스의 교차수에 대한 위튼-콘테비치 정리의 유사체를 수립하기.

제안 방법

• 잘 정의된 모듈리 공간을 정의하기 위해 담그지 않은 충실한 변형된 $G$-오퍼(G-do'퍼스)의 개념을 도입하기.
• 완전한 오염 이론을 지닌 $G$-do'퍼스의 컴팩트 모듈리 스택을 구성하여 가상 사이클 이론을 가능하게 하기.
• 완전한 오염 이론을 사용하여 $l$-adic 코hom로의 가상 기본류를 정의하기.
• 포인트가 있는 안정 곡선의 모듈리 스택의 $l$-adic 에테ール 코homology 값을 값으로 가지는 CohFT를 구성하기.
• 결과로 얻어진 CohFT가 반단순임을 증명하여 위튼-콘테비치 이론의 구조를 확장하기.
• 모듈리 스택에서 $G$-do'퍼스의 $ abla$-클래스의 교차수에 대한 위튼-콘테비치 정리의 유사체를 수립하기.

실험 결과

연구 질문

• RQ1 담그지 않은 $G$-오퍼의 계수 기하학은 양의 특성에서 어떻게 체계적으로 발전시킬 수 있는가?
• RQ2 어떤 모듈리 공간의 구조가 $G$-do'퍼스에 대한 완전한 오염 이론을 지지하는가?
• RQ3 가상 기본류를 $G$-do'퍼스에 대해 구성하여 $l$-adic 코homology에서 CohFT를 유도할 수 있는가?
• RQ4 결과로 얻어진 CohFT는 반단순성을 만족하고 위튼-콘테비치 정리를 일반화하는가?
• RQ5 G-do'퍼스의 맥락에서 위튼-콘테비치 교차수 공식의 정확한 유사체는 무엇인가?

주요 결과

• 완전한 오염 이론을 지닌 $G$-do'퍼스의 컴팩트 모듈리 스택이 구성되었으며, 이는 가상 사이클 이론을 가능하게 한다.
• $l$-adic 에테ール 코homology에서 가상 기본류가 정의되어 반단순 CohFT를 이끌어낸다.
• CohFT는 포인트가 있는 안정 곡선의 모듈리 스택의 $l$-adic 코homology를 값으로 갖는다.
• CohFT는 $ abla$-클래스의 교차수에 대한 양의 특성에서의 위튼-콘테비치 정리의 유사체를 제공한다.
• 이러한 구성은 단순한 군 $G$에 대한 고전적 위튼-콘테비치 이론을 $G$-do'퍼스의 맥락으로 일반화한다.
• 결과로 얻어진 CohFT는 반단순적이며, 영도 0 Gromov-Witten 이론에서 알려진 결과들과의 구조적 호환성을 확인한다.