A subject that lies at the intersection of algebraic geometry and number theory dealing with varieties, the Mordell conjecture, Arakelov theory, and elliptic curves.

learn more… | top users | synonyms

6
votes
1answer
59 views

Lang-Nishimura theorem still carries through or fails when assumptions are dropped?

Theorem (Lang-Nishimura). Let $X \,-\!\!\rightarrow Y$ be a rational map between $k$-varieties, where $Y$ is proper. If $X$ has a smooth $k$-point, then $Y$ has a $k$-point. Does the theorem of Lang-...
3
votes
1answer
80 views

Fraction field of $p$-adic power series ring

Let $L$ be a finite extension of $\mathbf{Q}_p$. Write $$\mathcal{O}_{\mathcal{E}} = \left\{ f = \sum_{k \in \mathbf{Z}} a_kT^k \in \mathcal{O}_{L}[[T,T^{-1}]] \mid \lim_{k \to -\infty} a_k = 0\right\...
8
votes
1answer
149 views

Cohomology of a group of order two with coefficients in a finite abelian group of odd order

I am looking for an elementary proof that the cohomology groups in the title are trivial in the positive degrees. In more detain, let $G=\{1,s\}$ be a group of order two, and let $A$ be an abelian ...
1
vote
0answers
37 views

elliptic k3 surface and Shioda Inose structure

We know that suppose given two elliptic curves $E$ and $E'$, there is a Kummer surface $km(E,E')$. And I'm curious suppose we know a $K3$ surface is kummer, how do we recover the pair $(E,E')$? For ...
0
votes
0answers
57 views

Introductory Book on Faltings' Proof of the Mordell Conjecture

I'm currently reading Diamond and Shurman's book a First Course in Modular Forms and I've found it to be a wonderful introduction to the modularity theorem. Is there a similar introductory book for ...
0
votes
0answers
27 views

Area of an ellipse, Grid points, Approximation

Let $f(x,y)=ax^2 + bxy + cy^2$ with $a,b,c \in \mathbb{Z}$ a primitive and positiv definite quadratic form with discriminante $D < 0$. Then $ax^2 + bxy + cy^2 = N$ with $N \in \mathbb{N}$ describes ...
0
votes
0answers
30 views

Lifting points via étale morphism of adic spaces

This question was suggested to me during the reading of Huber's book about Etale Cohomology of Adic Spaces. I formulate this question here in the context of adic spaces, but I think, since a morphism ...
0
votes
0answers
26 views

Lifting morphisms of $p$-divisible groups using Grothendieck Messing theory

During my reading of Peter Scholze and Jared Weinstein's paper ``Moduli of $p$-divisible groups'' I found this assertion in the proof of Proposition 6.1.3. Consider the following situation. Let $k$ be ...
0
votes
0answers
36 views

Closed point in the generic fiber of an arithmetic surface

Let $S$ an irreducible Dedekind scheme of dimension $1$, and let $\pi:X\to S$ be a regular, integral fibered surface. We assume that $\pi$ is a flat morphism and that $X_\xi$ is the generic fiber over ...
1
vote
0answers
45 views

Is there an universal term for difference of transformations?

Tl;dr: What is the universal name for $C$ when comparing two transformations in $C = B * A^{-1}$, assuming C is a transformation itself? I'm looking into comparing two transformations and extract ...
4
votes
4answers
211 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 ...
0
votes
0answers
31 views

Weil conjectures - If two varieties have the same of Fq^d - valued points for all d >> 0, then they have the same Hasse - Weil function

I was working on the following exercise for fun, and I haven't really gotten anywhere with it. Let Z( X; t) be defined as exp ( $\sum_{r= 1}^{\infty} N_r t^r/r$), where $N_r$ is the size of X($\...
1
vote
0answers
84 views

Intersection of algebraic curves at a point with given multiplicity

I don't know if this question is too basic for MO, so I put it here, but if you think I should migrate the question to MathOverflow please suggest me. Let $C/k$ be a smooth curve over a perfect ...
1
vote
2answers
54 views

Elliptic curves with trivial Mordell–Weil group over certain fields.

I am looking for elliptic curves $E,E'$ defined over $\mathbb{F}_{3}$ and $\mathbb{F}_{4}$ respectively and given by a Weierstrass equation such that their Mordell-Weil group is trivial, i.e. such ...
1
vote
1answer
29 views

Morphism smooth over the function field. What does it mean?

Look at the following lines I found in the book "Moriwaki - Arakelov geometry" (beginning of chap. 4): Let $S$ be a connected Dedekind scheme with function field $K$. Let $\pi:X\to S$ be a ...
1
vote
1answer
25 views

The cardinal of the Mordell-Weil group is prime for certain elliptic curves over $\mathbb{F}_{q}$ for certain $q$.

Let $p\in\{2,3\}$ and $r\in\mathbb{Z}_{\geq 2}$. I would like to find if there exists an elliptic curve defined over $\mathbb{F}_{p}$ such that $|E(\mathbb{F}_{p^{r}})|$ is a prime number. If $p>3$ ...
3
votes
0answers
55 views

Infinite primes (places) of a number field geometrically

