# Tagged Questions

**8**

votes

**0**answers

128 views

### Totally real points on curves

Let $X$ be a smooth, projective (geometrically integral) curve defined over $\mathbb{Q}$ with genus $g \geq 3$. Suppose that $X(\mathbb{R}) \neq \emptyset$. Does $X$ have a point defined over a ...

**7**

votes

**1**answer

177 views

### Finite morphisms to projective space

Let $X$ be a projective variety of dimension n. Then there exists a finite surjective morphism $X \to \mathbf P^n$. Let $d$ be the minimal degree of such a finite surjective morphism.
Let $d^\prime ...

**3**

votes

**1**answer

175 views

### Etale covers of products of curves

Is a finite etale cover of a product of curves again a product of curves?
The answer is no in general. Here's one way to construct an example. Take the product $A$ of two elliptic curves and an ...

**0**

votes

**0**answers

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

**0**

votes

**0**answers

80 views

### How to construct a reduction type that we need from a smooth curve

Let $X_{k}$ be a stable curve over a algebraically closed field $k$. We can find a complete DVR $R$ and deform $X_{k}$. Then we can obtain a stable curve $X$ over $R$ whose generic fiber $X_{\overline ...

**1**

vote

**0**answers

119 views

### What does Hodge theory tell us about simply connected surfaces of general type

Let $X$ be a smooth complex projective variety. We know that $\Omega^1_X$ has a non-zero section if and only if the abelianization of the fundamental group of X is infinite. This follows from Hodge ...

**4**

votes

**0**answers

160 views

### Do regular noetherian schemes of dimension one only have finitely many etale covers of bounded degree

Let $X$ be a regular noetherian scheme of dimension one. Let $d$ be an integer.
Question. Are there only finitely many finite etale morphisms $Y\to X$ of degree $d$?
I want to exclude finite etale ...

**4**

votes

**0**answers

162 views

### Is the moduli space of genus three smooth quartics affine?

Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine?
I think this follows from a more general result on smooth complete intersections, but I'm ...

**6**

votes

**1**answer

377 views

### If rational points are like entire curves, then what do algebraic points correspond to

I read somewhere that if $X$ is a projective variety of general type over a number field $K$, then rational points are an analogue of entire curves $\mathbf{C}\to X^{an}$ (with $X^{an}$ the ...

**3**

votes

**1**answer

270 views

### On the m-th power of the Hodge bundle and Arakelov's theorem

Let $S$ be a smooth projective curve over $\mathbf C$ and let $f:X\to S$ be a projective flat morphism with "semi-stable" fibres (i.e., the fibres are reduced and strict normal crossings divisors) and ...

**1**

vote

**1**answer

214 views

### Hilbert polynomial of $X\times P^1$

Let $X$ be a canonically polarized smooth projective geometrically connected variety over $k$ with Hilbert polynomial $h$.
What is the Hilbert polynomial of $X\times_k \mathbf{P}^1_k$? How does it ...

**6**

votes

**1**answer

342 views

### For which fields does the isogeny theorem hold

Let $k$ be a field. We say that the isogeny theorem holds over $k$ if, for any abelian variety $A$ over $k$, there are only finitely many $k$-isomorphism classes of abelian varieties $B$ over $k$ ...

**3**

votes

**1**answer

137 views

### Does the Hilbert polynomial determine the weight of the Galois representation associated to a variety

Let $X$ be a curve or an abelian variety (over a finite field). Then the Galois representation associated to $X$ via the etale cohomology of $X$ (in degree $1$) is integral of weight $1$ and its ...

**1**

vote

**2**answers

327 views

### Equation for simple Jacobian of a genus two curve

Let $X$ be a curve of genus two over a field $k$ with a $k$-rational point. Let $J$ be the Jacobian of $X$.
Can we write down an explicit equation for the abelian surface $J$?
I know $X$ can be ...

**2**

votes

**1**answer

133 views

### Detecting sections on an arithmetic variety

Let $S$ be Spec $O_K$ with $O_K$ the ring of integers of a number field $K$.
Let $X\to S $ be an arithmetic variety, i.e., an integral smooth quasi-projective $S$-scheme with generic fibre $X_\eta$ ...

**6**

votes

**1**answer

261 views

### Are ranks of Jacobians over number fields unbounded?

Fix a number field $K$.
Is the rank of $J(K)$ unbounded, where $J$ ranges over the Jacobians of all smooth, projective, geometrically connected curves over $K$?
Does there exist an integer $g$ such ...

**14**

votes

**1**answer

802 views

### Does the moduli space of genus three curves contain a complete genus two curve

Inspired by the question
Does the moduli space of smooth curves of genus g contain an elliptic curve
and its amazing answers, I ask (pure out of curiosity) whether the moduli space $M_3$ of (smooth ...

**2**

votes

**1**answer

283 views

### Grothendieck's section conjecture and base change: restricting sections

Let $X$ be a smooth projective geometrically connected curve over $\mathbf{Q}$ of genus at least two. Fix an algebraic closure $\overline{\mathbf{Q}}$ of $\mathbf{Q}$ and let $G_{\mathbf{Q}}$ be the ...

**7**

votes

**1**answer

267 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$.
...

**20**

votes

**1**answer

804 views

### Do all curves have Néron models

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$.
Does there exist a NÃ©ron model $\mathcal X$ for $X$ over $O_K$?
By a NÃ©ron model, I mean ...

**1**

vote

**1**answer

288 views

### Does a curve over a number field have a finite etale cover of given degree

Let $X$ be a (smooth projective geometrically connected) curve over a number field $K$ of genus $g\geq 2$. Let $d\geq 2$ be an integer.
Does there exist a curve $Y$ over $K$ with a finite etale ...

**1**

vote

**1**answer

228 views

### What is the reduction of this hyperelliptic curve

Let $K$ be a number field and $E/K$ an elliptic curve with equation $Y^2Z = X^3 +AXZ^2+BZ^3$ in $\mathbf{P}^2_K$, where $A,B\in K$.
Let $S$ be non-empty finite set of finite places of $K$ and suppose ...

**8**

votes

**1**answer

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

**1**

vote

**1**answer

151 views

### Is the number of twists of a curve with a section in a given field finite

Let $X$ be a smooth projective geometrically connected curve over a number field $k$ of genus $g\geq 2$.
Is the number of twists of $X$ always infinite? (The answer is no, because there aren't any ...

**6**

votes

**1**answer

186 views

### Is the class of $k$-gonal curves dominant

Before I start, let me make a note on terminology. Curves are always smooth projective connected curves over an algebraically closed field of characteristic zero.
Let $\mathcal C$ be a class of ...

**4**

votes

**0**answers

229 views

### On Stickelberger's Theorem over function fields

Here is the setup to Stickelberger's theorem over number fields (following Washington's book Intro. to cyclotomic fields).
Let $M/\mathbb{Q}$ be a finite abelian extension with galois group $G$. ...

**2**

votes

**1**answer

429 views

### Conductor of an elliptic curve

Given any elliptic curve over $\mathbb{Q}$ of conductor $N$, by modularity of elliptic curves,
there exists a surjective morphism from $X_0(N)$ $\rightarrow$ $E$.There may be several such 'N' and ...

**3**

votes

**1**answer

343 views

### A question about the Tannakian etale fundamental group of a curve

Let $X$ be a smooth connected quasi-projective curve over $\mathbf{Q}$. Let $U$ be the pro-unipotent etale fundamental group of $X$ over $\mathbf{Q}_p$.
$U^1 = U$ and let $U^n =[U,U^{n-1}]$.
Let ...

**4**

votes

**4**answers

729 views

### The use of embedding a curve into its Jacobian

I'm looking for as many examples/applications as possible of the use of embedding a smooth projective geometrically connected curve $X$ over a number field $k$ with $X(k)\neq \emptyset$ into its ...

**11**

votes

**1**answer

470 views

### A curve with bad reduction for which the jacobian has good reduction

Let $K$ be a number field. If $X$ is a curve over $K$ with good reduction at a place $v$ of $K$, then the Jacobian of $X$ also has good reduction at $v$. This follows from the functoriality of the ...

**3**

votes

**1**answer

991 views

### Trace of Frobenius over $F_q$

Let $q_0$ be a prime and $q$ = $q_0^n$.
Let $a(F_q/F_{q_0})$ denote any integer which is trace of Frobenius over the field $F_q$ for some elliptic curve which can be defined over $F_{q_0}$.
It is ...

**3**

votes

**1**answer

479 views

### Does the Mordell conjecture imply the Shafarevich conjecture

The base field is a number field.
It is known that the Shafarevich conjecture implies the Mordell conjecture (Kodaira-Parshin).
Is the converse also true?
Note that both conjectures are now ...

**2**

votes

**0**answers

218 views

### Every curve is a Hurwitz space in infinitely many ways

Diaz, Donagi and Harbater proved that every curve over $\overline{\mathbf{Q}}$ is a Hurwitz space.
A Hurwitz space is a connected component of the curve $H_n$. The curve $H_n$ is (the ...

**4**

votes

**1**answer

907 views

### Bound for the number of rational points on the modular curve

By Mazur's theorems (Reference:- Modular curves and the Eisenstein ideal, 1977),
we know that the only rational points of X_0(N) for N any prime > 163 are
the two cusps (o) and (oo) (|X_0(N)(Q)| = 2 ...

**6**

votes

**2**answers

342 views

### Zograf's bound on the index of a modular curve for Shimura curves

I've been reading Voight's paper on Shimura curves and it prompted the following question; see http://www.cems.uvm.edu/~voight/articles/shimura-clay-proceedings-071707.pdf for which notes I'm talking ...

**9**

votes

**0**answers

355 views

### Is there an algorithm which determines if a curve has good reduction outside a given set of primes

Fix a number field $K/\mathbf{Q}$, a finite set of places $S$ in $K$, an integer $g$ and a curve $X$ over $K$ of genus $g$.
Is there an algorithm which tells you if $X$ has good reduction outside ...

**1**

vote

**1**answer

233 views

### Manin-Drinfeld and constructing a finite morphism with two given ramification points

Fix a smooth projective connected curve $X$ over $\overline{\mathbf{Q}}$ of genus $g\geq 1$ and distinct points $x,y \in X$ such that $x-y$ has infinite order in the Jacobian.
Can we always find a ...

**2**

votes

**1**answer

234 views

### Does each finite morphism of curves have a model whose minimal resolution is semi-stable

Let $\pi:Y\to X$ be a finite morphism of smooth projective geometrically connected curves over a number field $K$.
Question. Does there exist a finite field extension $L/K$ and a regular model ...

**1**

vote

**1**answer

180 views

### Is there an easier argument to prove that almost all of these curves have no semi-stable reduction

Fix a number field $K$ and a polynomial $F(x)\in K[x]$ of degree at least $4$. For a squarefree integer $d$, define the curve $X_d$ over $K$ by the equation $dy^2 = F(x)$. Note that the curves $X_d$ ...

**9**

votes

**1**answer

472 views

### Can we always find a curve which doesn't have semi-stable reduction

Let $K$ be a number field and let $g$ be a positive integer. Does there exist a smooth projective geometrically connected curve $X/K$ of genus $g$ such that $X$ does not have semi-stable reduction ...

**2**

votes

**1**answer

218 views

### Comparing heights of rational points on curves through covers

Let $a$ be a closed point in $\mathbf{P}^1_{\overline{\mathbf{Q}}}$.
Let $Y \cong \mathbf{P}^1_{\overline{\mathbf{Q}}} $ and let $\pi:Y\to \mathbf{P}^1_{\overline{\mathbf{Q}}}$ be a finite morphism ...

**8**

votes

**0**answers

416 views

### Arithmetic and moduli spaces of higher genus curves

Modular curves (as moduli of elliptic curves with level structure) play a key role in the study of the arithmetic of elliptic curves. The higher genus curves have very different arithmetic, but I ...

**9**

votes

**1**answer

517 views

### Which curves have stable Faltings height greater or equal to 1

Let $Y$ be a smooth projective connected curve of genus $g>0$ over $\overline{\mathbf{Q}}$. Let $h_{\textrm{Fal}}(Y)$ be the Faltings height of $Y$.
Question 1. Can one classify or describe the ...

**10**

votes

**2**answers

848 views

### Families of curves for which the Belyi degree can be easily bounded

I know (edit: three) families of smooth projective connected curves over $\bar{\mathbf{Q}}$ for which the Belyi degree is not hard to bound from above.
The modular curves $X(n)$. They are ...

**4**

votes

**0**answers

523 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

**2**answers

715 views

### “Bad” reduction of Shimura curves via dual graphs

I have the following naive (and inexpert) question about the
reduction of Shimura curves at primes dividing the discriminant
of the underlying quaternion algebra. It requires some background
to ...

**2**

votes

**4**answers

501 views

### a question on function fields (extending my previous question)

Consider the extension Q(a,b) of the field of rationals, where a,b are algebraically independent transcendentals. To Q(a,b) adjoin the roots of the polynomials x^5+a^5=1 and y^5+b^5=1. The resulting ...

**10**

votes

**1**answer

560 views

### a question on function fields

Consider the transcendental extension Q(t) of the field of rationals.
To Q(t) adjoin the root of the polynomial x^5+t^5=1. The resulting
field Q(t)[x] is a radical extension of Q(t). Is it true that ...