Permalink
Browse files

small ---> big

  • Loading branch information...
aisejohan committed May 17, 2018
1 parent e92c185 commit 1b940427ac8b411dd24a9b674c389e34caa07d5c
Showing with 2 additions and 2 deletions.
  1. +2 −2 etale-cohomology.tex
@@ -14183,10 +14183,10 @@ \section{Comparing big and small topoi}
$i_g^*(Rf_{big, *}K) = Rf'_{small, *}(i_{g'}^*K)$
in $D(\textit{Mod}(S'_\etale, \mathcal{O}_{S'}))$.
\item[(5)] For $K$ in $D((\Sch/T)_\etale)$ we have
$g_{big}^{-1}(Rf_{big, *}K) = Rf'_{small, *}((g'_{big})^{-1}K)$
$g_{big}^{-1}(Rf_{big, *}K) = Rf'_{big, *}((g'_{big})^{-1}K)$
in $D((\Sch/S')_\etale)$.
\item[(6)] For $K$ in $D((\Sch/T)_\etale, \mathcal{O})$ we have
$g_{big}^*(Rf_{big, *}K) = Rf'_{small, *}((g'_{big})^*K)$
$g_{big}^*(Rf_{big, *}K) = Rf'_{big, *}((g'_{big})^*K)$
in $D(\textit{Mod}(S'_\etale, \mathcal{O}_{S'}))$.
\end{enumerate}
\end{lemma}

0 comments on commit 1b94042

Please sign in to comment.