The arithmetic-geometry tag has no usage guidance.

**0**

votes

**0**answers

106 views

### Faltings height on pair $(\mathcal X,\mathcal D)$

Let $\mathcal X$ be a semi-stable Abelian variety over number field $K$ and possessing a Neron differential $\omega\in \operatorname{H}^0(X,\Omega_X^{\text{dim}X})$, then the Faltings height can be ...

**2**

votes

**1**answer

256 views

### Pro-affine varieties over a local field

Let $K$ be a (perfect) local field, and let $S = \lim (\operatorname{Spec} A_i)_{i=0}^\infty$ be a pro-affine variety over $K$. This means that each $A_i$ is a finite type $K$-algebra and that the ...

**2**

votes

**0**answers

123 views

### Computing intersection number of two arithmetic line bundles

I have some questions in Arithmetic Arakelov geometry
Let $\mathcal X\to Spec(\mathcal O_K)=C$ be an arithmetric projective variety over $C$ , where $\mathcal O_K$, ring of number filed $K$ and ...

**16**

votes

**1**answer

498 views

### Is hyperelliptic cryptography “practical”?

Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...

**10**

votes

**1**answer

538 views

### What is the first cohomology $H_{fppf}^{1}(X, \alpha_{p})$?

Let $X$ be a smooth projective curve of genus $g>1$ over an algebraically closed field $k$ of characteristic $p>0$. Let $\alpha_{p}$ be the group scheme of the kernel of $F: \mathbb{G}_{a} ...

**8**

votes

**0**answers

117 views

### Does the Tate pairing agree with the Brauer-Manin pairing

Let $X$ be a proper, smooth, geometrically integral variety over a field $k$. Let $A$ be (the identity component of) its Picard variety and let $B$ be (the identity component) of its Albanese variety. ...

**4**

votes

**2**answers

262 views

### Lifting the Hasse invariant mod $2$

Katz defines in Section 2.0 $p$-adic properties of modular schemes and modular forms the Hasse invariant as a mod $p$ modular form $A$ of weight $p-1$. In other words, it is a section of ...

**9**

votes

**0**answers

98 views

### Finiteness of torsion in $\mathcal{K}_2$-cohomology

Let $F$ be a number field, $C$ be a smooth projective curve over $F$ and $\mathfrak{C}$ be a proper regular model. I am interested in $\mathcal{K}_2$-cohomology, i.e., Zariski cohomology of the sheaf ...

**1**

vote

**1**answer

174 views

### Solving Non-Linear Equations over a Finite Field of a Large Prime Order

I want to know is there is an efficient way to figure out whether or not a ( underdetermined) system of non-linear equations have a solution over a finite field of large prime order. The equations ...

**10**

votes

**2**answers

516 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 ...

**2**

votes

**2**answers

355 views

### Rational points on towers of curves

Let $\ldots \to X_n \to X_{n-1} \to \ldots \to X_0$ be etale maps between smooth projective curves of genera $g(X_n)>1$, all defined over a fixed number field $K$. By Faltings' Theorem, we know ...

**61**

votes

**1**answer

7k 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, ...

**4**

votes

**1**answer

108 views

### Exceptional specializations of Galois groups in the Hilbert Irreducibility Theorem

Suppose $f(x,t)\in\mathbb{Q}(t)[x]$ is an irreducible polynomial with Galois group G. For any rational number $a$ we may consider the polynomial $f(x,a)\in\mathbb Q[x]$ and its corresponding Galois ...

**10**

votes

**1**answer

382 views

### Galois representations for the curve $y^{2} = x^{3} - x$

Let $E / \mathbb{Q}$ be the elliptic curve given by $y^{2} = x^{3} - x$. I would like to know explicitly what the field of all $2$-power torsion looks like, as well as the image in ...

**3**

votes

**0**answers

112 views

### Ranks of elliptic curves over Q(t)

I have an elliptic curve $E/\mathbb{Q}(t)$, and I want to compute its rank. Does knowing the rank over $\mathbb{F}_p(t)$ for some prime of good reduction give a bound on the rank over ...

**18**

votes

**2**answers

677 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

**3**answers

557 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 ...

**7**

votes

**2**answers

305 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

200 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

197 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

149 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

63 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 ...

**11**

votes

**1**answer

467 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

216 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

526 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

139 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 ...

**5**

votes

**1**answer

158 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

234 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

270 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

104 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

417 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

297 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

158 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

194 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

242 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

253 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

352 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

115 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 ...

**10**

votes

**0**answers

210 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

277 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

171 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 ...

**11**

votes

**1**answer

2k 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

70 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

570 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

285 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

160 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

181 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

389 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 ...