**14**

votes

**3**answers

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

**3**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**3**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

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

**0**answers

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$?