Uniquely compatible transfer systems for cyclic groups of order p^rq^s

Let A and B be vertices in the same connected component of T. First, if T contains an undirected path of length two of the form

then by restriction, T contains the edges A \cap B \rightarrow A and A \cap B \rightarrow B. This means that T now also has an undirected path from A to B with the direction of the arrows going in the opposite direction, i.e., T contains the path

By definition, this path still lies in the same connected component as A and B.

Now, assume that T contains an undirected path

(Note that arrows can also be the identity, so it does not matter if this path starts or ends with a right or a left arrow.) If we apply the above method to the middle part

we get

and therefore the undirected path becomes

Composing the arrows going in the same direction yields a path of length two. Applying this method inductively to an arbitrary undirected path in T gives the desired result.

First, if two subgroups are in the same connected component of a G-transfer system T, then they are in the same connected component of \text{Hull}(T) because \text{Hull}(T) contains T.

Conversely, given a G-transfer system T, we form \text{Hull}(T) by adding the edge K \to H whenever L \le K \le H and T contains L \to H. Since T already contains L\to H and L \to K (by restriction), adding K\to H does not create a new connection between vertices. Hence, if two vertices are not in the same component of T, then they will not be in the same component of \text{Hull}(T).

Finally, if K\leq H and K and H are in the same component of T, there exists an undirected path of edges in T connecting them both. By Lemma 2.13, we can assume this path to be of the form K \leftarrow L \rightarrow H for some L \le K \le H. In that case, the saturation condition implies precisely that K\to H is in \text{Hull}(T).

Let T' be a saturated transfer system. To show that (T,T') is a compatible pair we must show that Criterion 2 of Definition 3.1 holds (i.e, ?). So, let A, B, and C be subgroups of G such that B and C are subgroups of A. Further, assume B \cap C \to B is in T' and B \to A is in T. We will argue that T' contains C \to A. Since T' contains T, it follows that T' contains B\cap C \to B, B \to A, and B\cap C \to C. Then T' contains B\cap C \to A by transitivity. Finally, since T' is saturated and contains B\cap C \to A and B\cap C \to C, it follows that T' contains C \to A, see picture below.

We recover the saturation condition from the definition of compatibility by letting B = B \cap C in the diagram of ?. This implies that \text{Hull}(T) \subseteq T'.

Let T_0 be the closure of T\cup S under restriction and let T_1 be the closure of T_0 under transitivity. Then T_1 is closed under restriction, since the restriction of a composition of edges can be written as a composition of their restrictions.

Now we take the closure of T_1 under conjugation and denote it by T_2. This is closed under restriction, since the restriction of the conjugate of an edge in T_1 is equal to the conjugate of the restriction of that same edge, and T_1 is closed under restriction. Similarly, T_2 is closed under transitivity since T_1 is closed under transitivity and the composition of conjugates of edges in T_1 is the conjugate of their composition. It follows that T\subset T_2, and T_2 is the smallest transfer system that contains T\cup S. In summary, T_2 is the transfer system that results after doing Step (1), Step (2) and Step (3). Further, every edge in T_2 \setminus T (i.e., every edge added during Steps (1), (2), and (3)) has source e.

Let T' be the closure of T_2 under the compatibility condition with respect to T, i.e., T' is what we get from applying Step (4) to T_2. We will show that T' is closed under restriction, composition and conjugation, and therefore that T' is the smallest G-transfer system compatible with T that contains S, which is our main claim.

We first show that all edges in T' arise from compatibility as the top horizontal edge in ?, where the vertical edges are in T and the bottom horizontal edge is in T_2. This includes the edges in T_2, since they arise from the trivial compatibility diagrams where the vertical edges are the identity. Since we are considering compatibility with respect to T, the compatibility diagrams we consider will have vertical edges in T, and we will say that the top horizontal edge is obtained from the compatibility condition on the bottom horizontal edge.

