Related papers: Computing the geometric endomorphism ring of a gen…
Let $\ell$ be an odd prime and $K$ a field of characteristic different from $\ell$. Let $\bar{K}$ be an algebraic closure of $K$. Assume that $K$ contains a primitive $\ell$th root of unity. Let $n \ne \ell$ be another odd prime. Let $f(x)$…
Let $K$ be a number field, and let $C$ be a hyperelliptic curve over $K$ with Jacobian $J$. Suppose that $C$ is defined by an equation of the form $y^{2} = f(x)(x - \lambda)$ for some irreducible monic polynomial $f \in \mathcal{O}_{K}[x]$…
Suppose that $K$ is a field of characteristic 0, $K_a$ is its algebraic closure, $p$ is a prime, $q=p^r$ is a power prime. Suppose that $f(x) \in K[x]$ is a polynomial of degree $n > 4$ without multiple roots. Let us consider the…
We approach the Torelli problem of recostructing a curve from its Jacobian from a computational point of view. Following Dubrovin, we design a machinery to solve this problem effectively, which builds on methods in numerical algebraic…
In [5], without giving a detailed proof, Yamauchi provided a formula to calculate the genus of a certain family of smooth complete intersection algebraic curves. That formula is used extensively in [1] to study the algebraic curves for…
Let $k$ be a field of characteristic zero containing a primitive fifth root of unity. Let $X/k$ be a smooth cubic threefold with an automorphism of order five, then we observe that over a finite extension of the field actually the dihedral…
Let $p>3$ be a fixed prime. For a supersingular elliptic curve $E$ over $\mathbb{F}_p$ with $j$-invariant $j(E)\in \mathbb{F}_p\backslash\{0, 1728\}$, it is well known that the Frobenius map $\pi=((x,y)\mapsto (x^p, y^p))\in…
We study the birational geometry of the Kummer surfaces associated to the Jacobian varieties of genus two curves, with a particular focus on fields of characteristic two. In order to do so, we explicitly compute a projective embedding of…
In 1994, Kani introduced an algebraic version of the Humbert invariant, known as the refined Humbert invariant. This invariant q_C is a positive definite quadratic form attached to a smooth curve C of genus 2. It serves as a vital tool, as…
We give an explicit rational parameterization of the surface $\mathcal{H}_3$ over $\mathbb{Q}$ whose points parameterize genus 2 curves~$C$ with full $\sqrt{3}$-level structure on their Jacobian $J$. We use this model to construct abelian…
Elliptic curves have a well-known and explicit theory for the construction and application of endomorphisms, which can be applied to improve performance in scalar multiplication. Recent work has extended these techniques to hyperelliptic…
Let $X$ be a smooth proper genus 2 curve over an algebraically closed field of characteristic 2. The absolute Frobenius induces a rational map $F$ on the the moduli space $M\_X$ of semi-stable rank 2 vector bundles over $X$, which is…
Let C be a complex smooth projective algebraic curve endowed with an action of a finite group G such that the quotient curve has genus at least 3. We prove that if the G-curve C is very general for these properties, then the natural map…
Let $K$ be an algebraically closed field of characteristic different from 2, $g$ a positive integer, $f(x)$ a degree $(2g+1)$ polynomial with coefficients in $K$ and without multiple roots, $C:y^2=f(x)$ the corresponding genus $g$…
We study the affine ring of the affine Jacobi variety of a hyper-elliptic curve. The matrix construction of the affine hyper-elliptic Jacobi varieties due to Mumford is used to calculate the character of the affine ring. By decomposing the…
In 2000, Galbraith and McKee heuristically derived a formula that estimates the probability that a randomly chosen elliptic curve over a fixed finite prime field has a prime number of rational points. We show how their heuristics can be…
We consider the cohomology of local systems on the moduli space of curves of genus 2 and the moduli space of abelian surfaces. We give an explicit formula for the Eisenstein cohomology and a conjectural formula for the endoscopic…
In his previous papers (Math. Res. Letters 7 (2000), 123--13; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431) the author proved that in characteristic $\ne 2$ the jacobian $J(C)$ of a hyperelliptic curve…
We prove that there is only a finite number of genus 2 curves C defined over Q such that there exists a nonconstant morphism pi:X_1(N) --->C defined over Q and the jacobian of C, J(C), is a Q-factor of the new part of the jacobian of…
Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $\phi$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can…