Étale 1-motive realization conjecture in positive characteristic

About 13 years old · traced to

Fix a perfect field kk of characteristic p≥0p\geq 0, and let Sch/kSch/k denote the category of separated finite type kk-schemes. Let M1(k)\mathscr{M}^1(k) be the category of free 1-motives over kk, and let TℓT_\ell be their ℓ\ell-adic realizations for primes ℓ≠p\ell\ne p. For the full subcategory Schd/k⊂Sch/kSch_d/k\subset Sch/k of dd-dimensional separated finite type kk-schemes, the conjecture concerns functors

M1(−),Mc1(−):(Sch/k)op⟶M1(k)M^1(-),M_c^1(-):(Sch/k)^{op}\longrightarrow\mathscr{M}^1(k)

and

M2d−1(−),Mc2d−1(−):(Schd/k)op⟶M1(k).M^{2d-1}(-),M_c^{2d-1}(-):(Sch_d/k)^{op}\longrightarrow\mathscr{M}^1(k).

Étale 1-motive realization conjecture. These functors should satisfy, functorially in XX, for every prime ℓ≠p\ell\ne p,

TℓM1(X)≅H1(Xk‾,Zℓ(1)),TℓMc1(X)≅Hc1(Xk‾,Zℓ(1)),T_\ell M^1(X)\cong H^1(X_{\overline{k}},\mathbb{Z}_\ell(1)),\qquad T_\ell M_c^1(X)\cong H_c^1(X_{\overline{k}},\mathbb{Z}_\ell(1)),

and, for X∈Schd/kX\in Sch_d/k,

TℓM2d−1(X)≅H2d−1(Xk‾,Zℓ(d))/torsion,T_\ell M^{2d-1}(X)\cong H^{2d-1}(X_{\overline{k}},\mathbb{Z}_\ell(d))/\mathrm{torsion}, TℓMc2d−1(X)≅Hc2d−1(Xk‾,Zℓ(d))/torsion.T_\ell M_c^{2d-1}(X)\cong H_c^{2d-1}(X_{\overline{k}},\mathbb{Z}_\ell(d))/\mathrm{torsion}.

This is an ℓ\ell-adic analogue of the stated special case of Deligne's conjectures on 1-motives. The source restricts to perfect fields because it says that the conjecture is not clearly expected to hold over non-perfect fields; its resolution status is not specified.

References

Primary source

Peter Mannisto, “Albanese and Picard 1-Motives in Positive Characteristic”, arXiv:1308.0472 (2013).

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.