Drinfeld’s lemma for diamonds

This chapter addresses Drinfeld's lemma for diamonds. It proves a local analogue of Drinfeld's lemma, thereby giving a first nontrivial argument involving diamonds. This lecture is entirely about fundamental groups. A diamond is defined to be connected if it is not the disjoint union of two open subsheaves. For a connected diamond, finite étale covers form a Galois category. As such, for a geometric point, one can define a profinite group, such that finite sets are equivalent to finite étale covers. In this proof, the chapter uses the formalism of diamonds rather heavily to transport finite étale maps between different presentations of a diamond as the diamond of an analytic adic space.