The regular sector determined in
Section 2.2 and
Section 2.3 admits a more intrinsic organization. On the one hand, a regular Hermitian endomorphism
Q determines an ordered spectral flag in the self-dual bundle and hence a reduction of the carrier geometry. On the other hand, smooth families of regular endomorphisms admit a natural decomposition into spectral and flag-moving parts, as in
Appendix A.3. The purpose of the present section is to record these structural consequences, to isolate a first local classification statement, and to indicate natural dynamical and global questions in a form adapted to the regular visible sector.
Only the regular visible block is used throughout. No Yang-Mills field equation is imposed, and no curvature completion beyond the visible self-dual Ricci-type block is fixed.
3.1. Local Classification and Structural Reduction of the Regular Visible Sector
The regularity condition of Definition 1 implies that the eigenvalues of
Q are positive and simple, hence ordered as in (
17). It follows that the spectral projectors
and the associated eigenline subbundles are locally smooth. The corresponding spectral flag was already recorded in (
26). The point to be added here is that, locally, the regular visible sector is exhausted by the ordered spectrum together with that flag.
Let
be an open set on which
is equipped with the fixed Hermitian metric
. Two regular Hermitian endomorphisms
will be called
locally carrier-equivalent if there exists a local unitary bundle automorphism
such that
This relation preserves the ordered spectrum, the positivity properties, and the induced spectral flag.
Proposition 6.
Let Q be regular on U. Then, locally on U, there exists a unitary frame of in which
with as in (17). In particular, the local carrier-equivalence class of Q is determined by the ordered eigenvalue triple together with the induced full spectral flag.
Proof. By Lemma 1, the spectrum of Q is pointwise simple and positive. Local smoothness of the spectral projectors for simple Hermitian eigenvalues is standard. A local -orthonormal eigenframe may therefore be chosen, and in that frame Q is diagonal with entries . The flag is then exactly the flag determined by the ordered eigenspaces. The converse local reconstruction is immediate from the same diagonal form. □
Remark 14.
Proposition 6 is only a local statement. No global splitting of is implied at this stage. The global problem is deferred to SubSection 3.3.
The representation map
then shows that the visible tensor
depends on both parts of the data: the ordered spectral functions and the local position of the corresponding flag inside
. In particular, the visible tensor is not determined by the unordered eigenvalue set alone.
Remark 15.
The trace plays the role of the total visible spectral intensity of the regular block. The channel weights (64) therefore separate the relative channel distribution from the overall spectral scale.
The self-dual bundle
is a complex rank-3 Hermitian vector bundle once
has been fixed. Its Hermitian structure group is therefore reduced to
. A regular Hermitian endomorphism
Q reduces that structure further. Indeed, by (
24), a regular
Q determines three pairwise orthogonal rank-one spectral projectors. Equivalently, it determines an ordered decomposition
locally on
U, where
. The flag (
26) is then the partial form of the same ordered splitting. It follows that the regular visible sector may be viewed as a reduction from the Hermitian bundle
to an ordered eigenline geometry.
This viewpoint may be stated more invariantly. Let
denote the bundle of complete Hermitian flags in
. Then a regular
Q defines a canonical local section of that bundle, namely the section whose value at each point is the ordered eigenflag of
Q.
Proposition 7.
A regular Hermitian endomorphism Q on U determines canonically a local section of the full flag bundle of . Conversely, a local Hermitian flag together with three smooth functions determines a unique regular Hermitian endomorphism of the form (24).
Proof. The first statement follows from the existence and smoothness of the ordered spectral projectors in the regular case. For the second statement, the rank-one orthogonal projectors associated with the three flag lines are inserted into (
24). Hermiticity, positivity, full rank, and simplicity of the spectrum are immediate from the assumptions on the
. □
Remark 16.
The regular visible block is therefore not only a field of Hermitian endomorphisms but also a field of ordered internal carrier data. In this sense, the regularity assumption selects a flag geometry internal to the self-dual bundle.
Definition 4.
Let Q be regular on U, with ordered positive eigenvalues The correspondingchannel weights
are defined by
They satisfy The associatedchannel entropy
is defined by
Remark 17.
The functions (64) are dimensionless spectral invariants of the regular visible block. They encode the relative distribution of the ordered visible intensities carried by the three spectral channels of Q, independently of the overall scale . In particular, may be read as normalized carrier-channel fractions attached to the regular self-dual block.
Remark 18.
The entropy (65) provides a scalar measure of spectral mixing in the regular visible sector. It is minimized when one channel dominates strongly and increases as the three channel weights become more evenly distributed. In this sense, it gives a canonical local indicator of how concentrated or how mixed the visible carrier content is.
Remark 19.
At the level of local unitary frames, the ordered decomposition (62) reduces the carrier data from to the diagonal unitary subgroup , which preserves the three ordered eigenlines separately. If the ordering is forgotten and only the partial flag (26) is retained, the residual symmetry enlarges accordingly. In the present formulation, however, the ordered spectral splitting is primary.
The map
introduced in (
10) was used above as the passage from Hermitian self-dual data to visible symmetric tensor data. Its relation to the standard spinorial decomposition of the traceless Ricci part may be stated somewhat more explicitly.
By
Appendix A.1, one has locally the standard identification
where
S is the rank-two Weyl spinor bundle. A Hermitian endomorphism of
is thus represented by a Hermitian endomorphism of
, as in (
A1). On the other hand, the traceless Ricci sector is represented spinorially by a real symmetric rank-two object of mixed primed and unprimed type in the standard four-dimensional decomposition of curvature; see [
13,
14]. The map
is precisely the bundle-level realization of this passage from Hermitian self-dual endomorphism data to real traceless symmetric rank-two tensor data.
In particular, the visible tensor
should be read as the real tensor representative of the Hermitian self-dual Ricci-type block encoded by
Q. The relation (
12) then shows that the traceless part of the Alena metric variable is induced from exactly that block. No additional visible degrees of freedom are inserted at this stage.
Lemma 2.
The map is a real vector bundle isomorphism.
Proof. By
Appendix A.1, one has locally the standard identification
where
S is the Weyl spinor bundle. A Hermitian endomorphism of
is therefore identified with a Hermitian endomorphism of
, equivalently with a mixed spinor object of type
which is symmetric in
and in
. This is precisely the standard spinorial form of a real traceless symmetric rank-two tensor in four dimensions; see [
13,
14]. The local formula (
A3) is the corresponding tensor realization in a self-dual frame. Hence
is the induced real-linear bundle isomorphism. □
Remark 20.
The relation of to the standard curvature decomposition may also be stated explicitly. After complexification and the splitting the curvature operator takes the usual block form in which the diagonal blocks carry the self-dual and anti-self-dual Weyl parts together with the scalar term, while the off-diagonal blocks carry the traceless Ricci data [12,13,14]. Under the spinorial identification used above, the Hermitian endomorphism Q is exactly the self-dual representative of that visible Ricci-type block, and is its realization as a real traceless symmetric rank-two tensor. In this sense, the map passes from the visible self-dual Ricci-type datum to the corresponding tensor representative, while the Weyl and scalar blocks remain hidden curvature data.
3.2. Geometric Dynamics of Regular Hermitian Sectors
The perturbative decomposition recorded in
Appendix A.3 suggests a natural geometric language for smooth families of regular visible blocks. Let
be a smooth family which remains regular on a time interval. Then, after local smooth choice of spectral data, one has
as in (
A6).
The first term in (
69) changes the ordered spectrum while preserving the instantaneous eigenspaces. The second term preserves the spectrum and moves the spectral flag. The two contributions may therefore be read as spectral and flag-moving parts of the regular visible dynamics. Through (
18) and (
19), they induce corresponding variations of the visible tensor and of the traceless metric deformation.
It is convenient to distinguish two model cases. A first natural possibility is to place the regular Hermitian sector under a variational evolution. Let
denote the Hermitian connection induced on
by the background Lorentzian geometry. Then a formal energy functional of the form
may be considered, where
is constant and
V is a smooth real function of the spectral invariants (
14).
The associated Euler-Lagrange equation, or the corresponding gradient-type flow, would govern a dynamics in which both spectral and flag data are allowed to evolve. Since
V depends only on the spectral invariants, it separates naturally the scalar part of the visible Hermitian data from the bundle-geometric part encoded by the eigenflag. The decomposition (
69) is then compatible with the distinction between spectral deformation and flag motion.
No field-theoretic interpretation is imposed here. The functional (
70) is only meant to indicate that the regular visible sector carries a natural geometric variational structure already at the level of the Hermitian self-dual block.
Let
denote the fiberwise Hilbert-Schmidt pairing on
induced by
, and let
. Variations are taken within the Hermitian sector and, for simplicity, with compact support in
U. Then
where
denotes the adjugate endomorphism. Equivalently,
If
then the first variation of (
70) is
Here
denotes the formal adjoint of
with respect to the induced
pairing. The corresponding formal Euler-Lagrange equation is therefore
The associated negative
-gradient flow is
Remark 21.
The right-hand sides of (75) and (76) are expressed entirely in terms of the Hermitian self-dual block Q and its spectral invariants. In this sense, the variational dynamics closes on the regular visible sector itself.
A more detailed analytic treatment of (
75)-(
76), including boundary conditions and distinguished choices of the potential
, is left for later work.
Proposition 8.
The formal gradient flow (76) preserves the Hermitian sector. More precisely, if is Hermitian at some time , then the right-hand side of (76) is Hermitian at as well.
Proof. If
Q is Hermitian, then the spectral invariants
are real. The identity endomorphism id is Hermitian, and so are
Q and
. Since
is the Hermitian connection induced by
, the rough Laplace-type term
is Hermitian whenever
Q is Hermitian. Hence every term on the right-hand side of (
76) is Hermitian. □
Remark 22.
Proposition 8 shows that the variational dynamics is formally closed on the real bundle . The genuinely nontrivial question is therefore not Hermiticity but preservation of positivity, and hence of regularity.
Preservation of positivity, and hence of regularity, depends on further assumptions on the potential and on the analytic setting. This question is not pursued here.
A symbolic implementation of the finite-dimensional and isospectral test models has been carried out in Mathematica, and the corresponding notebook is provided as supplementary material.
The second model case is obtained by imposing the purely commutator form
This is the intrinsic flag-moving part of (
69). The spectrum is then preserved, while the eigenspaces move unitarily.
Proposition 9.
Let satisfy (77) on a time interval and assume that is regular. Then remains regular for all times for which the solution exists. Moreover, the eigenvalues and the invariants are constant along the flow.
Proof. Equation (
77) is integrated by a unitary propagator. More precisely, if
solves
then
is unitary and
Hence
is unitarily conjugate to
for all
t, so the spectrum is preserved. Since regularity is equivalent to positivity and simple positive spectrum by Lemma 1, regularity is preserved as well. Constancy of the spectral invariants and of the discriminant then follows immediately. □
Remark 23.
Under the isospectral flow (77), the visible tensor evolves by
Thus the induced visible dynamics is entirely carried by the motion of the spectral flag, while the ordered spectral data remain fixed.
Figure 1.
A finite-dimensional isospectral model for (
77). Left: evolution of the visible tensor components
,
, and
. Right: constancy of the spectral invariants
,
, and
along the flow. The model illustrates that visible evolution is generated by flag motion at fixed ordered spectrum.
Figure 1.
A finite-dimensional isospectral model for (
77). Left: evolution of the visible tensor components
,
, and
. Right: constancy of the spectral invariants
,
, and
along the flow. The model illustrates that visible evolution is generated by flag motion at fixed ordered spectrum.
Remark 24.
The solutions of (77) lie on the unitary conjugacy orbit of the initial datum . The tangent space to that orbit at Q is therefore given by commutators with . In this sense, the isospectral dynamics is the intrinsic motion along the carrier orbit determined by the fixed ordered spectrum.
Remark 25.
The isospectral flow (77) may also be viewed as a canonical exploratory deformation of the regular visible sector. Since the ordered spectrum is preserved, the quantities remain fixed along the flow, while the spectral flag moves through the corresponding unitary orbit. The induced variation therefore isolates the visible effect of pure carrier motion at fixed spectral content.
Remark 26.
This makes the isospectral family a natural probe of the regular visible geometry. For a fixed regular initial datum , the orbit may be used to compare visible tensors with identical ordered channel weights but different carrier flags. In this sense, isospectral deformations provide a distinguished testing family for separating spectral data from flag-dependent visible effects.
Proposition 10.
For the nonconstant model (92), the visible tensor takes the explicit form
where the coefficients are given by (94)-(). In particular,
is constant, and all time-space off-diagonal components vanish:
Proof. For the ansatz (
89), the matrix
Q is real symmetric. In a standard local self-dual frame on Minkowski space, the representation map
sends a real symmetric Hermitian endomorphism
to the tensor (
81). Since
Q is pointwise unitarily conjugate to
, its trace is constant and equal to
, which gives (
82). The vanishing of the mixed time-space components is immediate from (
81). □
Remark 27.
Proposition 10 shows that the nonconstant model separates two effects cleanly. The spectral invariants remain fixed, whereas the spatial off-diagonal entries of Υ are generated entirely by the flag-moving terms . In this sense, the visible tensor records the carrier motion even though the ordered spectrum is unchanged.
The two-rotation model has been implemented symbolically. Selected plots are displayed below, and the full symbolic notebook is provided as supplementary material.
3.3. Dynamics, Degenerations, and Global Aspects of the Regular Visible Sector
Example 1 exhibits the regular sector in diagonal form, but the corresponding flag is fixed. A first nonconstant model is obtained by allowing the eigenframe to vary while the ordered spectrum remains fixed.
Let
be a local Minkowski chart, and let
be a local
-orthonormal frame of
. Fix constants
and let
be a smooth unitary matrix-valued function. Define a new local orthonormal frame
and set
Then
Q is regular on
U, has the same ordered eigenvalues as the constant model, and defines a generally nonconstant spectral flag. The associated visible tensor is
and the traceless metric deformation is again determined by (
19).
This model is structurally different from Example 1: its spectral invariants are constant, but its carrier flag varies. It therefore isolates the flag-moving contribution without changing the spectral data.
A concrete choice of
may already be fixed at the level of the model. A convenient first ansatz is
where
With
the corresponding regular Hermitian endomorphism
takes the explicit form
where
In particular,
Q is pointwise unitarily conjugate to
, so its ordered spectrum is constant and equal to
, while the corresponding spectral flag varies whenever
and
are nonconstant. The simplest realization is obtained by taking
with real constants
.
For the linear-angle choice (
100), the visible tensor has been evaluated explicitly. The resulting off-diagonal spatial components are shown in
Figure 2.
A second example from a curved background known in the self-dual literature is left for later work. At the present stage, the nonconstant Minkowski model already isolates the geometric point needed here, namely a regular sector with fixed ordered spectrum and nontrivial flag motion. The compatibility question between the Urbantke carrier geometry and the Alena-side metric variable has already been settled in
Section 2.2. The present subsection is therefore restricted to dynamical, degenerational, and global aspects of the regular visible sector.
The regularity conditions (
16) define an open condition in the Hermitian sector. This follows immediately from continuity of the eigenvalues, or equivalently from continuity of the invariants (
14) and of the discriminant (
15). The degeneration loci were already recorded in (
56). The present point is that, under a smooth evolution, these loci describe the precise mechanisms by which the regular visible carrier can fail.
If , the visible block loses full rank and the rank-three carrier decomposition collapses. If , eigenvalue collision occurs and the canonical ordered spectral splitting ceases to be simple. These two mechanisms are geometrically distinct: the first destroys the full carrier rank, while the second destroys the ordered flag structure while keeping positivity possible.
For the isospectral dynamics (
77), regularity is preserved by Proposition 9. For more general evolutions of the form (
69), the same conclusion need not hold globally, but the openness of the regular locus implies that regularity is preserved at least for sufficiently short time so long as neither degeneration condition is reached.
Lemma 3.
Let be a smooth family on an interval I, and let . If is regular, then there exists such that is regular for all with .
Proof. Since is Hermitian for all t, its ordered eigenvalues depend continuously on t. If is regular, then by Lemma 1 one has By continuity, these strict inequalities remain valid for all t sufficiently close to . Hence continues to have simple positive spectrum on a possibly smaller interval about . Another application of Lemma 1 gives regularity. □
Remark 28.
Lemma 3 shows that a smooth Hermitian evolution can leave the regular sector only by reaching one of the degeneration loci (56). In particular, the loss of regularity is necessarily detected by either loss of positivity or collision of eigenvalues.
Remark 29.
A natural way to monitor possible loss of regularity along the variational flow (76) is to use the barrier functional
defined on the regular locus. Since and there, the function is smooth on the regular sector and diverges as Q approaches either degeneration locus in (56). Consequently, any a priori upper bound for along the flow prevents finite-time approach to the boundary of the regular sector.
The preceding discussion has been local. On a general four-manifold, the existence of a global regular Hermitian endomorphism on is more restrictive. The reason is that a globally regular Q would produce globally defined simple spectral projectors and hence a global decomposition of the self-dual bundle.
More precisely, let
be an oriented four-dimensional Lorentzian manifold for which the complex self-dual bundle
is defined globally. Suppose that
is globally regular. Then the ordered spectral projectors
are globally defined and smooth, and one obtains
as a decomposition into Hermitian eigenline subbundles.
Figure 3.
Two model approaches to the boundary of the regular sector. Left: approach to rank loss with
. Right: approach to eigenvalue collision with
. In both cases, the determinant, the discriminant, and the barrier functional (
101) are shown. The plots illustrate the two distinct degeneration mechanisms recorded in (
56).
Figure 3.
Two model approaches to the boundary of the regular sector. Left: approach to rank loss with
. Right: approach to eigenvalue collision with
. In both cases, the determinant, the discriminant, and the barrier functional (
101) are shown. The plots illustrate the two distinct degeneration mechanisms recorded in (
56).
Proposition 11.
If a global regular Alena-Urbantke geometry exists on , then the complex self-dual bundle admits a global splitting into three Hermitian line subbundles as in (103).
Proof. The statement follows directly from the global spectral decomposition of a Hermitian endomorphism with everywhere simple spectrum. □
Remark 30.
Proposition 11 is only a necessary condition. It reduces the global existence problem to a bundle-splitting problem for and hence to standard topological constraints on complex rank-3 bundles.
At the level of characteristic classes, the splitting (
103) implies that the total Chern class of
factorizes as
Thus any obstruction to such a factorization is automatically an obstruction to the existence of a global regular visible sector.
Remark 31.
For the global statements of the present section, no spin or spinc assumption is required. It is enough to work on an oriented four-dimensional Lorentzian manifold . Indeed, after complexification, the Hodge operator on 2-forms satisfies and therefore determines the global eigenbundle decomposition Thus the complex self-dual bundle is globally defined as soon as the oriented Lorentzian background is fixed. Spinorial language is only needed later, when the identification is invoked.
Proposition 12.
If a global regular Alena-Urbantke geometry exists on , then there exist classes such that
and
In particular, failure of the Chern classes of to admit such a decomposition is an obstruction to the existence of a global regular visible sector.
Proof. By Proposition 11, a global regular visible sector determines a splitting
into Hermitian line subbundles. The Whitney product formula therefore gives
Expanding by degree yields (
105) and (
106). Since
M is four-dimensional, the degree-six class
carries no further information in the present setting. □
Remark 32.
Proposition 12 is only a first obstruction statement. It does not by itself decide whether a compatible splitting exists, but it reduces the global problem to a concrete factorization condition on the low-degree Chern data of .
Remark 33.
For the purposes of the present paper, the splitting formulation is taken to be primary. A flag-bundle formulation is also available: global existence of a regular Q may equally be viewed as existence of a global section of the full flag bundle of together with a globally ordered positive eigenvalue triple. The splitting form is retained here because it leads more directly to the characteristic-class constraints.
A concrete four-manifold example has not been analyzed in the present work. Such a case study would be a natural next step for the global splitting problem.
The regular visible sector is sufficiently explicit to admit direct symbolic experimentation. In particular, the following objects are computable once a local self-dual frame has been fixed:
the Hermitian endomorphism Q,
the spectral invariants and the discriminant ,
the spectral projectors and the induced flag,
the visible tensor ,
the degeneration indicators and ,
the induced dynamics under (
69), (
70), or (
77).
This makes the regular sector suitable for a symbolic notebook treatment. The symbolic and visualization modules used for the two-rotation model, the isospectral flow, and the degeneration indicators are provided in the supplementary Mathematica notebook. In this way, the nonconstant regular sector may be examined concretely before any stronger analytic or global statement is attempted.
3.4. Computational Visualization Tool
In order to facilitate work with Alena-Urbantke geometry and to support further analytical and numerical study of the regular visible sector, a dedicated Mathematica script,
Metric2GaugeAlenaDashboard, has been prepared. The tool is intended as an auxiliary research instrument rather than as part of the formal construction itself. Its role is to make the structures introduced in Secs.
Section 2.1,
Section 2.2 and
Section 3.3 directly inspectable for concrete metric backgrounds, and to provide a reproducible environment in which the behavior of the visible self-dual block may be explored on selected slices of spacetime.
For a given Lorentzian metric, the script evaluates the visible tensor, the associated curvature-type lift, the Hermitian visible block Q, its ordered eigenvalue data, the induced spectral weights, the regularity diagnostics, and the derived quantities discussed in the preceding sections. The resulting objects are then displayed on configurable two-dimensional slices, with the remaining coordinates fixed by user-selected rules. A library of 25 predefined metrics is included, covering flat, static, cosmological, rotating, radiative, and toy-model backgrounds. A user-defined metric may also be supplied directly.
The interface is organized into a compact set of analysis panels. The Analysed metric panel displays the currently selected metric, parameter values, the chosen slice, the effective value of , basic regularity and admissibility information, the interpretation of the applied -branch, and warning data relevant for the numerical or symbolic reconstruction. The remaining panels are devoted to derived visual diagnostics:
Mathematical. Spectral data associated with Q are displayed, including the eigenvalue maps, the invariant maps for , , , and , the barrier quantity based on and , the admissibility-ratio map, and configurable one-dimensional profiles extracted from the selected slice. Basic display controls are included in order to allow normalized, logarithmic, clipped, or shared-scale inspection when such comparisons are useful.
Physical. The normalized channel weights , the corresponding entropy map, the RGB carrier composite, and the dominant-channel map are displayed. In addition, three carrier-archetype score maps are shown: single-channel concentration, two-channel pairing, and three-channel balance. These scores are intended to provide a compact geometric summary of how the local carrier state is positioned in the weight simplex.
Isospectral Explorer. A local family of isospectral deformations of the visible block is displayed, based on conjugation of the reference matrix by a one-parameter unitary family. In this way, spectral invariants may be compared with frame-sensitive quantities while the eigenvalue data are kept fixed.
The tool is intended to support in explicit examples. In particular, it may be used to examine the location of regular and degenerate loci, to compare different metric backgrounds at the level of the visible Hermitian block, to inspect the dependence of spectral data on the chosen slice and parameters, to test the behavior of carrier-channel decompositions in concrete geometries, and to explore how the regular visible sector changes under controlled deformations. In this sense, the script provides a practical bridge between the abstract local theory developed above and the detailed case-by-case analysis that may be required in further mathematical or physical investigations. The Mathematica script implementing the Metric2GaugeAlenaDashboard, together with a sample report produced for the Kerr-Newman metric, has been included with the present article as supplementary material.