Skip to main content

Questions tagged [rational-points]

Filter by
Sorted by
Tagged with
6 votes
1 answer
366 views

Breaking a morphism with generic fiber $\mathbb{F}_n$

Assume we are working over $\mathbb{C}$, and we have a projective morphism with connected fibers $f: X \rightarrow Z$ whose geometric generic fiber $X_\overline{\eta}$ is isomorphic to a Hirzebruch ...
Stefano's user avatar
  • 625
3 votes
1 answer
171 views

Solving system of multivariable algebraic equations over $\mathbb Q$ by reducing over $\mathbb F_p$

I try to solve the finite system of multivariable algebraic equations with coefficients from $\mathbb Q$. It would be sufficient for me to prove that there is only finite number of solutions over $\...
Maxim's user avatar
  • 424
1 vote
0 answers
144 views

Rational points of torsors over a separable closure

I already asked this question on Math Stack few days ago ( torsors over a separable closure ), but did not receive any answer, so I post it here. Let $G$ be a smooth linear algebraic group defined ...
GreginGre's user avatar
  • 1,766
2 votes
0 answers
310 views

Rational point on variety over function field

This is one of the theorems in Field Arithmetic written by M. Fried and M. Jarden as following which is Proposition 13.4.6 in that monograph: Every field K has a regular extension F which is PAC ...
Max CYLin's user avatar
  • 151
8 votes
1 answer
206 views

Integral complete 4-partite graphs

For given block sizes $a<b<c<d$, consider the complete 4-partite graph $K_{a,b,c,d }$. Can such a graph be integral, i.e. have only integer eigenvalues? It is easy to see that the ...
Wolfgang's user avatar
  • 13.4k
4 votes
0 answers
313 views

Action of the Picard Scheme of an Elliptic Fibration

Suppose that we have a surface $X$ defined over a field $k$ (I am interested in $k$ being a number field) and an elliptic fibration $f: X \rightarrow \mathbb{P}^1$, i.e. $f$ is proper and almost all ...
Sam Streeter's user avatar
1 vote
1 answer
240 views

Are there nontrivial rational solutions of $x^{n-m}=(1+t^m)/(1+t^n)$?

Let $n-m \ge 2$ be two fixed natural numbers. Are there any nontrivial rational solutions of the equation $$x^{n-m}=(1+t^m)/(1+t^n)$$ for $x$ and $t$? As particular cases the rational solutions of ...
mehdi baghalaghdam's user avatar
10 votes
4 answers
2k views

What is the smallest sphere whose surface includes 100 integer points?

Let $S(r)$ be the surface of the origin-centered sphere in $\mathbb{R}^3$. A point is an integer point if all its coordinates are integers. What is the smallest radius $r_n$ such that $S(r_n)$ ...
Joseph O'Rourke's user avatar
8 votes
1 answer
986 views

Why study unirational and rational varieties?

I am new to the study of unirational and rational varieties, but I want to know the motivation for why mathematicians started to study these conditions. The reasons that I could list to study ...
schemer's user avatar
  • 782
2 votes
0 answers
376 views

Number of rational points of a singular cubic surface over a finite field

I have a (geometrically irreducible) cubic surface defined over a finite field $F_q$ with three non-$F_q$-rational singularities (defined over the cubic extension of $F_q$). Counting the number of $...
Hidegol's user avatar
  • 21
2 votes
1 answer
462 views

Counting algebraic points of bounded height

