It turns out that the assumption on the center used in the previous section is not always satisfied by the Clifford algebra. However, it is quite easy to see directly in this case that our definition of an associated weight $1$  Hodge structure on $C\left(H\right)$  still works in this case, that is, the factor $M$  in the decomposition ( 1.1 ) is $0$  . Thus we have the weight $1$  Hodge decomposition $$C\left(H_{\mathbb{C}}\right)=W\oplus \overline{W}$$  as in the previous section.

To conclude, we show the following:

Proposition 5 The Kuga-Satake construction of a complex structure on $C\left(H_{\mathbb{R}}\right)$  coincide with our construction of a weight $1$  decomposition on $C\left(H_{\mathbb{C}}\right)$  (or equivalently a complex structure on $C\left(H_{\mathbb{R}}\right)$  ) above.

Proof. Recall that our weight $1$  decomposition of $C\left(H_{\mathbb{C}}\right)$  is given by given by $$C\left(H_{\mathbb{C}}\right)=W\oplus \overline{W},$$  with $W=C\left(H{)}^{2,0}C\right(H_{\mathbb{C}})$  . Observe now that, still denoting by $\eta$  a generator of $H^{2,0}$  , we have $$C\left(H{)}^{2,0}C\right(H_{\mathbb{C}})=\eta C(H_{\mathbb{C}}).$$  Indeed, as $\eta \in C(H{)}^{2,0}$  , the inclusion $\supset$  is clear. The reverse inclusion comes from $$C(H{)}^{2,0}=\eta \wedge \bigwedge H^{1,1}=\eta \cdot \bigwedge H^{1,1},$$  where on the right, the $\cdot$  stands for Clifford multiplication rather than exterior multiplication.

Next, consider the Kuga-Satake construction: the complex structure $I$  on $C\left(H_{\mathbb{R}}\right)$  is given here by multiplication by $e=-e_1{e}_2$  , where $e_1,e_2$  is an oriented orthonormal basis of the real part of $H^{2,0}\oplus H^{0,2}$  . Choosing $\eta$  in such a way that $<\eta ,\overline{\eta }>=2$  , we may assume (because $<\eta ,\eta >=0=<e_1,e_1>-<e_2,e_2>+2i<e_1,e_2>$  ) that $$e_1=Re\eta ,e_2=Im\eta .$$  Furthermore, the weight $1$  decomposition on $C\left(H_{\mathbb{C}}\right)$  associated to the Kuga-Satake complex structure is determined by the complex subspace $W^{\prime }\subset C\left(H_{\mathbb{C}}\right)$  $$C\left(H_{\mathbb{C}}\right)=W^{\prime }\oplus \overline{W^{\prime }},$$  where $W^{\prime }$  is by definition the $i$  -eigenspace of the complex structure operator $I$  in $C\left(H_{\mathbb{C}}\right)$  , that is the subspace generated by the $$w-iI\left(w\right),w\in C\left(H_{\mathbb{C}}\right).$$  As $I$  is Clifford multiplication on the left by $e$  , $W^{\prime }$  is also the subspace generated by the $$(1-ie)w,w\in C\left(H_{\mathbb{C}}\right).$$  On the other hand, we have $$\eta =e_1+i{e}_2$$  and thus $$\eta \overline{\eta }=(e_1+i{e}_2)(e_1-i{e}_2)=-2-2i{e}_1{e}_2=-2(1-ie).$$  Hence we conclude that $$W=Im\eta \subset Im\eta \overline{\eta }=Im(1-ie)=W^{\prime }.$$  By the equality of dimensions, we now conclude that we have equality.

In conclusion, we have split the Kuga-Satake construction into two parts:

i) The observation (studied from the point of view of its cycle-theoretic implications in [10] ) that for a $K3$  -type Hodge structure, the induced Hodge structures on the exterior powers of $H$  have level $2$  .

ii) The construction of Theorem  1 , which works for much more general compatible ring structures on polarized weight $2$  Hodge structures.

Remark 2 Lemma  2 is also true for the exterior algebra structure on $\wedge H$  . From our point of view, the key reason for which we need the Clifford algebra, is the existence of the adjunction map $t$  , which is not satisfied by the exterior algebra.

