# Questions tagged [arithmetic-geometry]

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

179 questions
1k 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 ...
349 views

### Prop. 3.2.15 in Liu: Geometrically reduced algebraic variety

I have a problem with proposition 3.2.15 of Algebraic geometry and arithmetic curves of Qing Liu: Let $X$ be an integral algebraic variety over $k$. If $X$ is geometrically reduced then $K(X)$ is a ...
651 views

### Self-Intersection Number $-2$

I am new here, but hopefully you can help me with a concrete problem I have. I try to compute a Self-Intersection Number of a constructed curve in an analytic surface. I know the answer by some ...
90 views

### Smooth proper variety over $\mathbb Q$ with everywhere bad reduction

$\newcommand{\Spec}{\operatorname{Spec}}$ It is a well-known fact that a smooth projective variety over $\mathbb Q$ has good reduction almost everywhere, i.e. everywhere apart from finitely many ...
92 views

### An abelian variety not isogenous to a Jacobian

In the L-functions and Modular Forms Database is an isogeny class of an abelian variety of dimension $2$ over $\mathbb F_5$. They claim that it is principally polarizable but not the Jacobian of a ...
74 views

172 views

### Computing a contraction of an exceptional divisor.

For a few days, I have been working on the following problem, from Qing Liu's book: Let $\mathcal{O_K}$ be a discrete valuation ring with uniformizing parameter t and residue characteristic $\neq 2,3$...
214 views

252 views

### Frobenius morphisms of a scheme

I'm trying to undersand the various frobenuis morphism we can consider on a scheme. Those are concepts I just touched, so I'm not sure about some stuff I'm writing and things became clearer while I ...
136 views

### Is a quotient of group schemes well defined?

I will first define the notions of exact,surjective for group schemes and then ask my question. Let $B$ and $C$ be fppf group schemes over S. The book I am reading defines a homomorphism $f:B\to C$ ...
49 views

### Do there exist any elliptic curves $E\mathbb{F}_8$ satisfying either $\# E(\mathbb{F}_8) = 7$ or $\#E(\mathbb{F}_8) = 11$?

As the question title suggests, do there exist any elliptic curves $E(\mathbb{F}_8)$ satisfying either $\# E(\mathbb{F}_8) = 7$ or $\#E(\mathbb{F}_8) = 11$?
146 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 ...
366 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 (...
71 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 ...
83 views

### Asking for some exercises to help me understanding abelian varieties better?

I want to study Mumford's Abelian Varieties in the coming winter break. I tried to study it before, but I didn't find my self really understanding(or memorizing) too much. I guess a better and more ...
95 views

### Application of GRR in number theory

In Neukirch Book Algebraic Number Theory page 254, states the Grothendieck-Riemann Roch-Theorem, but missing of applications. Do you know references for applications for this theorem, or may be ...
199 views

### Where does the terminology “fake/false elliptic curve” come from?

In describing, say, the moduli of Shimura curves, people often refer to "fake" or "false elliptic curves" ("les fausses courbes elliptiques"), which are abelian surfaces whose endomorphism ring is an ...
58 views

### Why do we assume the ring to be torsion free when dealing with formal logarithms in the context of formal group laws?

Let $F$ be a formal group over a ring $R$. Why do we require that $R$ has no additive torsion before we discuss formal logarithms?