Degree-1 maps and rank inequalities in Heegaard Floer homology

Ghosh-Sivek-Zentner constructed degree-1 maps from certain rational homology solid tori to the twisted $I$-bundle over the Klein bottle. We show that these maps yield rank inequalities for Heegaard Floer homology. To do so, we use Hanselman-Rasmussen-Watson’s immersed curve interpretation of bordered Floer homology, extending their proof of a similar rank inequality corresponding to degree-1 maps to the solid torus. Our result provides further evidence for Kronheimer-Mowka’s conjectured relationship between Heegaard Floer homology and instanton Floer homology.