The tag has no wiki summary.

learn more… | top users | synonyms

18
votes
1answer
1k views

Learning path to the proof of the Weil Conjectures and étale topology

Assume you are an algebraic geometry advanced student who has mastered Hartshorne's book supplemented on the arithmetic side by the introduction of Lorenzini - "An Invitation to Arithmetic Geometry" ...
2
votes
1answer
85 views

Why do number rings have no endomorphisms

This question is about the analogy between number fields and function fields. It's a soft question and the title misrepresents the question. Consider the projective line over a field. This has many ...
2
votes
0answers
111 views

Do K3-surfaces have Weierstrass equations

I've been wondering a bit about K3-surfaces and their analogy to elliptic curves. I've just started so this might be a very silly question. Do all K3-surfaces have a Weierstrass equation (up to ...
4
votes
1answer
145 views

Primes of good reduction for varieties

Suppose I have a (smooth, projective) variety $X/\mathbb{Q}$. Is the notion of a primes of bad/good reduction well-defined from this data? Motivation and attempt at an answer: The question should be ...
2
votes
2answers
67 views

Factorizing rational functions of curves

Let $f:X\to \mathbf{P}^1$ be a rational function of degree $d\geq 2$ on a curve $X$. Let $n\geq 2$ be a divisor of $d$. Does there exist a curve $Y$ with a rational function $g:Y\to \mathbf{P}^1$ of ...
3
votes
1answer
81 views

Does de Franchis' theorem hold over any base field

Let $k$ be a field and let $X$ be a hyperbolic curve over $k$. Then, there are only finitely many hyperbolic curves $Y$ over $k$ dominated by $X$. I know this statement holds over $k=\mathbf{C}$. In ...
0
votes
1answer
117 views

Representing a curve as a plane curve in different ways

Let $X$ be a (smooth projective geometrically connected) curve over $k$, where $k$ is a field of characteristic zero. We assume $X$ has genus at least $2$. I know that $X$ has a plane model. More ...
7
votes
1answer
143 views

The number of curves of given genus over a field

Let $k$ be a field. Let $g\geq 0$ be an integer. I have an elementary question. Let $N$ be the "number" of $k$-isomorphism classes of smooth projective geometrically connected curves over $k$ of ...
3
votes
1answer
176 views

the elliptic curves with j-invariant zero

Let $B\in K^\ast$, where $K$ is a number field. Let $y^2=X^3+B$ be the Weierstrass equation for an elliptic curve $E_B$ over $K$. Note that the $j$-invariant of $E$ is zero. When is $E_B$ ...
3
votes
1answer
107 views

How can function fields have different degrees over the projective line

I'm confused. Let $X$ be a curve over a field $k$. Let $K= K(X)$ be its function field. Then, $K(X)$ is a field. Each non-constant morphism $f:X\to \mathbf{P}^1_k$ gives a field extension ...
2
votes
1answer
223 views

writing down the minimal discriminant of an elliptic curve

Let $j$ be an integer. Does there exist an elliptic curve $E_j$ over $\mathbf{Q}$ with $j$-invariant equal to $j$ whose minimal discriminant we can write down in a practical way? For example, can ...
5
votes
1answer
194 views

Conditions for a curve to be defined over a subfield

I have just finished reading Hartshorne, Chapter 1, Section 6 and have some questions about curves defined over a subfield of an algebraically closed field. For simplicity, let $k$ be a perfect field, ...
1
vote
0answers
41 views

CAS for counting points of varieties over finite fields

I am looking for a computer algebra system, which is able to some of the following (in theory equivalent) things for a smooth projective variety defined over a finite field: -Count the number of ...
2
votes
1answer
480 views

Who are considered to be masters of arithmetic geometry?

After reading this question I was wondering who are considered to be masters of arithmetic geometry and where can I find the papers which initiated the field arithmetic geometry.
21
votes
0answers
374 views

Tate conjecture for Fermat varieties

I've been looking at Tate's Algebraic Cycles and Poles of Zeta Functions (hard to find online... Google books outline here) and have a question about his work on (conjecturing!) the Tate conjecture ...
2
votes
1answer
123 views

Can we descend field extensions of prime degree of number fields to number fields of the same degree

Let $K$ be a number field and let $p$ be a prime number. Let $L$ be a degree $p$ field extension of $K$. Does there exist a degree $p$ field extension $M$ of $\mathbf{Q}$ such that ...
4
votes
3answers
174 views

How do I write down a curve with exactly one rational point

Let $g\geq 1$. I would like to write down (for all $g$) a smooth projective geometrically connected curve $X$ over $\mathbf{Q}$ of genus $g$ with precisely one rational point. Is this possible? For ...
4
votes
2answers
208 views

Genus of curves embedded into some projective space

The Plucker formula allows one to calculate the genus of a curve embedded into $\mathbf{P}^2$. Does there exist a "higher-dimensional" analogue of the Plucker formula? More precisely, let ...
2
votes
2answers
209 views

Rational points on singular curves and their normalization

Let $X$ be a curve over a field $k$. Assume that $X$ is geometrically connected, geometrically reduced and stable. Let $Y\to X$ be the normalization. Is $Y(k) = X(k)$?
3
votes
2answers
192 views

genus of normalization of stable curve

Let $X$ be a stable curve of genus $g$ over the field $k$, i.e., a $k$-rational point of the Deligne-Mumford stack $M_g$. What is the genus of the normalization of $X$? Does it depend on the number ...
0
votes
2answers
153 views

Why are these curves not defined over a smaller field

Let $K$ be a number field and let $\pi$ be an element in $K$. Assume that $\pi$ is not contained in a subfield of $K$. Consider the curve $y^2 = x^{2g+1}+\pi$. This defines (after homogenization and ...
3
votes
1answer
79 views

When is this quotient by an action on the product of a variety with itself non-singular

Let $X$ be a smooth projective geometrically connected variety over a field $k$. Let the cyclic group $G=\{e,a\}$ with two elements act on $X \times X$ via $a\cdot (x_1,x_2) = (x_2,x_1)$. When is ...
0
votes
1answer
150 views

Smallest genus example of a non planar curve

A curve is a smooth projective connected curve over an algebraically closed field. Every curve of genus 2 is planar. Also, every curve of genus 3 is planar. But what about curves of genus 4? What ...
5
votes
1answer
258 views

trivial Picard group

let $S=\operatorname{Spec}(A)$ be an affine scheme. For which ring $A$, not field is it known that $H^1(S,\mathcal{O}_S^{*})$ is trivial? If $X\to S$ is a finite map and $H^1(S,\mathcal{O}_S^{*})$ is ...
13
votes
1answer
984 views

What is an intuitive meaning of genus?

I read from the Finnish version of the book "Fermat's last theorem, Unlocking the Secret of an Ancient Mathematical Problem", written by Amir D. Aczel, that genus describes how many handles there are ...
14
votes
3answers
784 views

Important papers in arithmetic geometry and number theory

Having been inspired by this question I was wondering, what are some important papers in arithmetic geometry and number theory that should be read by students interested in these fields? There is a ...
1
vote
1answer
63 views

automorphisms of varieties with respect to a cover

Let $X$ and $Y$ be (smooth projective connected) varieties over $\mathbf{C}$. Let $\pi:X\to Y$ be a finite surjective flat morphism. Does this induce (by base change) a map $\mathrm{Aut}(Y) \to ...
1
vote
0answers
71 views

invert Grothendieck spectral sequence

I have 4 topoi $A,B,C,D$ (these are associated to abelian sheaves on some sites) and functors (which corresponds to some push-forward of sheaves) $F: A\rightarrow B$ $G: B \rightarrow C $ $H: A ...
5
votes
1answer
214 views

A question about modular curves and base change

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Suppose that the curve $X\times_{K,\sigma} \mathbf{C}$ is a modular curve for some $\sigma:K\to \mathbf{C}$. Can ...
7
votes
0answers
223 views

Do Neron models of hyperbolic curves exist

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$. Does there exist a Neron model $\mathcal X$ for $X$ over $O_K$? By a Neron model, I mean ...
2
votes
1answer
58 views

If the reduction is smooth and projective, can I conclude the same about the scheme

Let $X$ be a $R$-scheme, where $R$ is a dvr. Suppose that the reduction of $X$ (over the closed point of $\mathrm{Spec} \ R$) is smooth and projective. Does this imply that $X$ is smooth and ...
5
votes
1answer
133 views

Very special rational points on curves over number fields

For some reason, I'm convinced the answer to the following question should be (obviously) negative, but I can't come up with a good reason. Does there exist a number field $K$, a smooth projective ...
7
votes
1answer
192 views

Does every curve over a number field have infinitely many rational functions of fixed degree

Let $X$ be a curve over a number field $K$ of genus $g\geq 2$. Does there exist an integer $d$ such that $X$ has infinitely many rational functions (i.e., finite morphisms $f:X\to \mathbf{P}^1_K$) of ...
7
votes
1answer
2k views

Translation for EGA/SGA

People often recommend Grothendieck's EGA (Elements de Geometrie Algebrique) and SGA (seminaire de geometrie algebrique) as a good reference for learning arithmetic geometry. However, as the title ...
4
votes
1answer
83 views

The universal cover of the multiplicative group over the field of algebraic numbers

Let $X=\mathbf{A}^1_{\overline{\mathbf{Q}}}-\{0\} = \mathbf{G}_{m,\overline{\mathbf{Q}}}$ be the multiplicative over the field of algebraic numbers. Each finite etale cover $Y\to X$ (with $Y$ ...
1
vote
1answer
61 views

Defining invariants of varieties over fields

Let $f$ be a real-valued function on the set of curves over $\overline{\mathbf{Q}}$. Assume that isomorphism curves give rise to the same value for $f$. Let $K$ be a number field and let $X$ be a ...
8
votes
1answer
123 views

Flatness of residual representations associated to modular forms

Let $f\in S_k(\Gamma_1(N),\chi)$ be a Hecke eigenform of weight $k\geq 2$, $p$ an odd prime not dividing $N$, and $K_f$ the number field generated by the Hecke eigenvalues of $f$. Fixing a prime ...
12
votes
2answers
915 views

Why is Hodge more difficult than Tate?

There are strong connections between the Hodge and the Tate conjectures, mainly at the level of similarities and analogies. To quote from an answer of Matthew Emerton on MathOverflow: "[...] we ...
3
votes
1answer
80 views

Twists of rational points

Let $X$ be a "nice" algebraic curve over some field $K$, say characteristic zero. The twists of $X$, i.e., the curves $Y$ over $K$ such that $X_{\overline K} \cong Y_{\overline K}$, are in bijection ...
2
votes
1answer
277 views

Is there a fundamental domain for $\Gamma(2)$ contained in the following strip

Let $\Gamma(2)$ be the subgroup of $\mathrm{SL}_2(\mathbf{Z})$ satisfying the usual congruence conditions. It acts on the complex upper half-plane. Does it have a fundamental domain contained in the ...
1
vote
1answer
125 views

Can a non-proper variety contain a proper curve

Let $f:X\to S$ be a finite type, separated but non-proper morphism of schemes. Can there be a projective curve $g:C\to S$ and a closed immersion $C\to X$ over $S$? Just to be clear: A projective ...
6
votes
1answer
187 views

Is the Fermat scheme $x^p+y^p=z^p$ always normal

Let $K$ be a number field with ring of integers $O_K$. Is the closed subscheme $X$ of $\mathbf{P}^2_{O_K}$ given by the homogeneous equation $x^p+y^p=z^p$ normal? I know that this is true if ...
2
votes
0answers
56 views

What are the branch points of $X(n)\to X(1)$

Let $\Gamma \subset \mathrm{SL}_2(\mathbf{Z})$ be a finite index subgroup. Let $X_\Gamma \to X(1)$ be the corresponding morphism of compact connected Riemann surfaces (obtained by adding the cusps). ...
3
votes
0answers
63 views

What applications does the theory of fibered surfaces have

Let $C$ be a smooth projective connected curve over $\mathbf{C}$. Let $X$ be a curve over the function field of $C$. Arakelov and Parshin proved the Mordell conjecture by considering a model for $X$ ...
2
votes
0answers
77 views

Is the degree of a Galois morphism bounded by $84(g-1)$

Let $X\to Y$ be a finite morphism which is Galois in the category of smooth projective connected curves over $\mathbf{C}$. Assume $g=g(X) \geq 2$. Is the degree of $X\to Y$ bounded by $84(g-1)$? I ...
0
votes
1answer
142 views

Does the absolute Galois group act on the moduli space of curves

Do elements of the absolute Galois group $G=\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})$ of $\mathbf{Q}$ induce automorphisms of $\mathbf{C}$ if we extend the morphisms trivially to the rest of ...
3
votes
1answer
102 views

For curves, is being defined over a number field invariant under birational equivalence

Suppose that a (connected) Riemann surface $X$ is birational to a Riemann surface $Y$ which can be defined (algebraically) over the field of algebraic numbers. Does this imply that $X$ itself can be ...
3
votes
2answers
167 views

Does there exist a finite morphism of algebraic curves such that…

Let $K\subset L$ be a finite field extension. Let $X$ and $Y$ be (smooth projective geometrically connected) curves over $L$. Let $f:X\to Y$ be a finite morphism of curves over $L$. Assume that ...
3
votes
1answer
123 views

Are these two notions of Galois morphism the same

Let $f:X\to Y$ be a finite morphism of integral schemes. Let $G$ be the automorphism group of $X$ over $Y$. Are the following two conditions equivalent? The function field extension $K(Y)\subset ...
4
votes
0answers
94 views

Curve - non singular curve and its genus

Help me please with this problem:$ X \subset \mathbb{P}^{2}$ defined as $x^{3}y+y^{3}z+z^{3}x=0$ 1.Prove X - non singular curve and find its genus. 2.Prove X - maximal curve over $F_{8}$ field, and ...