Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 43108

Diophantine equations, rational points, abelian varieties, Arakelov theory, Iwasawa theory.

16 votes
Accepted

Possible groups of K-rational points for elliptic curves over arbitrary fields

By Mordell-Weil, for any number field $K$ we have $$C(K)=\mathbb{Z}^r \times E(K)_{\mathrm{tors}}$$ As you mention, Mazur showed all the possible options for $E(\mathbb{Q})_{\mathrm{tors}}$ in his f …
Myshkin's user avatar
  • 17.6k
5 votes
Accepted

Szpiro's conjecture for function fields and Mochizuki's approach to the number field case

You might want to also consider the geometric ("symplectic") version of the conjecture, since Mochizuki alredy has a paper outlining the relationship between Bogomolov's proof and his own IUT theory. …
Myshkin's user avatar
  • 17.6k
2 votes

Reconstruction of hyperbolic curves using the fundamental group

The way to reconstruct the differential sheaf from the fundamental group is, of course, $$\pi_1(X)\curvearrowright X\curvearrowright \omega_X$$ But I don't think you can get to the differential shea …
Myshkin's user avatar
  • 17.6k
11 votes
1 answer
524 views

Oesterlé's unpublished bound on Uniform Boundedness

The bound in Merel's solution to the Uniform Boundedness conjecture is not explicit, as it relies on Falting's work on the Mordell conjecture. I think this still is the case. But there are known expl …
Myshkin's user avatar
  • 17.6k
21 votes

Recent progress toward Birch and Swinnerton-Dyer conjecture

No, the conjecture is still wide open for rank $r\geq 2$. The closest thing to progress is the work of Bhargava and Shankar that quantifies the rank $0$ case and shows that BSD holds for a positive p …
Myshkin's user avatar
  • 17.6k
3 votes
Accepted

Why is $\mathbb{Q}_p(p^{1/p^\infty})$ a complete topological field?

This was alredy answered in the comments, it is the $p$-adic completion of $\mathbb{Q}_p(p^{1/p^\infty})$ that is a perfectoid field. But here is a reference for completeness Matthias Wulkau, Revie …
Myshkin's user avatar
  • 17.6k
13 votes

Consequences of Shafarevich conjecture

The Shafarevich conjecture belongs to the broader program of Inverse Galois theory, and in that context it is just another step in that particular approach to understanding $\mathrm{Gal}(\overline{\ma …
Myshkin's user avatar
  • 17.6k
18 votes
Accepted

Is the Tate-Shafarevich group of a rational elliptic curve finite?

MO is not the place to discuss the validity of preprints, but I think it is safe to say that the finitiness of the Tate-Shafarevich group for elliptic curves over $\mathbb{Q}$ is considered an open pr …
Myshkin's user avatar
  • 17.6k
3 votes
Accepted

Reference result: proof of theorem of Kazhdan-Margulis on monodromy group of a Lefschetz pen...

The proof of this result is worked out in detail in page 250 (theorem 7.5) of the book Eberhard Freitag, Reinhardt Kiehl "Etale Cohomology and the Weil Conjecture" You can preview that page in par …
Myshkin's user avatar
  • 17.6k
2 votes

Vojta's conjecture on the bounded degree algebraic points over projective line?

Vojta's general statement (the "conjectured refinement of Roth's theorem", analogous to the second main theorem in Nevanlinna theory) is: Let $X$ be a smooth complete variety over $k$, let $D$ be a n …
Myshkin's user avatar
  • 17.6k
7 votes

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

If the rank of elliptic curves over $\mathbb{Q}$ is unbounded, there is no known reason for this to be the case. It could very well be that the set of ranks has density $0$ on the naturals, for all we …
Myshkin's user avatar
  • 17.6k
6 votes
Accepted

Selmer and free rank of Elliptic Curves

You first statement is correct, both ranks are expected to be equal. In particular we have: $$\mathrm{rank}\,\,\mathrm{Sel}_p(E/K)=\mathrm{rank}(E/K)+\mathrm{rank}\,\,Ш(E/K)[p^\infty]$$ So if either …
Myshkin's user avatar
  • 17.6k
6 votes

Tate modules of elliptic curves with complex multiplications

This is covered at the end of Serre's book "Abelian l-adic Representations and Elliptic Curves". Basically, since $\mathrm{Gal}(\bar{K}/K)$ acts semi-simply on $V_p(E)$ (you might have to go to Lang' …
Myshkin's user avatar
  • 17.6k
5 votes

Where was the arithmetic zeta function of a scheme first defined?

I accidentally found the answer to this question in the book "The Abel Prize. 2003-2007 The First Five Years", page 74: "A first lecture on zeta and L-functions in the setting of the theory of s …
Myshkin's user avatar
  • 17.6k
8 votes

How much do I need to learn algebraic geometry to understand arithmetics over number fields

As a concrete exampe of how much the answer depends on what particular results you are interested, take the problem of understanding the rational points on a non-singular algebraic curve over $\mathbb …
Myshkin's user avatar
  • 17.6k

15 30 50 per page