All Questions
Tagged with etale-cohomology hodge-theory
25
questions
1
vote
1
answer
298
views
Cohomology of singular curves
Suppose $X$ is a singular quasi-projective curve over the complex numbers, and $X'$ is a good nonsingular compactification of a resolution of singularities $Y\to X$. Let $D$ be the complement of $Y$ ...
5
votes
1
answer
453
views
Nearby cycles and extension by zero
Let $f: X\to \text{Spec}(R)$ be a proper and smooth morphism, with $R$ a strictly henselian dvr. Call $s = \overline{s}$ the closed point and $\eta$ the geometric point of $\text{Spec}(R)$.
Call $i_s ...
15
votes
1
answer
1k
views
Some basic questions on crystalline cohomology
Let $X_0$ be a smooth projective variety over $\mathbf{F}_q$ and ${X}$ its base change to an algebraic closure $k$ of $\mathbf{F}_q$.
Crystalline cohomology $H^*_{\rm cris}(X) := H^*((X/W(k))_{\rm ...
13
votes
1
answer
690
views
Functoriality of crystalline cohomology
Let $k$ be a perfect field of characteristic $p>0$, $X$ a smooth projective $k$-variety.
Denote by $(X/W_n(k))_{\rm cris}$ the small crystalline site of $X$.
Let $f : X\to Y$ be a morphism of ...
2
votes
1
answer
385
views
Classes of hyperplane sections in cohomology
Let $X$ be a smooth projective variety over the algebraic closure of a finite field with Galois group $G$.
Is it true that the vector space $H^{2k}(X,\mathbf{Q}_{\ell}(k))^G$ has always positive ...
2
votes
0
answers
281
views
Set theoretic complete intersections in toric varieties
Is it expected that every smooth projective variety over the complex numbers, is a set-theoretic complete intersection into a smooth projective toric variety?
Is there an example of a smooth ...
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(...
5
votes
1
answer
346
views
Spectral sequence in Betti cohomology
Let $X$ be a smooth projective algebraic variety over the complex numbers, and let us name
$$f : X_{\rm an}\to X_{\rm Zar}$$
the morphism of sites induced by sending a Zariski open $U\subset X$ to $...
3
votes
0
answers
165
views
Cycle maps as edge maps
Given a smooth projective algebraic variety over $\mathcal{C}$, let $X$ be its associated complex analytic space.
The exponential sequence on $X$:
$$0\to\mathbf{Z}(1)\to\mathcal{O}_X\to\mathcal{O}_X^...
3
votes
0
answers
218
views
Artin $\ell$-adic comparison and Galois action
Let $X_0$ be a smooth projective variety defined over a number field $k$.
Let $\sigma : k\to\mathbf{C}$ be one of the finitely many field embeddings of $k$ into the complex numbers, and call $X := (...
16
votes
1
answer
3k
views
Tate twists and cohomology of $\mathbf{P}^1$
I was wondering if anyone could give me some intuition as to why, for a smooth projective variety $X$ over $\mathbf{C}$ of complex dimension $d$, the Tate twist on $H^n(X(\mathbf{C}),\mathbf{Z})$ to ...
17
votes
2
answers
1k
views
Hodge standard conjecture for étale cohomology
It is known that Hodge standard conjecture is true for étale cohomology for a field $k$ of characteristic zero. It means that the following pairing
$$
(x,y)\mapsto (-1)^{i}\langle L^{r-2i}(x),y\...
4
votes
1
answer
268
views
How do non-trivial global differentials give non-trivial cohomology classes in positive characteristic
Let $k$ be an algebraically closed field and let $X$ be an $n$-dimensional smooth projective variety over $k$.
If $k= \mathbb C$, there is a natural injective morphism of vector spaces
$$H^0(X,\...