Exotic smooth , geometry of string backgrounds and quantum Dbranes
Abstract
In this paper we make a first step toward determining 4dimensional data from higher dimensional superstring theory and considering these as underlying structures for the theory. First, we explore connections of exotic smoothings of and certain configurations of NS and Dbranes, both classical and (generalized) quantum using algebras. Effects of some small exotic ’s, when localized on , correspond to stringy geometries of fields on . Exotic smoothness of acts as a nonvanishing Bfield on in . The dynamics of Dbranes in WZW model at finite indicates the exoticness of ambient .
Next, based on the relation of exotic smooth with integral levels of WZW model we show the correspondence between exotic smoothness on 4space, transversal to the world volume of NS5 branes, and the number of these NS5 branes. Relation with the calculations in holographically dual 6dimensional little string theory is discussed.
Generalized quantum Dbranes in the noncommutative algebras corresponding to the codimension1 foliations of are considered and these determine the KK invariants of exotic smooth for the case of nonintegral . Moreover, exotic smooth ’s embedded in some exotic as open submanifolds, are shown to correspond to generalized quantum Dbranes in the noncommutative algebra of the foliation. Finally, we show how exotic smoothness of is correlated with D6 brane charges in IIA string theory.
In the last section we construct wild embeddings of spheres and relate them to Dbrane charges as well to KK theory. Wild embeddings as constructed by using gropes are basic to understand exotic smoothness as well Casson handles. Finally we conjecture that a quantum Dbrane is wild embedding. Then we construct an action for a quantum Dbrane and show that the classical limit (the usual embedding) agrees with the BornInfeld action.
Contents
1 Introduction
Despite the substantial effort toward quantizing gravity in 4 dimensions, this issue is still open. One of the best candidates till now is the superstring theory formulated in 10 dimensions. A way from superstring theory to 4dimensional quantum gravity or standard model of particle physics (minimal supersymmetric extension thereof) is, at best, highly nonunique. Many techniques of compactifications and flux stabilization along with specific modelbuilding branes configurations and dualities, were worked out toward this end within the years. Possibly some important data of a fundamental character are still missing.
The point of view advocated in this paper is that indeed we have not respected till now 4dimensional phenomena of different smoothings of Euclidean which presumably are very important for the program of QG. There are strong evidences that exotic 4smoothness on compact manifolds should be taken into account by any QG theory AsselmeyerMaluga2010 (). Here we refer to open 4manifolds and try to consider exotic ’s as serving a link between higher dimensional superstring theory and 4dimensional ,,physical´´ theories and 4dimensional QG. String theory would describe directly 4dimensional structures at the fundamental level. This paper serves as a step toward seeing exotic smooth as fundamental objects underlying higher dimensional (super)string theory. Further results regarding compactification and realistic 4dimensional models of various brane configurations in string theory and their relation to exotic 4smoothings, will be presented separately.
The problem with successful inclusion of the effects of 4openexotics into any physical theory, is the notorious lack of an explicit coordinatelike description of these smooth manifolds. In the series of our recent papers we addressed this issue and worked out some relative techniques allowing for analytical treatment of small exotic ’s AsselmeyerKrol2009 (); AsselmeyerKrol2009a (); AsselmeyerKrol2010 (); Krol2010 (). In this paper we show that description of Dbranes in some exact string backgrounds are related with 4smoothness of . Moreover, the deep quantum regime of the Dbranes is also 4exotic sensitive.
However the connection of abstract, generalized quantum Dbranes to the actual superstring theory Dbranes (in the manifold limit) is not directly given. The Witten limit of superstring theory where Dbranes yield their noncommutative worldvolumes is only the midway and in fact motivates the full algebra approach Szabo2008a (). This last serves as a possible partial solution to the problem of describing quantum Dbranes in superstring theory. The connection with exotic at this, quantum level is unexpected and shows that 4dimensionality may get into the game in string theory through backdoor of nonperturbative quantum regime. In the last section of the paper we use the algebra approach to quantum Dbranes to construct a manifold model of a quantum Dbrane as wild embedding. Then we show that the algebra of the wild embedding is isomorphic to the algebra of the quantum Dbrane. Furthermore we construct a quantum version of an action using cyclic cohomology and get the right limit to the classical Dbrane described by the BornInfeld action.
The basic technical ingredient of the analysis of small exotic ’s enabling uncovering many applications also in string theory is the relation between exotic (small) ’s and noncobordant codimension1 foliations of the as well gropes and wild embeddings as shown in AsselmeyerKrol2009 (). The foliation are classified by GodbillonVey class as element of the cohomology group . By using the gerbes it was possible to interpret the integral elements as characteristic classes of a gerbe over AsselmeyerKrol2009a ().
The main line of the topological argumentation can be briefly described as follows:

