1 Introduction

In [3] we introduced the notion of partially multiplicative quandle (shortly, PMQ) and for a PMQ \({\mathcal {Q}}\) we defined a simplicial Hurwitz space \(\text {Hur} ^{\Delta }({\mathcal {Q}})\): the space \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) is the difference of the geometric realisations of two bisimplicial sets, and is thus equipped with a cell stratification. The construction requires \({\mathcal {Q}}\) to be augmented as a PMQ (see [3, Definition 4.9]).

As discussed in [3, Sect. 6], a point in \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) can be regarded as the datum of a finite subset P of the open unit square \((0,1)^2\subset {\mathbb {C}}\), together with a monodromy \(\psi \), defined on certain loops of \({\mathbb {C}}\setminus P\) and taking values in \({\mathcal {Q}}\).

In this article we introduce, for a semi-algebraic subspace \({\mathcal {X}}\subset {\mathbb {H}}\) of the closed upper half-plane \({\mathbb {H}}=\left\{ \Re \ge 0\right\} \subset {\mathbb {C}}\), and for a PMQ \({\mathcal {Q}}\), a “Hurwitz–Ran” space \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\). More generally we introduce, for a nice couple \(({\mathcal {X}},{\mathcal {Y}})\) of subspaces \({\mathcal {Y}}\subseteq {\mathcal {X}}\) of \({\mathbb {H}}\) (see Definition 2.3) and for a PMQ-group pair \(({\mathcal {Q}},G)\) (see [3, Definition 2.15]), a Hurwitz–Ran space \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\). The part “Hurwitz” in the name suggests that elements of \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\) are configurations of points in the plane with monodromy data, like in classical Hurwitz spaces; the par “Ran” refers to the topology, defined in such a way that “collisions” between points are allowed (at least under certain circumstances), like in classical Ran spaces.

One can think of \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\) as a relative version of \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\). In the classical theory of configuration spaces, points of P disappear when they move inside the relative subspace \({\mathcal {Y}}\); in our setting they do not disappear, but are “downgraded” to points around which only a G-valued monodromy, instead of a \({\mathcal {Q}}\)-valued monodromy, is defined. The Hurwitz–Ran construction has the advantage of being natural not only in the PMQ-group pair \(({\mathcal {Q}},G)\), but also in the nice couple \(({\mathcal {X}},{\mathcal {Y}})\): for nice couples \(({\mathcal {X}},{\mathcal {Y}})\) and \(({\mathcal {X}}',{\mathcal {Y}}')\), and for suitable maps \(\xi :{\mathbb {C}}\rightarrow {\mathbb {C}}\) sending \({\mathcal {X}}\rightarrow {\mathcal {X}}'\) and \({\mathcal {Y}}\rightarrow {\mathcal {Y}}'\), we are able to define a corresponding map \(\xi _*:\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathcal {X}}',{\mathcal {Y}}';{\mathcal {Q}},G)\); most notably, we can do this in certain cases in which \(\xi \) is not injective, in particular it is not a homeomorphism of \({\mathbb {C}}\).

1.1 Statement of results

We prove that the construction of \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) is functorial both in \({\mathcal {Q}}\) and in \({\mathcal {X}}\); as special cases we have the following:

  • a morphism of PMQs \(\Psi :{\mathcal {Q}}\rightarrow {\mathcal {Q}}'\) induces a continuous map \(\Psi _*:\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\rightarrow \text {Hur} ({\mathcal {X}};{\mathcal {Q}}')\);

  • a semi-algebraic homeomorphism \(\xi :{\mathbb {C}}\rightarrow {\mathbb {C}}\) with compact support in \({\mathbb {H}}\), sending \({\mathcal {X}}\) inside \({\mathcal {X}}'\), induces a continuous map \(\xi _*:\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\rightarrow \text {Hur} ({\mathcal {X}}';{\mathcal {Q}})\).

In Definitions 4.2 and 4.3 we introduce morphisms and lax morphisms of nice couples: both types of morphisms arise as certain continuous maps \({\mathbb {C}}\rightarrow {\mathbb {C}}\). The first, main result of the article is the following theorem, combining Theorems 4.1, 4.4 and 4.7.

Theorem A

The Hurwitz–Ran spaces \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\) are functorial both in the nice couple \(({\mathcal {X}},{\mathcal {Y}})\), with respect to morphisms of nice couples, and in the PMQ-group pair. If we restrict to complete PMQs, then functoriality holds also with respect to lax morphisms of nice couples.

We recall that the simplicial Hurwitz space \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) was defined in [3] only when \({\mathcal {Q}}\) is an augmented PMQ. For such a PMQ, we can set \({\mathcal {X}}=(0,1)^2\subset {\mathbb {C}}\) and consider the Hurwitz–Ran space \(\text {Hur} ((0,1)^2;{\mathcal {Q}})\). Inside the latter, we let \(\text {Hur} ((0,1)^2;{\mathcal {Q}}_+)\), be the subspace of configurations \((P,\psi )\) such that the local monodromy around each point of P lies in \({\mathcal {Q}}_+:={\mathcal {Q}}\setminus \left\{ \mathbb {1}\right\} \). The second main result of the article is the following theorem, which is Theorem 9.1.

Theorem B

If \({\mathcal {Q}}\) is augmented and locally finite (see [3, Definition 4.12]), then the simplicial Hurwitz space \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) is homeomorphic to \(\text {Hur} ((0,1)^2;{\mathcal {Q}}_+)\).

Thus Hurwitz–Ran spaces generalise simplicial Hurwitz spaces from [3].

In [3, Definition 6.19] we also introduced the notion of Poincaré PMQ: an augmented and locally finite PMQ \({\mathcal {Q}}\) is Poincaré if each connected component of \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) is a topological manifold. More generally, for a commutative ring R, we introduce the notion of R-Poincaré PMQ: each component of \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) is required to be an R-homology manifold (see Definition 9.4). An R-Poincaré PMQ \({\mathcal {Q}}\) has the following advantage: the R-homology groups of a component of \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) are isomorphic by Poincaré–Lefschetz duality to the reduced R-cohomology groups of the one point compactification of that component; this one point compactification is endowed with a finite cell decomposition à la Fox–Neuwirth–Fuchs [3, Sect. 6] which can in principle be used for actual cohomology computations.

The third main result of the article is the following theorem, combining Theorems 9.3 and 9.6, and giving a criterion to recognise Poincaré and R-Poincaré PMQs. Recall that a PMQ \({\mathcal {Q}}\) embeds into its completion \(\hat{{\mathcal {Q}}}\), and \(\hat{{\mathcal {Q}}}\) is strictly larger than \({\mathcal {Q}}\) unless \({\mathcal {Q}}\) is already complete. Recall also from [3, Theorem 6.14] that the connected components of \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) are in bijection with \(\hat{{\mathcal {Q}}}\).

Theorem C

In order to prove that \({\mathcal {Q}}\) is Poincaré (respectively, R-Poincaré), it suffices to check that for all \(a\in {\mathcal {Q}}\) the corresponding component \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\) of \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) is a topological manifold (respectively, an R-homology manifold).

1.2 Outline of the article

In Sect. 2 we introduce the notion of nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) of subspaces \({\mathcal {Y}}\subset {\mathcal {X}}\) of the closed upper half-plane \({\mathbb {H}}\). For each finite subset \(P\subset {\mathcal {X}}\), we introduce the fundamental PMQ \({\mathfrak {Q}}_{{\mathfrak {C}}}(P)\), arising as a subset of \(\pi _1({\mathbb {C}}\setminus P)\), which will allow us to define configurations in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) supported on the set P. In order to define a convenient topology on the set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), we introduce also the notion of covering \(\underline{U}\) of a finite subset \(P\subset {\mathcal {X}}\), and associate several PMQs also with the datum of a finite set and a covering of it.

In Sect. 3 we define the Hurwitz–Ran space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), for each nice couple \({\mathfrak {C}}\) and each PMQ-group pair \(({\mathcal {Q}},G)\), first as a set and then as a Hausdorff topological space (see Proposition 3.8). We also discuss a variation of the definition, using a contractible subspace \({\mathbb {T}}\subset {\mathbb {C}}\) as “ambient space” instead of the entire \({\mathbb {C}}\).

In Sect. 4 we introduce morphisms and lax morphisms of nice couples, and we prove Theorem A.

In Sect. 5 we give some applications of functoriality of Hurwitz–Ran spaces, in particular we study some local properties of their topology. We also specialise Hurwitz–Ran spaces \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\) to the case \({\mathcal {Y}}=\emptyset \): in this case the resulting space only depends on \({\mathcal {Q}}\) and not on G, and we denote it \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\).

In Sect. 6 we introduce the total monodromy, which is a discrete, continuous invariant of configurations in Hurwitz–Ran spaces. The total monodromy is a map \(\omega :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow G\) in the relative case, and \(\hat{\omega }:\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\rightarrow \hat{{\mathcal {Q}}}\) in the absolute case, where \(\hat{{\mathcal {Q}}}\) is the completion of \({\mathcal {Q}}\). We also define three actions of G on Hurwitz–Ran spaces: the first is the action on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) by global conjugation; the other two actions are only defined on certain subspaces of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), and leverage the possibility of changing the local monodromy around a single point z in the support of a configuration, provided that z is the leftmost or rightmost point in the support.

In Sect. 7 we introduce, in the hypothesis that \({\mathcal {Q}}\) is augmented, a subspace \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\) of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\); using the notion of explosion we prove that the inclusion \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\subseteq \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) is in several cases a homotopy equivalence.

In Sect. 8, for an augmented PMQ \({\mathcal {Q}}\), we construct a continuous bijection \(\upsilon :|\text {Arr} ({\mathcal {Q}})|\rightarrow \text {Hur} ([0,1]^2;\hat{{\mathcal {Q}}}_+)\), and prove Theorem B: here \(\hat{{\mathcal {Q}}}\) is the completion of \({\mathcal {Q}}\), and \(\text {Arr} ({\mathcal {Q}})\) is the bisimplicial set from [3, Definition 6.6], whose geometric realisation contains \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) as an open subspace.

In Sect. 9 we prove that \(\upsilon :\text {Hur} ^{\Delta }({\mathcal {Q}})\rightarrow \text {Hur} ((0,1)^2;{\mathcal {Q}}_+)\) is a homeomorphism under the additional hypothesis that \({\mathcal {Q}}\) is a locally finite PMQ. We then move our focus to Poincaré PMQs and prove Theorem C.

Finally, Appendix A contains the proofs of the most technical lemmas and propositions of the article; these proofs have been deferred to help the reader focus on the general framework. Throughout the article we make heavy use of the results of [3, Sects. 2–6]: we cite every time which specific fact we are employing, so that the reader does not need to be familiar with the details of [3].

1.3 Motivation

This is the second article in a series about Hurwitz spaces. Our motivation to define Hurwitz–Ran spaces is two-fold.

  • The standard setting for Hurwitz spaces takes as input an integer \(k\ge 0\) and conjugacy-invariant subset \({\mathcal {Q}}\) in a group G, and gives a space \(\text {hur} _k({\mathcal {Q}})\) of moduli of branched G-covers of the unit square \((0,1)^2\) with exactly k branch points and local monodromies in \({\mathcal {Q}}\); see for instance [6]. The disjoint union \(\text {hur} ({\mathcal {Q}}):=\coprod _{k\ge 0}\text {hur} _k({\mathcal {Q}})\) carries a natural \(E_1\)-algebra structure, and one can try to extract “stable” information about a particular space \(\text {hur} _k({\mathcal {Q}})\) from the group-completion \(\Omega B\text {hur} ({\mathcal {Q}})\). As we will see in a subsequent article [4], Hurwitz–Ran spaces are well-suited for modeling the homotopy type of \(B\text {hur} ({\mathcal {Q}})\), and provide, in a certain sense, even a double delooping “\(B^2(\text {hur} ({\mathcal {Q}}))\)” of \(\text {hur} (Q)\), as if the latter were an \(E_2\)-algebra.

  • The connection between Hurwitz spaces and moduli spaces of Riemann surfaces is well-known, and by using the family of PMQs \({\mathfrak {S}}_d^{\text {geo} }\) from [3, Sect. 7], we will see in a subsequent article [5] that one can in fact model the homotopy type of moduli spaces \({\mathfrak {M}}_{g,n}\) as components of Hurwitz–Ran spaces; here \({\mathfrak {M}}_{g,n}\) denotes the moduli space of Riemann surfaces of genus \(g\ge 0\) with \(n\ge 1\) ordered and parametrised boundary components. This connection leads to an alternative proof of the Mumford conjecture on the stable rational cohomology of moduli spaces \({\mathfrak {M}}_{g,n}\), originally proved by Madsen and Weiss [8].

2 Groups and PMQs from configurations in the plane

In this section we introduce nice couples of subspaces of \({\mathbb {C}}\) and use them to associate several PMQs to a finite configuration P of points in \({\mathbb {C}}\).

2.1 Nice couples

Notation 2.1

We endow the complex plane \({\mathbb {C}}\) with the basepoint \(*\) corresponding to the complex number \(-\sqrt{-1}\), which is contained in the lower half-plane. The closed, upper half-plane is \({\mathbb {H}}:=\left\{ z\in {\mathbb {C}}\,|\,\Im (z)\ge 0\right\} \).

Definition 2.2

A subset \({\mathbb {J}}\subseteq {\mathbb {C}}\) is semi-algebraic if it can be expressed as a finite union of subsets \({\mathbb {J}}_1,\dots ,{\mathbb {J}}_r\subset {\mathbb {C}}\), such that each \({\mathbb {J}}_i\) is defined by a finite system of polynomial equalities and (weak or strict) inequalities in the real, affine coordinates \(\Re (z)\) and \(\Im (z)\) of \({\mathbb {C}}\). Given two semi-algebraic sets \({\mathbb {J}},{\mathbb {J}}'\subseteq {\mathbb {C}}\), a continuous map \(\xi :{\mathbb {J}}\rightarrow {\mathbb {J}}'\) is semi-algebraic if \({\mathbb {J}}\) can be expressed as a finite union of semi-algebraic subsets \({\mathbb {J}}_1,\dots ,{\mathbb {J}}_r\subset {\mathbb {J}}\), and the coordinates of \(\xi |_{{\mathbb {J}}_i}\) are expressed, in the real affine coordinates of \({\mathbb {J}}_i\), by fractions of polynomials with real coefficients.

Note that a semi-algebraic subset \({\mathbb {J}}\subset {\mathbb {C}}\) can be written locally as a finite union of subsets of \({\mathbb {C}}\) that are diffeomorphic to points, open segments and open triangles; finite unions and intersections of semi-algebraic subsets are again semi-algebraic.

Definition 2.3

A nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) is a couple of subspaces \(\emptyset \subseteq {\mathcal {Y}}\subseteq {\mathcal {X}}\subseteq {\mathbb {H}}\), such that the following properties hold:

  • \({\mathcal {X}}\) and \({\mathcal {Y}}\) are semi-algebraic;

  • \({\mathcal {Y}}\) is closed in \({\mathcal {X}}\).

By abuse of notation, for \({\mathcal {X}}\subset {\mathbb {H}}\) we will denote by \({\mathcal {X}}\) also the nice couple \(({\mathcal {X}},\emptyset )\).

2.2 Configurations and coverings

We fix a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) for the rest of the section, and consider finite configurations of points in \({\mathcal {X}}\subset {\mathbb {C}}\).

Notation 2.4

We will often denote by \(P=\left\{ z_1,\dots ,z_k\right\} \subset {\mathcal {X}}\) a finite collection of distinct points, for some \(k\ge 0\). We will assume that there is \(0\le l\le k\) such that \(z_1,\dots ,z_l\) are precisely the points of P lying in \({\mathcal {X}}\setminus {\mathcal {Y}}\).

Definition 2.5

Let P as in Notation 2.4. A covering of P is a sequence \(\underline{U}=(U_1,\dots ,U_\kappa )\) of convex, semi-algebraic, disjoint open subsets of \({\mathbb {C}}\setminus \left\{ *\right\} \), satisfying the following conditions:

  • P is contained in the union \(U_1\cup \dots \cup U_\kappa \);

  • each \(U_i\) intersects P at least in one point;

  • the closures \({\bar{U}}_i\subseteq {\mathbb {C}}\) of the sets \(U_i\) are disjoint, compact and do not contain \(*\).

A covering of P is adapted (to P) if the following additional properties hold:

  • \(\kappa =k\), and each \(U_i\) contains exactly one point of P;

  • for all \(1\le i\le l\), i.e. for all i such that \(z_i\notin {\mathcal {Y}}\), if \(z_i\in U_j\) then the closure \({\bar{U}}_j\) is disjoint from \({\mathcal {Y}}\).

Since \({\mathcal {Y}}\) is closed in \({\mathcal {X}}\), each finite \(P\subset {\mathcal {X}}\) admits some adapted covering. Note that if \(\underline{U}\) is an adapted covering of P, then the inclusion \({\mathbb {C}}\setminus \underline{U}\hookrightarrow {\mathbb {C}}\setminus P\) is a homotopy equivalence. See Fig. 1.

Fig. 1
figure 1

On left, a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\), and a covering \(\underline{U}'\) of a configuration \(P\subset {\mathcal {X}}\); on right, an adapted covering \(\underline{U}\) of P

Notation 2.6

Let \(\underline{U}=(U_1,\dots ,U_\kappa )\) be a covering of P as in Definition 2.5. By abuse of notation we denote also by \(\underline{U}\) the union \(U_1\cup \dots \cup U_\kappa \subset {\mathbb {C}}\). We assume that there is \(0\le \lambda \le \kappa \) such that \(U_1,\dots ,U_\lambda \) are precisely the open sets of \(\underline{U}\) with \({\bar{U}}_i\) disjoint from \({\mathcal {Y}}\). If \(\underline{U}\) is an adapted covering of P, using Notation 2.4, we also assume \(z_i\in U_i\) for \(1\le i\le k\).

The notion of covering is classically used to give a topology to the Ran space \(\text {Ran} ({\mathcal {X}})\), as we also recall in Sect. 3.1. Intuitively, a perturbation of a configuration P will be a new configuration \(P'\) obtained by slightly moving the points of P and by splitting some points \(z_i\in P\) in two or more points of \(P'\); all these splittings occur inside an adapted covering \(\underline{U}\), which is also a covering of \(P'\).

2.3 Fundamental group and admissible generating sets

Definition 2.7

Let P be as in Notation 2.4. The fundamental group of P, denoted \({\mathfrak {G}}(P)\), is by definition the fundamental group of the complement of P in the plane:

$$\begin{aligned} {\mathfrak {G}}(P):=\pi _1({\mathbb {C}}\setminus P,*). \end{aligned}$$

For P as in Notation 2.4, the group \({\mathfrak {G}}(P)\) is a free group on k generators: in the following we construct an explicit set of free generators for \({\mathfrak {G}}(P)\). See Fig. 2.

Fig. 2
figure 2

On left, a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\), a configuration \(P\subset {\mathcal {X}}\), the boundary curves of an adapted covering \(\underline{U}\) of P and a choice of arcs \(\zeta _i\); on right, the loops representing the corresponding admissible generating set of \({\mathfrak {G}}(P)\)

We choose an adapted covering \(\underline{U}\) of P, and use Notation 2.6. The boundary curves of \({\bar{U}}_1,\dots ,{\bar{U}}_k\) are denoted by \(\partial U_1,\dots , \partial U_k\) respectively, and are oriented clockwise. We also choose embedded arcs \(\zeta _1,\dots ,\zeta _k\) joining the basepoint \(*\) with the curves \(\partial U_1,\dots ,\partial U_k\). We assume the following:

  • for all \(1\le i\le k\), the arc \(\zeta _i\) has an endpoint at \(*\), and the other endpoint on \(\partial U_i\);

  • there is no other intersection point between two arcs \(\zeta _i,\zeta _j\) or between an arc \(\zeta _i\) and a boundary curve \(\partial U_j\), for \(1\le i,j\le k\).

For \(1\le i\le k\) let \(f_i\in {\mathfrak {G}}(P)\) be the element represented by a loop that begins at \(*\), runs along \(\zeta _i\) until it reaches the intersection with \(\partial U_i\), spins clockwise around \(\partial U_i\) and runs back to \(*\) along \(\zeta _i\). Then \(f_1,\dots ,f_k\) exhibit \({\mathfrak {G}}(P)\) as a free group on k generators.

Definition 2.8

Let P be as in Notation 2.4. A set of generators \(f_1,\dots ,f_k\) of \({\mathfrak {G}}(P)\) obtained as described above is called an admissible generating set.

2.4 Fundamental PMQ

In the following we introduce several PMQs arising as subsets of \({\mathfrak {G}}(P)\), for P as in Notation 2.4. Recall that a conjugacy class in \({\mathfrak {G}}(P)\) corresponds to a free (i.e. unbased) homotopy class of maps \(S^1\rightarrow {\mathbb {C}}\setminus P\).

Definition 2.9

Let P be as in Notation 2.4. For all \(1\le i\le l\) we denote by \({\mathfrak {Q}}(P,z_i)\subset {\mathfrak {G}}(P)\) the conjugacy class corresponding to a small (unbased) simple closed curve that spins once, clockwise, around \(z_i\); we define

$$\begin{aligned} {\mathfrak {Q}}(P)={\mathfrak {Q}}_{{\mathfrak {C}}}(P):=\left\{ \mathbb {1}\right\} \cup \bigcup _{1\le i\le l} {\mathfrak {Q}}(P,z_i)\subset {\mathfrak {G}}(P), \end{aligned}$$

and call it the fundamental PMQ of P relative to the nice couple \({\mathfrak {C}}\). We consider on \({\mathfrak {Q}}(P)\) the PMQ structure inherited from \({\mathfrak {G}}(P)\) (see [3, Definition 2.8]).

Note that a based loop representing a class in \({\mathfrak {Q}}(P)\) may intersect essentially \({\mathcal {Y}}\).

Fig. 3
figure 3

On left, two elements in \({\mathfrak {Q}}(P)\), lying in \({\mathfrak {Q}}(P,z_1)\) and \({\mathfrak {Q}}(P,z_2)\). On right, an element lying in \({\mathfrak {Q}}^{\text {ext} }(P)\) but not in \({\mathfrak {Q}}(P)\)

Let P be as in Notation 2.4, and fix an admissible generating set \(f_1,\dots ,f_k\) of \({\mathfrak {G}}(P)\) (see Definition 2.8): then the elements of \({\mathfrak {Q}}(P)\) are precisely \(\mathbb {1}\) and all conjugates in \({\mathfrak {G}}(P)\) of the elements \(f_1,\dots ,f_l\). In particular the group isomorphism \({\mathfrak {G}}(P)\cong {\mathbb {F}}^k\), given by choosing an admissible generating set, restricts to a bijection \({\mathfrak {Q}}(P)\cong {\mathbb {F}}{\mathbb {Q}}^k_l\) (see [3, Definition 3.2]), and the hypotheses required by [3, Definition 2.8] are fulfilled. The partial product of \({\mathfrak {Q}}(P)\) is trivial, and \(({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\) is a PMQ-group pair. See Fig. 3, left, for examples of elements in \({\mathfrak {Q}}(P)\).

2.5 Extended fundamental PMQ

We extend Definition 2.9 by considering more general simple closed curves.

Definition 2.10

Let P be as in Notation 2.4. We denote by \({\mathfrak {Q}}^{\text {ext} }(P)={\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}}(P)\subset {\mathfrak {G}}(P)\) the union of all conjugacy classes corresponding to (unbased) oriented simple closed curves \(\beta \subset {\mathbb {C}}\setminus {\mathcal {Y}}\), such that \(\beta \) spins clockwise and \(\beta \) bounds a disc contained in \({\mathbb {C}}\setminus {\mathcal {Y}}\). We consider on \({\mathfrak {Q}}^{\text {ext} }(P)\) the PMQ structure inherited from \({\mathfrak {G}}(P)\), and call it the extended fundamental PMQ of P relative to the nice couple \({\mathfrak {C}}\).

Note that there is an inclusion of sets \({\mathfrak {Q}}(P)\subseteq {\mathfrak {Q}}^{\text {ext} }(P)\). See Fig. 3, right, for a non-trivial example of an element in \({\mathfrak {Q}}^{\text {ext} }(P)\). The fact that the hypotheses of [3, Definition 2.8] are fulfilled by \({\mathfrak {Q}}^{\text {ext} }(P)\subseteq {\mathfrak {G}}(P)\) needs some explanation: this is contained in the following two propositions. In the following, recall from [3, Definition 3.5] that a decomposition of an element \({\mathfrak {g}}\in {\mathfrak {Q}}^{\text {ext} }(P)\) with respect to \({\mathfrak {Q}}(P)\) is a sequence \(({\mathfrak {g}}_1,\dots ,{\mathfrak {g}}_r)\) of elements of \({\mathfrak {Q}}(P)\) whose product \({\mathfrak {g}}_1\dots {\mathfrak {g}}_r\), computed in \({\mathfrak {G}}(P)\), is equal to \({\mathfrak {g}}\).

Proposition 2.11

Let P be as in Notation 2.4. The set \({\mathfrak {Q}}^{\text {ext} }(P)\) is generated under partial product by \({\mathfrak {Q}}(P)\), i.e., every element \({\mathfrak {g}}\) of \({\mathfrak {Q}}^{\text {ext} }(P)\) admits a decomposition \(({\mathfrak {g}}_1,\dots ,{\mathfrak {g}}_r)\) with respect to \({\mathfrak {Q}}(P)\).

Proposition 2.12

Let P be as in Notation 2.4. Then \({\mathfrak {Q}}^{\text {ext} }(P)\subset {\mathfrak {G}}(P)\) satisfies the hypotheses of [3, Definition 2.8], and hence inherits a structure of PMQ; as a consequence \(({\mathfrak {Q}}^{\text {ext} }(P),{\mathfrak {G}}(P))\) is a PMQ-group pair.

The proofs of Propositions 2.11 and 2.12 are in Sects. A.1 and A.2 of the appendix, respectively.

It follows that the inclusion \({\mathfrak {Q}}(P)\subseteq {\mathfrak {Q}}^{\text {ext} }(P)\) is a map of PMQs, and the inclusion \(({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\subset ({\mathfrak {Q}}^{\text {ext} }(P),{\mathfrak {G}}(P))\) is a map of PMQ-group pairs. In the following we study the problem of extending over \({\mathfrak {Q}}^{\text {ext} }(P)\) maps of PMQs defined over \({\mathfrak {Q}}(P)\).

Definition 2.13

Let P be as in Notation 2.4, let \({\mathcal {Q}}\) be a PMQ and let \(\psi :{\mathfrak {Q}}(P)\rightarrow {\mathcal {Q}}\) be a map of PMQs. Let \({\mathfrak {g}}\in {\mathfrak {Q}}^{\text {ext} }(P)\) and let \(({\mathfrak {g}}_1,\dots ,{\mathfrak {g}}_r)\) be a decomposition of \({\mathfrak {g}}\) with respect to \({\mathfrak {Q}}(P)\). We say that \(\psi \) can be extended over \({\mathfrak {g}}\) if the product \(\psi ({\mathfrak {g}}_1)\dots \psi ({\mathfrak {g}}_r)\) is defined in \({\mathcal {Q}}\). We denote by \({\mathfrak {Q}}^{\text {ext} }(P)_{\psi }={\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}}(P)_{\psi }\subseteq {\mathfrak {Q}}^{\text {ext} }(P)\) the subset containing all elements \({\mathfrak {g}}\) over which \(\psi \) can be extended.

Some comments on Definition 2.13 are needed. For \({\mathfrak {g}}\in {\mathfrak {Q}}^{\text {ext} }(P)\), the existence of a decomposition \(({\mathfrak {g}}_1,\dots ,{\mathfrak {g}}_r)\) of \({\mathfrak {g}}\) with respect to \({\mathfrak {Q}}(P)\) is granted by Proposition 2.11. This decomposition is in general not unique; nevertheless, by [3, Proposition 3.7], if \(({\mathfrak {g}}'_1,\dots ,{\mathfrak {g}}'_r)\) is another decomposition of \({\mathfrak {g}}\) with respect to \({\mathfrak {Q}}(P)\), then the two decompositions are connected by a sequence of standard moves (see [3, Definition 3.6]). Since \(\psi \) is a map of PMQs, we obtain that the sequence \((\psi ({\mathfrak {g}}_1),\dots ,\psi ({\mathfrak {g}}_r))\) of elements of \({\mathcal {Q}}\) can be transformed into the sequence \((\psi ({\mathfrak {g}}'_1),\dots ,\psi ({\mathfrak {g}}'_r))\) by a sequence of standard moves; it is then a direct consequence of the definition of PMQ, that the product \(\psi ({\mathfrak {g}}_1)\dots \psi ({\mathfrak {g}}_r)\) is defined if and only if the product \(\psi ({\mathfrak {g}}'_1)\dots \psi ({\mathfrak {g}}'_r)\) is defined, and if both products are defined then they are equal to each other. This shows that, whether \(\psi \) can be extended over \({\mathfrak {g}}\), only depends on the element \({\mathfrak {g}}\) but not on the decomposition \(({\mathfrak {g}}_1,\dots ,{\mathfrak {g}}_r)\) of \({\mathfrak {g}}\) with respect to \({\mathfrak {Q}}(P)\); moreover the assignment \({\mathfrak {g}}\mapsto \psi ({\mathfrak {g}}_1)\dots \psi ({\mathfrak {g}}_r)\) gives a well-defined map of sets \(\psi ^{\text {ext} }:{\mathfrak {Q}}^{\text {ext} }(P)_{\psi }\rightarrow {\mathcal {Q}}\), which extends the map \(\psi :{\mathfrak {Q}}(P)\rightarrow {\mathcal {Q}}\).

Proposition 2.14

The subset \({\mathfrak {Q}}^{\text {ext} }(P)_{\psi }\subseteq {\mathfrak {G}}(P)\) satisfies the requirements of [3, Definition 2.8], and therefore \({\mathfrak {Q}}^{\text {ext} }(P)_{\psi }\) inherits a structure of PMQ. The map \(\psi ^{\text {ext} }:{\mathfrak {Q}}^{\text {ext} }(P)_{\psi }\rightarrow {\mathcal {Q}}\) is the unique map of PMQs \({\mathfrak {Q}}^{\text {ext} }(P)_{\psi }\rightarrow {\mathcal {Q}}\) restricting to \(\psi :{\mathfrak {Q}}(P)\rightarrow {\mathcal {Q}}\) on \({\mathfrak {Q}}(P)\).

The proof of Proposition 2.14 is in Sect. A.3 of the appendix. As a consequence of Proposition 2.14, \(({\mathfrak {Q}}^{\text {ext} }(P)_{\psi },{\mathfrak {G}}(P))\) is naturally a PMQ-group pair.

2.6 PMQs from coverings

We extend the previous definitions by replacing a configuration of points P with a configuration of open, convex sets \(\underline{U}\) in \({\mathbb {C}}\).

Definition 2.15

Let \(\underline{U}\) be a covering of P (see Definition 2.5). We define \({\mathfrak {G}}(\underline{U})\) as the group \(\pi _1\left( {\mathbb {C}}\setminus \underline{U},*\right) \), and call it the fundamental group of \(\underline{U}\).

We use Notation 2.6 and define \({\mathfrak {Q}}(\underline{U})\subset {\mathfrak {G}}(\underline{U})\) as the union of \(\left\{ \mathbb {1}\right\} \) and the \(\lambda \) conjugacy classes corresponding to the simple closed curves \(\partial U_1,\dots ,\partial U_\lambda \), oriented clockwise. Similarly as in Definition 2.9, we consider on \({\mathfrak {Q}}(\underline{U})\) the PMQ structure inherited from \({\mathfrak {G}}(\underline{U})\). The PMQ \({\mathfrak {Q}}(\underline{U})\) is called the fundamental PMQ of \(\underline{U}\).

Finally, we define \({\mathfrak {Q}}(P,\underline{U})={\mathfrak {Q}}_{{\mathfrak {C}}}(P,\underline{U})\subset {\mathfrak {Q}}^{\text {ext} }(P)\) as the union of all conjugacy classes in \({\mathfrak {G}}(P)\) represented by simple closed curves \(\beta \) which are oriented clockwise and are contained in one of the regions \(U_i\setminus P\subset {\mathbb {C}}\setminus {\mathcal {Y}}\), for some \(1\le i\le \lambda \). The set \({\mathfrak {Q}}(P,\underline{U})\) is called the relative fundamental PMQ of P with respect to \(\underline{U}\).

Note that, for \(\underline{U}\) as in Notation 2.6, \({\mathfrak {G}}(\underline{U})\) is a free group on \(\kappa \) generators, and an admissible generating set \(f_1,\dots ,f_\kappa \) can be constructed in the same way as in Sect. 2.3 to give an isomorphism \({\mathfrak {G}}(\underline{U})\cong {\mathbb {F}}^\kappa \). By the same arguments used in Sect. 2.4, the previous identification restricts to an identification \({\mathfrak {Q}}(\underline{U})\cong {\mathbb {F}}{\mathbb {Q}}^\kappa _\lambda \), and therefore, analogously as in the case of \({\mathfrak {Q}}(P)\subseteq {\mathfrak {G}}(P)\), the set \({\mathfrak {Q}}(\underline{U})\) inherits from \({\mathfrak {G}}(\underline{U})\) a structure of PMQ, and \(({\mathfrak {Q}}(\underline{U}),{\mathfrak {G}}(\underline{U}))\) is a PMQ-group pair.

Lemma 2.16

Using the notation above, the set \({\mathfrak {Q}}(P,\underline{U})\subset {\mathfrak {G}}(P)\) inherits a structure of PMQ from \({\mathfrak {G}}(P)\) in the sense of [3, Definition 2.8], and thus \(({\mathfrak {Q}}(P,\underline{U}),{\mathfrak {G}}(P))\) is a PMQ-group pair.

Proof

We have to check that if \({\mathfrak {g}}={\mathfrak {g}}_1\dots {\mathfrak {g}}_r\) is a decomposition of \({\mathfrak {g}}\in {\mathfrak {Q}}(P,\underline{U})\) with all factors \({\mathfrak {g}}_j\in {\mathfrak {Q}}(P,\underline{U})\), then for each \(1\le j\le j'\le r\) the product \({\mathfrak {g}}_j\dots {\mathfrak {g}}_{j'}\) also lies in \({\mathfrak {Q}}_{{\mathfrak {C}}}(P,\underline{U})\). Let \(f_1,\dots ,f_k\) be an admissible generating set for \({\mathfrak {G}}(P)\), and consider the abelianisation map \({\textbf {ab}} :{\mathfrak {G}}(P)\rightarrow {\mathfrak {G}}(P)^{{\textbf {ab}} }\cong {\mathbb {Z}}^k\), where the latter isomorphism is given by the basis \({\textbf {ab}} (f_1),\dots ,{\textbf {ab}} (f_k)\). For each \(1\le i\le \lambda \) consider the nice couple \({\mathfrak {C}}_i=({\mathbb {H}},{\mathbb {H}}\setminus U_i)\). Then \({\mathfrak {Q}}_{{\mathfrak {C}}}(P,\underline{U})\subset {\mathfrak {G}}(P)\) can be identified with the subset \(\bigcup _{i=1}^\lambda {\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}_i}(P)\subset {\mathfrak {G}}(P)\). Moreover \({\textbf {ab}} ({\mathfrak {g}})\) is a vector with all entries equal to 0 or 1, as \({\mathfrak {g}}\) is in the conjugacy class represented by a simple closed curve spinning clockwise; if \({\mathfrak {g}}=\mathbb {1}\), then all entries are zero, and if \({\mathfrak {g}}\in {\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}_i}(P)\setminus \left\{ \mathbb {1}\right\} \) for some \(1\le i\le \lambda \) then at least one entry is equal to 1, and all entries equal to 1 correspond to generators \(f_j\) spinning around points of \(P\cap U_i\). Since \({\textbf {ab}} ({\mathfrak {g}})={\textbf {ab}} ({\mathfrak {g}}_1)+\dots {\textbf {ab}} ({\mathfrak {g}}_r)\) is a sum with no cancelation in any coordinate, we conclude that there is a unique \(1\le i\le \lambda \) such that \({\mathfrak {g}}_1,\dots ,{\mathfrak {g}}_r\in {\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}_i}(P)\) (such \(\lambda \) is unique unless all \({\mathfrak {g}}_j=\mathbb {1}\)). We can now apply Proposition 2.12 to \({\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}_i}(P)\) to show that, for all \(1\le j\le j'\le r\) the product \({\mathfrak {g}}_j\dots {\mathfrak {g}}_{j'}\) also lies in \({\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}_i}(P)\), and hence in \({\mathfrak {Q}}_{{\mathfrak {C}}}(P,\underline{U})\). \(\square \)

