The arithmetic-geometry tag has no usage guidance.

**18**

votes

**2**answers

581 views

### Rational points on the “quintic circle” $x^5 + y^5 = 7$

I suspect that the curve $x^5 + y^5=7$ has no $\mathbb Q$ points, and a brief computer search verifies this hypothesis for denominators up to $10^4$. What techniques can be used to show that there are ...

**10**

votes

**2**answers

357 views

### BSD and congruent numbers

Let $n$ be a positive integer, and let $E_n$ denote the elliptic curve $y^2=x^3-n^2x$. By work of Tunnell, it's known that if $E_n$ satisfies the BSD conjecture, then there is an algorithm to decide ...

**-1**

votes

**0**answers

74 views

### Number of unimodular and singular matrices of particular type

Consider matrices of type
$$K_{r,n}=\begin{bmatrix}
a_{11} &a_{12} &\dots &a_{1n}\\
a_{21} &a_{22} &\dots &a_{2n}\\
\vdots &\vdots &\ddots &\vdots\\
a_{r1} ...

**10**

votes

**3**answers

547 views

### what is the maximum number of rational points of a curve of genus 2 over the rationals

Conjecturally, there exists an integer $n$ such that the number of rational points of a genus $2$ curve over $\mathbf{Q}$ is at most $n$. (This follows from the Bombieri-Lang conjecture.)
We are ...

**52**

votes

**1**answer

4k views

### What is an étale theta function?

Let me start out by urging you to take seriously that whatever I write about the papers surrounding IUTT really are questions. If you would like to use it as a guide to the mathematics in any way, ...

**6**

votes

**2**answers

293 views

### Order of reduction of infinite order rational point on an Elliptic Curve

Let $E/$ℚ be an elliptic curve and $P$ ∈ $E($ℚ$)$ a rational point of infinite order. Does the reduction of $P$ mod $p$ generate a maximal cyclic subgroup of $E(\mathbb{F}$$p$$)$ for ...

**4**

votes

**1**answer

193 views

### Checking whether two rational points of infinite order are generating the torsion free part of an elliptic curve

Let an elliptic curve be given.
As the title says I want to know if we can show that two independent points $P$ and $Q$ are generators of the torsion free part of $E$.
For instance let ...

**4**

votes

**1**answer

179 views

### Examples of perfect pseudo algebraically closed fields in positive characteristic

Is there any known example of a perfect pseudo algebraically closed field of positive characteristic containing $\overline{\mathbb{F}_p}$ but is not algebraically closed?

**5**

votes

**1**answer

145 views

### curve over higher dimensional basis with 0-dimensional locus of bad reduction

Is there an example of a flat proper relative curve $X/S$ with geometrically connected fibres and with $\mathrm{dim} S > 1$ and $S$ regular and connected with $0$-dimensional locus of bad reduction ...

**2**

votes

**0**answers

60 views

### Shortest paths stepping on rational points of height $h$

Q. Do shortest paths walking between rational points of height $h$
ever properly cross themselves?
Explaining this question takes a bit of definitional exposition.
First, I copy definitions ...

**10**

votes

**1**answer

389 views

### Arithmetical results to help study arithmetic geometry?

I'm very keen to deepen my understanding of arithmetic and diophantine problems. In the past I studied some algebraic, analytic and sieve based number theory. Recently I've been reading Weil - Basic ...

**6**

votes

**1**answer

207 views

### Integral points on elliptic curves of the form $y^2=x^3+px$

As the title says. Can we determine all the integral points on elliptic curves of the form
$$y^2=x^3+px$$
for a prime $p$? If yes, can someone explain me how? A good reference would also be ...

**15**

votes

**1**answer

520 views

### Crystalline realization of mixed Tate motives

Deligne and Goncharov, in their article of 2005, mention that the crystalline realization functor has yet to be worked out. What's the current state of the literature on this? And how big of an issue ...

**5**

votes

**1**answer

122 views

### Compact hyperbolic 3-manifolds with prescribed quaternion algebra, quaternion parameters as ramification condition

What is an interesting class of examples of hyperbolic 3-manifolds,
each of which satisfies the following conditions?
1. It is compact
2. Its trace field contains a unique imaginary quadratic ...

**4**

votes

**1**answer

143 views

### Congruences between modular forms and the eigencurve construction

This question might be too conceptual.
Congruences between modular forms (due to Shimura, Hida, etc) are really amazing. I know that the eigencurve construction are closely related to these ...

**13**

votes

**2**answers

2k views

### Why is one interested in the mod p reduction of modular curves and Shimura varieties?

Why is one interested in the mod p reduction of modular curves and Shimura varieties?
From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...

**5**

votes

**0**answers

228 views