In Bizacas exotic one starts with the neighborhood of the Akbulut cork in the K3 surface . The exotic is the interior of .

This neighborhood decomposes into and a Casson handle representing the nontrivial involution of the cork.

From the Casson handle we construct a grope containing Alexanders horned sphere.

Akbuluts construction gives a nontrivial involution, i.e. the double of that construction is the identity map.

From the grope we get a polygon in the hyperbolic space .

This polygon defines a codimension1 foliation of the 3sphere inside of the exotic with an wildly embedded 2sphere, Alexanders horned sphere.

Finally we get a relation between codimension1 foliations of the 3sphere and exotic .
This relation is very strict, i.e. if we change the Casson handle
then we must change the polygon. But that changes the foliation and
vice verse. Finally we obtained the result:
The exotic (of Bizaca) is determined by the
codimension1 foliations with nonvanishing GodbillonVey class in
of a 3sphere seen as submanifold .
2 Geometry of string backgrounds and exotic
In this section we take the point of view that exotic smoothness of some small exotic ’s when localized on , correspond to some stringy geometry given by socalled fields on . The localization is understood as the representation of the exotics by 3rd integral or real cohomologies of . This correspondence takes place in fact for a classical limit of the geometry of string backgrounds, i.e. curved Riemannian manifold with Bfield. One can say that localized exotic smooth on is described by stringy geometry of fields on this . The correspondence can be extended over string regime of finite volume of WZW model.
2.1 WZW model, Dbranes and exotic
We want to focus on changing the smoothness of and considering the changes as localized on . As follows from AsselmeyerKrol2009 (); AsselmeyerKrol2009a () this gives rise to stringy effects, since the changes can be described by computations in some 2D CFT, namely WZW models on at finite level.
First we are going to discuss bosonic WZW model and dynamics of branes in it. We deal here with hence the nonzero metric of string background. In general, nonvanishing curvature , where is a nonconstant metric, of the background manifold on which bosonic string theory is formulated, enforces that field on cannot vanish. This is since the string field equations gives rise to (see e.g. Schomerus2002 ())
(1) 
where is the NSNS 3form, is the Bfield, and dilaton is fixed to be constant. Also in the case of superstring theory this equation still holds true provided all RR background fields vanish Schomerus2002 ().
Dbranes in group manifold (at the semiclassical limit) are determined as wrapping the conjugacy classes of , which are 2spheres plus 2 pointspoles, seen as degenerated 2spheres. Due to the quantization conditions there are Dbranes on the level WZW model Schomerus2000 (); Schomerus2002 (); Alekseev1999 (). To grasp the dynamics of the branes one should deal with the gauge theory on the stack of Dbranes on which is quite similar to the flat space case where noncommutative gauge theory emerges Alekseev1999b ().
For branes of type on top of each other, where is the representation of i.e. , the dynamics of the branes is described by the noncommutative action:
(2) 
Here the curvature form and the noncommutative ChernSimons action reads . The fields are defined on fuzzy 2sphere and should be considered as matrixvalued, i.e. where are fuzzy spherical harmonics and are ChanPaton matrixvalued coefficients. are generators of the rotations on fuzzy 2spheres and they act only on fuzzy spherical harmonics Schomerus2002 (). The noncommutative action was derived from Connes spectral triples of the noncommutative geometry and was aimed to describe Maxwell theory on fuzzy spheres Watamura2000 ().
One can solve the equations of motion derived from the stationery points of (2) and the solutions describing the dynamics of the branes, i.e. the condensation processes on the brane configuration which results in another configuration . Namely the equation of motion derived from (2) read:
(3) 
A class of solutions for (3), in the semiclassical limit, can be obtained from the dimensional representations of the algebra . For one has branes of type , i.e. pointlike branes in at the identity of the group. Given another solution corresponding to the one can show that this corresponds to the brane wrapping the sphere and is obtained as the condensed state of pointlike branes at the identity of Schomerus2002 ():
(4) 
Turning to the finite stringy regime of the WZW model one can make use of the techniques of the boundary CFT when applied to the analysis of Kondo effect Schomerus2002 (). It follows that there exists a continuous shift at the level of partition function, between and the interfered sum of characters where (in the vanishing value of the coupling constant) and are Verlinde fusion rule coefficients. In the case of pointlike branes one can determine the decay product of these by considering open strings ending on the branes. The result on the partition function is
which is continuously shifted to and next to . As the result we have the decay process Schomerus2002 ()
(5) 
which extends the similar process derived at the semiclassical limit in the effective gauge theory (4), however the representations are bounded now, from the above, by .
Given the above dynamics of branes in the WZW model at stringy regime, one can address the question of brane charges in a direct way. This is based on the decay rule (5) in the supersymmetric WZW model. In this case we have a shift of the level namely which measures the units of the NSNS flux through . One can see the supersymmetric model as strings moving on with units of NSNS flux. From the CFT point of view there exist currents which satisfy level of the KacMoody algebra and free fermionic fields in the adjoint representation of . However it is possible to redefine the bosonic currents as
which fulfill the current algebra commutation relation at the level . Here are the structure constants of . The fields commute with such currents, thus we have the splitting of the supersymmetric WZW model at level as WZW model at level times the theory of free fermionic fields.
Thus there are stable branes wrapping the conjugacy classes numbered by . The decaying process (5) says that placing pointlike branes (each charged by the unit ) at the pole they can decay to the spherical brane wrapping the conjugacy class. Taking more pointlike branes to the stack at gives the more distant branes until reaching the opposite pole where we have single pointlike brane with the opposite charge . Having identify units of the charge with we arrive at the conclusion that the group of charges is . More generally the charges of branes on the background with nonvanishing are described by the twisted group (see e.g. MathaiMurray2001 ()). In the case of we get the group of RR charges as above for
(6) 
Based on AsselmeyerKrol2009 (), the following important observation is in order: certain small exotic ’s generate the group of RR charges of Dbranes in the curved background of . This observation is based on the integral classes from which one can construct the exotic as corresponding to the codimension1 foliation of (determined by the class ). In AsselmeyerKrol2009 () we showed that twisted Ktheory of by the class can be seen as the effect of the exotic smoothness on the ambient 4space, when is understood as the part of the boundary of the Akbulut cork of .
Thus we arrive at the correspondence:
Theorem 1
The classification of RR charges of the branes on group manifold background at the level , hence the dynamics of Dbranes in in stringy regime, is correlated with exotic smoothness on containing this as the part of the boundary of the Akbulut cork.
We can give yet another interpretation of the 4exoticness which appears on flat in this context. Exotic smoothness of , , determines the collection of stable Dbranes on at the level of the WZW model, where . Thus, the stringy, finite , level of WZW model characterizes exotic 4smoothness. Recall that in the case of (e.g. constant in a flat space, i.e. in limit) the smooth structure on is the standard one AsselmeyerKrol2009 (). Thus the exotic smoothness on translates the 4curvature to the nonzero Hfield on of finite volume in string units. This is similar to the effect of string field equations relating and as in (1), though it holds now between different spaces ( and ).
2.2 WZW model in the geometry of the stack of NS5branes
The group manifold is the only manifold which became relevant so far for the description of small exotic . From the other side it is the only one which appears directly as part of a string background (namely one generated by NS5branes). The reason is given by the connection of 4exotics and string theory as it can be naturally formulated in the geometry of the stack of NS5branes. Let us briefly describe this string background Schomerus2000 (); Schomerus2002 (); Bachas2000 ().
We consider a configuration of coincident supersymmetric NS5branes in type II theory. The full fivebrane background is (in string frame)
(7) 
where are the longitudinal coordinates along NS5branes referred to by indices , , etc., being 4 transverse coordinates referred to by indices , , … and , string tension. The fields of this background reads as
(8) 
where are the positions of the NS5branes. When the branes coincide at 0, , the near horizon solutions , are
(9) 
In the nearhorizon limit , the background factorizes into a radial component and a and flat 6dimensional Minkowski spacetime. Strings propagating at this limiting background are described by the exact worldsheet CFT with the target . Here is the real line with the parameter which is a scalar corresponding to the ,,linear dilaton”
(10) 
The flat Minkowski space is longitudinal to the directions of NS5branes, is and is a level WZW supersymmetric CFT (SCFT) on as discussed in the previous subsection. This corresponds to the angular coordinates of the transversal . We see that infinite geometrical ,,throat” , emerges. The metric of the background (in the string frame) thus reads
This background is obtained in the near horizon, (), geometry of the stack of NS5branes in type II string theory and is in fact a SCFT on the throat. The NS5branes are placed at and string theory is strongly coupled there, . In the opposite limit , or , gives asymptotically flat 10space and string theory is weakly coupled in that limit. This is essentially the CHS (Callan, Harvey, Strominger CHS1991 ()) exact string theory background where WZW model appears at suitable level .
Given the CHS limiting geometry of NS5branes we have the 4dimensional tube . The volume of in string units is finite and correlated with the number of NS5branes by Bachas2000 (). We take an exotic for . This can be achieved more directly by considering the Akbulut cork with the boundary, , the homology 3sphere. As was shown in AsselmeyerKrol2009 () contains such that the codimension1 foliations of it generates the foliations of . The foliations in turn are generated by Casson handles attached to . Thus the attached Akbulut cork and Casson handle(s) determine the small exotic smoothness of GomSti:1999 (); AsselmeyerKrol2009 (). Moreover, the cobordism classes of codimension1 foliations of are classified by the GodbillonVey invariants which are elements of . In our case we deal with integral 3rd cohomologies . Thus, a way of embedding the Akbulut cork, for some class of exotic ’s, in the ambient is determined by the integral classes . Taking the above from the boundary of the Akbulut cork, as in the string background of NS5branes we arrive at the following result:
Theorem 2
In the geometry of the stack of NS5branes in type II superstring theories, adding or subtracting a NS5brane is correlated with the change of smoothing on transversal .
Now the tube of the limiting geometry can be embedded in the ambient standard . Taking this as lying in the boundary of the Akbulut cork for some exotic smooth , the embedding of the tube in this exotic 4space is determined by the embedding of the Akbulut cork. But this embedding is determined by Casson handles attached to the cork and corresponds to the integral class . Thus the background is geometrically realized as . We propose here a general heuristic rule:
R1. Dbranes probing exotic 4dimensional Euclidean space, , times 6dim. Minkowski spacetime ,, are described equivalently by the Dbranes of type II string theory probing the transversal 4space, , to NS5branes in the background of these 5branes. Here . Since appears in both sides of the correspondence we say that Dbranes explore exotic Euclidean .
Rule R1 is based on the assumption that various nonstandard smoothings of can be grasped by the effects of . This follows from the correlation of the classes and 4exotics as proved in AsselmeyerKrol2009 (). Following this rule we can consider many examples of Dbranes in the above background (see e.g. GiveonAntoniadis2000 (); GiveonKutasov2000 (); YunKwon2009 (); Ribault2003 (); ChenSun2005 ()), as referring to 4exoticness.
Furthermore type II string theory on is given by the SCFT on the infinite ,,throat” of the background, i.e. . Then this theory was proposed to be approachable via holography by using duality. The holographically dual theory appears to be so called 6dimensional little string theory (LST) GiveonKutasov2000 (); Aharony2002 (). This is a very interesting situation for us since LST was analyzed as having possible experimental signatures at the TeV scales after the compactification on torus GiveonAntoniadis2000 (). By the rule above this refers to 4exotics as well. We do not deal here with the details and refer the interesting reader to a separate paper devoted to (flux) compactification in string theory and exotic 4smoothness. But we will present some general remarks here.
LST’s are nonlocal theories without gravity and can be described in the limit in the theory on NS5branes. In that limit the bulk degrees of freedom decouple, hence gravity does. This 6dim. LST without gravity is holographically dual to the type II string theory formulated on the background GiveonAntoniadis2000 (). From the rule R1 it follows that LST is referred to exotic and calculations in LST should lead to invariants of the 4exotics. The perturbative calculations, however, are hardly performed in LST since the string coupling diverges in the dual string background along the tube, and LST is sensitive on that. One usually regulates the geometry via chopping the tube. But the decomposition of the SCFT on can be performed. Here is a minimal model at the level and is the Cartan subalgebra of with the parameter . The dependence on is crucial at this reformulation since this refers to 4exotics by theorem 2 and the rule R1. Thus we have the SCFT instead of the tube . The chopping of the strong coupling region is now performed by taking the SCFT instead of which means replacing the background by . This means, on the level of NS5branes, the separation of these 5branes along the transverse circle of radius . Now the doublescale limit of LST is the one when taking both and to zero while remains constant.
Following GiveonKutasov2000 () we can take systems of D4, D6branes between separated NS5branes. The various expressions like correlation functions can be now calculated perturbatively in the holographically dual 6dimensional LST theory. Besides, suitable compactifications may refer to the spectra with the TeV scale of the standard model of particles. The dependence on of some of these expressions can be seen as the signature of the existence of exotic structure in the 4space transversal to the branes.
Exoticness of the 4space transversal to the worldvolume of NS5branes, is reflected in specific perturbative spectra of Dbranes when calculated in dual 6dimensional LST. When compactifying this LST on 2 directions longitudinal to the 5brane one gets spectra which could be sensitive on transversal exoticness of . From the point of view of physics, the calculations refer to the TeV scale Aharony2002 ().
The important observation can be made: Some LST calculations refer not only to holographically dual string theory but also to exotic smoothness on . This is the indication that one can try, at least in some cases, to replace higher dimensional string theory effects by 4dimensional phenomena.
This is in fact the reformulation of the rule R1. The NS5branes backgrounds show that string theory computations ,,feel” the 4exoticness.
3 Quantum Dbranes and 4exotica
In this section we want to show that Dbranes of string theory, as in the previous sections, are related with exotic smooth ’s also beyond the semiclassical limit, i.e. in the quantum regime of the theory where one should deal rather with quantum branes. What quantum branes mean in general is still an open and hard problem. One appealing proposition, relevant for this paper, is to consider branes in noncommutative spacetimes rather than on commutative manifolds or orbifolds. This leads to abstract Dbranes in general noncommutative separable algebras as counterparts for quantum Dbranes. In the next section we will present a definition using wild embeddings.
3.1 Dbranes on spaces: Khomology and KK theory
The description of systems of stable Dpbranes of IIA,B string theories via Ktheory of topological spaces can be extended toward the branes in noncommutative algebras. A direct string representation of the algebraic and Ktheoretic ideas is best seen in Kmatrix string theory where, in particular, tachyons are elements of the spectral triples representing the noncommutative geometry of the worldvolumes of the configurations of branes AsakawaSugimotoTerasima2002 (). The elements of the formulation of type II strings as K matrix theory is presented in the Appendix A.
First let us consider the case of vanishing field on . The charges of Dbranes are classified by suitable theory groups, i.e. in IIB and in IIA string theories, where is the background manifold. On the other hand, worldvolumes of Dpbranes correspond to the cycles of K homology groups, , , which are dual to the theory groups. Let us see how cycles correspond to the configurations of Dbranes.
A  cycle on is a triple where is a compact manifold without boundary, is a complex vector bundle on and is a continuous map. The topological homology is the set of equivalence classes of the triples respecting the following conditions:

when there exists a triple (bordism of the triples) such that is isomorphic to the disjoint union where is the reversed structure of and is a compact manifold with boundary.

,

Vector bundle modification . is even dimensional sphere bundle on , projection, is a vector bundle on which gives the generator of on every over each Szabo2002a ().
The topological Khomology as above has an abelian group structure with disjoint union of cycles as sum. The triples with being even dimensional determines . Similarly, corresponds to odd dimensions. Thus decomposes into a direct sum of abelian groups:
Now the interpretation of cycles as Dbranes HarveyMoore2000 () is the following: is the worldvolume of brane, the ChanPaton bundle on it and gives the embedding of the brane into spacetime . Moreover, has to wrap manifold FreedWitten1999 () and classifies stable Dbranes configurations in IIB, and in IIA, string theories. The equivalences of Kcycles as formulated in the conditions (i)(iii) correspond to natural relations for Dbranes AsakawaSugimotoTerasima2002 (); Szabo2008b ().
The topological Khomology theory above can be obtained analytically (analytic Khomology theory) as a special commutative case of the following construction on general algebras AsakawaSugimotoTerasima2002 ().
A Fredholm module over a algebra is a triple such that

is a separable Hilbert space,

is a homomorphism between algebras and of bounded linear operators on ,

is selfadjoint operator in satisfying
where are compact operators on . Now let us see how a Fredholm module describes certain configuration of IIA K matrix string theory directly related to D branes. To this end we consider the operators of the Kmatrix theory (infinite matrices) acting on the Hilbert space as generating the algebra (see the Appendix A and AsakawaSugimotoTerasima2002 ()). In the case of commuting , hence commutative , we have the following correspondence (explaining the index in ):

