I'd like to know what is the current state of knowledge regarding this topic (I'm aware of some papers by Witten, Berkovits, D'Hoker and Nekrasov, plus an old review by Nelson)
What I'd like to know is, in particular:
i. what is the role of Deligne-Mumford compactification (and of supermoduli spaces) in relation to IR and UV behavior (both in the bosonic and super string; we are actually integrating over the compatcification of moduli space everytime, correct?)
ii. what are the advantages of the different formalisms, e.g. GS, RNS or Berkovits (also, how do spin structures enrich the game?)
iii. one requires modular invariance for one-loop amplitudes (and this is related to UV behavior, right?), and then gets the different types of superstrings; what happens at higher genus/loop order? are there other constraints, or these are enough?
sorry if I messed things up, feel free to correct me