To show that iterating Step (4) does not give us any new edges, consider ?. There, the edge C \to A is obtained from the compatibility condition on an edge that was itself obtained from the compatibility condition on an edge in T_2. Since T is closed under transitivity, the edges B\cap C \cap E \to C and E \to A are both in T. Given that C\cap B \cap E = C \cap E, the outer square in ? is a compatibility diagram, and it follows that C \to A is given directly by the compatibility condition on an edge in T_2. Therefore, iterating Step (4) does not give us any new edges, and so to show that T' is a transfer system it is sufficient to only consider edges that are either in T_2 or that arise via the compatibility condition as in ?.

To show that T' is closed under restriction, let C\to A be an edge in T', and let D be a subgroup of G. To show that T' contains C\cap D \to A \cap D, we restrict the diagram in ? along D. Since T and T_2 are transfer systems, the vertical edges of the resulting diagram are in T and the bottom horizontal edge is contained in T_2. Similarly, we show that T' is closed under conjugation by conjugating the compatibility diagram in ? by g for all g\in G.

It remains to show that T' is closed under transitivity. Given two edges C \to A and A \to D in T' we consider ?.

In ?, let C \to A and A \to D be obtained in T' by the compatibility condition on the edges C\cap B \to B and A\cap E \to E in T_2, respectively. Then consider the diagram on the right of the figure, where the bottom square is obtained by restricting the compatibility diagram for C\to A along E and the edge C\cap E \to C is obtained by restricting A\cap E \to A along C. If A \cap E is not the trivial subgroup, then A\cap E \to E must be in T, since all the edges in T_2\setminus T have the trivial group as their source. By transitivity of T we then have that B\cap E \to D is in T, which gives a compatibility diagram for C \to D with bottom corners C\cap B \cap E and B\cap E. If instead A \cap E is the trivial subgroup, then so is C\cap E, and in that case C \cap E \to E is in T_2, and we obtain C \to D by the compatibility condition on C \cap E \to E. In either case, it follows that C\to D it in T', as desired.

Therefore, T' is a G-transfer system and is the smallest G-transfer system compatible with T that contains S.

By Corollary 2.15, since T has only one component it follows that \text{Hull}(T) is the complete transfer system. Since Proposition 3.5 shows that if (T,T') is a compatible pair then T' contains \text{Hull}(T), it follows that T is lesser simply paired.

Let (a,b) be the lexicographically smallest vertex in {\normalfont \scalebox{2}[1]{[}}(a,b){\normalfont \scalebox{2}[1]{]}}, so for all (x,y) in {\normalfont \scalebox{2}[1]{[}}(a,b){\normalfont \scalebox{2}[1]{]}} either a<x or a=x and b \leq y. Assume for contradiction that there exists (x,y) in {\normalfont \scalebox{2}[1]{[}}(a,b){\normalfont \scalebox{2}[1]{]}} such that a<x but b>y. (Thus, (a,b) is above and to the left of (x,y).) Since (a,b) and (x,y) are in the same connected component, there exists a path of edges between them. Further, by the subgroup condition of Definition 2.17, T contains neither the edge (a,b) \to (x,y) nor the edge (x,y)\to (a,b). Thus, the path between these two vertices must be undirected. By Lemma 2.13, we can assume that this path has length two. Since (a,b) is the lexicographically smallest vertex, the path is of the form shown below for some vertex (i,j), and thus, (i,j) is above and to the right of both vertices.

However, by restriction of (a,b) \to (i,j) with (x,y), T must contain the edge (a,y) \to (x,y) as well. This means that (a,y) \in {\normalfont \scalebox{2}[1]{[}}(a,b){\normalfont \scalebox{2}[1]{]}}, but (a,y) is lexicographically smaller than (a,b). This is a contradiction, and thus b \le y.

By Proposition 4.3 the connected component of {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}} has a smallest vertex, say (a,b). Then every vertex (i,j) in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}} has the property a \leq i \leq r,~ b \leq j \leq s. Consider the (possibly undirected) path of length at most two connecting (a,b) and (r,s). By the subgroup condition, (a,b) must be the start of any edge containing it, and (r,s) must be the end. Thus, the path connecting them is of length one, and T contains the edge (a,b) \to (r,s). Then by restriction, if a \leq i \leq r,~ b \leq j \leq s, then T contains (a,b) \to (i,j), and hence every vertex in the rectangle is in the component of (r,s).

