Entanglement in the family of division fields of elliptic curves with complex multiplication

Research output: Contribution to journalArticleResearchpeer review

Authors

  • Francesco Campagna
  • Riccardo Pengo

External Research Organisations

  • University of Copenhagen
  • École normale supérieure de Lyon (ENS de Lyon)
View graph of relations

Details

Original languageEnglish
Pages (from-to)21-66
Number of pages46
JournalPacific journal of mathematics
Volume317
Issue number1
Publication statusPublished - 2022
Externally publishedYes

Abstract

For every elliptic curve E which has complex multiplication (CM) and is defined over a number field F containing the CM field K, we prove that the family of p∞-division fields of E, with p ∈N prime, becomes linearly disjoint over F after removing an explicit finite subfamily of fields. We then give a necessary condition for this finite subfamily to be entangled over F, which is always met when F = K. In this case, and under the further assumption that the elliptic curve E is obtained as a base-change from Q, we describe in detail the entanglement in the family of division fields of E.

Keywords

    Complex multiplication, Division fields, Elliptic curves, Entanglement

ASJC Scopus subject areas

Cite this

Entanglement in the family of division fields of elliptic curves with complex multiplication. / Campagna, Francesco; Pengo, Riccardo.
In: Pacific journal of mathematics, Vol. 317, No. 1, 2022, p. 21-66.

Research output: Contribution to journalArticleResearchpeer review

Campagna, Francesco ; Pengo, Riccardo. / Entanglement in the family of division fields of elliptic curves with complex multiplication. In: Pacific journal of mathematics. 2022 ; Vol. 317, No. 1. pp. 21-66.
Download
@article{8ebd8072902e43f6b5e94d046bfc102e,
title = "Entanglement in the family of division fields of elliptic curves with complex multiplication",
abstract = "For every elliptic curve E which has complex multiplication (CM) and is defined over a number field F containing the CM field K, we prove that the family of p∞-division fields of E, with p ∈N prime, becomes linearly disjoint over F after removing an explicit finite subfamily of fields. We then give a necessary condition for this finite subfamily to be entangled over F, which is always met when F = K. In this case, and under the further assumption that the elliptic curve E is obtained as a base-change from Q, we describe in detail the entanglement in the family of division fields of E.",
keywords = "Complex multiplication, Division fields, Elliptic curves, Entanglement",
author = "Francesco Campagna and Riccardo Pengo",
note = "Funding Information: Ce travail a {\'e}t{\'e} r{\'e}alis{\'e} au sein du LABEX MILYON (ANR-10-LABX-0070) de l{\textquoteright}Universit{\'e} de Lyon, dans le cadre du programme “Investissements d{\textquoteright}Avenir” (ANR-11-IDEX-0007) g{\'e}r{\'e} par l{\textquoteright}Agence Nationale de la Recherche (ANR). Funding Information: This project has received funding from the European Union Horizon 2020 research and innovation programme under the Marie Sk{\l}odowska-Curie grant agreement No 801199. Publisher Copyright: {\textcopyright} 2022. Mathematical Sciences Publishers",
year = "2022",
doi = "10.2140/pjm.2022.317.21",
language = "English",
volume = "317",
pages = "21--66",
journal = "Pacific journal of mathematics",
issn = "0030-8730",
publisher = "University of California, Berkeley",
number = "1",

}

Download

TY - JOUR

T1 - Entanglement in the family of division fields of elliptic curves with complex multiplication

AU - Campagna, Francesco

AU - Pengo, Riccardo

N1 - Funding Information: Ce travail a été réalisé au sein du LABEX MILYON (ANR-10-LABX-0070) de l’Université de Lyon, dans le cadre du programme “Investissements d’Avenir” (ANR-11-IDEX-0007) géré par l’Agence Nationale de la Recherche (ANR). Funding Information: This project has received funding from the European Union Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 801199. Publisher Copyright: © 2022. Mathematical Sciences Publishers

PY - 2022

Y1 - 2022

N2 - For every elliptic curve E which has complex multiplication (CM) and is defined over a number field F containing the CM field K, we prove that the family of p∞-division fields of E, with p ∈N prime, becomes linearly disjoint over F after removing an explicit finite subfamily of fields. We then give a necessary condition for this finite subfamily to be entangled over F, which is always met when F = K. In this case, and under the further assumption that the elliptic curve E is obtained as a base-change from Q, we describe in detail the entanglement in the family of division fields of E.

AB - For every elliptic curve E which has complex multiplication (CM) and is defined over a number field F containing the CM field K, we prove that the family of p∞-division fields of E, with p ∈N prime, becomes linearly disjoint over F after removing an explicit finite subfamily of fields. We then give a necessary condition for this finite subfamily to be entangled over F, which is always met when F = K. In this case, and under the further assumption that the elliptic curve E is obtained as a base-change from Q, we describe in detail the entanglement in the family of division fields of E.

KW - Complex multiplication

KW - Division fields

KW - Elliptic curves

KW - Entanglement

UR - http://www.scopus.com/inward/record.url?scp=85132788055&partnerID=8YFLogxK

U2 - 10.2140/pjm.2022.317.21

DO - 10.2140/pjm.2022.317.21

M3 - Article

AN - SCOPUS:85132788055

VL - 317

SP - 21

EP - 66

JO - Pacific journal of mathematics

JF - Pacific journal of mathematics

SN - 0030-8730

IS - 1

ER -