All Questions
7 questions
3
votes
1
answer
395
views
Finding $K$-rational points on $X_0(35)$
Let $K=\mathbb{Q}(\sqrt{-2})$. How can I compute the $K$-rational points on the modular curve $X_0(35)$?
Recall that $X_0(35)$ is a hyperelliptic curve of genus 3 and has the simplified affine model:
\...
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 ...
0
votes
0
answers
87
views
Computational tool for checking the existence of non-trivial rational zero of a cubic form
Suppose we consider a arbitrary cubic homogeneous form $f$ in in four or five variables over the rational field. Is there any computational tool or algorithm to check whether this cubic homogeneous ...
7
votes
1
answer
218
views
Subfields of Hilbertian fields
This question is about the Remark on the top of page 22 of Serre's Topics in Galois Theory, available here :
http://www.ms.uky.edu/~sohum/ma561/notes/workspace/books/serre_galois_theory.pdf
My ...
2
votes
1
answer
600
views
Density of rational points over finite fields, an estimate of Lang-Weil constant
Let $X\hookrightarrow\mathbb P^n_{\mathbb F_q}$ be a geometrically integral hypersurface over the finite field $\mathbb F_q$ of degree $\delta$. In order to estimate the number of its rational points, ...
13
votes
1
answer
1k
views
Rational points on surfaces of general type
The weak Lang conjecture asserts that rational points on a variety of general type defined over $\mathbb{Q}$ are not Zariski dense (same replacing $\mathbb{Q}$ with a number field). This one is proved ...
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 &...