Hilbert-variëteit