PlanetPhysics/Theorem on CW Complex Approximation of Quantum State Spaces in QAT

From testwiki
Jump to navigation Jump to search

\htmladdnormallink{theorem {http://planetphysics.us/encyclopedia/Formula.html} 1.}

Let [QFj]j=1,...,n be a complete sequence of commuting [[../TriangulationMethodsForQuantizedSpacetimes2/|quantum spin `foams]]' (QSFs) in an arbitrary [[../QuantumSpaceTimes/|quantum state space (QSS)]], and let (QFj,QSSj) be the corresponding sequence of pair subspaces of [[../SUSY2/|QST]]. If Zj is a sequence of CW-complexes such that for any j , QFjZj, then there exists a sequence of n-connected models (QFj,Zj) of (QFj,QSSj) and a sequence of induced [[../IsomorphicObjectsUnderAnIsomorphism/|isomorphisms]] f*j:πi(Zj)πi(QSSj) for i>n, together with a sequence of induced [[../InjectiveMap/|monomorphisms]] for i=n.

There exist weak [[../ThinEquivalence/|homotopy]] equivalences between each Zj and QSSj spaces in such a sequence. Therefore, there exists a CW--complex approximation of [[../QuantumSpinNetworkFunctor2/|QSS]] defined by the sequence [Zj]j=1,...,n of CW-complexes with dimension n2. This CW--approximation is unique up to [[../CoIntersections/|regular]] homotopy equivalence.

Corollary 2.

The n-connected models (QFj,Zj) of (QFj,QSSj) form the Model [[../Cod/|category]] of [[../SpinNetworksAndSpinFoams/|Quantum Spin Foams]] (QFj), whose \htmladdnormallink{morphisms {http://planetphysics.us/encyclopedia/TrivialGroupoid.html} are maps hjk:ZjZk such that hjkQFj=g:(QSSj,QFj)(QSSk,QFk), and also such that the following [[../TrivialGroupoid/|diagram]] is commutative:} \\

</math> \begin{CD} Z_j @> f_j >> QSS_j \\ @V h_{jk} VV @VV g V \\ Z_k @ > f_k >> QSS_k \end{CD} Failed to parse (syntax error): {\displaystyle \\ ''Furthermore, the maps <math>h_{jk'' } are unique up to the homotopy rel QFj , and also rel QFk}.

{Theorem 1} complements other data presented in the [[../QuantumAlgebraicTopology/|parent entry on QAT]].

Template:CourseCat