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

14
votes
3answers
472 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 ...
2
votes
3answers
398 views

transcendence of periods of CM elliptic curves

Let $E$ be an elliptic curve over $\overline{\mathbb{Q}}$ defined by a Weierstrass equation $$ y^2=4x^3+g_2x+g_3. $$ Then $H^1_{dR}(E/\overline{\mathbb{Q}})$ is spanned by the classes of the ...
7
votes
2answers
492 views

$Pic$ of the stack of elliptic curves vs. $Pic$ of the coarse space

There's a natural map $f:\overline{\mathcal{M}}_{1,1}\to \overline{M}_{1,1}\cong \mathbb{P}^1$ from the stack of elliptic curves to the coarse space. Both spaces have $Pic=\mathbb{Z}$ hence ...
2
votes
1answer
193 views

Legendre relation for elliptic curves

Let $E$ be an elliptic curve over some subfield $k$ of $\mathbb{C}$, say given by an equation $$ y^2=4x^3+ax+b. $$ Then: $E(\mathbb{C})$ is a complex torus, so $H_1(E(\mathbb{C}), \mathbb{Q})$ is ...
0
votes
0answers
146 views

Can one find elliptic curve and a point of known order over $\mathbb{Z}/n\mathbb{Z}$?

Let $n$ be composite with unknown factorization. Can one efficiently find elliptic curve $E$ over $\mathbb{Z}/n\mathbb{Z}$ and a point $P$ on $E$ of known order $m > 5$? $P$ should be nontorsion ...
2
votes
1answer
142 views

picard group of moduli of elliptic r-prym curves

Let $\overline{\mathcal{M}}_{1,1}$ be the DM compactification of the moduli stack of elliptic curves. Its Picard group is $\mathbb{Z}$. Let us now consider stack of $r$-prym curves ...
0
votes
1answer
105 views

One parameter families of elliptic curves over rings of integers of number fields

Let $A(n), B(n) \in \mathbb{Z}[n]$ be polynomials, not both constant, such that $4A^3(n) + 27B^2(n)$ is not the zero polynomial and the polynomial (in variables $x, y$) $$y^2 - x^3 - A(n)x - B(n) \in ...
1
vote
1answer
213 views

Example of non-modular elliptic surface?

In "On elliptic modular surfaces", Shioda proves some interesting theorems on smooth elliptic surfaces (admitting a section); he then focuses on "modular elliptic surfaces" and proves some more ...
0
votes
2answers
374 views

Rational points or a Weierstrass model for degree 8 elliptic curve

Related to rationally derived polynomials. Neither Maple nor Magma online couldn't solve it. Choose $s,h \in \mathbb{Q}$. I am looking for rational points (possibly of finite order) on this ...
1
vote
1answer
126 views

Hodge bundle on F-curves

Let $\mathbb{E}\rightarrow\overline{M}_{g,n}$ be the Hodge bundle. Let us cosider an $F$-curve of type $\overline{M}_{1,1}\subseteq\overline{M}_{g,n}$. Is the degree of the restriction of $\mathbb{E}$ ...
0
votes
2answers
256 views

what is complexity of finding a non-torsion point on elliptic curve

Let E be an elliptic curve over $Q$ with positive rank $r$. I am looking for algorithms which find a rational point on $E$. I think the algorithms find points with the lowest height. But when I use ...
0
votes
1answer
184 views

Point halving on elliptic curves over $\mathbb{Q}$

Let $E$ be an elliptic curve over $\mathbb{Q}$ and $E(\mathbb{Q})[2]=\{o,T_1,T_2,T_3\}$. Let $P=2R$ be a point in $2E(\mathbb{Q})$, using $2$-division polynomial, we can compute $1/2P$, but it gives ...
2
votes
0answers
203 views

Other elliptic curves for $x^4+y^4+z^4 = 1$

Given, $$a^4+b^4+c^4 = d^4\tag{0}$$ we have the identity, $$(-11980 + 1673 u + 54u^2)^4 + (36 - 2321 u + 3u^2)^4 + t^4 = (24677 + 203 u + 71u^2)^4$$ where, $$591800025 + 20030510 u + 1671327 u^2 ...
7
votes
0answers
230 views

Modular interpretation of Ramanujan theta operator?

I'm a beginner to the theory of modular forms trying to understand a certain construction from the point of view of elliptic curves. Let $f(q) = \sum a_n q^n$ be a formal power series. Define $\theta ...
3
votes
1answer
182 views

relation between Faltings height and periods

Let $E$ be an elliptic curve defined by an equation $y^2=4x^3+ax+b$ where $a$ and $b$ are algebraic numbers. What is the relation between the Faltings height $h_F(E)$ and the periods $$ \int_{\gamma} ...
1
vote
1answer
340 views

Determining $\mu$-invariant of elliptic curves over $\mathbb{Q}$

