Relative twist formula for étale characteristic classes

Let SS be a regular Noetherian scheme over Z[1/]\mathbb Z[1/\ell] and let f ⁣:XSf\colon X\to S be a smooth proper morphism purely of relative dimension nn. Let FDcb(X,Λ)\mathcal F\in D_c^b(X,\Lambda) such that ff is universally locally acyclic relatively to F\mathcal F. For any locally constant and constructible sheaf G\mathcal G of Λ\Lambda-modules on XX, let detG(ccX/S(F))\det\mathcal G(cc_{X/S}(\mathcal F)) denote the rank-one locally constant and constructible sheaf on SS obtained from the reciprocity pairing. Relative twist formula. There exists a unique cycle class ccX/S(F)CHn(X)cc_{X/S}(\mathcal F)\in {\rm CH}^n(X) such that

detRf(FG)(detRfF)rankGdetG(ccX/S(F))\det Rf_\ast(\mathcal F\otimes\mathcal G)\cong(\det Rf_\ast\mathcal F)^{\otimes\operatorname{rank}\mathcal G}\otimes \det\mathcal G(cc_{X/S}(\mathcal F))

in K0(S,Λ)K_0(S,\Lambda). This is a relative analogue of the twist formula for epsilon factors; the existence and uniqueness of the relative characteristic class are proposed as a conjecture.

Sources & referencesView supporting material

Primary source

Enlin Yang and Yigeng Zhao, “On the relative twist formula of -adic sheaves”, arXiv:1807.06930 (2018).

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.