Polar cap arcs from the magnetosphere to the ionosphere: kinetic modelling and observations by Cluster and TIMED