3158 — Todd Normalization Does Not Populate the Full Euler Grade Carrier
Correction to entry 3156: the operator power law supplies an ambient carrier slot at every grade, but Todd coefficients do not activate every slot.
- Uncentered Todd occupies and the positive even grades.
- Centered Todd occupies only the even grades.
- The Euler logarithm occupies every positive grade.
Reciprocal reflection preserves , so it cannot manufacture missing odd Todd grades.
Scope
The next object is a typed comparison between Todd boundary normalization and Euler-logarithm occupation on their shared falling-factorial carrier.
Durable verification
- Research packet: research/grothendieck/todd-normalization-does-not-populate-the-full-euler-grade-carrier.md
- Exact checker: research/grothendieck/checkers/check_todd_grade_support_vs_euler_log.py
- Corrects graph claim: claim:e2f0714847bfc17f622b
- Sequence claim: seqclaim-cf6be7cb5ff930b20131ab08
- Graph event: ev-000000006505-e8ac7e82-1740-4944-a7cb-c950c268fa5d