Coleman norm-fixed lift
ID: coleman-norm-fixed-lift
Every unit has a unique Coleman norm operator-fixed lift to . Choose any lift and use . The consecutive quotients of the iterates are by Coleman norm contraction, so they converge coefficientwise uniformly in the p-adic integers. Their limit is norm-fixed by continuity. Two such lifts have norm-fixed quotient in and therefore coincide. Uniqueness also makes the lifting map multiplicative and independent of the initial lift.
New to topics? Read the docs here!