2 problems

Hodge realization conjecture. The functor $\iota_{X,\sigma}^{\textup{Hdg}}$ is fully faithful, with essential image stable under subquotients. This is a Hodge-type conjecture for N…

Let $X$ be an algebraic variety over $\mathbb{Q}$. An object $M$ of the abelian category $\mathcal{M}_\mathrm{univ}(X,\mathbb{Z})$ is torsion-free if multiplication by every nonzer…