No Arabic abstract
We prove various finiteness and representability results for flat cohomology of finite flat abelian group schemes. In particular, we show that if $f:Xrightarrow mathrm{Spec} (k)$ is a projective scheme over a field $k$ and $G$ is a finite flat abelian group scheme over $X$ then $R^if_*G$ is an algebraic space for all $i$. More generally, we study the derived pushforwards $R^if_*G$ for $f:Xrightarrow S$ a projective morphism and $G$ a finite flat abelian group scheme over $X$. We also develop a theory of compactly supported cohomology for finite flat abelian group schemes, describe cohomology in terms of the cotangent complex for group schemes of height $1$, and relate the Dieudonne modules of the group schemes $R^if_*mu _p$ to cohomology generalizing work of Illusie. A higher categorical version of our main representability results is also presented.
We consider the moduli space, in the sense of Kisin, of finite flat models of a 2-dimensional representation with values in a finite field of the absolute Galois group of a totally ramified extension of $mathbb{Q}_p$. We determine the connected components of this space and describe its irreducible components. These results prove a modified version of a conjecture of Kisin.
These are notes of my lectures at the summer school Higher-dimensional geometry over finite fields in Goettingen, June--July 2007. We present a proof of Tates theorem on homomorphisms of abelian varieties over finite fields (including the $ell=p$ case) that is based on a quaternion trick. In fact, a a slightly stronger version of those theorems with finite coefficients is proven.
We prove that the Drinfeld double of an arbitrary finite group scheme has finitely generated cohomology. That is to say, for G any finite group scheme, and D(G) the Drinfeld double of the group ring kG, we show that the self-extension algebra of the trivial representation for D(G) is a finitely generated algebra, and that for each D(G)-representation V the extensions from the trivial representation to V form a finitely generated module over the aforementioned algebra. As a corollary, we find that all categories rep(G)*_M dual to rep(G) are of also of finite type (i.e. have finitely generated cohomology), and we provide a uniform bound on their Krull dimensions. This paper completes earlier work of E. M. Friedlander and the author.
We prove that the triviality of the Galois action on the suitably twisted odd-dimensional etale cohomogy group of a smooth projective varietiy with finite coefficients implies the existence of certain primitive roots of unity in the field of definition of the variety. This text was inspired by an exercise in Serres Lectures on the Mordell--Weil theorem.
We deal with $g$-dimensional abelian varieties $X$ over finite fields. We prove that there is an universal constant (positive integer) $N=N(g)$ that depends only on $g$ that enjoys the following properties. If a certain self-product of $X$ carries an exotic Tate class then the self-product $X^{2N}$of $X$ also carries an exotic Tate class. This gives a positive answer to a question of Kiran Kedlaya.