3 The general case

We pass now to rational coefficients. We consider as in the previous section a polarized rational Hodge structure $H$  of weight $2$  , which is also a $\mathbb{Q}$  -algebra, such that the product $$H\otimes H\to H$$  is a morphism of Hodge structures of bidegree $(-1,-1)$  , and such that there exists an adjunction map $$t:H\to H$$  such that (left or right) multiplication by $t\left(h\right)$  is adjoint to (left or right) multiplication by $h$  , with respect to the polarization form $<,>$  . Our first goal is to study the possible centers of such an algebra.

Lemma 3 The center $K$  is a trivial sub-Hodge structure of $H$  .

Proof. It is obvious that $K$  is a sub-Hodge structure of $H$  , because it is defined as the kernel of the map $$H\to Hom(H,H),$$  $$h\mapsto (a\mapsto ha-ah),$$  and this map is a morphism of Hodge structures of bidegree $(-1,-1)$  .

To see that it is a trivial Hodge structure, let $0\ne \alpha \in K^{2,0}\subset K\otimes \mathbb{C}$  . Then we have $$u:=\alpha t\left(\overline{\alpha }\right)\in H^{1,1},$$  and $u\ne 0$  because $<u,1>=<\alpha ,\overline{\alpha }>>0$  by the Hodge-Riemann bilinear relations.

Thus we have, again by the Hodge-Riemann bilinear relations:

$$<u,\overline{u}>=<ut\left(\overline{u}\right),1>\ne 0.$$  Hence $$ut\left(\overline{u}\right)=\alpha t\left(\overline{\alpha }\right)\alpha t\left(\overline{\alpha }\right)\ne 0.$$  But as $\alpha$  is central, this is $0$  because ${\alpha }^2=0$  , which is a contradiction.

Lemma 4 The center $K$  of $H$  is a product of number fields. The $t$  -invariant part $K^{+}$  of $K$  is a product of totally real number fields $K_i$  . If $K_i^{+}\ne K_i$  , then $K_i$  is a field which becomes isomorphic to $\mathbb{C}$  under any embedding of $K_i^{+}$  into $\mathbb{R}$  .

Proof. $K$  is a commutative $\mathbb{Q}$  -algebra, which is by the previous Lemma contained in $H_{\mathbb{R}}^{1,1}$  .

Thus the pairing $<,>$  restricts to a negative definite pairing on $K$  . Note also that $K$  is clearly invariant under $t$  , as $t$  is a morphism of $\mathbb{Q}$  -algebras $H\to H^{op}$  . On the other hand we know that this pairing is of the form $$<\alpha ,\beta >=<\alpha t\left(\beta \right),1>.$$  We want to show that $K$  does not contain nilpotent elements. If ${\alpha }^n=0$  , then $\left(\alpha t\right(\alpha ){)}^n=0$  , and if $\alpha t\left(\alpha \right)=0$  , then also $\alpha =0$  , because $<\alpha ,\alpha >=<\alpha t\left(\alpha \right),1>$  .

Thus it suffices to show that ${\alpha }^n=0$  implies $\alpha =0$  , when $t\left(\alpha \right)=\alpha$  . But if ${\alpha }^n=0$  , with $\alpha =t\left(\alpha \right)$  and $n=2m$  , then also $<{\alpha }^m,{\alpha }^m>=0$  which implies that ${\alpha }^m=0$  . Thus the order $n$  of $\alpha$  cannot be even, and if it is odd, $n=2m+1$  , we have $n\le m+1$  , that is $m=0$  .

Thus $K$  is a product of number fields. Note that the intersection form on $K$  must be of the form $$<\alpha ,\beta >=t{r}_{K/\mathbb{Q}}\left(y\alpha t\right(\beta \left)\right)$$  for some $y\in K$  . (Here $y\in K$  is defined by the condition that $$<\alpha ,1>=T{r}_{K/\mathbb{Q}}\left(y\alpha \right),\forall \alpha \in K.)$$  Thus, as $<\alpha ,1>=<t\left(\alpha \right),1>$  , we must have $y\in K^{+}$  .

We show now that $K^{+}$  is a product of totally real number fields. But we know that the intersection form $<\alpha \beta ,1>$  on $K^{+}$  is negative definite, and that it is of the form $$<\alpha ,\beta >=2t{r}_{K^{+}/\mathbb{Q}}\left(y\alpha \beta \right)$$  for some $y\in K^{+}$  .

The algebra $K^{+}\otimes \mathbb{R}$  splits as a product of quadratic extensions of $\mathbb{R}$  , and we want to show that none of these extensions can be $\mathbb{C}$  . But for any non-zero $y\in \mathbb{C}$  , the quadratic form $$<\alpha ,\beta >=T{r}_{\mathbb{C}/\mathbb{R}}\left(y\alpha \beta \right)$$  has signature $(1,1)$  , which contradicts the fact that $<,>$  should be negative definite on any factor of $K^{+}\otimes \mathbb{R}$  . To conclude, consider a component $K_i^{+}$  of $K^{+}$  , given by an idempotent $e_i\in K^{+}$  .

Let $K_i:=e_{i}K$  . Choose an imbedding $\sigma$  of $K_i^{+}$  into $\mathbb{R}$  . As $K_i$  is a quadratic extension of $K_i^{+}$  , $K_i{\otimes }_{\sigma \left(K_i^{+}\right)}\mathbb{R}$  is a quadratic extension $E$  of $\mathbb{R}$  , which is contained in $K{\otimes }_{\mathbb{Q}}\mathbb{R}\subset H_{\mathbb{R}}^{1,1}$  . Let this extension be given by $X^2=\lambda$  . The involution $t$  of this quadratic extension generates its Galois group, and we have the condition that the quadratic form $$<\alpha ,\beta >=T{r}_{E/\mathbb{R}}\left(y\alpha t\right(\beta \left)\right)$$  for some $y\in \mathbb{R}$  , is definite negative. But as $t\left(X\right)=-X$  , the matrix of this quadratic form in the base $(1,X)$  is $$\left(\begin{array}{cc}y& 0\\ 0& -y\lambda \end{array}\right)$$  and thus we must have $\lambda <0$  .

From now on, we assume that $K$  is a number field. This is possible because the idempotents $e_i$  which give the decomposition of $K$  into a product of number fields $K_i$  are $t$  -invariant Hodge classes in $H$  by Lemmas  3 and  4 . Thus replacing $H$  by $e_{i}H$  , we still have a polarized Hodge structure, an adjunction map $t$  , and the compatibility of the product with the Hodge decomposition.

We define as in the previous section $$W:=H^{2,0}H.$$  Then we have the decomposition ( 1.1 ) $$H_{\mathbb{C}}=(W\oplus \overline{W})\oplus M,$$  which is a orthogonal decomposition and an algebra decomposition. $M$  is defined over $\mathbb{R}$  , $M=M_{\mathbb{R}}\otimes \mathbb{C}$  . Note also that $M\subset H^{1,1}$  , because $H^{2,0}\subset W,H^{0,2}\subset \overline{W}$  and $(H^{2,0}\oplus H^{0,2}{)}^{\perp }=H^{1,1}$  . Furthermore, $M$  is stable under $t$  and the decomposition above is given by a central idempotent $e\in K^{+}\otimes \mathbb{R}$  . Thus, as $K^{+}$  is totally real, $M_{\mathbb{R}}$  must be a sum $$M_{\mathbb{R}}={\oplus }_{\sigma \in {\Sigma }_M}{H}_{\sigma },H_{\sigma }:=H{\otimes }_{\sigma \left(K^{+}\right)}\mathbb{R},$$  where ${\Sigma }_M$  is a certain set of imbeddings of $K^{+}$  into $\mathbb{R}$  . (Here we see $H{\otimes }_{\sigma \left(K^{+}\right)}\mathbb{R}$  as the sub-algebra of $H_{\mathbb{R}}$  defined as the image of the idempotent $e_{\sigma }$  of $K^{+}{\otimes }_{\mathbb{Q}}\mathbb{R}$  given by $\sigma$  .)

Proposition 6 If $M\ne 0$  , then the algebra $H$  is a simple central $K$  -algebra.