Every commutative algebra is isomorphic to the algebra of continuous complex functions vanishing at infinity on some locally compact Hausdorff space (GelfandNajmark theorem). A point is determined by a character of which is a homomorphism .

serves as a common spectrum for and the choice of a point from as the eigenvalue of fixes the position of the non BPS instanton along .

In this way is covered by the positions of infinite many non BPS instantons and serves as the worldvolume of some higher dimensional D brane AsakawaSugimotoTerasima2002 ().
Now let us explain the role of the tachyon . is a selfadjoint unbounded operator acting on the ChanPaton Hilbert space . is a unital algebra generated by which can be now noncommutative. The corresponding geometry of the worldvolume would be noncommutative and given by some spectral triple. The spectral triple is in fact which means that the following conditions are satisfied AsakawaSugimotoTerasima2002 ():
These conditions indeed hold true in our case of K matrix string theory for a tachyon field , ChanPaton Hilbert space and algebra generated by (see Appendix B). The extension of spacetime manifold toward noncommutative algebra and noncommutative worldvolumes of branes, represented by spectral triples, is thus given by AsakawaSugimotoTerasima2002 ():

Fixing the spacetime algebra ;

A homomorphism generates embedding of the Dbrane worldvolume and its noncommutative algebra as ;

Dbranes embedded in a spacetime are represented by the spectral triple ;

