Secondo me per risolvere le soluzioni sono 2:

Usi javascript e con un semplice script modifichi di volta in volta il value del campo T1 facendo una concatenazione di stringhe es:

codice:
<html>
<head>
<script language="javascript">
   function setValue(){
       nomeFile = document.getElementById('T1').value;
       url = "download/" + nomeFile;
       document.location.href = url;
   }
</script>
</head>
<body>
    <input type="text" id="T1" size="20"/>
    <input type="button" value="Invia" onclick="setValue()" />
</body>
</html>
La seconda è utilizzando PHP, ossia dai un POST ad una pagina php che si prende il nome del file e ti fa lato server il redirect alla cartella downloads ed in particolare al file specificato dall'utente....