Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces On Tate's conjecture for the elliptic modular surface of level \(N\) over a prime field of characteristic \(1\mod N\) 