二元簇概型的基本群

二元簇概型推广了幺半群概型，而后者使我们能够推广环面簇。设 $X$ 为二元簇概型。本文旨在计算 $KX$ 的拓扑基本群，其中 $K=\mathbb{C}$ 或 $\mathbb{R}$。对于后者，我们将给出一种利用 2-范畴论方法计算基本群的显式方式。事实上，我们将计算更一般的基本广群。作为一种特化，我们也将考察 Stanley-Reisner 环。我们的方法在此情形下简化，使我们能够直接用单纯复形描述基本广群。