From Pollack's table on his homepage, I have the values of mu invariant of elliptic curves 38B1 & 38B2 (labeled as in Cremona table). But I need to know the values of mu invariants of 38A1, 38A2, ...
1
vote
0answers
248 views

Does the property (P) holds true for the derivatives of $L$?

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 $ℚ$. As $s$ takes on real negative values, there are trivial zeros ...
3
votes
0answers
114 views

Elliptic curves and quasi-self-reciprocal polynomials

I am reading Shoichi Kihara's On the rank of the elliptic curve $y^2=x^3+k, II$ [Proc. Japan Acad. Ser. A Math. Sci. Volume 72, Number 10 (1996), 228-229] which is available here ...
4
votes
0answers
272 views

Explicit family of generalized elliptic curves with level n structure

Let $\pi:\mathcal{E}\rightarrow U$ be a family of elliptic curves with level $n$ structure (in the sense of Deligne-Rapoport) where $U\subseteq C$ is some (non-empty) Zariski open set of a smooth ...
7
votes
2answers
651 views

Supersingular elliptic curves over $\mathbb{Q}$

what are the examples of elliptic curves defined over $\mathbb{Q}$ with supersingular reduction at a prime $p$ and having a $p$-isogeny over $\mathbb{Q}$ ?
0
votes
1answer
182 views

Visualizing singular points of real loci of elliptic curves

On one hand the real locus of a complex elliptic curve is the intersection of a plane with a torus (i.e. a torus embedded in $\mathbb{C}^2$ plus infinity). And an elliptic curve has no cusps or ...
7
votes
2answers
545 views

BSD conjecture for X_0(17)

I use Magma to calculate the L-value, yields E:=EllipticCurve([1, -1, 1, -1, 0]); E; Evaluate(LSeries(E),1),RealPeriod(E),Evaluate(LSeries(E),1)/RealPeriod(E); Elliptic Curve defined by y^2 + x*y + ...
1
vote
2answers
381 views

Equations of elliptic curves

First part of question I have asked on mathoverflow already: http://math.stackexchange.com/questions/467088/explict-form-of-the-equation-of-elliptic-curve 1) Let $E(\mathbb{F}_{q^2})$ is elliptic ...
4
votes
0answers
186 views

Evaluation of $E_{\ell,2}$ on supersingular curves over $\mathbb{F}_{p^2}$

As mentioned in an answer to Modularity of $E_2$ on congruence subgroups, there exist modular forms $E_{\ell,2}$ of level $\Gamma_{0}(\ell)$ and weight 2, with $q$-expansion ...
2
votes
1answer
346 views

Question on x coordinates of Mordell Curves where $y^2=x^3+k$ and $k^2 = 1$ mod $24$

In my ongoing search for Mordell curves of rank 8 and above I have currently identified 144,499 curves of a type where $k$ is squarefree and $k^2 = 1$ mod $24$. In each case the x coordinates are ...
9
votes
3answers
711 views

Why is the gcd so large in an identity related to the $abc$ conjecture?

