Talk:Witt vector cohomology