An elliptic curve is an algebraic curve of genus one with some additional properties. Questions with this tag will often have the top-level tags nt.number-theory or ag.algebraic-geometry in addition; note also the tag arithmetic-geometry as well as some related tags such as rational-points, ...

learn more… | top users | synonyms

3
votes
1answer
136 views

Proof of a Proposition regarding the reduction of N-torsion groups on elliptic curves

In Diamond-Shurman A first course in Modular forms p.334 Prop. 8.4.4. It is stated, For E elliptic curve over $\bar{\mathbb{Q}}$ with good reduction at the prime ideal $\mathfrak{p}$ the reduction ...
2
votes
0answers
133 views

A morphism of elliptic schemes that preserves the identity is a homomorphism

I am trying to understand the proof of the fact that any morphism $f \colon E_1 \rightarrow E_2$ of elliptic curves over an arbitrary base scheme $S$ satisfying $f(0) = 0$ must respect the group ...
2
votes
1answer
160 views

Difference between Frobenii on Tate modules of special and generic fibre

Let $E$ be elliptic curve over $\mathbb Q$ and $p$ a prime of good reduction for $E$. Fix $\ell \neq p$. If $E_p$ is ordinary then we have Frobenius $F_p$ on $E_p$. Assume $F_p$ lifts to ...
2
votes
1answer
151 views

rational point of a curve [closed]

