**52**

votes

**1**answer

3k views

### Is there a “classical” proof of this $j$-value congruence?

Let $j: \mathbf{C} - \mathbf{R} \rightarrow \mathbf{C}$ denote the classical $j$-function from the theory of elliptic functions. That is, $j(\tau)$ is the $j$-invariant of the elliptic curve ...

**47**

votes

**3**answers

4k views

### Is there a “Basic Number Theory” for elliptic curves?

Tate's thesis showed how to profitably analyze $\zeta$ functions of number fields in terms of adelic points on the multiplicative group. In particular, combining Fourier analysis and topology, Tate ...

**32**

votes

**0**answers

1k views

### Constructing non-torsion rational points (over Q) on elliptic curves of rank > 1.

Consider an elliptic curve E defined over Q. Assume that the rank of E(Q) is >=2. (Assume the Birch-Swinnerton-Dyer conjecture if needed, so that analytic rank = algebraic rank.) How do you construct ...

**28**

votes

**0**answers

497 views

### The exponent of Ш of y^2 = x^3 + px, where p is a Fermat prime

For $d$ a non-zero integer, let $E_d$ be the elliptic curve
$$
E_d \colon y^2 = x^3+dx.
$$
When we let $d$ be $p = 2^{2^k}+1$, for $k \in \{1,2,3,4\}$, sage tells us that, conditionally on BSD,
$$
\# ...

**26**

votes

**4**answers

1k views

### Are most cubic plane curves over the rationals elliptic?

%This is a new version of the original question modified in the light of the answers and comments.
The word 'most' in the title is ambiguous. The following is one way of making it precise.
...

**23**

votes

**8**answers

4k views

### Why is an elliptic curve a group?

Consider an elliptic curve $y^2=x^3+ax+b$. It is well known that we can (in the generic case) create an addition on this curve turning it into an abelian group: The group law is characterized by the ...

**22**

votes

**3**answers

2k views

### Can the number of solutions $xy(x-y-1)=n$ for $x,y,n \in Z$ be unbounded as n varies?