Consider an undirected path of length at most two between (a,b) and (x,y). By minimality of (a,b) and the subgroup condition, any edge involving (a,b) must start at (a,b). Thus, if the path is of length one, we are done. If it is of length two, it is of the form

for some (u,v), with a\leq x \leq u and b\leq y \leq v. Restricting (a,b)\to(u,v) along (x,y) gives that the edge (a,b)\to (x,y) is in T, as desired.

Let T be a transfer system with at least three components, and let (i,j) be the lexicographically smallest vertex not in \0_T. (Note that every subset of the grid has a lexicographically smallest element.) First, suppose (i,j) \in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. Then since (i,j) is the smallest vertex not in \0_T, it must be the smallest vertex in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. By Lemma 4.6, T contains the edge (i,j) \to (r,s), and by restriction, contains edges (i,j) \to (x,y) for all (x,y) lexicographically larger than (i,j). Since (i,j) is the lexicographically smallest vertex not in \0_T, it follows that T contains an edge from (i,j) to all (x,y) not in \0_T and hence all (x,y) not in \0_T are in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. This implies T has exactly two connected components, which is a contradiction.

Now suppose (i,j) is not in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. Using Remark 4.1, let T' be the smallest transfer system compatible with T that contains (0,0)\to (i,j). We show that T' is not complete by showing that T' does not contain an edge from (0,0) to any vertex in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. Since (i,j) is the smallest vertex not in \0_T, adding in all edges required by restriction and transitivity to make T' into a transfer system does not produce an edge in T' from (0,0) to {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T.

