Un sistema hamiltoniano clásico definido sobre una variedad simpléctica formula_1 se llama cuantizable si existe un formula_19-fibrado principal formula_20 y una 1-forma formula_21 sobre formula_22, llamada variedad de cuantización, tal que: