Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
175 views

Space of rational conics

Let $K$ be a field of characteristic different from two. Conics over $K$ (that is curves of degree two in $\mathbb{P}^2_K$) are parametrized by $\mathbb{P}(k[x,y,z]_2) = \mathbb{P}^5_K$. Conisider the ...
Puzzled's user avatar
  • 8,998
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 ...
Sky's user avatar
  • 923
1 vote
0 answers
194 views

Brauer-Manin obstruction and affine curves

I'm looking for references that can justify to what extent is the following statement true: Statement. Let $X$ be a smooth geometrically integral curve over a number field $k$. Then the Brauer-Manin ...
oleout's user avatar
  • 895
1 vote
1 answer
353 views

The smooth completion of a curve

Let $C$ be a smooth geometrically integral affine curve. This question concerns the smooth completion $C_1$ of $C$, both defined over a number field $k$. We know that given any smooth projective ...
oleout's user avatar
  • 895
17 votes
1 answer
349 views

Why should the number of $\mathbb{F}_q$ points on degree $d$ curves $C\subset \mathbb{P}_{\mathbb{F}_q}^n$ decrease as $n$ increases?

This question concerns some counterintuitive results (to me at least) regarding the number of points on a projective curve over a finite field. Namely, if one fixes the degree of the curve, but ...
TomGrubb's user avatar
  • 293
3 votes
1 answer
190 views

Connected sum of algebraic curves, handlebody decomposition, and induction on genus

Are there any nice methods of taking algebraic curves $C_1, C_2$ of genera $g_1,g_2$ and producing a curve $C_3 = C_1 \# C_2$ of genus $g_3 = g_1+g_2$? I'm imagining doing this over any field, but ...
PrimeRibeyeDeal's user avatar
4 votes
2 answers
793 views

Pointless, non-singular, absolutely irreducible affine plane curves over finite fields

We think the following is true: For all sufficiently large primes $p$ and all natural $g \ge 1$, there exists affine plane curve $f(x,y)=0$ over $\mathbb{F}_p$ which is non-singular, absolutely ...
joro's user avatar
  • 25.4k
0 votes
0 answers
279 views

Computing the genus of a plane curve

Let $b(x)=x^4 + 3x^3 + 3x^2 + 2x + 1$, and let $a(x)\in \mathbb Z[x]$ be a separable polynomial. Let $C$ be the plane curve defined by $(y^2+(x+x^2+x^3)a(x))^2-a(x)^2b(x)=0$. I would need to show that ...
user36371's user avatar
  • 101
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
1 vote
0 answers
193 views

Existence of a curve with no points over finite separable field extensions

Does there exist a field $K$, and a smooth projective geometrically connected curve $C$ over $K$ such that, for all finite separable field extensions $L/K$ the curve $C$ has no $L$-rational points? I ...
Keesjan's user avatar
  • 51
9 votes
1 answer
549 views

Varieties with infinitely many etale covers and rational points

Let $X$ be a (smooth projective geometrically connected) variety over a field $k$. Consider the set Et$(X,k)$ of finite etale covers $Y\to X$ over $k$, with $Y$ geometrically connected over $k$. ...
Jan Hendrik's user avatar
20 votes
3 answers
2k 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 ...
Dirk's user avatar
  • 209
-1 votes
1 answer
802 views

Genus of algebraic curves with unknown degree

I am not sure if this is a valid question but posting any way: Say I am over $\mathbb{F}_{p}$ for a prime $p$. I have a curve of form $x^{2} = f(y)$ where $f(y)$ has an unknown form (and hence ...