Howe duality for the dual pair SL2(ℝ) ×F4,1 : aping pong of K-types

We prove Howe duality for an exceptional theta correspondence.To that end, we relate the K -types of corresponding representations by exploiting a pair of see-saw identities.