**1**

vote

**0**answers

65 views

### Explicit construction of a bielliptic curve

Let $C$ be a (projective smooth complex) curve such that $K_C=2(D+p)$, with $D+p$ defining a $g_7^2$; $p$ is a base point and $D$ defines a 2-to-1 map $\varphi:C\rightarrow E\subset\mathbb{P}^2$ onto ...

**13**

votes

**5**answers

5k views

### Is the ABC conjecture known to imply the Riemann hypothesis?

I once heard from a graduate student that the ABC conjecture implies the Riemann hypothesis. I can't find a reference for this, but given the department the student is from I tend to believe he might ...

**0**

votes

**1**answer

123 views

### An example of ``all non-torsion rational points on an elliptic curve are integral points''?

For an elliptic curve $E$ over $\mathbb{Q}$, it is well-known that the torsion points on $E$ are integral points.
Then, is it possible that there exists an example whose all of non-torsion rational ...

**1**

vote

**2**answers

160 views

### How to prove that $A$ is supersingular iff the Picard number $\rho(A)$ is equal to the second $l$-adic Betti number $b_2(A) = 6$?

Let $A$ be an abelian surface over algebraically closed field $k$ of characteristic $p > 2$. How to prove that $A$ is supersingular (in other words, there is an isogeny between $A$ and $E^2$, where ...

**5**

votes

**1**answer

615 views

### Ordinary primes vs supersingular primes

Let $E$ be an elliptic curve over $\mathbb{Q}$ without CM. As shown by Serre, the set of supersingular primes for $E$ has density zero.
Is the analytic rank of $L(E,1)$ determined only by the ...

**14**

votes

**1**answer

825 views

### Hecke operators acting as correspondences?

This question is inspired by Relation between Hecke Operator and Hecke Algebra
I remember having heard of yet another way of looking at Hecke operators acting on the spaces of modular forms for ...

**31**

votes

**2**answers

1k views

### Estimating the size of solutions of a diophantine equation

A. Is there natural numbers $a,b,c$ such that $\frac{a}{b+c} + \frac{b}{a+c} + \frac{c}{a+b}$ is equal to an odd natural number ?
(I do not know any such numbers).
B. Suppose that $\frac{a}{b+c} + \...

**6**

votes

**1**answer

65 views

### Bilinearity of the Cassels-Tate pairing

Let $K$ be a number field and let $A$ be an abelian variety over $K$ (I'm mostly interested in the case that $A$ is an elliptic curve). We use $v$ to denote places of $K$ and we write $H^i(k, A)$ for ...

**2**

votes

**0**answers

112 views

### Reduction “modulo $p$” of $\mathfrak{p}$-torsion points of CM elliptic curves

Let $E/L$ be an elliptic curve defined over a number field $L$. Assume moreover that $E$ has complex multiplication by an imaginary quadratic field $K$. Let $\mathfrak{p}$ be a prime ideal of $K$. ...

**3**

votes

**1**answer

178 views

### Tate modules of elliptic curves with complex multiplications

Let $E/K$ be an elliptic curve with complex multiplication
over an imaginary quadratic field $K$. Then, I heard that
it is well-known that the Tate module $V_{p}(E)$ over
$\mathbb{Q}_{p}$ ...

**0**

votes

**1**answer

67 views

### Is $H^{1}_{Sel}\left(K,E_{p^{n}}\right)\rightarrow\prod_{q \nmid \infty} H^1\left(K_{q},E_{p^{n}}\right)$ an injection?

If $K$ is a number field, $E$ an elliptic curve and $p$ a prime, does the Selmer group
$$H^{1}_{\operatorname{Sel}}\left(K,E_{p^{n}}\right)$$
always inject into
$$\prod_{q \text{ a nonarchimedean ...

**0**

votes

**0**answers

215 views

### Conditions for splitting of short exact sequence?

Assume $K$ is a number field and $E$ is an elliptic curve defined over $K$.
Are there conditions under which the short exact sequence
$$0\rightarrow E (K)/mE (K)\rightarrow H^1_{Sel}(K,E_m)\...

**7**

votes

**1**answer

491 views

### Analytic continuation for $L$-functions of elliptic curves

Let $E$ be an elliptic curve over a number field.
When $E$ has no CM and is a $\mathbb Q$-curve (i.e. it is $\overline{\mathbb Q}$-isogenous to all of its conjugates), it is nowadays known that $E$ ...

**5**

votes

**3**answers

157 views

### Birationally transforming a quartic elliptic curve

Consider the elliptic curve
$$y^2=ax^4+cx^2+dx+f$$
I am aware that there are algorithmic methods for birationally transforming a nondegenerate cubic curve into the Weierstrass canonical form (...

**0**

votes

**1**answer

108 views

### Finding out $p$-torsion elements of an elliptic curve $E$ over $\mathbb{Q}_p$

Let $E$ be an elliptic curve over $\mathbb{Q}$.
Then how to compute the $p$-torsion elements of $E$ over the $p$-adic field $\mathbb{Q}_p$ using SAGE or any other means ?
At least can we say whether ...

**1**

vote

**0**answers

54 views

### What is the relation between roots of classical and Atkin modular polynomial?

Modular polynomials are a good tools in elliptic curves. I need to find the roots of $l$-th classical modular polynomial $\Phi_l(X,Y)$ over the prime field. Unfortunately the coefficients of these ...

**11**

votes

**1**answer

423 views

### Elements of arbitrary large order in the first Galois cohomology of an elliptic curve

Let $E$ be an elliptic curve over $k=\mathbb{Q}$. Consider $H^1(k,E)$.
In this answer Daniel Loughran writes: "I'm pretty sure that this cohomology group has elements of arbitrarily large order". I ...

**7**

votes

**4**answers

840 views

### Clarification on the weak BSD conjecture

It is usually told that Birch and Swinnerton-Dyer developped their famous conjecture after studying the growth of the function
$$
f_E(x) = \prod_{p \le x}\frac{|E(\mathbb{F}_p)|}{p}
$$
as $x$ tends to ...

**10**

votes

**1**answer

311 views

### Integral points on elliptic curves of the form $y^2=x^3+px$

As the title says. Can we determine all the integral points on elliptic curves of the form
$$y^2=x^3+px$$
for a prime $p$? If yes, can someone explain me how? A good reference would also be ...

**3**

votes

**1**answer

280 views

### Frobenius at ramified primes

Let $E$ be an elliptic curve defined over $\mathbf{Q}$, fix an odd prime $p>3$, let $T_p$ denote the $p$-adic Tate module of $E$, and let $V_p = T_p \otimes \mathbf{Q}_p$.
If the action of $G_\...

**1**

vote

**1**answer

203 views

### Finding cyclic subgroups of points on elliptic curves for isogeny based cryptography

Isogeny based cryptography is one of the newest post-quantum cryptography. Hardness of this system is based on finding isogeny between two elliptic curves. Also this is a theorem:
Elliptic curves ...

**17**

votes

**2**answers

901 views

### What is the smallest positive integer for which the congruent number problem is unsolved?

The congruent number problem is the problem of figuring out whether a given positive integer $N$ is the area of a right-angled triangle with all side lengths rational. According to Dickson's "History ...

**10**

votes

**1**answer

464 views

### Ramification of the map from the stack of elliptic curves to the $j$-line

Let $\mathcal{M}_{1, 1}$ be the stack of elliptic curves. Its coarse moduli space is $\mathbb{A}^1_{\mathbb{Z}}$ with the map $\mathcal{M}_{1, 1} \rightarrow \mathbb{A}^1_{\mathbb{Z}}$ given by the $j$...

**5**

votes

**1**answer

230 views

### j-invariants for isogenous elliptic curves

Let $E$ be a smooth complex elliptic curve, and $\sigma$ translation of $E$ given by a point $p$ on $E$ of finite order, with respect to some fixed origin.
What are the $j$-invariants related with $E$...

**2**

votes

**0**answers

124 views

### Uniform bound on the Mordell-Weil rank of elliptic curves

I want to know that if there is an uniform upper bound for the rank of elliptic curves over $\mathbb{C}(t)$, the rational function field over complex numbers, and generaly over the function field of ...

**1**

vote

**0**answers

71 views

### “Algebrazing” canonical subgroups of elliptic curves

I'm puzzled by a part of the construction of the canonical subgroup of a "not too supersingular" elliptic curve. In Katz's paper, one produces a subgroup of the formal group of the elliptic curve but ...

**11**

votes

**1**answer

279 views

### Computing endomorphism rings of supersingular elliptic curves

I would like to know what algorithms there are to compute the linearly independent generators $(1,i,j,k)$ for quaternion algebra containing the endomorphism ring of a supersingular curve. The curve in ...

**9**

votes

**2**answers

307 views

### Neron models and ramification

I encountered this result while reading a few things, and it was stated without reference. I am having a hard time finding a reference for it (or a simple proof), so maybe you can help me:
let $E$ be ...

**3**

votes

**1**answer

186 views

### Connected-étale sequence for ordinary CM elliptic curves

Let $E/k$ be an elliptic curve over algebraically closed field of characteristic $p$ with CM, for simplicity, by the maximal order of a quadratic imaginary field $K/\mathbb{Q}$.
Suppose that $p$ is ...

**3**

votes

**0**answers

543 views

### Automorphisms of the L-function associated to an elliptic $\mathbb{Q}$-curve

Edited after Noam Elkies' comment: From what I understand (very few actually), there exist elliptic curves defined over some number fields $\mathbb{K}$ Galois over $\mathbb{Q}$ which are isogenous to ...

**0**

votes

**1**answer

73 views

### Heights of multiples of rational points on elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve, given by some minimal Weierstrass equation (say $Y^2 = X^3 + aX + b$ for some integer $a$ and $b$), and let $P$ be a rational point on $E$ which is not the ...

**5**

votes

**2**answers

382 views

### BSD and generalisation of Gross-Zagier formula

The classical Gross-Zagier formula and the modularity theorem leads to a proof of half-BSD (i.e. an inequality and not equality) for elliptic curves of analytic rank 0.
The Gross-Zagier formula gives ...

**5**

votes

**1**answer

242 views

### Average size of $p$-part of the Tate-Shafarevich group for elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve defined over $\mathbb{Q}$. For a given prime $p$, the $p$-Selmer group $\operatorname{Sel}_p(E)$ of $E$ and the $p$-part of the Tate-Shafarevich $Ш_E[p]$ group ...

**5**

votes

**2**answers

614 views

### Langlands program vs Shimura-Taniyama-Weil conjecture

Edward Frenkel said that "we can see Langlands program as a generalization of Shimura-Taniyama-Weil conjecture in the case of elliptic curves"
I hope I'm not distorting his phrase, can someone ...

**0**

votes

**0**answers

79 views

### Fastest algorithm to compute isogeny

Let $E/GF(p)$ and $E'/GF(p')$ are two isogenous elliptic curves($\#E=\#E'$). We know that there exist the map
$$\psi : E \to E'$$
Suppose that we haven't any information about degree of $\psi$.
...

**7**

votes

**1**answer

471 views

### is the modular curve X(N) defined over Q?

In most sources, the field of definition of the modular curve $X(n)_\mathbb{C}$ (quotient of the upper half plane by the subgroup $\Gamma(n)$ of $SL_2(\mathbb{Z})$ congruent to $I\mod n$) is $\mathbb{...

**11**

votes

**2**answers

768 views

### Tate uniformization of nonsplit semistable elliptic curves

Let $E/\mathbf{Q}_p$ be an elliptic curve having split multiplicative reduction. Then Tate uniformization gives a surjective homomorphism of $p$-adic analytic groups $G_m \to E$, with infinite cyclic ...

**2**

votes

**0**answers

83 views

### what is the structure of the group of isogenies between two ordinary elliptic curve?

Let $E_1$ and $E_2$ be two ordinary elliptic curves. It is well known that the group $Home(E_1,E_2)$ is a $\mathbb{Z}$ module of rank at most four. In the case where $E_1=E_2$, this module has rank ...

**3**

votes

**0**answers

152 views

### Equivalent definitions of the Hasse invariant

As probably many others before me, I got stuck in verifying all the nice properties of the Hasse invariant.
Let me start by recalling one definition:
Let $E\to S$ be an elliptic curve in ...

**4**

votes

**1**answer

136 views

### Congruence Primes and Modular Degrees

Let $\mathcal{S}=S_2(\Gamma_0(N) \cap \mathbf{Z} [[ q ]]$ be the set of cusp forms of weight $2$ on $\Gamma_0(N)$ with integral coefficients.
Let $f \in \mathcal{S}$ be a normalized newform, so it ...

**7**

votes

**0**answers

369 views

### Field of definition of a point in $[p]^{-1}E(K)$

Let $E$ be an ordinary elliptic curve defined over a non-perfect field $K$ of characteristic $p$. If $P \in E(K)$ satisfies $P \not\in [p]E(K)$, is it true that its $p^m$-division points of $P$ are ...

**5**

votes

**0**answers

81 views

### Reference request: "effective'' semistable reduction

I am looking for the origin of the following idea: suppose $m$ and $n$ are relatively prime integers $\geq 3$. Let $E$ be an elliptic curve over a number field $K$. Let $L/K$ be a finite extension ...

**3**

votes

**0**answers

115 views

### Complex multiplication and ray class fields

This question is mainly referring to the proof of Theorem 5.6, Chapter 2 of Silverman's "Advanced Topics in the AEC". Basically, let $K$ be an imaginary quadratic field, and $E$ be an elliptic curve ...

**21**

votes

**2**answers

528 views

### CM $j$-invariants in $p$-adic fields

I'm trying to understand the $p$-adic distribution of $j$-invariants for elliptic curves with complex multiplication.
Specifically, suppose $\sigma$ is some embedding $\sigma:\overline{\mathbb Q}\to \...

**5**

votes

**0**answers

502 views

### Formal groups in the supersingular reduction case

Let $E/\mathbb{Q}$ be an elliptic curve with potential good supersingular reduction at $p$. Thus, there is a finite extension $K/\mathbb{Q}_p$ such that $E/K$ has good supersingular reduction. Let us ...

**2**

votes

**0**answers

45 views

### What is the complexity of finding a distortion map on a supersingular elliptic curve?

Let $E$ be a supersingular elliptic curve which is defined over $\mathbb{F}_q$ and $P\in E$. Then there exist a distortion map with respect to $P$. I am looking for an algorithm which finds the map ...

**1**

vote

**0**answers

43 views

### How can I find the specific endomorphism in a supersingular elliptic curve?

Let $E$ be a supersingular elliptic curve. As we know the endomorphism of $E$ is an order in a quaternion algebra. Suppose that $End(E)=\mathcal{O}$ and $a\in \mathcal{O}$. How can I find the ...

**5**

votes

**3**answers

445 views

### Extending rational Diophantine triples to sextuples

(This is a follow-up to a previous post.) A rational Diophantine $m$-tuple is a set of rationals {$a_1,a_2,\dots a_m$} such that (with $i\neq j$), all $a_i a_j+1$ is a square. Problem: Find a class of ...

**8**

votes

**0**answers

147 views

### Elliptic curves and the $\ell$-adic image of the decomposition group

Let $E$ be an elliptic curve over $\mathbb{Q}_\ell$ and consider the image of the $\ell$-adic representation. Is there a description of this image similar to Serre's description of the image of the ...

**0**

votes

**0**answers

69 views

### Elliptic curve : determine size of group $E/E_0$

My curve is given by E : $y^2 = x^3-3267x+45630$. Bad primes are 2,3,17. I want to find the size of group $E/E_0$. I know that $E_0(Q_2)$ are points on $E(Q_2)$ that do not reduce to a singular point. ...