Definition
Local lifts of cells under a torus covering
A sufficiently small cell has finitely many disjoint lifted copies, labeled by an integer-lattice quotient.
Let be an integer torus covering, and let the connected cell lie in a sufficiently small evenly covered coordinate neighborhood. Choose a Euclidean lift . The components of have the form
Thus there are lifted copies. Quotient representatives give sheet labels, not extra continuous variables.
Rectangular coordinates
If , with invertible, the local coordinate is . The directional derivative along column of is . Smooth compactly supported functions in the cell can be extended by zero outside it. The center, covering matrix, and sheet representative are held fixed during these local differentiations.