2
votes
0answers
71 views

Continuity of constructible derived category

Let $X_0$ be a variety over $\mathbb F_q$. Denote by $X_n$ its basechange to $\mathbb F_{q^n}$ and let $X=\lim X_n$ be its basechange to the algebraic closure $\overline{\mathbb F}_q$. Let ...
5
votes
0answers
350 views

On the derived category of constructible étale sheaves

The derived category $D^{\flat}_{c}(X,R)$ of constructible sheaves of $R$-modules on $X_{et}$ is defined as the full subcategory of $D^b(X,R)$ whose cohomology sheaves are all constructible. Clearly, ...
2
votes
1answer
264 views

Equivalent forms of the proper base change isomorphism

$\DeclareMathOperator{\Nat}{Nat}$In a current project, I am trying to "commute" $!$ and $*$ functors that are both upper or both lower. (Sheaf-theoretic context: constructible étale sheaves.) ...
2
votes
1answer
256 views

For an l-adic sheaf (F_n), why is the complex F_n of finite Tor dimension?

Let $X$ be a variety and let $\mathcal{F}=(\mathcal{F}_n)_{n\geq 0}$ be a (constructible) $\ell$-adic sheaf on $X$. Let $K_n$ be the object in the derived category $D(X,\mathbf{Z}/\ell^{n+1})$ of ...
17
votes
0answers
762 views

Is there a Grothendieck-Riemann-Roch type of theorem generalizing Grothendieck's Lefschetz trace formula

Grothendieck deduced that the L-function of a (constructible) $\ell$-adic sheaf on a variety over $\mathbf{F}_p$ is rational from the generalized trace formula. My first question is based on the ...
12
votes
1answer
858 views

Why does the naive definition of compactly supported étale cohomology give the wrong answer?

Illusie's article about ├ętale cohomology available here (in French) mentions that the standard definition of compactly supported cohomology (and higher direct images with compact support) does not ...