# Tagged Questions

**6**

votes

**0**answers

168 views

### The Rappoport-Zink spectral sequence vs. the one of the complement of a normal crossing divisor

As far as I understand these matters, for a regular $\mathfrak{X}$ that is proper flat of finite type over $\operatorname{Spec}\mathbb{Z}_p$, the Rappoport-Zink spectral sequence relates the etale ...

**1**

vote

**0**answers

86 views

### Benchmark problems for computing rational points on varieties

Are there standard benchmark problem sets used for empirically evaluating algorithms designed for computing rational points on (various classes of) algebraic varieties?
If so, could you please point ...

**1**

vote

**0**answers

93 views

### algebraicity of Néron-Tate canonical height for Abelian varieties over global function fields

(transcendence of canonical heights)
Is the Néron-Tate canonical height for an Abelian variety $A$ over a global function field $K$, $\hat{h}: A(K) \times A^\vee(K) \to \mathbf{R}$ known to always ...

**1**

vote

**1**answer

475 views

### “Descending cohomology, geometrically” by Mazur:

Exist texts of that talk or related texts: http://ttv.mit.edu/collections/harris60/videos/13881-problem-session-barry-mazur ?

**6**

votes

**1**answer

369 views

### Serre-Tate 1964 Woods Hole notes

I am not sure if this is the right venue to ask this. Apologies in advance.
I would like to clarify the following. When people give as reference:
J.-P. SERRE and J. TATE.-Mimeographed notes from ...

**0**

votes

**1**answer

172 views

### Algebraic varieties in “mixed” affine spaces

Let $K\subset L$ be a field extension and let $K\subset F_1,F_2,...,F_n\subset L$ be proper intermediate fields. Consider the "mixed" affine space $\mathbb{A}_{(F_i)}:=\prod_{i=1}^n F_i$ instead of ...

**3**

votes

**0**answers

182 views

### Where was the arithmetic zeta function of a scheme first defined?

Let $X$ be an arithmetic scheme, that is, a scheme of finite type over the integers. We denote the set of closed points of $X$ by $|X|$. For every $x\in|X|$, write $N(x)$ for the cardinality of the ...

**2**

votes

**0**answers

108 views

### Dualizing sheaf in mixed characteristic for regular schemes.

I've been looking many places, but everything I find seems to either talk about (a) varieties or (b) extremely general situations with dualizing complexes. As I am not in the situation of (a) (i.e. ...

**12**

votes

**1**answer

701 views

### Status of Grothendieck's conjecture on homomorphisms of abelian schemes

In [1] Grothendieck posits the following:
Conjecture. Let $S$ be a reduced connected scheme, locally of finite type over Spec($\mathbf{Z}$) or a field $k$, $A$ and $B$ two abelian schemes over $S$, ...

**2**

votes

**2**answers

389 views

### Classification of quasi-split unitary groups

Let $U$ be a unitary group defined with respect to an extension $E/F$ of non-archimedean local fields, and assume it is realised with respect to a pair $(V,q)$, where $V$ is an $n$-dimensional vector ...

**11**

votes

**2**answers

1k views

### Learning path for the proof of the Weil Conjectures

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

**6**

votes

**2**answers

481 views

### questions on Néron-Tate canonical height

I have three questions regarding height pairings:
In [Serre, Lectures on the Mordell-Weil theorem], p. 85 f., it is stated that the following function is a local height function:
"Let $V/R$ be a ...

**1**

vote

**1**answer

358 views

### Elliptic subfields of a function field

Let $C$ be a curve and $K(C)$ be its function field of genus 2, where $K$ = $\mathbb{C}$.
The number of essential elliptic subfields of $K(C)$ is 0 or 2 or $\infty$.
Edit: I am looking for a proof. ...

**1**

vote

**0**answers

216 views

### modern reference for Néron's “Quasi-fonctions et Hauteurs sur les Varietes Abeliennes”

Is there a modern reference for Néron's "Quasi-fonctions et Hauteurs sur les Varietes Abeliennes" http://www.jstor.org/pss/1970644 i.e. using Grothendieck's language of schemes and in English?

**2**

votes

**1**answer