Proof. We want to show that if ${\Sigma }_M$  is not empty, then $H$  has no non trivial two-sided ideal. As ${\Sigma }_M\ne \varnothing$  , it clearly suffices to show that the algebra $H_{\sigma }$  has no non trivial two-sided ideal for $\sigma \in {\Sigma }_M$  . But the $\sigma \in {\Sigma }_M$  are characterized by the fact that $H_{\sigma }\subset M$  , which implies $$H_{\sigma }\subset H^{1,1}.$$  Note that each $H_{\sigma }$  is invariant under $t$  . Furthermore the $t$  -invariant part of the center of $H_{\sigma }$  is equal to $\mathbb{R}$  .

Let thus $I\subset H_{\sigma }$  be a two-sided ideal. $I\cap t\left(I\right)$  is also a two-sided ideal which is $t$  -invariant. Furthermore, if $I\cap t\left(I\right)=0$  , then $I=0$  . Indeed, if $x\in I$  , $xt\left(x\right)\in I\cap t\left(I\right)$  .

Thus, if $I\cap t\left(I\right)=0$  , $xt\left(x\right)=0$  . On the other hand, we have $<x,x>=<xt\left(x\right),1>$  which is then also $0$  . But as $x$  is real of type $(1,1)$  , this implies that $x=0$  by the second Hodge-Riemann bilinear relations.

Thus we may assume that $I$  is $t$  -invariant. The orthogonal complement $J:=I^{\perp }$  of $I$  in $H_{\sigma }$  with respect to $<,>$  is then also a $t$  -invariant two-sided ideal of $H_{\sigma }$  .

On the other hand, the intersection form $<,>$  restricted to $I$  is non degenerate, because for $I\subset H_{\sigma }\subset H^{1,1}$  , and $<,>$  is negative definite on $H^{1,1}$  . Hence we get an orthogonal decomposition of $H_{\sigma }$  into the sum of two two-sided ideals, or equivalently a decomposition $$H_{\sigma }=I\oplus J,$$  as the direct sum of two sub-algebras. But then, as $I$  and $J$  are $t$  -invariant, the idempotents associated to $I$  and $J$  are central and $t$  -invariant. As the center of $H_{\sigma }$  is $\mathbb{R}$  , it follows that either $I$  or $J$  is $0$  .

Corollary 3 The conclusion of Theorem  1 holds without the hypothesis  3 on the center, unless possibly when $H$  has a direct summand which is a simple central algebra $H_i$  over a number field $K_i$  , where the decomposition is also a Hodge structure decomposition, and an orthogonal decomposition.

Example 1 We give here an example of a rational polarized weight $2$  Hodge structure, which admits a $\mathbb{Q}$  -algebra structure, satisfying conditions  1 and  2 of Theorem  1 , with center a number field $K$  , and for which we have both $$M\ne 0,W\ne 0,$$  where $W$  and $M$  are defined as in section  1 .

We start from a rank $2$  vector space $V$  over the number field $K:=\mathbb{Q}(\sqrt{2},i)$  , that is, $K=\mathbb{Q}[x,y]/(x^2=2,y^2=-1)$  . Let $K^{+}:=\mathbb{Q}\left(x\right)=\mathbb{Q}\left(\sqrt{2}\right)\subset K$  . On $K$  , there is a unique $K^{+}$  -bilinear skew-symmetric form $\Omega$  , which satisfies the property that $$\Omega (1,y)=1.$$  On $V=K\oplus K$  , consider the rational skew-symmetric bilinear form :

$$\omega :=t{r}_{K+/\mathbb{Q}}{\Omega }_1+t{r}_{K+/\mathbb{Q}}x{\Omega }_2,$$  where ${\Omega }_i$  is $\Omega$  on the $i$  -th factor.

We want now to put a weight $1$  Hodge structure on $V$  , polarized by $\omega$  and admitting $K$  as an endomorphism algebra. This is done as follows:

The space $V{\otimes }_{\mathbb{Q}}\mathbb{R}$  splits as the direct sum $$V_{\sqrt{2}}\oplus V_{-\sqrt{2}}$$  corresponding to the two embeddings of $K^{+}$  in $\mathbb{R}$  sending $x$  to $\sqrt{2}$  or to $-\sqrt{2}$  respectively.

Each term of this decomposition admits the action of $y$  , with $y^2=-1$  .

