15
votes

### What is the idea behind the proof of the Isogeny theorem and Theorem III.7.9 (Serre) in Silverman's book?

Here is a rough idea of the proof of 1. I'll highlight (with italics) concepts that you may not know now, but will be useful to learn in number theory, which hopefully will be motivated by this ...

15
votes

### Polynomial values are powers of two

I'll prove a stronger statement.
Let $S$ be a finite set of primes. I claim there is a $c_{n,S}$ such that a polynomial $f$ with rational coefficients cannot take only values that are $S$-units on $\{...

13
votes

### Polynomial values are powers of two

Yes, such $c_n$ is bounded by something effective. Below is a cubic bound, which probably may be improved. (Update: see $n^2\log n$ upper bound by Will in the comments.)
Assume that $f(x)$ is a power ...

11
votes

Accepted

### If we have a nice formula for number of points on a curve over finite fields, can we get some geometric information of the curve from the formula?

This formula implies that the zeta function of $C$ is given by the formula
$$\zeta_C( u) = e^{ \sum_{\alpha=1}^{\infty} | C(\mathbb F_{q^\alpha})| u^\alpha / \alpha } = e^{ \sum_{\alpha=1}^{\infty} (...

8
votes

### Weil height vs Moriwaki height

One can define a height with respect to a special metric so that some particular useful equation involving the height holds exactly, instead of approximately as for the Weil height.
For example, one ...

5
votes

Accepted

### Rational points on a special class of surfaces

I am just posting my comments as an answer. Without a hypothesis that the geometric generic fiber of $\pi:S\to \mathbb{A}^1_t$ is irreducible, the result is false. For a smooth compactification of $...

Community wiki

3
votes

Accepted

### On the Artin-Rees Lemma for non-commutative rings

There is some discussion of this in Rowen's "Ring Theory", volume I, Section 3.5, with additional references therein.
Exercise 19 on p. 462 in op. cit. states that a polycentral ideal $I$ of ...

2
votes

### Why is the category of motives generated by varieties?

No, $\mathbb{Q}(X)$ is the presheaf "additively represented" by $X$; it is not constant.
Now I will express my understanding of this matter; I did not check that it fits with Ayoub's ...

1
vote

### Singularities of arithmetic surface

There seems to be some confusion concerning "regularity" and "smoothness".
First of all, if $X$ is a noetherian integral scheme and $x\in X$, then $X$ is regular at $x$ if $$\...

Only top scored, non community-wiki answers of a minimum length are eligible

#### Related Tags

arithmetic-geometry × 1765ag.algebraic-geometry × 1113

nt.number-theory × 690

elliptic-curves × 225

abelian-varieties × 148

etale-cohomology × 141

algebraic-number-theory × 140

reference-request × 119

galois-representations × 113

algebraic-curves × 85

p-adic-hodge-theory × 66

rational-points × 62

motives × 60

ac.commutative-algebra × 59

modular-forms × 56

algebraic-groups × 42

finite-fields × 39

diophantine-equations × 37

moduli-spaces × 36

shimura-varieties × 35

analytic-number-theory × 34

complex-geometry × 33

hodge-theory × 32

schemes × 31

langlands-conjectures × 30