Search

The modular variety of nonsingular and complete hyperelliptic curves with level-two structure of genus $ 3$ It has 36 irreducible (isomorphic) components. One of the purposes of this paper will be to describe the equations of one of these components. Two further models use the fact that hyperelliptic curves of genus three can be obtained as coverings of a projective line with $ 8$, uses the semistable degenerated point configurations in $ (P^1)^8$ $ Y=\overline{\mathcal{B}/\Gamma[1-{\textrm i}]}.$ We use the standard notation $ \bar M_{0,8}$}[rr]& &X\;.} \end{displaymath} --> $\displaystyle \xymatrix{ &\bar M_{0,8}\ar[dl]\ar[dr]&\\ Y\ar@{-->}[rr]& &X\;.}$ The horizontal arrow is only birational but not everywhere regular. In this paper we find another realization of this triangle which uses the fact that there are graded algebras (closely related to algebras of modular forms) $ A,B$ $ X=\mathop{\rm proj}\nolimits(A), Y=\mathop{\rm proj}\nolimits(B).$ [ABSTRACT FROM AUTHOR]

In this paper, we describe an algorithm that reduces the computation of the (full) $p$-Selmer group of an elliptic curve $E$ over a number field to standard number field computations such as determining the ($p$-torsion of) the $S$-class group and a basis of the $S$-units modulo $p$th powers for a suitable set $S$ of primes. In particular, we give a result reducing this set $S$ of `bad primes' to a very small set, which in many cases only contains the primes above $p$. As of today, this provides a feasible algorithm for performing a full $3$-descent on an elliptic curve over $\mathbb Q$, but the range of our algorithm will certainly be enlarged by future improvements in computational algebraic number theory. When the Galois module structure of $E[p]$ is favorable, simplifications are possible and $p$-descents for larger $p$ are accessible even today. To demonstrate how the method works, several worked examples are included. [ABSTRACT FROM AUTHOR]