# On polarized (pure) Hodge structures

Some simple questions, for which I know no precise reference (and would be deeply grateful for a nice one!):

1. Is it true that the category of (pure) polarized Hodge structures is abelian semi-simple, whereas the whole category of pure Hodge structures is not?

2. Should one only consider those morphisms of polarized Hodge structures that respect polarizations in order to obtain an abelian category?

3. Is it true that all pure Hodge structures 'that come from geometry' (for example, the graded pieces of the weight filtration of the singular cohomology of varieties and motives) are polarized?

-
Mikhail -- in addition to the references mentioned by Donu, you could take a look in Steenbrink-Peters, Mixed Hodge structures, especially chapter 2. –  algori Oct 13 '10 at 11:51

• The category of arbitrary Hodge structures is abelian but not semisimple. To see the nonsemisimplicity, we can use a theorem of Oort-Zarhin [Endmorphism algebras of complex tori, Math Ann 1995], that any finite dimensional $\mathbb{Q}$-algebra is the endomorphism algebra of some complex torus, and therefore of some Hodge structure.
• All pure Hodge structures of geometric origin are polarizable. So this is a very reasonable condition to impose. For $Gr_WH^*(X)$, this is explained for example in Beilinson's Notes on absolute Hodge cohomology (although this was already implicit in Deligne's construction).