Let $X$ be a smooth projective curve over $\mathbb{Q}$. I heard (if I did not misunderstood) that the geometry of the complex points $X(\mathbb{C})$ (flat, hyperbolic case) dicts the shape (group ...
0
votes
0answers
22 views

Reading roots of the supersingular polynomial from an explicit formula

I wish to obtain an explicit expression for the supersingular polynomial such that the roots of the polynomial can be easily read from it. I am aware of the work of Brillhart and Morton -- ...
4
votes
1answer
497 views

The elliptic curve for $x_1^9+x_2^9+\dots+x_6^9 = y_1^9+y_2^9+\dots+y_6^9$

I. If there are $a,b,c,d,e,f$ such that, $$a+b+c = d+e+f\tag1$$ $$a^2+b^2+c^2 = d^2+e^2+f^2\tag2$$ $$3u^3-3uv+w=-def\tag3$$ where $u=a+b+c,\; v = ab+ac+bc,\;w = abc$, then, $$(a + u)^k + (b + ...
1
vote
0answers
77 views

Need information about particular kind of quotients of semisimple algebraic groups by free abelian discrete subgroups

Let me start with the simplest version of the question since already there I don't know anything. For a complex number $q$, consider the quotient space $X_q:=\mathrm{SL}_2(\mathbb ...
0
votes
0answers
69 views

Asymptotic Expansion of Double integral

Crosspost from math.stackexchange. Have a look at the great answers there, even though they do not quite answer the question completely. Define $$G(\theta) = \int\limits_0^\infty \int\limits_0^{2\pi} ...
5
votes
0answers
244 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 ...
2
votes
2answers
499 views

Is it possible on an elliptic curve both $x,y$ to be arbitrary large powers infinitely often?

Let $f(x,y)=0$ be irreducible elliptic curve over the rationals. Are there $f$ for which: Both $x,y$ are arbitrary large powers infinitely often, i.e. infinitely many rational points $(u^k,v^m)$ ...
3
votes
0answers
210 views

On 7th and 8th powers for $x_1^k+x_2^k+x_3^k+x_4^k = y_1^k+y_2^k+y_3^k+y_4^k$

The Diophantine equation, $$x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k\tag1$$ for either $k=5$ or $6$ is quite well explored, and it has long been known that it has an infinite number of primitive ...
23
votes
1answer
829 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 = ...
5
votes
1answer
278 views

On the elliptic curve $x(x+a^2)(x+b^2) = y^2$

Ajai Choudhry showed that special cases of the elliptic curve, $$x(x+a^2)(x+b^2)=y^2\tag1$$ can be used to prove that, $$u_1^7+u_2^7+\dots + u_9^7 = 0\tag2$$ has an infinite number of primitive ...
11
votes
1answer
649 views

More elliptic curves for $a^4+b^4+c^4+d^4 = (a+b+c+d)^4$?

(Note: See also the $a^4+b^4+c^4 = 1$ version in this old MSE post.) The equation discussed in a paper by Jacobi and Madden, $$a^4+b^4+c^4+d^4 = (a+b+c+d)^4 = z^4\tag1$$ or equivalently, $$(p-2q + ...
3
votes
2answers
137 views

Can the pre-image of the real points in the complex upper-half plane of a modular elliptic curve under the modular parametrization be identified?

Consider an elliptic curve $E/\Bbb Q$ and let $\Phi:\Gamma_0(N)\backslash\overline{\mathfrak{H}}\rightarrow E(\Bbb C)$ be the analytical description of its modular parametrization. We know that this ...
2
votes
1answer
90 views

Simple Isogeny Question

I'm looking for a reference of an isogeny fact that I've used many times but am having a hard time proving formally. One can define the degree of an isogeny as the degree of extension fields of the ...
7
votes
2answers
328 views

Least supersingular prime

Given an elliptic curve over the rationals, what can one say about the size of the smallest supersingular prime?
11
votes
2answers
474 views

Are there nonisotrivial elliptic curves over $\mathbb{G}_m$?

Is there an elliptic curve over $\mathbb{C}[t, t^{-1}]$ that has a nonconstant $j$-invariant? What is an equation for such a curve, if it exists?
1
vote
1answer
141 views

Canonical form of cubic curves over general fields

Given a field of characteristic not 2 or 3 containing a primitive third root of unity, is it true that every nonsingular cubic curve, i.e. a curve defined by one homogeneous form of degree 3 in 3 ...
0
votes
0answers
124 views

Is the Jacobi theta function invertible?

Let $\theta$ denote the Jacobi theta function: $$\theta=\sum_{k=0}^{\infty}{(-1)^kq^{k(k+1)}sin((2k+1)\frac{2\pi}{\omega_1}Re(z))},$$ and we have a complex number $t$. Suppose that we know there ...
0
votes
3answers
285 views

Why there are two point at infinity on certain elliptic curve [closed]

In article Adams, W. W., & Razar, M. J. (1980). Multiples of points on elliptic curves and continued fractions. Proc. London Math. Soc, 41, 481-498. is said on ...
11
votes
0answers
230 views

Am I missing something about this notion of Mirror Symmetry for abelian varieties?

This is a continuation of my recent question: Mirror symmetry for polarized abelian surfaces and Shioda-Inose K3s. In the comments of the question, I was directed to the paper ...
1
vote
1answer
192 views

computing height on elliptic curve of the form $y^2=x^3-nx$

Let $E$ be the elliptic curve $$y^2 =x^3 - 19*67 x$$ and $P=[26011/625,2159616/15625]$, I want to compute $\hat{h}(P)$ using formula given in Fujita, Y., & Terai, N. (2011). Generators for the ...
4
votes
1answer
172 views

Elliptic curves with maximal order in an imaginary field

Let $K/\mathbb{Q}$ be an imaginary quadratic extension with discriminant $-D$. Then there is an elliptic curve $E$ over $\overline{\mathbb{Q}}$ such that End$(E)^{0}: =$ End$(E) \otimes Q = K$. Now ...
5
votes
1answer
313 views

Many integral points on quartic models of elliptic curve via differences of squares

Pick fourth power free integer $n$ ($p^4$ doesn't divide $n$). Represent $n$ as difference of possibly negative integer squares $n=v_i^2-u_i^2$. The goal is to find quadratic polynomial with integer ...
9
votes
1answer
346 views

Eichler-Shimura congruence

I'm trying to understand the Eichler-Shimura congruence which relates the Hecke operator $T_p$ to Frobenius at $p$ in characteristic $p$. Two possible ways to compute $T_p$ mod $p$ seem to be: A) ...
0
votes
1answer
165 views

Is elliptic curve point division defined over the field of real numbers?

An elliptic curve is defined over the field of real numbers: $y^2=x^3 + ax + b$ A point P and scalar n can be multiplied using a combination of point doubling and adding. What about point division? ...
2
votes
1answer
140 views

Trivial Weil-Châtelet group

Does there exist an elliptic curve over a number field $K$ such that $WC(E/K)\cong H^1(G_K, E)$ is trivial?
9
votes
1answer
559 views

Questions about the “universal elliptic curve” over the affine $j$-line punctured at 0 and 1728

So my question refers to families of elliptic curves over the $\mathbb{A}^1_\mathbb{C}\setminus\{0,1728\}$ whose fiber above a point $j$ has $j$-invariant equal to $j$ (I understand it's not ...
0
votes
0answers
50 views

Geometric meaning of the group law on Jacobi quartic

Is there any geometric "face" of the group law on the Jacobi quartic similar to Weierstraß cubic? (Reminder: given any two distinct points on the cubic, let's draw a line containing both of them and ...
11
votes
2answers
2k views

How many Pythagorean triples are there in which every member is triangular?

How many Pythagorean triples $(a,b,c)$ are there such that $a, b$ and $c$ are triangular? Any two solutions with only $a$ and $b$ interchanged are considered equivalent. The question of existence ...
12
votes
3answers
465 views

For an elliptic curve $E/\mathbb{Q}$ can the cohomology group $H^1(\text{Gal}(\mathbb{Q}(E[p])/\mathbb{Q}), E[p])$ be nontrivial?

Suppose that $E$ an elliptic curve defined over $\mathbb{Q}$ and $p$ an odd prime. Let $G=\text{Gal}(\mathbb{Q}(E[p])/\mathbb{Q})$. I am wondering whether the cohomology group $H^1(G, E[p])$ can be ...
3
votes
3answers
410 views

Pairs of quadratic polynomials taking values pairs of consecutive squares

Let $f,g \in \mathbb{Z}[x]$ be quadratic and neither square. For $x,y,z \in \mathbb{Z}$ what is the maximal number of solutions to $f(x)=z^2,g(y)=(z+1)^2$? Solutions are integral points on the genus ...
16
votes
0answers
231 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 ...
6
votes
3answers
441 views

$j$-invariants of elliptic curves over finite fields

Let $K$ be a finite field, and $\overline{K}$ its algebraic closure. It is well known that two curves are isomorphic over $\overline{K}$ if and only if they have the same $j$-invariant. If two such ...
2
votes
0answers
220 views

Is the upper half plane an algebraic stack?

Here by algebraic stack I mean an algebraic stack over the etale site $\textbf{Sch}/\mathbb{C}$. So I've read from various nonrigorous sources that the upper half plane $\mathcal{H}$ is a fine moduli ...
3
votes
0answers
158 views

Fourier expansions of newforms at width-1 cusps

Let $f_E$ be the newform attached to the Elliptic Curve $E$ with cremona label $\textbf{100a1}$ and let $\alpha = \left[\begin{matrix} 1&0 \\ 10&1 \end{matrix}\right] \in SL_2(\mathbb{Z})$. ...
0
votes
0answers
44 views

Some of the real zeros of those $k^{th}$ derivatives are also simple?

Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. The modularity theorem implies that $L(C,s)$ is the ...
0
votes
0answers
83 views

How can information about morphisms between modular curves be read from the morphism of their corresponding stacks?

$\newcommand{\yY}{\mathcal{Y}}$ $\newcommand{\PSL}{\text{PSL}}$ $\newcommand{\SL}{\text{SL}}$ $\newcommand{\ZZ}{\mathbb{Z}}$ $\newcommand{\CC}{\mathbb{C}}$ $\newcommand{\mM}{\mathcal{M}}$ Let $Y(1)$ ...
5
votes
1answer
161 views

Modular polynomials for elliptic curves point counting

The Schoof-Elkies-Atkin (SEA) algorithm (for counting points on elliptic curves over a finite field) performs computations over polynomials modulo some modular polynomials. Originally the "classical" ...
4
votes
3answers
326 views

Is there an integral point in the group generated by an rational point?

Let $E$ be an elliptic curve over rational field. Let $P=(a/d^2,b/d^3)\in E(\mathbb{Q})$ and $$G=\{P,2P,3P,4P,\cdots\}.$$ Is there an integral point $Q\in G?$
4
votes
1answer
251 views

What is the complexity of finding an integral point on an elliptic curve?

Let $E$ be an elliptic curve over rational numbers. We know that the set of integral points on $E$ is finite. What is the complexity of finding a point $P\in E(\mathbb{Z})$? Indeed I'm trying to find ...
5
votes
1answer
313 views

Are the Szpiro ratios of 37b1 over certain number fields {33,39,42,48,51,66}?

Related to this question. According to Hindry p.7 Conj 3.1 and Stein's notes Szpiro's conjecture over number fields states that the Szpiro ratio is: $$ ...
4
votes
1answer
291 views

Why the Szpiro conjecture over number fields doesn't depend on the discriminant of the number field?

According to Hindry p.7 Conj 3.1 and Stein Szpiro's conjecture states that the Szpiro ratio is: $$ \sigma_{E/K}=\frac{\log{|N_{K/Q}\Delta_{E/K}|}}{\log{|N_{K/Q} f_{E/K}}|}$$ Given $ \varepsilon ...
3
votes
2answers
202 views

Sheaf of isogenies representable?

It is well-known that "the" stack of elliptic curves (allow me to be vague as to singular curves, compactifications etc) has a presentation by a groupoid in schemes. One of the things that needs to be ...
3
votes
1answer
255 views

Theorem 7b of Serre's “Propriétés galoisiennes des points d'ordre fini des courbes elliptiques”

Could someone please point me towards a proof of the statement in the second paragraph, in the proof of Theorem 7b of Serre's Propriétés galoisiennes...? The statement is as follows: Let $F$ and $F'$ ...
1
vote
0answers
161 views

which sections of elliptic curves are conjugate?

Suppose you have a relative elliptic curves $f : E\rightarrow S$ (say $S$ is connected). Then suppose you have two sections $g,g' : S\rightarrow E$, corresponding to two sections $g_*,g'_*$ to the map ...
7
votes
2answers
380 views

How did height in algeb. number theory/elliptic curves started?

Maybe this is obvious but it isn't to me yet. What is the history of heights used in say points of the project plane over a number field or of elliptic curve over a number field? I would guess people ...
6
votes
0answers
215 views

Invariant obstructions to gluing Galois representations on elliptic curves

Let $E$ be an elliptic curve over $\overline{\mathbb F_p}$, or another separably closed field of characteristic $p$. Let $K$ be the function field of $E$, and let $K_p$ be the local field at a point. ...
1
vote
0answers
270 views

How to find generators to Mordell weil groups of elliptic curves?

I am new to branch of elliptic curve and algebraic number theory .I want to find generators to Mordell Weil group of the Elliptic Curve $y^2=x^3-6321363052$ and class number of $\mathbb ...