Applications of the L-space satellite formula

Abstract: We give a formula for the $\tau$-invariant of a satellite knot $P(K,n)$ when $P$ is an L-space satellite operator. Our formula holds for general L-space satellite operators $P$ when the companion $K$ satisfies $\epsilon(K)=1$. When $\epsilon(K)$ is $0$ or $-1$, we state a formula which requires some additional assumptions on $P$ or $n$. Our main tool is our algorithm which computes the knot Floer complex of satellite knots constructed using L-space satellite operators, which we developed in a previous paper. Our formula for $\tau$ recovers many existing formulas for the behavior of $\tau$ under satellite operators, including for cables. We apply our formula to questions about the slice genus of satellite knots, showing, e.g., that if $K$ is a knot with $\tau(K)=g_4(K)>0$, then satellites of $K$ by L-space satellite operators have the same property. Another application is a proof that L-space satellite operators satisfy a conjecture of Hedden and Pinz\'on-Caicedo: If $P$ is an L-space satellite operator which acts as a group homomorphism on the smooth concordance group, then $P$ is either the zero operator, the identity operator, or the orientation reversing operator.