Pullback of arithmetic theta series and its modularity for unitary Shimura curves | Synapse