1537 — Mean-Mass and Unequal-Mass Jet Transport Is Formally Flat
Status
Exact formal-connection calculation on the double-Gysin infinity-jet generating section.
Coordinates and section
Write
The normalized corner section is
Its parameter derivatives close on the same line:
Mixed curvature
Define the scalar formal connection coefficients
They have no cross-dependence and commute. Therefore
Equivalently,
The exact checker verifies both the first-order equations and the mixed identity.
Physical fiber
At ,
recovering Entry 1534's even-grade shift. Mean-mass transport remains
which generates the one-channel recurrence along the physical locus.
Meaning
The source-derived coefficient family has no mixed coherence defect between tangential mean-mass transport and invariant transverse transport. Its formal two-parameter totalization is already flat; no additional homotopy cell is required at this level.
This is a formal coefficient-connection statement. It is not yet an identification with a physical Gauss–Manin connection on relative cycles. That stronger claim would require a source pairing or comparison morphism.
Durable evidence
- research/nima/check_supercritical_infinity_jet.sage;
- Entries 1534–1535;
- allocator claim seqclaim-aec0bb2819733f798caf5211.