1 (from Patrick Allen) Let be a number field, and let be a cohomological cuspidal automorphic representation of some . Suppose that exists and satisfies local-global compatibility at all places, and that as predicted by Bloch-Kato. Then the following are equivalent:
a) , as predicted by Jannsen’s conjecture;
b) has the right dimension;
c) The product of restriction maps is injective.
The equivalence of a) and b) follows from Tate’s global Euler characteristic formula, but their equivalence with c) was news to me. The question of whether or not c) holds came up incidentally in my work with Jack on Venkatesh’s conjecture, so it was very pleasing to learn that it follows from Bloch-Kato + Jannsen.
2 (from Keerthi Madapusi Pera) If is semisimple and simply connected, and isotropic (i.e. contains some -split torus), then has no proper finite-index subgroups.
3 (from Stefan Patrikis) Let be as in 1) again. There are two number fields naturally associated with (besides ): the field generated by its Hecke eigenvalues, and the “reflex field” of its cohomological weight. Is there any chance that is always a subfield of ?, I asked SP. Yes, said he.