Skip to content
Permalink
Browse files

Change small into big 2 times

Thanks to David Hansen
  • Loading branch information...
aisejohan committed Oct 7, 2019
1 parent d6867b6 commit a30d3b68078db31811da95ad47426ba4141e52a3
Showing with 2 additions and 2 deletions.
  1. +2 −2 spaces-more-cohomology.tex
@@ -694,10 +694,10 @@ \section{Comparing big and small topoi}
$i_g^*(Rf_{big, *}K) = Rf'_{small, *}(i_{g'}^*K)$
in $D(\textit{Mod}(X'_\etale, \mathcal{O}_{X'}))$.
\item[(5)] For $K$ in $D((\textit{Spaces}/Y)_\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((\textit{Spaces}/X')_\etale)$.
\item[(6)] For $K$ in $D((\textit{Spaces}/Y)_\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}(X'_\etale, \mathcal{O}_{X'}))$.
\end{enumerate}
\end{lemma}

0 comments on commit a30d3b6

Please sign in to comment.
You can’t perform that action at this time.