Abstract

Some geometric and topological implications of noncommutative Wilson loops are explored via the Seiberg-Witten map. In the abelian Chern-Simons theory on a three-dimensional manifold, it is shown that the effect of noncommutativity is the appearance of new knots at the th order of the Seiberg-Witten expansion. These knots are trivial homology cycles which are Poincaré dual to the higher-order Seiberg-Witten potentials. Moreover the linking number of a standard 1-cycle with the Poincaré dual of the gauge field is shown to be written as an expansion of the linking number of this 1-cycle with the Poincaré dual of the Seiberg-Witten gauge fields. In the process we explicitly compute the noncommutative “Jones-Witten” invariants up to first order in the noncommutative parameter. Finally in order to exhibit a physical example, we apply these ideas explicitly to the Aharonov-Bohm effect. It is explicitly displayed at first order in the noncommutative parameter; we also show the relation to the noncommutative Landau levels.

1. Introduction

Noncommutativity of spacetime has strongly attracted the attention in the last two decades (see, e.g., [1, 2]). In a remarkable paper by Seiberg and Witten [3], they showed that open string theory in the specific limit of small volume, nonvanishing -field and , the amplitudes with constant open string metric and noncommutativity parameter , gives precisely a (Connes-style [4]) noncommutative gauge theory. In this context, this theory can be rewritten in terms of the commutative one through a field redefinition known as the Seiberg-Witten map [3].

Under such a map gauge fields are written as an infinite series on the noncommutative parameter ( where are the noncommutative coordinates of the spacetime). To every order (in ) the gauge field can be determined in terms of the usual (commutative) gauge field. The addition of higher-derivative terms does not spoil gauge invariance since the noncommutative gauge group action on the space of noncommutative connections is such that the quotient is isomorphic to the corresponding quotient in the commutative case. This construction was realized explicitly for pure gauge fields. Later this construction was extended to the nonabelian case and coupled to matter fields [57]. This proposal has been studied widely in the literature and used for noncommutative gauge invariance extensions of the standard model and gravity (see, e.g., [811]). In the case of the gravity such extension gave rise in a natural way to topological invariants such as the Euler characteristic and the signature with explicit computations in [12, 13].

It is well known that the Wilson lines and loops are very useful in the description and computation of some nonperturbative aspects of gauge theory just as confinement [14]. In the context of string theory noncommutative Wilson loops have been studied within the correspondence gauge/gravity duality in [1519]. In [20], in noncommutative gauge theories, Wilson lines were studied through the Schwinger-Dyson equations of correlation functions of Wilson lines. In field theory on a noncommutative two-dimensional torus the correlators of Wilson line operators were determined [21]. Also in the two-dimensional plane within a perturbative expansion (in and in -expansion), the nonplanar correlation functions of Wilson loops were obtained and the mixing UV/IR was consistently regularized [22, 23]. Wilson loops also were studied in the twisted covariant noncommutative field theory. In particular their correlation functions, Morita duality, and the area-preserving diffeomorphisms action were examined in this context in [24, 25]. In [26], it was observed that, in a gauge theory on the noncommutative plane, the area-preserving diffeomorphisms symmetry is nonperturbatively broken.

Noncommutative gauge theories have very striking topological and geometrical features. For instance, in string theory, in the absence of -field, the instanton equation is exact in as the instanton shrinks, and this small instanton becomes a singularity of its moduli space. For nonvanishing -field and nonsmall volume, the singularity is resolved and absent from the moduli space. This space defines precisely the moduli space of noncommutative instantons [27]. It is worth mentioning that recently in [28] some geometrical implications of the Seiberg-Witten map in Chern-Simons and gravity were discussed. Some useful comments of noncommutative Chern-Simons theory can be found in [29]. Some connections with the Seiberg-Witten equations are described in [3032]. The consideration of some topological aspects of the noncommutative Wilson lines in the Seiberg-Witten limit is discussed in [33]. Other aspects of topological nature in noncommutative gauge theory were discussed in [34].

The Wilson loops possess by themselves some interesting geometrical and topological properties; for example, in the abelian case, they can be regarded in terms of the linking number [35]. On the other hand Wilson loops are also useful for the description of knots and link invariants. In [36] Jones polynomials were reproduced and generalized by computing correlation functions of products of Wilson loops using Chern-Simons action in the path integral formalism. Essentially the computations throw topological invariants since the action, observables, and measure do not depend on the metric for Chern-Simons theories and their higher-dimensional generalization known as BF theories [3739]. Linking numbers in BF theories were examined in [3741].

In the present work we explore some geometrical and topological aspects based on the previous ideas but immersed in a noncommutative space using the Wilson lines constructed by means of the gauge field provided by the Seiberg-Witten map. As our main result, we will see that in this context it is possible to establish a correspondence between the terms of a power series (in the noncommutative parameter ) contained within the phase of a noncommutative Wilson loop. Each term of the series in has associated various linking numbers, such that, at the th term of the expansion, there will arise extra linking numbers. All these extra terms correspond to new homology cycles generated by the nonvanishing parameter .

The linking number is ordinarily a topological invariant; now the noncommutative linking numbers considered here will represent a topological invariant of the corresponding more general noncommutative topology. Thus, the arising extra terms and their involved mathematical structures deserve a detailed mathematical and physical interpretation and further analysis. In the present paper we will restrict ourselves to compute the first order noncommutative corrections to the linking numbers. This should be considered a first step of a description of the subject.

To explore how the modifications to topology of knots are immersed on the noncommutative space, we consider the abelian Jones-Witten polynomials in the path integral formalism which are given in terms of Wilson loops. We will show explicitly that the polynomials are changed due to noncommutativity already at the first order; there will be a nonvanishing and nontrivial modification of the linking numbers due the noncommutative generalization of the notion of topology.

In order to explore our proposal in a more detailed way we consider the application of the noncommutative Wilson loops to the Aharonov-Bohm effect. Some literature on the noncommutative Aharonov-Bohm effect and its relation to the Landau levels can be found in [4247].

It is worth mentioning that the Wilson loops have been used in the description of some quantum theories of gravity. Some of these results can be found in [4851]. The results found in the present paper would be applied also for this kind of theories.

This paper is structured as follows. In Section 2 we overview the Seiberg-Witten map and set the notation and conventions that we will follow along the paper. Section 3 is devoted to constructing the noncommutative Wilson loops based on the gauge field of the Seiberg-Witten map. In Section 4 we introduce the linking numbers; first in order to explore the geometrical properties of noncommutative Wilson loops we use basic ideas of Poincaré duality and interpret higher-order powers in the Seiberg-Witten expansion in terms of the arising new linking numbers. In Section 5 we compute the abelian Jones-like polynomials using the path integral formalism through the Chern-Simons functional up to first order in the noncommutative parameter. As a physical application, in Section 6 we explore the abelian noncommutative Aharonov-Bohm effect by means of the gauge field of the Seiberg-Witten map. The noncommutative Aharonov-Bohm effect is a very interesting physical example in which the noncommutativity could be relevant. It has known effects already described in the literature [4247]. Moreover it has a relation with the noncommutative Landau levels. We will find that our results are consistent with these mentioned results. Section 7 is devoted to final remarks.

2. The Seiberg-Witten Map

Our aim is not to provide an extensive review on the Seiberg-Witten map [3] but to only recall the relevant structure which will be needed in the following sections. Throughout this paper we will follow the notation and conventions introduced in [7].

We are interested in noncommutativity utilizing the Seiberg-Witten map [3]. This proposal was extended in [57] for any gauge field coupled to matter. In the following we present a brief description of this construction.