By Lemma 3.6 such an edge would only come from the compatibility requirements. In order for compatibility to induce an edge between vertices in \0 and {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T, following the diagrams of Remark 3.12, subgroups A and B must be in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T, subgroup C must be in \0 and T' must contain the edge B\cap C \to B. But, since B\cap C must be in \0_T, an edge B\cap C \to B in T' would be an edge between \0_T and {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. So, in order for T' to contain an edge from (0,0) to a vertex in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T, it must already contain an edge from \0 to {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T, and we showed in the previous paragraph that no such edge exists.

Thus, T' contains no edges (0,0) to {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T and is not complete. It follows that T is not lesser simply paired.

Since T has exactly two connected components, those components must be \0 and {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}. By Corollary 4.5, {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}} is a rectangle. Since \0 is the complement of {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}, it follows that \0 must be as described in the proposition.

Suppose \0_T is H_k for some k>0. Thus, \0_T is a horizontal rectangle of height k and the vertex (0,k+1) is the smallest vertex in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. The proof when \0_T=V_{\ell} is analogous by symmetry, see Remark 4.11.

Let T' be the smallest transfer system compatible with T that contains the edge (0,0)\to (0,k+1). We will use the explicit construction of T' from Lemma 3.6. By Lemma 4.6 and transitivity, T' contains an edge (0,0)\to (x,y) for all (x,y) in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. Using the compatibility diagrams from Remark 3.12 with A=(x,y), B=(0,k+1) and C=(a,0) for some 0<a<x, it follows that T' contains the edge (a,0)\to(x,y) for all (x,y)\in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T and all 0<a<x.

To show that T' is not complete, let (a,b) be an arbitrary vertex in \0_T with b>0 and let (x,y) be an arbitrary vertex in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. We will show that T' does not contain the edge (a,b)\to (x,y). First we note that such an edge cannot arise by restriction or transitivity in T' because there is no such edge in T to begin with since the source and target lie in different components. The addition of (0,0)\to(0,k+1) does not affect that.

Next, in order for such an edge to arise from compatibility, using the diagrams from Remark 3.12, A must be (x,y) and C must be (a,b). As T needs to contain the edge B \to A, B must be another vertex in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. As C \in \0_T and B \cap C \to C lies in T, B \cap C must be in \0_T too. Furthermore, B \cap C \to B lies in T' but not in T. Therefore, B \cap C must be (i,0) for some 0 \le i \le r since we showed that the edges so far obtained in T' and not in T from compatibility, transitivity, or restriction are of this form and T' is the smallest such transfer system compatible with T. However, if C=(a,b), then B\cap C cannot equal (i,0) because if B=(a_1,b_2), then the second coordinate of B \cap C is the minimum of b and b_2, which are both greater than 0 by assumption. Thus, compatibility does not require that T' contain an edge (a,b) \to (x,y).

Therefore, T' is not complete, and hence T is not lesser simply paired.

Assume \0_T = L_{(\ell,k)}, so the smallest vertex in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T is (\ell+1,k+1). Using Lemma 3.6 and Remark 4.1, let T' be the the smallest transfer system compatible with T that contains the edge (0,0)\to(\ell+1,k+1). We will show that T' is not complete.

Since (\ell+1,k+1) is the smallest edge in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T, by Lemma 4.6 and transitivity, T' contains all edges (0,0)\to (i,j) for all (i,j)\in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. By restriction, T' contains all edges (0,0)\to(i,j) for i<\ell+1 and j<k+1, but all such edges are already in \text{Hull}(T) (and by Proposition 3.5, T' contains \text{Hull}(T)). No further edges will arise from restriction and transitivity.

We argue that T' contains no arrows other than \text{Hull}(T) and the arrows (0,0) \to (i,j) for all 0 \leq i \leq r and 0 \leq j \leq s.

We now consider the compatibility diagrams of Remark 3.12. In order to obtain further edges from compatibility, we need to choose subgroups A, B, and C such that A and B are in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T, C in {\normalfont \scalebox{2}[1]{[}}(0,0){\normalfont \scalebox{2}[1]{]}}_T, and B\cap C = (0,0). However, since B=(i,j) for i \ge \ell+1 and j \ge k+1, there is no C in {\normalfont \scalebox{2}[1]{[}}(0,0){\normalfont \scalebox{2}[1]{]}}_T such that B\cap C = (0,0). Thus, compatibility with T does not require that T' contain any other edges. Therefore, T' is not complete, showing that T is not lesser simply paired.

To prove the forward implication, assume that \0 is neither V_0 nor H_0. Then T is not lesser simply paired by Lemma 4.14 or Lemma 4.12.

For the reverse implication, assume that \0=H_0 and hence {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}={\normalfont \scalebox{2}[1]{[}}(0,1){\normalfont \scalebox{2}[1]{]}}. We will show that T is lesser simply paired. The proof when \0=V_0 is analogous by symmetry. Following Remark 4.1, we will show that adding any edge to \text{Hull}(T) will generate the complete transfer system by compatibility.

Recall that the only edges not in \text{Hull}(T) are edges between the components \0 and {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}, so let T' be the smallest compatible transfer system containing the edge (i,0)\to (x,y) for an arbitrary (i,0) in H_0 and arbitrary (x,y) in {\normalfont \scalebox{2}[1]{[}}(r,s){\normalfont \scalebox{2}[1]{]}}_T. By restriction along (0,1), T' contains the edge (0,0) \to (0,1), and by Lemma 4.6, T contains the edges (0,1)\to (r,1) and (0,0)\to (r,0). Thus, by compatibility, T' contains the edge (r,0)\to(r,1), see diagram below.

By restriction along (i,1), T' contains all edges (i,0) \to (i,1). Since T' contains \text{Hull}(T), Proposition 2.14 and transitivity imply that T' contains all edges, making T' complete. It follows that T is lesser simply paired.