Finite-dimensionality conjecture for integral motivic extension spaces

Let FF be a number field, let XX be a smooth projective variety over FF, and let M=hi1(X)(n)M=h^{i-1}(X)(n). Write ExtOF1(\mathbbm1,M)の\operatorname{Ext}^1_{\mathcal{O}_F}(\mathbbm{1},M) for the subspace of extensions whose localization at every finite place p\mathfrak{p} belongs to ExtOp1(\mathbbm1p,Mp)\operatorname{Ext}^1_{\mathcal{O}_{\mathfrak{p}}}(\mathbbm{1}_{\mathfrak{p}},M_{\mathfrak{p}}). Finite-dimensionality conjecture. The space ExtOF1(\mathbbm1,M)\operatorname{Ext}^1_{\mathcal{O}_F}(\mathbbm{1},M) has finite dimension over Q\mathbb{Q}. This expectation is presented as the starting point for Beilinson's conjectures concerning integral motivic cohomology. The supplied context does not indicate whether this conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Quentin Gazda, “On the Integral Part of A-Motivic Cohomology”, arXiv:2201.09304 (2024).

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.