RTK based GNSS system

is a good reference. I have had good experiences with helical antennas.

Ardupilot usualy does not need more than 10Hz. but it does need more than 5 Hz. You can get that by limiting the number of constelations to 2.