Milnor's concordance invariants for knots on surfaces

Abstract: Milnor's $\bar{\mu}$-invariants of links in the $3$-sphere $S^3$ vanish on any link concordant to a boundary link. In particular, they are trivial on any knot in $S^3$. Here we consider knots in thickened surfaces $\Sigma \times [0,1]$, where $\Sigma$ is closed and oriented. We construct new concordance invariants by adapting the Chen-Milnor theory of links in $S^3$ to an extension of the group of a virtual knot. A key ingredient is the Bar-Natan $\textit{Zh}$ map, which allows for a geometric interpretation of the group extension. The group extension itself was originally defined by Silver-Williams. Our extended $\bar{\mu}$-invariants obstruct concordance to homologically trivial knots in thickened surfaces. We use them to give new examples of non-slice virtual knots having trivial Rasmussen invariant, graded genus, affine index (or writhe) polynomial, and generalized Alexander polynomial. Furthermore, we complete the slice status classification of all virtual knots up to five classical crossings and reduce to four (out of 92800) the number of virtual knots up to six classical crossings having unknown slice status. Our main application is to Turaev's concordance group $\mathscr{VC}$ of long knots on surfaces. Boden and Nagel proved that the concordance group $\mathscr{C}$ of classical knots in $S^3$ embeds into the center of $\mathscr{VC}$. In contrast to the classical knot concordance group, we show $\mathscr{VC}$ is not abelian; answering a question posed by Turaev.