The tag has no wiki summary.

learn more… | top users | synonyms

15
votes
1answer
709 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" ...
23
votes
4answers
594 views

Why is it “easier” to work with function fields than with algebraic number fields?

I just bought a copy of Jürgen Neukirch's book Algebraic Number Theory. While browsing through it I found a section titled § 14. Function Fields in chapter I. In it the author describes ...
10
votes
3answers
543 views

Importance of determining whether a number is squarefree, using geometry

Despite appearances, this is not a question on computational aspects of number theory. The background is as follows. I once asked a number theorist about what he considered to be the most important ...
3
votes
0answers
657 views

Does Wiles's proof of Fermat's last theorem essentially use axiom of choice? [closed]

Does Wiles's proof of Fermat's last theorem essentially use axiom of choice? In other words, if it dose use AC, can we get rid of its use from his proof? EDIT Since some people seem to misunderstand ...
35
votes
3answers
562 views

The resemblance between Mordell's theorem and Dirichlet's unit theorem

The first one states that if $E/\mathbf Q$ is an elliptic curve, then $E(\mathbf Q)$ is a finitely generated abelian group. If $K/\mathbf Q$ is a number field, Dirichlet's theorem says (among other ...
10
votes
2answers
723 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 ...
12
votes
1answer
757 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 ...
9
votes
1answer
154 views

Primes of ramification index 1 with inseparable residue field extension

I've been reading through Neukirch's Algebraic Number Theory, and I'm a little puzzled about a possibility with ramification of primes. As usual, let $\mathcal{O}_K$ be a Dedekind domain with field ...
7
votes
1answer
1k 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 ...
10
votes
0answers
168 views

Important topics for arithmetic geometry (esp Arakelov geometry)?

Seeing other past successful 'roadmap' questions, I hope this question is acceptable and not too vague. I know I'd like to eventually study arithmetic algebraic geometry - but I also know that it's a ...
7
votes
2answers
322 views

In what senses are archimedean places infinite?

According to Bjorn Poonen's notes here (ยง2.6), we should add the archimedean places of a number field $K$ to $\operatorname{Spec} \mathscr{O}_K$ in order to get a good analogy with smooth projective ...
4
votes
5answers
302 views

Derived category and so on

I am looking for an introductive reference to the theory of derived categories. Especially I need to start from the very beginning and I need to know how to use this in examples which comes from ...
7
votes
2answers
351 views

How to Compute Genus

How to compute the genus of $ \{X^4+Y^4+Z^4=0\} \cap \{X^3+Y^3+(Z-tW)^3=0\} \subset \mathbb{P}^3$? We know that the genus of $ \{X^4+Y^4+Z^4=0\} \subset \mathbb{P}^3$ is 3 because the degree is 4. ...
2
votes
1answer
161 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 ...
0
votes
1answer
89 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 ...