We conclude the subsection by analysing which inclusions hold between the groups and PMQs introduced so far. The inclusion \({\mathbb {C}}\setminus \underline{U}\subset {\mathbb {C}}\setminus P\) induces an injection of PMQ-group pairs \(({\mathfrak {Q}}_{\mathfrak {C}}(\underline{U}),{\mathfrak {G}}(\underline{U}))\subseteq ({\mathfrak {Q}}_{\mathfrak {C}}(P,\underline{U}),{\mathfrak {G}}(P))\).

On the other hand we have a chain of inclusions \({\mathfrak {Q}}_{\mathfrak {C}}(P,\underline{U})\subset {\mathfrak {Q}}^{\text {ext} }_{\mathfrak {C}}(P)\subset {\mathfrak {G}}(P)\); observe that for a generic covering \(\underline{U}\) we do not have an inclusion \({\mathfrak {Q}}_{\mathfrak {C}}(P)\subset {\mathfrak {Q}}_{\mathfrak {C}}(P,\underline{U})\); yet Proposition 2.11 specialises to the fact that \({\mathfrak {Q}}(P,\underline{U})\) is generated by \({\mathfrak {Q}}(P)\cap {\mathfrak {Q}}(P,\underline{U})\) under partial multiplication.

2.7 Maps induced by forgetting points

Notation 2.17

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple and let \(P\subseteq P'\subset {\mathcal {X}}\). We denote by \({\mathfrak {i}}^{P'}_P:{\mathfrak {G}}(P')\rightarrow {\mathfrak {G}}(P)\) the map induced by the inclusion \({\mathbb {C}}\setminus P'\subseteq {\mathbb {C}}\setminus P\).

Note that \({\mathfrak {i}}^{P'}_P\) restricts to maps \({\mathfrak {Q}}(P')\rightarrow {\mathfrak {Q}}(P)\) and \({\mathfrak {Q}}^{\text {ext} }(P')\rightarrow {\mathfrak {Q}}^{\text {ext} }(P)\). To see this, let \([\gamma ]\in {\mathfrak {Q}}(P')\) (respectively \([\gamma ]\in {\mathfrak {Q}}^{\text {ext} }(P')\)) be represented by a loop \(\gamma \) which is freely homotopic in \({\mathbb {C}}\setminus P'\) to a simple curve \(\beta \subset {\mathbb {C}}\setminus (P'\cup {\mathcal {Y}})\) spinning clockwise around at most one point (respectively, some points) of \(P'\setminus {\mathcal {Y}}\); then the same properties hold for \({\mathfrak {i}}^{P'}_P([\gamma ])\) in \({\mathfrak {Q}}(P)\) (respectively, in \({\mathfrak {Q}}^{\text {ext} }(P)\)).

3 Hurwitz–Ran spaces with monodromies in a PMQ-group pair

In this section we define, for a PMQ-group pair \(({\mathcal {Q}},G)\) and a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) as in Definition 2.3, the Hurwitz–Ran space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), containing configurations of points in \({\mathfrak {C}}\) with monodromies in \(({\mathcal {Q}},G)\).

Throughout the section we fix a PMQ-group pair \(({\mathcal {Q}},G)=({\mathcal {Q}},G,{\mathfrak {e}},{\mathfrak {r}})\) as in [3, Definition 2.15] and a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) as in Definition 2.3.

3.1 Ran spaces

We recall the definition and the main properties of the Ran space \(\text {Ran} ({\mathcal {X}})\), focusing on the case of a connected subspace \({\mathcal {X}}\subset {\mathbb {H}}\). We use [7, Sect. 5.5.1] as main reference.

Definition 3.1

Let \({\mathcal {X}}\subset {\mathbb {H}}\) be a subspace. We define \(\text {Ran} ({\mathcal {X}})\) as the set of all finite subsets \(P\subset {\mathcal {X}}\), including \(\emptyset \); we denote by \(\text {Ran} _+({\mathcal {X}})\) the set \(\text {Ran} ({\mathcal {X}})\setminus \left\{ \emptyset \right\} \).

We define a topology on \(\text {Ran} (X)\). For \(P\in \text {Ran} ({\mathcal {X}})\) and \(\underline{U}\) an adapted covering of P with respect to the nice couple \(({\mathcal {X}},\emptyset )\) (see Definition 2.5), we let \({\mathfrak {U}}(P,\underline{U})={\mathfrak {U}}_{{\mathcal {X}}}(P,\underline{U})\subset \text {Ran} ({\mathcal {X}})\) be the subset of all \(P'\in \text {Ran} ({\mathcal {X}})\) satisfying the following:

  • \(P'\subset \underline{U}\);

  • \(P'\cap U_i\ne \emptyset \) for all \(1\le i\le \kappa \), using Notation 2.6.

A subset of the form \({\mathfrak {U}}(P,\underline{U})\) is called a normal neighbourhood of P in \(\text {Ran} ({\mathcal {X}})\). Normal neighbourhoods form the basis of a Hausdorff topology on \(\text {Ran} ({\mathcal {X}})\).

For \(\emptyset \ne P_0\subset {\mathcal {X}}\) we denote by \(\text {Ran} ({\mathcal {X}})_{P_0}\subset \text {Ran} _+({\mathcal {X}})\) the subspace containing all \(P\subset {\mathcal {X}}\) with \(P_0\subseteq P\). Similarly, for \(z_0\in {\mathcal {X}}\) we denote \(\text {Ran} ({\mathcal {X}})_{z_0}=\text {Ran} ({\mathcal {X}})_{\left\{ z_0\right\} }\).

Our definition of \(\text {Ran} ({\mathcal {X}})\) differs from the usual one in the literature (e.g. [7, Definition 5.5.1.2]) because we allow also \(\emptyset \) as a point in \(\text {Ran} ({\mathcal {X}})\). Note however that our \(\text {Ran} ({\mathcal {X}})\) is the topological disjoint union of the singleton \(\left\{ \emptyset \right\} \) and \(\text {Ran} _+({\mathcal {X}})\).

The following results are originally due to Beilinson and Drinfeld [1]. See also [7, Lemma 5.5.1.8, Theorem5.5.1.6].

Lemma 3.2

Let \({\mathcal {X}}\subset {\mathbb {H}}\) be path connected and let \(P_0\subset {\mathcal {X}}\) be a finite non-empty subset. Then \(\text {Ran} ({\mathcal {X}})_{P_0}\) is weakly contractible.

Lemma 3.3

Let \({\mathcal {X}}\subset {\mathbb {H}}\) be path connected. Then \(\text {Ran} _+({\mathcal {X}})\) is weakly contractible.

Notation 3.4

For a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) we write \(\text {Ran} ({\mathfrak {C}})=\text {Ran} ({\mathcal {X}})\) and similarly for the subspaces introduced in Definition 3.1.

3.2 Hurwitz sets

We first define \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) as a set, and discuss later in Sect. 3.3 its Ran topology, mimicking the topology on \(\text {Ran} ({\mathfrak {C}})\).

Definition 3.5

Let \(({\mathcal {Q}},G)\) be a PMQ-group pair and let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) a nice couple. An element of the Hurwitz set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) is a configuration \({\mathfrak {c}}=(P,\psi ,\varphi )\), where

  • \(P=\left\{ z_1,\dots ,z_k\right\} \) is a finite subset of \({\mathcal {X}}\), i.e. \(P\in \text {Ran} ({\mathcal {X}})\);

  • \((\psi ,\varphi ):({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\rightarrow ({\mathcal {Q}},G)\) is a map of PMQ-group pairs (see Definitions 2.7 and 2.9 for the PMQ-group pair \(({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\)).

If \({\mathfrak {c}}=(P,\psi ,\varphi )\), we say that \({\mathfrak {c}}\) is supported on P; if \({\mathcal {S}}\) is a subspace of \({\mathcal {X}}\) and \(P\subset {\mathcal {S}}\), we say that \({\mathfrak {c}}\) is supported in \({\mathcal {S}}\). The maps \(\psi \) and \(\varphi \) are the \({\mathcal {Q}}\)-valued and G-valued monodromies of \({\mathfrak {c}}\).

Roughly speaking, the monodromy \(\varphi \), with values in G, is defined around every point of P, whereas the monodromy \(\psi \), with values in \({\mathcal {Q}}\), is defined only around points of P which lie in \({\mathcal {X}}\setminus {\mathcal {Y}}\). We can think of \(\psi \) as a refinement of \(\varphi \) away from \({\mathcal {Y}}\): indeed the composition \({\mathfrak {e}}\circ \psi :{\mathfrak {Q}}(P)\rightarrow G\) is equal to \(\varphi |_{{\mathfrak {Q}}(P)}\), where the map of PMQs \({\mathfrak {e}}:{\mathcal {Q}}\rightarrow G\) is part of the structure of PMQ-group pair of \(({\mathcal {Q}},G)\).

Notation 3.6

We usually present a configuration \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) as \({\mathfrak {c}}=(P,\psi ,\varphi )\) and use Notation 2.4 for P. Similarly we present another configuration \({\mathfrak {c}}'\) as \((P',\psi ',\varphi ')\), and write \(P'=\left\{ z'_1,\dots ,z'_{k'}\right\} \).

3.3 The topology on Hurwitz–Ran spaces

We introduce a topology on the set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), in the spirit of the topology of the Ran space \(\text {Ran} ({\mathfrak {C}})\).

Definition 3.7

We use Notations 3.6 and 2.6. Let \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) and let \(\underline{U}\) be an adapted covering of P; we denote by \({\mathfrak {U}}({\mathfrak {c}};\underline{U})={\mathfrak {U}}_{{\mathfrak {C}}}({\mathfrak {c}};\underline{U})\) the subset of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) containing all configurations \({\mathfrak {c}}'\) satisfying the following conditions:

  • \(P'\in {\mathfrak {U}}(P,\underline{U})\) (see Definition 3.1); as a consequence there is a natural inclusion of PMQ-group pairs \(({\mathfrak {Q}}(\underline{U}),{\mathfrak {G}}(\underline{U}))\subseteq ({\mathfrak {Q}}(P',\underline{U}),{\mathfrak {G}}(P'))\) (see Definition 2.15);

  • \({\mathfrak {Q}}(P',\underline{U})\) is contained in \({\mathfrak {Q}}^{\text {ext} }(P')_{\psi '}\) (see Definition 2.13), and the following composition of maps of PMQ-group pairs is equal to \((\psi ,\varphi )\):

    figure a

    where we use the isomorphism discussed in the remark after Definition 2.15, and the map \((\psi ')^{\text {ext} }:{\mathfrak {Q}}^{\text {ext} }(P')_{\psi '}\rightarrow {\mathcal {Q}}\) from Proposition 2.14.

Each subset \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\) is called a normal neighbourhood of \({\mathfrak {c}}\) in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

Fig. 4
figure 4

On left, a configuration \({\mathfrak {c}}=(P,\psi ,\varphi )\) in the space \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}},{\mathcal {Q}},G)\) and an adapted covering \(\underline{U}\) of P; on right, another configuration \({\mathfrak {c}}'\) in the normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\). The drawn loops are labelled with their \({\mathcal {Q}}\)-valued monodromy if they belong to \({\mathfrak {Q}}(P)\) and \({\mathfrak {Q}}(P')\) respectively, and are labelled with their G-valued monodromy otherwise

Roughly speaking, if \({\mathfrak {c}}'\in {\mathfrak {U}}({\mathfrak {c}};\underline{U})\), then \(P'\) is obtained from P by splitting each \(z_i\) into \(r_i\ge 1\) points \(z'_{i,1},\dots ,z'_{i,r_i}\) inside the neighbourhood \(U_i\) of \(z_i\). For all \(1\le i\le k\) the G-valued monodromy around \(z_i\) is decomposed as a product of the G-valued monodromies \(\varphi '\) around the points \(z'_{i,1},\dots ,z'_{i,r_i}\); similarly, for \(1\le i\le l\) the \({\mathcal {Q}}\)-valued monodromy around \(z_i\) is decomposed as a product of the \({\mathcal {Q}}\)-valued monodromies around the points \(z'_{i,1},\dots ,z'_{i,r_i}\). See Fig. 4 for an example of two configuration \({\mathfrak {c}}\) and \({\mathfrak {c}}'\) with \({\mathfrak {c}}'\) in a normal neighbourhood of \({\mathfrak {c}}\).

Proposition 3.8

The subsets \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\) for varying \({\mathfrak {c}}\) and \(\underline{U}\) form the basis of a Hausdorff topology on the set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

Proof

Let \({\mathfrak {c}}_1=(P_1,\psi _1,\varphi _1)\) and \({\mathfrak {c}}_2=(P_2,\psi _2,\varphi _2)\) denote two configurations in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), let \(k_1=\left| P_1\right| \) and \(k_2=\left| P_2\right| \), and let \(\underline{U}_1=(U_{1,1},\dots ,U_{1,k_1})\) and \(\underline{U}_2=(U_{2,1},\dots ,U_{2,k_2})\) be adapted coverings of \(P_1\) and \(P_2\) respectively; finally, let \({\mathfrak {U}}({\mathfrak {c}}_1;\underline{U}_1)\) and \({\mathfrak {U}}({\mathfrak {c}}_2;\underline{U}_2)\) be the corresponding normal neighbourhoods.

Suppose that \({\mathfrak {c}}'=(P',\psi ',\varphi ')\) lies in \({\mathfrak {U}}({\mathfrak {c}}_1;\underline{U}_1)\cap {\mathfrak {U}}({\mathfrak {c}}_2;\underline{U}_2)\). Then we can define \(\underline{U}'=(U'_1,\dots ,U'_{\kappa '})\) as the family of all convex open sets of the form \(U_{1,i}\cap U_{2,j}\) that contain at least one point of \(P'\). By construction \(\underline{U}'\) is a covering of \(P'\); we can then find a covering \(\underline{U}''=(U''_1,\dots ,U''_{\kappa ''})\) of \(P'\) which is adapted to \(P'\) and is finer than \(\underline{U}'\), i.e. each \(U''_i\) is contained in some \(U'_j\). It follows from Definition 3.7 that

$$\begin{aligned} {\mathfrak {U}}({\mathfrak {c}}';\underline{U}'')\subseteq {\mathfrak {U}}({\mathfrak {c}}_1;\underline{U}_1)\cap {\mathfrak {U}}({\mathfrak {c}}_2;\underline{U}_2). \end{aligned}$$

Hence normal neighbourhoods are the basis of a topology on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

To see that this topology is Hausdorff, let \({\mathfrak {c}},{\mathfrak {c}}'\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) and use Notation 3.6. If \(P=P'\), then for any adapted covering \(\underline{U}\) of P the two normal neighbourhoods \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\) and \({\mathfrak {U}}({\mathfrak {c}}';\underline{U})\) are disjoint. If \(P\ne P'\), without loss of generality we can assume that there is a point \(z\in P\setminus P'\); let \(\underline{U}\) and \(\underline{U}'\) be adapted coverings of P and \(P'\) respectively, such that the connected component of \(\underline{U}\) containing z is disjoint from \(\underline{U}'\); then \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\) and \({\mathfrak {U}}({\mathfrak {c}}';\underline{U}')\) are again disjoint. \(\square \)

Notation 3.9

The space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) from Proposition 3.8 is called the Hurwitz–Ran space associated with the nice couple \({\mathfrak {C}}\) and the PMQ-group pair \(({\mathcal {Q}},G)\).

Definition 3.10

We define \(\varepsilon :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Ran} ({\mathfrak {C}})\) as the map given by the assignment \(\varepsilon :(P,\psi ,\varphi )\mapsto P\), i.e. a configuration is sent to its support.

Note that the preimage of \({\mathfrak {U}}(P,\underline{U})\subset \text {Ran} ({\mathfrak {C}})\) along \(\varepsilon \) is the disjoint union of all normal neighbourhoods \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\) for \({\mathfrak {c}}\) varying in the configurations of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) supported on P; this shows continuity of \(\varepsilon \). Note also that \(\varepsilon :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Ran} ({\mathfrak {C}})\) is a homeomorphism if \(({\mathcal {Q}},G)=(\mathbb {1},\mathbb {1})\), where we use the following notation.

Notation 3.11

We denote by \((\mathbb {1},\mathbb {1})\) the initial and terminal PMQ-group pair, consisting of the trivial PMQ \(\left\{ \mathbb {1}\right\} \) and of the trivial group \(\left\{ \mathbb {1}\right\} \).

Notation 3.12

For all nice couples \({\mathfrak {C}}\) we denote by \((\emptyset ,\mathbb {1},\mathbb {1})\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) the unique configuration \((P,\psi ,\varphi )\) with \(P=\emptyset \); note that in this case the maps \(\psi \) and \(\varphi \) are defined on the trivial PMQ and on the trivial group respectively, so they have as images \(\left\{ \mathbb {1}\right\} \subset {\mathcal {Q}}\) and \(\left\{ \mathbb {1}\right\} \subset G\) respectively.

Note that \((\emptyset ,\mathbb {1},\mathbb {1})\) is an isolated point of the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\); we denote by \(\text {Hur} _+({\mathfrak {C}};{\mathcal {Q}},G)\) the closed subspace \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\setminus \left\{ (\emptyset ,\mathbb {1},\mathbb {1})\right\} \subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

Definition 3.13

Let \(P_0\subset {\mathcal {X}}\) be a finite non-empty subset. We denote by \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\subset \text {Hur} _+({\mathfrak {C}};{\mathcal {Q}},G)\) the preimage of \(\text {Ran} ({\mathfrak {C}})_{P_0}\) along \(\varepsilon \). For \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\) and an adapted covering \(\underline{U}\) of \(\varepsilon ({\mathfrak {c}})\) we denote

$$\begin{aligned} {\mathfrak {U}}({\mathfrak {c}},\underline{U})_{P_0}={\mathfrak {U}}({\mathfrak {c}},\underline{U})\cap \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}. \end{aligned}$$

3.4 Change of ambient space

Let \({\mathbb {T}}\subset {\mathbb {C}}\) be a contractible space containing \(*\), and denote by \(\mathring{{\mathbb {T}}}\) the interior of \({\mathbb {T}}\), i.e. the set of all \(z\in {\mathbb {T}}\) for which there is an open disc \(z\in U\subset {\mathbb {T}}\). Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple with \({\mathcal {Y}}\subset {\mathcal {X}}\subset \mathring{{\mathbb {T}}}\); then for all finite subsets \(P\subset {\mathcal {X}}\) the inclusion \({\mathbb {T}}\setminus P\hookrightarrow {\mathbb {C}}\setminus P\) induces an identification \(\pi _1({\mathbb {T}}\setminus P,*)\cong {\mathfrak {G}}(P)\). Similarly we identify \({\mathfrak {Q}}_{{\mathfrak {C}}}(P)\) with the subset of \(\pi _1({\mathbb {T}}\setminus P,*)\) consisting of \(\left\{ \mathbb {1}\right\} \) and all conjugacy classes corresponding to small simple closed curves in \({\mathbb {T}}\setminus P\) spinning clockwise around one of the points of \(P\setminus {\mathcal {Y}}\). We thus have an alternative construction of the Hurwitz set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), in which we use as ambient space the subspace \({\mathbb {T}}\) instead of the entire \({\mathbb {C}}\). The topology on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) from Proposition 3.8 can be obtained by only considering coverings \(\underline{U}\subset {\mathbb {T}}\).

