A multi-point perspective on the formation of polar cap arcs: kinetic modeling and observations by Cluster and TIMED