Type Construction and Cycle Detection

In this paper, we show that if $k\geq 6$ and $k \equiv 2 \pmod 4$, then there exists an almost resolvable $k$-cycle system of order $2kt+1$ for all $t\ge 1$ except possibly for $t=2$ and $k\geq 14$. Thus we give a partial solution to an open problem posed by Lindner, Meszka, and Rosa (J. Combin. Des., vol. 17, pp.404-410, 2009).

In this paper, we define the virtual fundamental cycle of a global Kuranishi chart as an element in the (analytic) orbispace K-homology of the virtual orbifold and verify that it defines the same invariants as those in \cite{Abouzaid23}.