Definition 3.14

We denote by \(\text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\) the Hurwitz–Ran space constructed using \({\mathbb {T}}\) as ambient space. For \(P\subset {\mathcal {X}}\) we let \({\mathfrak {G}}^{{\mathbb {T}}}(P):=\pi _1({\mathbb {T}}\setminus P,*)\cong {\mathfrak {G}}(P)\), and we denote by \({\mathfrak {Q}}^{{\mathbb {T}}}_{{\mathfrak {C}}}(P)\subseteq {\mathfrak {G}}^{{\mathbb {T}}}(P)\) the subset corresponding to \({\mathfrak {Q}}_{{\mathfrak {C}}}(P)\subset {\mathfrak {G}}(P)\).

Suppose now that we have a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and two contractible subspaces \({\mathbb {T}},{\mathbb {T}}_1\subset {\mathbb {C}}\) satisfying the following properties:

  • \(*\in {\mathbb {T}}_1\subset {\mathbb {T}}\);

  • \({\mathcal {X}}\subset \mathring{{\mathbb {T}}}\);

  • \({\mathcal {X}}\) splits as a disjoint union \({\mathcal {X}}_1\sqcup {\mathcal {X}}_2\), with \({\mathcal {X}}_1\subset \mathring{{\mathbb {T}}}_1\) and \({\mathcal {X}}_2\) contained in the interior of \({\mathbb {T}}\setminus {\mathbb {T}}_1\).

Denote by \({\mathcal {Y}}_1={\mathcal {Y}}\cap {\mathcal {X}}_1\) and by \({\mathfrak {C}}_1\) the nice couple \(({\mathcal {X}}_1,{\mathcal {Y}}_1)\); then every finite subset \(P\subset {\mathcal {X}}\) decomposes as a union of \(P_1=P\cap {\mathcal {X}}_1\) and \(P_2=P\cap {\mathcal {X}}_2\); moreover the inclusion \({\mathbb {T}}_1\setminus P_1\hookrightarrow {\mathbb {T}}\setminus P\) induces an inclusion of PMQ-group pairs

$$\begin{aligned} \iota _{{\mathbb {T}}_1}^{{\mathbb {T}}}(P_1,P):({\mathfrak {Q}}_{{\mathfrak {C}}_1}^{{\mathbb {T}}_1}(P_1),{\mathfrak {G}}^{{\mathbb {T}}_1}(P_1))\hookrightarrow ({\mathfrak {Q}}_{{\mathfrak {C}}}^{{\mathbb {T}}}(P),{\mathfrak {G}}^{{\mathbb {T}}}(P)), \end{aligned}$$

and if \((\varphi ,\psi ):({\mathfrak {Q}}_{{\mathfrak {C}}}^{{\mathbb {T}}}(P),{\mathfrak {G}}^{{\mathbb {T}}}(P))\rightarrow ({\mathcal {Q}},G)\) is a map of PMQ-group pairs, we can consider the restriction \((\varphi ,\psi )\circ \iota ^{{\mathbb {T}}}_{{\mathbb {T}}_1}(P_1,P):({\mathfrak {Q}}_{{\mathfrak {C}}_1}^{{\mathbb {T}}_1}(P_1),{\mathfrak {G}}^{{\mathbb {T}}}(P_1))\rightarrow ({\mathcal {Q}},G)\).

Definition 3.15

The above construction gives a map of sets

$$\begin{aligned} {\mathfrak {i}}_{{\mathbb {T}}_1}^{{\mathbb {T}}}:\text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ^{{\mathbb {T}}_1}({\mathfrak {C}}_1;{\mathcal {Q}},G), \end{aligned}$$

defined by sending \({\mathfrak {c}}=(P,\psi ,\varphi )\) to \({\mathfrak {c}}'=(P',\psi ',\varphi ')\), where \(P'=P_1=P\cap {\mathbb {T}}_1\) and \((\psi ',\varphi ')=(\varphi ,\psi )\circ \iota ^{{\mathbb {T}}}_{{\mathbb {T}}_1}(P_1,P)\). See Fig. 5.

Fig. 5
figure 5

On left: a contractible subspace \({\mathbb {T}}_1\subset {\mathbb {C}}\); a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) decomposing as a disjoint union \({\mathfrak {C}}_1\sqcup {\mathfrak {C}}_2\), with \({\mathfrak {C}}_1\subset \mathring{{\mathbb {T}}}_1\) and \({\mathfrak {C}}_2\) contained in the interior of \({\mathbb {C}}\setminus {\mathbb {T}}_1\); and a configuration \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\). On right, the image of \({\mathfrak {i}}^{{\mathbb {C}}}_{{\mathbb {T}}_1}({\mathfrak {c}})\) in \(\text {Hur} ^{{\mathbb {T}}_1}({\mathfrak {C}}_1;{\mathcal {Q}},G)\)

To prove that \({\mathfrak {i}}_{{\mathbb {T}}_1}^{{\mathbb {T}}}\) is continuous, let \({\mathfrak {c}}\) and \({\mathfrak {c}}'\) be as in Definition 3.15 and choose an adapted covering \(\underline{U}'\subset {\mathbb {T}}\) of \(P'\) with respect to the nice couple \({\mathfrak {C}}_1\); since \(P_2\) is contained in the interior of \({\mathbb {T}}\setminus {\mathbb {T}}_1\), we can extend \(\underline{U}'\) to an adapted covering of P with respect to the nice couple \({\mathfrak {C}}\), by adjoining open sets contained in \({\mathbb {T}}\setminus {\mathbb {T}}_1\subset {\mathbb {C}}\) and covering \(P_2\). We then have that \({\mathfrak {i}}_{{\mathbb {T}}_1}^{{\mathbb {T}}}\) sends \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\subset \text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\) inside \({\mathfrak {U}}({\mathfrak {c}}';\underline{U}')\subset \text {Hur} ^{{\mathbb {T}}_1}({\mathfrak {C}}_1;{\mathcal {Q}},G)\).

Note also that the canonical homeomorphism from Definition 3.14 can be rewritten as \({\mathfrak {i}}^{{\mathbb {C}}}_{{\mathbb {T}}}:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\cong \text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\).

Consider now the following setting. Let \({\mathbb {T}}_1,{\mathbb {T}}_2\) be contractible subspaces of \({\mathbb {C}}\) containing \(*\), such that \({\mathbb {T}}_1\cap {\mathbb {T}}_2\) and \({\mathbb {T}}:={\mathbb {T}}_1\cup {\mathbb {T}}_2\), are contractible. Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple of subspaces of \(\mathring{{\mathbb {T}}}\), and assume that we have a splitting \({\mathfrak {C}}={\mathfrak {C}}_1\sqcup {\mathfrak {C}}_2=({\mathcal {X}}_1,{\mathcal {Y}}_1)\sqcup ({\mathcal {X}}_2,{\mathcal {Y}}_2)\), with \({\mathcal {X}}_1\subseteq \mathring{{\mathbb {T}}}_1\setminus {\mathbb {T}}_2\) and \({\mathcal {X}}_2\subseteq \mathring{{\mathbb {T}}}_2\setminus {\mathbb {T}}_1\). Given \({\mathfrak {c}}_1=(P_1,\psi _1,\varphi _1)\in \text {Hur} ^{{\mathbb {T}}_1}({\mathfrak {C}}_1;{\mathcal {Q}},G)\) and \({\mathfrak {c}}_2=(P_2,\psi _2,\varphi _2)\in \text {Hur} ^{{\mathbb {T}}_1}({\mathfrak {C}}_1;{\mathcal {Q}},G)\), we can define a new configuration \((P,\varphi ,\psi )\in \text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\) as follows:

  • \(P=P_1\cup P_2\);

  • by the theorem of Seifert and van Kampen the group \({\mathfrak {G}}^{{\mathbb {T}}}(P)\) decomposes naturally as a free product \({\mathfrak {G}}^{{\mathbb {T}}_1}(P_1)\star {\mathfrak {G}}^{{\mathbb {T}}_2}(P_2)\); we define \(\varphi :{\mathfrak {G}}^{{\mathbb {T}}}(P)\rightarrow G\) as \(\varphi _1\star \varphi _2\);

  • the inclusions \({\mathfrak {G}}^{{\mathbb {T}}_1}(P_1)\subset {\mathfrak {G}}^{{\mathbb {T}}}(P)\) and \({\mathfrak {G}}^{{\mathbb {T}}_2}(P_2)\subset {\mathfrak {G}}^{{\mathbb {T}}}(P)\) restrict to inclusions \({\mathfrak {Q}}^{{\mathbb {T}}_1}_{{\mathfrak {C}}_1}(P_1)\subset {\mathfrak {Q}}^{{\mathbb {T}}}_{{\mathfrak {C}}}(P)\) and \({\mathfrak {Q}}^{{\mathbb {T}}_2}_{{\mathfrak {C}}_2}(P_2)\subset {\mathfrak {Q}}^{{\mathbb {T}}}_{{\mathfrak {C}}}(P)\); using [3, Theorem 3.3] we define \(\psi :{\mathfrak {Q}}^{{\mathbb {T}}}_{{\mathfrak {C}}}(P)\rightarrow G\) by imposing that it restricts to \(\psi _1\) on \({\mathfrak {Q}}^{{\mathbb {T}}_1}_{{\mathfrak {C}}_1}(P_1)\) and to \(\psi _2\) on \({\mathfrak {Q}}^{{\mathbb {T}}_2}_{{\mathfrak {C}}_2}(P_2)\), and that \((\psi ,\varphi ):({\mathfrak {G}}^{{\mathbb {T}}}(P),{\mathfrak {Q}}^{{\mathbb {T}}}_{{\mathfrak {C}}}(P))\rightarrow ({\mathcal {Q}},G)\) is a map of PMQ-group pairs.

Definition 3.16

The above construction gives a map of sets

$$\begin{aligned} -\sqcup -:\text {Hur} ^{{\mathbb {T}}_1}({\mathfrak {C}}_1;{\mathcal {Q}},G)\times \text {Hur} ^{{\mathbb {T}}_2}({\mathfrak {C}}_2;{\mathcal {Q}},G)\rightarrow \text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G). \end{aligned}$$

To prove that \(-\sqcup -\) is continuous, note that if \(\underline{U}_1\subset \mathring{{\mathbb {T}}}_1\) is an adapted covering of \(P_1\) with respect to \({\mathfrak {C}}_1\), and \(\underline{U}_2\subset \mathring{{\mathbb {T}}}_2\) is an adapted covering of \(P_2\) with respect to \({\mathfrak {C}}_2\), then \(-\sqcup -\) restricts to a bijection between \({\mathfrak {U}}({\mathfrak {c}}_1,\underline{U}_1)\times {\mathfrak {U}}({\mathfrak {c}}_2,\underline{U}_2)\) and \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\), where \(\underline{U}=\underline{U}_1\cup \underline{U}_2\subset \mathring{{\mathbb {T}}}\) is also an adapted covering of P. This argument shows in fact that \(-\sqcup -\) is a homeomorphism, with inverse given by the map

$$\begin{aligned} \left( {\mathfrak {i}}^{{\mathbb {T}}}_{{\mathbb {T}}_1},{\mathfrak {i}}^{{\mathbb {T}}}_{{\mathbb {T}}_2}\right) :\text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ^{{\mathbb {T}}_1}({\mathfrak {C}}_1;{\mathcal {Q}},G)\times \text {Hur} ^{{\mathbb {T}}_2}({\mathfrak {C}}_2;{\mathcal {Q}},G). \end{aligned}$$

4 Functoriality

The construction of the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) depends on a nice couple \({\mathfrak {C}}\) and a PMQ-group pair \(({\mathcal {Q}},G)\). In this section we study how maps of PMQ-group pairs and maps of nice couples induce maps on the corresponding Hurwitz–Ran spaces.

4.1 Functoriality in the PMQ-group pair

In this subsection we fix a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) as in Definition 2.3 and prove the following theorem.

Theorem 4.1

The assignment \(({\mathcal {Q}},G)\mapsto \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) extends to a functor from the category of PMQ-group pairs to the category of topological spaces.

Proof

Let \(({\mathcal {Q}},G)\) and \(({\mathcal {Q}}',G')\) be two PMQ-group pairs, and let \((\Psi ,\Phi ):({\mathcal {Q}},G)\rightarrow ({\mathcal {Q}}',G')\) be a morphism of PMQ-group pairs. In the following we define an induced map \((\Psi ,\Phi )_*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\).

Given a configuration \({\mathfrak {c}}=(P,\psi ,\varphi )\) in the set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), we associate with it the configuration \({\mathfrak {c}}'=(P,\psi ',\varphi ')\) in the set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\), where the map of PMQ-group pairs \((\psi ',\varphi '):({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\rightarrow ({\mathcal {Q}}',G')\) is the composition \((\Psi ,\Phi )\circ (\psi ,\varphi )\):

figure b

We obtain a map of sets \((\Psi ,\Phi )_*=\text {Hur} ({\mathfrak {C}};\Psi ,\Phi ):\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\). To show that \((\Psi ,\Phi )_*\) is continuous, let \({\mathfrak {c}}'=(P',\psi ',\varphi ')\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\) and let \({\mathfrak {U}}({\mathfrak {c}}',\underline{U}')\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\) be the normal neighbourhood associated with an adapted covering \(\underline{U}'\) of \(P'\) (see Definition 3.7). Then the preimage of \({\mathfrak {U}}({\mathfrak {c}}',\underline{U}')\) along \((\Psi ,\Phi )_*\) is the disjoint union \(\coprod _{\mathfrak {c}}{\mathfrak {U}}({\mathfrak {c}},\underline{U}')\), where \({\mathfrak {c}}\) ranges over all configurations in the fibre \((\Psi ,\Phi )_*^{-1}({\mathfrak {c}}')\); in particular it is an open set.

The assignment \((\Psi ,\Phi )\mapsto (\Psi ,\Phi )_*\) makes \(\text {Hur} ({\mathfrak {C}};-)\) into a functor from the category \({\textbf {PMQGrp}} \) of PMQ-group pairs to the category \({\textbf {Top}} \) of topological spaces. \(\square \)

Note also that if \((\Psi ,\Phi )\) is an injective map of PMQ-group pairs, then it induces an inclusion of spaces \( (\Psi ,\Phi )_*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\hookrightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\), i.e. \((\Psi ,\Phi )_*\) is a homeomorphism onto its image. In particular we can take \({\mathcal {Q}}'=\hat{{\mathcal {Q}}}\) to be the completion of \({\mathcal {Q}}\), and consider the inclusion of PMQ-group pairs \(({\mathcal {Q}},G)\subset (\hat{{\mathcal {Q}}},G)\), yielding an inclusion of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) into the Hurwitz–Ran space \(\text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) associated with a PMQ-group pair consisting of a complete PMQ and a group. We further notice that the inclusion \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\subset \text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) is open: given \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) and an adapted covering \(\underline{U}\) of \(\varepsilon ({\mathfrak {c}})\), the normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) is mapped bijectively onto the corresponding normal neighbourhood \({\mathfrak {U}}'({\mathfrak {c}};\underline{U})\subset \text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\).

Another consequence of the functoriality in the PMQ-group pair is the following. For all PMQ-group pairs \(({\mathcal {Q}},G)\) there is a unique inclusion of PMQ-group pairs \((\mathbb {1},\mathbb {1})\hookrightarrow ({\mathcal {Q}},G)\) (see Notation 3.11). This induces an inclusion \(\text {Hur} ({\mathfrak {C}};\mathbb {1},\mathbb {1})\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), and using the homeomorphism \(\varepsilon :\text {Hur} ({\mathfrak {C}};\mathbb {1},\mathbb {1})\cong \text {Ran} ({\mathfrak {C}})\) (see Definition 3.10), we obtain a natural inclusion \(\text {Ran} ({\mathfrak {C}})\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), for all nice couples \({\mathfrak {C}}\) and all PMQ-group pairs \(({\mathcal {Q}},G)\). Viceversa, we can consider the map \(\varepsilon :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Ran} ({\mathfrak {C}})\) as the map \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}};\mathbb {1},\mathbb {1})\) induced by the unique map of PMQ-group pairs \(({\mathcal {Q}},G)\rightarrow (\mathbb {1},\mathbb {1})\).

4.2 Two categories of nice couples

We now fix a PMQ-group pair \(({\mathcal {Q}},G)\) throughout the rest of the section. To discuss functoriality of Hurwitz–Ran spaces in the nice couple \({\mathfrak {C}}\), we first need a good notion of map between nice couples.

Definition 4.2

