[논문 리뷰] Quantum orbifold Hirzebruch-Riemann-Roch theorem in genus zero

Valentin Tonita, Hsian‐Hua Tseng|arXiv (Cornell University)|2013. 07. 01.

Geometric and Algebraic Topology참고 문헌 16인용 수 4

한 줄 요약

이 논문은 허르츠브루흐-리만-로흐 정리의 양자 오르비폭탄 버전을 수립하기 위해, 딜레뇨-멈포르 오르비폭탄의 종수 0 K-이론적 그로모프-와이너 인버리언트를 가짜 K-이론적 및 비틀린 오르비폭탄 인버리언트를 통해 코hom올로지적 그로모프-와이너 인버리언트로 특성화함으로써 이룩한다. 핵심 결과인 정리 4.1은 가상 카와스키 리만-로흐 공식을 사용하여 양자 K-이론 인버리언트를 고전적 코hom올로지적 자료로 표현하며, 이는 이전 결과들을 오르비폭탄 설정으로 일반화한다.

ABSTRACT

We introduce K-theoretic Gromov-Witten invariants of algebraic orbifold target spaces. Using the methods developed by Givental-Tonita we characterize Giventals Lagrangian cone of quantum K theory of orbifolds in terms of the cohomological cone.

연구 동기 및 목표

• 부드러운 프로젝티브 딜레뇨-멈포르 오르비폭탄에 대한 K-이론적 그로모프-와이너 인버리언트를 확장하기.
• 가짜 및 비틀린 인버리언트를 통한 코hom올로지적 자료를 이용하여 양자 K-이론 라그랑지안 콘을 완전히 특성화하기.
• 종수 0의 양자 리만-로흐 대응을 오르비폭탄 설정으로 일반화하기.
• 가상 카와스키 리만-로흐 기법을 통해 양자 오르비폭탄 허르츠브루흐-리만-로흐 정리를 수립하기.

제안 방법

• 디릴레뇨-멈포르 스택으로 향하는 비틀린 안정 맵의 모듈리 공간을 사용하여 오르비폭탄에 대한 K-이론적 그로모프-와이너 인버리언트를 도입하기.
• 가짜 K-이론적 인버리언트와 비틀린 오르비폭탄 인버리언트를 중간 변수로 정의하며, 이를 코hom올로지적 표현으로 표현 가능하게 하기.
• 가상 카와스키 리만-로흐 공식을 적용하여 오르비폭탄 안정 맵의 모듈리 공간에서의 가상의 구조층의 오일러 특성 수치를 계산하기.
• 루프 스페이스 형식을 사용하여 종수 0의 K-이론적 인버리언트를 라그랑지안 콘 $\mathcal{L}^\mathcal{K}$ 안에 코딩하기.
• 기브탈의 형식과 $S$-행렬을 활용하여 생성 함수 간의 관계를 해밀턴-자코비 방법을 통해 연결하기.
• 절단 및 이동 연산을 통해 가상 리만-로흐와 기브탈 형식을 이용하여 양자 K-이론의 잠재함수와 코hom올로지 자료 간의 대응을 수립하기.

실험 결과

연구 질문

• RQ1 부드러운 프로젝티브 딜레뇨-멈포르 오르비폭탄에 대해 K-이론적 그로모프-와이너 인버리언트는 어떻게 정의할 수 있는가?
• RQ2 오르비폭탄의 양자 K-이론 라그랑지안 콘은 코hom올로지적 그로모프-와이너 인버리언트를 완전히 특성화할 수 있는가?
• RQ3 가상 카와스키 리만-로흐 공식은 오르비폭탄 모듈리 공간에서 K-이론적 및 코hom올로지적 인버리언트를 연결하는 데 어떤 역할을 하는가?
• RQ4 가짜 및 비틀린 인버리언트는 종수 0에서 K-이론적 및 코hom올로지적 양자 인버리언트 간 격차를 어떻게 메우는가?
• RQ5 가상 리만-로흐와 기브탈 형식을 통해 양자 오르비폭탄 허르츠브루흐-리만-로흐 정리는 어느 정도 유도될 수 있는가?

주요 결과

• 정리 4.1은 라그랑지안 콘 $\mathcal{L}^\mathcal{K}$ 위의 점들이 가짜 K-이론적 및 비틀린 오르비폭탄 인버리언트를 통해 완전히 특성화됨을 수립한다.
• 가짜 및 비틀린 인버리언트는 전적으로 코hom올로지적 그로모프-와이너 이론으로 표현 가능하므로, 양자 K-이론을 코hom올로지적 자료로 완전히 축소시킬 수 있다.
• 가상 카와스키 리만-로흐 공식은 오르비폭탄 안정 맵의 모듈리 공간에서의 가상의 구조층 기여도를 계산하는 데 핵심적인 역할을 한다.
• 종수 0의 K-이론적 인버리언트의 생성 함수는 해밀턴-자코비 방정식을 만족하며, 이는 $S$-행렬과 절단을 통해 코hom올로지 잠재함수와 연결된다.
• 양자 K-이론의 조상 잠재함수는 식 (B.13)에 의해 형식화된 바와 같이 $[S_{\tau}\mathbf{q}]_{+}$ 및 $\tau$를 포함하는 이동 및 절단 연산을 통해 코hom올로지 잠재함수와 관련된다.
• 양자 오르비폭탄 허르츠브루흐-리만-로흐 정리는 양자 K-이론과 코hom올로지적 인버리언트 사이의 정확한 대응으로 실현되며, 이는 이전 결과들을 오르비폭탄의 경우로 일반화한다.