We want to put a complex structure on $V_{\mathbb{R}}$  , given by an operator of complex structure $I$  , which leaves invariant $\omega$  , and is such that $\omega (x,Ix)>0$  for $0\ne x\in V_{\mathbb{R}}$  .

We define for this $I=y$  on $V_{\sqrt{2}}$  , while on the factor $V_{-\sqrt{2}}$  , the operator $I$  is defined as follows:

The space $$K_{\mathbb{R}}:=K\otimes \mathbb{R}$$  is equal to the quadratic extension of $K_{\mathbb{R}}^{+}:=K^{+}\otimes \mathbb{R}$  given by $y^2=-1$  . The algebra $K_{\mathbb{R}}^{+}$  splits as a sum of two copies of $\mathbb{R}$  , $K_{\sqrt{2}}^{+}$  and $K_{-\sqrt{2}}^{+}$  , where $x$  acts by multiplication by $\sqrt{2}$  and $-\sqrt{2}$  respectively. The first copy is canonically isomorphic to $\mathbb{R}$  generated by the idempotent $1^{+}:=\frac{x+\sqrt{2}}{2\sqrt{2}}$  and the second copy is similarly generated by the idempotent $1^{-}:=\frac{x-\sqrt{2}}{-2\sqrt{2}}$  .

This makes (via the choice $y=i$  ) the algebra $K_{\mathbb{R}}$  canonically isomorphic to the sum of two copies $K_{\sqrt{2}}$  , $K_{-\sqrt{2}}$  of $\mathbb{C}$  , and thus $V_{\mathbb{R}}\sim =K_{\mathbb{R}}^2$  is a direct sum of four copies of $\mathbb{C}$  . It is not hard to compute that the extended form $\omega$  in the canonical coordinates $z_1,\dots ,z_4$  on ${\mathbb{C}}^4$  is equal to

$$\begin{array}{ccc}\frac{i}{2}(d{z}_1\wedge d\overline{z_1}+d{z}_2\wedge d{\overline{z}}_2+\sqrt{2}d{z}_3\wedge d{\overline{z}}_3-\sqrt{2}d{z}_4\wedge d{\overline{z}}_4).& & \end{array}$$

(3.6)

Thus it is of type $(1,1)$  for the complex structure given by $y$  , but not positive.

We will define our $I$  to be equal to $i$  on the first three factors and to $-i$  on the last factor. This has the effect of exchanging the coordinates $z_4$  and ${\overline{z}}_4$  , and then by formula ( 3.6 ), $\omega$  becomes positive of type $(1,1)$  with respect to $I$  . By construction, $I$  commutes with $x$  and $y$  , as it preserves their eigenspace decomposition.

Having this, we will now consider as polarized Hodge structure $$H:=En{d}_K\left(V\right).$$  This is a sub-Hodge structure of $End\left(V\right)$  , because $K$  acts as endomorphisms of the weight $1$  Hodge structure on $V$  .

This is stable under adjunction with respect to $\omega$  , because the action of $K$  on $V$  is such that multiplication by $x$  is self-adjoint with respect to $\omega$  , while multiplication by $y$  is anti-self-adjoint.

On the other hand, consider the decomposition $$H_{\mathbb{R}}=H_{\sqrt{2}}\oplus H_{-\sqrt{2}}.$$  Then $H_{\sqrt{2}}=En{d}_{\mathbb{C}}\left(V_{\sqrt{2}}\right)$  and $H_{-\sqrt{2}}=En{d}_{\mathbb{C}}\left(V_{-\sqrt{2}}\right)$  , where the $\mathbb{C}$  -structures are given by the action of $iy$  on both terms. As $I=y$  on $V_{\sqrt{2}}$  , the term $H_{\sqrt{2}}$  is made of endomorphisms commuting with $I$  , thus of type $(1,1)$  , while as $I\ne y$  on $V_{-\sqrt{2}}$  , the term $H_{-\sqrt{2}}$  is not of type $(1,1)$  . Thus in this case both $M=H_{\sqrt{2}}$  and $W\oplus \overline{W}=H_{-\sqrt{2}}$  are non zero.