Can the number of solutions $xy(x-y-1)=n$ for $x,y,n \in Z$ be unbounded as n varies?
x,y are integral points on an Elliptic Curve and are easy to find using enumeration of divisors of n (assuming n ...

**21**

votes

**5**answers

4k views

### Definition and meaning of the conductor of an elliptic curve

I never really understood the definition of the conductor of an elliptic curve.
What I understand is that for an elliptic curve E over ℚ, End(E) is going to be (isomorphic to) ℤ or an ...

**20**

votes

**6**answers

2k views

### Does the moduli space of smooth curves of genus g contain an elliptic curve

Let $M_g$ be the moduli space of smooth projective geometrically connected curves over a field $k$ with $g\geq 2$. Note that $M_g$ is not complete.
Does $M_g$ contain an elliptic curve?
The answer ...

**20**

votes

**6**answers

1k views

### What heuristic evidence is there concerning the unboundedness or boundedness of Mordell-Weil ranks of elliptic curves over $\Bbb Q$?

Some experts have a hunch that for any nonnegative integer $r$ there are infinitely many elliptic curves over $\Bbb Q$ with Mordell-Weil rank at least $r$.
The best empirical evidence for this hunch ...

**20**

votes

**1**answer

775 views

### Is the Modularity Theorem (currently) effective?

The Modularity Theorem says every elliptic curve over $\mathbb{Q}$ can be gotten from the classic modular curve $X_0(N)$ by a rational map. Here $N$ is the conductor, easily calculable from a ...

**20**

votes

**3**answers

629 views

### Consecutive square values of cubic polynomials

Let $P(x)$ be a cubic polynomial with integer coefficients. Does there exist a constant $c$ such that at least one of the following values $P(0),P(1),...,P(c)$ is not a square?
It is known that the ...

**20**

votes

**1**answer

806 views

### Do all curves have Néron models

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$.
Does there exist a Néron model $\mathcal X$ for $X$ over $O_K$?
By a Néron model, I mean ...

**20**

votes

**4**answers

2k views

### Modular curves of genus zero and normal forms for elliptic curves

This is maybe the first question I actually need to know the answer to!
Let $N$ be a positive integer such that $\mathbb{H}/\Gamma(N)$ has genus zero. Then the function field of ...

**20**

votes

**1**answer

902 views

### Can one prove complex multiplication without assuming CFT?

The Kronecker-Weber Theorem, stating that any abelian extension of $\mathbb Q$ is contained in a cyclotomic extension, is a fairly easy consequence of Artin reciprocity in class field theory (one just ...

**19**

votes

**4**answers

2k views

### The class number formula, the BSD conjecture, and the Kronecker limit formula

If K is a number field then the Dedekind zeta function Zeta_K(s) can be written as a sum over ideal classes A of Zeta_K(s, A) = sum over ideals I in A of 1/N(I)^s. The class number formula follows ...

**19**

votes

**1**answer

758 views

### What is $Aut(Ell)$?

Consider the stack $Ell$ (of groupoids) of elliptic curves. I'm interested in the autoequivalence 2-group of $Ell$, the objects of which consists of transformations $Ell \Rightarrow Ell: Ring \to Gpd$ ...

**18**

votes

**5**answers

1k views

### Why does the group law commute with morphisms of elliptic curves?

I know this should be pretty simple, but right now the only way I can see how to prove it is to sit down and write out explicit formulae for the group law, and see that everything works out. What's ...

**18**

votes

**3**answers

2k views

### Is there a nice proof of the fact that there are (p-1)/24 supersingular elliptic curves in characteristic p?

If $k$ is a characteristic $p$ field containing a subfield with $p^2$ elements (e.g., an algebraic closure of $\mathbb{F}_p$), then the number of isomorphism classes of supersingular elliptic curves ...

**18**

votes

**1**answer

1k views

### Modern proof of Serre's open image theorem?

Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. Serre's open image theorem (which appears in his book 'Abelian $l$-Adic Representations and Elliptic ...

**18**

votes

**1**answer

533 views

### How to explicitly compute lifting of points from an elliptic curve to a modular curve?

Say $E$ is an elliptic curve over the rationals, of conductor $N$. There's a covering of $E$ by the modular curve $X_0(N)$, and if you rig it right then you can define this map over $\mathbf{Q}$: ...

**18**

votes

**0**answers

1k views

### What are the possible singular fibers of an elliptic fibration over a higher dimensional base?

An elliptic fibration is a proper morphism $Y\rightarrow B$ between varieties such that the fiber over a general point of the base $B$ is a smooth curve of genus one.
It is often required for the ...

**17**

votes

**2**answers

1k views

### unboundedness of number of integral points on elliptic curves?

If $E/\mathbf{Q}$ is an elliptic curve and we put it into minimal Weierstrass form, we can count how many integral points it has. A theorem of Siegel tells us that this number $n(E)$ is finite, and ...

**17**

votes

**1**answer

1k views

### Fundamental group of the moduli stack of elliptic curves

I've heard that the étale fundamental group of the moduli stack of elliptic curves (over $\mathbb{Z}$) is trivial. Is there an easy proof of that? (Note that there are plenty of étale covers once one ...

**17**

votes

**3**answers

1k views

### Over which fields does the Mordell-Weil theorem hold?

According to a well-known theorem of Mordell, the group of rational points $E(\mathbf{Q})$ of an elliptic curve $E/\mathbf{Q}$ is finitely generated. Weil generalized this theorem to abelian varieties ...

**16**

votes

**6**answers

2k views

### When is a product of elliptic curves isogenous to the Jacobian of a hyperelliptic curve?

David's question Families of genus 2 curves with positive rank jacobians reminded me of a question that once very much interested me: when is a product of elliptic curves isogenous to the jacobian of ...

**16**

votes

**4**answers

1k views

### Does p-adic $L$- function determine the $L$ function

Let $E_1$ and $E_2$ be two Elliptic curve defined over $\mathbb Q$ . Let $p$ be an fixed given odd prime of $\mathbb Q$ at which both the curves have good ordinary reduction. Moreover p-adic ...

**16**

votes

**3**answers

2k views

### Conceptual understanding of the Gross-Zagier theorem.

The Gross-Zagier paper "Heegner points and derivatives of $L$-series", is really computational and hard to plow through. It seems it is futile to read it as such and one must look for a more ...

**15**

votes

**6**answers

3k views

### Algorithms for finding rational points on an elliptic curve?

I am looking for algorithms on how to find rational points on an elliptic curve $$y^2 = x^3 + a x + b$$ where $a$ and $b$ are integers. Any sort of ideas on how to proceed are welcome. For example, ...

**15**

votes

**3**answers

1k views

### Regulators of Number fields and Elliptic Curves

There is supposed to be a strong analogy between the arithmetic of number fields and the arithmetic of elliptic curves. One facet of this analogy is given by the class number formula for the leading ...

**15**

votes

**3**answers

609 views

### Elliptic curve over a scheme is a group scheme?

In Katz's article p-adic properties of modular schemes and modular forms in the Antwerp proceedings, the following definition of an elliptic curve over a base scheme $S$ is given:
By an elliptic ...

**15**

votes

**1**answer

874 views

### Are Q-curves now known to be modular?

I really should know the answer to this, but I don't, so I'll ask here.
A Q-curve is an elliptic curve E over Q-bar which is isogenous to all its Galois conjugates. A Q-curve is modular if it's ...

**15**

votes

**0**answers

392 views

### Cohomological characterization of CM curves

In his 1976 classical Annals paper on $p$-adic interpolation, N. Katz uses the fact that if $E_{/K}$ is an elliptic curve with complex multiplications in the quadratic field $F$, up to a suitable ...

**14**

votes

**6**answers

2k views

### A non-technical account of the Birch—Swinnerton-Dyer Conjecture

I was wondering whether anyone knows of any good non-technical or even popular expositions of the Birch—Swinnerton-Dyer conjecture, for someone with minimal background in elliptic curves. I was ...

**14**

votes

**11**answers

2k views

### Fastest way to factor integers < 2^60

I've been running a search for Mordell curves of rank >=8 for about 12 months and have identified approximately 280,000 curves in our archivable range, amongst many millions that aren't.
For this ...

**14**

votes

**1**answer

1k views

### If p is a prime congruent to 9 mod 16, can 4 divide the class number of Q(p^(1/4))?

When $p$ is a prime $\equiv9\bmod16$, the class number, $h$, of $\mathbb Q(p^{1/4})$ is known to be even. In
[Charles J. Parry,
A genus theory for quartic fields.
Crelle's Journal 314 (1980), ...

**14**

votes

**1**answer

848 views

### What's the Hilbert class field of an elliptic curve?

My question points in a direction similar to Qiaochu's, but it's not the same (or so I think). Let me provide you with a little bit of background first.
Let E be an elliptic curve defined over some ...

**14**

votes

**2**answers

556 views

### Structure of $E(Q_p)$ for elliptic curves with anomalous reduction modulo $p$

For simplicity, take $p\ge7$ a prime and $E/\mathbb{Q}$ an elliptic curve with good anomalous reduction at $p$, i.e., $|E(\mathbb{F}_p)|=p$. There is a standard exact sequence for the group of points ...

**14**

votes

**0**answers

665 views

### Fake CM elliptic curves

Suppose one has an elliptic curve $E$ over $\mathbb{Q}$ with conductor $N < k^3$ for some (large) positive $k$, with the property that its Fourier coefficients satisfy
$$
a_p=0, \; \mbox{ for all ...

**13**

votes

**4**answers

2k views

### Etale cohomology and l-adic Tate modules

$\newcommand{\bb}{\mathbb}\DeclareMathOperator{\gal}{Gal}$
Before stating my question I should remark that I know almost nothing about etale cohomology - all that I know, I've gleaned from hearing off ...

**13**

votes

**3**answers

2k views

### Are there any rational solutions to this equation?

I am not sure if this is an appropriate question, but I was asked this by a colleague today and do not know how to answer it.
1) Are there any rational solutions to the following equation:
...

**13**

votes

**3**answers

907 views

### rational points on algebraic curves over $Q^{ab}$

Motivation:
Let $Q_{\infty,p}$ be the field obtained by adjoining to $Q$ all $p$-power roots of unity for a prime $p$. The union of these fields for all primes is the maximal cyclotomic extension ...

**13**

votes

**3**answers

2k views

### Rational Points on $y^2=x^3-86069^5$

The analytic rank of the Mordell elliptic curve $y^2=x^3-86069^5$ indicates that it has rank 2. However, deriving a set of generators, and hence the regulator, is proving to be a little bit of an ...

**13**

votes

**2**answers

1k views

### Quaternary quadratic forms and Elliptic curves via Langlands?

The content of this note was the topic of a lecture by Günter Harder at the School on Automorphic Forms, Trieste 2000. The actual problem comes from the article
A little bit of number theory by ...

**13**

votes

**3**answers

442 views

### Average rank of elliptic curves, excluding those of low rank

It's conjectured that, asymptotically, half of elliptic curves have rank 0, half have rank 1, and elliptic curves of rank $\geq 2$ have density 0. But what if we disregard elliptic curves of rank 0 or ...

**13**

votes

**3**answers

1k views

### Can you show rank E(Q) = 1 exactly for infinitely many elliptic curves E over Q without using BSD?

Let $K$ be a number field and let $\mathcal O_K$ be the ring of integers. Following this paper of Cornelissen, Pheidas, and Zahidi, a key ingredient needed to show that Hilbert's tenth problem has a ...

**13**

votes

**4**answers

966 views

### The ring of algebraic integers of the number field generated by torsion points on an elliptic curve

(Warning: a student asking)
Let $E$ be an elliptic curve over $\mathbf Q$. Let $P(a,b)$ be a (nontrivial) torsion point on $E$. Is there an easy description of the ring of algebraic integers of ...

**13**

votes

**1**answer

476 views

### components of E[p], E universal in char p.

I have just realised that a group scheme I've known and loved for years is probably a bit wackier than I'd realised.
In this question, in Charles Rezk's answer, I erroneously claim that his ...

**12**

votes

**2**answers

636 views

### Sums of two cubes

In his solution of the equation $x^3 + dy^3 = 1$, Nagell
comes across the equation
$$ u^3 + 6u^2v + 3uv^2 - v^3 = w^3. $$
He then observes that
$$ (u^3 + 6u^2v + 3uv^2 - v^3) U^3 = V^3 + W^3 $$
for
...

**12**

votes

**1**answer

430 views

### State of knowledge of $a^n+b^n=c^n+d^n$ vs. $a^n+b^n+c^n=d^n+e^n+f^n$

As far as I understand, both of the Diophantine equations
$$a^5 + b^5 = c^5 + d^5$$
and
$$a^6 + b^6 = c^6 + d^6$$
have no known nontrivial solutions, but
$$24^5 + 28^5 + 67^5 = 3^5+64^5+62^5$$
and
...