Recall Definition 2.3, and let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and \({\mathfrak {C}}'=({\mathcal {X}}',{\mathcal {Y}}')\) be two nice couples. A morphism of nice couples \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) is a continuous, pointed map \(\xi :({\mathbb {C}},*)\rightarrow ({\mathbb {C}},*)\) such that the following properties hold:

  1. (1)

    \(\xi \) is semi-algebraic and proper from \({\mathbb {C}}\) to \({\mathbb {C}}\);

  2. (2)

    \(\xi \) is orientation-preserving in the sense that the induced map \(\xi ^*:H^2_{c}({\mathbb {C}})\rightarrow H^2_{c}({\mathbb {C}})\) in cohomology with compact support is the identity;

  3. (3)

    \(\xi \) restricts to maps \({\mathcal {X}}\rightarrow {\mathcal {X}}'\) and \({\mathcal {Y}}\rightarrow {\mathcal {Y}}'\);

  4. (4)

    for all \(z\in {\mathbb {C}}\) the fibre \(\xi ^{-1}(z)\subset {\mathbb {C}}\) is non-empty, compact and contractible;

  5. (5)

    for all \(z\in {\mathcal {X}}'\setminus {\mathcal {Y}}'\) the fibre \(\xi ^{-1}(z)\) contains at most one point of \({\mathcal {X}}\setminus {\mathcal {Y}}\).

The composition of two morphisms \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) and \(\xi ':{\mathfrak {C}}'\rightarrow {\mathfrak {C}}''\) is defined as the composition of maps \(\xi '\circ \xi :({\mathbb {C}},*)\rightarrow ({\mathbb {C}},*)\). We denote by \({\textbf {NC}} \) the category of nice couples and morphisms of nice couples.

Property (4) ensures that a morphism \(\xi \) of nice couples is in particular a local homotopy equivalence in the following sense: if \({\mathbb {J}}\subset {\mathbb {C}}\) is a semi-algebraic set, then the restriction \(\xi :\xi ^{-1}({\mathbb {J}})\rightarrow {\mathbb {J}}\) is a homotopy equivalence; more generally, if \({\mathbb {J}}\subset {\mathbb {J}}'\subset {\mathbb {C}}\) are two semi-algebraic sets, then \(\xi :(\xi ^{-1}({\mathbb {J}}),\xi ^{-1}({\mathbb {J}}'))\rightarrow ({\mathbb {J}},{\mathbb {J}}')\) is a homotopy equivalence of couples. This follows from the main theorem of [9].

The previous remark holds in particular when \({\mathbb {J}}=(\xi ')^{-1}(z)\) is a fibre of another morphism of nice couples \(\xi '\), over some point \(z\in {\mathbb {C}}\): thus the composition \(\xi \circ \xi '\) also satisfies property (4) of Definition 4.2; properties (1),(2),(3) and (5) are also automatically satisfied by the composition \(\xi \circ \xi '\). This proves in particular that Definition 4.2 is a good definition. We will sometimes need to relax condition (5) in Definition 4.2, hence we give the following definition.

Definition 4.3

Let \({\mathfrak {C}}\) and \({\mathfrak {C}}'\) be nice couples as in Definition 4.2. A lax morphism of nice couples is a map \(\xi :({\mathbb {C}},*)\rightarrow ({\mathbb {C}},*)\) satisfying all conditions in Definition 4.2 except, possibly, condition (5). We denote by \({\textbf {LNC}} \) the category of nice couples and lax morphisms of nice couples.

Note that \({\textbf {NC}} \) is a subcategory of \({\textbf {LNC}} \) containing all objects, but not all morphisms. Whenever we refer to a morphism of nice couples without specifying the word “lax”, we will assume that condition (5) in Definition 4.2 holds.

We conclude the subsection with the following remark: if \(D'\subset {\mathbb {C}}\) is a subspace homeomorphic to a disc and \(\xi :({\mathbb {C}},*)\rightarrow ({\mathbb {C}},*)\) satisfies properties (1),(2) and (4) from Definition 4.2, then also \(\xi ^{-1}(D')\) is homeomorphic to a disc.

4.3 Functoriality in \({\textbf {NC}} \)

In this subsection we prove the following theorem

Theorem 4.4

The assignment \({\mathfrak {C}}\mapsto \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) extends to a functor from the category \({\textbf {NC}} \) to the category of topological spaces.

Fix two nice couples \({\mathfrak {C}}\) and \({\mathfrak {C}}'\) and let \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) be a morphism of nice couples. In the following we construct an induced map \(\xi _*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\).

Given a configuration \({\mathfrak {c}}=(P,\psi ,\varphi )\) in the set \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), we associate with it a configuration \({\mathfrak {c}}'=(P',\psi ',\varphi ')\) in the set \(\text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\) as follows. First, we define \(P':=\xi (P)\in \text {Ran} ({\mathcal {X}}')\). To define \(\varphi '\), note that \(\xi \) restricts to a homotopy equivalence \({\mathbb {C}}\setminus \xi ^{-1}(P')\rightarrow {\mathbb {C}}\setminus P\); in particular we obtain an isomorphism of groups \({\mathfrak {G}}(P')\cong \pi _1\left( {\mathbb {C}}{\setminus }\xi ^{-1}(P'),*\right) \). Moreover the inclusion \({\mathbb {C}}\setminus \xi ^{-1}(P')\hookrightarrow {\mathbb {C}}\setminus P\) induces a map of groups \(\pi _1\left( C\setminus \xi ^{-1}(P'),*\right) \rightarrow {\mathfrak {G}}(P)\). We denote by \(\xi ^*:{\mathfrak {G}}(P')\rightarrow {\mathfrak {G}}(P)\) the composition \({\mathfrak {G}}(P')\cong \pi _1\left( {\mathbb {C}}\setminus \xi ^{-1}(P'),*\right) \rightarrow {\mathfrak {G}}(P)\), and define \(\varphi ':{\mathfrak {G}}(P')\rightarrow G\) as the composition \(\varphi \circ \xi ^*\).

Lemma 4.5

The map of groups \(\xi ^*:{\mathfrak {G}}(P')\rightarrow {\mathfrak {G}}(P)\) restricts to a map of PMQs \({\mathfrak {Q}}_{{\mathfrak {C}}'}(P')\rightarrow {\mathfrak {Q}}_{{\mathfrak {C}}}(P)\).

Fig. 6
figure 6

On left, a configuration \({\mathfrak {c}}\in \text {Hur} ({\mathcal {X}},{\mathcal {Y}},{\mathcal {Q}},G)\); on right, its image \({\mathfrak {c}}'\in \text {Hur} ({\mathcal {X}}',{\mathcal {Y}}';{\mathcal {Q}},G)\) along the map \(\xi _*\) induced by a morphism of nice couples \(\xi \). The morphism \(\xi \) has the effect of collapsing horizontally a rectangular region of \({\mathcal {X}}\) onto the vertical segment \({\mathcal {Y}}'\), and of expanding horizontally the complement of this rectangular region. The thick horizontal segment is the preimage along \(\xi \) of \(\xi (z_2)=\xi (z_3)\). The dashed loop on left is the image of the dashed loop on right along \(\xi ^*\)

The proof of Lemma 4.5 is in Sect. A.4 of the appendix. We can now define \(\psi ':=\psi \circ \xi ^*:{\mathfrak {Q}}_{{\mathfrak {C}}'}(P')\rightarrow {\mathcal {Q}}\). Since \(\xi ^*:({\mathfrak {Q}}_{{\mathfrak {C}}'}(P'),{\mathfrak {G}}(P'))\rightarrow ({\mathfrak {Q}}_{{\mathfrak {C}}}(P),{\mathfrak {G}}(P))\) is a map of PMQ-group pairs, also \((\psi ',\varphi ')=(\psi ,\varphi )\circ \xi ^*\) is a map of PMQ-group pairs; hence \({\mathfrak {c}}'=(P',\psi ',\varphi ')\) is a well-defined configuration in \(\text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\). This construction gives a map of sets \(\xi _*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\); see Fig. 6.

Proof of Theorem 4.4

It is left to check that the map \(\xi _*\) constructed above is continuous. Let \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), denote \({\mathfrak {c}}'=\xi _*({\mathfrak {c}})\), and use Notation 3.6; let \({\mathfrak {U}}({\mathfrak {c}}',\underline{U}')\subset \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\) be a normal neighbourhood associated with an adapted covering \(\underline{U}'\) of \(P'\). We have \(\xi (P)\subset \underline{U}'\), hence we can find an adapted covering \(\underline{U}\) of P, such that \(\xi (\underline{U})\subset \underline{U}'\). Then the entire normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\subseteq \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) is mapped along \(\xi _*\) inside \({\mathfrak {U}}({\mathfrak {c}}',\underline{U}')\). Thus sending \(\xi \mapsto \xi _*\) makes \(\text {Hur} (-;{\mathcal {Q}},G)\) into a functor from \({\textbf {NC}} \) to \({\textbf {Top}} \). \(\square \)

Note that if \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and \({\mathfrak {C}}'=({\mathcal {X}}',{\mathcal {Y}}')\) are two nice couples, and if \({\mathcal {X}}\subseteq {\mathcal {X}}'\), \({\mathcal {Y}}\subseteq {\mathcal {Y}}'\) and \({\mathcal {Y}}={\mathcal {X}}\cap {\mathcal {Y}}'\), then \({{\,\textrm{Id}\,}}_{{\mathbb {C}}}\) is a morphism of nice couples \({\mathfrak {C}}\rightarrow {\mathfrak {C}}'\). The induced map \(({{\,\textrm{Id}\,}}_{{\mathbb {C}}})_*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\) is an inclusion of spaces: more precisely, \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) contains all configurations of \(\text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\) supported in \({\mathcal {X}}\).

In particular, given a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\), by Definition 2.3 the space \({\mathcal {Y}}\) is closed in \({\mathcal {X}}\subseteq {\mathbb {H}}\): this means that the closure \(\bar{{\mathcal {Y}}}\) of \({\mathcal {Y}}\) in \({\mathbb {H}}\) is contained in \(\bar{{\mathcal {X}}}\), and \({\mathcal {Y}}={\mathcal {X}}\cap \bar{{\mathcal {Y}}}\). Then \({{\,\textrm{Id}\,}}_{{\mathbb {C}}}\) is a morphism of nice couples \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\rightarrow \bar{{\mathfrak {C}}}:=(\bar{{\mathcal {X}}},\bar{{\mathcal {Y}}})\). Thus every Hurwitz–Ran space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) can be regarded as a subspace of a Hurwitz–Ran space \(\text {Hur} (\bar{{\mathfrak {C}}};{\mathcal {Q}},G)\) associated with a nice couple of closed subspaces of \({\mathbb {H}}\).

4.4 A weak form of enriched functoriality

One can consider \({\textbf {NC}} \) as a category enriched in topological spaces: for all nice couples \({\mathfrak {C}}\) and \({\mathfrak {C}}'\) one can consider the compact-open topology on the set of morphisms \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\), considered as a subset of all continuous maps \(\xi :{\mathbb {C}}\rightarrow {\mathbb {C}}\). The functor \(\text {Hur} (-;{\mathcal {Q}},G)\) is then likely to be a \({\textbf {Top}} \)-enriched functor from \({\textbf {NC}} \) to \({\textbf {Top}} \). We will not attempt to prove this property in general, and we will restrict our attention to the following proposition.

Proposition 4.6

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and \({\mathfrak {C}}'=({\mathcal {X}}',{\mathcal {Y}}')\) be nice couples and let \(({\mathcal {Q}},G)\) be a PMQ-group pair. Let \({\mathcal {S}}\) be a topological space, and let \({\mathcal {H}}:{\mathbb {C}}\times {\mathcal {S}}\rightarrow {\mathbb {C}}\) be a continuous map, such that for all \(s\in {\mathcal {S}}\) the map \({\mathcal {H}}(-,s):{\mathbb {C}}\rightarrow {\mathbb {C}}\) is a morphism of nice couples \({\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) (see Definition 4.2). Let

$$\begin{aligned} {\mathcal {H}}_*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\times {\mathcal {S}}\rightarrow \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\end{aligned}$$

be the map of sets defined by \({\mathcal {H}}_*({\mathfrak {c}},s)=({\mathcal {H}}(-,s))_*({\mathfrak {c}})\). Then \({\mathcal {H}}_*\) is continuous.

Proof

Fix \(({\mathfrak {c}},s)\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\times {\mathcal {S}}\), let \({\mathfrak {c}}'={\mathcal {H}}_*({\mathfrak {c}},s)\) and use Notation 3.6. Let \(\underline{U}'\) be an adapted covering of \(P'\) and let \({\mathfrak {U}}({\mathfrak {c}}',\underline{U}')\subset \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\) be the corresponding normal neighbourhood. By continuity of \({\mathcal {H}}\) we can find a neighbourhood \(V\subset {\mathcal {S}}\) of s and an adapted covering \(\underline{U}\) of P such that \({\mathcal {H}}\) sends \(\underline{U}\times V\) inside \(\underline{U}'\): here we regard \(\underline{U}\) and \(\underline{U}'\) as subsets of \({\mathbb {C}}\). Then \({\mathcal {H}}_*\) sends the product neighbourhood \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\times V\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\times {\mathcal {S}}\) inside \({\mathfrak {U}}({\mathfrak {c}}',\underline{U}')\). \(\square \)

4.5 Functoriality in \({\textbf {LNC}} \)

In this subsection we assume that \({\mathcal {Q}}\) is a complete PMQ (all products are defined), and write \(\hat{{\mathcal {Q}}}={\mathcal {Q}}\) to stress this choice; hence we work with the PMQ-group pair \((\hat{{\mathcal {Q}}},G)\). We prove the following theorem.

Theorem 4.7

The assignment \({\mathfrak {C}}\mapsto \text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) extends to a functor from the category \({\textbf {LNC}} \) to the category of topological spaces.

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple, and let \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\). By Definition 3.5, \(\psi \) is a map of PMQs defined on \({\mathfrak {Q}}(P)\); using the completeness of \(\hat{{\mathcal {Q}}}\), Proposition 2.11 implies the equality \({\mathfrak {Q}}^{\text {ext} }(P)={\mathfrak {Q}}^{\text {ext} }(P)_{\psi }\) (see also Definitions 2.10 and 2.13). Proposition 2.14 yields a map of PMQ-group pairs

$$\begin{aligned} (\psi ^{\text {ext} },\varphi ):({\mathfrak {Q}}^{\text {ext} }(P),{\mathfrak {G}}(P))\rightarrow (\hat{{\mathcal {Q}}},G), \end{aligned}$$

extending \((\psi ,\varphi ):({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\rightarrow (\hat{{\mathcal {Q}}},G)\).

Definition 4.8

We define a set \(\text {Hur} ^{\text {ext} }({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\): it contains triples \({\mathfrak {c}}=(P,\psi ,\varphi )\), where \(P\in \text {Ran} ({\mathcal {X}})\) is a finite subset of \({\mathcal {X}}\), and \((\psi ,\varphi ):({\mathfrak {Q}}^{\text {ext} }(P),{\mathfrak {G}}(P))\rightarrow (\hat{{\mathcal {Q}}},G)\) is a map of PMQ-group pairs.

The previous discussion implies that the sets \(\text {Hur} ^{\text {ext} }({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) and \(\text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) are in natural bijection. We can use this bijection to transfer the topology of \(\text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) to \(\text {Hur} ^{\text {ext} }({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\): in particular, for a configuration \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ^{\text {ext} }({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) and for an adapted covering \(\underline{U}\) of P, the normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\subset \text {Hur} ^{\text {ext} }({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\) contains all configurations \((P',\psi ',\varphi ')\) such that

  • \(P'\subset \underline{U}\); as a consequence there is a natural inclusion of PMQ-group pairs \(({\mathfrak {Q}}(\underline{U}),{\mathfrak {G}}(\underline{U}))\subseteq ({\mathfrak {Q}}(P',\underline{U}),{\mathfrak {G}}(P'))\) (see Definition 2.15);

  • the following composition of maps of PMQ-group pairs is equal to the restriction of \((\psi ,\varphi )\) on the PMQ-group pair \(({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\):

    figure c

Given a lax morphism of nice couples \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\), we can now follow the same procedure used in Sect. 4.3 and define a continuous map \(\xi _*:\text {Hur} ^{\text {ext} }({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\rightarrow \text {Hur} ^{\text {ext} }({\mathfrak {C}}',\hat{{\mathcal {Q}}},G)\). The only difference is that Lemma 4.5 is replaced by the following lemma, whose proof is in Sect. A.5 of the appendix.

Lemma 4.9

Let \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) be a lax morphism of nice couples, let \(P\subset {\mathcal {X}}\) and let \(P'=\xi (P)\subset {\mathcal {X}}'\). Then the map of groups \(\xi ^*:{\mathfrak {G}}(P')\rightarrow {\mathfrak {G}}(P)\) restricts to a map \({\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}'}(P')\rightarrow {\mathfrak {Q}}^{\text {ext} }_{{\mathfrak {C}}}(P)\) of PMQs.

Continuity of \(\xi _*:\text {Hur} ^{\text {ext} }({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\rightarrow \text {Hur} ^{\text {ext} }({\mathfrak {C}}';\hat{{\mathcal {Q}}},G)\) is proved in the same way as in the case of a (non-lax) morphism of nice couples; similarly one can generalise Proposition 4.6 to the following.

Proposition 4.10

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and \({\mathfrak {C}}'=({\mathcal {X}}',{\mathcal {Y}}')\) be nice couples and let \((\hat{{\mathcal {Q}}},G)\) be a PMQ-group pair with \(\hat{{\mathcal {Q}}}\) complete. Let \({\mathcal {S}}\) be a topological space, and let \({\mathcal {H}}:{\mathbb {C}}\times {\mathcal {S}}\rightarrow {\mathbb {C}}\) be a continuous map, such that for all \(s\in {\mathcal {S}}\) the map \({\mathcal {H}}(-,s):{\mathbb {C}}\rightarrow {\mathbb {C}}\) is a lax morphism of nice couples \({\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) (see Definition 4.2). Let

$$\begin{aligned} {\mathcal {H}}_*:\text {Hur} ({\mathfrak {C}};\hat{{\mathcal {Q}}},G)\times {\mathcal {S}}\rightarrow \text {Hur} ({\mathfrak {C}}';\hat{{\mathcal {Q}}},G) \end{aligned}$$

be the map of sets defined by \({\mathcal {H}}_*({\mathfrak {c}},s)=({\mathcal {H}}(-,s))_*({\mathfrak {c}})\). Then \({\mathcal {H}}_*\) is continuous.

5 Applications of functoriality

In this section we apply the results from Sect. 4 to obtain basic information about Hurwitz–Ran spaces; moreover we introduce the operation of external product.

5.1 Product structure for normal neighbourhoods

The first application combines the discussion of Sect. 3.4 with the functoriality with respect to inclusions of nice couples.

Proposition 5.1

Let \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), use Notations 3.6 and 2.6, and let \(\underline{U}\) be an adapted covering of P. Then there exist configurations \({\mathfrak {c}}'_i\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) supported on \(\left\{ z_i\right\} \) and a homeomorphism

$$\begin{aligned} {\mathfrak {U}}({\mathfrak {c}},\underline{U})\cong \prod _{i=1}^k{\mathfrak {U}}({\mathfrak {c}}'_i,U_i). \end{aligned}$$

Proof

We can fix arcs \(\zeta _1,\dots ,\zeta _k\) as in Definition 2.8: the arc \(\zeta _i\) joins \(*\) with a point on \(\partial U_i\). For all \(1\le i\le k\) we define \({\mathbb {T}}_i=\zeta _i\cup {\bar{U}}_i\), \({\mathcal {X}}_i={\mathcal {X}}\cap U_i\) and \({\mathcal {Y}}_i={\mathcal {Y}}\cap U_i\). Let moreover \({\mathbb {T}}=\bigcup _{i=1}^k{\mathbb {T}}_i\), \(\underline{{\mathcal {X}}}=\bigcup _{i=1}^k{\mathcal {X}}_i\) and \(\underline{{\mathcal {Y}}}=\bigcup _{i=1}^k{\mathcal {Y}}_i\). Finally, let \({\mathfrak {C}}_i\) be the nice couple \(({\mathcal {X}}_i,{\mathcal {Y}}_i)\), and let \(\underline{{\mathfrak {C}}}\) be the nice couple \((\underline{{\mathcal {X}}},\underline{{\mathcal {Y}}})\).

We have an open inclusion \(({{\,\textrm{Id}\,}}_{\mathbb {C}})_*:\text {Hur} (\underline{{\mathfrak {C}}};{\mathcal {Q}},G)\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) restricting to a homeomorphism of normal neighbourhoods \({\mathfrak {U}}_{\underline{{\mathfrak {C}}}}({\mathfrak {c}},\underline{U})\cong {\mathfrak {U}}_{{\mathfrak {C}}}({\mathfrak {c}},\underline{U})\). In fact, the normal neighbourhood \({\mathfrak {U}}_{\underline{{\mathfrak {C}}}}({\mathfrak {c}},\underline{U})\) coincides with the entire space \(\text {Hur} (\underline{{\mathfrak {C}}};{\mathcal {Q}},G)\), because \(\underline{{\mathcal {X}}}\) is contained in \(\underline{U}\). Since \(\underline{{\mathfrak {C}}}\) is a nice couple of spaces that are contained in the interior of \({\mathbb {T}}\), we can identify \(\text {Hur} (\underline{{\mathfrak {C}}};{\mathcal {Q}},G)\) with \(\text {Hur} ^{{\mathbb {T}}}(\underline{{\mathfrak {C}}};{\mathcal {Q}},G)\) along \({\mathfrak {i}}^{{\mathbb {C}}}_{{\mathbb {T}}}\). Via the decomposition given in Definition 3.16 we write

$$\begin{aligned} \text {Hur} ^{{\mathbb {T}}}(\underline{{\mathfrak {C}}};{\mathcal {Q}},G)\cong \prod _{i=1}^k \text {Hur} ^{{\mathbb {T}}_i}({\mathfrak {C}}_i;{\mathcal {Q}},G), \end{aligned}$$

where the homeomorphism is given by the product of the maps \({\mathfrak {i}}^{{\mathbb {T}}}_{{\mathbb {T}}_i}\). We thus obtain a homeomorphism \({\mathfrak {U}}_{{\mathfrak {C}}}({\mathfrak {c}};\underline{U})\cong \prod _{i=1}^k \text {Hur} ^{{\mathbb {T}}_i}({\mathfrak {C}}_i;{\mathcal {Q}},G)\).

Let \({\mathfrak {c}}\in {\mathfrak {U}}_{{\mathfrak {C}}}({\mathfrak {c}};\underline{U})\) correspond to the sequence \(({\mathfrak {c}}_1,\dots ,{\mathfrak {c}}_k)\) along the above identification, where \({\mathfrak {c}}_i\in \text {Hur} ^{{\mathbb {T}}_i}({\mathfrak {C}}_i;{\mathcal {Q}},G)\). Note that \({\mathfrak {c}}_i\) is supported on the singleton \(\left\{ z_i\right\} \). We consider the composition of the homeomorphism \(({\mathfrak {i}}^{{\mathbb {C}}}_{{\mathbb {T}}_i})^{-1}:\text {Hur} ^{{\mathbb {T}}_i}({\mathfrak {C}}_i;{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}}_i;{\mathcal {Q}},G)\) with the open inclusion \(({{\,\textrm{Id}\,}}_{\mathbb {C}})_*:\text {Hur} ({\mathfrak {C}}_i;{\mathcal {Q}},G)\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), giving an embedding of \(\text {Hur} ^{{\mathbb {T}}_i}({\mathfrak {C}}_i;{\mathcal {Q}},G)\) in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\). If we denote by \({\mathfrak {c}}'_i=({{\,\textrm{Id}\,}}_{{\mathbb {C}}})_*\circ ({\mathfrak {i}}^{{\mathbb {C}}}_{{\mathbb {T}}_i})^{-1}({\mathfrak {c}}_i)\) the image of \({\mathfrak {c}}_i\) along this embedding, we get a homeomorphism

$$\begin{aligned} ({{\,\textrm{Id}\,}}_{{\mathbb {C}}})_*\circ ({\mathfrak {i}}^{{\mathbb {C}}}_{{\mathbb {T}}_i})^{-1}:\text {Hur} ^{{\mathbb {T}}_i}({\mathfrak {C}}_i;{\mathcal {Q}},G)\cong {\mathfrak {U}}_{{\mathfrak {C}}}({\mathfrak {c}}'_i;U_i)\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G). \end{aligned}$$

\(\square \)

The homeomorphism of Proposition 5.1 depends in general on the arcs \(\zeta _i\).

5.2 Three useful homeomorphisms

In this subsection we prove three homeomorphisms between Hurwitz–Ran spaces. First, let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple and let \(({\mathcal {Q}},G,{\mathfrak {e}},{\mathfrak {r}})\) be a PMQ-group pair. The map of PMQs \({\mathfrak {e}}:{\mathcal {Q}}\rightarrow G\) has an adjoint map of groups \({\mathcal {G}}({\mathfrak {e}}):{\mathcal {G}}({\mathcal {Q}})\rightarrow G\), so that the couple of maps \({{\,\textrm{Id}\,}}_{{\mathcal {Q}}}:{\mathcal {Q}}\rightarrow {\mathcal {Q}}\) and \({\mathcal {G}}({\mathfrak {e}}):{\mathcal {G}}({\mathcal {Q}})\rightarrow G\) yields a map of PMQ-group pairs \(({{\,\textrm{Id}\,}}_{{\mathcal {Q}}},{\mathcal {G}}({\mathfrak {e}})):({\mathcal {Q}},{\mathcal {G}}({\mathcal {Q}}))\rightarrow ({\mathcal {Q}},G)\). By functoriality we obtain a continuous map

$$\begin{aligned} ({{\,\textrm{Id}\,}}_{{\mathcal {Q}}},{\mathcal {G}}({\mathfrak {e}}))_*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},{\mathcal {G}}({\mathcal {Q}}))\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G). \end{aligned}$$

Lemma 5.2

Let \({\mathfrak {C}}\) be a nice couple of the form \(({\mathcal {X}},\emptyset )\); then the above map \(({{\,\textrm{Id}\,}}_{{\mathcal {Q}}},{\mathcal {G}}({\mathfrak {e}}))_*\) is a homeomorphism.

The proof of Lemma 5.2 is in Sect. A.6 of the appendix. Roughly speaking, Lemma 5.2 says that if we consider a nice couple of the form \(({\mathcal {X}},\emptyset )\), then the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) only depends on \({\mathcal {Q}}\): the monodromy \(\psi \) uniquely determines the monodromy \(\varphi \). This motivates the following notation, which can be thought of as an absolute definition of Hurwitz–Ran spaces, whereas the general one, given in Definition 3.5 and depending on a nice couple and a PMQ-group pair, can be considered as the general, relative definition.

Notation 5.3

For a subspace \({\mathcal {X}}\subset {\mathbb {H}}\) and a PMQ \({\mathcal {Q}}\) we denote by \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) the space \(\text {Hur} ({\mathcal {X}},\emptyset ;{\mathcal {Q}},{\mathcal {G}}({\mathcal {Q}}))\). A configuration \({\mathfrak {c}}\in \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) is usually presented as \((P,\psi )\) instead of \((P,\psi ,\varphi )\) as in Notation 3.6, since \(\varphi \) is uniquely determined by \(\psi \).

For the second homeomorphism, let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be any nice couple, and consider the PMQ-group pair (GG), where G is considered as a PMQ with full product, the first G maps to the second G by \({{\,\textrm{Id}\,}}_G\) and the second G acts on the first G by right conjugation. Then \({{\,\textrm{Id}\,}}_{{\mathbb {C}}}\) is a morphism of nice couples \(({\mathcal {X}},{\mathcal {Y}})\rightarrow ({\mathcal {X}},{\mathcal {X}})\). By functoriality we obtain a continuous map

$$\begin{aligned} ({{\,\textrm{Id}\,}}_{{\mathbb {C}}})_*:\text {Hur} ({\mathfrak {C}};G,G)\rightarrow \text {Hur} ({\mathcal {X}},{\mathcal {X}};G,G). \end{aligned}$$

Lemma 5.4

The above map \(({{\,\textrm{Id}\,}}_{{\mathbb {C}}})_*\) is a homeomorphism.

The proof of Lemma 5.4 is in Sect. A.7 of the appendix.

For the third homeomorphism, let \(({\mathcal {Q}},G)\) be any PMQ-group pair and let \({\mathfrak {C}}\) be a nice couple of the form \(({\mathcal {X}},{\mathcal {X}})\); then for all finite subset \(P\subset {\mathcal {X}}\) we have \({\mathfrak {Q}}_{{\mathfrak {C}}}(P)=\left\{ \mathbb {1}\right\} \); in particular for all \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) we have that \(\psi :{\mathfrak {Q}}_{{\mathfrak {C}}}(P)\rightarrow {\mathcal {Q}}\) is the trivial map of PMQs: roughly speaking, this means that we can replace \({\mathcal {Q}}\) by another PMQ fitting with G into a PMQ-group pair, without changing the topology of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\). For instance we can consider the map of PMQ-group pairs \(({\mathfrak {e}},{{\,\textrm{Id}\,}}_G):({\mathcal {Q}},G)\rightarrow (G,G)\), thus replacing \({\mathcal {Q}}\) by G. We obtain the following lemma.

Lemma 5.5

For all \({\mathcal {X}}\subset {\mathbb {H}}\) and all PMQ-group pair \(({\mathcal {Q}},G)\) the following map is a homeomorphism

$$\begin{aligned} ({\mathfrak {e}},{{\,\textrm{Id}\,}}_G)_*:\text {Hur} ({\mathcal {X}},{\mathcal {X}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathcal {X}},{\mathcal {X}};G,G). \end{aligned}$$

Using Lemmas 5.2, 5.4 and 5.5, we can simplify our notation for Hurwitz–Ran spaces \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\) whenever one of the following conditions is satisfied:

  • \({\mathcal {Y}}=\emptyset \), then we identify \(\text {Hur} ({\mathcal {X}},\emptyset ;{\mathcal {Q}},G)\cong \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\);

  • \({\mathcal {Y}}={\mathcal {X}}\), then we identify \(\text {Hur} ({\mathcal {X}},{\mathcal {X}};{\mathcal {Q}},G)\cong \text {Hur} ({\mathcal {X}},{\mathcal {X}};G,G)\cong \text {Hur} ({\mathcal {X}};G)\);

  • \({\mathcal {Q}}=G\), then we identify \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};G,G)\cong \text {Hur} ({\mathcal {X}},{\mathcal {X}};G,G)\cong \text {Hur} ({\mathcal {X}};G)\).

5.3 Functoriality and change of ambient space

Recall Definition 3.14, let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and \({\mathfrak {C}}'=({\mathcal {X}}',{\mathcal {Y}}')\) be two nice couples, and let \({\mathbb {T}}\) and \({\mathbb {T}}'\) be two contractible semi-algebraic subspaces of \({\mathbb {C}}\) containing \(*\), such that \({\mathcal {X}}\subset \mathring{{\mathbb {T}}}\) and \({\mathcal {X}}'\subset \mathring{{\mathbb {T}}}'\).

Let \(\xi :({\mathbb {T}},*)\rightarrow ({\mathbb {T}},*)\) be a semi-algebraic homeomorphism restricting to an orientation-preserving homeomorphism \(\xi :\mathring{{\mathbb {T}}}\rightarrow \mathring{{\mathbb {T}}}'\), and to maps \(\xi :{\mathcal {X}}\rightarrow {\mathcal {X}}'\) and \(\xi :{\mathcal {Y}}\rightarrow {\mathcal {Y}}'\) (we restrict to the case of a homeomorphism for simplicity, but any map \(\xi \) satisfying a suitable analogue of conditions (1)-(5) in Definition 4.2 may be used).

We define an induced map \(\xi _*:\text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ^{{\mathbb {T}}'}({\mathfrak {C}}';{\mathcal {Q}},G)\). Given a configuration \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\), we define \({\mathfrak {c}}'=\xi _*({\mathfrak {c}})=(P',\psi ',\varphi ')\in \text {Hur} ^{{\mathbb {T}}'}({\mathfrak {C}}';{\mathcal {Q}},G)\) as follows:

  • \(P'=\xi (P)\); note that \(\xi \) restricts to a homeomorphism \({\mathbb {T}}\setminus P\rightarrow {\mathbb {T}}'\setminus P'\);

  • \((\psi ',\varphi '):({\mathfrak {Q}}^{{\mathbb {T}}'}_{{\mathfrak {C}}'}(P')\rightarrow ({\mathcal {Q}},G)\) is the following composition of maps of PMQ-group pairs

    figure d

The same arguments used in Sect. 4.3 show that \(\xi _*\) is continuous. In the next articles of this series we will use this fact in the particular case in which \(\xi \) restricts also to homeomorphisms \({\mathcal {X}}\rightarrow {\mathcal {X}}'\) and \({\mathcal {Y}}\rightarrow {\mathcal {Y}}'\): then we can use the inverse homeomorphism \(\xi ^{-1}:{\mathbb {T}}'\rightarrow {\mathbb {T}}\) to define a map \((\xi ^{-1})_*:\text {Hur} ^{{\mathbb {T}}'}({\mathfrak {C}}';{\mathcal {Q}},G)\rightarrow \text {Hur} ^{{\mathbb {T}}}({\mathfrak {C}};{\mathcal {Q}},G)\). The maps \(\xi _*\) and \((\xi ^{-1})_*\) are inverse homeomorphism, and we obtain in particular the following proposition.

Proposition 5.6

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and \({\mathfrak {C}}'=({\mathcal {X}}',{\mathcal {Y}}')\) be nice couples, and let \({\mathbb {T}},{\mathbb {T}}'\subset {\mathbb {C}}\) be contractible semi-algebraic subspaces containing \(*\), with \({\mathcal {X}}\subset \mathring{{\mathbb {T}}}\) and \({\mathcal {X}}'\subset \mathring{{\mathbb {T}}}'\). Let \(\xi :{\mathbb {C}}\rightarrow {\mathbb {C}}\) be a map inducing a morphism of nice couples \({\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) and restricting to homeomorphisms \({\mathbb {T}}\cong {\mathbb {T}}'\), \({\mathcal {X}}\cong {\mathcal {X}}'\) and \({\mathcal {Y}}\cong {\mathcal {Y}}'\). Then the map \(\xi _*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}}',{\mathcal {Q}},G)\) is a homeomorphism.

5.4 External products of Hurwitz–Ran spaces

In this subsection we fix a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) and two PMQ-group pairs \(({\mathcal {Q}},G)\) and \(({\mathcal {Q}}',G')\).

Definition 5.7

Recall from [3, Definition 2.16] the explicit description of the (categorical) product of two PMQ-group pairs. We define an external product

$$\begin{aligned} -\times -:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\times \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\rightarrow \text {Hur} ({\mathfrak {C}};({\mathcal {Q}},G)\times ({\mathcal {Q}}',G')). \end{aligned}$$

Let \(({\mathfrak {c}},{\mathfrak {c}}')\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\times \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G')\), and use Notation 3.6. We define \({\mathfrak {c}}\times {\mathfrak {c}}'\) as the configuration \((P'',\psi '',\varphi '')\in \text {Hur} ({\mathfrak {C}};({\mathcal {Q}},G)\times ({\mathcal {Q}}',G'))\), where:

  • \(P''=P\cup P'\subset {\mathcal {X}}\);

  • \((\psi '',\varphi ''):({\mathfrak {Q}}(P''),{\mathfrak {G}}(P''))\rightarrow ({\mathcal {Q}},G)\times ({\mathcal {Q}}',G)\) is the map of PMQ-group pairs given by \(\left( (\psi ,\varphi )\circ {\mathfrak {i}}^{P''}_P,(\psi ',\varphi ')\circ {\mathfrak {i}}^{P''}_{P'}\right) \) (see Notation 2.17).

Proposition 5.8

The external product \(-\times -\) from Definition 5.7 is continuous. Denoting \(p:({\mathcal {Q}},G)\times ({\mathcal {Q}}',G')\rightarrow ({\mathcal {Q}},G)\) and \(p':({\mathcal {Q}},G)\times ({\mathcal {Q}}',G')\rightarrow ({\mathcal {Q}}',G')\) the projections, we have that \(-\times -\) is a retraction of the map

$$\begin{aligned} (p_*,p'_*):\text {Hur} ({\mathfrak {C}};({\mathcal {Q}},G)\times ({\mathcal {Q}}',G')) \rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\times \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G'). \end{aligned}$$

Proof

Let \({\mathfrak {c}},{\mathfrak {c}}',{\mathfrak {c}}''\) be as in Definition 5.7, and let \(\underline{U}''\) be an adapted covering of \(P''\). Then we can obtain an adapted covering \(\underline{U}\) of P (respectively, \(\underline{U}'\) of \(P'\)) by selecting the components of \(\underline{U}''\) containing one point of P (respectively, of \(P'\)). We note that the product of normal neighbourhoods \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\times {\mathfrak {U}}({\mathfrak {c}}',\underline{U}')\) is mapped by the external product inside \({\mathfrak {U}}({\mathfrak {c}}'',\underline{U}'')\): this shows continuity of the external product.

For the second statement, let \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}};({\mathcal {Q}},G)\times ({\mathcal {Q}}',G'))\): then both \(p_*({\mathfrak {c}})=(P,p \circ (\psi ,\varphi ))\) and \(p'_*({\mathfrak {c}})=(P,p' \circ (\psi ,\varphi ))\) are supported on the set \(P\subset {\mathcal {X}}\), so that by Definition 5.7 also \(p_*({\mathfrak {c}})\times p'_*({\mathfrak {c}})\) is supported on \(P\cup P=P\). It now follows directly from Definition 5.7 that \(p_*({\mathfrak {c}})\times p'_*({\mathfrak {c}})\) is equal to \({\mathfrak {c}}\). \(\square \)

Notation 5.9

We will mainly use the external product in the case \(({\mathcal {Q}}',G')=(\mathbb {1},\mathbb {1})\). By abuse of notation we will denote by \(-\times -\) also the composition

figure e

5.5 Contractible normal neighbourhoods

The following lemma gives an effective way to prove contractibility of normal neighbourhoods in concrete situations.

Lemma 5.10

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple and \(({\mathcal {Q}},G)\) a PMQ-group pair. Let \({\mathfrak {c}}\in \text {Hur} ({\mathcal {X}},{\mathcal {Q}})\), use Notations 3.6 and 2.6, and let \(\underline{U}\) be an adapted covering of P. Assume that there is a homotopy \({\mathcal {H}}^{\underline{U}}:{\mathbb {C}}\times [0,1]\rightarrow {\mathbb {C}}\) satisfying the following:

  1. (1)

    \({\mathcal {H}}^{\underline{U}}(-,t)\) is a lax morphism of nice couples \({\mathfrak {C}}\rightarrow {\mathfrak {C}}\) for all \(0\le t\le 1\);

  2. (2)

    \({\mathcal {H}}^{\underline{U}}(-,0)={{\,\textrm{Id}\,}}_{{\mathbb {C}}}\);

  3. (3)

    \({\mathcal {H}}^{\underline{U}}(-,t)\) restricts to a map \(U_i\rightarrow U_i\), for all \(1\le i\le k\) and all \(0\le t\le 1\);

  4. (4)

    \({\mathcal {H}}^{\underline{U}}(-,1)\) maps \(U_i\) constantly to \(z_i\) for all \(1\le i\le k\).

Then the normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\) is contractible.

Proof

We include \({\mathcal {Q}}\) into its completion \(\hat{{\mathcal {Q}}}\), and consequently include \(({\mathcal {Q}},G)\) into \((\hat{{\mathcal {Q}}},G)\). Recall that the inclusion \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}},G)\subset \text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}},G)\) is open, and more precisely it maps normal neighbourhoods bijectively onto normal neighbourhoods. Thus suffices to prove that \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\) is contractible when considered as a normal neighbourhood in \(\text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}},G)\). Proposition 4.10 and property (1) give a homotopy

$$\begin{aligned} {\mathcal {H}}^{\underline{U}}_*:\text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}},G)\times [0,1]\rightarrow \text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}},G), \end{aligned}$$

