Deterministic primality tests based on tori and elliptic curves (Q661993)

In a previous paper [Arch. Math. 93, No. 6, 555--564 (2009; Zbl 1236.11009)] the authors proposed a general framework, based on group schemes, for (deterministic) primality tests and they locate in such a setting the well-known tests of Pröth and Lucas-Lehmer. In the present paper they extend and improve the procedure and they apply it to some particular families of natural numbers. Section 2 formulates a generalization, based on group schemes over \(\mathbb{Z}\) of the classical Pocklington's test and Section 3 gives the general test (Theorem 1). This test, a modification of the one proposed in the paper of 2009, is based on schemes \(G\) over the ring \(\mathbb{Z}_S\), with \(S\) a finite set of \textit{bad} primes. The rest of the paper applies the general test to various families of numbers, using in each case the appropriate scheme. Section 4 deals with the family of numbers \(h2^n+1\),\, using the multiplicative group scheme \(G=\text{Spec}\mathbb{Z}_S[x,x^{-1}]\), while Section 5 do the same for the family \(h2^n-1\) and the Warehouse-Weisfeiler scheme (torus with equation \(y^2=dx^2+x\)). A test for the last family is also provided in Section 6 with the aid of the elliptic curve with equation \(y^2=x^3-dx\) (\(d\) not a square modulo the tested number) and a curve with the same equation (but where \(d\) a fourth power modulo the candidate) also allows to give tests for the two families of numbers \(g^22^{2n}+1\) and \(g^22^{2n-1}- g2^n +1\). Finally Section 8, using the elliptic curve \(y^2=x^3+d\) gives a primality test for the family \(g^22^{2n-1}- g2^n +1\).