328 views

### good references in moduli stack and stable reduction

Hello,everyone. I'm looking for some good references in moduli stack and stable reduction, so I ask here for some advice.
I knew the famous paper of Deligne-Mumford, but this paper is hard for me ...

**4**

votes

**0**answers

300 views

### Hochschild-Serre for hypercohomology

I need either a proof or a good reference for the following plausible statement:
Let $S$ be a scheme and let $C$ be a bounded complex of abelian sheaves on $S_{\rm{fppf}}$. Let $S^{\prime}\rightarrow ...

**35**

votes

**2**answers

8k views

### What are “perfectoid spaces”?

This talk is about a theory of "perfectoid spaces", which "compares objects in characteristic p with objects in characteristic 0". What are those spaces, where can one read about them?
Edit: A bit ...

**8**

votes

**3**answers

1k views

### Elliptic Curves over Global Function Fields

I am currently thinking about a problem, and I feel that by knowing more about elliptic curves over extensions of $\mathbb{F}_q(T)$, for $q$ a power of $p$ say, might lead to insight. I am also ...

**15**

votes

**2**answers

785 views

### Why does Tate's conjecture imply semisimplicity of crystalline Frobenius?

I'm trying to find a reference for the following fact:
If Tate's conjecture is true for all smooth projective varieties over $\mathbb{F}_p$, then the Frobenius endomorphism on the crystalline ...

**6**

votes

**1**answer

638 views

### Shot in the dark: Is there an english translation of Deligne-Rapoport “Les schemas de modules…” anywhere?

Extensive googling (and searching here) has yielded nothing, unfortunately.
I knew a language genius once who offered to translate it for me as a favor, but I turned him down because it seemed like ...

**14**

votes

**3**answers

1k views

### Which curves have infinitely many rational points

Question: Assuming finiteness of the Tate-Shafarevich group, is there an algorithm to determine whether a curve $C$ defined over a number field $K$ has infinitely many $K$-rational points?
I ...

**0**

votes

**2**answers

501 views

### Poincaré duality for smooth projective varieties over finite fields

What is exacly the statement of Poincaré duality for smooth projective varieties over finite fields and twisted constant $\mathbf{Z}_\ell$ sheaves? Where can I find a proof?
By twisted constant ...

**4**

votes

**0**answers

193 views

### Is there a reference that treats principal homogeneous spaces for (say) group varieties using schemes?

I was wondering if anyone could recommend a reference that discusses principal homogeneous spaces for general finite type group schemes over a field $k$ entirely in the language of schemes (or even ...

**6**

votes

**1**answer

1k views

### Where to start reading into p-adic non-abelian Hodge theory?

I'm curious about Faltings' "A p-adic Simpson correspondence ". Do you know more detailed, introductory, expositions, surveys, texts of seminars on that?
Edit: Annette Werner's survey "Vector ...

**2**

votes

**1**answer

536 views

### finite generation of the Mordell-Weil group over finitely generated fields

Does anyone know a reference for the proof of the finite generation of the Mordell-Weil group over finitely generated fields?

**34**

votes

**2**answers

4k views

### What is a good roadmap for learning Shimura curves?

I am interested in learning about Shimura curves. Unlike most of the people who post reference requests however (see this question for example), my problem is not sorting through an abundance of books ...

**6**

votes

**1**answer

790 views

### Elementary questions in arithmetic geometry

In many theories there is a rough divide between elementary problems that can be solved with "one's hands", and "deep results that require powerful tools". For example, I am told that Hodge theory is ...

**16**

votes

**0**answers

891 views

### Two conjectures by Gabber on Brauer and Picard groups

In a paper I need to make reference to 2 conjectures by Gabber
(see Conjectures 2 and 3, page 1975)
http://www.mfo.de/programme/schedule/2004/32/OWR_2004_37.pdf
1) Let $R$ be a strictly henselian ...

**6**

votes

**1**answer

1k views

### Reference for the `standard' Tate curve argument.

I'd like a reference (e.g. something published somewhere that I can cite in a paper) for the proof of the following:
Let $E$ be an elliptic curve over $\mathbb Q$ with minimal discriminant ...