Galois groupoids (Q2545718)

From the introduction: Let \(R\) be a commutative ring, and \(S\) an \(R\)-algebra which is the direct limit of commutative, separable, projective \(R\)-subalgebras (i.e. a locally separable \(R\)-algebra). Under a suitable normality condition on \(S\) we give a Galois correspondence between all locally separable subalgebras of \(S\) and closed subgroupoids of a certain topological groupoid. The correspondence is constructed as follows: first, it is shown that separable subalgebras are determined by their separability idempotents. The separability idempotents are intrinsically characterized (among the idempotents of \(S\otimes_R S)\). Then the Boolean spectrum of \(S\otimes_R S\) is shown to be a topological groupoid. Idempotents of \(S\otimes_R S\) correspond to open-and-closed subsets of the Boolean spectrum; we complete the Galois correspondence by showing that the subsets corresponding to separability idempotents are subgroupoids, and conversely.