All Questions
33
questions
4
votes
0
answers
152
views
Is the group of homologically trivial cycles in a variety over a finite field torsion?
Let $X$ be a smooth projective variety over $\mathbb{F}_q$. Is any cycle in the Chow group $CH^i(X)$ which is trivial in $\ell$-adic cohomology automatically torsion? For abelian varieties I believe ...
3
votes
1
answer
315
views
Bloch–Beilinson conjecture for varieties over function fields of positive characteristic
Is there a version of the Bloch–Beilinson conjecture for smooth projective varieties over global fields of positive characteristic? The conjecture I’m referring to is the “recurring fantasy” on page 1 ...
1
vote
0
answers
141
views
Multiplicity and the perfect projective line
Let $\mathbf{F}_p$ be the field with $p$ elements, and $X = (\mathbf{P}^1_{\overline{\mathbf{F}}_p})^\text{perf}$ the inverse perfection of the projective line over $\mathbf{F}_p$.
Let $\Gamma$ be the ...
1
vote
1
answer
332
views
Self-intersection of the diagonal on a surface
Let $X$ be a smooth projective curve over the complex numbers, and take $\Delta$ the diagonal divisor on $X\times X$. Using the adjunction formula, one computes $\Delta\cdot\Delta =2-2g$ for $g$ the ...
2
votes
1
answer
218
views
Finite flat pullback of the diagonal
Let $X, Y$ be smooth projective connected complex varieties of the same pure dimension $d$ and $f : X\to Y$ a finite flat surjective morphism.
Let $\Delta_X$ be the closed subscheme of $X\times X$ ...
2
votes
1
answer
243
views
Vector bundles on henselian schemes
Let $X$ be a smooth and projective scheme over $\mathbf{Z}_p$.
We call $\mathfrak{X}$ the ringed space whose topological space is the topological space of the special fiber of $X$, and whose ...
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 ...
0
votes
0
answers
401
views
Twisted sheaves on tower of $\mathbb{P}^n$
Take the projective space $\mathbb{P}^n$ over a ring $W$.
We call $\mathcal{O}(q)$ the usual twisted line bundle.
Now take the map $f: \mathbb{P}^n\to\mathbb{P}^n$ defined by
$$[x_0,\ldots, x_n]\...
3
votes
0
answers
400
views
Non algebraizable formal abelian schemes
I'd like to collect a good number of examples of formal schemes over $\text{Spf}(\mathbf{Z}_p)$, whose special fiber is a projective variety over $\mathbf{F}_p$, but that are not algebraizable.
If ...
2
votes
0
answers
216
views
Liftability of varieties, after fpqc base change
Let $X$ be a smooth projective variety over a finite field, with a closed immersion to some other smooth projective variety $S$, with $S$ liftable.
Suppose there exists an fpqc cover $S'\to S$, such ...
3
votes
1
answer
188
views
Projective embeddings and quasi-compactness
Let $X$ be a projective scheme over a ring $R$, and $p : X\to\mathbf{P}^n_R$ a projective embedding.
Does there exist $n$ large enough so that the complement $U\subset \mathbf{P}^n_R$ of $p(X)$ in ...
8
votes
0
answers
556
views
Bloch Ogus spectral sequence
Let $X$ be a smooth projective variety over $\mathbf{C}$, and $p : X_{\rm an}\to X_{\rm Zar}$ the obvious map of sites.
The Leray spectral sequence
$$H^r(X_{\rm Zar}, R^sp_*\mathbf{C})\Rightarrow H^{...
2
votes
0
answers
252
views
Neron Severi under specialization
Let $X$ be a smooth projective variety over $\mathbf{Q}$, and $\mathcal{X}$ a smooth projective model over $\mathbf{Z}[1/N]$ for $N$ large enough.
Call $\eta$ the generic point $\text{Spec}(\mathbf{Q}...
4
votes
0
answers
258
views
Motives up to homological equivalence
Let $X$ be a smooth projective variety over a field $k$ finitely generated over its prime field, and $M_{hom}(X)$ the category of motives modulo $\ell$-adic homological equivalence.
(1) Is $M_{hom}(...
4
votes
0
answers
242
views
Hard Lefschetz for cycles
Let $X$ be a smooth projective variety over a field $k$. It is known by work of Deligne, that the Lefschetz operator:
$$
L^k:H^{2n-2k}\left(X_{\overline{k}},\mathbf{Q}_{\ell}\right)\to H^{2n+2k}\left(...