Related papers: CM theory, maximal hyperelliptic curves, and Cheby…
Using the Dieudonne theory we will study a reduction of an abelian variety of complex multiplication. Our results may be regarded as a generalization of a classical theorem due to Deuring for a CM-elliptic curve. We will also discuss a…
In this work, we prove the vanishing of the two cohomological group of the higher local field. This generalize the well-known propriety of finite field and one dimensional local field. We apply this result to study the arithmetic of curve…
Let $\mathbb{F}_{q^2}$ be the finite field with $q^2$ elements. Most of the known $\mathbb{F}_{q^2}$-maximal curves arise as quotient curves of the $\mathbb{F}_{q^2}$-maximal Hermitian curve $\mathcal{H}_{q}$. After a seminal paper by…
The study of iterations of functions over a finite field and the corresponding functional graphs is a growing area of research with connections to cryptography. The behaviour of such iterations is frequently approximated by what is know as…
It is known that in the case of hyperelliptic curves the Shafarevich conjecture can be made effective, i.e., for any number field k and any finite set of places S of k, one can effectively compute the set of isomorphism classes of…
The classification of maximal function fields over a finite field is a difficult open problem, and even determining isomorphism classes among known function fields is challenging in general. We study a particular family of maximal function…
We give explicit formulas for the number of distinct elliptic curves over a finite field, up to isomorphism, in the families of Legendre, Jacobi, Hessian and generalized Hessian curves.
Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…
Let g be an integer greater than 1. A uniform version of the Parshin-Arakelov theorem on the finiteness of the set of non-isotrivial curves of genus g over a function field, with fixed degeneracy locus, is proved. This is applied to obtain…
Let $C_k$ be a smooth projective curve over a global field $k$, which is neither rational nor elliptic. Harris-Silverman, when $p=0$, and Schweizer, when $p>0$ together with an extra condition on the Jacobian variety…
In 2014 A. Degtyarev, I. Itenberg and the author gave a description, up to fiberwise equivariant deformations, of maximally inflected real trigonal curves of type~I (over a base $ B $ of an arbitrary genus) in terms of the combinatorics of…
In this work we study the properties of maximal and minimal curves of genus 3 over finite fields with discriminant -19. We prove that any such curve can be given by an explicit equation of certain form. Using these equations we obtain a…
Baba and Granath generalize Elkies' theorem on infinitude of supersingular primes for elliptic curves to abelian surfaces with quaternionic multiplication of discriminant $6$, whose field of moduli is $\mathbb{Q}$ and which is a Jacobian in…
We provide new upper bounds on N_q(g), the maximum number of rational points on a smooth absolutely irreducible genus-g curve over F_q, for many values of q and g. Among other results, we find that N_4(7) = 21 and N_8(5) = 29, and we show…
Assuming GRH, we present an algorithm which inputs a prime $p$ and outputs the set of fundamental discriminants $D<0$ such that the reduction map modulo a prime above $p$ from elliptic curves with CM by $\order_{D}$ to supersingular…
We give an asymptotic lower bound on the number of field extensions generated by algebraic points on superelliptic curves over $\mathbb{Q}$ with fixed degree $n$ and discriminant bounded by $X$. For $C$ a fixed such curve given by an affine…
We prove two related concentration inequalities concerning the number of rational points of hyperelliptic curves over subsets of a finite field. In particular, we investigate the probability of a large discrepancy between the numbers of…
Let $\lambda \in \mathbb{Q}\setminus \{0, -1\}$ and $l \geq 2$. Denote by $C_{l,\lambda}$ the nonsingular projective algebraic curve over $\mathbb{Q}$ with affine equation given by $$y^l=(x-1)(x^2+\lambda).$$ In this paper we give a…
We compute the rational points on certain members of the following family of hyperelliptic curves \[C_a \colon y^2 = x^8 + (4-4a^4) x^6 + (8a^4 + 6)x^4 + (4-4a^4)x^2 + 1\] via the method first developed by Dem'yanenko \cite{dem1966rational}…
The determination of the maximal length of maximum distance separable (MDS) codes arising from elliptic curves is a central problem in coding theory. For an elliptic curve $E$ over $\mathbb{F}_q$, let $\operatorname{MEC}(k,q)$ denote the…