Source author record

Charlotte Ure

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
3topics
4close collaborators

Published work

3 publications

preprint2022arXiv

Symbol Length in Brauer Groups of Elliptic Curves

Let ℓ\ell be an odd prime, and let KK be a field of characteristic not 2,3,2,3, or ℓ\ell containing a primitive ℓ\ell-th root of unity. For an elliptic curve EE over KK, we consider the standard Galois representation ρE,ℓ:Gal(K‾/K)→GL2(Fℓ),ρ_{E,\ell}: \text{Gal}(\overline{K}/K) \rightarrow \text{GL}_2(\mathbb{F}_{\ell}), and denote the fixed field of its kernel by LL. Recently, the last author gave an algorithm to compute elements in the Brauer group explicitly, deducing an upper bound of 2(ℓ+1)(ℓ−1)2(\ell+1)(\ell-1) on the symbol length in ℓBr(E)/ℓBr(K)\mathbin{_{\ell}\text{Br}(E)} / \mathbin{_{\ell}\text{Br}(K)}. More precisely, the symbol length is bounded above by 2[L:K]2[L:K]. We improve this bound to [L:K]−1[L:K]-1 if ℓ∤[L:K]\ell \nmid [L:K]. Under the additional assumption that Gal(L/K)\text{Gal}(L/K) contains an element of order d>1d > 1, we further reduce it to (1−1d)[L:K](1-\frac{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\ell + 1. We provide an algorithm implemented in SageMath to compute these symbols explicitly over number fields.

Research graph

See the researcher in context

Open full explorer

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.