All Questions
33
questions
2
votes
0
answers
104
views
Singularities of curves over DVRs with non-reduced special fibre
Let $R$ be a complete DVR of mixed characteristic with fraction field $K$ of characteristic $0$ and residue field $k$ of characteristic $p>0$. Suppose that $\mathcal{X}$ is a normal $R$-curve such ...
1
vote
1
answer
195
views
Dimension of Zariski closure of a closed point of generic fiber
Let $S= \operatorname{Spec} A$ be a local Dedekind scheme of dimension $1$, (eg spectrum of localization at a prime of the ring of integers of a number field). Let $s \in S$ it's unique closed point ...
1
vote
0
answers
201
views
Projective scheme over the integers
Let $X$ be a projective scheme over $Spec(\mathbb{Z})$. Let $X_{p}$ be the reduction at $p$ of $X$. If for any prime $p$, $X_{p}$ is normal, can we deduce $X$ is normal? Or any counterexamples?
2
votes
0
answers
98
views
Control on the locus of bad reduction for divisors
Let $X$ be a smooth variety over a number field $K$ and let $\mathcal X$ be a normal, projective model of $X$ over the ring of integers $O_K$.
Now assume that $D\subset X$ is an irreducible divisor ...
4
votes
0
answers
146
views
Uniqueness of Galois descent
Let $Y,Z$ be $\mathbb{F}_p$-schemes, they are both models of scheme $X$ over $\overline{\mathbb{F}_p}$ . Let $F$ be the absolute Frobenius of $\overline{\mathbb{F}_p}$, If $1_Y\times F$ and $1_Z\times ...
2
votes
1
answer
410
views
Why geometric generic point (in abstract algebraic geometry) replace general points in the unit disk?
In section 4.1, chapter 4 of Pierre Deligne's paper La conjecture de Weil : I (french version, translation to English) he states:
On $\mathbb{C}$ Lefshietz local results are as follows. Let $X$ be a ...
3
votes
0
answers
279
views
Generalizations of Artin–Verdier duality?
Constructible étale abelian sheafs on $Spec\ O_\mathbb K$, for number fields $\mathbb K$, satisfy Artin-Verdier duality. Are there known any algebraic schemes or algebraic stacks, other than $Spec\ O_\...
2
votes
0
answers
373
views
Equidimensional Morphism
I am reading the paper "Relative Cycles and Chow Sheaves" due to Suslin and Voevodsky. Here we have the following definition:
Definition 2.1.2.
A morphism of schemes $p:X\rightarrow S$ is ...
5
votes
0
answers
145
views
Reduction theory of higher dimensional algebraic varieties
If $X$ is a nonsigular curve over a number field $K$, one can obtain several arithmetic models of $X$. Namely, we can construct an arithmetic surface $\mathcal X\to\operatorname{spec} O_K$, such that $...
3
votes
0
answers
178
views
Finiteness results in the category of schemes up to $\mathbb{A}^1$-homotopy
In algebraic geometry, we know that there exist geometrical conditions on a scheme $X/k$ for having finitely many rational points when $k$ is a number field. Namely for curves there is the Mordell ...
5
votes
1
answer
288
views
The Idea of Kroneckerian geometry
Let $X$ be a complex, projective algebraic variety and assume that $X$ has a model $X_0$ over $\mathbb Z$ i.e. $X\cong X_0\times_{\operatorname{Spec }\mathbb Z}\operatorname{Spec }\mathbb C$.
Let's ...
12
votes
2
answers
686
views
Defining abstract varieties and their morphisms over a finitely generated subfield of the base field
Let $k$ be an algebraically closed field.
By a finitely generated subfield of $k$ I mean a subfield $k_0\subset k$ that is finitely generated over the prime subfield of $k$ (that is, over $\mathbb Q$ ...
5
votes
1
answer
468
views
What is the spectral interpretation of the arithmetic zeta function?
I recently stumbled upon the slides of a talk given by Kedlaya, in which the following appears:
For $X$ of finite type over $F_q$, a Weil cohomology theory, mapping $X$ to
certain vector spaces $...
4
votes
1
answer
300
views
Pairing on arithmetic surfaces
Let $f: X \to S$ be an arithmetic surface, where $S=\operatorname{Spec } O_K$ for a number field $K$. It is well known that if we want to introduce a reasonable intersection theory on $X$ we have to ...
2
votes
1
answer
219
views
Does cohomology with compact support contain "ample" elements
Let $X$ be a quasi-projective integral variety over $\mathbb{C}$. If $X$ is projective, then $\mathrm{H}^2(X,\mathbb{Z})$ contains "ample" classes. These "ample" classes are defined as being the image ...