### A problem on universally locally acyclic

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ and $S$ be two smooth varieties over $k$ and $\mathcal F$ a constructible \'etale sheaf of $\mathbb F_\ell$-modules on $X$ ...

**5**

votes

**3**answers

265 views

### Smooth complete intersections and sharpness of the Chevalley-Warning theorem

Let $X$ be a complete intersection in $\mathbb{P}^n$ of multidegree $(d_1,\ldots,d_r)$. If we're working over a finite field $\mathbb{F}_q$, the Ax-Chevalley-Warning theorem says that if $X$ is in the ...

**5**

votes

**0**answers

98 views

### Counting square zero forms over finite fields

Let $p$ be an odd prime and let $R=\Lambda_{\mathbb{F}_p}[x_1,\dots,x_n]$ be the exterior algebra on $n$ generators over the finite field with $p$ elements. This is a graded-commutative ring.
Is ...

**6**

votes

**2**answers

402 views

### References for general Hasse-Weil zeta function

Most research on the Hasse-Weil zeta function focuses on some particular type of algebraic variety, and general surveys usually deal mostly with the better understood elliptic curve case.
I am ...

**14**

votes

**1**answer

294 views

### Number of height-limited rational points on a circle

Consider origin-centered circles $C(r)$ of radius $r \le 1$.
I am seeking to learn how many rational points might lie on $C(r)$,
where each rational point coordinate has height $\le h$.
For example, ...

**6**

votes

**0**answers

148 views

### Extension of Messing-Mazur-Oda to general groups

