The HFT firms are performing arbitrage with ES, NQ,YM, and RTY against the underlying stocks, as well as synthetic portfolios that approximate the performance of these indexes.
This arbitrage uses colocation and program trading. The secret part is that some very smart people with deep pockets...