Consider now the union \(\coprod _{\tilde{{\mathfrak {c}}}}{\mathfrak {U}}(\tilde{{\mathfrak {c}}};\underline{U})\subset \text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}},G)\), where \(\tilde{{\mathfrak {c}}}\) ranges among all configurations of \(\text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}},G)\) supported on P. By property (3) the map \({\mathcal {H}}^{\underline{U}}_*\) restricts to a homotopy

$$\begin{aligned} {\mathcal {H}}^{\underline{U}}_*:\coprod _{\tilde{{\mathfrak {c}}}}{\mathfrak {U}}(\tilde{{\mathfrak {c}}};\underline{U})\times [0,1]\rightarrow \coprod _{\tilde{{\mathfrak {c}}}}{\mathfrak {U}}(\tilde{{\mathfrak {c}}};\underline{U}). \end{aligned}$$

The argument in the proof of Proposition 3.8 shows that \(\coprod _{\tilde{{\mathfrak {c}}}}{\mathfrak {U}}(\tilde{{\mathfrak {c}}};\underline{U})\) is the topological disjoint union of its open subspaces \({\mathfrak {U}}(\tilde{{\mathfrak {c}}};\underline{U})\). The map \({\mathcal {H}}^{\underline{U}}_*(-;0)\) is the identity of \(\text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}},G)\) by property (2), in particular \({\mathcal {H}}^{\underline{U}}_*(-;0)\) preserves each subspace \({\mathfrak {U}}(\tilde{{\mathfrak {c}}};\underline{U})\). It follows that \({\mathcal {H}}^{\underline{U}}_*\) restricts to a homotopy

$$\begin{aligned} {\mathcal {H}}^{\underline{U}}_*:{\mathfrak {U}}(\tilde{{\mathfrak {c}}},\underline{U})\times [0,1]\rightarrow {\mathfrak {U}}(\tilde{{\mathfrak {c}}},\underline{U}) \end{aligned}$$

for each \(\tilde{{\mathfrak {c}}}\) supported on P, in particular for \(\tilde{{\mathfrak {c}}}={\mathfrak {c}}\). By property (4) the map \({\mathcal {H}}^{\underline{U}}_*(-;1)\) takes values in configurations in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}',G)\) supported on the set \(P=\left\{ z_1,\dots ,z_k\right\} \), and the only such configuration inside \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\) is \({\mathfrak {c}}\). \(\square \)

The hypothesis that the spaces \({\mathcal {X}}\) and \({\mathcal {Y}}\) occurring in a nice couple \({\mathfrak {C}}\) are semi-algebraic implies that, given \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) supported on a finite set P, one can choose a small enough adapted covering of P for which a homotopy \({\mathcal {H}}^{\underline{U}}\) as in Lemma 5.10 exists. It follows that the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) is locally contractible.

6 Total monodromy and group actions

In this section we define the total monodromy of configurations in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) and describe several actions of G on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) and on certain subspaces of it.

6.1 Total monodromy

The total monodromy is the simplest invariant of connected components of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

Definition 6.1

Let \({\mathfrak {C}}\) be a nice couple, \(({\mathcal {Q}},G)\) a PMQ-group pair, and let \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\). Let \(\gamma :[0,1]\rightarrow {\mathbb {C}}\) be a simple closed loop spinning clockwise around P, i.e., \(\gamma \) bounds a disc in \({\mathbb {C}}\) that contains P. We define \(\omega ({\mathfrak {c}})=\varphi ([\gamma ])\in G\), and call it the total monodromy of the configuration \({\mathfrak {c}}\): this gives a function \(\omega :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow G\). See Fig. 7, left.

Fig. 7
figure 7

On left, a configuration \({\mathfrak {c}}\) in \(\text {Hur} ({\mathcal {X}},{\mathcal {Y}};{\mathcal {Q}},G)\), whose total monodromy is the G-valued monodromy of the dashed loop; on right, a configuration \({\mathfrak {c}}\) in \(\text {Hur} ({\mathcal {X}},{\mathcal {Q}})\), whose total monodromy is the \(\hat{{\mathcal {Q}}}\)-valued monodromy of the dashed loop

Note that the loop \(\gamma \) is well-defined up to homotopy, so that \(\omega \) is well-defined as a map of sets. Since for any given covering \(\underline{U}\) of P we can choose \(\gamma \) spinning clockwise also around \(\underline{U}\), we note that \(\omega \) is constant on the normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\); hence the total monodromy is locally constant and therefore an invariant of connected components of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

Note also that if \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) is a map of nice couples, then \(\xi (\gamma )\) is homotopic to a simple loop spinning clockwise around \(\xi (P)\) (see Definition 4.2); in particular \(\omega ({\mathfrak {c}})=\omega (\xi _*({\mathfrak {c}}))\), i.e. the total monodromy is preserved under maps of Hurwitz–Ran spaces induced by maps of nice couples. If \((\Psi ,\Phi ):({\mathcal {Q}},G)\rightarrow ({\mathcal {Q}}',G')\) is a morphism of PMQ-group pairs, then for all \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) we have \(\Phi (\omega ({\mathfrak {c}}))=\omega ((\Psi ,\Phi )_*({\mathfrak {c}}))\).

Notation 6.2

For a nice couple \({\mathfrak {C}}\), a PMQ-group pair \(({\mathcal {Q}},G)\) and \(g\in G\) we denote by \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_g\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) the preimage of g along \(\omega \). If \(P_0\) is as in Definition 3.13, we denote by \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0;g}\) the corresponding subspace of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\).

For \(P_0\subset {\mathcal {X}}\) (possibly \(P_0=\emptyset \)) we obtain a natural decomposition

$$\begin{aligned} \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0} = \coprod _{g\in G} \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0;g}. \end{aligned}$$

In the case \({\mathcal {Y}}=\emptyset \), we can refine Definition 6.1 by taking the values of \(\omega \) in the completion \(\hat{{\mathcal {Q}}}\) of \({\mathcal {Q}}\), instead of G. Let \({\mathcal {X}}\subset {\mathbb {H}}\) be a semi-algebraic subset, and let \({\mathfrak {c}}=(P,\psi )\in \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\); if \(\gamma \) is a simple loop in \({\mathbb {C}}\setminus P\) spinning clockwise around P, then \([\gamma ]\in {\mathfrak {Q}}^{\text {ext} }(P)\), and since \(\hat{{\mathcal {Q}}}\) is complete (and contains \({\mathcal {Q}}\)), we can extend \(\psi :{\mathfrak {Q}}(P)\rightarrow {\mathcal {Q}}\) to a map \(\psi ^{\text {ext} }:{\mathfrak {Q}}^{\text {ext} }(P)\rightarrow \hat{{\mathcal {Q}}}\), compare also with Sect. 4.5.

Definition 6.3

We define a locally constant map \(\hat{\omega }:\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\rightarrow \hat{{\mathcal {Q}}}\) by setting \(\hat{\omega }({\mathfrak {c}}):=\psi ^{\text {ext} }([\gamma ])\), using the notation above. See Fig. 7, right. For \(a\in \hat{{\mathcal {Q}}}\) and \(\emptyset \subseteq P_0\subset {\mathcal {X}}\) we let \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})_{P_0;a}\subset \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) be the preimage of a along \(\hat{\omega }\).

We obtain a decomposition

$$\begin{aligned} \text {Hur} ({\mathcal {X}};{\mathcal {Q}})_{P_0} = \coprod _{a\in \hat{{\mathcal {Q}}}} \text {Hur} ({\mathcal {X}};{\mathcal {Q}})_{P_0;a}. \end{aligned}$$

The maps \(\omega :\text {Hur} ({\mathcal {X}},\emptyset ;{\mathcal {Q}},{\mathcal {G}}({\mathcal {Q}}))\rightarrow {\mathcal {G}}({\mathcal {Q}})\) and \(\hat{\omega }:\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\rightarrow \hat{{\mathcal {Q}}}\) are related by the equality \(\omega =\eta _{\hat{{\mathcal {Q}}}}\circ \hat{\omega }\), where we the groups \({\mathcal {G}}({\mathcal {Q}})\) and \({\mathcal {G}}(\hat{{\mathcal {Q}}})\) are canonically identified, and \(\eta _{\hat{{\mathcal {Q}}}}:\hat{{\mathcal {Q}}}\rightarrow {\mathcal {G}}(\hat{{\mathcal {Q}}})\) is the unit of the adjunction.

As a first application of the total monodromy, we prove the following proposition.

Proposition 6.4

Let \({\mathcal {X}}\) be a non-empty, semi-algebraic, convex and bounded subset of \({\mathbb {H}}\), and let \(\hat{{\mathcal {Q}}}\) be a complete PMQ. Then the connected components of \(\text {Hur} _+({\mathcal {X}},\hat{{\mathcal {Q}}})\) are contractible and there is a bijection

$$\begin{aligned} \hat{\omega }:\pi _0(\text {Hur} _+({\mathcal {X}};\hat{{\mathcal {Q}}}))\cong \hat{{\mathcal {Q}}}. \end{aligned}$$

Proof

Since \({\mathcal {X}}\) is bounded, we can find a bounded, convex, semi-algebraic open set \({\mathcal {X}}\subset U\subset {\mathbb {C}}\setminus \left\{ *\right\} \). Fix a point \(z_0\in {\mathcal {X}}\): for all \(a\in \hat{{\mathcal {Q}}}\) we can define a configuration \({\mathfrak {c}}_a=(\left\{ z_0\right\} ,\psi _a)\in \text {Hur} _+({\mathcal {X}};\hat{{\mathcal {Q}}})\) by setting \(\psi _a([\gamma ])=a\) for a simple loop \(\gamma \) spinning clockwise around \(z_0\). By Lemma 5.10 each normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}}_a;U)\) deformation retracts onto the configuration \({\mathfrak {c}}_a\); the statement follows from the observation that each \({\mathfrak {c}}\in \text {Hur} _+({\mathcal {X}};\hat{{\mathcal {Q}}})\) is contained in one of these normal neighbourhood, namely in \({\mathfrak {U}}({\mathfrak {c}}_{\hat{\omega }({\mathfrak {c}})};U)\). \(\square \)

The reader will notice that in the proof of Proposition 6.4 we only used that \({\mathcal {X}}\) is star-shaped around a point \(z_0\in {\mathcal {X}}\), and not that \({\mathcal {X}}\) is convex. In fact the bijection \(\hat{\omega }:\pi _0(\text {Hur} _+({\mathcal {X}};\hat{{\mathcal {Q}}}))\cong \hat{{\mathcal {Q}}}\) holds whenever \({\mathcal {X}}\) is path connected; we will not use this more general fact and therefore we will leave its proof to the reader. Proposition 6.4 has the following corollary.

Corollary 6.5

Let \({\mathcal {X}}\subset {\mathbb {H}}\) be semi-algebraic, convex and bounded; then for all \(a\in {\mathcal {Q}}\) the space \(\text {Hur} _+({\mathcal {X}};{\mathcal {Q}})_a\) is contractible.

Proof

The fact that \(\hat{{\mathcal {Q}}}\setminus {\mathcal {Q}}\) is an ideal of the complete PMQ \(\hat{{\mathcal {Q}}}\) implies that, for all \(a\in {\mathcal {Q}}\), the natural inclusion \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})_a\subset \text {Hur} ({\mathcal {X}};\hat{{\mathcal {Q}}})_a\) is in fact a homeomorphism. \(\square \)

6.2 Action by global conjugation

Let \(({\mathcal {Q}},G)\) be a PMQ-group pair. Then the group G acts (on right) by conjugation on \({\mathcal {Q}}\) and on G itself. In particular the right action of G on \({\mathcal {Q}}\) takes the form of a map of groups \({\mathfrak {r}}:G\rightarrow {{\,\textrm{Aut}\,}}_{{\textbf {PMQ}} }({\mathcal {Q}})^{op}\), which is part of the structure of PMQ-group pair. The actions of G on \({\mathcal {Q}}\) by conjugation is compatible with respect to the map of PMQs \({\mathfrak {e}}:{\mathcal {Q}}\rightarrow G\), which is also part of the structure of PMQ-group pair. In the following we define a corresponding right action of G on the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), for any nice couple \({\mathfrak {C}}\).

Definition 6.6

For \(g\in G\) and \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}})\) we define \({\mathfrak {c}}^g=(P,\psi ^g,\varphi ^g)\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) as follows:

  • \(\psi ^g\) is the composition \({\mathfrak {Q}}(P)\overset{\psi }{\rightarrow }{\mathcal {Q}}\overset{{\mathfrak {r}}(g)}{\rightarrow }\ {\mathcal {Q}}\) of maps of PMQs.

  • \(\varphi ^g\) is the composition \({\mathfrak {G}}(P)\overset{\varphi }{\rightarrow }\ G \overset{(-)^g}{\rightarrow }\ G\) of maps of groups, where \((-)^g:g'\mapsto g^{-1}g'g\).

The maps \((-)^g:\text {Hur} ({\mathfrak {C}},{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) are homeomorphisms (they map normal neighbourhoods bijectively to normal neighbourhoods) and assemble into a right action of G on the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), called action by global conjugation.

Note that the total monodromy \(\omega \) (see Definition 6.1) satisfies the formula \(\omega ({\mathfrak {c}}^g)=\omega ({\mathfrak {c}})^g\in G\). Note also that for \(P_0\subset {\mathcal {X}}\) as in Definition 3.13 the action by global conjugation restricts to the subspace \(\text {Hur} ({\mathfrak {C}})_{P_0}\).

In the case \({\mathcal {Y}}=\emptyset \), we can refine Definition 6.6 and let the completion \(\hat{{\mathcal {Q}}}\) of \({\mathcal {Q}}\) act on \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\). By definition, a (right) action of \(\hat{{\mathcal {Q}}}\) on \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) is a map of PMQs \(\hat{{\mathcal {Q}}}\rightarrow {{\,\textrm{Aut}\,}}_{{\textbf {Top}} }(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}))^{op}\). For \(a\in \hat{{\mathcal {Q}}}\) and \({\mathfrak {c}}=(P,\psi )\in \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) we define \({\mathfrak {c}}^a=(P,\psi ^a)\in \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) by setting \(\psi ^a\) to be the composition \({\mathfrak {Q}}(P)\overset{\psi }{\rightarrow }{\mathcal {Q}}\overset{(-)^a}{\rightarrow }\ {\mathcal {Q}}\). Here we use that \({\mathcal {Q}}\subset \hat{{\mathcal {Q}}}\) is closed under conjugation by elements in \(\hat{{\mathcal {Q}}}\).

6.3 Left and right-based nice couples

In this subsection we consider other natural actions of G, defined on suitable subspaces of Hurwitz–Ran spaces.

Definition 6.7

For \(t\in {\mathbb {R}}\) we define a homeomorphism \(\tau _t:({\mathbb {C}},*)\rightarrow ({\mathbb {C}},*)\) by:

$$\begin{aligned} \tau _t(z)=\left\{ \begin{array}{ll} z &{} \text{ if } \Im (z)\le -1\\ z+t&{} \text{ if } \Im (z)\ge 0\\ z+(\Im (z)+1)t &{} \text{ if } -1\le \Im (z)\le 0. \end{array} \right. \end{aligned}$$

Note that \(\tau _t(*)=*\) for all \(t\in {\mathbb {R}}\). Note also that the assignment \(t\mapsto \tau _t\) defines a continuous, piecewise linear action of \({\mathbb {R}}\) on \({\mathbb {C}}\).

Notation 6.8

For \(t\in {\mathbb {R}}\) we denote by \({\mathbb {C}}_{\Re \ge t}\subset {\mathbb {C}}\) the subspace containing all \(z\in {\mathbb {C}}\) with \(\Re (z)\ge t\). Similarly we define \({\mathbb {C}}_{\Re >t}\), \({\mathbb {C}}_{\Re \le t}\), \({\mathbb {C}}_{\Re <t}\) and \({\mathbb {C}}_{\Re =t}\), the latter being a vertical line. For all \(-\infty \le t\le t'\le +\infty \) we define a subspace \({\mathbb {S}}_{t,t'}\subset {\mathbb {C}}\) by

$$\begin{aligned} {\mathbb {S}}_{t,t'}=\tau _t({\mathbb {C}}_{\Re \ge 0})\cap \tau _{t'}({\mathbb {C}}_{\Re \le 0}), \end{aligned}$$

where \(\tau _{-\infty }({\mathbb {C}}_{\Re \ge 0})=\tau _{+\infty }({\mathbb {C}}_{\Re \le 0})={\mathbb {C}}\) and \(\tau _{-\infty }({\mathbb {C}}_{\Re \le 0})=\tau _{+\infty }({\mathbb {C}}_{\Re \ge 0})=\emptyset \).

Definition 6.9

A left-based nice couple is a nice couple \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) together with a choice of a point \(z^{\text {l} }\in {\mathcal {Y}}\) such that \(\Re (z^{\text {l} })\le \Re (z)\) for all \(z\in {\mathcal {X}}\). We denote by \((z^{\text {l} },{\mathfrak {C}})\) a left-based nice couple.

Similarly, a right-based nice couple is a nice couple with a choice of a point \(z^{\text {r} }\in {\mathcal {Y}}\) such that \(\Re (z)\le \Re (z^{\text {r} })\) for all \(z\in {\mathcal {X}}\). We denote it by \(({\mathfrak {C}},z^{\text {r} })\).

A left-right-based nice couple (shortly, lr-based) is a nice couple which is both left- and right-based, such that \(\Re (z^{\text {l} })<\Re (z^{\text {r} })\): we denote it by \((z^{\text {l} },{\mathfrak {C}},z^{\text {r} })\).

6.4 Action by left and right multiplication

We define a left action of G on the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} }}\), where \((z^{\text {l} },{\mathfrak {C}})\) is a left-based nice couple. Similarly, there is a right action of G on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {r} }}\) if \(({\mathfrak {C}},z^{\text {r} })\) is a right-based nice couple. We will describe the construction focusing on the left-based case; the right-based case is analogous, and we will mention the differences in paretheses.

For the entire subsection fix a left-based (right-based) nice couple as in Definition 6.9. Choose an arc \(\zeta ^{\text {l} }\) embedded in \({\mathbb {S}}_{-\infty ,\Re (z^{\text {l} })}\) and joining \(*\) with \(z^{\text {l} }\); assume also that the interior of \(\zeta ^{\text {l} }\) is contained in \(\mathring{{\mathbb {S}}}_{-\infty ,\Re (z^{\text {l} })}\). (In the right-based case, we would choose an arc \(\zeta ^{\text {r} }\) embedded in \({\mathbb {S}}_{\Re (z^{\text {r} }),+\infty }\) joining \(*\) with \(z^{\text {r} }\) and whose interior is contained in \(\mathring{{\mathbb {S}}}_{\Re (z^{\text {r} }),+\infty }\).)

Definition 6.10

Let \(P\subset {\mathcal {X}}\) with \(z^{\text {l} }\in P\) (resp. \(z^{\text {r} }\in P\)). An admissible generating set for \({\mathfrak {G}}_{{\mathfrak {C}}}(P)\) is left-based (resp. right-based) if it can be constructed as in Definition 2.8, using \(\zeta ^{\text {l} }\) (resp. \(\zeta ^{\text {r} }\)) as the arc associated with \(z^{\text {l} }\) (resp. \(z^{\text {r} }\)), and using only arcs contained in \({\mathbb {S}}_{\Re (z^{\text {l} }),+\infty }\) (in \({\mathbb {S}}_{-\infty ,\Re (z^{\text {r} })}\)) for the other points of P.

Notation 6.11

We denote by \(f^{\text {l} }\in {\mathfrak {G}}(P)\) (resp. \(f^{\text {r} }\)) the generator represented by a loop spinning around \(z^{\text {l} }\) (resp. \(z^{\text {r} }\)).

Definition 6.12

Let \(g\in G\); let \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} }}\) (resp. \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {r} }}\)), use Notation 3.6, and let \(f_1,\dots ,f_k\) be a left-based (right-based) admissible generating set for \({\mathfrak {G}}(P)\). We let \(g\cdot {\mathfrak {c}}\) (resp. \({\mathfrak {c}}\cdot g\)) be the configuration \((P,\psi ',\varphi ')\), where:

  • \(\varphi '\) is defined on the free group \({\mathfrak {G}}(P)\) by setting \(\varphi '(f^{\text {l} })=g\cdot \varphi (f^{\text {l} })\) (by setting \(\varphi '(f^{\text {r} })=\varphi (f^{\text {r} })\cdot g\)) and by setting \(\varphi '(f_i)=\varphi (f_i)\) for \(1\le i\le k\) such that \(f_i\ne f^{\text {l} }\) (respectively \(f_i\ne f^{\text {r} }\)).

  • \(\psi '\) is defined on \({\mathfrak {Q}}(P)\) using [3, Theorem 3.3], by setting \(\psi '(f_i)=\psi (f_i)\) for all \(1\le i\le l\) and imposing that \((\psi ',\varphi '):({\mathfrak {Q}}(P),{\mathfrak {G}}(P))\rightarrow ({\mathcal {Q}},P)\) is a map of PMQ-group pairs. See Fig. 8.

Fig. 8
figure 8

On left, a configuration \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}},{\mathcal {Q}},G)_{z^{\text {r} }}\); on right, its image under the right action of \(g\in G\)

Proposition 6.13

For all \(g\in {\mathcal {G}}({\mathcal {Q}})\) the assignment \({\mathfrak {c}}\mapsto g\cdot {\mathfrak {c}}\) (respectively \({\mathfrak {c}}\mapsto {\mathfrak {c}}\cdot g\)) does not depend on the choice of the left-based (right-based) admissible generating set, and gives rise to a continuous self-map \(g\cdot -\) of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} }}\) (respectively a self-map \(-\cdot g\) of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {r} }}\)).

The collection of all maps \(g\cdot -\) (all maps \(-\cdot g\)) gives a left (right) action of G on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} }}\) (on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {r} }}\)).

The proof of Proposition 6.13 is in Sect. A.8 of the appendix.

6.5 Compatibilities of the left and right actions

Lemma 6.14

Let \({\mathfrak {C}}\) be a left-based (right-based) nice couple. Then the total monodromy \(\omega :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}})\rightarrow G\) is a G-equivariant map, where G acts on itself by left (right) multiplication.

Proof

We focus on the left-based case. Let \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} }}\), let \({\mathfrak {c}}'=g\cdot {\mathfrak {c}}\) and use Notation 3.6. Let \(f_1,\dots ,f_k\) be a left-based admissible generating set for \(P=P'\), suppose \(f_1=f^{\text {l} }\) (see Notation 6.11), and suppose, up to permuting the indices from 2 to k, that the product \(f_1\dots f_k\) represents an element \([\gamma ]\in {\mathfrak {G}}(P)\) as in Definition 6.1. Let \({\mathfrak {g}}=f_2\dots f_k\), so that \([\gamma ]=f^{\text {l} }\cdot {\mathfrak {g}}\). Note that \(\varphi '({\mathfrak {g}})=\varphi ({\mathfrak {g}})\). Then

$$\begin{aligned} \omega (g\cdot {\mathfrak {c}}) = \varphi '([\gamma ])=\varphi '(f^{\text {l} })\cdot \varphi '({\mathfrak {g}})=g\cdot \varphi (f^{\text {l} })\cdot \varphi ({\mathfrak {g}})= g\cdot \varphi ([\gamma ])=g\cdot \omega ({\mathfrak {c}}). \end{aligned}$$

\(\square \)

Let now \((z^{\text {l} },{\mathfrak {C}},z^{\text {r} })\) be a lr-based nice couple: both spaces \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} }}\) and \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {r} }}\) contain \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) as subspace, and this subspace is preserved under both actions of G, on left on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} }}\) and on right on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {r} }}\).

Lemma 6.15

Let \((z^{\text {l} },{\mathfrak {C}},z^{\text {r} })\) be a lr-based nice couple. Then the left and the right actions of G on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) commute, i.e., for every \(g,h\in {\mathcal {G}}({\mathcal {Q}})\) the self-maps \(g\cdot -\) and \(-\cdot h\) of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) commute.

Proof

Fix \({\mathfrak {c}}=(P,\varphi ,\psi )\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) and let \(\zeta ^{\text {l} }\) and \(\zeta ^{\text {r} }\) be arcs as in Definition 6.10. We can choose disjoint arcs \(\zeta _i\) contained in \({\mathbb {S}}_{\Re (z^{\text {l} }),\Re (z^{\text {r} })}\) completing \(\zeta ^{\text {l} },\zeta ^{\text {r} }\) to a system of arcs as in Definition 2.8 yielding an admissible generating set for \({\mathfrak {G}}(P)\) which is both left- and right-based. The equality \(g\cdot ({\mathfrak {c}}\cdot h)=(g\cdot {\mathfrak {c}})\cdot h\) follows directly from Definition 6.12. \(\square \)

We thus obtain a (left) action of the group \(G\times G^{op}\) on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\), and by Lemma 6.14 the map \(\omega :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\rightarrow G\) is \(G\times G^{op}\)-equivariant.

Lemma 6.16

In the hypotheses of Lemma  6.15, the action of \(G\times G^{op}\) on the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) is free and properly discontinuous.

Proof

Let \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\), let \(\underline{U}\) be an adapted covering of P, and denote by \(U^{\text {l} }\) and \(U^{\text {r} }\) the components of \(\underline{U}\) containing \(z^{\text {l} }\) and \(z^{\text {r} }\) respectively. Fix an admissible generating set for \({\mathfrak {G}}(P)\) which is both left- and right-based, and let \(f^{\text {l} }\) and \(f^{\text {r} }\) be as in Notation 6.11.

Let (gh) be a non-trivial element in \(G\times G^{op}\), and denote by \({\mathfrak {c}}'=(P,\psi ',\varphi ')\) the configuration \(g\cdot {\mathfrak {c}}\cdot h\). Then either \(\varphi '(f^{\text {l} })=g\cdot \varphi (f^{\text {l} })\ne \varphi (f^{\text {l} })\), or \(\varphi '(f^{\text {r} })=\varphi (f^{\text {r} })\cdot h\ne \varphi (f^{\text {r} })\), or both inequalities hold: in any case we conclude \({\mathfrak {c}}'\ne {\mathfrak {c}}\), so the action of \(G\times G^{op}\) on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) is free.

Recall Definition 3.13, and note that the normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}},\underline{U})_{z^{\text {l} },z^{\text {r} }}\) is mapped by \(g\cdot -\cdot h\) to the normal neighbourhood \({\mathfrak {U}}(g\cdot {\mathfrak {c}}\cdot h,\underline{U})_{z^{\text {l} },z^{\text {r} }}\); since the configurations \({\mathfrak {c}}\) and \({\mathfrak {c}}'\) are supported on the same set P, but \(\varphi '\ne \varphi \), the argument in the proof of Proposition 3.8 shows that \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\) and \({\mathfrak {U}}(g\cdot {\mathfrak {c}}\cdot h,\underline{U})\) intersect trivially in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), and a fortiori \({\mathfrak {U}}({\mathfrak {c}},\underline{U})_{z^{\text {l} },z^{\text {r} }}\) and \({\mathfrak {U}}(g\cdot {\mathfrak {c}}\cdot h,\underline{U})_{z^{\text {l} },z^{\text {r} }}\) intersect trivially in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\). Hence the action of \(G\times G^{op}\) on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) is properly discontinuous. \(\square \)

