Conformal covariance of connection probabilities in the 2D critical FK-Ising model

We study connection probabilities between vertices of the square lattice for the critical random-cluster (FK) model with cluster weight 2, which is related to the critical Ising model. We consider the model on the plane and on domains conformally equivalent to the upper half-plane. We prove that, when appropriately rescaled, the connection probabilities between vertices in the domain or on the boundary have nontrivial limits, as the mesh size of the square lattice is sent to zero, and that those limits are conformally covariant. This provides an important step in the proof of the Delfino-Viti conjecture for FK-Ising percolation as well as an alternative proof of the conformal covariance of the Ising spin correlation functions. In an appendix, we also derive new exact formulas for some Ising boundary spin correlation functions.