[논문 리뷰] K-theoretic Donaldson invariants via instanton counting

Lothar Göttsche, Hiraku Nakajima외 1명|ArXiv.org|2006. 11. 30.

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

한 줄 요약

이 논문은 매끄럽고 프로젝티브 토릭 표면에 대해 K-이론적 도널드슨 불변량을 계산하며, 이는 랭크 2 반안정 층의 모듈리 공간 위의 결정성 선다발의 헬름홀트릭 오일러 지표로 정의된다. 인스탄턴 수세기와 K-이론적 네크라소프 분할 함수를 사용하여, 타원 함수와 모듈러 형식을 이용한 벽을 넘는 불변량에 대한 명시적 생성함수를 유도한다. 이는 일반 도널드슨 이론의 결과를 정밀화된 K-이론적 설정으로 일반화한다.

ABSTRACT

In this paper we study the holomorphic Euler characteristics of determinant line bundles on moduli spaces of rank 2 semistable sheaves on an algebraic surface X, which can be viewed as $K$-theoretic versions of the Donaldson invariants. In particular, if X is a smooth projective toric surface, we determine these invariants and their wallcrossing in terms of the K-theoretic version of the Nekrasov partition function (called 5-dimensional supersymmetric Yang-Mills theory compactified on a circle in the physics literature). Using the results of math.AG/0606180 we give an explicit generating function for the wallcrossing of these invariants in terms of elliptic functions and modular forms.

연구 동기 및 목표

• 알제브라적 표면 위의 반안정 층의 모듈리 공간 위의 결정성 선다발의 헬름홀트릭 오일러 지표로서 K-이론적 도널드슨 불변량을 정의하고 계산하는 것.
• K-이론적 설정에서 인스탄턴 수세기 기법을 사용하여 이러한 불변량에 대한 벽을 넘는 공식을 수립하는 것.
• 벽을 넘는 항의 생성함수를 타원 함수와 모듈러 형식을 통해 표현하여 일반 도널드슨 이론의 결과를 확장하는 것.
• 기하 공 ingeneering과 과르모보-위튼 이론에 기반하여 4차원 다양체 기하학에서 K-이론적 불변량에 대한 수학적 기초를 마련하는 것.
• K-이론적 도널드슨 불변량을 스피노^c 구조를 가진 일반적인 4차원 다각형으로 일반화하는 것.

제안 방법

• 저자들은 ADHM 구성법을 사용하여 울렌벡 컴acts를 아핀 대수적 다양체로 표현함으로써, 좌표환의 특성을 통해 K-이론적 불변량을 정의할 수 있도록 한다.
• K-이론적 네크라소프 분할 함수—인스탄턴 모듈리 공간의 좌표환의 특성으로 정의됨—를 K-이론적 불변량의 생성함수로 사용한다.
• 벽을 넘는 항은 힐베르트 스킴 기법을 통해 계산되며, K-이론적 분할 함수와 비교되어 타원 함수와의 대응관계를 확립한다.
• 생성함수는 제타 함수와 모듈러 형식을 사용하여 표현되며, K-이론적 네크라소프 추측의 해법으로부터 명시적 공식이 도출된다.
• 이 방법은 [58]의 결과를 활용하여 K-이론적 네크라소프 분할 함수와 칼라비-야우 3차원 다양체의 과르모보-위튼 불변량 간의 관계를 활용한다.
• 저자들은 블로우업 공식과 제타 함수의 변환 성질을 사용하여 등방성 매개변수의 극한에서 벽을 넘는 공식의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 표준 차원 수세기 기법이 실패하는 경우, K-이론적 도널드슨 불변량은 어떻게 정의할 수 있는가?
• RQ2 안정성 매개변수의 변화에 따라 K-이론적 도널드슨 불변량의 벽을 넘는 행동은 어떻게 되는가?
• RQ3 K-이론적 네크라소프 분할 함수를 사용하여 이러한 불변량의 생성함수를 계산할 수 있는가?
• RQ4 이러한 K-이론적 불변량은 어떻게 모듈러 형식과 타원 함수와 관련이 있는가?
• RQ5 K-이론적 도널드슨 불변량은 스피노^c 구조를 가진 일반적인 4차원 다각형으로 자연스럽게 일반화될 수 있는가?

주요 결과

• K-이론적 도널드슨 불변량은 매끄럽고 프로젝티브 토릭 표면 위의 랭크 2 반안정 층의 모듈리 공간 위의 결정성 선다발의 헬름홀트릭 오일러 지표로 정의된다.
• 벽을 넘는 생성함수는 θ11과 θ01를 포함하는 제타 함수의 비율로 표현되며, 이는 타원 함수를 이용한 닫힌 형태의 표현을 제공한다.
• 생성함수의 최저차항은 일반 도널드슨 불변량의 벽을 넘는 공식에 나타나는 모듈러 형식을 복원하며, 기존 결과와의 일관성을 확인한다.
• 생성함수가 K-이론적 네크라소프 분할 함수와 동치임을 보였으며, 이는 비콤팩트 토릭 칼라비-야우 3차원 다양체의 과르모보-위튼 불변량을 계산하는 데 알려져 있다.
• 벽을 넘는 항의 최종 공식은 블로우업 공식과 β→0 극한에서의 점근적 분석을 통해 검증되었으며, 호모로지적 형태와의 일致를 확인한다.
• 결과는 K-이론적 도널드슨 불변량이 임의의 스피노^c 구조를 가진 4차원 다각형에 대해 자연스럽게 정의될 수 있음을 강력히 시사하며, 이 불변량의 적용 범위를 알제브라적 표면을 초월해 확장한다.