1,047
181
0
0
Mathematics
Mathematical Physics
Deep Bhattacharjee1, Sanjeevan Singha Roy2, Riddhima Sadhu2, Ashis Kumar Behera3
Type-II emphasizing Type-II(B) in Ramond–Ramond Sector has been analysed and computed from the Atiyah–Hirzebruch spectral sequence taking Ei sheets for the concerned values of i≡4=∞ and for Ep,qn for n=1,2,3; several varieties of K–Theories where a transitive approach has been shown from the KK–Theory to K–Theory to String Theory concerning Fredholm modules of Atiyah–Singer Index Theorem and the Baum–Connes conjecture with respect to the Hilbert–A, Hilbert–B module and c*-algebras also in the reduced form taking Morita equivalence and the Kasparov composition product where extended relations has been provided between the equivalence of noncommutative geometry and noncommutative topology channelized through Poincaré Duality, Thom Isomorphism and Todd class.
Corresponding author: Deep Bhattacharjee, itsdeep@live.com
Mathematical Subject Classification: Primary (19-XX, 83-XX), Secondary (19Kxx, 19K35, 83Exx)
Any map [1] from a domain to a codomain with the mapping parameter θ:ζ→ζ′ can provide a continuous set of functions when ζ and ζ′ is endowed with a metric which when attempt for any representation of a Topological structure considering two sets {ζ} and {ζ′} there norms even a bijection [1] between them ζ↔ζ′ which for a defined function f over a value of f(x) there involves a structure of a vector space with concerned operations through a continuous linear transformation, that space for that function carries a Topology best known as Hilbert space. The specified module that carries the c∗− algebra [2] for that space is defined as c∗− Hilbert modules [3] through the inner product.
For any group ∧ with a subgroup ℓ the representations ΓΛℓ makes it easier to construct new representations through the subgroup or the smaller group ℓ over certain parameters that when categorize through the constructive modules of Hilbert's c∗ then this extent the c∗− module to c∗− algebras through the non—commutative formulations [4][5].
Furthermore, any derived pathway to construct the noncommutative geometry provides a framework for the moulder category to represent an equivalence over (left — right) — symmetric rings [6][7][8][9] as established afterwards with rings R and R′; then for the ring — representations, studying the category of those modules; there exists Morita equivalence [10] for the isomorphic commutative form or in general norms in the case of non — commutative rings [11].
For the constructions of KK — Theory; Morita equivalence is an important tool to c * algebras where for the inequality on the two modules A and B; for the moulder form E on A and B for the moulder form E on A and E⋅ on B (as appeared later in the paper) a homotopy invariant bifunctor can make a Morita equivalence for the KK — Theory through KK(A,B) and KK(B,C) for A,B,C as c * algebras; there's for the modular form E having elements ε,ϵ the inequality represents the form <ε,ϵ><ϵ,ε>≤‖< ε,ε>||<ϵ,ϵ> where for the A — module; the above relation holds and taking the B — module representing the c∗ — algebraic pair KK(A,B) and KK(B,C) where one finds the combined form over the composition product representing KK(A,C) and the Morita equivalence to be represented in a specific formulation as to be proved throughout the paper [12][13].
Over the compact Hausdorff spaces [14] and considering the Fredholm modules of Atiyah-Singer Index Theorem [15] for a relatable definition of A,B,C in c∗− algebras the Kasparov's product KK(A,C) for KK(A,B) and KK(B,C) will be established over an elliptic differential operator ϱ0Ms or ϱ0Mn for s− smoothness or n —dim and through extensive analysis of that operator which indeed suffice the Fredholm module making a relatable framework for K — Homology and K — Theory [3][5][6][16]; The Thom isomorphism is established for the Chern Character Ch over a mapping parameter ι through a rank — n vector bundle v1(n) with v2 having the first related to a unit sphere bundle. This in turn induces the categorical correspondence between a relational establishment over noncommutative geometry and noncommutative topology taking the function f over a bounded structure through linear transformations that bounds the concerned subsets I and J for a mapping parameter ρη in the same Hilbert space H.
This will deduce for a much more concrete formalism of the K— Theory to K— Homology with an extension of c∗— algebras to reduced c∗−alge bras for parent group (∧) that defined the ℓ2 norm of Hilbert space taking into consideration the KK− Theory with Gromov's a−T− menable property for all the necessary formulations concerned before except Morita equivalence that when established through 5 parameters through an assembly mapping parameter ℸ over discrete torsions gives the ultimate relation of KK — Theory in Baum — Connes conjecture taking into account both the Novikov conjecture and Kadison — Kaplansky conjecture for injectivity and surjectivity respectively connecting to noncommutative topology [17][18][19].
For a Hilbert space H with a c∗-module Hc one can define a c*-algebra for the metric g on a Riemann manifold M (having the form Mg ) with a vector bundle V there exists a compact neighbourhood being locally variant on a small patch; over an isomorphism of the Hilbert space of that vector bundle V in a continuous way for a commutative c∗-algebra through the vanishing infinity.
For the modular form of c∗-algebra the Hilbert module for the non-commutative form is the generalized norm taking the algebra over a topological field T in unital formulation for the unit parameter i as such for every ϵ in the algebra there exists ϵ=iϵ=ϵi.
Representing over the induced form for any finite group ∧ with ℓ⊂∧ for the vector bundle V on the Hilbert space H, any construction can be defined over the k-elements of the group ∧ over L defined a parameter P as [19],
P=n∑k=1LkThis gives for each k, the induced representation through group ∧ in the same L+k∈Lk for ℓ⊂∧ through the vector representation V of subgroup ℓ being ℓ⊂∧ in Hilbert space H parametrized through [3][6],
X(π,V)Thus, one gets,
for every n⨁k=1L+kV there is, n∑k=1L(1,……,n)kπ(L+k)EkRepresenting Ek∈V, three non-trivial actions can be noted for the constructions [20][21],
This takes a pre-Hilbert Hausdorff space to construct c*-algebra satisfying the operations of an inner product through the Hilbert A-module being non-negative and self-adjoint. Taking the inner product of the complex manifold representing M∗ through,
M∗×M∗⟶AThus, for any sequence of set that is countable over the Topological space T with a proper representation for the previously encountered manifolds MT taking kth countable order of infinity,
{MTk}∞k=1When merged with the unital form taken before ϵ=iϵ=ϵi such that for every unit parameter i there exists ϵ in the algebra; where for any c∗-algebra there holds the Banach-algebra for a compact F, that if provided there exists three forms taking B0(F)[3][19][20][22],
For the compact Hausdorff (here parameterizing F+0) with vector bundles V for the labeling of F+0 - 0 for positive to extend over Bott Periodicity with + as adjoint through 8-periodic homotopy groups from π0 to π7 such that [12],
π0,1,2,3,4,5,6,7 gives 3 — category tables in unitary U, orthogonal O, symplectic Sp,
U_O_Sp_πk→πk+2πk+8=⇄πk+4πk+4=⟵πk+8∀k=0,1…Thus, for Hausdorff F; the underlying K-Theory K(F) there is [12][23];
Where Point [I] relates the Banach-algebras for the locally compact Hausdorff over a abelian module on any sequence of set countable over Topological space T (as previously mentioned) on c*algebras for bivariant forms suffice the proper framework for the Hilbert c∗-module on rings R and R′ for modular homeomorphisms on R such that the biproduct exists in finitary over a defined functor δ preserving equivalence and additive properties [9][16][23],
δ:mod−R⟶mod−R′δ′:mod−R′⟶mod−RFor the naturally induced isomorphism for functors δ and δ′ for a finite module ring R for the bimodule (R,R′) suffice the natural isomorphism iff for X(R,R′) and Y(R′,R) there is is [2][3][9][16][23],
(R,R′)− bimodule ⇒X(R,R′)⊗R′Y(R′,R)≅R(R′,R)− bimodule ⇒Y(R′,R)⊗RX(R,R′)≅R′Moreover, if we consider A,B and C as c∗-algebras then if there is a Hilbert B-module that is fully countably generated in the form of E, then for that c∗-subalgebras of B there exists a strong Morita equivalence between A and B provided for the B module there is φ(E)≅A and for A module there is φ(E⋅)≅B where for the c∗-algebraic pair (A,B), over a homotopy invariant bifunctor the constructions can be taken for A,B and C in such a way that for the defined abelian group KK(A,B) and combining it with KK(B,C) a strong Morita equivalence can be established in the form [2][16][24],
KK(A,B)≅KK(A,C)∃ Combining the elements of KK(A,B) AND KK(B,C), there exists the product and the non-trivial assumptions that B and C are strongly Morita equivalent.
Now, for the linkage of K —Theory to K− Homology and c∗-algebras for the locally compact Hausdorff spaces, there can be a relatable definition of the c∗-algebra through noncommutative topology where there exists a detailed constructions to be discussed below [13][17][18][25].
The mostly related theorem that suffice this duality with an equivalence between noncommutative geometry and noncommutative topology; just like the formulations of the Kasparov's composition product over A,B,C in c*-algebras giving the result KK(A,C) for KK(A,B)×KK(B,C) with the associated Morita Equivalence; any abelian group taking a trivial parameterization γ(A) or can represent the Atiyah —Singer Index Theorem for the vector bundle V having the elements v1 and v2 which over the smooth manifold Ms with ' s ' representing the smoothness property and the elliptic differential operator for the mapping over smooth sections on MS as,
ϱ0Ms:v1→v2Where for this elliptic differential operator ϱ0Ms implying the Fredholm modules on the Hilbert space H for c*-algebras there is the Chern character Ch(ϱ0Ms) giving Thom isomorphism with the mapping of vector bundles of rank — n through,
ι:v1(n)→v2Taking the unit sphere bundle S(v1) and v2 representing the Chern character Ch(ϱ0Mn) for n — dimensional compact manifold over the relation through a complex Tangent bundle T′ as,
[Hk(T′;Q)→Hn+k(v2(T′))/S(v2(T′));Q]−1=Ch(∂(v1(ı∗),v2(ı∗),ξ(ϱ0Mn)))∃v2(T′)⇒ vector bundles v1(ι∗) and v2(ι∗)Where T′ represents the complex tangent bundle of Todd class Td(T′)
Where ξ(ϱ0Mn)⇒ isomorphisms on S(T′) in Td(T′)
Which establishes the KK− Theory through Fredholm module ϱ0Mn or ϱ0Ms for n — dim or s — smoothness where both are considered for the purpose of the constructions of Atiyah-Singer Theorem.
For the relation between noncommutative geometry and noncommutative topology it is now easy to show the c∗-algebras for the dual category of the Hausdorff spaces over *-isomorphism through the operator theory for a bounded structure over a function f operating through linear transformations through two vector spaces I and J that are bounded through the image of the function f(η) for the η taking control over the mapping parameter ρ as ρη for ρη:I→J where ρη makes the transformations that bounds the subsets of I to subsets of J on the same Hilbert space H.
Towards the establishment of noncommutative topology as described above in the paper the relation between noncommutative topology with noncommutative geometry over a non-trivial prescriptions of c *—Hilbert modules and Hausdorff space that gets channelized further to establish the KK−Theory and Morita equivalence; a considerable fact is that for the proper extensions of c∗ —algebras there is a defined category of the operator formalisms in the algebraic notions of K —Theory where it can be shown that for the parent group (taken before) ∧ with the c∗ —algebra, any reduced category for the completion of c∗red(∧) formalism through a locally compact Topological group (denoting with a trivial notation just for the formulations) as ∧′ for a translation invariant norm through bounded functions; this c∗red (∧) has an isomorphism for c∗(∧) where any defined c∗ —algebra can be expressed taking the c∗red(∧) as a quotient of c∗(∧) for the Hilbert space H having the defined norm Hl2 there exists 5− parameters that connects the K —Theory to K —Homology for making KK− Theory which provides a relation to Gromov hyperbolic groups [26] along with the groups that defined ^' for a translation invariant norm through bounded functions in SL3 (Z)along with other rank-1 Lie Groups and other discrete Lie Groups SO(n,1) and SU(n,1) with Gromov's a−T —menable property for the assembly mapping parameter ℸ (which will be extremely useful later in the paper) for isomorphism having the representation of [16][18][25],
Baum — Connes conjectur einjectivity ⇒ Novikov conjecture surjectivity ⇒ Kadison—Kaplansky conjectureFor ρfree (∧)∃ρ represents discrete torsion for group (∧)
Where the 5 —parameters are the 5 —classifiers viz.,
Where a−T− menable group for Hilbert space H on the (previously taken) ℓ⊂∧ giving three non-trivial connections to conclude this section,
For Σℓn summing over n-elements
For H∗∈H where in ΣℓnH∗→∞
For c∗red(∧)→ assembly mapping parameter ℸ over a norm |N|2 provides the relation,
(∑n|N|2)ℸc12c∗red (∧):=sus(‖N∗(ℓ⊂∧)‖2:‖ℓ⊂c(∧)‖2:=1)Considering an involution ι0 for the Topological group ∧ with the defined Harr measure μ in a locally compact Hausdorff space F there exists a commutative spectrum Sσ where for the unital element i being the element of Sσ for the Gelfand space G representing,
i∈Sσ in GThere exists a commutative form for an algebraic isomorphism α∗ in two categories of algebras,
Considering Point [2], one gets the transform of G representing as Gc for c —continuous form through 2 — norms for the group action of group ∧ defined ℓ+(∧) and ℓ++(∧) where for the spectrum Sσ in Point [1], gives the modified form of a Fourier Transform as Gelfand Transform for Gc.
∃ for ℓ+(R) in Gc and fc∈ℓ+(R) any c∗ —algebra for the Hausdorff space F over a two-way mapping π:F↔F′ where F′ is also a Hausdorff space there exists;
Gelfand—Naimark Transform ⇒c∗(F) and c∗(F′) in noncommutative c∗ —algebras the spectrum Sσ can be defined over π′ for Hausdorff F in Gc− norm in α∗ — isomorphism as,
π′:F→c+(α∗cT)∀T in an identfiable in cTc+ in a spacial case of c∗− normWhere c+(F)→c+(α∗cT)
The two norms in group action for group ∧ namely, ℓ+(∧) and ℓ++(∧) for a Borel measure β for ℓ+(∧)≅ μ∃μ represents the Harr measure (as considered earlier) through the involution ι0 one gets a generalized notion as,
Noncommutative geometry established over fc∀ℓ2++(∧)—norm — norm ∃fc∈ℓ2(∧) there are,
Where μϵ acts on the Haar measure μ for group ∧ over the action μϵ(∧).
Now, for the Gelfand-Naimark Transform; a generalized application of the Fourier Transform (rather Gelfand Transform) with its application in noncommutative geometry for the isomorphism over a 'assembly mapping parameter ℸ′ that we considered earlier, there can be the application for both c∗red and c∗−alge bra for an inde x01 in *-over c∗red−alge bras the common notion that arises is of,
For the trivial parameterization of as considered where any parameter-less A for δ as considered above else the parameter A for the A−module without δ being considered otherwise.
Thereby, Poincaré duality can be defined through KK− Theory for complex integer Λ on classifying space ΛSclc in c∗−alge bra over discrete parameter ψ; taking the Thom Isomorphism for Topological K− Theory in the homology theory for a generalized norm defining [22][24],
Spinc —structure Spc on Riemann manifold M with metric representation Mg for the parameter (mentioned above) as Λ structuring,
Sp(n)×Λ×U(1)→SO(n)×U(1)−1 for Spinqc∃q Representing morphisms over Λ2 for the sequence S,
S=1−Λ2Representing the Chern class for U(1)BChern class ∈H2(MgΛ)
Thus taking Mn as the n−dim manifold; Poincaré duality can be expressed in,
Mn (compact, closed and oriented )isomorphic to Mn,n∘For n∘— integers; whereas expressed earlier Spqc being the spin—structure on morphisms for the action on a manifold that is orientable in Topological K — Theory. For isomorphisms on any integers of n∘ in Mn,n∘ any mod−2 (without any orientation assumption) —Poincare duality holds for,
Hn∘(Mn,Λ) in (n−k)-homology group of n in [MM] class taking the Thom Isomorphism in Mhom o log ycross-product for H∧ as,
H∧M⨂H∧MSuffice the form Hn∘−k(M)≅Hn∘ for integers n∘; thereby establishing the Poincare duality.
The K — Theory for the operator and Topological aspects in the cohomology class; there exists distinct classifiers for the D — Branes or Dirichlet Branes in the Ramond-Ramond (RR)—Sector of Type II-B Strings sufficing the 3 — dim integral class property. There is the cohomology class for the transformationtwist giving the mod−2 torsion quantum corrections considering the Freed-Witten discrepancies as and when considered in the peculiar K — Theory in the reconciled aspects over Atiyah-Hirzebruch spectral sequence.
The non-trivial aspect to discuss in high energy physics for the Topological K-Theory taking the TypeII (II-A and II-B) superstrings is to consider the RR-fields in P — form electrodynamics considering the 10 − dim Supergravity for the potential ℧∘ over ΩP+1 —field defined through the Hodge duals ∗d in the form Ω∗d9−P there exists 4 − classifiers that will ultimately result the approach of K − Theory in the complex Topological space T∗ on manifold M over a representation M∗T relates not only the Atiyah-Singer Index Theorem (for the Fredholm modules, Bott-Periodicity as taken earlier) but also gives the Grothendieck—Riemann—Roch Theorem on bounded complex Λ∗ on sheaves S′′ over a relation SΛ∗′′ taking the morphism σm:X→Y for σm:A(X)→A(Y) over the Tangent sheaf TΛ∗ of Λ∗ on σm ! to suffice ch(σm!Λ∗) gives,
Λ∗σm(ch(S′′)Td(Tσm))All suffice through the 4− classifiers as mentioned above e[27][28],
All of these suffice for Spc in the extension of Poincare duality in a generalized norm of orientability of homology theory taking the Thom Isomorphism in complex form of Topological K− Theory relating Atiyah—Singer Index Theorem and Fredholm modules, Bott—Periodicity, Atiyah—Hirzebruch, Grothendieck—Riemann—Roch with KK-Theory [31][32][33][34].
Additionally, to discuss furthermore about the Type II Superstrings formalism as associated with supergravity for a homology class there is a relation between the Dirac quantization conditions and RR-fields where in the Lie group structure [27][35][36]
U(1)×SU(2)×SU(3)⊆SU(5)⊆SO(10)⊆E(8)The Photon being represented by U(1) the related methodology of the charge quantization and the magnetic monopoles where their independent nature relates the breaking of gauge group from D(1) heavy branes when the distance is infinite for a path v suffice the relation[35][36],
∏v(1+ieAjdxjd(v)d(v))=exp(ie∫A⋅d(v))∃e∮∂∩A⋅d(v)=∫∩Bd(v)Considering a cycle σcy in the homogeneous Lie group, the movement can ultimately results in lifting the Lie group that originates over identity structures through,
2−times(σcy) and 3−times(σcy)Where the 2−times(σcy) where a covering parameter J for SO(2) can maintain the Type II superstring actions over the Twisted K — Theory (over Topo log i cal norms). One category of Type II superstrings (Type II-B) which has been extended to 12−dim where in the t′ Hooft limit, for Yang-Mills N=4, F-Theory being encountered under SL(2,Z), the D-Brane analogy being extended where there exists some non-trivial aspects being existent over RR-Fields and its relation to the Twisted K-Theory making up these points [27][37][38][39],
Thus, for the correspondence to KRNS−NSB — field ; a far more concrete relation can be attained for H−fluxNSD−Brane where the P− form for P− skeleton represents a complicated structure later but for the cohomology integral coefficients for a D-Brane absent RR-flux the relation can be stated over [27][37][38][35][36][39]
NS3− form m⊗RR−flux≅ charg e density of D-Brane +RR−flux≅ equations of motion (sup ergravity)Extending Type II for Type II-B the representation when made for a manifold M for the group operators Og in the quotient space q with q∂− rescalling Type II-B represents the Orientifold over the operator relation where ∂ in ∂− rescalling being taken trivially for the involution parameter, the nonempty operator represents the orientifold for the operator Og2p such that for the operator P∼ there is Type II-B for,
∂(P∼)Where through the splitting another structure represents II−A for the (1−1) − form.
The P − skeleton as stated above in turn gives the Topological K-Theory over B for the fibre f in the cohomological space M. over a Serre fibration parameter Sf.:M.→B. in the (p,q) − norm representing the cohomolgy pair (M⋅(p),M⋅(p,q)) for kth− co hom ology group through,
⨂p,qHk(M⋅(p))⨂p,qHk(M⋅(P),M⋅(P),H⋅(P−1)(M⋅(p))For the Atiyah—Hirzebruch taking the space M. and the spectral sequence associated with it for the fibres f. there exists the En-sheet taking (p,q) — norms for Ep,qn for n taking the values 2,3,∞; the spectral sequence can be in respect of the differentials Ed where there is,
Representing a finite group of two elements for a specified vector bundle acting on the Hilbert space for A-module being non—negative and self-adjoint constructions are made over a complex manifold such that taking that topological space through a pre—Hibert Hausdorff order there exists the c∗-algebra and Banach-algebra where the 3-points emphasized here a 8-periodic homotopy groups can be established through Bott Periodicity for Unitary, Orthogonal and symplectic category over a compact Hausdorff suffice K-Theory in the Topological and reduced form over two functors in (left—right) ring representation makes the well-defined Morita Equivalence taking the naturally induced isomorphism for those two functors in bimodular forms.
The linkage of K− Theory to K− Homology and c∗ — algebras have been established taking the same Morita equivalence for Kasparov's composition product where through the elliptic differential operator representing the Fredholm modules it has been established by Atiyah-Singer Index Theorem and Thom Isomorphism for the associated Chern character to establish the structures taking over the operator theory for the linear transformations with n — dim vectors through a specified mapping parameter over n — dim spaces for the complex tangent bundle channelizing the way to represent the dual category of the Hausdoff spaces in * — isomorphism that bounds the two subsets taken in this paper giving the relation between noncommutative geometry and noncommutative topology where the noncommutative topology is sufficed over a connectivity channelling from K —Theory to K — Homology considering operator K−Theory taking Baum — Connes conjecture through the 5 — classifiers for a concrete relation to KK−Theory.
Considering the two categories of algebra c∗ and the Banach where for the defined group action for the associated 2-norms as defined for Banach; there's two spectrums satisfying c∗ taking the same group actions where a modified form of Fourier transform, i.e., a Gelfand Transform can be established and given related to the same Hausdorff space for a Gelfand—Neimark transform over a∗-isommorphism considered. The properties of noncommutative geometry can be perceived through a generalized notion occupying Borel measures, involutions and Harr measures given the second norms taking group action (∧) as ℓ++(∧). This also provides the subspace of c∗-algebra as c∗sub over the previously mentioned transforms and associated parameters with the necessary mapping operator in index x01 there is a c∗red-algebras in the k−homology for a right side assemble parameter taking the same Baum-cones conjecture for a classifying space Scℓc. This torsion-free parameter in the A-module with Baum-Connes conjecture and the Hilbert A-module over the complex parameter δ gives the Poincare duality through the KK — Theory over another complex integer ∧ where Thom isomorphisms have been considered for a Topological K-Theory and the Spc-structure over the associated Chern class in the n-dim manifold.
Different forms of K—Theory as Twisted, Topological, Algebraic is considered taking Ep,qn and Epn — norms for defined value of n=1,2,3,4=∞ where the last value is expressed in terms of Kahler manifold (which if is compact with vanishing Ricci curvature can give the Calabi-Yau and iff this CY is of threefold then a nontrivial expression of string theory is defined for various values of supersymmetry). The K-Theory in the cohomology class with the topological aspects gives the Ramond-Ramond sector sufficing 3-dim integral class property for Type-II(B) strings. For the potentials of supergravity and the classifiers that are concerned through various representation-forms give the Atiyah-Singer Index Theorem with Fredholm modules and the Grothendieck-Riemann-Roch Theorem through the equations presented in the paper.
De Rahm cohomology with H—Twist is taken with a charge density and GSO-Projections for concerned Type-II action (on II-A and II-B) in P-form electrodynamics. Along with RR-fields the NS-NS B-field in the same P-form over P-skeleton where the NS 3-form is shown for the RR-flux on D-Brane RR-flux on supergravity. For the extension of Type-II(A) being considered through splitting and (1-1)-forms where the extended notion of Serre fibration is shown and the Atiyah—Hirzebruch spectral sequence is established for En — sheets with n=1,2,3,4=∞ giving distinct categories of K-Theories.
_____
The authors have no conflict of interest related to this paper.