All Questions
Tagged with ag.algebraic-geometry arithmetic-geometry
487
questions with no upvoted or accepted answers
21
votes
0
answers
606
views
Bounding failures of the integral Hodge and Tate conjectures
It is well know that the integral versions of the Hodge and Tate conjectures can fail. I once heard an off hand comment however that they should only fail by a "bounded amount". My question is what ...
20
votes
0
answers
964
views
Finiteness of etale cohomology for arithmetic schemes
By an arithmetic scheme I mean a finite type flat regular integral scheme over $\mathrm{Spec} \, \mathbb{Z}$.
Let $X$ be an arithmetic scheme. Then is $H_{et}^2(X,\mathbb{Z}/n\mathbb{Z})$ finite ...
18
votes
0
answers
2k
views
Cycles in algebraic de Rham cohomology
Let $F$ be a number field, $S$ a finite set of places, and $X$ a smooth projective $\mathscr{O}_{F,S}$-scheme with geometrically connected fibers. For each point $t\in \text{Spec}(\mathscr{O}_{F,S})$, ...
16
votes
0
answers
961
views
Finiteness for motivic local systems
Let $X$ be a smooth proper algebraic curve over $\mathbb{C}$. Say a complex local system $\mathbb{V}$ on $X$ is motivic if there exists a dense Zariski-open subset $U\subset X$, and a smooth proper ...
16
votes
0
answers
268
views
Why should an abelian variety with few places of bad reduction and a lot of endomorphisms not have many points?
In the paper "Points of Order 13 on Elliptic Curves" by Mazur-Tate, they say in the introduction:
It seemed ... that if such an abelian variety $J$, which has bad reduction at only one ...
16
votes
0
answers
499
views
Are there smooth and proper schemes over $\mathbb Z$ whose cohomology is not of Tate type
Is there an example of smooth and proper scheme $X \to \mathrm{Spec}(\mathbb Z)$, and an integer $i$ such that $H^i(X, \mathbb Q)$ is not a Hodge structure of Tate type?
Alternatively: such that $H^...
15
votes
0
answers
2k
views
A question on Fargues-Scholze
As far as I understand it, the main goal of the recent work of Fargues and Scholze on the geometrization conjecture is to show that the local Langlands conjecture of a local field is equivalent to the ...
15
votes
0
answers
410
views
Applications of the Weight Monodromy conjecture
I think of the Weight Monodromy conjecture as an analogue of the Weil conjectures in the case of bad reduction. The Weil conjectures of course have lots of applications, from point counting to ...
15
votes
0
answers
2k
views
Inter-Universal Teichmuller Theory and the Field with One Element
The idea of the "field with one element", or $\mathbb{F}_{1}$, is supposed to allow us to do for number fields what we can do for function fields. Hence this idea often comes up regarding problems ...
14
votes
0
answers
905
views
Relation between Igusa tower and $p$-adic modular forms
As the title suggests, my question is devoted to understand (and maybe get some good references) the relation between the Igusa tower for a modular curves and $p$, or maybe $T$-adic modular forms. I ...
14
votes
0
answers
547
views
Vanishing of rigid cohomology for affine varieties
Let $k$ be a perfect field of positive characteristic and denote by $K$ the field of fractions of the ring of Witt vectors over $k$.
Question: If $X$ is an affine variety over $k$, do the rigid ...
13
votes
0
answers
784
views
Seek for a algebro-geometric proof: the group homomorphism $\mathrm{SL}(2,\mathbb{Z}) \rightarrow \mathrm{SL}(2,\mathbb{Z}/N\mathbb{Z})$ is surjective
It is a well-known fact that the group homomorphism $\mathrm{SL}(2,\mathbb{Z}) \rightarrow \mathrm{SL}(2,\mathbb{Z}/N\mathbb{Z})$ is surjective.
What I want is a proof by method of algebraic geometry. ...
13
votes
0
answers
618
views
On a kind of Hilbert irreducibility theorem
Let us work over a number field $k$. Let $C$ be a non-empty open subscheme of $\mathbb{P}^{1}_{k}$, and $X\to C$ a family of smooth, projective hyperbolic curves such that $X(k)\to C(k)$ is surjective....
13
votes
0
answers
320
views
Varieties isomorphic $\mathrm{mod}\:p$ are diffeomorphic
If two smooth proper varieties over $\mathbb{Q}$ have isomorphic smooth reductions modulo some prime (for some choice of integral models) are they diffeomorphic after tensoring with $\mathbb{C}$?
13
votes
0
answers
489
views
Hensel lemma and rational points in complete noetherian local ring
Let $A$ be a complete noetherian local ring and $\mathfrak{m}$ be its maximal ideal.
If we have several polynomials $f_i \in A[X_1, \dots, X_m]$ which have a common zero $x_n$ in $A/\mathfrak{m}^n$ ...