**0**

votes

**1**answer

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

**4**

votes

**3**answers

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

**1**

vote

**0**answers

36 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

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

**6**

votes

**4**answers

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

**9**

votes

**1**answer

301 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

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

**1**

vote

**1**answer

200 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

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

**5**

votes

**1**answer

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

**2**

votes

**0**answers

113 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

67 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

254 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

292 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

182 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

531 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

69 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

360 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

240 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

591 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

76 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

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

**11**

votes

**2**answers

759 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

82 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

119 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

133 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

349 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

78 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

112 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

514 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

501 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

43 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

42 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

439 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

141 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

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

**0**

votes

**1**answer

230 views

### On elliptic curves, $\sqrt{x^2-101y^2} ,\sqrt{x^2+101y^2}$, and their ilk

I. Elliptic curves
Given integers $a,b,m_k$. Let,
$$x^2+a = m_1u_1^2\\x^2+b = m_1u_2^2\tag1$$
If there is a rational point $x_i$, then the pair (after a transformation) is birationally ...

**3**

votes

**1**answer

72 views

### Finiteness of the $p$-primary subgroup of an elliptic curve over the cyclotomic $\mathbb{Z}_p$-extension

Let $E$ be an elliptic curve defined over a number field $F$ and $F_\infty$ be the cyclotomic $\mathbb{Z}_p$-extension of $F$. Is it true that the $p$-primary subgroup of $E$ over $F_\infty$ i.e. ...

**3**

votes

**1**answer

311 views

### Cohomology of elliptic curves

Assume $K$ is an imaginary quadratic extension of $\mathbb{Q}$, and $E$ an elliptic curve defined over $\mathbb{Q}$.
Let $p\neq l$ be primes in $\mathbb{Q}$ where $E$ has good reduction. Assume $p$ ...

**3**

votes

**1**answer

142 views

### Identifying the canonical principal polarization of a Jacobian

Let $X$ be a curve over an algebraically closed field $k$ (even over $k = \mathbb{C}$ if you want), let $J = Pic^0_{X/k}$ be its Jacobian, let $P \in X(k)$ be a point, and let $i \colon X ...

**3**

votes

**1**answer

165 views

### Lifting of Frobenius on semi-abelian varieties

Let $A$ be a semi-abelian variety over a field $k$($char\, k=p$). Namely, there is an exact sequence of group schemes $$0\to T\to A\to B\to 0$$ where $T$ is a torus, $B$ an abelian variety. Assume ...

**4**

votes

**1**answer

139 views

### Lifting of Frobenius on torsors over abelian varieties

This is related to my previous question Assume that $A$ is an abelian variety over a field $k$ of characteristic $p$, $\mathcal{L}$ is a line bundle on $A$. Assume that $A$ is ordinary and ...

**1**

vote

**0**answers

66 views

### Complex Structure Moduli of Elliptic Fibrations

Given an elliptically fibered Calabi-Yau threefold in Weierstrass form I want to compute the number of complex structure moduli of the fibration.
I know how it is done for the generic Weierstrass ...

**0**

votes

**0**answers

68 views

### Algebraic operations with memory hardness properties

In cryptography, there are password hash functions like scrypt and argon2 for which the fastest known algorithms employ large ...

**8**

votes

**0**answers

143 views

### Hilbert scheme of projectively normal elliptic curves

Consider the Hilbert scheme of degree $n$, genus $1$ curves in $\mathbb P^{n-1}$. It contains the locus of smooth curves embedded by the complete linear system of a degree $n$ divisor. Let $X_n$ be ...

**6**

votes

**0**answers

123 views

### Is there a prime degree endomorphism on supersingular elliptic curves?

Let $E$ be a supersingular elliptic curve which is defined over field $\mathbb{F}_{p^2}$ and $l$ be a prime such that $gcd(l,p)=1$.
Is there an endomorphism $\phi\in End(E)$ such that $deg(\phi)=l$?
...

**12**

votes

**1**answer

335 views

### Weak Mordell-Weil over number fields

I have a question regarding the Mordell Weil theorem a number field $K$.
I read the proof of the Mordell Weil theorem in "rational points on elliptic curves" by Tate and Silverman.
They presented a ...

**3**

votes

**1**answer

727 views

### Abelian varieties with CM

In this site, I looked at a paper of Kazuma Morita claiming the BSD conjecture for the CM case
posted on his homepage (he made a mistake three years ago for full BSD).
But, I am interested in this ...

**0**

votes

**1**answer

136 views

### Find special elliptic curves from j-invariant

Let $E$ be the elliptic curve defined over $GF(p)$ and $j$ be j-invariant of $E$, where $p$ is a big prime number. Also suppose $l$ be small prime number (for example $l<5000$) and $\#E$ denote ...