All Questions
Tagged with etale-cohomology at.algebraic-topology
27
questions
2
votes
0
answers
129
views
details of a dévissage argument for constructible sheaves
I am working on the following Künneth-type isomorphism from [SGA5, exposé III, 2,3]:
$\mathrm{Settings}.$ Let $X_1, X_2$ be separated finite type schemes over the spectrum of a field $S=\mathrm{Spec}...
7
votes
1
answer
404
views
Is anything known about de Rham $K(\pi,1)$'s?
Let $X$ be a connected qcqs scheme. We say that $X$ is a (étale) $K(\pi,1)$ if for every locally constant constructible abelian sheaf $\mathscr{F}$ on $X$ and every geometric point $\overline{x}$ the ...
23
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 ...
5
votes
0
answers
364
views
Calculating étale fundamental groups from the usual fundamental group
$\newcommand{Spec}{\operatorname{Spec}}$Let $X$ be a connected affine smooth variety over $\mathbb{Q}$, with a point $x\in X(\Spec(\mathbb{Q})$.
For any algebraically closed field $K$ of ...
2
votes
0
answers
222
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
490
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
153
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 ...
8
votes
0
answers
606
views
Stalks of limit sheaves
Let $\{\mathcal{F}_i\}_{i\in \mathbb{N}}$ be an inverse system of sheaves of abelian groups on a space $X$. Then for any $x\in X$ we have a natural map
$$\left(\lim_i \mathcal{F}_i\right)_x\rightarrow ...
3
votes
0
answers
312
views
A Künneth formula for relative fiber products
There is a Künneth formula for the cohomology of a product of spaces $X\times Y$ in quite a lot of generality.
Is there a Künneth formula for relative fiber products $X\times_S Y$? The case I am most ...
3
votes
0
answers
206
views
Étale homotopy equivalent varieties are deformation equivalent
Let $k$ be an algebraically closed field of characteristic $p>0$.
Let $V_1$ and $V_2$ be étale simply-connected smooth proper varieties over $k$. Assume there is an isomorphism between the prime-to-...
10
votes
0
answers
465
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). ...
4
votes
1
answer
239
views
Suspension Theorem in $\mathbb{A}^1$-homotopy
In algebraic topology, the suspension theorem tells us that for a topological space $X$, we have
$$\tilde{H}^n(X,F)\cong \tilde{H}^{n+k}(S^k\wedge X,F).$$
So I'm wondering if this has an analogue in ...
7
votes
1
answer
178
views
What is the etale homotopy type of the Witt group of braided fusion categories?
The Witt group $\mathcal{W}$ of braided fusion categories (see also the sequel paper) can be defined over any field; I am happy to restrict to characteristic $0$ if it matters.
Is $\mathbb k \...
13
votes
2
answers
2k
views
Is there a version of algebraic de Rham cohomology that can be used to calculate torsion classes?
Much work has gone into the construction of cohomology theories which are defined on algebraic varieties (étale, crystalline, etc.) and comparison isomorphisms between them.
Say $X$ is an algebraic ...
6
votes
1
answer
301
views
Homotopy equivalence between two basepoints of the etale homotopy type of the one-torus
Let $T = \mathbb{G}_m$ be the torus, and let $\tilde{T}$ be its étale universal cover (a pro-object in schemes of finite type). Then both $T$ and $\tilde{T}$ have a well-defined étale homotopy type. ...