Related papers: Some explicit arithmetic on curves of genus three …

We study the geometry and arithmetic of the curves $C \colon y^3 = x^4 + ax^2 + b$ and their associated Prym abelian surfaces $P$. We prove a Torelli theorem in this context and give a geometric proof of the fact that $P$ has quaternionic…

Computing the topology of an algebraic plane curve $\mathcal{C}$ means to compute a combinatorial graph that is isotopic to $\mathcal{C}$ and thus represents its topology in $\mathbb{R}^2$. We prove that, for a polynomial of degree $n$ with…

The Witt group of a smooth curve over a real closed field is explicitely calculated. The method uses a comparison theorem between the graded Witt group and the etale cohomology groups. In the second part of the paper, the torsion Picard…

We outline a general algorithm for computing an explicit model over a number field of any curve of genus 2 whose (unpolarized) Jacobian is isomorphic to the product of two elliptic curves with CM by the same order in an imaginary quadratic…

Let $E$ be a non CM elliptic curve defined over $\Q$. There is an isogeny-torsion graph associated to $E$ and there is also a Galois representation $\rho_{E,l^{\infty}} \colon \Gal(\Qbar/\Q) \to \GL_2(\ZZ_{\ell})$ associated to $E$ for…

The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation…

Let $\epsilon>0$. In this article we will present a deterministic algorithm which does the following. The input is a hyperelliptic curve $C$ of genus $g$ over a finite field $k$ of cardinality $q$ given by $y^2+h(x)y=f(x)$ such that the…

In this paper we introduce a new problem called the Isogenous Embedding Problem (IEP). The existence of solutions to this problem is related to the primes of bad reduction of CM curves of genus $3$ and we can detect potentially good…

Let $g \geq 1$ be an integer and let $A/\mathbb{Q}$ be an abelian variety that is isogenous over $\mathbb{Q}$ to %the product $E_1 \times \ldots \times E_g$ of elliptic curves $E_1/\mathbb{Q}$, $\ldots$, $E_g/\mathbb{Q}$, without complex…

By the Jacquet-Langlands correspondence and Faltings' isogeny theorem, it is known that the abelian variety J_0^{Dpq}(N) (the Jacobian of a Shimura curve of discriminant Dpq with Gamma_0(N) level structure) is isogenous to the pq-new…

We present an algorithm for solving the discrete logarithm problem in Jacobians of families of plane curves whose degrees in $X$ and $Y$ are low with respect to their genera. The finite base fields $\FF_q$ are arbitrary, but their sizes…

We introduce a generalization of the Euclidean algorithm for rings equipped with an involution, and completely enumerate all isomorphism classes of orders over definite, rational quaternion algebras equipped with an orthogonal involution…

In this paper we consider the cohomology of a closed arithmetic hyperbolic 3-manifold with coefficients in the local system defined by the even symmetric powers of the standard representation of SL(2,C). The cohomology is defined over the…

We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…

We propose a new method of computing cohomology groups of spaces of knots in $\R^n$, $n \ge 3$, based on the topology of configuration spaces and two-connected graphs, and calculate all such classes of order $\le 3.$ As a byproduct we…

We construct examples of families of curves of genus 2 or 3 over Q whose Jacobians split completely and have various large rational torsion subgroups. For example, the rational points on a certain elliptic surface over P^1 of positive rank…

We describe an algorithm, based on the properties of the characteristic polynomials of Frobenius, to compute $\operatorname{End}_{\overline{K}}(A)$ when $A$ is the Jacobian of a nice genus-2 curve over a number field $K$. We use this…

This paper is devoted to constructing an explicit efficient representation for the Jacobian variety of a nonsingular curve of genus greater than 1, and its group law. We describe an algorithm for executing the group law on the Jacobian…

Given a generic degree-2 cover of a genus 1 curve D by a non hyperelliptic genus 3 curve C over a field k of characteristic different from 2, we produce an explicit genus 2 curve X such that Jac(C) is isogenous to the product of Jac(D) and…

Let $\mathcal X$ be a genus 2 curve defined over a field $K$, $\mbox{char} K = p \geq 0$, and $\mbox{Jac} (\mathcal X, \iota)$ its Jacobian, where $\iota$ is the principal polarization of $\mbox{Jac} (\mathcal X)$ attached to $\mathcal X$.…