Let $K$ be a number field and $X\hookrightarrow\mathbb P^n_K$ be a projective variety of degree $\delta$ (with respect to universal bundle) and dimension $d$. We denote the set $$S(X;D,B)=\{\xi\in X(\...
var's user avatar
  • 403
6 votes
1 answer
222 views

rational points and a local perturbation of an elliptic curve

Let $E_{a,b}$ be an elliptic curve defined by the equation $y^{2}=x^3+ax+b$ where $a,b \in \mathbb{Q}$. Suppose that for $a=a_{0}$ and $b=b_{0}$ the rank of $E_{a_{0},b_{0}}(\mathbb{Q})=1$. question:...
M.O.'s user avatar
  • 125
15 votes
2 answers
1k views

Determining the Mordell-Weil group of a universal elliptic curve

Let $K$ be a number field and let $K(a,b)$ be the field of rational functions with two indeterminates over $K$. Consider the elliptic curve $E$ over $K(a,b)$ defined by the Weierstrass equation \begin{...
François Brunault's user avatar
9 votes
1 answer
578 views

Rational points on varieties over local fields

In his expanded lecture notes Rational points on varieties, Bjorn Poonen writes the following: REMARK 2.5.3: There is an algorithm that, given a local field $k$ of characteristic $0$ and a $k$-...
thierry stulemeijer's user avatar
12 votes
0 answers
350 views

Artin representations appearing in Mordell-Weil groups of elliptic curves

Let $E$ be an elliptic curve defined over $\mathbf{Q}$, and let $K$ be a Galois number field. The Galois group $G=\mathrm{Gal}(K/\mathbf{Q})$ acts on the Mordell-Weil group $E(K)$ and thus on the ...
François Brunault's user avatar
10 votes
4 answers
1k views

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

It is known that the group $C(\Bbb R)$ has at most two connected components, and the connected component of the identity is isomorphic to $U(1)$ as a topological group (trivially) and $C(\Bbb Q)$ is ...
FusRoDah's user avatar
  • 3,738
8 votes
4 answers
338 views

Scaling a set of reals to be nearly integers

A version of this question was previously asked on MSE. I'll mention progress below. A geometric construction I'm exploring leads to a set $R$ of $n$ positive real numbers, for example: $$ R = \{ \pi,...
Joseph O'Rourke's user avatar
3 votes
2 answers
550 views

Does there exist a rational point on the elliptic curve: $y^2=x^3+6x^2+x$ ? If yes, how to find one? (relations to the 'rational distance problem') [closed]

The elliptic curve $y^2=x^3+6x^2+x$ is associated with the Rational Distance problem, which asks whether there exists a point in the plane, that is at rational distances from the four vertices of the ...
Devashish Gupta's user avatar
2 votes
1 answer
657 views

Rational points on open subsets of affine space [closed]

Let $k$ be an infinite field. Assume that the index of the algebraic closure $\bar{k}$ over $k$ is strictly greater than $2$. Let $U$ be a non-empty open subset of some affine space over $k$. Is it ...
user43198's user avatar
  • 1,981
1 vote
0 answers
173 views

Levi decompositions of k-rational points of linear algebraic groups

Let $k$ be a field with characteristic zero and $G$ be a (connected or not) linear algebraic group defined over $k$. We know that $G$ has a Levi decomposition i.e., $G=R_u(G)\rtimes L$, where $R_u(G)$ ...
m07kl's user avatar
  • 1,702
11 votes
1 answer
702 views

Galois Representations and Rational Points

Suppose $X$ and $Y$ are two connected smooth projective varieties over $\mathbb{Q}$ (of the same dimension) that have the same $\ell$-adic Galois representations (up to semisimplification). What is ...
user103716's user avatar
1 vote
0 answers
122 views

Existence of rational points on the image of a proper morphism

Let $K/F$ be a field extension, and let $X$ and $Y$ be affine varieties over $F$. (E.g. they are defined by polynomials over $F$.) Suppose $X$ contains $F$-points. Now view $X$ and $Y$ as $K$-...
Jimmy's user avatar
  • 565
5 votes
1 answer
824 views

Understanding Siegel's Theorem on integral points

Siegel's theorem states the following: Let $C$ be a smooth projective curve over a number field $K$. Let $\tilde C\subset C$ be an open affine subvariety, and $i:\tilde C\hookrightarrow \mathbb{A}^...
Andrew NC's user avatar
  • 2,081
6 votes
1 answer
185 views

If $X$ is a genus $g\geq 2$ curve over a number field $K$, then is there a bound on $X_L(L)$ for $L/K$ that depends only on $X$ and $[L:K]$?

If $X$ is a genus $g\geq 2$ curve over a number field $K$, then $X(K)$ is finite by Falting's Theorem. My question is how does $X_L(L)$ behave for finite field extensions $L/K$? In particular, is ...
Andrew NC's user avatar
  • 2,081
7 votes
1 answer
557 views

Does Chabauty-Coleman method give an algorithm for finding rational points?

Let $X$ be a curve of genus $g\geq 2$ over a number field $K$. If $\mathrm{rk} \,\mathrm{Jac}\, X$ is less than $g$ there is a $p$-adic method of bounding $\# X(K)$ due to Chabauty and Coleman (see ...
SashaP's user avatar
  • 7,377
4 votes
0 answers
1k views

Rational points on the unit circle

Is anything known about any of the following questions about rational points on the unit circle? By “double point” I mean an element of $2C$, where $C$ is the group of rational points on the unit ...
Robin Houston's user avatar
3 votes
2 answers
203 views

Existence of lattices whose circles have bounded number of points

For any plane lattice $\Lambda= \{ mA+nB: m,n \in \mathbb Z \}$, with $A,B$ linearly independent vectors in $\mathbb R^2$, we define the set of the circles in $\Lambda$ as $$\mathcal K(\Lambda) = \...
AlterTim's user avatar
  • 315
8 votes
2 answers
730 views

An elliptic curve for Ramanujan-type cubic identities?

Given the roots $x_i$ of the depressed cubic, $$x^3+px+q=0$$ with rational coefficients. It can be shown that, in general, one can find rational $u,v$ such that, $$(u-x_1)^{1/3}+ (u-x_2)^{1/3}+ (u-...
Tito Piezas III's user avatar
1 vote
1 answer
454 views

Heights of multiples of rational points on elliptic curves

Let $E/\mathbb{Q}$ be an elliptic curve, given by some minimal Weierstrass equation (say $Y^2 = X^3 + aX + b$ for some integer $a$ and $b$), and let $P$ be a rational point on $E$ which is not the ...
WhatsUp's user avatar
  • 3,432
6 votes
0 answers
118 views

Rational $d$-simplices

Define a rational $d$-simplex as a simplex in $\mathbb{R}^d$ such that the measure of all its $k$-dimensional faces, $k \ge 1$, is rational. So a rational triangle has rational edge lengths and ...
Joseph O'Rourke's user avatar
11 votes
5 answers
4k views

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

I am at the stage of learning. Mostly, I am attracted by algebraic number theory. Roughly speaking, I am interested in the rational points of algebraic varieties. I am little bit afraid to start to ...
Ofra's user avatar
  • 1,613
2 votes
0 answers
107 views

the least point on a variety over a finite field

Let $p$ be a large prime parameter and $V\subseteq \mathbb{P}^n_{\mathbb{F}_p}$ a variety defined over the finite field $\mathbb{F}_p$ with bounded degree and dimension (w.r.t. $p$). Assume that $V$ ...
Lior Bary-Soroker's user avatar
175 votes
2 answers
66k views

Estimating the size of solutions of a diophantine equation

A. Is there natural numbers $a,b,c$ such that $\frac{a}{b+c} + \frac{b}{a+c} + \frac{c}{a+b}$ is equal to an odd natural number ? (I do not know any such numbers). B. Suppose that $\frac{a}{b+c} + \...
alex alexeq's user avatar
  • 1,881
2 votes
2 answers
440 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 ...
Piotr Achinger's user avatar
4 votes
3 answers
567 views

Conics, rational points and probability

Given a conic $Ax^2+Bxy+Cy^2+Dx+Ey+F=0$ with integers and random coefficients, what is more probable? To find a rational point on the conic or not?
user84475's user avatar
20 votes
5 answers
2k views

Rational solutions of the Fermat equation $X^n+Y^n+Z^n=1$

As a generalisation to the equation of Fermat, one can ask for rational solutions of $X^n+Y^n+Z^n=1$ (or almost equivalently integer solutions of $X^n+Y^n+Z^n=T^n$). Contrary to the case of Fermat, ...
Jérémy Blanc's user avatar
7 votes
1 answer
389 views

Why are some solutions of these diophantine equations off the usual patterns?

This is inspired by a recent question about complete multipartite integral graphs. I am wondering if more can be said about tripartite integral graphs with block sizes $a<b<c$. It is easy to see ...
Wolfgang's user avatar
  • 13.4k
2 votes
1 answer
123 views

F-points of product of closed subgroups vs. product of F-points, F a local field, reference?

Let $F$ be a finite extension of $\mathbb Q_p$, where p is an odd prime. Let $G$ be a connected reductive group defined over $F$. Let $M, H$ be closed $F$-subgroups of $G$ (in particular, I'm ...
Jerrod Smith's user avatar
20 votes
2 answers
2k 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 ...
pre-kidney's user avatar
  • 1,329
7 votes
1 answer
508 views

What is the exact statement about uniform boundedness of rational points on curves of genus greater than one? Singular points can be unbounded

According to several sources, it is conjectured (or at least believed) that the rational points of curves over the rationals of genus $g > 1$ are uniformly bounded by $g$. E.g. here p. 1. Assuming ...
joro's user avatar
  • 25.4k
1 vote
0 answers
96 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 from ...
Joseph O'Rourke's user avatar
16 votes
2 answers
503 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, ...
Joseph O'Rourke's user avatar
5 votes
0 answers
150 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 ...
KotelKanim's user avatar
  • 2,320
5 votes
0 answers
299 views

A relative version of Hensel's lemma?

Let $k$ be a $p$-adic field with integer ring $\mathcal{O}_k \subseteq k$, maximal ideal $m_k \subseteq \mathcal{O}_k$ and residue field $\mathbb{F}_q = \mathcal{O}_k/m_k$. Let $X$ be a smooth, ...
Yonatan Harpaz's user avatar
1 vote
2 answers
203 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 &...
user avatar
3 votes
0 answers
558 views

Rank of the Jacobian of twists of hyperelliptic curves

Suppose that a hyperelliptic curve $C$ of genus $g \geq 4$ is given by the equation $$\displaystyle C: y^2 = a_0 x^{2g+2} + a_1 x^{2g+1} + \cdots + a_{2g+2} = f(x).$$ The Jacobian variety $J(C)$ of ...
Stanley Yao Xiao's user avatar
5 votes
1 answer
427 views

Transcendental distance sets

Define a set $S \subset \mathbb{R}^d$ as a transcendental distance set if the distance between any pair of distinct points of $S$ is transcendental. For example, $S = \{ k \, \pi \;\mid\; k=1,2,\ldots ...
Joseph O'Rourke's user avatar
24 votes
1 answer
4k views

Why is there a $\sqrt{5}$ in Hurwitz's Theorem?

Hurwitz's theorem is an extension of Minkowski's Theorem and deals with rational approximations to irrational numbers. The theorem states: For every irrational number $\alpha$, there are infinitely ...
Halbort's user avatar
  • 1,129
2 votes
2 answers
2k views

Find all rational solutions of this diophantine-equation?

Now, today, my friend tell me this problem was posted by American Mathematical Monthly (Vol. 111, No. 2 Feb., 2004), p. 165 by Wu wei Chao ,and It is said that this problem is unsolved, until now. ...
math110's user avatar
  • 4,280
10 votes
1 answer
594 views

Distribution of Mordell–Weil ranks of higher genus curves

By "nice curve", I mean a smooth, projective, geometrically integral curve over $\newcommand{\Q}{\mathbb{Q}}\newcommand{\Jac}{\operatorname{Jac}}\Q$ with at least one $\Q$-rational point. The Mordell–...
Daniel Hast's user avatar
  • 1,856