Hol harcoltok is lehet!
is "hol harcol" not also correct for the formal case?
Yes. It's good.
Why not 'Hol van harcolsz'?
"van" is the verb to be in Hungarian - not an auxiliary verb like in English. "you are fighting" = "you fight" = "you do fight" = "harcolsz"