Full Marked Total-Energy Nilpotent Has Rank Four
Result
The separately derived absolute, conductor, and marked-extension blocks assemble into the complete generic nonsoft total-energy residue of the rank-twelve marked system. After removing the apparent integral residue and using the source-forced Rees normalization of the primitive top lift,
Its de Rham Jordan type is
The image decomposes by geometric type as
The first summand is the nodal elliptic vanishing line. The other three are algebraic Tate/Kummer marked-extension lines generated by the two frozen walls and their primitive two-wall occurrence class. No new carrier stratum is required.
Canonical marked extension
Entry 279 gives
with ranks , , and . Use the primitive quotient basis
Entry 290 proves
Entry 289 proves that, after removing one apparent integral residue,
and that kills the full algebraic kernel . Hence
The three algebraic columns
Put and use Entry 294's vector
Entries 296--297 give, modulo exact-lift gauge,
while the ordinary rational top residue is exact and its filtered survivor is
In target coordinates ,
The minor on rows is
which is nonzero on . Therefore
The , , and filtered coordinates are fixed by the universal relative certificates, so exact-lift gauge cannot reduce this rank.
Nilpotence and rank
Every column of lands in , and Entry 289 gives . Since ,
The elliptic image is not contained in : its infinity-Gysin image is the nonzero nodal elliptic vanishing line. Thus it is independent of the rank-three algebraic image, and
Geometric decomposition of the image
| Nilpotent image | Rank | Geometric home |
|---|---|---|
| 1 | nodal infinity boundary / Legendre nearby cycle | |
| 1 | first wall conductor extension into | |
| 1 | second wall conductor extension into | |
| 1 | primitive two-wall filtered Kummer line | |
| total | 4 | existing relative coefficient geometry |
This decomposes the nilpotent image; it does not canonically split the full variation. The conductor quotient remains integrally glued by
Relation to the four enhanced points
The rank-four answer happens to match the number of enhanced points
but these objects have different types. Entries 226, 319--320 compute the physical enhanced-point class and find
It is a higher-Rees/Cut--nearby commutator functional in the algebraic kernel, not a generator of . Therefore no map from the four enhanced-point lattice to the nilpotent image is inferred from the equality .
The missing global datum is instead the extension and gluing between two distinct filtered layers:
The first is the logarithmic nearby-cycle image computed here. The second is the four-point higher-Rees/excess layer generated by the frozen enhanced points. Their comparison must be derived by the support-sensitive Cut--nearby calculus and the physical relative chain, not by a rank match.
Classification
| Datum | Classification |
|---|---|
| rank-one absolute nilpotent | Legendre/Gauss--Manin coefficient data |
| rank-three off-diagonal block | marked Tate/Kummer extension data |
| integral gluing | occurrence/conductor coefficient lattice |
| rank-four full image | canonical filtered de Rham nearby-cycle datum |
| absent from the intrinsic residue | |
| new carrier datum | none |
Deutsch--Popperian update M2.43
The hard-to-vary claim
is falsified on the generic nonsoft de Rham locus.
The smaller surviving theorem is
This is the first complete Jordan-type statement for the marked three-site total-energy system.
Scope boundary
The result does not yet prove:
- an integral normal form of the full rank-twelve lattice;
- the global four-point higher-Rees layer and its extension with the logarithmic nearby-cycle object;
- compatibility with the physical relative integration chain;
- extension through or intersecting discriminants;
- a global decomposition over the entire signed-energy arrangement.
Next hostile test
Construct, without a fitted character projector, the integral four-point higher-Rees object
from the four resolved enhanced germs, including their source occurrence and deck actions. Then compute the canonical extension of with the logarithmic nearby-cycle filtration and its compatibility with .
The finite falsifier is a gluing class or support divisor that cannot be generated by the frozen log pair, conductor lattice, and predeclared higher-Rees/Cut--nearby calculus.