This paper is concerned with the study of the geometry of determinant line bundles associated to families of spectral triples parametrized by the moduli space of gauge equivalent classes of Hermitian connections on a Hermitian finite projective module. We illustrate our results with some examples that arise in noncommutative geometry.
It is shown that for arbitrary connection in the vector bundle compatible with some Hermitian metric, the corresponding Fedosov trace functional commutes with involution generated by this metric. This result is then used to prove that certain noncommutative gravity actions are real in all powers of deformation parameter.
We study spectral triples over noncommutative principal U(1) bundles. Basing on the classical situation and the abstract algebraic approach, we propose an operatorial definition for a connection and compatibility between the connection and the Dirac operator on the total space and on the base space of the bundle. We analyze in details the example of the noncommutative three-torus viewed as a U(1) bundle over the noncommutative two-torus and find all connections compatible with an admissible Dirac operator. Conversely, we find a family of new Dirac operators on the noncommutative tori, which ar…
We construct noncommutative principal bundles deforming principal bundles with a Drinfeld twist (2-cocycle). If the twist is associated with the structure group then we have a deformation of the fibers. If the twist is associated with the automorphism group of the principal bundle, then we obtain noncommutative deformations of the base space as well. Combining the two twist deformations we obtain noncommutative principal bundles with both noncommutative fibers and base space. More in general, the natural isomorphisms proving the equivalence of a closed monoidal category of modules and its twis…
Global properties of abelian noncommutative gauge theories based on $\star$-products which are deformation quantizations of arbitrary Poisson structures are studied. The consistency condition for finite noncommutative gauge transformations and its explicit solution in the abelian case are given. It is shown that the local existence of invertible covariantizing maps (which are closely related to the Seiberg-Witten map) leads naturally to the notion of a noncommutative line bundle with noncommutative transition functions. We introduce the space of sections of such a line bundle and explicitly sh…
In this paper, we initiate the study of a parametrised version of Rieffel's strict deformation quantization. We apply it to give a classification of noncommutative principal torus bundles, in terms of parametrised strict deformation quantization of ordinary principal torus bundles. The paper also contains a putative definition of noncommutative non-principal torus bundles.
We generalize to topologically non-trivial gauge configurations the description of the Einstein-Yang-Mills system in terms of a noncommutative manifold, as was done previously by Chamseddine and Connes. Starting with an algebra bundle and a connection thereon, we obtain a spectral triple, a construction that can be related to the internal Kasparov product in unbounded KK-theory. In the case that the algebra bundle is an endomorphism bundle, we construct a PSU(N)-principal bundle for which it is an associated bundle. The so-called internal fluctuations of the spectral triple are parametrized by…
The zeta and eta-functions associated with massless and massive Dirac operators, in a D-dimensional (D odd or even) manifold without boundary, are rigorously constructed. Several mathematical subtleties involved in this process are stressed, as the intrisic ambiguity present in the definition of the associated fermion functional determinant in the massless case and, also, the unavoidable presence (in some situations) of a multiplicative anomaly, that can be conveniently expressed in terms of the noncommutative residue. The ambiguity is here seen to disappear in the massive case, giving rise to…
We outline how Drinfeld twist deformation techniques can be applied to the deformation quantization of principal bundles into noncommutative principal bundles, and more in general to the deformation of Hopf-Galois extensions. First we twist deform the structure group in a quantum group, and this leads to a deformation of the fibers of the principal bundle. Next we twist deform a subgroup of the group of authomorphisms of the principal bundle, and this leads to a noncommutative base space. Considering both deformations we obtain noncommutative principal bundles with noncommutative fiber and bas…
Endomorphisms algebras can replace the concept of principal fiber bundle. Gauge theories are reformulated within this algebraic framework and further generalized to unify ordinary connections and Higgs fields. A 'noncommutative Maxwell' model is built starting from non trivial fiber bundles thus requiring the development of the notion of Riemannian structure. The tools involved in the study of associative algebras are presented and an algebraic method to characterize the usual Chern-Weil morphism is proposed. Then, current results on symmetric fiber bundles are generalized to noncommutative co…
We study the notion of twisted bundles on noncommutative space. Due to the existence of projective operators in the algebra of functions on the noncommutative space, there are twisted bundles with non-constant dimension. The U(1) instanton solution of Nekrasov and Schwarz is such an example. As a mathematical motivation for not excluding such bundles, we find gauge transformations by which a bundle with constant dimension can be equivalent to a bundle with non-constant dimension.
We formulate a Yang-Mills action principle for noncommutative connections on an endomorphism algebra of a vector bundle. It is shown that there is an influence of the topology of the vector bundle onto the structure of the vacuums of the theory in a non common way. This model displays a new kind of symmetry breaking mechanism. Some mathematical tools are developed in relation with endomorphism algebras and a new approach of the usual Chern-Weil homomorphism in topology is given.
We construct noncommutative principal fibrations S_θ^7 \to S_θ^4 which are deformations of the classical SU(2) Hopf fibration over the four sphere. We realize the noncommutative vector bundles associated to the irreducible representations of SU(2) as modules of coequivariant maps and construct corresponding projections. The index of Dirac operators with coefficients in the associated bundles is computed with the Connes-Moscovici local index formula. The algebra inclusion $A(S_θ^4) \into A(S_θ^7)$ is an example of a not trivial quantum principal bundle.
We consider noncommutative gauge theory defined by means of Seiberg-Witten maps for an arbitrary semisimple gauge group. We compute the one-loop UV divergent matter contributions to the gauge field effective action to all orders in the noncommutative parameters $θ$. We do this for Dirac fermions and complex scalars carrying arbitrary representations of the gauge group. We use path-integral methods in the framework of dimensional regularisation and consider arbitrary invertible Seiberg-Witten maps that are linear in the matter fields. Surprisingly, it turns out that the UV divergent parts of th…
In this paper we study the moduli space of standard holomorphic structures on a noncommutative complex two torus. It will be shown that the moduli space is naturally identified with the moduli space of stable bundles on an elliptic curve. We also propose that the mirror reflection of the noncommutative complex torus is the mirror reflection of the elliptic curve together with a linear foliation. From this we identify the moduli space of super cycles on the mirror reflection with the moduli space of standard holomorphic bundles on a noncommutative complex torus.
In this paper we study the category of standard holomorphic vector bundles on a noncommutative two-torus. We construct a functor from the derived category of such bundles to the derived category of coherent sheaves on an elliptic curve and prove that it induces an equivalence with the subcategory of stable objects. By the homological mirror symmetry for elliptic curves this implies an equivalence between the derived category of holomorphic bundles on a noncommutative two-torus and the Fukaya category of the corresponding symplectic (commutative) torus.
We construct explicitly noncommutative deformations of categories of holomorphic line bundles over higher dimensional tori. Our basic tools are Heisenberg modules over noncommutative tori and complex/holomorphic structures on them introduced by A. Schwarz. We obtain differential graded (DG) categories as full subcategories of curved DG categories of Heisenberg modules over the complex noncommutative tori. Also, we present the explicit composition formula of morphisms, which in fact depends on the noncommutativity.
We present a universal Dirac operator for noncommutative spin and spin^c bundles over fuzzy complex projective spaces. We give an explicit construction of these bundles, which are described in terms of finite dimensional matrices, calculate the spectrum and explicitly exhibit the Dirac eigenspinors. To our knowledge the spin^c spectrum for CP^n with n>=3 is new.
We generalise the construction of fuzzy CP^N in a manner that allows us to access all noncommutative equivariant complex vector bundles over this space. We give a simplified construction of polarization tensors on S^2 that generalizes to complex projective space, identify Laplacians and natural noncommutative covariant derivative operators that map between the modules that describe noncommuative sections. In the process we find a natural generalization of the Schwinger-Jordan construction to su(n) and identify composite oscillators that obey a Heisenberg algebra on an appropriate Fock space.
We construct twisted quantum bundles and adjoint sections on noncommutative $T^4$, and investigate relevant D-brane bound states with non-Abelian backgrounds. We also show that the noncommutative $T^4$ with non-Abelian backgrounds exhibits SO$(4,4|Z)$ duality and via this duality we get a Morita equivalent $T^4$ on which only D0-branes exist. For a reducible non-Abelian background, the moduli space of D-brane bound states in Type II string theory takes the form $\prod_a (T^4)^{q_a}/S_{q_a}$.
It is known that the T-dual of a circle bundle with H-flux (given by a Neveu-Schwarz 3-form) is the T-dual circle bundle with dual H-flux. However, it is also known that torus bundles with H-flux do not necessarily have a T-dual which is a torus bundle. A big puzzle has been to explain these mysterious "missing T-duals.'' Here we show that this problem is resolved using noncommutative topology. It turns out that every principal 2-torus-bundle with H-flux does indeed have a T-dual, but in the missing cases (which we characterize), the T-dual is non-classical and is a bundle of noncommutative to…
We present an introduction to the use of noncommutative geometry for gauge theories with emphasis on a construction of instantons for a class of four dimensional toric noncommutative manifolds. These instantons are solutions of self-duality equations and are critical points of an action functional. We explain the crucial role of twisted symmetries as well as methods from noncommutative index theorems.
Model of noncommutative gravity is constructed by means of Fedosov deformation quantization of endomorphism bundle. The fields describing noncommutativity -- symplectic form and symplectic connection -- are dynamical, and the resulting theory is completely coordinate covariant and background independent. Its interpretation in terms of Seiberg-Witten map is provided. Also, new action for ordinary (commutative) general relativity is given, which in the present context appears as a commutative limit of noncommutative theory.
In this paper, we describe non-abelian gauge bundles with magnetic and electric fluxes on higher dimensional noncommutative tori. We give an explicit construction of a large class of bundles with nonzero magnetic 't Hooft fluxes. We discuss Morita equivalence between these bundles. The action of the duality is worked out in detail for the four-torus. As an application, we discuss Born-Infeld on this torus, as a description of compactified string theory. We show that the resulting theory, including the fluctuations, is manifestly invariant under the T-duality group SO(4,4;Z). The U-duality inva…
New systems of Laplace (Casimir) operators for the orthogonal and symplectic Lie algebras are constructed. The operators are expressed in terms of paths in graphs related to matrices formed by the generators of these Lie algebras with the use of some properties of the noncommutative symmetric functions associated with a matrix. The decomposition of the Sklyanin determinant into a product of quasi-determinants play the main role in the construction. Analogous decomposition for the quantum determinant provides an alternative proof of the known construction for the Lie algebra gl(N).
We show that any compact Kahler manifold with integral Kahler form, parametrizes a natural holomorphic family of Cauchy-Riemann operators on the Riemann sphere such that the Quillen determinant line bundle of this family is isomorphic to a sufficiently high tensor power of the holomorphic line bundle determined by the integral Kahler form. We also establish a symplectic version of the result. We conjecture that an equivariant version of our result is true.
We study the geometry of determinant line bundles associated to Dirac operators on compact odd dimensional manifolds. Physically, these arise as (local) vacuum line bundles in quantum gauge theory. We give a simplified derivation of the commutator anomaly formula using a construction based on noncyclic trace extensions and associated multiplicative renormalized determinants.
Recently Baraglia showed how topological T-duality can be extended to apply not only to principal circle bundles, but also to non-principal circle bundles. We show that his results can also be recovered via two other methods: the homotopy-theoretic approach of Bunke and Schick, and the noncommutative geometry approach which we previously used for principal torus bundles. This work has several interesting byproducts, including a study of the K-theory of crossed products by Isom(R), the universal cover of O(2), and some interesting facts about equivariant K-theory for Z/2. In the final section o…
In other to study connections and gauge theories on noncommutative spaces it is useful to use the local trivializations of principal bundles. In this note we show how to use noncommutative localization theory to describe a simple version of cocycle data for the bundles on noncommutative schemes with Hopf algebras in the role of the structure group which locally look like Hopf algebraic smash products. We also show how to use these Čech cocycles for associated vector bundles. We sketch briefly some examples related to quantum groups.
A version of noncommutative geometry is proposed which is based on phase-space rather than position space. The momenta encode the information contained in the algebra of forms by a map which is the noncommutative extension of the duality between the tangent bundle and the cotangent bundle.
We give some remarks on twisted determinant line bundles and Chern-Simons topological invariants associated with real hyperbolic manifolds. Index of a twisted Dirac operator is derived. We discuss briefly application of obtained results in topological quantum field theory.
Using properties of the determinant line bundle for a family of elliptic boundary value problems, we explain how the Fock space functor defines an axiomatic quantum field theory which formally models the Fermionic path integral. The 'sewing axiom' of the theory arises as an algebraic pasting law for the determinant of the Dirac operator. We show how representations of the boundary gauge group fit into this description and that this leads to a Fock functor description of certain gauge anomalies.
We construct noncommutative gauge theories based on the notion of the Weyl bundle, which appears in Fedosov's construction of deformation quantization on an arbitrary symplectic manifold. These correspond to D-brane worldvolume theories in non-constant B-field and curved backgrounds in string theory. All such theories are embedded into a "universal" gauge theory of the Weyl bundle. This shows that the combination of a background field and a noncommutative field strength has universal meaning as a field strength of the Weyl bundle. We also show that the gauge equivalence relation is a part of s…
In this paper, we construct gauge bundles on a noncommutative toroidal orbifold $T^4_θ/Z_2$. First, we explicitly construct a bundle with constant curvature connections on a noncommutative $T^4_θ$ following Rieffel's method. Then, applying the appropriate quotient conditions for its $Z_2$ orbifold, we find a Connes-Douglas-Schwarz type solution of matrix theory compactified on $T^4_θ/Z_2$. When we consider two copies of a bundle on $T^4_θ$ invariant under the $Z_2$ action, the resulting Higgs branch moduli space of equivariant constant curvature connections becomes an ordinary toroidal orbifol…
We use noncommutative topology to study T-duality for principal torus bundles with H-flux. We characterize precisely when there is a "classical" T-dual, i.e., a dual bundle with dual H-flux, and when the T-dual must be "non-classical," that is, a continuous field of noncommutative tori. The duality comes with an isomorphism of twisted $K$-theories, required for matching of D-brane charges, just as in the classical case. The isomorphism of twisted cohomology which one gets in the classical case is replaced in the non-classical case by an isomorphism of twisted cyclic homology. An important part…
The noncommutative bion core of Constable, Myers and Tafjord (hep-th/9911136) describes the BPS D1-D3 brane intersection (where a single bundle of D1-branes is attached to the D3 brane) in the nonabelian Born-Infeld theory of D1-branes. The possibility of extending this construction to BPS configurations with multiple separated parallel bundles of D1-branes attached to a single D3-brane is discussed. The problem is reduced to solving the Nahm equation with novel boundary conditions. A concrete, non-trivial solution is presented.
We present several identities involving quasi-minors of noncommutative generic matrices. These identities are specialized to quantum matrices, yielding q-analogues of various classical determinantal formulas.
It is shown that the principle of locality and noncommutative geometry can be connnected by a sheaf theoretical method. In this framework quantum spaces are introduced and examples in mathematical physics are given. With the language of quantum spaces noncommutative principal and vector bundles are defined and their properties are studied. Important constructions in the classical theory of principal fibre bundles like associated bundles and differential calculi are carried over to the quantum case. At the end $q$-deformed instanton models are introduced for every integral index.
There exists on each Teichmüller space $T_g$ (comprising compact Riemann surfaces of genus $g$), a natural sequence of determinant (of cohomology) line bundles, $DET_n$, related to each other via certain ``Mumford isomorphisms''. There is a remarkable connection, (Belavin-Knizhnik), between the Mumford isomorphisms and the existence of the Polyakov string measure on the Teichmüller space. This suggests the question of finding a genus-independent formulation of these bundles and their isomorphisms. In this paper we combine a Grothendieck-Riemann-Roch lemma with a new concept of $C^{*} \otimes Q…
Recently N.Nekrasov and A.Schwarz proposed a modification of the ADHM construction of instantons which produces instantons on a noncommutative deformation of the 4-dimensional real affine space. In this paper we study the relation between their construction and algebraic bundles on noncommutative projective spaces. We exhibit one-to-one correspondences between three classes of objects: framed bundles on a noncommutative projective plane, certain complexes of sheaves on a noncommutative 3-dimensional projective space, and the modified ADHM data. The modified ADHM construction itself is interpre…
In an earlier paper [Acta Mathematica, v. 176, 1996, 145-169, alg-geom/9505024 ] the present authors and Dennis Sullivan constructed the universal direct system of the classical Teichmüller spaces of Riemann surfaces of varying genus. The direct limit, which we called the universal commensurability Teichmüller space, $T_{infty}$, was shown to carry on it a natural action of the universal commensurability mapping class group, $MC_{\infty}$. In this paper we identify an interesting cofinal sub-system corresponding to the tower of finite-sheeted characteristic coverings over any fixed base surfac…