The theoretical framework behind TGD involves several different strands and the goal is to unify them to a single coherent whole. TGD involves number theoretic and geometric visions about physics and M^{8}H duality, analogous to Langlands duality, is proposed to unify them. Also quantum classical correspondence (QCC) is a central aspect of TGD. One should understand both the M^{8}H duality and QCC at the level of detail.
The following mathematical notions are expected to be of relevance for this goal.
 Von Neumann algebras, call them M, in particular hyperfinite factors of type II_{1} (HFFs), are in a central role. Both the geometric and number theoretic side, QCC could mathematically correspond to the relationship between M and its commutant M'.
For instance, symplectic transformations leave induced Kähler form invariant and various fluxes of Kähler form are symplectic invariants and correspond to classical physics commuting with quantum physics coded by the super symplectic algebra (SSA). On the number theoretic side, the Galois invariants assignable to the polynomials determining spacetime surfaces are analogous classical invariants.
 The generalization of ordinary arithmetics to quantum arithmetics obtained by replacing + and × with ⊕ and ⊗ allows us to replace the notions of finite and padic number fields with their quantum variants. The same applies to various algebras.
 Number theoretic vision leads to adelic physics involving a fusion of various padic physics and real physics and to hierarchies of extensions of rationals involving hierarchies of Galois groups involving inclusions of normal subgroups. The notion of adele can be generalized by replacing various padic number fields with the padic representations of various algebras.
 The physical interpretation of the notion of infinite prime has remained elusive although a formal interpretation in terms of a repeated quantization of a supersymmetric arithmetic QFT is highly suggestive. One can also generalize infinite primes to their quantum variants. The proposal is that the hierarchy of infinite primes generalizes the notion of adele.
The formulation of physics as Kähler geometry of the "world of classical worlds" (WCW) involves of 3 kinds of algebras A; supersymplectic isometries SSA acting on δ M^{4}_{+}× CP_{2}; affine algebras Aff acting on lightlike partonic orbits; and isometries of lightcone boundary δ M^{4}_{+}, allowing hierarchies of subalgebras A_{n}.
The braided Galois group algebras at the number theory side and algebras {A_{n}} at the geometric side define excellent candidates for inclusion hierarchies of HFFs. M^{8}H duality suggests that n corresponds to the degree nof the polynomial P defining spacetime surface and that the n roots of P correspond to n braid strands at H side. Braided Galois group would act in A_{n} and hierarchies of Galois groups would induce hierarchies of inclusions of HFFs. The ramified primes of P would correspond to physically preferred padic primes in the adelic structure formed by padic variants of A_{n} with + and × replaced with ⊕ and ⊗.
See the chapter Trying to fuse the basic mathematical ideas of quantum TGD to a single coherent whole or the article with the same title.