The following may be well-known (or obviously false), but I can't find a counterexample or a reference.
Suppose that $k$ is some perfect field (one can assume algebraically closed, if that makes you ...

**4**

votes

**1**answer

193 views

### How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic

Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$.
If $k= \mathbb C$, there is a natural injective morphism of vector spaces
...

**38**

votes

**6**answers

4k views

### Intuition for the last step in Serre's proof of the three-squares theorem

Serre's A Course in Arithmetic gives essentially the following proof of the three-squares theorem, which says that an integer $a$ is the sum of three squares if and only if it is not of the form $4^m ...

**2**

votes

**1**answer

238 views

### On quasi-algebraically closed fields

By Lang's theorem, a complete valued field which is the fraction field of a discrete valuation ring with an algebraically closed residue field is quasi-algebraically closed (or $C_1$).
How much is ...

**12**

votes

**1**answer

246 views

### To what extent are modular parametrizations expected to generalize?

By the Modularity Theorem (a.k.a. the Shimura--Taniyama--Weil Conjecture), if $E$ is an elliptic curve over $\textbf{Q}$ with conductor $N$, then there exists a “modular parametrization” $\psi: X_0(N) ...

**10**

votes

**2**answers

345 views

### Equivalence of various definitions of arithmetic Chow groups

If I understand correctly, $n$-th arithmetic Chow group of arithmetic variety $X$ is defined as a quotient of the group of pairs of the form $(\sum\limits_in_iZ_i, g)$ where $Z := \sum\limits_in_iZ_i$ ...

**1**

vote

**0**answers

113 views

### On the Weil Chatelet Group

Let $A$ be a abelian curve over a number field $K$. The Weil Chatelet group parametrizes the twists of $A$, modulo the twists with a $K$ rational point. We can assume that $A$ is a plane curve. My ...

**9**

votes

**0**answers

201 views

### comparison of completion and Henselization in class field theory

Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...

**9**

votes

**0**answers

252 views

### Does bounded-degree base extension yield Zariski-dense Mordell-Weil group?

If $d$ and $n$ are positive integers, does there exist a constant $B=B(d,n)$ with the following property?
For any $n$-dimensional abelian variety $A$ over a degree-$d$ number field $K$, there is an ...

**2**

votes

**2**answers

169 views

### Counting number of $2\times 2$ unimodular matrices of particular type

From set of numbers from $\Bbb S=\{0,1,\dots,m\}$, how many distinct $3\times 3$ unimodular matrices parametrized by $(a,b,c,d,e,f)\in\Bbb S^6$ of following type can one form?
\begin{bmatrix}
a^2 ...

**9**

votes

**1**answer

942 views

### A road to inter-universal Teichmuller theory

What would be a study path for someone in the level of Hartshorne's Algebraic Geometry to understand and study inter-universal Teichmuller (IUT) theory? I know that it heavily relies on anabelian ...

**2**

votes

**0**answers

67 views

### Statements generalizing representability of integers by binary quadratic forms to $n$-variable higher homogeneous forms?

Representing integers through the theory of binary quadratic forms is a well studied topic. We know that given $a,b,c\in\Bbb N$, based on discrimant $b^2-4ac$, we can study the representability of ...

**4**

votes

**0**answers

568 views

### Soft proof of multiplicity one for character groups of Shimura curves?

Is it not possible to prove mutiplicity one type statements for character groups of quaternionic Shimura curves by simply using Raynaud's description for character groups at primes dividing the ...

**6**

votes

**1**answer

266 views

### Isotrivial families with non-zero Kodaira spencer map

Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...

**5**

votes

**0**answers

154 views

### Expressing every algebraic number using roots of trinomials?

This question is a continuation of Is every polynomial a factor of a trinomial?
We say that $T(X) \in \mathbb{Q}[X]$ is a trinomial if there exist $A,B,C \in \mathbb{Q}$ such that $T(X) = AX^n + BX^m ...

**12**

votes

**0**answers

170 views

### $p$-Adic or arithmetic variants of Khovanskii's “low complexity $\Rightarrow$ tame topology” theory

This question is prompted by a remark I made in a comment to Is every polynomial a factor of a trinomial?, which was that Descartes's observation (cf. his rule of signs, etc.), that the number of real ...

**5**

votes

**2**answers

359 views

### Order of vanishing of an integer polynomial at a point

Let $f(x,y)$ be a polynomial with integer coefficients, and let $\alpha=(\alpha_1,\alpha_2)\in \mathbb{C}^2$ be a complex point. I want to show that $f$ cannot vanish at $\alpha$ to high order unless ...

**3**

votes

**1**answer

152 views

### Can we define a height function for a variety over a finite field?

That is, is there a way to measure the complexity of a point over a finite field the same way we do it over number fields?

**5**

votes

**1**answer

320 views

### “Weight-monodromy” for open varieties

Suppose that $X/\mathbb{Q}_p$ is a smooth, projective variety, and choose a prime $\ell\neq p$. Then the weight-monodromy conjecture says that the graded pieces $\mathrm{Gr}_k^M$ of the monodromy ...

**1**

vote

**0**answers

99 views

### In how many ways can one extend the zero section of the affine line with a double origin

Let $X$ be the affine line with a double origin over Spec $\mathbb Z$. Let $X_\eta$ be its generic fibre, the affine line with a double origin over Spec $\mathbb Q$.
Let $0$ be one of the origins of ...

**7**

votes

**3**answers

632 views

### Ranks of elliptic curves depend only on the field?

Let $K/\mathbb{Q}$ be an algebraic extension, and let $E_1,E_2/\mathbb{Q}$ be elliptic curves. Is it possible that the Mordell-Weil rank of $E_1(K)$ is finite while that of $E_2(K)$ is infinite?

**42**

votes

**1**answer

3k views

### What were the main ideas and gaps in Yoichi Miyaoka's attempted proof (1988) of Fermat's Last Theorem?

Out of sheer curiosity I have been reading Stewert and Tall's "Algebraic Number Theory and Fermat's Last Theorem" (2001). As it contains various bits of history, I found out to my own shame that I was ...

**2**

votes

**0**answers

151 views

### An elliptic curve trivial over any extension unramified outside 7 and infinity?

Is there an elliptic curve $E/\mathbb{Q}$ such that $E(K)$ is trivial for every finite extension $K/\mathbb{Q}$ with discriminant a power of $7$ ?

**7**

votes

**0**answers

215 views

### Is the compositum of all quadratic extensions of the rationals an ample field?

Let $K$ be the compositum of all quadratic extensions of $\mathbb{Q}$, that is $$K = \mathbb{Q}(\sqrt{d} \ : \ d \in \mathbb{Q}).$$
Is there a (geometrically irreducible) smooth variety ...

**3**

votes

**4**answers

486 views

### Integral points on a particular family of curves

This is a follow-up to this question (and comments thereon). Namely, it follows from Felipe Voloch's comment that for any $n>2$ there is a finite set of integral $(x, y),$ such that
$$
...

**6**

votes

**1**answer

419 views

### Pure motives and compatible systems of $\ell$-adic representations

I am trying to understand the statement of the conjectures of Deligne on special values of certain $L$-functions, from his article titled, "Valuers de Fonctions L et periodes d'integrales" which ...

**12**

votes

**1**answer

802 views

### Applications of $p$-adic Hodge theory

I am trying to learn $p$-adic Hodge theory. I found some materials explaining main theorems (or aspects) of the theory. However, I could not find references which explaining how to use the theory. ...

**4**

votes

**1**answer

204 views

### Lifting torsors in characteristic $p$ to characteristic zero

Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...

**6**

votes

**1**answer

162 views

### Question on paper of Stewart and Top about ranks of elliptic curves over Q(t)

I'm reading "On Ranks of Twists of Elliptic Curves and Power-Free Values of Binary Forms" by Stewart and Top, and struggling to understand the argument on pg 962 which shows that the rank of a ...