Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Mikhail Bondarko's user avatar
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 ...
Gabriel's user avatar
  • 711
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, ...
Pulcinella's user avatar
  • 5,701
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 ...
taf's user avatar
  • 448
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 ...
Zhiyu's user avatar
  • 6,622
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). ...
user avatar