In the four-plus-six spatial reference split, the base has four ordinary spatial dimensions and its perpendicular complement has six. Time is a separate coordinate in the infinite-dimensional physical spacetime. This four-plus-six split concerns ten spatial directions in the matter domain.
The quadratic Veronese embedding
has a parallel, everywhere invertible complex second fundamental map . Its normal bundle is genuinely , with and . Its normal holonomy is the four-dimensional image , conjugate in to . The connected traceless holonomy is , with Lie algebra , rather than the full eight-dimensional .
Removing the determinant line yields a globally defined rank-three bundle with a parallel symmetric scalar pairing. This extra invariant distinguishes its spin-one triplet from the fundamental triplet of full SU3. The original normal bundle's pairing is line valued; its full unitary holonomy has no untwisted scalar in .
There is no normal-section obstruction to placing this four-dimensional spatial base in a smooth 5/6/10 spatial flag. A complete ordinary ten-dimensional extension, retaining the exact Veronese metric near the base, supplies a complete occupied 2/3/4/5/6/10 flag. This extension changes the global ambient manifold from CP5 to the total normal bundle. Smooth intermediate normal lines are not parallel lines, and neither assertion proves closed global intermediate inclusions inside unchanged CP5.
1. Geometry and notation
Take a Hermitian vector space , write , and let
be the tautological sequence. Here , has complex rank two, , and . All complex coordinates pair ordinary real spatial directions. Thus the base has four spatial directions and its parent has ten; these are not internal or compactified dimensions. The Fubini–Study metric scale is free. Compact global topology alone does not fix a small spatial scale.
Use the Hermitian tensor metric on . In orthonormal homogeneous coordinates the embedding is
The square-root factors matter for the standard Fubini–Study isometry statements. With the same standard normalization on source and target, . A constant rescaling does not change the tangent connection or its holonomy.
At a line , the ambient tangent space is
The tangent image comes from . Quotienting the ambient tangent space by it therefore gives the canonical holomorphic normal-bundle identity
Consequently a formula without misses a genuine projective line factor. In terms of the actual tangent bundle there is no additional twist.
In the affine chart , the tangent coordinates are and the normal quadratic coordinates are . Their Hessian spans all three complex normals. The second fundamental map is an isomorphism at this point, and unitary homogeneity makes it an isomorphism everywhere.
2. Why the second fundamental map is parallel
There is a short symmetry proof. At , the unitary map of preserves the Veronese image. Its induced projective isometry acts by minus the identity on the tangent directions , and by plus the identity on the normal directions .
The covariant derivative has three tangent arguments and one normal output. Invariance under this isometry makes it equal to its negative at the fixed point, so it vanishes there. Homogeneity gives on all of CP2. This establishes parallelity for the actual induced tangent and normal connections, rather than inferring it from constant quadratic coordinate coefficients.
The primary normal-holonomy calculation of Console and Di Scala, Parallel submanifolds of complex projective space and their normal holonomy independently supports this example: Table 1 gives the Veronese normal action as the isotropy action of , and Proposition 2.4 identifies normal holonomy with the effective slice action. For , that action is the symmetric-square representation used here. Their theorem concerns the Fubini–Study geometry; it does not assert full U3 for this parallel example.
3. Characteristic classes and determinant lines
The Euler sequence gives
For formal tangent Chern roots , the normal roots are . Therefore
An independent ambient check uses :
Let . Unlike an arbitrary determinant cube-root choice, this geometry supplies the particular root directly. The determinant-free normal bundle is
As a bundle with connection,
Indeed the algebraic rank-two identity identifies the compact real form with . It follows that
Thus its SO3 frame bundle does not lift to a global SU2 principal bundle on CP2. The phrase “SU2 spin one” describes the representation of the covering group and the Lie algebra correctly; its effective connected group on this bundle is SO3. This global qualification does not invalidate the three-dimensional representation.
4. Actual holonomy and the additional pair invariant
The Fubini–Study tangent holonomy of CP2 is U2. For example, its complex curvature endomorphisms, up to an overall nonzero scale, are ; these span the complexification . Parallelity and invertibility of identify normal parallel transport with the symmetric square of tangent parallel transport. Consequently
CP2 is simply connected, so the full and restricted normal holonomy groups coincide here. The last group is embedded as scalar phases times the complexified real standard SO3 action. A central tangent phase acts on by . The connected commutator group is SO3, and after removing the determinant connection the holonomy on is precisely SO3 inside SU3. The normal algebra has dimension four and its traceless algebra dimension three. No commutator closure of these three generators produces the five missing SU3 directions.
To see the extra invariant explicitly, use the basis for . The infinitesimal action of is
For , the discriminant has character . Its polarized form has matrix
Geometrically this is a nondegenerate parallel symmetric pairing
It is not a parallel scalar-valued pairing on the untwisted normal bundle. After tensoring both inputs by , it becomes a parallel scalar-valued pairing on . Equivalently the traceless normal connection preserves a complex symmetric quadratic form as well as its Hermitian metric and volume.
The distinction in tensor products is exact:
Only the first has a singlet. Including the full U1 normal phase again removes the untwisted scalar singlet. This observation distinguishes bilinear pair contractions from the Hermitian singlet in , which exists in both cases, and from determinant contractions, which also occur in both determinant-free groups.
5. Smooth intermediate sectors and a complete occupied flag
A tubular flag inside the fixed CP5 geometry
The complex normal rank is three and the real base dimension four. A smooth section of transverse to its zero section would have zeros of codimension six. Since six exceeds four, such a section has no zeros. This supplies a nowhere-zero smooth normal section . Normalize it using the normal metric.
Its real span and complex span are globally trivial smooth subbundles. A tubular neighborhood of the compact Veronese base embeds a sufficiently small normal disk bundle in CP5. Restricting it to these two subbundles gives global neighborhoods of the entire base with real dimensions five and six:
These are smooth inclusions. The complex line subbundle need not be holomorphic, and its tubular image is not asserted to be a complex submanifold. There is no contradiction with and : a trivial complex line splits off smoothly, leaving a rank-two bundle with those two nonzero classes. Topological existence of a section neither trivializes the full normal bundle nor supplies a parallel section.
In fact neither the real line nor the complex line is preserved by the normal connection. The irreducible SO3 triplet, together with the central phase in the original bundle, permits no parallel proper normal line. Imposing a parallel line as an additional requirement would exclude this example. A mere smooth nested flag does not impose that requirement.
Open finite-radius tubular sectors generally have incomplete induced metrics. Their existence does not solve a request for complete intermediate sectors inside the unchanged compact parent. No closed global 5/6 inclusion in unchanged CP5 is claimed here.
Complete ambient extension preserving the Veronese neighborhood
There is nevertheless a concrete complete ordinary spatial realization. Set
and pull the CP5 metric back by the normal tubular exponential map on a small disk bundle; denote this metric by . Choose the complete connection metric
on all of , where is the Veronese normal connection. It is complete: finite length bounds both base distance and fibre norm, and bounded-radius disk bundles over compact are compact.
For a smooth radial cutoff equal to one near the zero section and zero before leaving the tubular chart, define
The interpolation occurs on a compact disk bundle, so for one . Thus is complete. Near it is exactly the pulled-back CP5 metric. In particular the second fundamental form, its parallelity and the normal connection along the four-dimensional spatial base are unchanged. Using the unmodified connection metric alone would make the zero section totally geodesic; the interpolation retaining near the base is essential.
The entire subbundles and are closed embedded submanifolds of this complete ambient. Their induced metrics are complete: an intrinsic Cauchy sequence is ambient Cauchy, its ambient limit remains in the closed submanifold, and local smooth coordinates give convergence in the induced metric.
Choose a small smooth in an ordinary coordinate chart of , and an equatorial inside that sphere. Their compact induced metrics are complete. Then one common spatial geometry contains the complete occupied flag
with real dimensions . The lower spheres generally bend and the chosen upper lines generally rotate under normal transport. Neither fact obstructs smooth nesting. The construction does not independently choose incompatible geometries at different depths.
This ambient is globally , rather than CP5 or Euclidean ten-space. It demonstrates a complete allowed curved-parent flag, not a complete extension inside the original CP5. It also supplies no claim about the color holonomy of every lower sector or its physical coupling; those require their own specified carrier and restriction rule.
Why the older projective obstruction is different
A real five-dimensional intermediate manifold containing the whole CP2 would require a real normal line subbundle; over simply connected CP2 such a line is trivial and would provide a forbidden nowhere-zero normal section.
The Veronese normal bundle has real rank six, so that rank-two Euler obstruction does not apply. Likewise the chosen lower is a small null-homologous sphere in a coordinate chart, not the projective . Requiring a global real-three intermediate around that projective CP1 would reintroduce its own nonzero normal Euler obstruction. The full flag above does not make that additional choice.
6. What the comparison teaches about color selection
An invertible quadratic normal map and three complex normal directions do not by themselves select full SU3. The parallel curved example has a smaller holonomy and an additional symmetric pair invariant. The maintained flat-ambient graph instead has nonparallel bending and full U3 normal holonomy. Parallelity therefore separates two materially different geometric realizations of the same pointwise rank match.
If full SU3 is the desired traceless normal algebra, maintaining a parallel isomorphism at complex tangent rank two prevents it in any ambient geometry: tangent holonomy has dimension at most four and its symmetric-square image remains that small. The canonical curved example realizes this restriction exactly. Full SU3 requires relaxing that parallel identification or changing the proposed carrier/connection; a smooth nested flag alone selects neither possibility.
This is useful geometric discrimination, not a derivation of higher-sector force absence, an observed coupling strength or quark occupation. CP2's compact topology, its complex structure, the Fubini–Study metric and the choice of quadratic Veronese embedding remain conditional geometric premises.
Reproduction
The exact checker and report preserve 55 exact checks of the Lie homomorphism, four/three algebra dimensions, central and determinant characters, discriminant covariance, tensor singlets and characteristic classes. The tubular existence and completeness arguments are given above; a finite matrix check does not replace them. The original independent derivation, primary paper bytes and input hashes are preserved separately.