Given a (global) number field $K$, thinking of the affine scheme $\mathrm{Spec}\mathcal{O}_K$ can gige an insight into (at least) some kf the number-theoretic terminology, e.g. ramification or local ...
4
votes
0answers
43 views

How to compute explicitly the covering map in the modularity theorem?

The modularity theorem (original Shimura-Taniyama-Weil conjecture) asserts the existence of a covering (uniformization) map $\pi:X_0(N) \to E$ for every $E$, an elliptic curve defined over $\mathbb{Q}$...
4
votes
0answers
76 views

Structure Sheaves of Rigid Analytic Spaces: What is the right Value Category?

Let $K$ be a complete non-archimedean field and let $X$ be an affinoid $K$-space. Then the structure sheaf $\mathcal O_X$ of $X$ is defined first on the "weak Grothendieck topology", ie on affinoid ...
8
votes
0answers
47 views

Is torsion of a topological module closed?

I was asking to myself the following question. Consider a $p$-adically complete and separated topological algebra $R$ over $\mathbb{Z}_{p}$. As $\mathbb{Z}_{p}$ is a domain, we know that the $\mathbb{...
2
votes
0answers
67 views

What constitutes a good reading course in $p$-adic number theory?

I have had a course in number theory where I studied Marcus and also a course in differential geometry. I have read Koblitz's introductory book on $p$-adic numbers. I am roughly interested in both $p$-...
21
votes
1answer
2k 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" ...
4
votes
2answers
74 views

${\mathbb{Q}_p^*}^2$ is open in $\mathbb{Q}_p^*$

Show that the set of squares in $\mathbb{Q}_p^*$ is open in $\mathbb{Q}_p^*$. Here $\mathbb{Q}_p$ is the $p$-adic numbers and $\mathbb{Q}_p^*$ is the set of units in $\mathbb{Q}_p$. I know that $\...
1
vote
0answers
21 views

Reference for Cohomology of Arithmetic Groups

Does anyone know a good lecture notes that explains arithmetic groups and their cohomology from basics? Thank you
4
votes
0answers
60 views

Trivialising cover for étale morphisms

Let $f:Y \to X$ be a finite étale morphism of smooth and proper schemes over a field $k$ (not necessarily separable closed). Is there a geometrically connected étale cover $\{U_i\}$ of $X$ which ...
3
votes
0answers
92 views

Kummer map and cohomology group for an elliptic curve

Let $E=E_q$ be the Tate ellipitc curve over a finite extension $K$ of $\mathbb{Q}_p$ for a $q$. Let $T$ be its p-adic Tate module. Let $\mathfrak m$ be the maximal ideal in $K$. I saw in this paper (...
1
vote
0answers
44 views

Finding a finite Galois cover trivializing a lisse sheaf

Given a lisse $\mathbb{F}_{\ell^r}$-sheaf on a smooth curve $U$ defined ofer $\bar{\mathbb{F}_p}$, Katz says here, in p. 33, that $\mathcal{F}$ "becomes constant on some connected finite etale galois ...
7
votes
1answer
74 views

“Lifting” fibres of morphism of arithmetic schemes to get rid of “nongeometric” ramification

This is a soft question and really a request for pointers towards a certain rigorous formulation of geometric intuition I've had for some "arithmetic schemes". I'm looking for ideas and key references ...
21
votes
1answer
273 views

Why are period integrals naïve periods?

Apologies for the long question. I recall the definition of a (naïve) period according to Kontsevitch and Zagier [KS]: A (naïve) period is a complex number whose real and imaginary parts are ...
2
votes
0answers
83 views

What are some topics of advanced number theory every young geometers should know? (soft question)

By "advanced number theory", I mean topics like arithmetic/Diophantine geometry, modular/automorphic forms and Shimura varieties. I'm interested in derived/non-commutative algebraic geometry, some ...
3
votes
1answer
87 views

What is the significance of Coleman maps arising in Iwasawa thoery?

I have come across two instances of "Coleman map" Let $E$ be an elliptic curve defined over $\mathbb{Q}_p$. Let $k_\infty$ be the unique $\mathbb{Z}_p$ extension of $\mathbb{Q}_p$ contained in $\...
2
votes
1answer
52 views

What's so special about hyperbolic curves?

This is really a two-part question, but I would be happy to get an answer for either bit. By a hyperbolic curve as defined by e.g. Szamuely in Galois Groups and Fundamental Groups (p.137) I mean an ...
2
votes
2answers
47 views

A fundamental tool used in the study of Diophantine equations…

Notations: $K$ is a perfect field, $\overline K$ an algebraic closure and $V\subseteq \mathbb P^n(\overline K)$ is a projective variety on $\overline K$. If $V$ is defined over $K$, in symbols $V/K$,...
1
vote
1answer
54 views

Is every integral point of an arithmetic scheme contained in an affine open set?

The schemes $$X = Proj \mathbb{Z}[s,t] = \mathbb{P}^1_{\mathbb{Z}}$$ and $$Y = Proj \mathbb{Z}[x,y,z]/(x^2 + y^2 - z^2)$$ both have isomorphic generic fibers as schemes over $\mathbb{Z}$, and there is ...
0
votes
1answer
65 views

Will someone kindly explain Kato's dual exponential map?

I am reading this article by Rubin. Will somebody how to derive the formula given in equation 2 of section 5? It states thus: $z$ corresponds to the map $$x\mapsto Tr_{\mathbb{Q}_{n,p}/{\mathbb{...
3
votes
1answer
66 views

Multiplication by $m$ isogenies of elliptic curves in characteristic $p$

I've been attempting to prove some comments I've read on MO by myself for my undergrad thesis regarding étale morphisms of elliptic curves. My definition of an étale morphism is taken from Milne's ...
1
vote
1answer
65 views

Geometrically ireducible curve

I know that curve with coefficients in $k$ is geometrically ireducible if it does not factor over algebraic closure of $k$. I have this curve, for example, $$2x^2+2x^2y+2y^2+2xy+3xy^2=1.$$ It's ...
1
vote
0answers
113 views

J. Silverman exercise 3.12 “The arithmetic of Elliptic curves”

I have question regarding exercise 3.12 of J. Silverman "The arithmetic of Elliptic curves". It states the following: Let $m \geq 2$ be an integer, prime to $\text{char}(K) > 0$. Prove that the ...
4
votes
0answers
127 views

On local rings of a normalization

Let $X$ an irreducible singular curve with a singular point $x$. Consider $A$, the normalization of $\mathcal{O}_{X,x}$, and $x_1,\dots,x_r$ the points over $x$ in the normalization of $X$. Why $A\...
4
votes
0answers
74 views

Tate curve and cusps

I know this is a naive question, but what is the relation between the Tate curve and cusps on a modular curve? Naive googling seems to suggest that level structures on the Tate curve (up to ...
3
votes
0answers
47 views

$E[n]$ is etale locally $(\mathbb{Z}/n\mathbb{Z})^2$

I don't think we need the entire setup below (from Katz and Mazur's elliptic curve book, pages 74 and 75), but, as a beginner, I am unable to identify the assumptions I need. Let $S$ be the open ...
1
vote
0answers
38 views

Generalized elliptic curves over cusps and orbits of $\mathbb{Q}\cup\infty$

In the post http://mathoverflow.net/questions/51147/what-objects-do-the-cusps-of-modular-curve-classify, it says that the fibers over the cusps of a modular curve are n-gons. Wikipedia (https://en.m....
3
votes
1answer
56 views

Let $K = \mathbb{F}_p(t)$, $X$ be the affine curve $(t^5 + 1)y^2 = x^5 + 1$, what is $p_g(X)$? Is $X(K)$ finite? [closed]

Let $p$ be a prime not equal to $2$ or $5$. Let $K = \mathbb{F}_p(t)$. Let $X$ be the affine curve $(t^5 + 1)y^2 = x^5 + 1$ in $\mathbb{A}_K^2$. I have two questions. What is $p_g(X)$? Is ...
6
votes
2answers
3k views

What is the status of the purported proof of the ABC conjecture?

Back in August 2012, Japanese mathematician Shinichi Mochizuki announced a proof of the abc conjecture using Inter-universal Teichmüller Theory. What has been the status of his proof? Has there been ...
2
votes
1answer
34 views

descending smoothness along unramified morphisms

Let $f:X\rightarrow Y$, and $g:Y\rightarrow Z$ be morphisms of schemes locally of finite type. Suppose that $f$ is unramified and surjective, $g$ is flat and $g\circ f$ is étale. Does $g$ is also ...
3
votes
1answer
45 views

Elliptic curves over $\mathbb C$ have same endomorphism ring but not isomorphic

I am finding elliptic curves over $\mathbb C$ have same endomorphism ring but not isomorphic. Elliptic curves over $\mathbb C$ can be identified with $\mathbb C/\land$ for some lattice $\land$. And ...
1
vote
1answer
29 views

Laurent expansion at infinity for a weakly modular function with respect to a congruence subgroups

Let $\Gamma\subset \mathrm{SL}_2(\mathbb Z)$ be a congruence subgroup and $h$ the fan width of $\Gamma$ (i.e; the minimum $h>0$ such that $\left(% \begin{array}{cc} 1 & h \\ 0 & 1 \\ ...
0
votes
1answer
26 views

Recursive writing involving arithmetic progression

I've been trying to figure out this recursion problem but I'm getting stuck trying to find the nth-term sequence for the last recursion. I found one but the second i'm so clueless about. I don't know ...
3
votes
1answer
49 views

$J$ invariant of elliptic over a number field

Suppose $E$ and $E’$ are elliptic curves over a number field $K$ which are Galois conjugate over $\mathbb Q$. So $\operatorname{End}_C(E)$ and $\operatorname{End}_C(E’)$ are isomorphic. Suppose $\...
1
vote
2answers
42 views

Smooth curve defined over K with genus 1 is always isomorphic, over $\overline K$, to an elliptic curve over K

Here, the point is the smooth curve defined over K with genus 1 may not have rational point. But to be an elliptic curve defined over K, the base point must be a rational point. I tried to use ...