Source author record

Alina Carmen Cojocaru

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT

Catalog footprint

Research overview

9works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Bounds for the distribution of the Frobenius traces associated to products of non-CM elliptic curves

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 multiplication and pairwise non-isogenous over $\overline{\mathbb{Q}}$ . a product of $g$ elliptic curves defined over $\mathbb{Q}$ , pairwise non-isogenous over $\overline{\mathbb{Q}}$ and each without complex multiplication. %pairwise non-isogenous over $\overline{\mathbb{Q}}$ . For an integer $t$ and a positive real number $x$ , denote by $π_A(x, t)$ the number of primes $p \leq x$ , of good reduction for %the abelian variety $A$ , for which the Frobenius trace $a_{1, p}(A)$ associated to the reduction of $A$ modulo $p$ equals $t$ . Assuming the Generalized Riemann Hypothesis for Dedekind zeta functions, we prove that $π_A(x, 0) \ll_A x^{1 - \frac{1}{3 g+1 }}/(\log x)^{1 - \frac{2}{3 g+1}}$ and $π_A(x, t) \ll_A x^{1 - \frac{1}{3 g + 2}}/(\log x)^{1 - \frac{2}{3 g + 2}}$ if $t \neq 0$ . These bounds largely improve upon recent ones obtained for $g = 2$ by H. Chen, N. Jones, and V. Serban, and may be viewed as generalizations to arbitrary $g$ of the bounds obtained for $g=1$ by M.R. Murty, V.K. Murty, and N. Saradha, combined with a refinement in the power of $\log x$ by D. Zywina. Under the same assumptions, we also prove the existence of a density one set of primes $p$ satisfying $|a_{1, p}(A)|>p^{\frac{1}{3 g + 1} - \varepsilon}$ for any fixed $\varepsilon>0$ .

preprint2022arXiv

Geometric generalizations of the square sieve, with an application to cyclic covers

We formulate a general problem: given projective schemes $\mathbb{Y}$ and $\mathbb{X}$ over a global field $K$ and a $K$ -morphism $η$ from $\mathbb{Y}$ to $\mathbb{X}$ of finite degree, how many points in $\mathbb{X}(K)$ of height at most $B$ have a pre-image under $η$ in $\mathbb{Y}(K)$ ? This problem is inspired by a well-known conjecture of Serre on quantitative upper bounds for the number of points of bounded height on an irreducible projective variety defined over a number field. We give a non-trivial answer to the general problem when $K=\mathbb{F}_q(T)$ and $\mathbb{Y}$ is a prime degree cyclic cover of $\mathbb{X}=\mathbb{P}_{K}^n$ . Our tool is a new geometric sieve, which generalizes the polynomial sieve to a geometric setting over global function fields.

preprint2022arXiv

Non-CM elliptic curves with infinitely many almost prime Frobenius traces

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ and without complex multiplication. For a prime $p$ of good reduction for $E$ , we write $\#E_p(\mathbb{F}_p) = p + 1 - a_p(E)$ for the number of $\mathbb{F}_p$ -rational points of the reduction $E_p$ of $E$ modulo $p$ . Under the Generalized Riemann Hypothesis (GRH), we study the primes $p$ for which the integer $|a_p(E)|$ is a prime. In particular, we prove the following results: (i) the number of primes $p < x$ for which $|a_p(E)|$ is a prime is bounded from above by $C_1(E) \frac{x}{(\log x)^2}$ for some constant $C_1(E)$ ; (ii) the number of primes $p < x$ for which $|a_p(E)|$ is the product of at most 4 distinct primes, counted without multiplicity, is bounded from below by $C_2(E) \frac{x}{(\log x)^2}$ for some constant $C_2(E)$ ; (iii) the number of primes $p < x$ for which $|a_p(E)|$ is the product of at most 5 distinct primes, counted with multiplicity, is bounded from below by $C_3(E) \frac{x}{(\log x)^2}$ for some positive constant $C_3(E) > 0$ . Under GRH, we also prove the convergence of the sum of the reciprocals of the primes $p$ for which $|a_p(E)|$ is a prime. Furthermore, under GRH, together with Artin's Holomorphy Conjecture and a Pair Correlation Conjecture for Artin L-functions, we prove that the number of primes $p < x$ for which $|a_p(E)|$ is the product of at most 2 distinct primes, counted with multiplicity, is bounded from below by $C_4(E) \frac{x}{(\log x)^2}$ for some constant $C_4(E)$ . The constants $C_i(E)$ , $1 \leq i \leq 4$ , are defined explicitly in terms of $E$ and are factors of another explicit constant $C(E)$ that appears in the conjecture that $\#\{p < x: |a_p(E)| \ \text{is prime}\} \sim C(E) \frac{x}{(\log x)^2}$ .

preprint2020arXiv

Degree bounds for projective division fields associated to elliptic modules with a trivial endomorphism ring

Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$ , and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial endomorphism ring, with $k= \mathbb{Q}$ , $A = \mathbb{Z}$ in the former case and $k$ a global function field, $A$ its ring of functions regular away from a fixed prime in the latter case, for any nonzero ideal $\mathfrak{a} \lhd A$ we prove best possible estimates in the norm $|\mathfrak{a}|$ for the degrees over $K$ of the subfields of the $\mathfrak{a}$ -division fields of $M$ fixed by scalars.

preprint2020arXiv

The absolute discriminant of the endomorphism ring of most reductions of a non-CM elliptic curve is close to maximal

Let $E/\mathbb{Q}$ be a non-CM elliptic curve. Assuming GRH, we prove that, for a set of primes $p$ of density $1$ , the absolute discriminant of the $\mathbb{F}_p$ -endomorphism ring of the reduction of $E$ modulo $p$ is close to maximal.

preprint2020arXiv

The growth of the discriminant of the endomorphism ring of the reduction of a rank 2 generic Drinfeld module

Let $ψ: A \to F\{τ\}$ be a Drinfeld $A$ -module over $F$ of rank 2 and without complex multiplication, where $A = {\mathbb{F}}_q[T]$ , $F = {\mathbb{F}}_q(T)$ , and $q$ is an odd prime power. For a prime $\mathfrak{p} = p A$ of $A$ of good reduction for $ψ$ and with residue field ${\mathbb{F}}_{\mathfrak{p}}$ , we study the growth of the absolute value $|Δ_{\mathfrak{p}}|$ of the discriminant of the ${\mathbb{F}}_{\mathfrak{p}}$ -endomorphism ring of the reduction of $ψ$ modulo $\mathfrak{p}$ . We prove that for all $\mathfrak{p}$ , $|Δ_{\mathfrak{p}}|$ grows with $|p|$ . Moreover, we prove that for a density 1 of primes $\mathfrak{p}$ , $|Δ_{\mathfrak{p}}|$ is as close as possible to its upper bound $|a_{\mathfrak{p}}^2 - 4 μ_{\mathfrak{p}}p|$ , where $X^2+a_{\mathfrak{p}}X+μ_{\mathfrak{p}} p \in A[X]$ is the characteristic polynomial of $τ^{\text{deg} \ p}$ .

preprint2016arXiv

Arithmetic properties of the Frobenius traces defined by a rational abelian variety (with two appendices by J-P. Serre)

Let $A$ be an abelian variety over $\mathbb{Q}$ of dimension $g$ such that the image of its associated absolute Galois representation $ρ_A$ is open in $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$ . We investigate the arithmetic of the traces $a_{1, p}$ of the Frobenius at $p$ in $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ under $ρ_A$ , modulo varying primes $p$ . In particular, we obtain upper bounds for the counting function $\#\{p \leq x: a_{1, p} = t\}$ and we prove an Erdös-Kac type theorem for the number of prime factors of $a_{1, p}$ . We also formulate a conjecture about the asymptotic behaviour of $\#\{p \leq x: a_{1, p} = t\}$ , which generalizes a well-known conjecture of S. Lang and H. Trotter from 1976 about elliptic curves.

preprint2014arXiv

Drinfeld modules, Frobenius endomorphisms, and CM-liftings

We give a global description of the Frobenius elements in the division fields of Drinfeld modules of rank $2$ . We apply this description to derive a criterion for the splitting modulo primes of a class of non-solvable polynomials, and to study the frequency with which the reductions of Drinfeld modules have small endomorphism rings. We also generalize some of these results to higher rank Drinfeld modules and prove CM-lifting theorems for Drinfeld modules.

preprint2013arXiv

The distribution of the first elementary divisor of the reductions of a generic Drinfeld module of arbitrary rank

Let $ψ$ be a generic Drinfeld module of rank $r \geq 2$ . We study the first elementary divisor $d_{1, \wp}(ψ)$ of the reduction of $ψ$ modulo a prime $\wp$ , as $\wp$ varies. In particular, we prove the existence of the density of the primes $\wp$ for which $d_{1, \wp} (ψ)$ is fixed. For $r = 2$ , we also study the second elementary divisor (the exponent) of the reduction of $ψ$ modulo $\wp$ and prove that, on average, it has a large norm. Our work is motivated by the study of J.-P. Serre of an elliptic curve analogue of Artin's Primitive Root Conjecture, and, moreover, by refinements to Serre's study developed by the first author and M. R. Murty.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Alina Carmen Cojocaru

Research overview

Is this your work?

9 publications

Bounds for the distribution of the Frobenius traces associated to products of non-CM elliptic curves

Geometric generalizations of the square sieve, with an application to cyclic covers

Non-CM elliptic curves with infinitely many almost prime Frobenius traces

Degree bounds for projective division fields associated to elliptic modules with a trivial endomorphism ring

The absolute discriminant of the endomorphism ring of most reductions of a non-CM elliptic curve is close to maximal

The growth of the discriminant of the endomorphism ring of the reduction of a rank 2 generic Drinfeld module

Arithmetic properties of the Frobenius traces defined by a rational abelian variety (with two appendices by J-P. Serre)

Drinfeld modules, Frobenius endomorphisms, and CM-liftings

The distribution of the first elementary divisor of the reductions of a generic Drinfeld module of arbitrary rank

See the researcher in context

Building this map preview