Symbol Length in Brauer Groups of Elliptic Curves

2021/07/22 by Mateo Attanasio, Attanasio, Mateo, Caroline Choi +5
Arts and Humanities · Mathematics · Social Sciences · #11G05 (Primary) #14F22 (Secondary) #14H52 #Algebraic Geometry and Number Theory #FOS: Mathematics #Historical Studies and Socio-cultural Analysis #Historical and Political Studies #Number Theory (math.NT)

paper · pdf · doi:10.48550/arxiv.2107.10886

openalex publication_date 2021/07/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Let ℓ be an odd prime, and let K be a field of characteristic not 2,3, or ℓ containing a primitive ℓ-th root of unity. For an elliptic curve E over K, we consider the standard Galois representation ρ_E,ℓ: Gal(K/K) → GL₂(\mathbbF_ℓ), and denote the fixed field of its kernel by L. Recently, the last author gave an algorithm to compute elements in the Brauer group explicitly, deducing an upper bound of 2(ℓ+1)(ℓ-1) on the symbol length in \mathbin_ℓBr(E) / \mathbin_ℓBr(K). More precisely, the symbol length is bounded above by 2[L:K]. We improve this bound to [L:K]-1 if ℓ \nmid [L:K]. Under the additional assumption that Gal(L/K) contains an element of order d > 1, we further reduce it to (1-(1)/(d))[L:K]. In particular, these bounds hold for all CM elliptic curves, in which case we deduce a general upper bound of ℓ + 1. We provide an algorithm implemented in SageMath to compute these symbols explicitly over number fields.

Related

• Prime Torsion in the Brauer Group of an Elliptic Curve
• Finding large Selmer rank via an arithmetic theory of local constants
• Open image computations for elliptic curves over number fields
• Ranks of GL2 Iwasawa modules of elliptic curves
• On the possible images of the mod ell representations associated to\n elliptic curves over Q