[논문 리뷰] Orbifold Cohomology of the Symmetric Product

Bernardo Uribe|ArXiv.org|2001. 09. 18.

Advanced Algebra and Geometry참고 문헌 7인용 수 8

한 줄 요약

이 논문은 근본적 카누니컬 클래스가 자명한 매끄럽고 사영적인 표면 $X$ 의 대칭적 곱 $X^n/S_n$ 의 오비폴드 코hom로지 계산하며, 오비폴드 코호몰로지 $H^{*}_{\text{orb}}(X^n/S_n; \mathbb{C})$ 와 정수 코호몰로지 $H^*(X^{[n]}; \mathbb{C})$ 사이의 호모로지 구조가 부호 변화를 제외하고는 동형임을 증명한다. 이 결과는 루안의 추측을 확인하며, $X^n/S_n$ 의 오비폴드 컵 곱 구조가 $X^{[n]}$ 의 컵 곱과 일치함을 보여주며, 자명한 카누니컬 번들의 표면에 대해 찌그러짐 해소 추측의 코호몰로지 실현을 제공한다.

ABSTRACT

Chen and Ruan's orbifold cohomology of the symmetric product of a complex manifold is calculated. An isomorphism of rings (up to a change of signs) $H_{orb}^*(X^n/S_n;\complex) \cong H^*(X^{[n]};\complex)$ between the orbifold cohomology of the symmetric product of a smooth projective surface with trivial canonical class $X$ and the cohomology of its Hilbert scheme $X^{[n]}$ is obtained, yielding a positive answer to a conjecture of Ruan.

연구 동기 및 목표

• 근본적 카누니컬 클래스가 자명한 매끄럽고 사영적인 표면 $X$ 에 대해 대칭적 곱 $X^n/S_n$ 의 오비폴드 코호몰로지 링을 계산한다.
• 루안의 추측을 검증한다: 오비폴드 코호몰로지 $H^{*}_{\text{orb}}(X^n/S_n; \mathbb{C})$ 는 $X^{[n]}$ 의 정수 코호몰로지와 그레이드 링으로서 동형이다.
• 오비폴드 컵 곱의 구조와 $X^{[n]}$ 의 컵 곱 사이의 정확한 일치를, 기본 클래스의 쌍함수에서의 부호 변화를 제외하고 확인한다.

제안 방법

• 첸-루안의 오비폴드 코호몰로지 프레임워크를 사용하며, $n$-튜플의 공轭류를 통해 트위스트 세그먼트를 정의하고, 차수 이동 수 $\iota_{(g)}$ 를 포함한다.
• 다중 세그먼트 $\widetilde{\Sigma}_3(Y)$ 에서의 장애 다발을 사용하여 오비폴드 컵 곱을 구성하며, 특히 $g_1g_2g_3=1$ 인 삼중항 $(g_1,g_2,g_3)$ 에 대해 링의 구조를 정의한다.
• 행동의 궤도 $\Gamma_i$ 에서 장애 다발 $E_{h_1,h_2}^i$ 의 오일러 클래스를 계산하며, 이는 $e(X)^{r(h_1,h_2)(i)}$ 임을 보여주며, 여기서 $r(h_1,h_2)(i)$ 는 $H^1(\Sigma) \otimes \mathbb{C}^{n_i}$ 의 고정 부분공간에 대한 군 작용의 차원이다.
• 그래프 결함 함수 $g(h_1,h_2)$ 와 $r(h_1,h_2)(i)$ 를 일치시켜, 오비폴드 컵 곱이 $H^*(X)[N]\{S_n\}$ 의 링 구조와 일치함을 증명한다.
• $H^*(X)[N]\{S_n\}$ 과 $S_n$-불변 부분환 $A(X^n,S_n)[nN]$ 사이의 동형을 사용하며, 레른과 소르거의 결과를 통해 이와 $X^{[n]}$ 의 코호몰로지와 일치시킨다.
• 레른과 소르거의 부호 반전 관례를 적용하여 오비폴드 코호몰로지가 표준적인 $X^{[n]}$ 의 코호몰로지와 일치하도록 하며, 동형에서의 부호 모호성을 해결한다.

실험 결과

연구 질문

• RQ1 근본적 카누니컬 클래스가 자명한 매끄럽고 사영적인 표면 $X$ 에 대해, 대칭적 곱 $X^n/S_n$ 의 오비폴드 코호몰로지 링이 힐베르트 스킴 $X^{[n]}$ 의 정수 코호몰로지 링과 동형인지 여쭙는다.
• RQ2 부호 관례 하에 $X^n/S_n$ 의 오비폴드 컵 곱의 구조가 $X^{[n]}$ 의 컵 곱과 일치하는가?
• RQ3 대칭적 곱의 표면에 대해 군 작용과 장애 다발 기법을 사용하여 오비폴드 코호몰로지 $X^n/S_n$ 를 명시적으로 계산할 수 있는가?
• RQ4 $\iota_{(g)}$ 의 차수 이동 수가 대칭적 곱과 힐베르트 스킴의 기하학과 어떻게 상호작용하는가?
• RQ5 오비폴드 컵 곱에서 그래프 결함 함수 $g(h_1,h_2)$ 와 장애 다발 차원 $r(h_1,h_2)(i)$ 사이의 정확한 관계는 무엇인가?

주요 결과

• 오비폴드 코호몰로지 링 $H^{*}_{\text{orb}}(X^n/S_n; \mathbb{C})$ 는 기본 클래스의 쌍함수에서의 부호 변화를 제외하고는 그레이드 링으로서 $H^*(X^{[n]}; \mathbb{C})$ 와 동형이다.
• 이 동형은 $X^n/S_n$ 의 오비폴드 컵 곱의 구조를 $H^*(X)[2]\{S_n\}$ 의 $S_n$-불변 부분환과 매칭함으로써 유도되며, 이 부분환은 $H^*(X^{[n]}; \mathbb{C})[2n]$ 과 동형이다.
• 장애 다발 $E_{h_1,h_2}^i$ 의 오일러 클래스는 $e(X)^{r(h_1,h_2)(i)}$ 이며, $r(h_1,h_2)(i)$ 는 그래프 결함 함수 $g(h_1,h_2)$ 와 일치함을 보여, 컵 곱의 호환성을 확인한다.
• 근본적 카누니컬 번들이 자명한 매끄럽고 사영적인 표면 $X$ 에 대해, 오비폴드 코호몰로지 $H^{*}_{\text{orb}}(X^n/S_n; \mathbb{C})$ 와 $X^{[n]}$ 의 코호몰로지가 모든 차수에서 동형이며, 차수 이동 수가 오비폴드의 구조를 반영한다.
• 동형에서 사용된 부호 관례는 레른과 소르거가 도입한 것으로, $a \in H^*(X; \mathbb{C})$ 에 대해 $T(a) = -\int_{[X]} a$ 이며, 비교에서의 부호 모호성을 해결한다.
• 결과적으로, $X$ 가 근본적 카누니컬 클래스를 가질 경우, 힐베르트 스킴 $X^{[n]}$ 의 코호몰로지와 오비폴드 코호몰로지 $X^n/S_n$ 가 링으로서 동형이라는 루안의 추측에 대한 긍정적인 답변을 제공한다.