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!