# Tagged Questions

A subject that lies at the intersection of algebraic geometry and number theory dealing with varieties, the Mordell conjecture, Arakelov theory, and elliptic curves.

0answers
37 views

### Closure of a rational point is irreducible

Let $X$ be a scheme of finite type over a field $k$ which is algebraically closed of characteristic zero. Let $K$ be another field and $\eta \in X(K)$ be a $\mathrm{Spec}(K)$ point of $X$. Is the ...
0answers
51 views

### What is the correct generalization of degree of a divisor to the number field case?

When describing smooth algebraic curves over a field $k$, there are (at least) two useful notions of "class group". The first generalizes easily to general schemes: the Picard group can be defined as ...
0answers
56 views

### Can I choose the base point of an elliptic curve arbitrarily?

If I define an elliptic curve as a smooth curve with genus one and with base point $\mathbb O$, it seems that I can choose this base point arbitrarily. When I go through the proof that establish ...
0answers
73 views

### Application of GRR in number theory

In Neukirch Book Algebraic Number Theory page 254, states the Grothendieck-Riemann Roch-Theorem, but missing of applications. Do you know references for applications for this theorem, or may be ...
1answer
62 views

### Why is $\mathcal{O}_F \otimes \mathbb{Z}_p$ a Dedekind ring?

In the paper Compactifications de l'espace de modules de Hilbert-Blumenthal (Compositio. '78), M. Rapoport relates some assertions from a letter of Deligne to Serre, dated 1972. At the very beginning, ...
1answer
57 views

### Short Primitive Vectors in a Lattice in $\mathbb{Z}^2$

Given $a,n$ coprime positive integers, let $L = \{(x,y)\in \mathbb{Z}^2, ax=y(n)\}$ be the lattice of all points satisfying $ax=y\pmod{n}$. I want to find an order-of-magnitude bound on the shortest (...
0answers
62 views

### Where does the terminology “fake/false elliptic curve” come from?

In describing, say, the moduli of Shimura curves, people often refer to "fake" or "false elliptic curves" ("les fausses courbes elliptiques"), which are abelian surfaces whose endomorphism ring is an ...
2answers
127 views

### Not affine, projective, geometrically connected, geometrically reduced, nor geometrically regular…

Is there a field $k$ and a regular integral $k$-variety $X$ that is neither affine, projective, geometrically connected, geometrically reduced, nor geometrically regular?
1answer
132 views

### A Guide to the Proof of Fermat's Last Theorem from the Modularity Theorem

A few years ago, a friend of mine told me that he had taken an advanced undergraduate number theory class (so something that assumed only a knowledge of algebra and mathematical maturity) which ended ...
0answers
44 views

0answers
72 views

### Fano surfaces all of whose rational points lie on some geometric line

Are there any ? Namely let $X$ be a smooth del Pezzo surface defined over $\mathbb{Q}$ that has rational points and such that the degree of the del Pezzo is small, say $d=3$ or $4$. Is it possible ...
1answer
63 views

### Lifting points of étale group scheme.

Consider the following setting: let $(R,\mathfrak{m})$ be a Noetherian complete discrete valuation ring (with maximal ideal $\mathfrak{m}$) and let $K$ be its field of fractions. Now take $L$ be the ...
0answers
86 views

0answers
110 views

### Understanding the Falting's Theorem

I'm an undergraduate student of mathematics, but soon I'll graduate, and as a personal project I want to understand Falting's Theorem, specifically I want to understand Falting's proof; but yet I have ...
0answers
32 views

1answer
82 views

### Points on an elliptic curve over $\mathbb F_p$

Let $E$ be an elliptic curve over $\mathbb F_p$ (the finite field of $p$ elements) defined by $y^2=x(x-n)(x-m)$ where $p\nmid nm(n-m)$. Let $N$ be the number of $\mathbb F_p$-valued points of $E$. ...
1answer
28 views

1answer
90 views

### Is the module of invariant differential forms of a Neron model of an abelian variety a projective module?

Let $A$ be an abelian variety of dimension $d$ over a number field $K$. Let $\mathcal{A}$ be its Neron model over the ring of integers $O_K$. Let $\Omega_{\mathcal{A}/O_K}$ and $\Omega_{A/K}$ be the ...
1answer
71 views