Recall Notation 6.2: we can decompose \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) as a disjoint union of subspaces \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} };g}\) according to \(\omega \). If we act on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) only on left, these subspaces will be permuted among each other, so that the quotient of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) by the left action is homeomorphic to \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} };\mathbb {1}}\). The same holds if we quotient \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) only by the right action of G; we can define a more interesting space by quotienting \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) by both actions.

Notation 6.17

We denote by \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{G,G^{op}}\) the quotient of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }}\) by the left and right actions of G: the points \(z^{\text {l} },z^{\text {r} }\) will always be clear from the context and will thus be omitted from the notation. We denote by

$$\begin{aligned} p_{G,G^{op}}:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} }} \rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{G,G^{op}} \end{aligned}$$

the projection map.

By Lemma 6.16 we have in particular a covering map

$$\begin{aligned} p_{G,G^{op}}:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{z^{\text {l} },z^{\text {r} };\mathbb {1}}\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{G,G^{op}}, \end{aligned}$$

with deck transformation group isomorphic to G and acting transitively on fibres.

7 Hurwitz–Ran spaces with monodromies in augmented PMQs

In this section we introduce, for an augmented PMQ \({\mathcal {Q}}\), a subspace \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\) of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\); under suitable conditions on \({\mathfrak {C}}\) the inclusion \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\hookrightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) is a weak homotopy equivalence. Recall from [3, Definition 4.9] that \({\mathcal {Q}}\) is augmented if an equality \(ab=\mathbb {1}\) in \({\mathcal {Q}}\) implies \(a=b=\mathbb {1}\).

Definition 7.1

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple and let \(({\mathcal {Q}},G)\) be a PMQ-group pair, with \({\mathcal {Q}}\) augmented. We define \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\subseteq \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) as the subspace containing all configurations \({\mathfrak {c}}=(P,\psi ,\varphi )\) such that \(\psi :{\mathfrak {Q}}(P)\rightarrow {\mathcal {Q}}\) is an augmented map of PMQs, i.e. \(\psi ^{-1}(\mathbb {1}_{{\mathcal {Q}}})=\left\{ \mathbb {1}_{{\mathfrak {Q}}(P)}\right\} \) (see [3, Definition 4.9]). If \({\mathcal {Y}}\) is empty we also write \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)\subset \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\) for the space \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,{\mathcal {G}}({\mathcal {Q}}))\).

Roughly speaking, a configuration \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) belongs to \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\) if the monodromy \(\psi \) attains non-trivial values around each point of \(P\setminus {\mathcal {Y}}\): these are also all points of P around which \(\psi \) is defined. By “non-trivial value” we mean a value different from \(\mathbb {1}_{{\mathcal {Q}}}\), i.e. a value in \({\mathcal {Q}}_+\), whence the notation.

Note that if \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) is a morphism of nice couples and \({\mathcal {Q}}\) is augmented, then the induced map \(\xi _*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}},G)\) restricts to a map of spaces \(\xi _*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\rightarrow \text {Hur} ({\mathfrak {C}}';{\mathcal {Q}}_+,G)\). This is true also for a lax morphism \(\xi :{\mathfrak {C}}\rightarrow {\mathfrak {C}}'\) (see Definition 4.3), provided that \({\mathcal {Q}}\) is complete and augmented.

Lemma 7.2

If \({\mathcal {Q}}\) is augmented, then \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\) is closed in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

Proof

Let \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\setminus \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\); then, using Notation 3.6, there is some \(1\le i\le l\) such that \(\psi \) sends each element of \({\mathfrak {Q}}(P,z_i)\) to \(\mathbb {1}\) (see also Definition 2.9). Let \(\underline{U}\) be an adapted covering of P: then we claim that the entire normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\) lies in the difference \( \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\setminus \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\). To see this, let \({\mathfrak {c}}'=(P',\psi ',\varphi ')\in {\mathfrak {U}}({\mathfrak {c}},\underline{U})\), use Notation 2.6, and let \(z'\) be a point in \(P'\cap U_i\). Then each element \([\gamma ']\in {\mathfrak {Q}}(P',z')\) is sent by \(\psi '\) to an element \(\psi '([\gamma '])\in {\mathcal {Q}}\) which occurs as a factor of a decomposition of \(\mathbb {1}_{{\mathcal {Q}}}\) in the partial monoid \({\mathcal {Q}}\); since \({\mathcal {Q}}\) is augmented we have \(\psi '([\gamma '])=\mathbb {1}\) and therefore \({\mathfrak {c}}'\) does not lie in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\). \(\square \)

7.1 Homotopy equivalences from augmented PMQs

The rest of the section is devoted to the proof of the following technical propositions.

Proposition 7.3

Let \({\mathcal {X}}\subset {\mathbb {H}}\) be a semi-algebraic, non-empty and connected subspace, and let \({\mathcal {Q}}\) be an augmented PMQ. Then the spaces \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)\) and \(\text {Hur} _+({\mathcal {X}};{\mathcal {Q}})\) are homotopy equivalent.

Proposition 7.4

Let \(({\mathcal {Q}},G)\) be a PMQ-group pair with \({\mathcal {Q}}\) augmented, and let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple with both \({\mathcal {X}}\) and \({\mathcal {Y}}\) non-empty and connected. Let \(P_0\subset {\mathcal {Y}}\) be a finite, non-empty subset. Then the inclusion \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\) is a homotopy equivalence.

In the rest of the section we fix a PMQ-group pair \(({\mathcal {Q}},G)\) with \({\mathcal {Q}}\) augmented. Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple.

Definition 7.5

Let \({\mathfrak {c}}=(P,\psi ,\varphi )\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\). A point \(z\in P\) is inert for \({\mathfrak {c}}\) if \(z\in {\mathcal {X}}\setminus {\mathcal {Y}}\) and \(\psi \) maps each element of \({\mathfrak {Q}}(P,z)\) to \(\mathbb {1}_{{\mathcal {Q}}}\) (see Definition 2.9).

Definition 7.6

We define a retraction of sets \(\rho :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\) of the inclusion \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\subset \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\): for a configuration \({\mathfrak {c}}\in \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), we construct \(\rho ({\mathfrak {c}})\) by “forgetting” its inert points. More precisely, using Notation 3.6, if \(P'\subset P\) is the subset of non-inert points for \({\mathfrak {c}}\), then we note that \(\varphi :{\mathfrak {G}}(P)\rightarrow G\) and \(\psi :{\mathfrak {Q}}(P)\rightarrow {\mathcal {Q}}\) factor through maps \(\varphi ':{\mathfrak {G}}(P')\rightarrow G\) and \(\psi ':{\mathfrak {Q}}(P')\rightarrow {\mathcal {Q}}\) along the surjections \({\mathfrak {i}}^{P}_{P'}:{\mathfrak {G}}(P)\rightarrow {\mathfrak {G}}(P')\) and \({\mathfrak {i}}^{P}_{P'}:{\mathfrak {Q}}(P)\rightarrow {\mathfrak {Q}}(P')\), (see Notation 2.17), and we define \(\rho :(P,\psi ,\varphi )\mapsto (P',\psi ',\varphi ')\).

Unfortunately, even assuming that \({\mathcal {Q}}\) is augmented, \(\rho \) is in general not continuous: for instance, if P contains a point \(z_i\in {\mathcal {Y}}\) whose local monodromy with respect to \(\varphi \) is \(\mathbb {1}\in G\), then \(\rho (P,\psi ,\varphi )\) is a configuration supported also on the point \(z_i\); however if we perturb slightly \(z_i\) so that it “enters” in \({\mathcal {X}}\setminus {\mathcal {Y}}\) (for this, suppose that \(z_i\) is an accumulation point for \({\mathcal {X}}\setminus {\mathcal {Y}}\)), then in defining \(\rho (P,\psi ,\varphi )\) we forget \(z_i\) and we do not replace it by any other point close to it.

7.2 Explosions

The previous issue can only occur when \({\mathcal {Y}}\ne \emptyset \), and in fact if \({\mathcal {Y}}=\emptyset \), then \(\rho :\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)\) is continuous, as we will see in Corollary 7.9. In the general case we cannot just let an inert point \(z_i\in P\setminus {\mathcal {Y}}\) disappear; what we can do is to let every point \(z_i\in P\) explode (including non-inert points), by replacing \(z_i\) with one or more other points of \({\mathcal {X}}\). This idea is elaborated in the following definition.

Definition 7.7

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple. An explosion \({\mathscr {E}}\) of \({\mathfrak {C}}\) is a continuous map \({\mathscr {E}}:{\mathcal {X}}\times [0,1]\rightarrow \text {Ran} ({\mathfrak {C}})\) such that for all \(z\in {\mathcal {Y}}\) and all \(0\le t\le 1\), \(z\in {\mathscr {E}}(z,t)\). An explosion \({\mathscr {E}}\) is standard if \({\mathscr {E}}(z,0)=\left\{ z\right\} \in \text {Ran} ({\mathfrak {C}})\) for all \(z\in {\mathcal {X}}\).

Given an explosion \({\mathscr {E}}\), a finite subset \(P\subset {\mathcal {X}}\) and a time \(0\le t\le 1\), we can define a subset \({\mathscr {E}}(P,t)\in \text {Ran} ({\mathfrak {C}})\) as the union of the subsets \({\mathscr {E}}(z,t)\) for \(z\in P\). Thus an explosion \({\mathscr {E}}\) induces a continuous map \(\text {Ran} ({\mathfrak {C}})\times [0,1]\rightarrow \text {Ran} ({\mathfrak {C}})\), that by abuse of notation we still denote \({\mathscr {E}}\). If \({\mathscr {E}}\) is standard, then \({\mathscr {E}}(-,0)\) is the identity of \(\text {Ran} ({\mathfrak {C}})\).

Proposition 7.8

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple, let \({\mathscr {E}}:{\mathcal {X}}\times [0,1]\rightarrow \text {Ran} ({\mathfrak {C}})\) be an explosion, and let \(({\mathcal {Q}},G)\) be a PMQ-group pair with \({\mathcal {Q}}\) augmented. Recall Definition 3.10 and Notation 5.9, and let \({\mathscr {E}}_*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\times [0,1]\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\) be the following composition of maps of sets:

figure f

Then \({\mathscr {E}}_*\) is continuous. If moreover \({\mathscr {E}}\) is standard, then \({\mathscr {E}}_*(-,0)\) is the identity of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\).

The proof of Proposition7.8 is in Sect. A.9 of the appendix. A particular application of Proposition 7.8 is the following:

Corollary 7.9

Let \({\mathcal {X}}\subset {\mathbb {H}}\) be a semi-algebraic set and let \({\mathcal {Q}}\) be an augmented PMQ; then the map \(\rho :\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\rightarrow \text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)\) is continuous.

Proof

Consider the explosion \({\mathscr {E}}^{\emptyset }:{\mathcal {X}}\times [0,1]\rightarrow \text {Ran} ({\mathcal {X}})\) taking the constant value \(\emptyset \in \text {Ran} ({\mathcal {X}})\); then \({\mathscr {E}}^{\emptyset }_*(-,0)=\rho \) is a continuous map. \(\square \)

7.3 Proof or Propositions 7.3 and 7.4

Proof of Proposition 7.3

Recall Definition 5.7 and Notation 5.9, and fix a point \(z_0\in {\mathcal {X}}\). We claim that the map \(-\times z_0:\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)\rightarrow \text {Hur} _+({\mathcal {X}};{\mathcal {Q}})\) is a homotopy equivalence, where we denote by \(z_0\) also the singleton \(\left\{ z_0\right\} \in \text {Ran} ({\mathcal {X}})\).

Let \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)_{z_0}\) be the subspace of \(\text {Hur} _+({\mathcal {X}};{\mathcal {Q}})\) containing all configurations \({\mathfrak {c}}=(P,\psi )\) such that \(z_0\in P\) and all points of \(P\setminus \left\{ z_0\right\} \) are not inert; then \(-\times z_0\) gives a homeomorphism \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)\overset{\cong }{\rightarrow }\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)_{z_0}\), with inverse given by the restriction of \(\rho \), which is continuous by Corollary 7.9. It suffices therefore to prove that the inclusion \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)_{z_0}\hookrightarrow \text {Hur} _+({\mathcal {X}};{\mathcal {Q}})\) is a homotopy equivalence. By Lemma 3.3 the space \(\text {Ran} _+({\mathcal {X}})\) is weakly contractible; since \({\mathcal {X}}\) is homeomorphic to a CW complex, there is a homotopy \({\mathscr {E}}^{z_0}:{\mathcal {X}}\times [0,1]\rightarrow \text {Ran} _+({\mathcal {X}})\) with \({\mathscr {E}}^{z_0}(z,0)=\left\{ z\right\} \) and \({\mathscr {E}}^{z_0}(z,1)=\left\{ z_0\right\} \) for all \(z\in {\mathcal {X}}\); \({\mathscr {E}}^{z_0}\) is a standard explosion and gives rise to an extended explosion \({\mathscr {E}}^{z_0}:\text {Ran} ({\mathcal {X}})\times [0,1]\rightarrow \text {Ran} ({\mathcal {X}})\).

Proposition 7.8 yields a homotopy \({\mathscr {E}}^{z_0}_*:\text {Hur} ({\mathcal {X}};{\mathcal {Q}})\times [0,1]\rightarrow \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\), which restricts to a homotopy of \(\text {Hur} _+({\mathcal {X}};{\mathcal {Q}})\). We note the following:

  • \({\mathscr {E}}^{z_0}_*(-,0)\) is the identity of \(\text {Hur} _+({\mathcal {X}};{\mathcal {Q}})\), again by Proposition 7.8;

  • \({\mathscr {E}}^{z_0}_*(-,1)\) restricts to the identity on the subspace \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)_{z_0}\): indeed if \({\mathfrak {c}}=(P,\psi )\in \text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)_{z_0}\), then \(\rho ({\mathfrak {c}})\) is either equal to \({\mathfrak {c}}\), or is obtained by forgetting \(z_0\in P\) in case \(z_0\) is inert; since \({\mathscr {E}}^{z_0}(-,1)\) is constant on \(\text {Ran} ({\mathcal {X}})\) with value \(z_0\), we have anyway the equality \(\rho ({\mathfrak {c}})\times {\mathscr {E}}^{z_0}(P,1)=\rho ({\mathfrak {c}})\times z_0={\mathfrak {c}}\), i.e. the point \(z_0\) is added again in the further composition defining \({\mathscr {E}}_*^{z_0}(-,1)\);

  • \({\mathscr {E}}_*^{z_0}(-,1)\) takes values in \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)_{z_0}\): this follows again from the equality \({\mathscr {E}}_*({\mathfrak {c}},1)=\rho ({\mathfrak {c}})\times z_0\), holding for all \({\mathfrak {c}}\in \text {Hur} ({\mathcal {X}};{\mathcal {Q}})\).

The homotopy \({\mathscr {E}}^{z_0}_*\) shows that the inclusion \(\text {Hur} ({\mathcal {X}};{\mathcal {Q}}_+)_{z_0}\hookrightarrow \text {Hur} _+({\mathcal {X}};{\mathcal {Q}})\) is a homotopy equivalence. \(\square \)

Note that in the particular case \({\mathcal {Q}}=\left\{ \mathbb {1}\right\} \), Proposition 7.3 implies that \(\text {Ran} _+({\mathcal {X}})\) is contractible; this is a mild improvement of the statement of Lemma 3.3.

Proof of Proposition 7.4

The proof is similar to the one of Proposition 7.3. By Lemma 3.3 the spaces \(\text {Ran} _+({\mathcal {Y}})\subset \text {Ran} _+({\mathcal {X}})\) are weakly contractible. The couple \(({\mathcal {X}},{\mathcal {Y}})\) is homeomorphic to a couple of CW complexes, therefore we can find a homotopy \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}:{\mathcal {X}}\times [0,1]\rightarrow \text {Ran} _+({\mathcal {X}})\) with \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}(z,t)=\left\{ z\right\} \) whenever \(z\in {\mathcal {Y}}\) or \(t=0\), and such that \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}(z,1)\in \text {Ran} _+({\mathcal {Y}})\) for all \(z\in {\mathcal {X}}\). In particular \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}\) is a standard explosion, inducing an extended explosion \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}:\text {Ran} ({\mathcal {X}})\times [0,1]\rightarrow \text {Ran} ({\mathcal {X}})\). By Proposition 7.8, and using that \(P_0\subset {\mathcal {Y}}\), we obtain a homotopy \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}_*:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\times [0,1]\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\) with the following properties:

  • \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}_*(-,0)\) is the identity of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\);

  • \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}(-,1)\) takes values in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\).

It suffices now to prove that there is a homotopy of maps \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\) from \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}(-,1)|_{\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}}\) to the identity of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\).

Using weak contractibility of \(\text {Ran} _+({\mathcal {Y}})\) (see Lemma 3.3) together with the fact that \({\mathcal {X}}\) is homeomorphic to a CW complex, we can find a homotopy \({\mathscr {E}}^{{\mathcal {Y}}}:{\mathcal {X}}\times [0,1]\rightarrow \text {Ran} _+({\mathcal {Y}})\) satisfying the following properties:

  • \({\mathscr {E}}^{{\mathcal {Y}}}(-,0)={\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}(-,1)\);

  • \({\mathscr {E}}^{{\mathcal {Y}}}(-,1)\) is the constant map with value \(P_0\in \text {Ran} _+({\mathcal {Y}})\).

Denote by \({\mathscr {E}}^{{\mathcal {Y}}}:\text {Ran} ({\mathcal {X}})_{P_0}\times [0,1]\rightarrow \text {Ran} _+({\mathcal {Y}})\) also the induced map on Ran spaces. Consider the homotopy \({\mathcal {H}}^{{\mathcal {Y}}}:\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\times [0,1]\rightarrow \text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\) given by the composition

figure g

where \(\varepsilon \) is from Definition 3.10 and in the last step we use Notation 5.9. Since \(\rho \) restricts to the identity on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\), the map \({\mathcal {H}}^{{\mathcal {Y}}}(-,0)\) concides with the restriction of \({\mathscr {E}}^{{\mathcal {X}},{\mathcal {Y}}}(-,1)\) to \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\). On the other hand, \({\mathcal {H}}^{{\mathcal {Y}}}(-,1)\) is the identity of \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}}_+,G)_{P_0}\). \(\square \)

7.4 An application of contractibility of Ran spaces

The following proposition deals with a generic PMQ-group pair \(({\mathcal {Q}},G)\), with \({\mathcal {Q}}\) possibly non-augmented; its proof relies on Proposition 7.3.

Proposition 7.10

Let \({\mathfrak {C}}=({\mathcal {X}},{\mathcal {Y}})\) be a nice couple with \({\mathcal {X}}\) non-empty and connected, let \(P_0\in \text {Ran} _+({\mathcal {X}})\), and let \(({\mathcal {Q}},G)\) be a PMQ-group pair. Then the inclusion \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\hookrightarrow \text {Hur} _+({\mathfrak {C}};{\mathcal {Q}},G)\) is a homotopy equivalence.

Proof

By Proposition 7.3 there is a homotopy \({\mathscr {E}}^{P_0}:\text {Ran} _+({\mathfrak {C}})\times [0,1]\rightarrow \text {Ran} _+({\mathfrak {C}})\) contracting \(\text {Ran} _+({\mathfrak {C}})\) onto the configuration \(P_0\). We use \({\mathscr {E}}^{P_0}\) to define a homotopy \({\mathcal {H}}^{P_0}:\text {Hur} _+({\mathfrak {C}};{\mathcal {Q}},G)\times [0,1]\rightarrow \text {Hur} _+({\mathfrak {C}};{\mathcal {Q}},G)\) as the composition

figure h

where \(\varepsilon \) and \(-\times -\) are from Definition 3.10 and Notation 5.9. Note the following:

  • \({\mathcal {H}}^{P_0}(-;0)\) is the identity of \(\text {Hur} _+({\mathfrak {C}};{\mathcal {Q}},G)\);

  • \({\mathcal {H}}^{P_0}(-;1)\) restricts to the identity on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\);

  • for all \(0\le s\le 1\) and \({\mathfrak {c}}\in \text {Hur} _+({\mathfrak {C}};{\mathcal {Q}},G)\), if we denote \({\mathfrak {c}}'={\mathcal {H}}^{P_0}({\mathfrak {c}};s)\) and use Notation 3.6, then \(P\subseteq P'\); if moreover we assume \(s=1\), then \(P_0\subseteq P'\).

In particular \({\mathcal {H}}^{P_0}\) preserves \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\) at all times and \({\mathcal {H}}^{P_0}(-;1)\) takes values in \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)_{P_0}\). This implies the statement. \(\square \)

8 Cell stratifications

Throughout the section we fix an augmented PMQ \({\mathcal {Q}}\) with completion \(\hat{{\mathcal {Q}}}\).

Notation 8.1

We denote by \(\mathring{{\mathcal {R}}}\) the open unit square \((0,1)^2\subset {\mathbb {H}}\), and by \({\mathcal {R}}\) the closed unit square \([0,1]^2\subset {\mathbb {H}}\).

In this section we introduce a cell stratification on \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)\). More precisely, we will do the following:

  1. (1)

    We regard \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)\) as an open subspace of \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), by applying functoriality to the inclusions \(\mathring{{\mathcal {R}}}\hookrightarrow {\mathcal {R}}\) and \({\mathcal {Q}}\hookrightarrow \hat{{\mathcal {Q}}}\);

  2. (2)

    We consider the bisimplicial complex \(\text {Arr} ({\mathcal {Q}})\) from [3, Definition 6.6]; and define a continuous bijection \(\upsilon :|\text {Arr} ({\mathcal {Q}})|\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), by glueing suitable continuous maps \(e^{\underline{a}}:\Delta ^p\times \Delta ^q\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), one for every non-degenerate array \(\underline{a}\in \text {Arr} _{p,q}({\mathcal {Q}})\);

  3. (3)

    The map \(\upsilon \) restricts to a continuous bijection with source the simplicial Hurwitz space

    $$\begin{aligned} \upsilon :\text {Hur} ^{\Delta }({\mathcal {Q}}):=|\text {Arr} ({\mathcal {Q}})|\setminus |\text {NAdm} ({\mathcal {Q}})|\rightarrow \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}), \end{aligned}$$

    and in the additional hypothesis that \({\mathcal {Q}}\) is a locally finite PMQ, this latter bijection is a homeomorphism.

8.1 A construction with simplices

We start by fixing some notation and by making some constructions with simplices and products of simplices. For \(p\ge 0\), we regard the standard p-simplex \(\Delta ^p\) as the subspace of \([0,1]^p\) containing all p-tuples \(\underline{s}=(s_1,\dots ,s_p)\) with \(0\le s_1\le \dots \le s_p\le 1\).

Notation 8.2

Whenever needed, we extend each p-tuple \(\underline{s}=(s_1,\dots ,s_p)\) representing a point in \(\Delta ^p\) to a \(p+2\)-tuple \(s_0,\dots ,s_{p+1}\) by setting \(s_0=0\) and \(s_{p+1}=1\).

Notation 8.3

For \(p\ge 0\) we denote by \(\underline{\mathfrak {bar}}^p=(\mathfrak {bar}^p_1,\dots ,\mathfrak {bar}^p_p)=(\frac{1}{p+1},\dots ,\frac{p}{p+1})\) the barycentre of \(\Delta ^p\).

Definition 8.4

We denote by \(\breve{\Delta }^{p,p}\subset \Delta ^p\times \Delta ^p\) the subspace containing all pairs \((\underline{s},\underline{s}')\) such that the following holds: for all \(0\le i\le p\), if \(s_i=s_{i+1}\) then \(s'_i=s'_{i+1}\).

Definition 8.5

We define a continuous map \({\mathcal {H}}^p:{\mathbb {R}}\times \breve{\Delta }^{p,p}\rightarrow {\mathbb {R}}\) by the formula

$$\begin{aligned} {\mathcal {H}}^p(x;\underline{s},\underline{s}')=\left\{ \begin{array}{cl} x &{} \text{ if } x\in {\mathbb {R}}\setminus (0,1);\\ \frac{x-s_i}{s_{i+1}-s_i}s'_{i+1} + \frac{s_{i+1}-x}{s_{i+1}-s_i}s'_i &{} \text{ if } s_i\ne s_{i+1} \text{ and } x\in [s_i,s_{i+1}];\\ s'_i=s'_{i+1} &{} \text{ if } x=s_i=s_{i+1}. \end{array} \right. \end{aligned}$$

Roughly speaking, \({\mathcal {H}}^p(-;\underline{s},\underline{s}'):{\mathbb {R}}\rightarrow {\mathbb {R}}\) is constructed by fixing \((-\infty ,0]\cup [1,\infty )\) pointwise, by mapping each \(s_i\mapsto s'_i\) and by extending by linear interpolation on the segments \([0,s_1],\dots ,[s_p,1]\); some of these segments might be degenerate, in this case no extension is needed. The subspace \(\breve{\Delta }^{p,p}\subset \Delta ^p\times \Delta ^p\) is essentially defined as the subspace of couples \((\underline{s},\underline{s}')\) for which \({\mathcal {H}}^p(-;\underline{s},\underline{s}'):{\mathbb {R}}\rightarrow {\mathbb {R}}\) is well-defined and continuous. The previous description of \({\mathcal {H}}^p\) implies directly the following lemma.

Lemma 8.6

Let \(\underline{s},\underline{s}',\underline{s}''\in \Delta ^p\) such that both pairs \((\underline{s},\underline{s}')\) and \((\underline{s}',\underline{s}'')\) lie in \(\breve{\Delta }^{p,p}\); then also \((\underline{s},\underline{s}'')\in \breve{\Delta }^{p,p}\), and the map \({\mathcal {H}}^p(-;\underline{s},\underline{s}''):{\mathbb {R}}\rightarrow {\mathbb {R}}\) coincides with the composition \({\mathcal {H}}^p(-;\underline{s}',\underline{s}'')\circ {\mathcal {H}}^p(-;\underline{s},\underline{s}')\).

Definition 8.7

For all \(p,q\ge 0\) we define a map \({\mathcal {H}}^{p,q}:{\mathbb {C}}\times \breve{\Delta }^{p,p}\times \breve{\Delta }^{q,q}\rightarrow {\mathbb {C}}\) by

$$\begin{aligned} {\mathcal {H}}^{p,q}(x+y\sqrt{-1}\;\ \underline{s},\underline{s}'\;\ \underline{t},\underline{t}')={\mathcal {H}}^p(x;\underline{s},\underline{s}')+{\mathcal {H}}^q(y;\underline{t},\underline{t}')\sqrt{-1}. \end{aligned}$$

Note that for all \((\underline{s},\underline{s}';\underline{t},\underline{t}')\in \breve{\Delta }^{p,p}\times \breve{\Delta }^{q,q}\) the map \({\mathcal {H}}^{p,q}(-;\underline{s},\underline{s}';\underline{t},\underline{t}'):{\mathbb {C}}\rightarrow {\mathbb {C}}\) is a lax self morphism of the nice couple \(({\mathcal {R}},\emptyset )\) (see Definition 4.3). By Proposition 4.10 we obtain a map

$$\begin{aligned} {\mathcal {H}}^{p,q}_*:\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\times \breve{\Delta }^{p,p}\times \breve{\Delta }^{q,q}\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+). \end{aligned}$$

Note also that \(\Delta ^p\) embeds diagonally into \(\breve{\Delta }^{p,p}\); the restricted map

$$\begin{aligned} {\mathcal {H}}^{p,q}_*:\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\times \Delta ^p\times \Delta ^q\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+) \end{aligned}$$

is just the projection on the first factor, since for all \((\underline{s},\underline{t})\in \Delta ^p\times \Delta ^q\) the map \({\mathcal {H}}^{p,q}(-;\underline{s},\underline{s};\underline{t},\underline{t}):{\mathbb {C}}\rightarrow {\mathbb {C}}\) is the identity of \({\mathbb {C}}\).

Lemma 8.6 applied twice, together with functoriality, yields the following lemma.

Lemma 8.8

Let \(\underline{s},\underline{s}',\underline{s}''\in \Delta ^p\) such that \((\underline{s},\underline{s}'),(\underline{s}',\underline{s}'')\in \breve{\Delta }^{p,p}\), and let \(\underline{t},\underline{t}',\underline{t}''\in \Delta ^q\) such that \((\underline{t},\underline{t}'),(\underline{t}',\underline{t}'')\in \breve{\Delta }^{q,q}\). Then \((\underline{s},\underline{s}'';\underline{t},\underline{t}'')\in \breve{\Delta }^{p,p}\times \breve{\Delta }^{q,q}\), and the following equality of maps \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) holds:

$$\begin{aligned} {\mathcal {H}}^{p,q}_*(-;\underline{s}',\underline{s}'';\underline{t}',\underline{t}'')\circ {\mathcal {H}}^{p,q}_*(-;\underline{s},\underline{s}';\underline{t},\underline{t}')= {\mathcal {H}}^{p,q}_*(-;\underline{s},\underline{s}'';\underline{t},\underline{t}''). \end{aligned}$$

8.2 The array filtration

The next step is to define a filtration on \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) by closed subspaces \(F^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), for \(\nu \ge -1\).

Definition 8.9

Let \(P\in \text {Ran} ({\mathcal {R}})\) be a finite, possibly empty subset of \({\mathcal {R}}\), and use Notation 2.4- We define the horizontal array degree of P, denoted \(\text {arr} _{\text {hor} }(P)\ge 0\), as the cardinality of the finite set \(\Re (P)\setminus \left\{ 0,1\right\} =\left\{ \Re (z_1),\dots ,\Re (z_k)\right\} \setminus \left\{ 0,1\right\} \); similarly we define the vertical array degree of P, denoted \(\text {arr} _{\text {ver} }(P)\ge 0\), as the cardinality of the finite set \(\Im (P)\setminus \left\{ 0,1\right\} =\left\{ \Im (z_1),\dots ,\Im (z_k)\right\} \setminus \left\{ 0,1\right\} \). The array bidegree \(\text {arr} (P)\) is defined as the couple \((\text {arr} _{\text {hor} }(P),\text {arr} _{\text {ver} }(P))\), and the total array degree is defined as \(|\text {arr} |(P)=\text {arr} _{\text {hor} }(P)+\text {arr} _{\text {ver} }(P)\).

For \({\mathfrak {c}}=(P,\psi )\in \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) we define \(\text {arr} ({\mathfrak {c}})=(\text {arr} _{\text {hor} }({\mathfrak {c}}),\text {arr} _{\text {ver} }({\mathfrak {c}})):=\text {arr} (P)\), and \(|\text {arr} |({\mathfrak {c}})=|\text {arr} |(P)\). For \(\nu \ge -1\) we define \(F^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) as the subspace of \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) containing all configurations \({\mathfrak {c}}\) with \(|\text {arr} |({\mathfrak {c}})\le \nu \). For \(\nu \ge 0\) we define \({\mathfrak {F}}^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) as the difference \(F^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\setminus F^{\text {arr} }_{\nu -1}\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\).