Consider the identity $$ (x+z)^5+(y-z)^5 = (-3 x + 4 y)^2 (x + y)^3 + (x+y) f(x,y,z) $$ Where $f(x,y,z)=(-8*x^4 + 5*x^3*y + 24*x^2*y^2 - 9*x*y^3 - 15*y^4 + 5*x^3*z - 5*x^2*y*z + 5*x*y^2*z - 5*y^3*z + ...
2
votes
2answers
192 views

What is the exact meaning of the real period in the $p$-adic formulation of BSD?

Let $E$ be an elliptic curve over $\mathbf{Q}$ which has split multiplicative reduction at $p$ (a prime). If one chooses a global Neron model of $E$ over $\mathbf{Z}$ (unique up to unique isomorphism ...
2
votes
0answers
191 views

Is it expected that every natural number is the rank of some elliptic curve over the rationals?

It is a well-known problem on the theory of elliptic curves that the rank of an elliptic curve (the number of generators of the free part of the Mordell group of the elliptic curve) cannot be ...
5
votes
2answers
215 views

Mordell-Weil of an elliptic surface after adjoining a nontorsion section: as small as possible?

Let $k$ be an algebraically closed field of characteristic $0$, let $C_{/k}$ be a nice (smooth, projective, geometrically integral curve), let $K = k(C)$, and let $\overline{K}$ be an algebraic ...
3
votes
0answers
250 views

Birch/Swinnerton-Dyer “Notes on Elliptic Curves II”

I would like to know if any of you know if there is a more general treatment to what Birch and Swinnerton-Dyer did in "Notes on Elliptic Curves II" (http://www.ams.org/mathscinet-getitem?mr=179168). ...
3
votes
1answer
136 views

Division Field of a nonCM elliptic curve

This might be a ridiculous question, but please bear with me. Let $E$ be an elliptic curve over a $p$-adic field $K$. Denote by $K(E_{p^∞}):=\bigcup_{n∈Z≥1} K(E[p^n])$ the field extension obtained by ...
3
votes
1answer
127 views

Hecke $L$-series exercise in Silverman's Advanced Topics in Arithmetic of EC

This has been posted on SE, but I haven't gotten a reply, so I thought I'll try my luck here. I would like to refer you to 2.30 & 2.32 in Silverman's book Advanced Topics in the Arithmetic of ...
4
votes
1answer
199 views

Elliptic Curves isogenous only over an extension?

Let $l$ be a prime $\geq 5$. Does there exist a pair $E,E'$ of elliptic curves, both defined over the same number field $K$, which are not $l$-isogenous over $K$, but are $l$-isogenous over a ...
8
votes
0answers
284 views

A property of supersingular $j$-invariants (reference request)

Edit 2: For those who understandably don't want to read such a long post, I think Voloch's suggestion reduces the problem to asking whether $j$-invariants of supersingular curves are 3rd powers in ...
4
votes
1answer
99 views

A certain property of elliptic curves in a paper by Rees

In the paper "On a problem of Zariski", David Rees presents a counterexample to the following problem of Zariski. Let $F/k$ be a f.g. field extension, $S$ a f.g. normal integral domain over $k$ ...
3
votes
1answer
282 views

a question on CM elliptic curves

Let $E$ be an elliptic curve over $\overline{\mathbb{Q}}$ defined by an equation $y^2=4x^3-g_2x-g_3$ and let $\omega=\int_\gamma \frac{dx}{y}$ be the integral of the regular differential form ...
1
vote
1answer
105 views

Hecke Character vs Grossencharakter

I would like to know if there is any difference between (1) an algebraic Hecke character (2) a Hecke character (3) a Grössencharakter All of the above in the setting of ellitpic curves with complex ...
5
votes
1answer
239 views

Canonical differential on Tate curve

I am starting studying the theory of (algebraic) modular forms, and I have some trouble in understanding completely the construction of the Tate curve. My problem is the following: as far as I know ...
4
votes
1answer
226 views

Rational points on $X_0(15)$

The modular curve $X_0(15)$ has a canonical model over $\mathbf{Q}$, and it has genus $1$. As the cusp $\infty$ is rational, it is an elliptic curve. Roughly, my question is whether we can find all ...
1
vote
1answer
360 views

Hecke Characters

My question today concerns Hecke characters or Größencharaktere. I'm doing a project on complex multiplication of elliptic curves and need some help understanding Hecke characters. My main ...
19
votes
1answer
774 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$ ...
4
votes
1answer
229 views

Abelian image of l-adic representation

For a number field F, let E/F be an elliptic curve with CM by a quadratic field K. Let $\rho_\ell: \text{Gal}_F \to \text{Aut}(T_{\ell}E)$ be the $\ell$-adic representation associated to E for some ...
1
vote
0answers
127 views

What does Hodge theory tell us about simply connected surfaces of general type

Let $X$ be a smooth complex projective variety. We know that $\Omega^1_X$ has a non-zero section if and only if the abelianization of the fundamental group of X is infinite. This follows from Hodge ...
2
votes
1answer
147 views

Specialization of sections in an elliptic fibration

Let $\pi: X \rightarrow S$ be the Neron model of an elliptic curve over a dedekind domain (but probably any minimal elliptic fibration will suffice). Let $\eta$ be the generic point of $S$, $K = ...
0
votes
2answers
255 views

A question on degeneration of elliptic curves with actions.

Let $E$ be an elliptic curve. I want to consider its degeneration to the union of two projective lines $C:=\mathbb{P}^1 \cup_{x,y} \mathbb{P}^1$ attaching at two points $x,y$. The involution $-1$ on ...
2
votes
1answer
180 views

Affine neighborhood of an $S$-valued point

How can we understand an affine neighborhood of an $S$-valued point on a scheme, and when does it exist? I am looking at page 111 of Haruzo Hida's Geometric Modular Forms and Elliptic Curves, and he ...
1
vote
0answers
131 views

Full $n$-torsion of elliptic curves and the cyclotomic field of order $n$

Hi, overflowers. I have a question concerning the torsion of elliptic curves over number fields. Let us consider an elliptic curve $E$ defined over ${\mathbb Q}$. From the Weil pairing one can ...
5
votes
3answers
349 views

Surfaces ruled over elliptic curves

Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve. Suppose $E$ is an elliptic curve ...
1
vote
1answer
206 views

Weiestrass Form

How to convert this to weiestrass form? $x^{2}y^{2}-2\left( 1+2\rho \right) xy^{2}+y^{2}-x^{2}-2\left( 1+2\rho \right) x-1=0$
0
votes
0answers
130 views

r-torsion points on elliptic curve on finite field

Let $E(\mathbb{F}_q)$ - elliptic curve, $r$ is prime, $|E(\mathbb{F}_q)[r]| > 1$. Let $r | q-1$. Is it true that $|E(\mathbb{F}_q)[r]| = r^2$?