Equivalently, Dbrane in is given by unbounded Fredholm module .
In particular the classification of stable Dbranes in is the classification of Fredholm modules given by analytical Khomology. Given the isomorphisms of the topological and analytical K homology groups, we have the classification of stable Dbranes in terms of Kcycles, as we discussed at the beginning of this section. In terms of K matrix string theory we can say that stable configurations of Dinstantons determine the stable higher dimensional Dbranes which are Khomologically classified as above.
Now let us turn to a more general situation than Kstring theory of Dinstantons, i.e. backgrounds given by nonBPS Dpbranes or nonBPS Dpbranes in type II string theory. The stable configurations of Dqbranes are then classified by generalized Ktheory namely Kasparov KKtheory. As in the above case of Dbranes in a algebra corresponding to Fredholm modules, one defines an odd Kasparov module , where is an countable Hilbert module over algebra , as

a homomorphism from to the algebra of bounded linear operators on , ;

a selfadjoint operator from satisfying:
where is . is in fact a family of Fredholm modules on the algebra . When is we have an ordinary Fredholm module as before. The homotopy equivalence classes of odd Kasparov modules determine elements of . Also one defines an even Kasparov classes as homotopy equivalence classes of the triples . A natural grading appears due to the involution .
Now the classification pattern for branes in spaces emerges. There are nonBPS unstable Dpbranes wrapping the dimensional worldvolume . Then stable Dqbranes configurations embedded in a space transverse to correspond to (are classified by) the classes of . Similarly, given nonBPS unstable Dpbranes system, then stable Dqbranes embedded in transverse to (dimensional worldvolumes) are classified by elements of . The case of even contains the grading as corresponding to the ChanPaton indices of Dp and branes.
3.2 Dbranes on separable algebras and KK theory
The classification of Dbranes in a spacetime manifold given by KK theory as sketched in the previous subsection, can be extended over noncommutative spacetimes and noncommutative Dbranes both represented by separable algebras. Let us first recapitulate the ,,classic” case of spaces allowing the extension over algebras Szabo2008c ().
In the case of type II superstring theory, let be a compact part of spacetime manifold, i.e. is a compact manifold again with no background flux. As we saw, a flat Dbrane in is a BaumDouglas Kcycle . Here is the embedding of the closed submanifold of and is a complex vector bundle with connection (ChanPaton gauge bundle). As follows from BaumDouglas construction, determines the stable class in the Ktheory group and all Kcycles form an additive category under disjoint union. Now, the set of all Kcycles classes up to a kind of gauge equivalence as in BaumDouglass construction, gives the Khomology of . This Khomology is also the set of stable homotopy classes of Fredholm modules which are taken over the commutative algebra of continuous functions on . This defines the correspondence (isomorphism) where a Kcycle corresponds to unbounded Fredholm module . Here is the separable Hilbert space of square integrable spinors on taking values in the bundle , i.e. , is the representation of the algebra in such that where is the operator of pointwise multiplication of functions in by the function on , , and . is the Dirac operator twisted by corresponding to the structure on . Given the Ktheory class of the ChanPaton bundle , i.e. , then the dual Khomology class of a Dbrane, uniquely determines . In that way Dbranes determine Khomology classes on which are dual to Ktheory classes from where is the transversal dimension for the brane worldvolume . This Ktheory class is derived from the image of by the Gysin Ktheoretic map . As we discussed already, the odd and even classes of Khomology correspond to the parity of the dimension of . The Kcycle corresponds to a Dpbrane and its gauge equivalence is given by BaumDouglas construction using the conditions (i)(iii) in Sec. 3.1. Thus we have Szabo2008b ():
Fact 1: There is a onetoone correspondence between flat Dbranes in , modulo BaumDouglas equivalence, and stable homotopy classes of Fredholm modules over the algebra .
In the presence of a nonzero field on , which is a gerbe with connection represented by the characteristic class in Szabo2008b (); AsselmeyerKrol2009 (), one can define twisted Dbrane on as Szabo2008b ():
Definition 1
A twisted Dbrane in a Bfield is a triple , where is a closed, embedded oriented submanifold with , and is the ChanPaton bundle on , i.e. , and is the 3rd integer StiefelWhitney class of the normal bundle of , .
The condition in the definition is in fact required by the cancellation of the FreedWitten anomaly, where is the NSNS flux. Since is the obstruction to the structure on , in the case of one has flat Dbranes in . Thus equivalence classes of twisted Dbranes on are represented by twisted topological Khomology which is dual to the twisted Ktheory . As was argued in AsselmeyerKrol2010 (), in case of , one has some exotic ’s which can be twisted by leading to the Ktheory . We can represent the gerbes with connection on , by the bundles of algebras over , such that the sections of the bundle define the noncommutative, twisted algebra and the DixmierDouady class of , , is AsselmeyerKrol2009a (); AtiyahSegal2004 (); Szabo2002a (). The important relation is the following (Szabo2008b (), Proposition 1.15):
Fact 2: There is a onetoone correspondence between twisted Dbranes in and stable homotopy classes of Fredholm modules over the algebra .
Since the algebra certainly determines its stable homotopy classes of the Fredholm modules on it, then in the case one has the following observation:
A. Let the exotic smooth ’s are determined by the integral third classes . Then, these exotic smooth ’s correspond onetoone to the set of twisted Dbranes in .
In principle, given the complete collection of twisted Dbranes in , which take values in , one can determine the corresponding exotic . This is simply the exotic corresponding to the class and makes the twist in the Khomology as dual to the twisted Ktheory AsselmeyerKrol2009a (); AsselmeyerKrol2010 (); Szabo2002a (). In this paper we collect further evidences that this is also the case more generally, and the relation Dbranes  4exotics is closer.
Remembering that as part of the Akbulut cork of the exotic structure, our previous observation can be restated as:
B. The change of the exotic smoothness of , , , , , corresponds to the change of the curved backgrounds hence the sets of stable Dbranes.
This motivates the formulation:
C. Some small exotic smoothness on , , can be destabilize (or stabilize) Dbranes in , where lies at the boundary of the Akbulut cork of . We say that Dbranes in are 4exoticsensitive.
Turning to the generalization of spaces to noncommutative algebras, there were developed recently impressive counterparts of many topological, geometrical and analytical results, like Poincaré duality, characteristic classes and the RiemannRoch theorem. Also the generalized formula for charges of quantum Dbranes in a noncommutative separable algebras was worked out Szabo2008a (); Szabo2008b (). Thus the suitable framework for considering the quantum regime of Dbranes emerged. In next subsection we will try to find a relation to 4exotics also in this quantum regime of Dbranes.
Following AsakawaSugimotoTerasima2002 (); Szabo2008a (); Szabo2008b (); Szabo2008c () one can take as an initial substitute for the category of quantum Dbranes, the category of separable algebras and morphisms being elements of KK theory groups. This means that for a pair of separable algebras the morphisms is lifted to the element of the group . Thus we can consider a generalized Dbranes in a separable algebra as corresponding to the lift where represents a quantum Dbrane.
More precisely following Szabo2008a (), let us consider a subcategory of the category of separable algebras and their morphisms, which consists of strongly Koriented morphisms. This means that there exists a contravariant functor such that is mapped to , here is the category of separable algebras with KK classes as morphisms. Strongly Koriented morphisms and the functor are subjects to the following conditions:

Identity morphism is strongly Koriented (SKKO) for every separable algebra and . Also, the 0morphism is SKKO and .

If is SKKO then is either, and . is the opposite algebra to , i.e. one which has the same underlying vector space but reversed product.

Any morphism is SKKO, provided and are strong Poincaré dual (PD) algebras. Then is determined as:
(11) here is the class of in . is the fundamental class in , its dual class in which exist by strong PD Szabo2008a ().
Korientability was introduced, in its original form, by A. Connes in order to define the analogue of structure for noncommutative algebras (see also Connes1984 () and next subsections). Presented here formulation of Korientability and strong PD algebras are crucial ingredients of noncommutative versions of RiemannRoch theorem, Poincarélike dualities, Gysin Ktheory map and allows to formulate a very general formula for noncommutative Dbrane charges Szabo2008b (); Szabo2008a (); Szabo2008c (). Let us notice that if both and are PD algebras then any morphism is Koriented and the Korientation for is given in (11).
In the particular case of the proper smooth embedding of codimension , where , are smooth compact manifolds, let the normal bundle over , of with respect to , be . When also is then the condition on when flux is absent in type II string theory formulated on , is the FreedWitten anomaly cancellation condition Szabo2008a (). In this case any Dbrane in , given by the triple , determines the KKtheory element . The construction of Korientation , between smooth compact manifolds, can be extended to smooth proper maps which are not necessary embeddings. Thus the general condition for Korientability gives the correct analogue for stable Dbranes in algebras.
Definition 2
A generalized stable quantum Dbrane on a separable algebra , represented by a separable algebra , is given by the strongly Koriented homomorphism of algebras, . The Korientation means that there is the lift where fulfills the functoriality condition as in (11).
This kind of an approach to quantum Dbranes is in fact a conjectural framework which exceeds both the dynamical SeibergWitten limit of superstring theory (where noncommutative brane worldvolumes emerges) and geometrical understanding of branes, and places itself rather in a deep quantum regime of the theory Szabo2008c ().
3.3 Exotic and stable Dbranes configurations on foliated manifolds
Now we want to approach the problem of description of stable states of Dbranes in a more general geometry than spaces, namely the geometry of foliated manifolds. The case of our interest is a codimension1 foliation of . This is a noncommutative geometry. In general, to every foliation one can associate its noncommutative algebra , on the other hand a foliation determines its holonomy groupoid and the topological classifying space . Both cases, topological Khomology of and algebraic Ktheory, are in fact dual. Analogously to our previous discussion of branes as Kcycles on , let us start with Khomology of and define Dbranes as Kcycles in :
A  cycle on a foliated geometry is a triple where is a compact manifold without boundary, is a complex vector bundle on and is a smooth Koriented map. Due to the Korientability in the presence of canonical bundle on , the condition of structure on is lifted to the structure on Connes1984 ().
The topological homology of the foliation is the set of equivalence classes of the above triples, where the equivalence respects the following conditions:

when there exists a triple (bordism of the triples) such that is isomorphic to the disjoint union where is the reversed structure of and is a compact manifold with boundary.

,

Vector bundle modification similarly as in the case of manifolds.
As in the case of spaces (manifolds) and the corresponding Khomology groups representing stable Dbranes of type II superstring theory (see Sec. 3.1), also here, in the case of the geometry of foliated manifolds we generalize stable Dbranes as being represented by the above triples.
Theorem 3
The class of generalized stable Dbranes on the algebra (of the codimension 1 foliation of ) which correspond to the Khomology classes , determines an invariant of exotic smooth . Such an exotic contains this foliated as a generalized (noncommutative) smooth subset AsselmeyerKrol2009a ().
The result follows from the fact that is isomorphic to Connes1984 () and this determines a class of stable Dbranes in . The foliations correspond to different smoothings on AsselmeyerKrol2009 ().
Let us note that this approach allows for considering a kind of string theory and branes also beyond the integral levels of WZW model given by . The relation with exotic smooth ’s extends over this as well.
3.4 Net of exotic ’s and quantum Dbranes in
The extension of string theory and Dbranes over general noncommutative separable algebras where also Dbranes are represented by noncommutative separable algebras, can be considered as an approach to quantum Dbranes. A category of Dbranes in a quantum regime, is the category of separable algebras and morphisms which are elements of KK theory groups. For a pair of separable algebras the morphisms belong to . Abstract quantum Dbranes in a separable algebra correspond to where is the algebra representing a quantum Dbrane and is a strongly Koriented map. For such branes a general formula for RR charges in noncommutative setting was worked out Szabo2008a (); Szabo2008b ().
Dbranes considered in the previous subsection, correspond to the lifted KKtheory classes, i.e. where Dbrane corresponds to the triple and