Roughly speaking, \(F^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) contains configurations \({\mathfrak {c}}=(P,\psi )\) such that the total number of horizontal and vertical lines passing through some point of P, excluding the sides of \({\mathcal {R}}\), does not exceed \(\nu \). Similarly, \({\mathfrak {F}}^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) contains those configurations \({\mathfrak {c}}\) for which this total number of lines is equal to \(\nu \).

Lemma 8.10

For \(\nu \ge -1\) the subspace \(F^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\subset \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) is closed.

Proof

We prove that \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\setminus F^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) is open. Let \({\mathfrak {c}}\in \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) be a configuration with \(|\text {arr} ({\mathfrak {c}})|\ge \nu +1\), use Notations 3.6 and 2.6, and let \(\underline{U}\) be an adapted covering of P with the following property: for all \(1\le i\le k\) the projection \(\Re (U_i)\subset {\mathbb {R}}\) intersects the finite set \(\Re (P)\cup \left\{ 0,1\right\} \) only in the point \(\Re (z_i)\), and the projection \(\Im (U_i)\subset {\mathbb {R}}\) intersects the finite set \(\Im (P)\cup \left\{ 0,1\right\} \) only in the point \(\Im (z_i)\).

We claim that \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\) is contained in \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\setminus F^{\text {arr} }_\nu \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\). Let \({\mathfrak {c}}'\in {\mathfrak {U}}({\mathfrak {c}};\underline{U})\); then \(P'\) intersects each \(U_i\) in at least one point; by the choice of \(\underline{U}\) we have \(\text {arr} _{\text {hor} }({\mathfrak {c}}')\ge \text {arr} _{\text {hor} }({\mathfrak {c}})\) and \(\text {arr} _{\text {ver} }({\mathfrak {c}}')\ge \text {arr} _{\text {ver} }({\mathfrak {c}})\), hence \(|\text {arr} |({\mathfrak {c}}')\ge |\text {arr} |({\mathfrak {c}})\ge \nu +1\). \(\square \)

8.3 Standard generating set

We introduce, for a finite set \(P\subset {\mathcal {R}}\), a particular admissible generating set of \({\mathfrak {G}}(P)\), the standard generating set. Fix \(P\subset {\mathcal {R}}\), and let \(\Re (P)\cup \left\{ 0,1\right\} \) consist of the points \(0=x_0<x_1<\dots<x_p<x_{p+1}=1\), where \(p=\text {arr} _{\text {hor} }(P)\); similarly let \(0=y_0<y_1<\dots<y_q<y_{q+1}=1\) be the elements of \(\Im (P)\cup \left\{ 0,1\right\} \), where \(q=\text {arr} _{\text {ver} }(P)\). For all \((i,j)\in \left\{ 0,\dots ,p+1\right\} \times \left\{ 0,\dots ,q+1\right\} \) denote by \(z_{i,j}\) the complex number \(x_i+y_j\sqrt{-1}\in {\mathbb {C}}\), and let \(I(P)\subset \left\{ 0,\dots ,p+1\right\} \times \left\{ 0,\dots ,q+1\right\} \) be the subset of pairs (ij) such that \(z_{i,j}\) is a point of P.

Recall Notation 6.8.For all \((i,j)\in I(P)\) with \(0\le i\le p\) let \(\zeta ^{P,\text {std} }_{i,j}\) be an arc contained in \({\mathbb {S}}_{x_i,x_{i+1}}\) and joining \(*\) with \(z_{i,j}\). Similarly, for all \((p+1,j)\in I(P)\) let \(\zeta ^{P,\text {std} }_{p+1,j}\) be an arc contained in \({\mathbb {S}}_{1,\infty }\) joining \(*\) with \(z_{p+1,j}\). Up to changing the arcs by an isotopy, we may assume that the arcs \(\zeta ^{P,\text {std} }_{i,j}\) are disjoint away from \(*\). Note also that these arcs are uniquely determined up to an ambient isotopy of \({\mathbb {C}}\) that fixes P pointwise and preserves each subspace \({\mathbb {S}}_{x_i,x_{i+1}}\).

Definition 8.11

Recall Definition 2.8. We denote by \((f^{P,\text {std} }_{i,j})_{(i,j)\in I(P)}\) the admissible generating set of \({\mathfrak {G}}(P)\) associated with the arcs \(\zeta ^{P,\text {std} }_{i,j}\), and call it the standard generating set for \({\mathfrak {G}}(P)\). See Fig. 9.

Fig. 9
figure 9

The standard generating set of a configuration \(P\subset {\mathcal {R}}\); we have \(\text {arr} _\text {hor} (P)=2\) and \(\text {arr} _\text {ver} (P)=3\). The dashed loop represents the product \(cf_{1,3}\in {\mathfrak {G}}(P)\)

We will also make use of the following products of standard generators, compare with [3, Notation 6.7].

Notation 8.12

Use the notation from Definition 8.11. For \(0\le i\le p+1\) and \(0\le j\le q+2\) we denote by \(cf^{P,\text {std} }_{i,j}\) the product

$$\begin{aligned} cf^{P,\text {std} }_{i,j}=f^{P,\text {std} }_{i,0}f^{P,\text {std} }_{i,1}\dots f^{P,\text {std} }_{i,j-1}\in {\mathfrak {G}}(P), \end{aligned}$$

where we set \(f^{P,\text {std} }_{i,j}=\mathbb {1}\in {\mathfrak {G}}(P)\) whenever (ij) does not belong to I(P).

One can represent \(cf^{P,\text {std} }_{i,j}\) by a simple loop \(\gamma \subset {\mathbb {C}}\setminus P\) satisfying the following:

  • \(\gamma \subset {\mathbb {S}}_{x_{i-1},x_{i+1}}\cap \left\{ z\in {\mathbb {C}}\,|\, \Im (z)<y_j\right\} \), where we use the conventions \(x_{-1}=-\infty \) and \(x_{q+2}=y_{q+2}=\infty \);

  • \(\gamma \) bounds a disc in \({\mathbb {C}}\) containing the points \(z_{i,0},\dots ,z_{i,j-1}\).

In particular \(cf^{P,\text {std} }_{i,j}\in {\mathfrak {Q}}^{\text {ext} }(P)\), see Definition 2.10. For \(j=0\) we have \(cf^{P,\text {std} }_{i,j}=\mathbb {1}\).

8.4 Characteristic maps of cells

In this subsection we introduce maps

$$\begin{aligned} e^{\underline{a}}:\Delta ^p\times \Delta ^q\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+) \end{aligned}$$

depending on a non-degenerate array \(\underline{a}\in \text {Arr} _{p,q}({\mathcal {Q}})\). As we will see, each map \(e^{\underline{a}}\) sends the interior of \(\Delta ^p\times \Delta ^q\) injectively inside \({\mathfrak {F}}^{\text {arr} }_{p+q}\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), and sends the boundary of \(\Delta ^p\times \Delta ^q\) inside \(F^{\text {arr} }_{p+q-1}\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\).

Recall from [3, Definitions 5.8 and 6.6] that the bisimplicial set \(\text {Arr} ({\mathcal {Q}})\) consists of the sets \(\text {Arr} _{p,q}({\mathcal {Q}})\cong \hat{{\mathcal {Q}}}^{(p+2)\times (q+2)}\) for \(p,q\ge 0\). An element \(\underline{a}\in \text {Arr} _{p,q}({\mathcal {Q}})\) is an array of size \((p+2)\times (q+2)\) with entries in \(\hat{{\mathcal {Q}}}\). For \(p\ge 1\) and \(0\le i\le p\), the ith horizontal face map is denoted \(d^{\text {hor} }_i:\text {Arr} _{p,q}({\mathcal {Q}})\rightarrow \text {Arr} _{p-1,q}({\mathcal {Q}})\), and for \(q\ge 1\) and \(0\le j\le q\), the jth vertical face map is denoted \(d^{\text {ver} }_j:\text {Arr} _{p,q}({\mathcal {Q}})\rightarrow \text {Arr} _{p,q-1}({\mathcal {Q}})\). Similarly \(s^{\text {hor} }_i\) and \(s^{\text {ver} }_j\) denote the horizontal and vertical degeneracy maps. Formulas for face and degeneracy maps are given in [3, Lemma 6.8]. An array \(\underline{a}\in \text {Arr} _{p,q}({\mathcal {Q}})\) is non-degenerate if and only if it is not in the image of any horizontal or vertical degeneracy map of the bisimplicial set \(\text {Arr} ({\mathcal {Q}})\).

Notation 8.13

For \(\underline{a}\in \text {Arr} (p,q)\) we let \(I(\underline{a})\subset \left\{ 0,\dots ,p+1\right\} \times \left\{ 0,\dots ,q+1\right\} \) denote the set of pairs (ij) with \(a_{i,j}\ne \mathbb {1}\).

An array \(\underline{a}\) is non-degenerate if and only if the following conditions hold, compare with [3, Sect. 6.3]:

  • for all \(1\le i\le p\) there is \(0\le j\le q+1\) with \((i,j)\in I(\underline{a})\);

  • for all \(1\le j\le q\) there is \(0\le i\le p+1\) with \((i,j)\in I(\underline{a})\).

Our next goal is to define, for any non-degenerate array \(\underline{a}\in \text {Arr} (p,q)\), a configuration \({\mathfrak {c}}_{\underline{a}}\in \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) with \(\text {arr} _{\text {hor} }({\mathfrak {c}}_{\underline{a}})=p\) and \(\text {arr} _{\text {ver} }({\mathfrak {c}}_{\underline{a}})=q\): it will be the “central” configuration in the image of \(e^{\underline{a}}\).

Notation 8.14

We denote by \(P^{p,q}\subset {\mathcal {R}}\) the set of complex numbers \(z^{p,q}_{i,j}:=\frac{i}{p+1}+\frac{j}{q+1}\sqrt{-1}\), with \(0\le i\le p+1\) and \(0\le j\le q+1\).

We let \(P_{\underline{a}}\subset P^{p,q}\) be the set containing all elements \(z^{p,q}_{i,j}\) for \((i,j)\in I(\underline{a})\).

Since \(\underline{a}\) is admissible we have \(\text {arr} _{\text {hor} }(P_{\underline{a}})=p\) and \(\text {arr} _{\text {ver} }(P_{\underline{a}})=q\).

Notation 8.15

We denote by \((f^{\underline{a}}_{i,j})_{(i,j)\in I(\underline{a})}\) the standard generating set \((f^{P_{\underline{a}},\text {std} }_{i,j})\) of \({\mathfrak {G}}(P_{\underline{a}})\) (see Definition 8.11). For \(0\le i\le p+1\) and \(0\le j\le q+2\) we denote by \(cf^{\underline{a}}_{i,j}\) the product \(cf^{P_{\underline{a}},\text {std} }_{i,j}\) (see Notation 8.12).

Definition 8.16

We define \({\mathfrak {c}}_{\underline{a}}\) as the configuration \((P_{\underline{a}},\psi _{\underline{a}})\in \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), where \(\psi _{\underline{a}}\) is defined by setting \(\psi _{\underline{a}}:f^{\underline{a}}_{i,j}\mapsto a_{i,j}\) for all \((i,j)\in I(\underline{a})\).

Note that since \(\hat{{\mathcal {Q}}}\) is complete we have an equality \({\mathfrak {Q}}^{\text {ext} }(P_{\underline{a}})={\mathfrak {Q}}^{\text {ext} }(P_{\underline{a}})_{\psi _{\underline{a}}}\), so that we can extend \(\psi _{\underline{a}}\) to a map of PMQs \(\psi ^{\text {ext} }_{\underline{a}}:{\mathfrak {Q}}^{\text {ext} }(P_{\underline{a}})\rightarrow \hat{{\mathcal {Q}}}\); the element \(cf^{\underline{a}}_{i,j}\in {\mathfrak {Q}}^{\text {ext} }(P_{\underline{a}})\) is mapped to the product \(a_{i,0}\dots a_{i,j-1}\in \hat{{\mathcal {Q}}}\) along \(\psi ^{\text {ext} }_{\underline{a}}\).

Definition 8.17

Recall Notation 8.3 and Definition 8.4, and note that for all \(\underline{s}\in \Delta ^p\) the pair \((\underline{\mathfrak {bar}}^p,\underline{s})\) belongs to \(\breve{\Delta }^{p,p}\). For a non-degenerate array \(\underline{a}\in \text {Arr} (p,q)\) we define a continuous map \(e^{\underline{a}}:\Delta ^p\times \Delta ^q\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) by the formula

$$\begin{aligned} e^{\underline{a}}(\underline{s};\underline{t})={\mathcal {H}}^{p,q}_*\left( {\mathfrak {c}}_{\underline{a}};\,\underline{\mathfrak {bar}}^p,\,\underline{s};\,\underline{\mathfrak {bar}}^q,\,\underline{t}\right) . \end{aligned}$$

Lemma 8.18

Let \(\underline{a}\in \text {Arr} _{p,q}\) be non-degenerate; then \(e^{\underline{a}}\) satisfies the following:

  • \(e^{\underline{a}}\) sends the interior of \(\Delta ^p\times \Delta ^q\) injectively inside \({\mathfrak {F}}^{\text {arr} }_{p+q}\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\);

  • \(e^{\underline{a}}\) sends \(\partial (\Delta ^p\times \Delta ^q)\) inside \(F^{\text {arr} }_{p+q-1}\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\).

Proof

Let \((\underline{s},\underline{t})\in \Delta ^p\times \Delta ^q\), and let \({\mathfrak {c}}=(P,\psi ):=e^{\underline{a}}(\underline{s},\underline{t})\). Then P is the image of \(P_{\underline{a}}\) along the map \({\mathcal {H}}^{p,q}(-;\underline{\mathfrak {bar}}^p,\underline{s};\underline{\mathfrak {bar}}^q,\underline{t}):{\mathbb {C}}\rightarrow {\mathbb {C}}\). The latter map sends \(z^{p,q}_{i,j}\mapsto s_i+t_j\sqrt{-1}\) for all \(0\le i\le p+1\) and \(0\le j\le q+1\), in particular for \((i,j)\in I(\underline{a})\). It follows that \(\Re (P)\setminus \left\{ 0,1\right\} =\left\{ s_1,\dots ,s_p\right\} \setminus \left\{ 0,1\right\} \) consists of at most p points, and \(\Im (P)\setminus \left\{ 0,1\right\} =\left\{ t_1,\dots ,t_q\right\} \setminus \left\{ 0,1\right\} \) consists of at most q points. More precisely, using that \(\underline{a}\) is non-degenerate, we have that \(|\Re (P)\setminus \left\{ 0,1\right\} |=p\) if \(0<s_1<\dots<s_p<1\), i.e. if \(\underline{s}\) is in the interior of \(\Delta ^p\), whereas \(|\Re (P)\setminus \left\{ 0,1\right\} |<p\) if \(\underline{s}\in \partial \Delta ^p\). Similarly \(|\Im (P)\setminus \left\{ 0,1\right\} |=q\) if \(\underline{t}\) is in the interior of \(\Delta ^q\), and \(|\Im (P)\setminus \left\{ 0,1\right\} |<q\) if \(\underline{t}\in \partial \Delta ^q\).

Hence \(|\text {arr} |({\mathfrak {c}})\le p+q\); equality holds if and only if \((\underline{s},\underline{t})\notin \partial (\Delta ^p\times \Delta ^q)\). \(\square \)

Lemma 8.19

Let \(\nu \ge 0\) and let \({\mathfrak {c}}\in {\mathfrak {F}}^{\text {arr} }_{\nu }\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\); then there is precisely one couple of indices \(p,q\ge 0\) with \(p+q=\nu \), and precisely one admissible array \(\underline{a}\in \text {Arr} (p,q)\), such that \({\mathfrak {c}}\) is in the image of \(e^{\underline{a}}\).

Proof

We first show the existence of pq and \(\underline{a}\) with the required properties. Use Notation 3.6 for \({\mathfrak {c}}\), and let \(\Re (P)\cup \left\{ 0,1\right\} =\left\{ 0<s_1<\dots<s_p<1\right\} \) have \(p+2\) elements, for some \(p\ge 0\); similarly let \(\Im (P)\cup \left\{ 0,1\right\} =\left\{ 0<t_1<\dots<t_q<1\right\} \) have \(q+2\) elements, for some \(q\ge 0\). By the hypothesis that \({\mathfrak {c}}\in {\mathfrak {F}}^{\text {arr} }_{\nu }\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) we have the equality \(p+q=|\text {arr} |({\mathfrak {c}})=\nu \).

Define an array \(\underline{a}\) of size \((p+2)\times (q+2)\) by setting \(a_{i,j}=\psi (f^{P,\text {std} }_{i,j})\in \hat{{\mathcal {Q}}}\) for all \((i,j)\in I(P)\), and \(a_{i,j}=\mathbb {1}\) for all \((i,j)\in \left\{ 0,\dots ,p+1\right\} \times \left\{ 0,\dots ,q+1\right\} {\setminus } I(P)\) (see Definition 8.11). The hypothesis that \({\mathfrak {c}}\) lies in \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\subseteq \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}})\) ensures that \(\underline{a}\) is a non-degenerate array in \(\text {Arr} _{p,q}({\mathcal {Q}})\). Moreover we have \(I(\underline{a})=I(P)\).

We claim that \(e^{\underline{a}}\) sends \((\underline{s},\underline{t})\in \Delta ^p\times \Delta ^q\) to \({\mathfrak {c}}\). Indeed \({\mathcal {H}}^{p,q}\left( -;\underline{\mathfrak {bar}}^p,\underline{s};\underline{\mathfrak {bar}}^q,\underline{t}\right) \) is a homeomorphism of \({\mathbb {C}}\), sending \(P_{\underline{a}}\) bijectively to P, and sending the standard generating set \((f^{\underline{a}}_{i,j})_{(i,j)\in I(\underline{a})}\) of \({\mathfrak {G}}(P_{\underline{a}})\) to the standard generating set \((f^{P,\text {std} }_{i,j})_{(i,j)\in I(P)}\) of \({\mathfrak {G}}(P)\). This proves the existence of p, q and \(\underline{a}\) as desired.

For uniqueness, suppose that we are given two integers \(p',q'\ge 0\) and a non-degenerate array \(\underline{a}'\in \text {Arr} (p,q)\), such that \(p'+q'=\nu \) and such that there is a point \((\underline{s}',\underline{t}')\in \Delta ^{p'}\times \Delta ^{q'}\) with \(e^{\underline{a}'}:(\underline{s}',\underline{t}')\mapsto {\mathfrak {c}}\). Then by Lemma 8.18 we have that \((\underline{s}',\underline{t}')\) lies in the interior of \(\Delta ^{p'}\times \Delta ^{q'}\), since \({\mathfrak {c}}\) lies in \({\mathfrak {F}}^{\text {arr} }_{\nu }\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\). Again the map \({\mathcal {H}}^{p',q'}\left( -;\underline{\mathfrak {bar}}^{p'},\underline{s}';\underline{\mathfrak {bar}}^{q'},\underline{t}'\right) \) is a homeomorphism of \({\mathbb {C}}\) mapping the set \(P_{\underline{a}'}\) bijectively to the set P by the formula \(z_{i,j}^{p',q'}\mapsto s'_i+\sqrt{-1}t'_j\).

It follows that \(\left\{ 0<s'_1<\dots<s'_{p'}<1\right\} \) is equal to \(\Re (P)\cup \left\{ 0,1\right\} \), and similarly \(\left\{ 0<t'_1<\dots<t'_{q'}<1\right\} \) is equal to \(\Im (P)\cup \left\{ 0,1\right\} \); in particular, comparing with the construction above, we have \(p=p'\), \(q=q'\), \(\underline{s}=\underline{s}'\), \(\underline{t}=\underline{t}'\) and \(I(\underline{a}')=I(P)\).

Since \({\mathcal {H}}^{p',q'}\left( -;\underline{\mathfrak {bar}}^{p'},\underline{s}';\underline{\mathfrak {bar}}^{q'},\underline{t}'\right) \) gives a bijection between the standard generating sets \((f^{\underline{a}'}_{i,j})_{(i,j)\in I(\underline{a}')}\) and \((f^{P,\text {std} }_{i,j})_{(i,j)\in I(P)}\), it also follows that

$$\begin{aligned} a'_{i,j}=\psi _{\underline{a}'}(f^{\underline{a}'}_{i,j})=\psi (f_{i,j})=a_{i,j} \end{aligned}$$

for all \((i,j)\in I(P)\), where \(\psi _{\underline{a}'}\) is the monodromy of the configuration \({\mathfrak {c}}_{\underline{a}'}\), see Definition 8.16; hence \(\underline{a}'=\underline{a}\). \(\square \)

8.5 Face restrictions and the bijection \(\upsilon \)

In the following two propositions we analyse the restriction of \(e^{\underline{a}}\) to a face of \(\Delta ^p\times \Delta ^q\), and thus establish a link between the bisimplicial set \(\text {Arr} ({\mathcal {Q}})\) and the cell stratification on \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\).

Notation 8.20

For \(0\le i\le p\) we denote by \(d^{\text {hor} }_i\Delta ^p\times \Delta ^q\) the face \((d_i\Delta ^p)\times \Delta ^q\subset \Delta ^p\times \Delta ^q\); for \(0\le j\le q\) we denote by \(d^{\text {ver} }_j\Delta ^p\times \Delta ^q\) the face \(\Delta ^p\times (d_j\Delta ^q)\subset \Delta ^p\times \Delta ^q\).

Each face \(d_i\Delta ^p\subset \Delta ^p\) can be identified with a the simplex \(\Delta ^{p-1}\) by using either the coordinates \((s_1,\dots ,s_{i-1},s_{i+1},\dots ,s_p)\), for \(i\ne 0\), or the coordinates \((s_1,\dots ,s_i,s_{i+2},\dots ,s_p)\), for \(i\ne p\); for \(1\le i\le p-1\) the two choices give rise to the same identification. Similarly, there are canonical identifications of \(d^{\text {hor} }_i\Delta ^p\times \Delta ^q\) with \(\Delta ^{p-1}\times \Delta ^q\), and of \(d^{\text {ver} }_j\Delta ^p\times \Delta ^q\) with \(\Delta ^p\times \Delta ^{q-1}\).

Proposition 8.21

Let \(\underline{a}\) be a non degenerate array in \(\text {Arr} _{p,q}({\mathcal {Q}})\), for some \(p\ge 1\) and \(q\ge 0\), and let \(0\le i\le p\). Then the restriction of \(e^{\underline{a}}:\Delta ^p\times \Delta ^q\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) to the face \(d^{\text {hor} }_i\Delta ^p\times \Delta ^q\cong \Delta ^{p-1}\times \Delta ^q\) is equal to the map \(e^{\underline{a}'}\), where \(\underline{a}'=d^{\text {hor} }_i\underline{a}\).

Proposition 8.22

Let \(\underline{a}\) be a non degenerate array in \(\text {Arr} _{p,q}({\mathcal {Q}})\), for some \(p\ge 0\) and \(q\ge 1\), and let \(0\le j\le q\). Then the restriction of \(e^{\underline{a}}:\Delta ^p\times \Delta ^q\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) to the face \(d^{\text {ver} }_j\Delta ^p\times \Delta ^q\cong \Delta ^p\times \Delta ^{q-1}\) is equal to the map \(e^{\underline{a}'}\), where \(\underline{a}'=d^{\text {ver} }_j\underline{a}\).

The expressions “\(d^{\text {hor} }_i\underline{a}\)” and “\(d^{\text {ver} }_j\underline{a}\)” refer to the bisimplicial set \(\text {Arr} ({\mathcal {Q}})\). The proof of Propositions 8.21 and 8.22 is in Sects. A.10 and A.11 of the appendix.

Recall from [3, Lemma 6.10] that there is a semi-bisimplicial set \(\text {Arr} ^{\text {ndeg} }({\mathcal {Q}})\) containing all non-degenerate arrays of \(\text {Arr} ({\mathcal {Q}})\), and with vertical and horizontal face maps given by the restriction of those of \(\text {Arr} ({\mathcal {Q}})\). Consider the geometric realisation \(|\!|\text {Arr} ^{\text {ndeg} }({\mathcal {Q}})|\!|\) of the semi-bisimplicial complex \(\text {Arr} ^{\text {ndeg} }({\mathcal {Q}})\), and note that there is a homeomorphism \(|\!|\text {Arr} ^{\text {ndeg} }({\mathcal {Q}})|\!|\cong |\text {Arr} ({\mathcal {Q}})|\).

By Propositions 8.21 and 8.22 we obtain a continuous map

$$\begin{aligned} \upsilon :|\text {Arr} ({\mathcal {Q}})|\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+). \end{aligned}$$

Lemmas 8.18 and 8.19 imply that \(\upsilon \) is bijective; if we consider on \(|\text {Arr} ({\mathcal {Q}})|\) the skeletal filtration and on \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) the filtration \(F^{\text {arr} }_{\bullet }\), then Lemma 8.18 also implies that \(\upsilon \) is a map of filtered spaces.

We say that an entry \(a_{i,j}\) of an array \(\underline{a}\in \text {Arr} _{p,q}({\mathcal {Q}})\) is in boundary position if \(i\in \left\{ 0,p+1\right\} \) or \(j\in \left\{ 0,q+1\right\} \) (or both conditions hold). Recall from [3, Definition 6.11 and Lemma 6.12] that we have a sub-bisimplicial set \(\text {NAdm} ({\mathcal {Q}})\subset \text {Arr} ({\mathcal {Q}})\) of non-admissible arrays: an array \(\underline{a}\in \text {Arr} (p,q)\) is non-admissible if either of the following requirements is satisfied:

  • there exists an entry \(a_{i,j}\) lying in \(\hat{{\mathcal {Q}}}\setminus {\mathcal {Q}}\);

  • there exists an entry \(a_{i,j}\ne \mathbb {1}\) in boundary position.

Lemma 8.23

The map \(\upsilon \) restricts to continuous bijections

$$\begin{aligned} \upsilon :|\text {NAdm} ({\mathcal {Q}})|\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\setminus \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+); \end{aligned}$$
$$\begin{aligned} \upsilon :\text {Hur} ^{\Delta }({\mathcal {Q}})=|\text {Arr} ({\mathcal {Q}})|\setminus |\text {NAdm} ({\mathcal {Q}})|\rightarrow \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+). \end{aligned}$$

Proof

Let \({\mathfrak {c}}\in \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), and use Notation 3.6. In the proof of Lemma 8.19 we have given a construction, depending on \({\mathfrak {c}}\), of a couple of numbers \(p,q\ge 0\), a point \((\underline{s},\underline{t})\) in the interior of \(\Delta ^p\times \Delta ^q\) and a non-degenerate array \(\underline{a}\in \text {Arr} (p,q)\) such that \({\mathfrak {c}}=e^{\underline{a}}(\underline{s},\underline{t})\). The data \((\underline{a};\underline{s},\underline{t})\) represent a point in \(|\text {Arr} ({\mathcal {Q}})|\), which is precisely the preimage \(\upsilon ^{-1}({\mathfrak {c}})\); we have \(\upsilon ^{-1}({\mathfrak {c}})\in |\text {NAdm} ({\mathcal {Q}})|\) if and only if \(\underline{a}\) is non-admissible.

The array \(\underline{a}\) was constructed by considering the standard generating set of \({\mathfrak {G}}(P)\), and by setting \(a_{i,j}=\psi (f^{P,\text {std} }_{i,j})\) for \((i,j)\in I(P)\), and \(a_{i,j}=\mathbb {1}\) otherwise. It follows that \(\underline{a}\) has all entries in \({\mathcal {Q}}\) if and only if \(\psi :{\mathfrak {Q}}(P)\rightarrow \hat{{\mathcal {Q}}}\) has image in \({\mathcal {Q}}\), that is, \({\mathfrak {c}}\in \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)\); and \(\underline{a}\) has all entries in boundary position equal to \(\mathbb {1}\) if and only if \(P\subset \mathring{{\mathcal {R}}}\), that is, \({\mathfrak {c}}\in \text {Hur} (\mathring{{\mathcal {R}}};\hat{{\mathcal {Q}}}_+)\). We have therefore

$$\begin{aligned} {\mathfrak {c}}\in \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)=\text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)\cap \text {Hur} (\mathring{{\mathcal {R}}};\hat{{\mathcal {Q}}}_+)\subset \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+) \end{aligned}$$

if and only if \(\underline{a}\) is admissible. \(\square \)

9 Locally finite and Poincaré PMQs

We consider the Hurwitz–Ran spaces \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}})\) in the special cases of a locally finite PMQ and of a Poincaré PMQ \({\mathcal {Q}}\). Recall that a PMQ \({\mathcal {Q}}\) is Poincaré if each connected component of \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) is a topological manifold; this condition implies that \(\hat{{\mathcal {Q}}}\) is endowed with an intrinsic norm \(h:\hat{{\mathcal {Q}}}\rightarrow {\mathbb {N}}\) such that \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\) is an orientable manifold of dimension 2h(a) for all \(a\in \hat{{\mathcal {Q}}}\), see [3, Proposition 6.23]. A Poincaré PMQ is always locally finite, and a locally finite PMQ is always augmented.

