OAI/Geometry/RCD/Heat/CompactScalingActionLimits.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual compact scaling pair and its two action limits

The kernel has physical time ε/4. Its endpoint normalizations therefore occur at the interior time 1/2 of the scaled heat potentials. Both normalized endpoint logarithms converge uniformly on their supports.

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.compact_scaling_action_limits line 23