Akita's integral Riemann–Roch conjecture for surface bundles

Let π ⁣:EB\pi\colon E\to B be an oriented surface bundle with closed fibers of genus gg, equipped with a fiberwise metric. Let H(E)\mathcal{H}(E) be the associated Hodge bundle, with fibers H1(Eb;R)H^1(E_b;\mathbb{R}), regarded as a gg-dimensional complex vector bundle via the complex structure induced by the Hodge star operator. Define

sn(E):=n!chn(H(E))H2n(B;Z)s_n(E):=n!\operatorname{ch}_n\bigl(\mathcal{H}(E)\bigr)\in H^{2n}(B;\mathbb{Z})

and

κn(E):=π(c1(TπE)n+1)H2n(B;Z).\kappa_n(E):=\pi_*\bigl(c_1(T^\pi E)^{n+1}\bigr)\in H^{2n}(B;\mathbb{Z}).

Here Num(r)\operatorname{Num}(r) and Denom(r)\operatorname{Denom}(r) denote the numerator and denominator of a rational number rr in lowest terms. Akita's integral Riemann–Roch conjecture. In H(B;Z)H^*(B;\mathbb{Z}),

Denom(Bn/2n)s2n1(E)=(1)n1Num(Bn/2n)κ2n1(E).\operatorname{Denom}(B_n/2n)\,s_{2n-1}(E)=(-1)^{n-1}\operatorname{Num}(B_n/2n)\,\kappa_{2n-1}(E).

This conjecture asks whether the rational family Riemann–Roch relation can be cleared of denominators integrally for every oriented surface bundle. The paper is presented as a response to Akita's conjecture; the supplied text does not establish whether the conjecture is resolved.

Sources & referencesView supporting material

Primary source

Ib Madsen, “An integral Riemann-Roch theorem for surface bundles”, arXiv:0901.4240 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.