prequantizations