Akita's integral Riemann–Roch conjecture for surface bundles

At least 16 years old · documented by

Let π ⁣:E→B\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!ch⁡n(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) s2n−1(E)=(−1)n−1Num⁡(Bn/2n) κ2n−1(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.

References

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.