Puedes verificar primero si se ha inicializado esa variable... si no se ha hecho, le asignas el valor que quieres que tenga por defecto... algo así:
Código PHP:
if(!isset($_GET['modulo'])){
$modulo = 'descargas';//o lo que quieras que vaya por defecto
}else{
$modulo = $_GET['modulo'];
}
switch ($modulo){
case 'articulo';
//...
//...
//etc, etc, etc.
saludos