The central idea is to deform the algebraic structure of continuous spaces in particular the polynomials in variables generated by powers of where , which is a freely generated algebra . Now consider the usual commutations relations between the coordinatesThis algebraic structure will be deformed assumingwhere ; that is, is the noncommutative parameter and are the noncommutative coordinates (as we can see this algebra is similar to the Heisenberg algebra in the phase space); for a formal description see [7].

Explicitly this modifies the way we multiply polynomials and in general functions over the noncommutative variables in terms of the commutative variables through the Moyal -product defined bywhere is the product map defined by

In this context the gauge transformations of a matter field are defined as where is the noncommutative gauge parameter which is Lie algebra-valued; that is, . Now let us compute explicitly the following variation of the field : It is worth mentioning that the fields are not Lie algebra-valued because not only do we have commutators but also we have anticommutators. So the algebra that posses both operations (commutators and anticommutators) is precisely the Universal Enveloping Algebra.

The covariant derivative is defined by where is the noncommutative gauge field and transforms asWe can see that these terms have infinity many degrees of freedom, but in [3] it was shown that all the higher-order terms depend only on the zeroth order terms (the commutative term), that is, of the gauge parameter and the gauge field . Let us assume that the gauge parameter depends only on and , that is, the gauge parameter and the gauge field, respectively. With these assumptions borne in mind, let us substitute in expression (5); then we have This expression could be solved perturbatively assuming an expansion in the parameter as , where .

For example, up to first order in , we find the following expression:whose solution is . With this expression we can compute in a similar way the expression for matter fields assuming the transformation at 0-th order .

For the gauge field we expand again in orders of as and substituting it into (7), up to first order in , we obtainFinally the field strength tensor is given by , whose solution up to first order isHere we can identify and .

3. Noncommutative Wilson Loops

The usual Wilson loop is given by the following expression:where , with being the Lie algebra generators; then the Wilson loop is an element of the Lie group and an element of the holonomy. An extension to the noncommutative case was proposed in a straightforward manner using the Moyal product in [30, 32]. In this work we make use of the gauge field present in the Seiberg-Witten map in order to construct the corresponding noncommutative Wilson loop. This leads to change in the connection by which possesses an expansion in powers in given by and every is expanded in terms of the usual -form basis; that is, ; the Wilson loop corresponding to the Seiberg-Witten map is given byFor Chern-Simons (our case of interest) it was shown in [28] that the same formulae apply for the Seiberg-Witten map. Further developments for higher-order computations of the Seiberg-Witten map can be found in [52].

The -exponential is defined as where we are assuming the integration order , with .

3.1. Abelian Case

For the abelian case the Wilson loop can be written as follows:Then we can compute explicitly the Wilson loop up to second order. We can see that it is necessary to expand the first three exponentials:It is easy to check that the exponential up to order is given byThe second term vanishes in virtue of the abelianity and the skew symmetry of ; thus the second order Wilson loop is given by

As an example let us compute assuming a pure constant magnetic field along the -axis and in the plane; hence and ; thuswhere is the flux due to the commutative field through the closed curve . Now up to second order the noncommutative Wilson line is given byTherefore, as we might expect, to observe noncommutativity effects assuming we need the intensity of the magnetic field to be large enough.

4. Linking Numbers and the Wilson Loops

It is well known that on a three-manifold or the magnetic field induced by a loop wire carrying a current is proportional to the linking number between the loop and the magnetic lines, due to the Biot-Savart law (which is essentially the Gauss linking number). This is written usually aswhere we are assuming that is a trivial homology 1-cycle (i.e., a trivial element in the first homology group). Thus there exists a -chain (it could be regarded as a two-dimensional submanifold of ) such that is immersed on the three-dimensional Euclidean space. The connection is the commutative (usual) magnetic potential -form. As we can see the last integral is the phase that appears in the commutative Wilson loop.

Since is a trivial cycle by Poincaré duality there exists where is a -form. The mathematical interpretation assuming that is a trivial -cycle and the flux is nonzero implies that is not a closed form; that is,

In the previous integral we integrate out by parts and in this way we can regard as the Poincaré dual of some trivial cycle which is boundary of the -chain . Hence this integral represents the linking number among the trivial cycles and where the respective boundaries of the -cycles are and .

Now we will consider the noncommutative case; then the phase in the noncommutative Wilson loop assuming the expansion on is given byInterpreting this in terms of linking numbers, the first term is the link number between and and the second term is interpreted in the following way. Let us consider from the Seiberg-Witten map the first order potential that can be arranged asIn this way can be regarded as the sum of six -forms (since we are working in )where is a trivial -cycle. But explicitly the first integral must be equal to ; therefore, it also will be expanded in ; then (25) readsThis equation implies that is a trivial cycle; thus it can be regarded as the linking number between and each ; for example, in the three-dimensional Euclidean spaceorin general since , then the linking number between and is different from the one of and . In Figure 1 the intersection between the 1-cycles is explicitly displayed, represented in different colors by the simplest case when they are circles and the original 1-cycle .

Let us introduce the following notation: denotes the linking number between the homologically trivial -cycles and .

Now consider the second order term and reordering the expression in the Seiberg-Witten map, it could be written in a similar way as in (24):Let , in analogy to the first order termagain here stands for the Poincaré dual of . As we can see in general the total flux induced by the second order term is the sum of the linking numbers .

Finally in general for the th order we rearrange the expression from the Seiberg-Witten map; we rewrite it asWe define . Thus we havewhere are homologically trivial -cycles; that is, a -chain exists, such that . Therefore, in general the -flux through could be regarded as the sum of linking numbers between and in .

5. The Jones-Witten-Like Invariants

The Jones polynomials in Witten’s path integral formulation are given by the correlation functions of Wilson loops where is the Wilson line, is a representation of the gauge group, is the gauge field, is a knot (homologically trivial -cycle), is the Euclidean -dimensional space or the unitary -sphere, and is the normalization factor.

We will consider the simplest case when the gauge group is but consider the noncommutative Wilson loop (abelian case) and compute the first nontrivial correction which will arise at first order in .

First of all we change in the path integral by ; then, the noncommutative Jones-Witten-like invariants which will depend explicitly on the noncommutative parameter (for the abelian case) read Since we will consider the -expansion just up to first order, the term does not contribute (it contributes up to third order); then we get the following expression for the action:and the noncommutative Wilson line (13) up to first order in isThen the functional integral up to first order (the first order Jones polynomials) is given byThe integral is performed just on the commutative term since every order can be written in term in virtue of Seiberg-Witten map. Rewriting the previous expression we getwhere is the Poincaré dual of the knot . Next we need to compute these three integrals; the first one is the usual abelian Jones polynomial-like for the knot , whose evaluation is proportional towhere is the Hopf invariant or self-linking number.

Now we consider the second integral which is rewritten as First of all, notice that any -form , using the Hodge decomposition theorem, can be uniquely decomposed as , where is a harmonic -form (i.e., it is a solution to the laplacian ), is a -form, and is a -form. Here is the usual exterior derivative (which maps a -form into -form) and is its adjoint operator (which maps -form into -form). The stands for the Hodge star operator which maps -form into -form. Also it is necessary to consider that .

In order to integrate out the path integral measure is decomposed into in virtue of the Hodge decomposition theorem, where and are the longitudinal and transversal parts of , respectively. It is well known that just the transversal parts contribute to the integration.

Moreover, it is necessary to introduce some extra conventions. Let be the space of eigenforms of with nonvanishing eigenvalue . This space can be decomposed into and , that is, into the longitudinal and transversal parts. We also need to consider the following maps: , , and an isomorphism given by among forms with the same eigenvalue . Given these maps finally we construct the following isomorphism:Since we will consider or and -forms (this is and ), the last isomorphism is reduced to .

Now consider a basis of transverse -eigenforms such that it satisfies the normalization condition (inner product among -forms). We expand the transversal part of and in terms of this basis; hence and . With the aid of the inner product, , for -forms in a Riemannian manifold and the isomorphism (41), the term in the exponential on the left-hand side of (40) can be rewritten as follows:where and similarly for .

In a similar spirit we compute the first order expansion of the Wilson line where . Explicitly can be written in terms of since . Using the eigenbasis expansion and the relationwhere we use the fact that . In virtue of the last expression we get the following useful expression for the partial derivatives of the gauge field components ; hence we can rewrite asFinally projecting out into the transverse basis we get the following explicit expression: where the ’s are defined by the following expression:With these algebraic manipulations we can write (43) asFollowing a similar procedure we find

Therefore, (40) can be reexpressed in terms of the previous expansion; thenwhere is a normalization factor which is given bywhere

In order to integrate out expression (50), it is convenient to rewrite it as follows:where and . Performing the integration we obtain

Finally the third contribution in (38) associated with the factor ; then the term to compute is the following:The integral has the form in terms of and ; then we get the expressionThus, the total contribution to the Jones-like polynomial up to first order in defined in (38) is obtained from the superposition of (39), (53), and (55), yielding to the expressionAs we can see the 0-th order is the usual “Jones” polynomial, where is the Poincaré dual of and the following term is a polynomial over related to the noncommutativity up to first order.

6. Noncommutative Aharonov-Bohm Effect

This section is devoted to explore some physical applications of the noncommutative Wilson loops and linking numbers; in particular we consider the Aharonov-Bohm effect which is a very good arena to test the physical ideas and extract visible effects. We are aware that some noncommutative extensions of the Aharonov-Bohm effect are present in the literature; see, for instance, [4247]. We will see that our results will agree with their results. Aharonov-Bohm effect consists of an electron beam through a double slit in presence of a small impenetrable solenoid which has a nonvanishing constant magnetic field inside (and therefore a nonvanishing vector potential ). Outside the solenoid the magnetic field is zero, but not the potential; thus an interference pattern is observed due to the fact that the vector potential is nonvanishing. The effect is measured as a phase factor in the wave function.

In the usual Aharonov-Bohm effect it is assumed that the wave function is of the form . Under this ansatz one finds the value of by means of the covariant derivative . In our case, we will assume that the corresponding noncommutative function can be expanded in terms of the noncommutative parameter ; given by the ansatz [45], . We will also determine using the covariant derivative defined in the first section. Thus we haveconsidering just the expansion up to second order, it can be written up to second order asThus we obtain the following equations at each order:We can solve in terms of ; then we solve for in terms of and , and so on. In this way we find explicitly at each order the ’sFinally the expression for up to second order is given byFrom this equation we easily recognize the second term which corresponds to the second order expansion of the noncommutative Wilson loop, and the following terms are the noncommutative corrections to the holonomy.

In the usual Aharonov-Bohm effect the potential outside the solenoid is given by for reference the expansion up to first and second order of this potential isMeanwhile inside the components of the solenoid arewhere is the magnitude of a constant magnetic field. At first and second order the potential is given byIn analogy to the usual Aharonov-Bohm effect the phase difference is modified proportional to the flux through the solenoid. Then substituting (64) and (65) into (61) we obtain the wave function’s phase of the noncommutative Aharonov-Bohm effect, where is the flux of the magnetic field through the solenoid (whose radius is ). Finally the correction to the phase due the noncommutativity is As we can see the first term in the imaginary exponential is the standard holonomy (commutative); the second and third terms are corrections to the holonomy due to the noncommutativity up to second order given in terms of the usual flux and the noncommutative parameter.