9.1 Locally finite PMQs

In this subsection we prove the following theorem.

Theorem 9.1

Let \({\mathcal {Q}}\) be a locally finite PMQ. Then the bijection \(\upsilon :\text {Hur} ^{\Delta }({\mathcal {Q}})\rightarrow \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)\) is a homeomorphism.

We first note that both \(|\text {Arr} ({\mathcal {Q}})|\) and \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\) decompose as topologial disjoint unions of subspaces

$$\begin{aligned} |\text {Arr} |=\coprod _{a\in \hat{{\mathcal {Q}}}}|\text {Arr} ({\mathcal {Q}})(a)|,\quad \quad \quad \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)=\coprod _{a\in \hat{{\mathcal {Q}}}}\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)_a. \end{aligned}$$

Recall from [3, Definition 6.1] the category \(\hat{{\mathcal {Q}}}/\! /\hat{{\mathcal {Q}}}\) and the notion of \(\hat{{\mathcal {Q}}}\)-crossed object in a category. The space \(|\text {Arr} ({\mathcal {Q}})(a)|\) is the geometric realisation of the bisimplicial set \(\text {Arr} ({\mathcal {Q}})(a)\), which is the value at \(a\in \hat{{\mathcal {Q}}}/\! /\hat{{\mathcal {Q}}}\) of the \(\hat{{\mathcal {Q}}}\)-crossed bisimplicial set \(\text {Arr} ({\mathcal {Q}})\): concretely, \(\text {Arr} _{p,q}({\mathcal {Q}})(a)\) contains all arrays \(\underline{a}\) satisfying \(\prod _{i=0}^{p+1}\left( \prod _{j=0}^{q+1}a_{i,j}\right) =a\in \hat{{\mathcal {Q}}}\). For the space \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)_a\), see Notation 6.2.

The map \(\upsilon \) restricts for all \(a\in \hat{{\mathcal {Q}}}\) to a bijection \(\upsilon _a:|\text {Arr} ({\mathcal {Q}})(a)|\rightarrow \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)_a\). Consider first an element \(a\in {\mathcal {Q}}\subset \hat{{\mathcal {Q}}}\). The hypothesis that \({\mathcal {Q}}\) is locally finite implies that \(\text {Arr} ({\mathcal {Q}})(a)\) is a bisimplicial complex with finitely many non-degenerate arrays: hence the geometric realisation \(|\text {Arr} ({\mathcal {Q}})(a)|\) is compact. The bijection \(\upsilon _a\) has thus a compact space as source and a Hausdorff space as target, and is therefore a homeomorphism. Restricting to \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\) and \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\), we have a homeomorphism \(\upsilon _a:\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\rightarrow \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\).

Consider now a generic element \(a\in \hat{{\mathcal {Q}}}\), let \({\mathfrak {c}}\in \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\), use Notation 3.6 and the notation of Sect. 8.3. Let \(\underline{U}\) be an adapted covering of P, and assume that for all \((i,j)\in I(P)\) the component \(U_{i,j}\subset \underline{U}\) containing \(z_{i,j}\) satisfies the following properties:

  • \(\Re (U_{i,j})\) intersects \(\Re (P)\cup \left\{ 0,1\right\} \) only in \(\Re (z_{i,j})\);

  • \(\Im (U_{i,j})\) intersects \(\Im (P)\cup \left\{ 0,1\right\} \) only in \(\Im (z_{i,j})\).

Let \(\bar{\underline{U}}\) denote the union \(\bigcup _{(i,j)\in I(P)}\bar{U}_{i,j}\), i.e. the closure of \(\underline{U}\), and note that \(\bar{\underline{U}}\) is compact. The normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}};\underline{U})\) can be regarded as an open subspace of \(\text {Hur} (\bar{\underline{U}};{\mathcal {Q}}_+)_a\), which by the argument of Proposition 5.1 is homeomorphic to a product of spaces

$$\begin{aligned} \text {Hur} (\bar{\underline{U}};{\mathcal {Q}}_+)_a\cong \prod _{(i,j)\in I(P)}\text {Hur} (\bar{U}_{i,j};{\mathcal {Q}}_+)_{a_{i,j}}, \end{aligned}$$

for suitable elements \(a_{i,j}\in {\mathcal {Q}}\). Note that if Proposition 5.1 is applied using the arcs \((\zeta _{i,j})_{(i,j)\in I(P)}\) yielding the standard generating set of \({\mathfrak {G}}(P)\), then the elements \(a_{i,j}\) are precisely the entries different from \(\mathbb {1}\) of the array \(\underline{a}\) describing the cell of \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\) containing \(\upsilon ^{-1}({\mathfrak {c}})\).

The previous analysis shows that each factor \(\text {Hur} (\bar{U}_{i,j};{\mathcal {Q}}_+)_{a_{i,j}}\) is compact; it follows that \(\text {Hur} (\bar{\underline{U}};{\mathcal {Q}}_+)_a\) is compact i.e. \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) is locally compact.

Consider \(\text {Hur} (\bar{\underline{U}};{\mathcal {Q}}_+)_a\) as a subspace of \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)_a\): the hypothesis that \({\mathcal {Q}}\) is locally finite implies that the preimage \(\upsilon _a^{-1}(\text {Hur} (\bar{\underline{U}};{\mathcal {Q}}_+)_a)\) intersects only finitely many cells in the cell decomposition of \(|\text {Arr} ({\mathcal {Q}})(a)|\). Hence \(\upsilon _a^{-1}(\text {Hur} (\bar{\underline{U}};{\mathcal {Q}}_+)_a)\) is compact, being a closed subset of a finite cell sub-complex of \(|\text {Arr} ({\mathcal {Q}})(a)|\). Since \(\upsilon _a^{-1}(\text {Hur} (\bar{\underline{U}};{\mathcal {Q}}_+)_a)\) contains the open neighbourhood \(\upsilon _a^{-1}({\mathfrak {U}}({\mathfrak {c}};\underline{U}))\) of \(\upsilon _a^{-1}({\mathfrak {c}})\), we obtain that \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\) is also locally compact.

We conclude that \(\upsilon _a:\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\rightarrow \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) is a proper continuous bijection between locally compact spaces, hence it is a homeomorphism.

9.2 A counterexample to Theorem 9.1 for non-locally finite PMQs

For an augmented but not locally finite PMQ \({\mathcal {Q}}\), the bijection \(\upsilon \) may not restrict to a homeomorphism \(\text {Hur} ^{\Delta }({\mathcal {Q}})\rightarrow \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)\): see the following example.

Example 9.2

Let \(\hat{{\mathcal {Q}}}\) be the completion of \({\mathcal {Q}}:={\mathbb {F}}^2\), the free group on two generators \(f_1,f_2\) endowed with trivial multiplication, as in [3, Example 4.13].

Let \({\mathfrak {c}}=(P,\psi )\in \text {Hur} (\mathring{{\mathcal {R}}};\hat{{\mathcal {Q}}}_+)\) be a configuration supported on \(P:=\left\{ z_{\text {c} }\right\} =\left\{ \frac{1+\sqrt{-1}}{2}\right\} \) with \(\psi \) defined by sending the unique element \([\gamma ]\in {\mathfrak {Q}}(P)\setminus \left\{ \mathbb {1}\right\} \) to \(w=\hat{f_1}\hat{f_2}\in \hat{{\mathcal {Q}}}\). For all \(0<\varepsilon \le 1/2\) we have an adapted covering of P of the form \(U_\varepsilon =\left\{ z\in {\mathbb {C}}\,:\,\left| z-z_{\text {c} }\right| <\varepsilon \right\} \); the associated normal neighbouroods \({\mathfrak {U}}({\mathfrak {c}};U_\varepsilon )\) form a fundamental system of neighbouroods of \({\mathfrak {c}}\in \text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\).

For \(\varepsilon >0\), denote by \(P_\varepsilon \) the set of two points \(\left\{ z_{\text {c} }\pm \varepsilon /2\right\} \), and note that \(P_\varepsilon \subset U_\varepsilon \). For every decomposition \(w=a\cdot b\) with respect to \(\hat{{\mathcal {Q}}}_1\) we can define a configuration \({\mathfrak {c}}_{\varepsilon ,a,b}=(P_\varepsilon ,\psi _{a,b})\in {\mathfrak {U}}({\mathfrak {c}};U_{\varepsilon })\), where \(\psi _{a,b}\) sends the standard generators \(f^{P_\varepsilon ,\text {std} }_{1,1}\) and \(f^{P_\varepsilon ,\text {std} }_{2,1}\) to a and b respectively. Using that w has infinitely many non-trivial decompositions with respect to \(\hat{{\mathcal {Q}}}_1\), we obtain for all \(0<\varepsilon \le 1/2\) an infinite family of configurations \({\mathfrak {c}}_{\varepsilon ,a,b}\) supported on the same set \(P_\varepsilon \) and contained in an arbitrary small normal neighbourood \({\mathfrak {U}}({\mathfrak {c}};U_\varepsilon )\).

Note that the configurations \(\upsilon ^{-1}({\mathfrak {c}}_{\varepsilon ,a,b})\), for fixed \(\varepsilon \) and varying ab with \(w=ab\), belong to different open cells of the cell stratification of \(\text {Hur} ^{\Delta }(\hat{{\mathcal {Q}}})\). By a diagonal argument one can find a neighbourood of \(\upsilon ^{-1}({\mathfrak {c}})\) in \(\text {Hur} ^{\Delta }(\hat{{\mathcal {Q}}})\) containing, for all \(\varepsilon >0\), only finitely many points \((\underline{a};\underline{s},\underline{t})\) such that \(\upsilon (\underline{a};\underline{s},\underline{t})\) has support precisely \(P_{\varepsilon }\). Thus \(\upsilon :\text {Hur} ^{\Delta }(\hat{{\mathcal {Q}}})\rightarrow \text {Hur} (\mathring{{\mathcal {R}}};\hat{{\mathcal {Q}}}_+)\) is not a homeomorphism.

In light of Example 9.2 one could argue that the topology on \(\text {Hur} ({\mathcal {R}};\hat{{\mathcal {Q}}}_+)\), described in Sect. 3, is not the correct topology to consider on Hurwitz–Ran spaces, and that one should rather consider the CW topology induced by \(|\text {Arr} ({\mathcal {Q}})|\) along the bijection \(\upsilon \). This would indeed simplify the discussion in this section, by making Theorem 9.1 tautological. Nevertheless it would become much more elaborate to replace the topology on \(\text {Hur} ({\mathfrak {C}};{\mathcal {Q}},G)\), for a generic nice couple \({\mathfrak {C}}\) and a generic PMQ-group pair \(({\mathcal {Q}},G)\), with the topology of a difference of CW complexes. Moreover, the functoriality of Hurwitz–Ran spaces with respect to morphisms of nice couplex, discussed Sect. 4, would also become much more complicated to prove.

9.3 Poincaré PMQs

In this subsection we prove the following theorem.

Theorem 9.3

Let \({\mathcal {Q}}\) be a locally finite PMQ. If for all \(a\in {\mathcal {Q}}\subset \hat{{\mathcal {Q}}}\) the space \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\) is a topological manifold of some dimension, then \({\mathcal {Q}}\) is Poincaré.

Proof

By Theorem 9.1 the simplicial Hurwitz space \(\text {Hur} ^{\Delta }({\mathcal {Q}})\) is homeomorphic to \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)\), so it suffices to prove that for all \(b\in \hat{{\mathcal {Q}}}\) the space \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\) is a topological manifold. In the following we fix \(b\in \hat{{\mathcal {Q}}}\).

Let \({\mathfrak {c}}\in \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\), use Notations 3.6 and 2.6 and let \(\underline{U}\) be an adapted covering of P. By Proposition 5.1 the normal neighbourhood \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\subset \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}})\) is homeomorphic to a product of normal neighbourhoods \(\prod _{i=1}^k{\mathfrak {U}}({\mathfrak {c}}'_i,U_i)\) for suitable configurations \({\mathfrak {c}}'_i\in \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}})\); the argument of the proof of Proposition 5.1 shows in fact that \({\mathfrak {c}}'_i\) is a configuration in \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)\) supported on the single point \(z_i\), and that there is a restricted homeomorphism

$$\begin{aligned} {\mathfrak {U}}({\mathfrak {c}},\underline{U})\cap \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\cong \prod _{i=1}^k\left( {\mathfrak {U}}({\mathfrak {c}}'_i,\underline{U})\cap \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_{b_i}\right) , \end{aligned}$$

with \(b_i=\omega ({\mathfrak {c}}'_i)\). A priori \(b_i\in \hat{{\mathcal {Q}}}\); since \({\mathfrak {c}}'_i\) is supported on one point we have \(b_i\in {\mathcal {Q}}\).

The hypothesis on \({\mathcal {Q}}\) ensures that each space \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_{b_i}\) is a topological manifold; thus also each open subset \({\mathfrak {U}}({\mathfrak {c}}'_i,\underline{U})\cap \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_{b_i}\) is a topological manifold, and therefore \({\mathfrak {U}}({\mathfrak {c}},\underline{U})\cap \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\) is a topological manifold. This shows that each configuration in \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\) has a neighbourhood which is a topological manifold, and thus the space \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\), which is Hausdorff, is a topological manifold. \(\square \)

The proof of Theorem 9.3 can be generalised to homology manifolds as follows.

Definition 9.4

Let R be a commutative ring. A locally finite PMQ \({\mathcal {Q}}\) is R-Poincaré if for all \(a\in \hat{{\mathcal {Q}}}\) the space \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}})\) is a R-homology manifold of some dimension, i.e. for all \({\mathfrak {c}}\in \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)\) the local homology

$$\begin{aligned} \tilde{H}_*\left( \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\,\ \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\setminus \left\{ {\mathfrak {c}}\right\} \;\ R\right) \end{aligned}$$

is isomorphic to R in a single degree, and vanishes in all other degrees.

Lemma 9.5

Let \({\mathcal {Q}}\) be a locally finite PMQ, let \(a\in {\mathcal {Q}}_+\) and let \(z_0\in \mathring{{\mathcal {R}}}\); then the space \(\text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\) is homeomorphic to the cone over the space

$$\begin{aligned} \partial \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a:=\text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\setminus \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a, \end{aligned}$$

with vertex the unique configuration \({\mathfrak {c}}_{z_0,a}\in \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\) supported on \(z_0\).

Proof

Let \(\hat{{\mathcal {Q}}}\) be the completion of \({\mathcal {Q}}\), and note that \(\text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\) is homeomorphic to \(\text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\). Without loss of generality, we may assume that \({\mathcal {Q}}\) is already complete. Note that the space \(\partial \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\) is a closed subspace of \(\text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\), containing all configurations \({\mathfrak {c}}\in \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\) whose support intersects \(\partial {\mathcal {R}}\).

Fix a map \({\mathcal {H}}^{z_0}:{\mathbb {C}}\times [0,1]\rightarrow {\mathbb {C}}\) satisfying the following properties:

  • \({\mathcal {H}}^{z_0}(z,s)=sz_0+(1-s)z\) for all \(z\in {\mathcal {R}}\) and \(0\le s\le 1\);

  • \({\mathcal {H}}^{z_0}(-,s)\) is a lax morphism of nice couples \(({\mathcal {R}},\emptyset )\rightarrow ({\mathcal {R}},\emptyset )\) for all \(0\le s\le 1\).

By Proposition 4.10 we obtain a continuous map \({\mathcal {H}}^{z_0}_*:\text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\times [0,1]\rightarrow \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\), that we can restrict to a map

$$\begin{aligned} \partial {\mathcal {H}}^{z_0}_*:\partial \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\times [0,1]\rightarrow \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a. \end{aligned}$$

The map \(\partial {\mathcal {H}}^{z_0}_*\) sends the subspace \(\partial \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\times \left\{ 1\right\} \) constantly to the configuration \({\mathfrak {c}}_{z_0,a}\). The quotient map

$$\begin{aligned} \partial {\mathcal {H}}^{z_0}_*:\partial \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\times [0,1]\ /\ \partial \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a\times \left\{ 1\right\} \rightarrow \text {Hur} ({\mathcal {R}};{\mathcal {Q}}_+)_a \end{aligned}$$

is a continuous bijection between compact Hausdorff spaces, hence it is a homeomorphism. \(\square \)

In particular for all \(z_0\in \mathring{{\mathcal {R}}}\) we have an isomorphism of homology groups, where R-coefficients are understood:

$$\begin{aligned} \tilde{H}_*\!\left( \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a,\, \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\setminus \left\{ {\mathfrak {c}}_{z_0,a}\right\} \right) \!\cong \! \tilde{H}_*\!\left( |\text {Arr} ({\mathcal {Q}})(a)|\,,\, |\text {NAdm} ({\mathcal {Q}})(a)|\right) . \end{aligned}$$

The argument used in the proof of Theorem 9.3, together with the Künneth isomorphism, implies directly the following theorem.

Theorem 9.6

Let R be a commutative ring and let \({\mathcal {Q}}\) be a locally finite PMQ. Suppose that for all \(a\in {\mathcal {Q}}\) the relative homology groups

$$\begin{aligned} {\tilde{H}}_*\left( |\text {Arr} ({\mathcal {Q}})(a)|,|\text {NAdm} ({\mathcal {Q}})(a)|;R\right) \end{aligned}$$

are supported in a single degree, with corresponding homology group equal to R. Then \({\mathcal {Q}}\) is R-Poincaré.

Theorem 9.6 is the non-trivial arrow of an “if and only if” statement: if \({\mathcal {Q}}\) is R-Poincaré, then in particular for all \(a\in {\mathcal {Q}}\) the space \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\cong \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) is a R-homology manifold; since this space is contractible (see Proposition 6.4), by Poincaré–Lefschetz duality the relative homology groups

$$\begin{aligned} {\tilde{H}}_*\left( |\text {Arr} ({\mathcal {Q}})(a)|,|\text {NAdm} ({\mathcal {Q}})(a)|;R\right) \end{aligned}$$

are supported in one degree, namely the R-homology dimension of \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\), with corresponding group isomorphic to \(H^0(\text {Hur} ^{\Delta }({\mathcal {Q}})(a);R)\cong R\).

The proofs of [3, Proposition 6.23] and [3, Proposition 6.24] generalise to give the following Proposition.

Proposition 9.7

Let R be a commutative ring and let \({\mathcal {Q}}\) be a R-Poincaré PMQ. Then \({\mathcal {Q}}\) is coconnected and admits an intrinsic norm \(h:{\mathcal {Q}}\rightarrow {\mathbb {N}}\).

If we denote by \(h:\hat{{\mathcal {Q}}}\rightarrow {\mathbb {N}}\) also the extension of the intrinsic norm to the completion \(\hat{{\mathcal {Q}}}\) of \({\mathcal {Q}}\), then for all \(a\in \hat{{\mathcal {Q}}}\) the space \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) is a R-homology manifold of dimension 2h(a).

Proof

Recall that for a locally finite PMQ \({\mathcal {Q}}\) the candidate for the intrinsic norm \(h:{\mathcal {Q}}\rightarrow {\mathbb {N}}\) is the function of sets associating with \(a\in {\mathcal {Q}}\) the maximum \(r\ge 0\) for which there exist a decomposition \(a=a_1\dots a_r\) with \(a_i\in {\mathcal {Q}}_+\).

If \(a\in {\mathcal {Q}}_+\) is irreducible, then \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) is homeomorphic to \(\mathring{{\mathcal {R}}}\), which is a R-homology manifold of dimension \(2=2h(a)\); more generally, if \(a=a_1\dots a_r\) is a decomposition witnessing the equality \(h(a)=r\), then we can fix a configuration \({\mathfrak {c}}=(P,\psi )\in \text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) supported on a subset \(P\subset \mathring{{\mathcal {R}}}\) of precisely r points. By Proposition 5.1 a normal neighbourhood of \({\mathfrak {c}}\) is homeomorphic to an open subset of \((\mathring{{\mathcal {R}}})^r\); it follows that the R-homology dimension of \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\), computed around \({\mathfrak {c}}\), is equal to 2h(a).

The same argument, applied to any decomposition \(a=bc\) in \({\mathcal {Q}}\), shows that the R-homology dimension of \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) is equal to the sum of the R-homology dimensions of \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\) and \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_c\): in fact we can find an open set of \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) homeomorphic to the product of two open sets of \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_b\) and \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_c\) respectively. It follows that \(h(a)=h(b)+h(c)\), i.e. h is an intrinsic norm. The R-homology dimension of \(\text {Hur} (\mathring{{\mathcal {R}}};{\mathcal {Q}}_+)_a\) can be computed to be h(a) for a generic \(a\in \hat{{\mathcal {Q}}}\) by the same argument, after fixing a decomposition of a as product of elements of \({\mathcal {Q}}\).

This shows that \({\mathcal {Q}}\) admits an intrinsic norm, and in particular it is maximally decomposable. To prove that \({\mathcal {Q}}\) is coconnected, let \({\mathcal {Q}}_{\le 1}\subset {\mathcal {Q}}\) be the sub-PMQ containing elements of norm \(\le 1\); the inclusion of augmented PMQs \({\mathcal {Q}}_{\le 1}\subset {\mathcal {Q}}\) induces, for all \(a\in \hat{{\mathcal {Q}}}\) a surjective, bisimplicial map \(|\text {Arr} ({\mathcal {Q}}_{\le 1})(a)|\cong |\text {Arr} ({\mathcal {Q}})(a)|\), which is a bijection when restricted to bisimplices of dimension \(2\,h(a)\) and \(2\,h(a)-1\) (see the proof of [3, Proposition 6.23]). Here we write \(|\text {Arr} ({\mathcal {Q}}_{\le 1})(a)|\) for the disjoint union \(\coprod _{a'}|\text {Arr} ({\mathcal {Q}}_{\le 1})(a')|\), where \(a'\) ranges among all elements of \(\widehat{{\mathcal {Q}}_{\le 1}}\) which are sent to \(a\in \hat{{\mathcal {Q}}}\) along the (surjective, but a priori not bijective) map \(\widehat{{\mathcal {Q}}_{\le 1}}\rightarrow \hat{{\mathcal {Q}}}\).

It follows that the induced map

$$\begin{aligned} H_{2h(a)}\left( |\text {Arr} ({\mathcal {Q}}_{\le 1})(a)|,|\text {NAdm} ({\mathcal {Q}}_{\le 1})(a)|\right) \rightarrow H_{2h(a)}\left( |\text {Arr} ({\mathcal {Q}})(a)|,|\text {NAdm} ({\mathcal {Q}})(a)|\right) , \end{aligned}$$

with R-coefficients for homology understood, is an isomorphism of R-modules. The rank of the second R-module is 1, because \(H_{2\,h(a)}\left( |\text {Arr} ({\mathcal {Q}})(a)|,|\text {NAdm} ({\mathcal {Q}})(a)|;R\right) \cong H_0(\text {Hur} ^{\Delta }({\mathcal {Q}})(a))\), and the space \(\text {Hur} ^{\Delta }({\mathcal {Q}})(a)\) is contractible. Similarly the rank of the first R-module is the number of connected components of \(\text {Hur} ^{\Delta }({\mathcal {Q}}_{\le 1})(a)\). It follows that there is exactly one element \(a'\in \widehat{{\mathcal {Q}}_{\le 1}}\) which is mapped to a along the map \(\widehat{{\mathcal {Q}}_{\le 1}}\rightarrow \hat{{\mathcal {Q}}}\), and that \(\text {Hur} ^{\Delta }({\mathcal {Q}}_{\le 1})(a)\) is connected. This shows that \({\mathcal {Q}}\) is coconnected. \(\square \)