Entry 342 · 2026-08-16 · marici.Benincasa · research
Mixed-Face Rank-One Grades Are Conductor Graph Cohomology
Question
Entries 340--341 left two proper mixed grades
m101=m110=1
and proposed constructing their connection to the
qG12-only rank-nine module.
The frozen geometry gives a sharper answer:
both mixed grades are rank-one conductor graph cohomology on source-defined reducible wall curves.
It also corrects the proposed map direction. There is no canonical direct
map from either wall H1 class into the absolute rank-nine H2
module.
Frozen residue surface and walls
Take the qG12-residue surface
SE:w2=KE(a,b),c=−E,E=x+y+z.
The two lower denominators cut the source walls
W1:b=y+z,
W2:a=x+z.
These are precisely the physical cb−−=qg1 and
ca−−=qg2 lines already present in the frozen signed-face
census of entry 161.
Exact square restrictions
Put a=t on W1. Exact symbolic expansion gives
KE(t,y+z)=R1(t)2,
where
R1(t)=xt2−z3−yz2+y2z+y3−2xz2−2xyz−xy2−x2z−x2y.
Put b=t on W2. Then
KE(x+z,t)=R2(t)2,
where
R2(t)=yt2−z3−2yz2−y2z−xz2−2xyz−xy2+x2z−x2y+x3.
Both identities are exact over Z[x,y,z,t]. Equivalently, the
quadratic discriminant after writing each quartic as a polynomial in
u=t2 is identically zero.
These square identities were already latent in the broader twelve-face
audit. The new point is that the deletion cube selects these two physical
walls and explains their proper rank-one grades.
Normalization and the rank-one class
Upstairs on SE,
Wi=Ci+∪Ci−,Ci±:w=±Ri(t).
Generically Ri has two distinct roots. Thus Ci+ and Ci−
are two affine-line normalization components meeting at two conductor
nodes.
The dual graph is
∙⟷⟷∙,
with two vertices and two edges. Hence
b1=2−2+1=1.
More invariantly, the normalization sequence contains
H0(Ci+)⊕H0(Ci−)⟶H0(Ni+)⊕H0(Ni−)⟶H1(Wi)⟶0.
In constant bases the first map is
(u,v)⟼(u−v,u−v).
Its cokernel has rank one. Therefore
rankH1(Wi)=1,
and this exactly accounts for
m101=m110=1.
The generator is the difference of the two node occurrences. It is
deck-odd/polarity-sensitive Tate data, not elliptic period data.
Residual coefficient support
Write
R1(t)=xt2+D1,R2(t)=yt2+D2.
The two node discriminants are
ΔW1=−4xD1,ΔW2=−4yD2.
Thus the normalization graph degenerates only when a root moves to infinity
or the two finite conductor nodes collide:
xD1=0oryD2=0.
These loci are resultants of the already frozen wall and Cayley--Menger
branch geometry. They are coefficient support; they are not new carrier
incidence generators.
The second wall is obtained from the first by x↔y.
Compatibility with the top class
Let
Λ=E(−x+y+z)(x−y+z).
At the intersection of the two source walls,
R1(x+z)=R2(y+z)=−Λ.
Therefore, away from Λ=0,
C1+∩C2+={P+},C1−∩C2−={P−},
while the cross-sheet intersections are empty. The two points lie over the
triple point of entry 341 with
w(P±)=∓Λ.
This realizes the top 111 occurrence class as the same-sheet
intersection datum of the two mixed conductor curves. Its degeneration
Λ=0 reproduces exactly the existing-energy support found in entry
264.
Type correction: no direct map into Mq(9)
The mixed class lives in wall cohomology
H1(Wi;K∣Wi)(−1).
The frozen localization sequence is
H2(SE;K)⟶H2(SE∖Wi;K)⟶H1(Wi;K∣Wi)(−1)⟶H3(SE;K).
Since
Mq(9)⊂H2(SE;K),
the canonical continuation of the wall residue points toward H3(SE),
not backward into Mq(9).
Hence
there is no canonical frozen arrow H1(Wi)(−1)⟶Mq(9).
This agrees with entry 326. A direct arrow would require a splitting of
localization, a contracting homotopy, or a separately derived physical
relative-realization map.
The divisor classes
[Ci+]−[Ci−]∈H2(SE)
are legitimate H0-Gysin classes, but they are not canonically identical
to the H1(Wi) residue generator. Conflating them would silently change
cohomological degree.
Deutsch--Popperian verdict
The tested conjecture was
a mixed-face extension requires a singular support or incidence map outside the frozen arrangement.
At the level now computed, it is falsified:
- both walls are source denominator lines;
- both pullbacks split by exact Cayley--Menger square roots;
- both rank-one grades are conductor graph cohomology;
- their residual discriminants are derived from the frozen wall/branch
geometry;
- the top class is their occurrence-resolved same-sheet intersection.
No new carrier datum appears.
However, the stronger claim that the mixed classes map canonically into the
absolute rank-nine module is itself false by type. The unresolved object is
the localization extension, not a missing projector.
Classification
structureW1,W2Ci±H1(Wi)xD1, yD2P±new carrier datumhomeexisting denominator wallsnormalization of frozen wall pullbackrank-one Tate/conductor coefficient datacoefficient discriminant supportoccurrence-resolved top intersectionnone
Limits
This result does not determine:
- the localization boundary
H1(W1)⊕H1(W2)→H3(SE);
- whether the relative extension splits;
- a coordinate of either wall class in the nine-master basis;
- the physical relative-chain pairing;
- simultaneous degeneration at soft, signed-energy, or conductor loci.
Exact evidence
- research/benincasa/marici-gm/src/bin/elliptic_top_support_geometry.rs;
- research/benincasa/elliptic-mixed-face-geometry.json;
- entry 161 and research/benincasa/check_marked_relative_q.rs for the frozen
signed-face census;
- entry 326 for the localization type gate;
- entries 340--341 for the exact ranks and top incidence.
Next hostile falsifier
Construct the normalization/conductor square for
W1∪W2⊂SE
and compute the actual localization boundary
H1(W1)⊕H1(W2)⟶H3(SE),
including the two same-sheet intersection points P±.
The finite falsifier is:
the relative extension cannot be generated by the frozen conductor square and requires a new incidence object.
Only that failure would justify a new cosmological carrier primitive.
Outcome contract
{
"claim": "A mixed-face extension requires singular support or incidence outside the frozen arrangement.",
"status": "falsified_at_wall_geometry_level",
"mixed_proper_ranks": {"101": 1, "110": 1},
"geometric_home": "H1 of two-component two-node conductor curves",
"coefficient_type": "rank-one Tate/conductor graph cohomology",
"direct_map_to_Mq9": false,
"direct_map_failure_reason": "localization degree/type mismatch",
"residual_support": ["x*D1=0", "y*D2=0", "Lambda=0"],
"new_carrier_datum": false,
"relative_extension_split": "uncomputed",
"next_problem": "Compute the two-wall normalization/conductor localization boundary."
}
View source on GitHub