**59**

votes

**1**answer

4k 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 ...

**48**

votes

**3**answers

5k 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 ...

**39**

votes

**0**answers

2k views

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

Consider an elliptic curve $E$ defined over $\mathbb Q$. Assume that the rank of $E(\mathbb Q)$ is $\geq2$. (Assume the Birch-Swinnerton-Dyer conjecture if needed, so that analytic rank $=$ algebraic ...

**35**

votes

**9**answers

6k 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 ...

**35**

votes

**0**answers

782 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 : 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,
$$
\# ...

**29**

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.
...

**24**

votes

**5**answers

5k 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 ...

**24**

votes

**1**answer

1k views

### $x^4+y^4$ powerful for relatively prime $x,y$

I asked this question on the NMBRTHRY mailing list on
17 February 2014, but it remains unsolved as far as I know.
Recall that a "powerful
number" is a positive integer whose prime factorizations
$m = ...

**23**

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 ...

**23**

votes

**1**answer

1k 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 ...

**23**

votes

**2**answers

827 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}$: ...

**22**

votes

**1**answer

2k 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 ...

**21**

votes

**6**answers

2k 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 ...

**21**

votes

**1**answer

1k views

### Possible counterexample to a theorem assuming Lang's conjecture

Looks like I found a counterexample to a theorem assuming Lang's conjecture,
but not sure it is correct.
Boundedness of Mordell–Weil ranks of certain elliptic curves and Lang’s conjecture
p. 2
...

**21**

votes

**3**answers

692 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 ...

**21**

votes

**4**answers

3k 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

**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

**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 ...

**20**

votes

**1**answer

1k 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

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 ...

**20**

votes

**1**answer

1k 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 ...

**20**

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 ...

**19**

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 ...

**19**

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 ...

**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

**2**answers

924 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
...

**19**

votes

**1**answer

812 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

2k 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 ...

**17**

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 ...

**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

**0**answers

771 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 ...

**16**

votes

**11**answers

3k 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 ...

**16**

votes

**6**answers

4k 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, ...

**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 ...

**16**

votes

**1**answer

968 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 ...

**16**

votes

**0**answers

263 views

### Elliptic $\infty$-line bundles over $B G$

Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps
$$
B G \longrightarrow B \mathrm{GL}_1(A)
$$
for $A$ an $E_\infty$-ring carrying an oriented ...

**15**

votes

**4**answers

3k 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 ...

**15**

votes

**6**answers

3k 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 ...

**15**

votes

**3**answers

2k 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

823 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

**2**answers

781 views

### Simple proofs for the existence of elliptic curves having a given number of points

Yesterday, after he gave a nice talk, Dick Gross and I were chatting and he brought up the following annoying problem: suppose that for $p$ a prime that $H_p$ is the "Hasse interval" $[p+1- 2 ...

**15**

votes

**0**answers

409 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

**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:
...

**14**

votes

**3**answers

512 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 ...

**14**

votes

**1**answer

672 views

### Examples of elliptic curves over $\mathbb{Q}$

I need examples of two non-isogenous elliptic curves $E_{1}, E_{2}$ over $\mathbb{Q}$ having the following 2 properties -
1) $E_{1}, E_{2}$ have no rational torsion points.
2) $E_1[9] \cong E_2[9]$ ...

**14**

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 ...

**14**

votes

**3**answers

2k 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 ...

**14**

votes

**1**answer

301 views

### Why there are only finitely many $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves with CM by $\mathcal{O}$?

For someone who does not have a very extensive knowledge of number theory, what is a good intuitive explanation as to why there are only finitely many $\overline{\mathbb{Q}}$ isomorphism classes of ...

**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

**2**answers

215 views

### S integral points of an elliptic curve, with S of positive density

Let E be an elliptic curve over Q of non-zero rank. Let S be the union of the primes of bad reduction of E with a Chebotarev set [1]. Suppose additionally that S has density strictly less than one.
...