Pith. sign in

REVIEW 1 cited by

Positivity of Riemann-Roch polynomials and Todd classes of hyperk\"{a}hler manifolds

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2008.04685 v3 pith:KBHZJIFY submitted 2020-08-11 math.AG math.DG

classification math.AGmath.DG
keywords riemann-rochpolynomialhlerhyperkcoefficientsconfirmsconjecturefrac
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

For a hyperk\"{a}hler manifold $X$ of dimension $2n$, Huybrechts showed that there are constants $a_0, a_2, \dots, a_{2n}$ such that $$\chi(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\"{a}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 $\text{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{\ss}kirchen.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Numerical invariants of hyper-K\"ahler manifolds

    math.AG 2025-06 conditional novelty 6.0 of 10

    In dimension six, an isotropic class with extremal intersection numbers forces the Beauville form to be even and the Riemann-Roch polynomial to be one of a short list of explicit polynomials.

Pith tools