$attachment_id = 100; // attachment id
$thumbnail_name = basename ( get_attached_file( $attachment_id ) );