arXiv subjects

Enric Florit

Publications and source records attributed to Enric Florit.

8 recordsLinked to original sources

arXiv2026

Non-split Cartan curves and a characterization of fake elliptic curves

The $\ell$-adic Tate module of an abelian surface with quaternionic multiplication (QM) decomposes as two copies of a two-dimensional $\mathbb{Q}$-rational representation. To this day, there is no criterion to distinguish these representations from those attached to elliptic curves. For this reason, QM abelian surfaces are usually called fake elliptic curves. In this paper we characterize QM abelian surfaces defined over an imaginary quadratic field $K$. Namely, we consider an abelian surface $A/K$ without potential CM and whose $L$-function is a square. Under a reasonable conjecture, we show that $A$ has QM if and only if it has residual image contained in a non-split Cartan group modulo at least two primes. The characterization is unconditional for all indefinite quaternion discriminants up to 33. The proof is based on previous work of Siksek and Michaud-Jacobs on quadratic points on non-split Cartan modular curves. In particular, we prove that all quadratic points on $X_{ns}(6)$, $X_{ns}(10)$ and $X_{ns}(15)$ are non-exceptional.

math.NT↗

arXiv2025

On inertial types of elliptic curves

We classify the inertial Weil-Deligne types arising from elliptic curves over all finite extensions $F/\mathbb Q_p$. Based on this classification, we give a fully explicit description of the types and implement an algorithm that computes all inertial types of elliptic curves defined over a given $F$. As an application, we determine all inertial types arising from elliptic curves over any extension $F/\mathbb Q_p$ of degree at most 3.

math.NT↗

arXiv2024

Abelian varieties genuinely of $\mathrm{GL}_n$-type

A simple abelian variety $A$ defined over a number field $k$ is called of $\mathrm{GL}_n$-type if there exists a number field of degree $2\dim(A)/n$ which is a subalgebra of $\mathrm{End}^0(A)$. We say that $A$ is genuinely of $\mathrm{GL}_n$-type if its base change $A_{\overline{k}}$ contains no isogeny factor of $\mathrm{GL}_m$-type for $m<n$. This generalizes the classical notion of abelian variety of $\mathrm{GL}_2$-type without potential complex multiplication introduced by Ribet. We develop a theory of building blocks, inner twists and nebentypes for these varieties. When the center of $\mathrm{End}^0(A)$ is totally real, Chi, Banaszak, Gajda, and Kraso\'n have attached to $A$ a compatible system of Galois representations of degree $n$ which is either symplectic or orthogonal. We extend their results under the weaker assumption that the center of $\mathrm{End}^0(A_{\overline{k}})$ be totally real. We conclude the article by showing an explicit family of abelian fourfolds genuinely of $\mathrm{GL}_4$-type. This involves the construction of a family of genus 2 curves defined over a quadratic field whose Jacobian has trivial endomorphism ring and is isogenous to its Galois conjugate.

math.NT↗

arXiv2024

K-varieties and Galois representations

In a remarkable article Ribet showed how to attach rational $2$-dimensional representations to elliptic ${\mathbb Q}$-curves. An abelian variety $A$ is a (weak) $K$-variety if it is isogenous to all of its $\text{Gal}_K$-conjugates. In this article we study the problem of attaching an absolutely irreducible $\ell$-adic representation of $\text{Gal}_K$ to an abelian $K$-variety, which sometimes has smaller dimension than expected. When possible, we also construct a Galois-equivariant pairing, which restricts the image of this representation. As an application of our construction, we prove modularity of abelian surfaces over ${\mathbb Q}$ with potential quaternionic multiplication.

math.NT↗

arXiv2024

Abelian varieties that split modulo all but finitely many primes

Let $A$ be a simple abelian variety over a number field $k$ such that $\operatorname{End}(A)$ is noncommutative. We show that $A$ splits modulo all but finitely many primes of $k$. We prove this by considering the subalgebras of $\operatorname{End}(A_{\mathfrak p})\otimes\mathbb{Q}$ which have prime Schur index. Our main tools are Tate's characterization of endomorphism algebras of abelian varieties over finite fields, and a Theorem of Chia-Fu Yu on embeddings of simple algebras.

math.NT↗

arXiv2022

Endomorphism algebras of geometrically split genus 2 Jacobians over Q

The main result of [FG20] classifies the 92 geometric endomorphism algebras of geometrically split abelian surfaces defined over Q. We show that 54 of them arise as geometric endomorphism algebras of Jacobians of genus 2 curves defined over Q, and that the remaining 38 do not. In particular, we exhibit 38 examples of Qbar-isogeny classes of abelian surfaces defined over Q that do not contain any Jacobian of a genus 2 curve defined over Q, and for each of the 54 algebras that do arise we exhibit a curve realizing them.

math.NT↗

arXiv2022

Automorphisms and isogeny graphs of abelian varieties, with applications to the superspecial Richelot isogeny graph

We investigate special structures due to automorphisms in isogeny graphs of principally polarized abelian varieties, and abelian surfaces in particular. We give theoretical and experimental results on the spectral and statistical properties of (2, 2)-isogeny graphs of superspecial abelian surfaces, including stationary distributions for random walks, bounds on eigenvalues and diameters, and a proof of the connectivity of the Jacobian subgraph of the (2, 2)-isogeny graph. Our results improve our understanding of the performance and security of some recently-proposed cryptosystems, and are also a concrete step towards a better understanding of general superspecial isogeny graphs in arbitrary dimension.

cs.CR↗

arXiv2021

An atlas of the Richelot isogeny graph

We describe and illustrate the local neighbourhoods of vertices and edges in the (2, 2)-isogeny graph of principally polarized abelian surfaces, considering the action of automorphisms. Our diagrams are intended to build intuition for number theorists and cryptographers investigating isogeny graphs in dimension/genus 2, and the superspecial isogeny graph in particular.

math.NT↗