Integrality of Tate-cycles

We explain a technical result about p-adic cohomology and apply it to the study of Shimura varieties. The technical result applies to algebraic varieties with torsion-free cohomology, but for simplicity we only treat abelian varieties.