Frobenius semisimplicity at the eigenvalue 1

Let VliV_l^i be the ll-adic representation attached to the iith cohomology of the generic fibre, and let RΓf(Qp,Vli)R\Gamma_f(\mathbb Q_p,V_l^i) be the corresponding local finite-cohomology complex. A two-term complex C=(WλW)C=(W\xrightarrow{\lambda}W) is semisimple at zero when the natural map from H0(C)=ker(λ)H^0(C)=\ker(\lambda) to H1(C)=coker(λ)H^1(C)=\operatorname{coker}(\lambda) is an isomorphism. Frobenius-semisimplicity conjecture. For any prime number pp, the complex RΓf(Qp,Vli)R\Gamma_f(\mathbb Q_p,V_l^i) is semisimple at zero. This condition is a local semisimplicity assertion at the Frobenius eigenvalue 11 and is introduced as a conjectural reformulation related to the Tamagawa number conjecture.

Sources & referencesView supporting material

Primary source

Matthias Flach and Baptiste Morin, “On the Weil-étale topos of regular arithmetic schemes”, arXiv:1010.3833 (2010).

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.