All Questions
663 questions with no upvoted or accepted answers
3
votes
0
answers
186
views
The Weil restriction of an elliptic curve with respect to $\mathbb{F}_{p^2}/\mathbb{F}_{p}$
For a prime $p > 3$ consider the quadratic finite field extension $\mathbb{F}_{p^2}/\mathbb{F}_{p}$. Also, consider the elliptic curves
$$
E\!: y_0^2 = x_0^3 + ax_0 + b,\qquad
E^{(1)}\!: y_1^2 = ...
- 1,833
3
votes
0
answers
151
views
Values of Grössencharacter attached to CM elliptic curve
I am trying a cross-post here, as my previous post on stackexchange was not as fruitful as I hoped. The link to the older post is: https://math.stackexchange.com/questions/3327269/values-of-...
- 81
3
votes
0
answers
279
views
Rationality of Eisenstein series g2 and g3 for elliptic curves defined over numberfields
Let $K$ be a number field and let $E/K$ be an elliptic curve. (Fix an embedding of $K$ into the complex numbers $\mathbb{C}$). Let $\eta$ be the invariant differential of $E/K$. Let $\omega_1$ and $\...
- 139
3
votes
0
answers
450
views
What arithmetic information is determined by the $j$-invariant of an elliptic curve?
It is known that the complex isomorphism class of an elliptic curve $E/\mathbb{C}$ is uniquely determined by its $j$-invariant. One way to define it algebraically for a curve
$$\displaystyle E : y^2 =...
- 27k
3
votes
0
answers
171
views
Similarity between two $L$-functions (Hasse-Weil $L$-function of twisted ellptic curve and Dirichlet $L$-function)
Let $E$ be an elliptic curve over $\mathbb Q$ with conductor $N$ and $E_d$ be its twisted curve by $d$, where $d$ is a fundamental discriminant with $(d,N)=1$. Let $\chi_d$ be a Dirichlet character ...
- 663
3
votes
0
answers
386
views
Lie algebra of an elliptic curve
This might be a silly question, and if it has been asked somewhere else, I would appreciate a link; however, I was unable to find it myself.
In this paper by Lauter-Viray (arXiv link), in the proof ...
- 153
3
votes
0
answers
326
views
Solving $(u-x_1)^{1/3}+ (u-x_2)^{1/3}+ (u-x_3)^{1/3} = {v}^{1/3}$ with elliptic curves
Let $x_1$,$x_2$,$x_3$ be the roots of the cubic $x^3+px+q$ over $\mathbb Q$, the idea is that rational solutions $(u,v)$ of the equation
$$(u-x_1)^{1/3}+ (u-x_2)^{1/3}+ (u-x_3)^{1/3} = {v}^{1/3} \...
- 205
3
votes
0
answers
127
views
Maximal unramified quotient of $E[p]$ for the action of $G_{\mathbb{Q}_p}$
Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with good and ordinary reduction at an odd prime $p$.
Suppose $E[p]$ denotes the $p$-torsion points of $E$ and $G_{\mathbb{Q}_p} := \text{Gal}(\...
- 303
3
votes
0
answers
177
views
Abelianess of $K(j(E))$
Let $E$ be an elliptic curve with CM by an order in the imaginary quadratic field $K$. Is there some easy way how to prove that the extension $K(j(E))/\mathbb Q$ is abelian?
Update
In general, the ...
- 2,375
3
votes
0
answers
192
views
anomalous primes and CM elliptic curves
Let $E$ be an elliptic curve defined over a number field $F$ and suppose $E$ has CM by $\mathcal{O}_K$ where $K$ is an imaginary quadratic field. What can we say about the non-anomalous primes of such ...
- 1,283
3
votes
0
answers
144
views
Are there three ordinary elliptic curves $E$, $E_1$, $E_2$ such that $E^2 \cong E_1 \!\times\! E_2$?
Consider the elliptic curve $E\!: y^2 = x^3 + 1$ of $j$-invariant $0$ over an algebraically closed field $k$ of characteristics $p$. Let me remind that $E$ is ordinary (i.e., non-supersingular) iff $p ...
- 1,833
3
votes
0
answers
158
views
Iwasawa theory and cohomological $p$-dimension of Inertia
Let $E$ be a elliptic curve without complex multiplication over a number field $F$. Let $F_n=F[E_{p^n}]$ and $F_{\infty}=F[E_{p^\infty}]$. So by a well know theorem of Serre, the Galois group $Gal(F_\...
- 685
3
votes
0
answers
289
views
Field of Definition of Quotient of Elliptic Curve
In Silverman's Arithmetic of Elliptic Curves, Chapter III, Proposition 4.12, we have the statement that if $E/F$ is an elliptic curve and $\Phi$ is a $\mathrm{Gal}(\bar{F}/F)$-invariant subgroup then ...
- 901
3
votes
0
answers
112
views
Indecomposablity in purely inseparable extensions
Let $k$ be a field of characteristic $p$ (e.g. the separable closure of $\mathbb{F}_p(t)$) and consider the extension $k(x)/k$ where $x^p\in k$ but $x$ does not. Consider a (finitely generated) ...
- 31
3
votes
0
answers
348
views
Question about Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves
I am trying to understand an argument of Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves. I am stuck and I would appreciate any explanations.
Let $E$ be an elliptic curve over $K$, ...
- 3,625
3
votes
0
answers
171
views
Scalar multiplication via the Kummer surface of a genus $2$ curve by $\sqrt{5}$
I hope this is a good question.
Recently I worked with genus two curves $H$ that have multiplication by $[\zeta_5]\in \text{Aut}(H)$, that is, multiplication by $e^{2\pi i/5}$. This automorphism is ...
3
votes
0
answers
307
views
Isotrivial factors of Jacobian
Let $k$ be an algebraically closed field of positive characteristic that it is not the algebraic closure of a finite field. Fix a smooth proper $k$-curve $C$ and write $J_C$ for its Jacobian abelian ...
- 728
3
votes
0
answers
113
views
Cohomologies of $[V/GL_n]$ in characteristic $p$ for a representation $V$ of $GL_n$
Let $V$ be a representation of $G=GL_n$ (or more generally any reductive group $G$) over an algebraically closed field $\mathbb k$ of characteristic $p$. Let $[V/G]$ be the corresponding quotient ...
- 790
3
votes
0
answers
215
views
Why we are interested in p>3 Schoof's algorithm
In the Schoof's algorithm we are particularly interested in $char(K)>3$, where $K$ is the field. I know Schoof's algorithm is mostly used over large prime fields. Also, when we are transforming ...
- 149
3
votes
0
answers
412
views
action of complex conjugation on Tate modules of elliptic curves
I'm wondering about the notion of "oddness" in the theory of Galois representations. Usually, a Galois representation
$$\rho : G_\mathbb{Q}\rightarrow GL_2(\mathbb{Q}_\ell)$$
is said to be odd if the ...
- 7,547
3
votes
0
answers
302
views
Is $E[p]$ always irreducible for an elliptic curve $E$ with supersingular reduction at an odd prime $p$ $?$
Let $E$ be an elliptic curve defined over a number field $F$ with supersingular reduction at an odd prime $p$. Let $E[p]$ denotes the set of $p$-torsion points of $E$ over an algebraic closure of $F$. ...
- 303
3
votes
0
answers
604
views
The Jacobian surface of an elliptic surface
Let $\mathcal{X}$ be an elliptic surface over $\mathbb{P}^1$ without a section and let $\mathcal{J}$ be an elliptic surface over $\mathbb{P}^1$ with a section. Assume we have the commutative diagram
\...
- 1,833
3
votes
0
answers
323
views
Lifting a real quadratic twist of an Elliptic Curve to the modular curve
Let $E$ be an elliptic curve of conductor $N\cdot p^2$ over $\mathbb{Q}$, defined by the equation
$$y^2=x^3+p^2b\cdot x + p^3\cdot c$$
and parametrized by a map
$$X_{0}(N\cdot {p}^{2})\rightarrow E$$
...
- 1,805
3
votes
0
answers
200
views
Galois descent for a non-Galois extension
Suppose that $k$ is an algebraically closed field of characteristic $p > 0$ and $E/k$ is a supersingular elliptic curve equipped with a full level $N$ structure $\phi$ for some $N \ge 3$ that is ...
- 2,663
3
votes
0
answers
178
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,663
3
votes
0
answers
578
views
On Choudhry's $x_1^k+x_2^k+x_3^k+x_4^k = y_1^k+y_2^k+y_3^k+y_4^k$ for $k=7$?
I. Fifth Powers
The Diophantine equation,
$$x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k\tag1$$
for $k=5$ is quite well-explored. It has an infinite number of primitive solutions (as points on an elliptic ...
- 12.6k
3
votes
0
answers
203
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})$. ...
- 221
3
votes
0
answers
974
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 Q(\sqrt[3]{...
- 151
3
votes
0
answers
205
views
Lang's height conjecture over $\mathbb{F}_q(T)$?
Is the canonical height of a non-torsion $\mathbb{F}_q(T)$-rational point of an elliptic curve over $\mathbb{F}_q(T)$ known or supposed to be bounded from below by an absolute positive number (or ...
- 13.8k
3
votes
0
answers
680
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).
...
- 521
3
votes
0
answers
298
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 ...
- 43
3
votes
0
answers
186
views
Is Hasse-witt map isomorphism?
Fix a level $N \geq 3$ and denote by $\Gamma(N)\subset SL(2,\mathbb{Z})$ the subgroup of matrices which are congruent to the identity modulo $N$. The open modular curve $Y(N)$ corresponding to $\Gamma(...
- 31
3
votes
0
answers
146
views
P-adic Weierstrass Lemma for several variables
The p-adic Weiestrass lemma asserts that a power series $f(z)$ with coefficients in the ring of integers of a local field can be factored as $π^n·u(z)·p(z)$ where u(z) is a unit in the ring of power ...
- 31
3
votes
0
answers
309
views
Rational points and Tesla cards
I'm rapidly approaching 300,000 curves in my ongoing search for Mordell curves of rank >=8.
Currently I'm finding that I have a bottleneck in the code that locates rational points on these curves.
...
- 791
3
votes
0
answers
118
views
Extending cohomology classes to compactifications of Kuga varieties
I am trying to understand the proof of lemma 3 in the paper "Algebraic cycles and the Hodge structure of a Kuga fiber variety" by B. Brent Gordon,
available at http://www.ams.org/journals/tran/1993-...
3
votes
0
answers
475
views
Homomorphism ring of two elliptic curves with the same supersingular reduction.
$\textbf{Motivation:}$ I am studying the article "The existence of infinitely many supersingular primes for every elliptic curve over $\mathbb{Q}$", by Noam Elkies, and there is a part that I do not ...
- 31
3
votes
0
answers
742
views
Explicit description of O^{cris}_n in Fontaine/Messing
Let $k$ be a perfect field of characteristic $p$, $W(k)$ the Witt ring and $K$ its quotient field. In their article "$p$-adic periods and $p$-adic etale cohomology" Fontaine and Messing give in II.1.4 ...
3
votes
0
answers
308
views
Invertible Hasse-Witt for non-ordinary curves
Assume that $S$ is a smooth curve of over a field $k$ of characteristic $p>0$ and $f\colon X\to S$ is a relative curve over $S$ (i.e., the fibers are curves). It is well-known that when all the ...
- 395
3
votes
0
answers
204
views
Computing Elliptic Curves of Conductor Divisible by a Large Prime Factor
A little while ago, I came across a paper (or slides from a talk or something) that seemed to suggest that the modular symbol method for computing elliptic curves over $\mathbf{Q}$ of prescribed ...
- 309
3
votes
0
answers
350
views
Cyclotomic fields and singular moduli
Let $\mu$ be the roots of unity and $S$ be the image under the modular $j$-function of all imaginary quadratic $\tau$. Then what is $\mathbb{Q}(\mu)\cap\mathbb{Q}(S)$?
- 1,905
3
votes
0
answers
281
views
What would be a characteristic-$p$ analogue for $C^{\infty}$-fiber bundles?
I'd like to know a notion for a morphism between algebraic varieties in characteristic $p$ that plays the role of a $C^{\infty}$-fiber bundle. It should be, in particular, flat. I'm not assuming the ...
- 4,265
3
votes
0
answers
282
views
Find the canonical subgroup of a CM curve with ordinary reduction!
Let $p$ be a prime and $K$ a quadratic imaginary field in which $p$ splits. Let $\mathcal{O}$ be an order in $K$ and $A$ an elliptic curve with CM by $\mathcal{O}$. Then $A$ can be defined over the ...
- 786
3
votes
0
answers
340
views
Rank of Subgroup of Elliptic Curve
I'm currently looking at two rational points $ p, q $ on an elliptic curve $E$ over $ \mathbb{Q} $. SAGE tells me that $E$ has rank 5 and no torsion, and that $p$ and $q$ both have infinite order. ...
- 309
3
votes
0
answers
216
views
Picard Fuchs and Lefschetz trace
In Clemen's book "A Scrapbook of Complex Curve Theory", he discusses in Chapter 2 how the infinite sum giving the period of the Legendre curve matches (mod p) the sum giving the number of points over ...
- 661
3
votes
0
answers
713
views
Tunnell's theorem
Is it possible in some way, to use Tunnells's theorem to determine how long it will take a computer, to determine whether a number n, is a possible area of a rational right triangle?
- 31
2
votes
0
answers
123
views
Polynomial discriminant equation
This is a fairly straightforward question, and I am hoping a definitive answer exists.
Does there exist a quadratic form $A \in \mathbb{C}[x_1, x_2, x_3, x_4]$ and a cubic form $B \in \mathbb{C}[x_1, ...
- 27k
2
votes
0
answers
126
views
Full level structure Deligne-Rapoport v.s. Katz-Mazur
For modular curves over schemes there are two main references that I use, namely Deligne Rapoport [DR], and Katz-Mazur [KM]. However I recently noticed that there is a difference in conventions in ...
- 2,224
2
votes
0
answers
110
views
How to apply Pohlig Hellman using a very limited set of auxiliary inputs in that case?
So I was reading about Talotti, Paier, and Miculan - ECC’s Achilles’ Heel: Unveiling Weak Keys in Standardized Curves. The underlying idea is to lift the discrete logarithm problem to $\mathrm{prime}−...
- 87
2
votes
0
answers
43
views
The vector space dimension of Selmer group of abelian variety
Let $A/K$ be an abelian variety with $\mathbb{Z}[\mu_p] \subset End_K(A).$
Let $\pi$ be the prime of $p$, i.e. $(p)=(\pi^{p-1})$.
I want to obtain the relation of Selmer groups $Sel_\pi(A/K)$ and $...
- 85
2
votes
0
answers
78
views
Detect all isogenies of an elliptic curve over a given number field
Given $K$ a number field and $E/K$ an elliptic curve, is there an algorithm which gives all the elliptic curves $F/K$ isogenous to $E$ (up to isomorphism)?
Or is there a bound on how many $F/K$ are ...
- 637