Proposition 7.27.
The triple \((C,C^{\ad},\tau_D)\) is a geometric site.
Proof
The canonical-cover condition is stable under base change and composition, and universal \(!\)-descent has the same stability properties. Since every \(D\)-cover consists of admissible morphisms, the resulting topology is compatible with \(C^{\ad}\). See [Scholze 2025, Definition 5.13].
References
- Peter Scholze. Six-Functor Formalisms. 2025.