[논문 리뷰] Positivity of Riemann-Roch polynomials and Todd classes of hyperkähler manifolds

Chen Jiang|arXiv (Cornell University)|2020. 08. 11.

Geometry and complex manifolds참고 문헌 30인용 수 7

한 줄 요약

이 논문은 하이퍼카일러 다양체의 리만-로흐 다항식의 모든 계수가 양임을 증명하며, 조와 저자의 공진단계에서 제기한 추측을 확인한다. 루잔스키-위튼 이론에 기반한 토드 위상의 제곱근에 대한 레프셰츠 유형 분해를 통해 양의 성격을 확립함으로써, 카와마타의 효과적 비존재성 추측을 함의하고, 프로젝티브 하이퍼카일러 다양체에 대한 리만-로흐 다항식의 엄밀한 단조성 문제를 해결한다.

ABSTRACT

For a hyperkähler manifold $X$ of dimension $2n$, Huybrechts showed that there are constants $a_0, a_2, \dots, a_{2n}$ such that $$χ(L) =\sum_{i=0}^n\frac{a_{2i}}{(2i)!}q_X(c_1(L))^{i}$$ for any line bundle $L$ on $X$, where $q_X$ is the Beauville-Bogomolov-Fujiki quadratic form of $X$. Here the polynomial $\sum_{i=0}^n\frac{a_{2i}}{(2i)!}q^{i}$ is called the Riemann-Roch polynomial of $X$. In this paper, we show that all coefficients of the Riemann-Roch polynomial of $X$ are positive. This confirms a conjecture proposed by Cao and the author, which implies Kawamata's effective non-vanishing conjecture for projective hyperkähler manifolds. It also confirms a question of Riess on strict monotonicity of Riemann-Roch polynomials. In order to estimate the coefficients of the Riemann-Roch polynomial, we produce a Lefschetz-type decomposition of $ ext{td}^{1/2}(X)$, the root of the Todd genus of $X$, via the Rozansky-Witten theory following the ideas of Hitchin, Sawon, and Nieper-Wißkirchen.

연구 동기 및 목표

• 하이퍼카일러 다양체의 리만-로흐 다항식의 모든 계수가 양임을 증명하는 것.
• 프로젝티브 하이퍼카일러 다양체에 대한 리만-로흐 다항식의 음이 아닌 계수에 관한 조와 저자의 추측을 확인하는 것.
• 루잔스키-위튼 이론를 사용하여 $\mathrm{td}^{1/2}(X)$의 레프셰츠 유형 분해를 수립하여 토드 위상을 분석하는 것.
• 리에스의 리만-로흐 다항식의 엄밀한 단조성에 관한 질문을 해결하는 것.
• 하이퍼카일러 다양체에서 체른 수의 양의 성격을 이해하기 위한 기초를 마련하는 것.

제안 방법

• 루잔스키-위튼 이론를 사용하여 하이퍼카일러 다양체의 토드 위상의 제곱근인 $\mathrm{td}^{1/2}(X)$에 대한 레프셰츠 유형 분해를 구성하는 것.
• 하이퍼카일러 다양체의 코homology에 작용하는 $\mathfrak{sl}_2$-행동을 적용하여 특성류의 구조를 분석하는 것.
• 그래프 호모로지 공간 프레임워크를 활용하여 하이퍼카일러 기하학의 맥락에서 루잔스키-위튼 클래스를 계산하는 것.
• 후지키 상수와 베유빌-보고몰로프-후지키 형식을 사용하여 $\int \mathrm{td}^{1/2}(X)$의 닫힌 형태 표현을 도출하는 것.
• 부록 A의 조합적 항등식을 활용하여 리만-로흐 다항식의 계수 양의 성격을 검증하는 것.
• 리만-로흐 다항식의 변형 불변성과 베유빌-보고몰로프-후지키 이차형식의 구조에 의존하는 것.

실험 결과

연구 질문

• RQ1 하이퍼카일러 다양체의 리만-로흐 다항식의 모든 계수가 양수인가?
• RQ2 프로젝티브 하이퍼카일러 다양체의 리만-로흐 다항식은 엄밀한 단조성을 만족하는가?
• RQ3 루잔스키-위튼 이론를 사용하여 $\mathrm{td}^{1/2}(X)$에 대한 레프셰츠 유형 분해를 구성할 수 있는가?
• RQ4 형태 $\int c_{2k_1} \cdots c_{2k_m}$이면서 $\sum k_i = n$인 하이퍼카일러 다양체의 모든 체른 수가 양수인가?
• RQ5 리만-로흐 다항식의 계수 수열은 로그-볼록성을 가지거나 그 근들이 음의 실수에 위치하는가?

주요 결과

• 모든 하이퍼카일러 다양체 $X$에 대해 리만-로흐 다항식 $\mathrm{RR}_X(q)$의 계수는 엄격히 양수이며, 이는 조와 저자의 추측을 확인한다.
• 차원 $2n$인 하이퍼카일러 다양체가 $n$개의 점을 가진 K3 표면의 Hilbert 스킴과 변형 불변성에 있어 동치일 경우, 리만-로흐 다항식은 $\binom{q/2 + n + 1}{n}$이며, 이는 양수 계수를 가진다.
• 일반화된 쿠머 다양체 또는 오그레이드의 6차원 예제의 경우, 리만-로흐 다항식은 $(n+1)\binom{q/2 + n}{n}$이며, 역시 양수 계수를 가진다.
• 루잔스키-위튼 이론를 통해 $\mathrm{td}^{1/2}(X)$의 레프셰츠 유형 분해가 구성되었으며, 이는 정확한 계수 추정을 가능하게 한다.
• $\int \mathrm{td}^{1/2}(X)$는 $\frac{B^n}{(2n)^n A^{n-1}}$로 표현되며, 이는 토드 위상의 제곱근에 대한 정량적 경계를 제공한다.
• 논문은 리에스의 엄밀한 단조성 질문을 확인하였고, 프로젝티브 하이퍼카일러 다양체에 대한 카와마타의 효과적 비존재성 추측을 지지한다.