Commutative Algebraic Groups up to Isogeny

Consider the abelian category ${\mathcal C}_{k}$ of commutative group schemes
of finite type over a field $k$. By results of Serre and Oort, ${\mathcal
C}_{k}$ has homological dimension 1 (resp. 2) if $k$ is algebraically closed
of characteristic 0 (resp. positive). In this article, we explore the
abelian category of commutative algebraic groups up to isogeny, defined
as the quotient of ${\mathcal C}_{k}$ by the full subcategory ${\mathcal
F}_{k}$ of finite $k$-group schemes. We show that ${\mathcal C}_{k}/{\mathcal
F}_{k}$ has homological dimension 1, and we determine its projective or
injective objects. We also obtain structure results for ${\mathcal C}_{k}/{\mathcal
F}_{k}$, which take a simpler form in positive characteristics.

2010 Mathematics Subject Classification: 14K02, 14L15, 18E35, 20G07.

Keywords and Phrases: commutative algebraic groups, isogeny category, homological dimension.

Full text: dvi.gz 86 k, dvi 220 k, ps.gz 337 k, pdf 381 k.

Home Page of DOCUMENTA MATHEMATICA