Ternary Geometry II
Recall [1] that the pullback of open sets in a manifold is essential to the definition of homology, which begins with the differential forms functor acting on the arrows relating to the disjoint union of and , in which the set is included. From the point of view of logic, it is a nice feature of manifolds that they are defined in terms of glued sets.
Let us view the Euler characteristic of a space as a homological entity (which it is). For a compact oriented manifold, under geometric Poincare duality the homology groups, and cohomology groups in the dual dimension, are isomorphic. Since the Euler characteristic is an alternating sum of dimensions of homology groups, it behaves simply under duality. Considering a compact hypersurface, in odd dimension we see that
goes to under duality. These two can only be equal if , which is the general result. Thus is not always a useful invariant. Its essence is already captured in dimension one, where .
Observe that here we see only 2-logos (binary) logic, rather than ternary logic. Moreover, quantum invariants need not take values as scalars, but rather as q-numbers, perhaps represented by matrices. Now let us reinterpret the 2-logos as a combination of the Pauli MUB operators and (the swap circulant, interpreted as -1).
A ternary analogue for is then naturally the quantum Fourier transform, an example of which are the neutral and charged lepton mass matrices. Under triality, these matrices are invariant, at least up to equivalence.
[1] R. Bott and L. W. Tu, Differential Forms in Algebraic Topology, Springer (1982)
Let us view the Euler characteristic of a space as a homological entity (which it is). For a compact oriented manifold, under geometric Poincare duality the homology groups, and cohomology groups in the dual dimension, are isomorphic. Since the Euler characteristic is an alternating sum of dimensions of homology groups, it behaves simply under duality. Considering a compact hypersurface, in odd dimension we see that
goes to under duality. These two can only be equal if , which is the general result. Thus is not always a useful invariant. Its essence is already captured in dimension one, where .
Observe that here we see only 2-logos (binary) logic, rather than ternary logic. Moreover, quantum invariants need not take values as scalars, but rather as q-numbers, perhaps represented by matrices. Now let us reinterpret the 2-logos as a combination of the Pauli MUB operators and (the swap circulant, interpreted as -1).
A ternary analogue for is then naturally the quantum Fourier transform, an example of which are the neutral and charged lepton mass matrices. Under triality, these matrices are invariant, at least up to equivalence.
[1] R. Bott and L. W. Tu, Differential Forms in Algebraic Topology, Springer (1982)
0 Comments:
Post a Comment
<< Home