- Tags
- Refs:
- Links:
six functor formalism
Should involve Verdier duality, projection formula, Poincare duality, proper base change. Involves separated finite type schemes.
Problem: QCoh doesn’t quite admit such a formalism:
Used for etale cohomology: