Given that Windows already created the ESP, do I need to format it?
Não.
And is it even possible to mount it on /boot?
Sim. Na verdade, o systemd fará isso automaticamente.
Do I need to create a second ESP specifically for Arch?
Não. Deve haver exatamente um ESP em um disco.