Complete systems of addition laws an abelian varieties (Q1065890)

Let A be an abelian variety of dimension g defined over an algebraically closed field k. An addition law of bidegree (\(\mu\),\(\nu)\) on \(A\subset {\mathbb{P}}^ n\) is an \((n+1)\)-tuple of polynomials \(p_ 0,...,p_ n\in k[X_ 0,...,X_ n;Y_ 0,...,Yn]\), not all zero, bihomogeneous of degree \(\mu\) in \(X_ 0,...,X_ n\) and of degree \(\nu\) in \(Y_ 0,...,Y_ n\), such that on an open nonempty set \(U\subseteq A\times A\) we have \(x+y=(p_ 0(x,y),...,p_ n(x,y))\) for all (x,y)\(\in U\), considered as points of \({\mathbb{P}}^ n\times {\mathbb{P}}^ n\). A set of addition laws \(\{(p^ i_ 0,...,p^ i_ n)\); \(i=1,...,s\}\) of bidegree (\(\mu\),\(\nu)\) on \(A\subseteq {\mathbb{P}}^ n\) is called a complete systems of addition laws if the defining open sets \(U_ i\subseteq A\times A\) are a covering of \(A\times A.\) Let M denote an ample line bundle on A and \(m\geq 3\). One knows by a theorem of Weil that \(L=M^ m\) is very ample. Let \(A\hookrightarrow {\mathbb{P}}^ n\) be the associated complete embedding. It is called symmetric if \((-1)^*L\simeq L\). The main result proved in the paper under review is formulated as follows: Theorem. (1) There are complete systems of addition laws on \(A\subseteq {\mathbb{P}}^ n\) of bidegree (2,3) and (3,2). - (2) If the embedding is not symmetric, there is no addition law of bidegree (2,2) on \(A\subseteq {\mathbb{P}}^ n\). - (3) If the embedding is symmetric, there is a complete system of addition laws of bidegree (2,2) on \(A\subseteq {\mathbb{P}}^ n.\) The proof is nonconstructive. It is based on the following lemma: There is an addition law (resp. a complete system of addition laws) of bidegree (\(\mu\),\(\nu)\) on A with respect to the embedding \(i_ L: A\hookrightarrow {\mathbb{P}}^ n\) given by the complete linear system \(| L| =| M^ n|\), if and only if \(H^ 0(A\times A,m^*L^{- 1}\otimes p_ 1*L^{\mu}\otimes p_ 2*L^{\nu})\neq 0\) (resp. the line bundle \(m^*L^{-1}\otimes p_ 1*L^{\mu}\otimes p_ 2*L^{\nu}\) is basepoint-free). A complete system of addition laws of bidegree (2,2) on an elliptic curve is explicitly computed, using the Weierstrass normal form. An application to the theory of transcendental number theory is outlined.