The finite Dirac operator as a boundary condition on an interval
Draft, 3 November 2026
Every finite Dirac operator with the signs of KO-dimension six is exactly the lowest spectral window of the pure derivative on an interval of length , for , with no mass term. The boundary data are a grading at each wall, and , so the singular values of are principal angles over and the masses are quantized momenta. Preserving the domain restricts the observables at a wall to the commutant of its grading. Order one holds in this parent for any finite data with order zero. The compression of an observable is its average under , , which tends to the finite representation with rate . Aligned walls compress a bulk prealgebra stable under the grading to its even part, with the grading inherited. Even scalar fluctuations are pure gauge, and on a moving window they reproduce the quadratic term of Chamseddine-Connes-van Suijlekom. Odd ones change the angles; for their field space is . In a Yang-Mills parent with a wall connector the and masses are exact, with the constants and at small angle. Unfolded, the parent is on a circle, and at leading order in small masses, for a vector of constant profile in the transported frame, the sum rule of the spectral action becomes , with the spectral dimension of the circle at the cutoff, so that goes from at to at . All finite data are inputs and the parent algebra is matrix-valued, so the selection of the finite algebra is untouched.
1 Introduction
In an almost-commutative geometry the masses of the fermions are the entries of a finite Dirac operator , and in a Kaluza-Klein reduction a mass can be a momentum in the internal direction, quantized by the boundary conditions. We relate the two for an interval. The Connes-Lott mass is the lowest such momentum, , and the known boundary formula of Higgsless models (Csáki, Grojean, Hubisz, et al. 2004) gives the interpolation for one flavor. Here we carry this through for the whole finite operator, with its real structure and grading, and we ask what the parent says about the algebra, order one, and fluctuations.
The finite data remain inputs, so the existence of the window is close to a reparametrization. The content lies in the existence of a consistent parent, and in the form it gives to the wall algebra, the compression and the fluctuations.
2 The window
Let be finite-dimensional, , and antiunitary, with . Let have blocks and , with , which is . These are the signs . For , define as the block of , so that is the other block.
On , write with components , and let , where and , with domain (1) Let be on and on , and let have components .
Theorem 1. is self-adjoint with compact resolvent, with signs . Let , and let send to the function with -components and -components . Then is an isometry, and (2) With for the singular values of , the signed spectrum is , , so is the spectral subspace of , and the next level is at least .
Structure of the proof. Takagi factorization gives with . Then has components and , and has components and . The wall conditions follow from , and follows by differentiating . Constant unitaries on and reduce to , and each channel has the known one-flavor spectrum (Supplemental Material, part 22). ◻
So has no mass term. A light eigenvalue is a momentum , fixed by , a singular value of . In the finite description this condition is lost and the value appears as free data, which offers a reading of why the finite triple needs Yukawa couplings. One matrix encodes the Yukawa and Majorana blocks together. Also, , with uncoupled: after a unitary change of domain, is a constant matrix connection, with relative endpoint rotation .
Theorem 2. The boundary conditions are gradings: lies in the eigenspace of and in the eigenspace at each wall, with and equal to . If is not an eigenvalue of , then (3) and the numbers are the principal angles between the spaces. A real structure is given by an antiunitary , with , that anticommutes with and . Then , and carries to .
At an angle the channel has the chiral conditions of the Connes-Lott interval, with no zero mode and lowest level .
3 Algebra, order one, compression
Let a unital algebra act evenly and faithfully, with order zero, and let be the commutant of in . Order one is not assumed.
Theorem 3. A function preserves the domain of iff . Let be the algebra of such . Then , and we have a real even spectral triple with order zero and order one.
Structure of the proof. The wall conditions say that commutes with , equivalently with , for . The opposite action is pointwise, so by finite order zero commutes with it. ◻
So acts freely in the bulk, and the wall carries the commutant of . In the Standard Model data with nonzero Yukawa blocks, this is , the algebra of the photon and gluons. Finite order one does not arise as a condition on the parent.
Theorem 4. Let . For even , (4) For constant , (5) so . Moreover , which contains for every , and the order defects of the compressed data differ from the finite ones by with explicit constants.
Thus are exact, and the observables converge to as at fixed , as maps. The generated algebra is discontinuous at : compressions of commuting projections can fail to commute at order , in line with the remark of Connes and van Suijlekom (Connes and Suijlekom 2021) on generated algebras (Supplemental Material, part 22).
Theorem 5. Let be a -subalgebra of that need not commute with , acting pointwise and identically on both spin components. A function valued in preserves the domain iff and , and commutes with every such . For aligned walls , , restricts to on the window, and an ambient constant has . If , then is the even part of , and it is the image of the boundary algebra.
So a matrix-valued bulk prealgebra is compressed to its even part, with the grading inherited from the parent operator . For this gives , the step of the classification (Chamseddine and Connes 2008) that a compression of functions on reaches only with an added grading. The commutative-parent question remains open.
4 Fluctuations
Theorem 6. Let be smooth with anti-Hermitian values in , with , , , and let be the derivative with those gradings. Then equals . The self-adjoint scalar one-forms are exactly the . If takes values in the even algebra, then has the same angles with ; on the moving window the finite operator is , and with the real fluctuation , where . In that case the connection is gauge equivalent to zero under the allowed endpoint gauge group.
With , this is the gauge orbit of (Chamseddine, Connes, and Suijlekom 2013), Eqs. (10)-(11), namely , which equals , quadratic term included, for finite data that fail order one, while the parent has order one and no quadratic term. The fixed compression is a different object: for constant , , against for the first derivative of the transported operator.
No-go theorem (the radial mode). For one interval, fixed , no bulk masses, even scalar inner fluctuations and the moving window, the singular values of the finite operator are fixed. With nonzero Yukawa data, the Higgs quaternion stays on the unit quaternions, with no radial mode (Supplemental Material, part 22). The following lie outside the hypotheses, and each needs its own construction: as a field on the wall; bulk terms odd for the grading; bulk masses not commuting with the gauge action; more internal dimensions; an added composite degree of freedom. At the endpoint this agrees with a frozen Higgs field.
The odd escape is explicit. For , the gradings with quaternionic eigenspaces form , with . For two points at geodesic distance , all principal angles equal . On , the connection , with odd in and , gives a universal mass , with and a second grading at the point on the first summand and its mirror image on the second. So are polar coordinates of a Higgs quaternion on , the coset of the minimal composite Higgs model (Agashe, Contino, and Pomarol 2005), whose warped construction and potentials are not those here; the analogy with gauge-Higgs unification (Hosotani 1983) has the same limit. That is also the base of the twistor window is an observation here, with no identification. induces an opposite action twisted by the inner automorphism , a structural analogy with the twisted triples of the grand symmetry, whose automorphism is different (D’Andrea, Lizzi, and Martinetti 2014).
5 Gauge sector and the two limits
Assume a flat product and a positive five-dimensional Yang-Mills kinetic form with no boundary terms. Then at a wall lies in the wall algebra, the directions in it are Neumann and the others Dirichlet, as in Higgsless models (Csáki, Grojean, Murayama, et al. 2004).
The strict family. For even walls with nonzero Yukawa data, the unbroken directions have masses and the broken ones , so , with massless photon and gluons after unimodularity. Fix a light block and a heavy block with . As , the light couplings vanish at fixed mass, the heavy mass and diverge with , and the light compression converges. This realizes the proposal at this level, with , in the form of at fixed mass. Identifying with a four-dimensional Yukawa coupling is a hypothesis.
Theorem 7. Take , with and the trace form, with one coupling, gradings at distance , and at a connector on a line in the eigenspace of and a line in , whose stabilizer is . Then for exactly nine modes are massless, the photon, with , and the gluons, and (6) With , as : and . As : and . In both limits , and its minimum is at .
Here the connector is prescribed wall data for the gauge field; as a term in the fermion boundary operator it also changes the affected fermion tower. The constants and are the Hilbert-Schmidt ratios , and they are the coefficients of the lower bounds for the poles of the fully massive family in the exact quadratic spectral action (Supplemental Material, part 18), whose small-mass poles and Taylor mass differ from them by the heat coefficients. The second limit is a geometric form of heavy fermions with light vectors: at antipodal points the two walls have the same stabilizer in .
Proposition 8. For the heat cutoff and universal , with , the trace per channel is , a Jacobi theta function, strictly decreasing on . For at fixed , it tends to .
The radial no-go of the finite action (“Finite Spectral Triples as Towerless Intervals” 2026) concerns finite data and a free ray, so this family lies outside it: the radial direction is compact, and the tower gives a stationary point at . There, by Theorem 7, the vectors are massless, so this is not the physical point. For the one-loop potential with vector and fermion loops in the flat massless family, with fermions counted by , is the unique global minimum for , the potential is strictly decreasing for , and for it has exactly one interior stationary point, a strict maximum, for the stated flat massless determinant with no other angle-dependent term (Supplemental Material, part 23 and Supplemental Material, part 24). In a flat tree-level comparison, neither the Wilson-line family, with , nor a finite wall scalar, with , fits both the top ratio and the weak ratio. Pure fermion channels of frequency 2 under the Wilson line, which the bimodule does not contain, change this: for they give an interior global minimum, at when they act alone, where . In the multiplets containing both top chiralities, in the displayed channel, a state at has a lighter coloured partner for every finite wall mass. In a step-threshold model without those multiplets, the left-right difference of the couplings runs only logarithmically, and at one loop the three couplings meet at GeV with GeV, where the flat potential has no global minimum at the required angle (Supplemental Material, part 26). These negative statements hold in those flat families. They point toward changed form factors, as in warped composite models (Agashe, Contino, and Pomarol 2005), or a wall scalar with its own potential, for the physical interior, consistently with the reading of the odd labels as limits.
6 The sum rule and the effective dimension
Unfolding gives a sharper statement. For , put and . Up to the factor , this is unitary, and it carries to (7) on the circle of length . So the tower is shifted by , , and an even generator constant in this transported frame becomes . In the original frame it is , generally with an odd bulk component, so it needs an enlarged gauge algebra, such as the prealgebra above. The exact quadratic kernel of the spectral action (“Finite Spectral Triples as Towerless Intervals” 2026) then applies block by block, with Gaussian convergence.
Theorem 9. For the heat cutoff, with , the Taylor mass of a vector of constant profile in the transported frame is, at fixed and for fixed nonzero , (8) in Hilbert-Schmidt norms, where and . Here is the heat trace of the unshifted circle at , so is its spectral dimension at the cutoff, with for and for . For the three-generation Standard Model representation, at this order, (9) so for the top alone , and at all .
Structure of the proof. With and , the kernel at expands to second order in as , and at order as . Terms odd in cancel between and . Summing over gives the factor , and . ◻
At this is the relation of the asymptotic spectral action. At it is , which covariance requires on the unfolded circle: the fifth component of the Dirac operator is a constant , and and have one coefficient. So the factor between the finite spectral-action coefficient and the Yang-Mills commutator quotient is, in this constant-profile calculation, the ratio of the two ends of one function, crossing at . In terms of couplings, at and at . The endpoint is known in flat gauge-Higgs models with suitable representations (Cacciapaglia, Csáki, and Park 2006); we did not find the coefficient or the crossover, and a wider search is open. These are leading-order statements about a prescribed background: the towerless top-only expansion already has the correction . They hold at a matching scale, for flat profiles and no running. With bulk masses for the light fields the kinetic coefficient must be recomputed. Comparison with measured values needs a specified effective theory with thresholds and running.
7 Status
As mathematics, the one-flavor formula and the gauge boundary conditions are known (Csáki, Grojean, Hubisz, et al. 2004; Csáki, Grojean, Murayama, et al. 2004), compression of operator systems is treated in (Connes and Suijlekom 2021), and spectral action on spaces with boundary in (Chamseddine and Connes 2011), for a boundary of the manifold, with a local chirality projector. In our searches we did not find the finite real triple as an exact window on an internal interval, with the wall algebra and the average formula; the searches are recorded in the Supplemental Material and do not establish absence. The parent algebra is matrix-valued, so the founding question for a commutative parent remains open, as does any selection of . On , nonlocal spectral walls give the exact window for the operator and the grading, with the higher -modes decoupling with the radius, but they reduce scalar functions at the walls to constants, while direct aligned compression of real functions on gives only , against when the matrix algebra is generated at the intermediate stage (Supplemental Material, part 24).
Provenance
This note has no listed authors. The results were proved by Claude Opus 5.5, except that the statements on the commutative cylinder and the proof for the one-loop potential are by Astra 6 (gpt-6-astra, effort xhigh). All were refereed by Terra 6.1 (gpt-6.1-terra, effort max), whose reports led to corrections, with Python (numpy, scipy) checks of the identities and the numerical statements. Details are in the Supplemental Material of (“Finite Spectral Triples as Towerless Intervals” 2026), parts 22 to 26, with the referee reports.