We now come back to the general case of a rational Hodge structure $H$  , polarized by an intersection form $<,>$  , and endowed with a $\mathbb{Q}$  -algebra structure, satisfying conditions  1 and  2 of Theorem  1 . We also assume that the $t$  -invariant part of the center is a number field $K^{+}$  .

Our goal is to show the following:

Theorem 2 There exists a polarized weight $1$  Hodge on $H$  , such that the multiplication on the left $$H\to Hom(H,H)$$  is a morphism of weight $2$  Hodge structures, where the weight $2$  Hoge structure on the left is the initial one, and the weight $2$  Hodge structure on the right is induced by the weight $1$  Hodge structure on $H$  .

Remark 3 The main defect of this construction is the fact that it is not unique, and does not satisfy the universal property of Proposition  3 .

Proof. Recall that we have the decomposition $$H_{\mathbb{R}}=(W\oplus \overline{W}{)}_{\mathbb{R}}\oplus M_{\mathbb{R}},$$  which is a orthogonal decomposition, an algebra decomposition, and is compatible with Hodge decomposition. $M$  is a sum of factors $$M={\oplus }_{\sigma \in {\Sigma }_M}{H}_{\sigma },$$  where $H_{\sigma }:=H{\otimes }_{\sigma \left(K^{+}\right)}\mathbb{R}$  is a subalgebra of $H_{\mathbb{R}}$  . There is already a complex structure on the first term, given by the isomorphism of real vector spaces $$Re:W\sim =(W\oplus \overline{W}{)}_{\mathbb{R}},$$  and we simply have to put a complex structure $I_{\sigma }$  on each component $H_{\sigma }$  for $\sigma \in {\Sigma }_M$  .

Note that we want the left multiplication map $$H\to Hom(H,H)$$  to be a morphism of Hodge structures. This implies that $$H_{\sigma }\to Hom(H_{\sigma },H_{\sigma })$$  has to be a morphism of real Hodge structures. But, for $\sigma \in {\Sigma }_M$  , we know that $H_{\sigma }$  is of type $(1,1)$  . Thus multiplication on the left on $H_{\sigma }$  by any $h\in H_{\sigma }$  has to be of type $(1,1)$  , which means that it commutes with the complex structure operator $I_{\sigma }$  . But as our algebra has an unit, this implies in turn that $I_{\sigma }$  has to be the multiplication on the right by some element $m_{\sigma }\in H_{\sigma }$  , satisfying the condition that $m_{\sigma }^2=-1$  .

Furthermore, we want that our weight $1$  Hodge structure is polarized, with a polarization of the form $${\omega }_a(x,y)=<x,ya>,$$  for some $a\in H$  satisfying $t\left(a\right)=-a$  . (This was the form chosen for the polarization on the $W$  -term, and since the polarization must be rational, we do not have another choice here.) The first condition for ${\omega }_a$  to polarize the real Hodge structure on $H_{\sigma }$  is the fact that ${\omega }_a$  is of type $(1,1)$  for the complex structure $I_{\sigma }$  . Equivalently, for any $x,y\in H_{\sigma }$  , $$<x,ya>=<I_{\sigma }\left(x\right),I_{\sigma }\left(y\right)a>=<x{m}_{\sigma },y{m}_{\sigma }a>=<x,y{m}_{\sigma }at\left(m_{\sigma }\right)>.$$  This implies that

$$\begin{array}{ccc}{m}_{\sigma }at\left(m_{\sigma }\right)=a.& & \end{array}$$

(3.7)

Let us now distinguish the cases where $K=K^{+}$  , $K\ne K^{+}$  .

a) Case $K\ne K^{+}$  . In this case, we proved in Lemma  4 that $K_{\sigma }\sim =\mathbb{C}$  . Choosing such an isomorphism gives $i_{\sigma }\in K_{\sigma }$  , with $i_{\sigma }^2=-1$  . Thus we have the operator of complex structure acting on $H_{\sigma }$  by multiplication by $i_{\sigma }$  .

As $i_{\sigma }$  is in the center of $H_{\sigma }$  , and satisfies $t\left(i_{\sigma }\right)=-i_{\sigma }$  , the relation ( 3.7 ) for $m_{\sigma }=i_{\sigma }$  is certainly satisfied for all $a$  .

