[논문 리뷰] Narrow quantum D-modules and quantum Serre duality

Mark Shoemaker|arXiv (Cornell University)|2018. 11. 05.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 4

한 줄 요약

이 논문은 비콤팩트 다양체 또는 오비폴드에 대해 표준 쌍대성(pairing)이 실패하는 상황에서도 잘 정의되고 비퇴화된 쌍대성이 존재하는 코homology의 부분공간인 '좁은 코hom로지아(narrow cohomology)'를 도입한다. 이 narrow cohomology 위에 양자 D-모듈을 구성함으로써, 양자 연결과 쌍대성을 모두 포함하는 양자 D-모듈의 동형사상으로서의 양자 세르 대칭성의 새로운 공식화를 가능하게 하며, 이는 비콤팩트 대상에 대해 오랫동안 남아있던 Gromov–Witten 이론의 문제를 해결한다.

ABSTRACT

Given Y a non-compact manifold or orbifold, we define a natural subspace of the cohomology of Y called the narrow cohomology. We show that despite Y being non-compact, there is a well-defined and non-degenerate pairing on this subspace. The narrow cohomology proves useful for the study of genus zero Gromov-Witten theory. When Y is a smooth complex variety or Deligne-Mumford stack, one can define a quantum D-module on the narrow cohomology of Y. This yields a new formulation of quantum Serre duality.

연구 동기 및 목표

• 비콤팩트 다양체 또는 오비폴드에서 표준 쌍대성이 실패하는 상황에서도 잘 정의된 코homology 부분공간인 narrow cohomology를 정의하는 것.
• 이 narrow cohomology 위에 양자 D-모듈을 구성하여, 양자 연결이 이 부분공간을 유지하고 쌍대성이 비퇴화된 상태를 유지하도록 보장하는 것.
• 양자 세르 대칭성을 단순히 커널 위의 사상이 아니라, 양자 연결과 쌍대성을 모두 포함하는 전체 양자 D-모듈의 동형사상으로 재정의하는 것.
• 이전의 양자 세르 대칭성 공식화가 비콤팩트 대상(예: 벡터 번들의 총공간)에서 쌍대성을 유지하지 못했던 문제를 해결하는 것.

제안 방법

• Compactly supported cohomology에서 ordinary cohomology로의 忘却사상(forgetful map)의 상으로서 narrow cohomology를 정의한다: $ H^{*}_{\text{nar}}(\tilde{Y}) = \text{im}( \theta: H^{*}_{\text{c}}(\tilde{Y}) \to H^{*}(\tilde{Y}) ) $.
• Compactly supported cohomology $ H^{*}_{\text{c}}(\tilde{Y}) $와 ordinary cohomology $ H^{*}(\tilde{Y}) $ 사이의 Poincaré 쌍대성 쌍대성을 이용해 narrow cohomology $ H^{*}_{\text{nar}}(\tilde{Y}) $ 위에 비퇴화된 쌍대성을 유도한다.
• 양자 연결 $ \nabla^{\tilde{Y}} $ 가 narrow 부분공간 $ H^{*}_{\text{nar}}(\tilde{Y}) $ 를 보존함을 보여, 이 부분공간 위에서 양자 D-모듈의 구조가 잘 정의됨을 보장한다.
• 양자 연결에 관하여 평탄한 restricted pairing $ S^{\tilde{Y},\text{nar}} $ 를 narrow 양자 D-모듈 위에 정의한다.
• 변수 변경 후에 $ \pi^{*} \circ j_{*} $ 사상이 $ \mathcal{Z} $ 의 narrow 양자 D-모듈과 $ \tilde{Y} $ 의 narrow 양자 D-모듈 사이의 양자 D-모듈 동형사상을 유도함을 증명한다.
• 함수자 $ (-1)^{\text{rk}(\mathcal{E})} \text{det}(\mathcal{E}) \otimes (\pi^{*} \circ j_{*})(-) $ 를 통해 정수 구조(integral structures)와의 호환성을 확립한다.

실험 결과

연구 질문

• RQ1 비콤팩트 대상 $ \tilde{Y} $ 에서 표준 Poincaré 쌍대성이 실패하더라도 잘 정의된 양자 D-모듈을 구성할 수 있는가?
• RQ2 양자 세르 대칭성을 커널 위의 사상에서, 연결과 쌍대성을 모두 포함하는 전체 양자 D-모듈의 동형사상으로 승격시킬 수 있는가?
• RQ3 비콤파크트 $ \tilde{Y} $ 에서 비퇴화된 쌍대성을 지닌 자연스러운 코homology 부분공간이 존재하는가? 그리고 이 부분공간이 양자 연결에 의해 보존되는가?
• RQ4 narrow cohomology는 $ \nabla^{\tilde{Y}} $ 의 커널 안에서 $ \pi^{*} \circ j_{*} $ 의 이미지와 어떻게 관련이 있는가?

주요 결과

• narrow cohomology $ H^{*}_{\text{nar}}(\tilde{Y}) $ 는 忘却사상 $ \theta: H^{*}_{\text{c}}(\tilde{Y}) \to H^{*}(\tilde{Y}) $ 의 상으로서 정의되며, 양호한 dualiry 성질을 지닌 유한차원 부분공간을 제공한다.
• narrow cohomology $ H^{*}_{\text{nar}}(\tilde{Y}) $ 위에 유도된 쌍대성은 비퇴화되어 있으며, 비콤팩트 공간에서 표준 코homology의 퇴화 문제를 해결한다.
• 양자 연결 $ \nabla^{\tilde{Y}} $ 는 narrow 부분공간을 보존하므로, 양자 D-모듈의 구조가 $ H^{*}_{\text{nar}}(\tilde{Y}) $ 위로 제한된다.
• narrow 양자 D-모듈 위에 잘 정의되고 평탄한 pairing $ S^{\tilde{Y},\text{nar}} $ 가 존재하여, 이는 전체 양자 D-모듈이 된다.
• $ \pi^{*} \circ j_{*} $ 사상은 변수 변경 후에 $ \mathcal{Z} $ 와 $ \tilde{Y} $ 의 narrow 양자 D-모듈 사이의 양자 D-모듈 동형사상을 유도하며, 이는 양자 세르 대칭성을 D-모듈 동형사상으로 실현한다.
• 이 구성은 정수 구조와 호환되며, 함수자 $ (-1)^{\text{rk}(\mathcal{E})} \text{det}(\mathcal{E}) \otimes (\pi^{*} \circ j_{*})(-) $ 를 통해 Iritani의 정수 구조를 비콤팩트 설정으로 확장한다.