All Questions
6 questions
3
votes
0
answers
69
views
How would you call morphisms of varieties that induce isomorphisms on etale cohomology in low degrees?
In our text we have several statements of the following sort: for a certain morphism $f:X\to Y$ of varieties over an (algebraically closed) field of characteristic $p$ and some $c>0$ the ...
25
votes
1
answer
3k
views
Is there a ring stacky approach to $\ell$-adic or rigid cohomology?
Ever since Simpson's paper [Sim], it was observed that many different cohomology theories arise in the following way: we begin with our space $X$, we associate to it a stack $X_\text{stk}$ (which ...
2
votes
0
answers
245
views
Proof of the projection formula (for cohomology of $\mathbf{P}V$)
Let $V\to X$ be a vector bundle (over say a scheme).
Then the cohomology of its projectivisation is
$$\text{H}^*(\mathbf{P}V)\ =\ \text{H}^*(X)[t]/(t^{n+1}+c_1(V)t^n+\cdots+c_n(V))$$
as an algebra, ...
2
votes
1
answer
544
views
Computation of cohomology of Eilenberg-Maclane spaces
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Spf{Spf}$Background:
If $E$ is a complex-oriented spectrum, then $E^*(K(\mathbb{Z}/p^k,1))$ sits inside a long exact ...
2
votes
0
answers
156
views
Rigid \'etale cohohomology of flag variety minus its rational points e.g $p$-adic Drinfeld half plane
Let $Fl=G/B$ over $\mathbb Q_p$ be the flag variety of a quasi-split reductive group $G$ over $\mathbb Q_p$, then $X=Fl-Fl(Q_p)$ shall exist as a rigid analytic variety over $\mathbb Q_p$, how to ...
10
votes
0
answers
479
views
How do I produce a basis of cohomology?
Suppose I am discussing a smooth projective variety over an algebraically closed field with my friend on the phone and I want to make a statement about its $l$-adic cohomology (integral or rational). ...