It remains to see that with this operator of complex structure $I_{\sigma }$  , the corresponding real weight $1$  Hodge structure on $H_{\sigma }$  is polarized by ${\omega }_a$  for an adequate $a\in H$  satisfying $t\left(a\right)=-a$  . As we know already that ${\omega }_a$  is of type $(1,1)$  for $I_{\sigma }$  , we have only to verify that $${\omega }_a(x,I_{\sigma }x)>0,$$  for $0\ne x\in H_{\sigma }$  . By definition, this is equal to $$<x,x{i}_{\sigma }a>.$$  For $a=i_{\sigma }\in H_{\sigma }\subset H_{\mathbb{R}}$  , this is equal to $-<x,x>$  which is positive by the second Hodge-Riemann bilinear relations, because $H_{\sigma }\subset H_{\mathbb{R}}^{1,1}$  .

Thus it follows that it remains positive for any $a$  in a neighbourhood of $i_{\sigma }$  in $H_{\mathbb{R}}$  satisfying $t\left(a\right)=-a$  , and in particular for a rational such $a\in H\subset H_{\mathbb{R}}$  .

b)Case $K=K^{+}$  . Here the $a$  will be a fixed rational element of $H$  such that ${\omega }_a$  satisfies the positivity conditions on the $W$  -components (the existence of which was shown in the previous section), and on the components $H_{\sigma }$  of the previous type a). Note that the multiplication (on the right or on the left) by $a$  on $H$  is an isomorphism, because it is $K$  -linear and for any imbedding $\tau :K\hookrightarrow \mathbb{R}$  such that $\tau \notin {\Sigma }_M$  , it induces an automorphism of $H_{\tau }$  , because ${\omega }_a$  is non-degenerate on $H_{\tau }$  .

(The existence of imbeddings $\tau \notin {\Sigma }_M$  follows from the fact that $W\ne 0$  by assumption.) We consider the commutative $K$  -subalgebra of $H$  generated by $a$  :

$$K_a:=K\left[a\right]\subset H.$$  This subalgebra is invariant under $t$  , because $t\left(a\right)=-a$  . Next, the subalgebra $K_{a,\sigma }:=K_a{\otimes }_{\sigma \left(K\right)}\mathbb{R}$  of $H_{\sigma }$  is contained in $H^{1,1}$  , and thus satisfies the property that the intersection form $$<x,y>=<xt\left(y\right),1>$$  is negative definite on $K_{a,\sigma }$  .

This implies as in the proof of Proposition  4 that the $t$  -invariant part $K_{a,\sigma }^{+}$  of $K_{a,\sigma }$  is a sum of copies ${\mathbb{R}}_{\rho }$  of $\mathbb{R}$  , and that the corresponding decomposition of $K_{a,\sigma }$  (given by the action of the idempotents of $K_{a,\sigma }^{+}$  ) is a decomposition as a sum of copies ${\mathbb{C}}_{\rho }$  of $\mathbb{C}$  , where $t$  acts as complex conjugation on each ${\mathbb{C}}_{\rho }$  . Furthermore, as $t\left(a\right)=-a$  and multiplication by $a$  is an isomorphism on $K_a$  , each $a_{\rho }$  can be written uniquely as ${\lambda }_{\rho }{i}_{\rho }$  , where ${\lambda }_{\rho }$  is a positive real number, and $i_{\rho }\in {\mathbb{C}}_{\rho }$  satisfies $i_{\rho }^2=-1_{\rho }$  .

Let us define $m_{\sigma }$  by $$m_{\sigma }={\sum }_{\rho }{i}_{\rho }.$$  We have $m_{\sigma }^2=-{\sum }_{\rho }{1}_{\rho }=-1$  . Furthermore $t\left(m_{\sigma }\right)=-m_{\sigma }$  , as $t\left(i_{\rho }\right)=-i_{\rho }$  , for all $\rho$  .

Finally, as $m_{\sigma }\in K_{a,\sigma }$  , one has $m_{\sigma }a=a{m}_{\sigma }$  , and combining these three facts, we conclude that ( 3.7 ) is satisfied.

