Erlang è un linguaggio autonomo, ma su Erjang è in corso un lavoro mirato alla JVM. Hai ragione che Scala e Clojure hanno come target la JVM, e ci sono anche versioni di Ruby e Python indirizzate alla JVM (JRuby, Jython).
Sì, la JVM è una piattaforma molto matura e le JVM moderne sono in grado di ottimizzare il codice e compilarlo on-demand al codice nativo dell'host per migliorare le prestazioni.
Sì, portabilità. Compiled Scala, Clojure, ecc. Possono essere impacchettati usando strumenti standard e distribuiti a qualsiasi sistema che abbia una JVM (di un livello di versione adatto).
Sì, la JVM significa che i nuovi linguaggi "solo" devono scrivere un compilatore in bytecode (e qualsiasi libreria di supporto che desiderano fornire). Non devono scrivere un nuovo runtime (che è quello che Erlang, Ruby, Python, JavaScript ecc hanno fatto tutti in passato).
Ma penso che tu abbia perso uno dei maggiori vantaggi della JVM: l'enorme ecosistema di librerie - sia la libreria standard Java che la vasta gamma di librerie di terze parti sono accessibili a qualsiasi linguaggio che si rivolge alla JVM.