Hi there, in recent times I was reading texts about motives, and I want to ask something about Tate motives which is not clear to me (as I came across different definitions in different texts).
Let $V_k$ be the category of (projective) k-varieties. I read that the polynomial ring $\mathbb{Z}[\mathbb{L}] \subset K_0(V_k)$, the latter being the Grothendieck ring of $V_k$, with $\mathbb{L}$ the Lefschetz class $[\mathbb{A}_1]$, "corresponds to" mixed Tate motives generated by the Tate objects $\mathbb{Q}(m)$ in the Grothendieck ring $K_0(M_k)$, $M_k$ being the category of pure $k$-motives. In another article one rather spoke about the subring $\mathbb{Z}[\mathbb{L},\mathbb{L}^{-1}] \subset K_0(M_k)$ ($\mathbb{L}$ now the Lefschetz motive). And in yet another paper I read that mixed Tate motives are defined differently.
My question is: is one of the two first approaches indeed the correct way to see mixed Tate motives ? Or is this a restricted way to define them ?
I am especially interested in the connection between mixed Tate motives and $\mathbb{Z}$-varieties which are polynomial-countable. (When assuming the Tate conjecture, these varieties would have mixed Tate motives, and conversely.)
Thanks !!!