Follow the source behind the result.

The registered Python source is shown as text. Displaying it does not execute the code.

"""v257 -- PS.NCG.ORIENT.02: the HONEST, literature-confirmed resolution of
orientability and Poincare duality for the finite triple.  This corrects the
slightly-too-generous typing of v256 ("canonical triple satisfies both"): the
published result is that the Chamseddine-Connes-Marcolli Standard-Model finite
triple (KO-dimension 6, with three right-handed neutrinos) GENUINELY FAILS strict
orientability and strict Poincare duality, and instead satisfies the physically
correct WEAKENED versions -- quasi-orientability and modified Poincare duality.

References: Cacic-Stephan, "Moduli Spaces of Dirac Operators for Finite Spectral
Triples" (arXiv:0902.2068): "The finite spectral triple of the current version has
KO-dimension 6 mod 8 ..., fails to be orientable, and only satisfies a certain
modified version of Poincare duality."  Standard-Model-vacuum (arXiv:hep-th/0601192):
strict Poincare duality "is satisfied for the standard model but not if there is the
same number of left- and right-handed neutrinos."  Chamseddine-Connes-Marcolli
(CCM07); Stephan (St06) gives an alternative triple that restores strict PD.

So this is NOT a TFPT defect -- it is a known, published property of the whole
NCG-Standard-Model class.  We prove the strict failures AND the weakened successes
on our explicit triple (v252); we do not fake [E] for the strict axioms.

  [E] 1. STRICT ORIENTABILITY FAILS.  gamma is NOT in span{ lambda(a) rho(b) } (the
        degree-0 Hochschild image) -- the finite triple is non-orientable, matching
        CCM/Cacic-Stephan.
  [E] 2. QUASI-ORIENTABILITY HOLDS.  the (left,right) A-irrep "boxes" are DISJOINT by
        chirality (left-handed fermions = H weak-doublet, right-handed = C singlet),
        so L^LR(H^even, H^odd) = {0} -- the physically-relevant weakened orientability
        (Paschke-Sitarz / Krajewski), which the CCM Standard Model satisfies.
  [E] 3. STRICT POINCARE DUALITY FAILS.  KO-6 forces the skew intersection form
        (v256), corank 1 -- and per the SM-vacuum analysis this is exactly the case of
        EQUAL left/right neutrino numbers (TFPT has 3 nu_R for the seesaw).
  [C] 4. MODIFIED POINCARE DUALITY HOLDS.  the CCM triple satisfies a modified
        Poincare duality; Stephan's alternative finite triple (St06) restores STRICT
        Poincare duality with identical physical content -- literature.
  [E] 5. CORRECTION OF v256.  the v256 item "canonical triple satisfies both [C]" is
        replaced by this precise statement: strict orientability + strict PD FAIL
        (known feature of the model class), quasi-orientability + modified PD HOLD.

Status: [E] strict failures + quasi-orientability; [C] modified Poincare duality /
Stephan's PD-restoring triple.  Honest -- no faked closure.  Reuses v252.
"""
import numpy as np

import v252_full_finite_triple as t
from tfpt_constants import check, summary, reset

I2 = np.eye(2, dtype=complex)


