Talk:Tate vector space