Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
261 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}(...
user avatar
4 votes
0 answers
245 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(...
user avatar
3 votes
1 answer
190 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 ...
user avatar
3 votes
0 answers
409 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 ...
user avatar
2 votes
1 answer
295 views

Chow groups modulo homological equivalence for abelian varieties

Let $X$ be an abelian variety over a field $k$. Let $A^p_{\rm hom}(X)$ be the $p$-th Chow group of cycles modulo homological equivalence ($\ell$-adic, if $k$ is of char $p$). Do we have $$A^p_{\rm ...
user avatar
2 votes
1 answer
249 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 ...
Ari's user avatar
  • 181
2 votes
0 answers
219 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 ...
user avatar
2 votes
0 answers
256 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}...
user avatar
1 vote
1 answer
370 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 ...
Tim's user avatar
  • 85
1 vote
0 answers
145 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 ...
Tim's user avatar
  • 85
1 vote
0 answers
290 views

Coniveau in étale motivic cohomology

Let $X$ be a smooth variety over a field. Is there a spectral sequence: $$E_1^{p,q} := \bigoplus_{x\in X^{(p)}}H^{q-p}(\kappa(x)_{\rm ét},\mathbf{Z}(n))\Rightarrow H^{q-p}(X_{\rm ét},\mathbf{Z}(n))$$...
user avatar
0 votes
0 answers
405 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]\...
user avatar