Thus the multiplication on the right by $m_{\sigma }$  defines a complex structure $I_{\sigma }$  on $H_{\sigma }$  , which satisfies the property that ${\omega }_a$  is of type $(1,1)$  for $I_{\sigma }$  . In order to conclude that we have a real weight one polarized Hodge structure on $H_{\sigma }$  , we have to check the positivity property $${\omega }_a(x,I_{\sigma }(x\left)\right)>0,\forall 0\ne x\in H_{\sigma }.$$  But as the numbers ${\lambda }_{\rho }$  are positive, one has $$a_{\rho }=n_{\rho }^2{m}_{\rho },$$  for some $n_{\rho }\in \mathbb{R}$  . Thus, letting $$n:={\sum }_{\rho }{n}_{\rho },$$  we have $$a_{\sigma }=n^2{m}_{\sigma },$$  with $n\in K_{a,\sigma }$  , $t\left(n\right)=n$  . But then we have $${\omega }_a(x,I_{\sigma }(x\left)\right)=<x,I_{\sigma }\left(x\right)a>=<x,x{m}_{\sigma }a>$$  $$=<x,x{n}^2{m}_{\sigma }^2>=-<nx,nx>,$$  where the last inequality holds because $m_{\sigma }^2=-1$  and $t\left(n\right)=n$  . As $n$  is non-degenerate, the second Hodge bilinear relations show that $<nx,nx>$  is negative for all $0\ne x\in H_{\sigma }$  , which is what we wanted.

Remark 4 Assume that either ${\Sigma }_M$  is empty, or that the center $K$  of $H$  satisfies $K\ne K^{+}$  . In the first case, we constructed the weight $1$  Hodge structure by defining its $H^{1,0}$  -part to be $H^{2,0}{H}_{\mathbb{C}}$  , which is a right ideal. Thus multiplication on the right by elements of $H$  are morphisms of weight $1$  Hodge structure.

In the second case, the same is true if we choose for complex structure operator on the $H_{\sigma },\sigma \in H_{\sigma }$  , the multiplication by $i_{\sigma }\in K{\otimes }_{\sigma \left(K^{+}\right)}\mathbb{R}$  . Indeed, as $i_{\sigma }$  is central, this multiplication commutes with right multiplication with elements of $H$  .

Thus, in both cases, as in the Kuga-Satake case, we can construct an abelian variety, which admits $H$  as a sub-Hodge structure of weight $2$  , and also $H^{op}$  as a ring of endomorphisms.

References

1. A. Beauville. Le groupe de monodromie des familles universelles d'hypersurfaces et d'intersections complètes. Complex analysis and Algebraic Geometry, LN 1194, 195-207; Springer-Verlag (1986).
2. P. Deligne. La conjecture de Weil pour les surfaces $K3$  , Inventiones Math. 15, 206-226 (1972).
3. M. Kuga, I. Satake. Abelian varieties attached to polarized $K3$  surfaces, Math. Annalen 169, 239-242 (1967).
4. B. Lawson, M.-L. Michelsohn. Spin Geometry , Princeton University Press, Princeton, New-Jersey (1989).
5. D. Morrison. The Kuga-Satake variety of an abelian surface, J. Algebra 92 (1985), 454-476.
6. K. Paranjape. Abelian varieties associated with certain K3 surfaces, Compositio Math. 68 (1988) pp 11-22.
7. B. van Geemen. An introduction to the Hodge conjecture for abelian varieties, in Algebraic Cycles and Hodge Theory, Torino 1993, Springer LNM 1594 (1994) 233-252.
8. B. Van Geemen. Kuga-Satake varieties and the Hodge conjecture, in The Arithmetic and Geometry of Algebraic Cycles, Eds: B.B. Gordon et al. Kluwer (2000) 51-82.
9. B. van Geemen. Half twists of Hodge structures of CM-type. J. Math. Soc. Japan 53 (2001) 813-833.
10. C. Voisin. Remarks on zero-cycles of self-products of varieties, in Moduli of vector bundles (Proceedings of the Taniguchi symposium on vector bundles), (Ed. Maruyama), Decker (1994) 265-285.
11. C. Voisin. Hodge Theory and Complex Algebraic Geometry I, II, Cambridge studies in advanced mathematics 77, Cambridge Univ. Press (2003).