Equivariant ℚ-sliceness of strongly invertible knots

We introduce and study the notion of equivariant <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper Q"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -sliceness for strongly invertible knots. On the constructive side, we prove that every <italic>Klein amphichiral knot</italic> , which is a strongly invertible knot admitting a <italic>compatible</italic> negative amphichiral involution, is equivariant <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper Q"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -slice in a single <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper Q"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -homology <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="4"> <mml:semantics> <mml:mn>4</mml:mn> <mml:annotation encoding="application/x-tex">4</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -ball, by refining Kawauchi’s construction and generalizing Levine’s uniqueness result. On the obstructive side, we show that the equivariant version of the classical Fox–Milnor condition, proved recently by the first author [J. Topol. 17 (2024), 44 pp.], also obstructs equivariant <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper Q"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -sliceness. We then introduce the equivariant <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper Q"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Q</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb {Q}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -concordance group and study the natural maps between concordance groups as an application. We also list some open problems for future study.