Suppose $E/K$ is an elliptic curve over a field $\mathbb Q\subset K \subset \overline{\mathbb Q}$ such that $E(K)$ is finite. Let $[L:K]$ be a finite abelian extension. Is it necessarily the case that $E(L)$ is finite too?
2026-03-25 17:39:14.1774460354
Finite extensions preserve finiteness of Elliptic curve points
62 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in NUMBER-THEORY
- Maximum number of guaranteed coins to get in a "30 coins in 3 boxes" puzzle
- Interesting number theoretical game
- Show that $(x,y,z)$ is a primitive Pythagorean triple then either $x$ or $y$ is divisible by $3$.
- About polynomial value being perfect power.
- Name of Theorem for Coloring of $\{1, \dots, n\}$
- Reciprocal-totient function, in term of the totient function?
- What is the smallest integer $N>2$, such that $x^5+y^5 = N$ has a rational solution?
- Integer from base 10 to base 2
- How do I show that any natural number of this expression is a natural linear combination?
- Counting the number of solutions of the congruence $x^k\equiv h$ (mod q)
Related Questions in ELLIPTIC-CURVES
- Can we find $n$ Pythagorean triples with a common leg for any $n$?
- Solution of $X^5=5 Y (Y+1)+1$ in integers.
- Why does birational equivalence preserve group law in elliptic curves?
- CM elliptic curves and isogeny
- Elliptic Curve and Differential Form Determine Weierstrass Equation
- Difficulty understanding Hartshorne Theorem IV.4.11
- Elementary Elliptic Curves
- Flex points are invariant under isomorphism
- The Mordell equation $x^2 + 11 = y^3$.
- How do we know that reducing $E/K$ commutes with the addition law for $K$ local field
Related Questions in ARITHMETIC-GEOMETRY
- Showing that a Severi-Brauer Variety with a point is trivial
- Definition of scheme defined over a ring A
- Galois representation on Tate module of a twist of an elliptic curve
- What is the difference between algebraic number theory, arithmetic geometry and diophantine geometry?
- Questions about Zeta Function of Singular Plane Curve
- Brauer group of global fields
- Structure of étale maps
- Unipotent Groups and Torsors
- why is multiplication by n surjective on an abelian variety
- Poincare duality compatible with the definition of compactly supported cohomology in etale cohomology?
Related Questions in CLASS-FIELD-THEORY
- $(K^*)$ in $K^*$
- Surjectivity of the inv map in Global class field theory
- On the Galois group of the maximal $p$-abelian $p$-ramified extension of a number field
- Which primes are ramified?
- Computing Hilbert Class Field of a number field
- Existence of totally real number fields of any degree
- How is the Artin map defined for ramified extensions?
- Brauer group of global fields
- Adeles under base change
- What is the structure of the $H$?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
As your question was already answered in the comments, I'll just add a couple of things.
Firstly how might you find an example if nobody else knew one already? You can use the LMFDB to do this! It's not the quickest method ever, but I went to http://www.lmfdb.org/EllipticCurve/2.2.5.1/?field=2.2.5.1&include_base_change=only to find elliptic curves over $\mathbf Q(\sqrt 5)$ which are base changes from $\mathbf Q$, clicked on a few till I found some of rank 1, such as http://www.lmfdb.org/EllipticCurve/2.2.5.1/729.1/b/3 then scrolled to the bottom of the page and found that this particular curve is a base change of http://www.lmfdb.org/EllipticCurve/Q/27/a/4 which has rank 0. It took a couple of minutes of clicking around to find this one. So we have another simple example of a curve $/\mathbf Q$ with finitely many rational points which grows to a rank 1 group under a small quadratic extension.
As for the generalities, it is a very interesting question of which abelian extensions can the rank grow under in general, and it is natural to reduce to cyclic extensions of degree $p$ a prime, as others can be built out of these. In this case there are number of conjectures floating around about how the rank can grow, and one conjecture is that for $p > 5$ there are only finitely many cyclic extensions $L/K$ of degree $p$ for which $E/K$ can have $\operatorname{rank} E(L) > \operatorname{rank} E(K)$.
For more on this you might enjoy Barry Mazur's talk http://www.math.harvard.edu/~mazur/papers/heuristics.Toronto.12.pdf see video at http://www.fields.utoronto.ca/video-archive/2016/11/1570-16199 or https://www.youtube.com/watch?v=BmnPn7mssvk