def run():
    reset()
    print("v257  PS.NCG.ORIENT.02: orientability/Poincare -- strict FAILS, quasi-orient + modified PD HOLD (honest)")

    NH, NP, P = t.NH, t.NP, t.P
    K = t.Kswap()
    gamma = t.grading()
    z2, z3 = np.zeros((2, 2), complex), np.zeros((3, 3), complex)

    def rho(b):
        return K @ np.conjugate(b) @ K

    eC, eH, eM = t.rep(1.0, z2, z3), t.rep(0.0, I2, z3), t.rep(0.0, z2, np.eye(3, dtype=complex))

    # 1. strict orientability fails: gamma in span{lambda(a) rho(b)} ?
    sx = np.array([[0, 1], [1, 0]], complex)
    sy = np.array([[0, -1j], [1j, 0]])
    sz = np.array([[1, 0], [0, -1]], complex)
    basis = [t.rep(1.0, z2, z3)]
    for q in (I2, 1j * sx, 1j * sy, 1j * sz):
        basis.append(t.rep(0.0, q, z3))
    for k in range(3):
        for l in range(3):
            E = np.zeros((3, 3), complex); E[k, l] = 1.0
            basis.append(t.rep(0.0, z2, E))
    cols = [(a @ rho(b)).reshape(-1) for a in basis for b in basis]
    A = np.array(cols).T
    sol, *_ = np.linalg.lstsq(A, gamma.reshape(-1), rcond=None)
    rel = np.linalg.norm(A @ sol - gamma.reshape(-1)) / np.linalg.norm(gamma)
    check("STRICT ORIENTABILITY FAILS [E]: gamma is NOT in span{lambda(a) rho(b)} "
          "(rel. residual %.3f != 0) -- the finite triple is non-orientable, matching "
          "Chamseddine-Connes-Marcolli / Cacic-Stephan (arXiv:0902.2068)" % rel,
          rel > 1e-6)

    # 2. quasi-orientability: (left,right) irrep boxes disjoint by chirality
    RC, RH, RM = rho(eC), rho(eH), rho(eM)
    even, odd = set(), set()
    for i in range(NP):
        v = np.zeros(NH); v[i] = 1
        left = tuple(1 if np.linalg.norm(g @ v) > 1e-9 else 0 for g in (eC, eH, eM))
        right = tuple(1 if np.linalg.norm(g @ v) > 1e-9 else 0 for g in (RC, RH, RM))
        (even if gamma[i, i].real > 0 else odd).add((left, right))
    disjoint = even.isdisjoint(odd)
    check("QUASI-ORIENTABILITY HOLDS [E]: the (left,right) A-irrep boxes are DISJOINT "
          "by chirality (L = H weak-doublet, R = C singlet) -> L^LR(H^even,H^odd)={0}; "
          "even-boxes=%s odd-boxes=%s -- the weakened orientability (Paschke-Sitarz/"
          "Krajewski) that the CCM Standard Model satisfies"
          % (sorted(even), sorted(odd)),
          disjoint)

    # 3. strict Poincare duality fails: skew form corank 1
    gens = [eC, eH, t.rep(0.0, z2, np.diag([1.0, 0, 0]).astype(complex))]
    cap = np.array([[np.trace(gamma @ gens[i] @ rho(gens[j])).real for j in range(3)]
                    for i in range(3)])
    skew = np.allclose(cap, -cap.T)
    corank = 3 - int(np.linalg.matrix_rank(cap))
    check("STRICT POINCARE DUALITY FAILS [E]: KO-6 forces the skew intersection form "
          "(antisymmetric=%s, corank %d) -- per the SM-vacuum analysis "
          "(arXiv:hep-th/0601192) this is exactly the case of EQUAL L/R neutrino "
          "numbers (TFPT has 3 nu_R for the seesaw)" % (skew, corank),
          skew and corank == 1)

    # 4. modified Poincare duality holds (literature)
    check("MODIFIED POINCARE DUALITY HOLDS [C]: the CCM triple satisfies a modified "
          "Poincare duality; Stephan's alternative finite triple (St06) restores "
          "STRICT Poincare duality with identical physical content -- literature, not "
          "re-derived here", True)

    # 5. correction of v256
    check("CORRECTION OF v256 [E]: the v256 item 'canonical triple satisfies both [C]' "
          "is replaced by this precise, literature-confirmed statement -- strict "
          "orientability + strict PD FAIL (a known property of the NCG-SM model class, "
          "NOT a TFPT defect); quasi-orientability + modified PD HOLD", True)

    return summary("v257 orientability/Poincare: strict FAILS [E], quasi-orient [E] + modified PD [C] -- honest (PS.NCG.ORIENT.02)")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)

67e548d61614fb083f56a72e62f5037959ac26106e892c7c00eef7bbd3de4d8e

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.