Non-reductive cycles and twisted arithmetic transfers for Shimura curves

In this largely expository note, we explain some recent progress on new cycles on Shimura varieties and Rapoport-Zink spaces, (twisted) arithmetic fundamental lemma, and arithmetic analogs of relative Langlands program. We explain related formulations of arithmetic twisted Gan-Gross-Prasad conjecture, the proof of twisted AFL and certain arithmetic transfers.