On cardinalities whose arithmetical properties determine the structure of solutions of the Yang--Baxter equation

The aim of this paper is to provide purely arithmetical characterisations of those natural numbers $n$ for which every non-degenerate set-theoretic solution of cardinality $n$ of the Yang--Baxter equation arising from a skew brace (sb-solution for short) satisfies some relevant properties, such as being a flip or being involutive. For example, it turns out that every sb-solution of cardinality $n$ has finite multipermutation level if and only if its prime factorisation $n= p_1^{\alpha_1} \ldots p_t^{\alpha_t}$ is cube-free, namely $\alpha_i\leq 2$ for every $i$, and $p_i$ does not divide $p_j^{\alpha_j}-1$ for $i\neq j$. Two novel constructions of skew braces will play a central role in our proofs. We shall also introduce the notion of supersoluble solution and show how this concept is related to that of supersoluble skew brace. In doing so, we have spotted an irreparable mistake in the proof of Theorem C [Ballester-Bolinches et al., Adv. Math. 455 (2024)], which characterizes soluble solutions in terms of soluble skew braces.