Ok, risolto. Ho usato la lunghezza del campo textarea come parametro di controllo e set/remove attribute.
function checkTextArea(){
var textarea = document.getElementById('corpo_mail').value.length ;
var checkbox = document.getElementById('check');
if ( textarea > 0) checkbox.setAttribute("checked","true");
else checkbox.removeAttribute("checked");
}