Now we proceed to show that the phase of (67) is related to the noncommutative Landau levels (see, e.g., [53]). To check closely this affirmation let us make some explicit computations. First of all we define the noncommutative canonical momentum by minimal coupling changing the usual gauge field by its noncommutative one ; that is, In addition, the consideration of quantum mechanical systems in a noncommutative space leads to the following commutation relations: With the aid of previous relations and bearing in mind expressions (64)–(65) let us compute the following commutator up to first order in ; this is given by

Let us construct the creation-annihilation operators as which satisfy the usual relation . Now we will consider the hamiltonian and rewrite it in terms of and : where the factor is the angular frequency. Using the normal ordering we finally get By examination of the phase in (67) up to first order, it clearly contains the frequency of the noncommutative Landau levels.

To estimate the order of we can compare with the results in [45], where they do not use the Seiberg-Witten map. Similar to [45], it is possible to formulate the problem of scattering charged particles in an effective radial potential. The computation is exactly the same. Thus, at the first order we obtain the same result as that in [45] if we make the following substitution: by . Then we conclude that the noncommutative parameter is precisely of the same order of magnitude as they had been in [45] estimated .

7. Final Remarks

In this paper we proposed to use the gauge field provided by the Seiberg-Witten map to study noncommutative Wilson loops. After a brief account on noncommutative Wilson loops, we study abelian Chern-Simons theory on a three-dimensional manifold. It was shown that the effect of noncommutativity is the appearance of new knots at the th order of the Seiberg-Witten expansion. These knots constitute trivial homology cycles which are Poincaré duals to the high-order Seiberg-Witten potentials of the expansion. Moreover the linking number at th order of a standard 1-cycle with the multiple Poincaré duals of the gauge fields is shown to be written as the sum of the linking number of this 1-cycle with the multiple Poincaré duals of the Seiberg-Witten gauge fields at this order (32). The generalization to higher dimensions can be done straightforwardly.

Furthermore as a topological application of the noncommutative gauge theories and Wilson loops in the abelian case, by using the path integral formalism and the Chern-Simons theory we computed the first order and nonvanishing correction due to the noncommutativity of the abelian Jones-like polynomials (56). This term is also of a topological nature and it represents a new noncommutative topological effect of link invariants of three manifolds.

Furthermore as a physical application we compute explicitly the abelian Aharonov-Bohm effect in and calculate the wave function up to second order in the noncommutativity parameter (67). It results in the usual wave function in terms of the eigenvalue in the real exponential and in the imaginary part the contribution of the usual flux (commutative) and a second order contribution which is proportional to the square of the flux appear. We also discuss the relation of the Aharonov-Bohm effect and the Landau levels in the noncommutative context. These results are found to agree with those found in [4247]. In particular, the parameter is constrained and it basically coincides with that of [45].

It could be interesting to explore some geometrical aspects; we might extend the linking number between knots in the three-dimensional Euclidean space in a noncommutative sense and explore the different orders of the gauge potential and how they could give new information about linking numbers.

Moreover we would like to extend the present noncommutative ideas to higher-dimensional theories, through a BF theory since it is a higher-dimensional generalization of Chern-Simons theory and the Wilson line will be interpreted in terms of linking numbers between higher-dimensional objects [3740].

Wilson loops for the spin connection are very important in some theories of quantum gravity [4851]. A noncommutative version of these models is worth studying by using the noncommutative Wilson loops described here. Some of this work is left for future research.

As a further step we are interested in the natural extension to the nonabelian case, where we will deal with two expansions: the first one focusing on the noncommutative parameter and the second one being due to the nonabelianity of the Chern-Simons theory. Also we will study the physical implications using nonabelian Aharonov-Bohm effect [54]. For future work we leave the problem of studying the generalization of noncommutative Aharonov-Bohm effect and its associated Landau levels for this nonabelian case.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The work of H. García-Compeán was partially supported by the CONACyT research Grant: 128761. The work of O. Obregón is supported by PROMEP, CONACyT, and UG grants. In addition the work of R. Santos-Silva was partially supported by a PROMEP and CONACyT postdoctoral fellowship.