We find and classify possible equivariant spin structures with Dirac operators on the noncommutative torus, proving that similarly as in the classical case the spectrum of the Dirac operator depends on the spin structure.
We compute the Wodzicki residue of the inverse of a conformally rescaled Laplace operator over a 4-dimensional noncommutative torus. We show that the straightforward generalization of the Laplace-Beltrami operator to the noncommutative case is not the minimal operator.
We introduce a family of spectral triples that describe the curved noncommutative two-torus. The relevant family of new Dirac operators is given by rescaling one of two terms in the flat Dirac operator. We compute the dressed scalar curvature and show that the Gauss-Bonnet theorem holds (which is not covered by the general result of Connes and Moscovici).
We classify spin structures on the noncommutative torus, and find that the noncommutative n-torus has 2^n spin structures, corresponding to isospectral deformations of spin structures on the commutative n-torus. For n>3 the classification depends on Connes' spin manifold theorem. In addition, we study unitary equivalences of these spin structures.
We study perturbations of the flat geometry of the noncommutative two-dimensional torus T^2_θ(with irrational θ). They are described by spectral triples (A_θ, \H, D), with the Dirac operator D, which is a differential operator with coefficients in the commutant of the (smooth) algebra A_θof T_θ. We show, up to the second order in perturbation, that the zeta-function at 0 vanishes and so the Gauss-Bonnet theorem holds. We also calculate first two terms of the perturbative expansion of the corresponding local scalar curvature.
Spectral triples over noncommutative principal $\T^n$-bundles are studied, extending recent results about the noncommutative geometry of principal U(1)-bundles. We relate the noncommutative geometry of the total space of the bundle with the geometry of the base space. Moreover, strong connections are used to build new Dirac operators. We discuss as a particular case the commutative case, the noncommutative tori and theta deformed manifolds.
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.
The twined almost commutative structure of the standard spectral triple on the noncommutative torus with rational parameter is exhibited, by showing isomorphisms with a spectral triple on the algebra of sections of certain bundle of algebras, and a spectral triple on a certain invariant subalgebra of the product algebra. These isomorphisms intertwine also the grading and real structure. This holds for all four inequivalent spin structures, which are explicitly constructed in terms of double coverings of the noncommutative torus (with arbitrary real parameter). These results are extended also t…
We study spectral triples over noncommutative principal U(1)-bundles of arbitrary dimension and formulate a compatibility condition between the connection and the Dirac operator on the total space and on the base space of the bundle. Examples of low dimensional noncommutative tori are analyzed in more detail and all connections found that are compatible with an admissible Dirac operator. Conversely, a family of new Dirac operators on the noncommutative tori, which arise from the base-space Dirac operator and a suitable connection is exhibited. These examples are extended to the theta-deformed …
The spectral eta function for certain families of Dirac operators on noncommutative $3$-torus is considered and the regularity at zero is proved. By using variational techniques, we show that $η_{D}(0)$ is a conformal invariant. By studying the Laurent expansion at zero of $\text{TR} (|D|^{-z})$, the conformal invariance of $ζ'_{|D|}(0)$ for noncommutative $3$-torus is proved. Finally, for the coupled Dirac operator, a local formula for the variation $\partial_Aη_{D+A}(0)$ is derived which is the analogue of the so called induced Chern-Simons term in quantum field theory literature.
We describe how and to what extent the noncommutative two-torus can be approximated by a tower of finite-dimensional matrix geometries. The approximation is carried out for both irrational and rational deformation parameters by embedding the algebra of the noncommutative torus into an approximately finite algebra. The construction is a rigorous derivation of the recent discretizations of noncommutative gauge theories using finite dimensional matrix models, and it shows precisely how the continuum limits of these models must be taken. We clarify various aspects of Morita equivalence using this …
This paper studies geometric structures on noncommutative hypersurfaces within a module-theoretic approach to noncommutative Riemannian (spin) geometry. A construction to induce differential, Riemannian and spinorial structures from a noncommutative embedding space to a noncommutative hypersurface is developed and applied to obtain noncommutative hypersurface Dirac operators. The general construction is illustrated by studying the sequence $\mathbb{T}^{2}_θ \hookrightarrow \mathbb{S}^{3}_θ \hookrightarrow \mathbb{R}^{4}_θ$ of noncommutative hypersurface embeddings.
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…
A one parameter set of noncommutative complex algebras is given. These may be considered deformation quantisation algebras. The commutative limit of these algebras correspond to the algebra of polynomial functions over a manifold or variety. The topology of the manifold or variety depends on the parameter, varying from nothing, to a point, a sphere, a certain variety and finally a torus. The irreducible adjoint preserving representations of the noncommutative algebras are studied. As well as typical noncommutative sphere type representations and noncommutative torus type representations, a new…
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.
We show that the Kauffman bracket skein module of a cylinder over the torus embeds as a subalgebra of the noncommutative torus. Using this we derive nice formulas for the Jones-Wenzl idempotents and analyze the structure of the Kauffman bracket skein module of the unknot as a module over the Kauffman bracket skein module of a cylinder over the torus.
We compute the scalar curvature of a curved noncommutative 3-torus. To perturb the flat metric, the standard volume form on the noncommutative 3-torus is conformally perturbed and the corresponding perturbed Laplacian is analyzed. Using Connes' pseudodifferential calculus for the noncommutative 3-torus, we explicitly compute the first three terms of the small time heat kernel expansion for the perturbed Laplacian. The third term of the expansion gives a local formula for the scalar curvature. Finally, we show that in the classical limit when the deformation parameters vanish, our formula coinc…
We prove that, for the moduli space of flat SU(2)-connections on the torus, the Weyl quantization and the quantization using the quantum group of SL(2,C) are unitarily equivalent. This is done by comparing the matrices of the operators associated by the two quantization to cosine functions. We also discuss the *-product of the Weyl quantization and show that it satisfies the product-to-sum formula for noncommutative cosines on the noncommutative torus.
We construct a new gauge theory on a pair of d-dimensional noncommutative tori. The latter comes from an intimate relationship between the noncommutative geometry associated with a lattice vertex operator algebra A and the noncommutative torus. We show that the (truncated) tachyon subalgebra of A is naturally isomorphic to a class of twisted modules representing quantum deformations of the algebra of functions on the torus. We construct the corresponding even real spectral triples and determine their Morita equivalence classes using string duality arguments. These constructions yield simple pr…
We give an interpretation of the Bargman transform as a correspondence between state spaces that is analogous to commonly considered intertwiners in representation theory of finite groups. We observe that the non-commutative torus is nothing else that the range of the star-exponential for the Heisenberg group within the Kirillov's orbit method context. We deduce from this a realization of the non-commutative torus as acting on a Fock space of entire functions.
The noncommutative A-ideal of a knot is a generalization of the A-polynomial, defined using Kauffman bracket skein modules. In this paper we show that any knot that has the same noncommutative A-ideal as the (2,2p+1)-torus knot has the same colored Jones polynomials. This is a consequence of the orthogonality relation, which yields a recursive relation for computing all colored Jones polynomials of the knot.
We compute the curvature of the determinant line bundle on a family of Dirac operators for a noncommutative two torus. Following Quillen's original construction for Riemann surfaces and using zeta regularized determinant of Laplacians, one can endow the determinant line bundle with a natural Hermitian metric. By using an analogue of Kontsevich-Vishik canonical trace, defined on Connes' algebra of classical pseudodifferential symbols for the noncommutative two torus, we compute the curvature form of the determinant line bundle by computing the second variation $δ_{w}δ_{\bar{w}}\log\det(Δ)$.
We compute the Picard group $ Pic(A_q) $ of the noncommutative algebraic 2-torus $A_q$, describe its action on the space $ R(A_q) $ of isomorphism classes of rk 1 projective modules and classify the algebras Morita equivalent to $ A_q $. Our computations are based on a quantum version of the Calogero-Moser correspondence relating projective $A_q$-modules to irreducible representations of the double affine Hecke algebras (DAHA) $ H_{t, q^{-1/2}}(S_n) $ at $ t = 1 $. We show that, under this correspondence, the action of $ Pic(A_q) $ on $ R(A_q) $ agrees with the action of $ SL_2(Z) $ on $ H_{t,…
In this paper we show that the value at zero of the zeta function of the Laplacian on the non-commutative two torus, endowed with its canonical conformal structure, is independent of the choice of the volume element (Weyl factor) given by a (non-unimodular) state. We had obtained, in the late eighties, in an unpublished computation, a general formula for this value at zero involving modified logarithms of the modular operator of the state. We give here the detailed computation and prove that the result is independent of the Weyl factor as in the classical case, thus proving the analogue of the…
We give a local expression for the {\it scalar curvature} of the noncommutative two torus $ A_θ = C(\mathbb{T}_θ^2)$ equipped with an arbitrary translation invariant complex structure and Weyl factor. This is achieved by evaluating the value of the (analytic continuation of the) {\it spectral zeta functional} $ζ_a(s): = \text{Trace}(a \triangle^{-s})$ at $s=0$ as a linear functional in $a \in C^{\infty}(\mathbb{T}_θ^2)$. A new, purely noncommutative, feature here is the appearance of the {\it modular automorphism group} from the theory of type III factors and quantum statistical mechanics in t…
For quantum torus generated by unitaries $UV = e(θ)VU$ there exist nontrivial strong Morita autoequivalences in case when $θ$ is real quadratic irrationality. A.Polishchuk introduced and studied the graded ring of holomorphic sections of powers of the respective bimodule (depending on the choice of a complex structure). We consider a Segre square of this ring whose graded components are spanned by Rieffel scalar products of Polishchuk's holomorphic vectors. These graded components are linear spaces of quantum theta functions in sense of Yu.Manin.
We prove the analogue of the Riemann-Roch formula for the noncommutative two torus $ A_θ = C(\mathbb{T}_θ^2)$ equipped with an arbitrary translation invariant complex structure and a Weyl factor represented by a positive element $k\in C^{\infty}(\mathbb{T}_θ^2)$. We consider a topologically trivial line bundle equipped with a general holomorphic structure and the corresponding twisted Dolbeault Laplacians. We define an spectral triple ($A_θ, \mathcal{H}, D)$ that encodes the twisted Dolbeault complex of $ A_θ$ and whose index gives the left hand side of the Riemann-Roch formula. Using Connes' …
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 define a noncommutative residue for classical Euclidean pseudodifferential operators on a torus of arbitrary dimension. We prove that, up to multiplication by a constant, it is the unique trace on the algebra of classical pseudodifferential operators modulo infinitely smoothing operators. In the case of the two torus, we show that the noncommutative residue is the semiclassical limit of a noncommutative residue defined on classical pseudodifferential operators on noncommutative two tori.
The methods of spectral geometry are useful for investigating the metric aspects of noncommutative geometry and in these contexts require extensive use of pseudo-differential operators. In a foundational paper, Connes showed that, by direct analogy with the theory of pseudo-differential operators on $\mathbb R^n$, one may derive a similar pseudo-differential calculus on noncommutative $n$ tori $\mathbb T_θ^n$, and with the development of this calculus came many results concerning the local differential geometry of noncommutative tori for $n=2,4$, as shown in the groundbreaking paper in which t…
Topological T-duality is a transformation taking a gerbe on a principal torus bundle to a gerbe on a principal dual-torus bundle. We give a new geometric construction of T-dualization, which allows the duality to be extended in following two directions. First, bundles of groups other than tori, even bundles of some nonabelian groups, can be dualized. Second, bundles whose duals are families of noncommutative groups (in the sense of noncommutative geometry) can be treated, though in this case the base space of the bundles is best viewed as a topological stack. Some methods developed for the con…
This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a complex manifold. In this paper we enlarge this category to include objects which correspond to quasi-coherent sheaves. We then apply this framework to proving an equivalence of categories between derived categories on the noncommutative complex torus and on a holomorphic gerbe on t…
The scalar curvature for the noncommutative four torus $\mathbb{T}_Θ^4$, where its flat geometry is conformally perturbed by a Weyl factor, is computed by making the use of a noncommutative residue that involves integration over the 3-sphere. This method is more convenient since it does not require the rearrangement lemma and it is advantageous as it explains the simplicity of the final functions of one and two variables, which describe the curvature with the help of a modular automorphism. In particular, it readily allows to write the function of two variables as the sum of a finite differenc…
We compute the Ricci curvature of a curved noncommutative three torus. The computation is done both for conformal and non-conformal perturbations of the flat metric. To perturb the flat metric, the standard volume form on the noncommutative three torus is perturbed and the corresponding perturbed Laplacian is analyzed. Using Connes' pseudodifferential calculus for the noncommutative tori, we explicitly compute the second term of the short time heat kernel expansion for the perturbed Laplacians on functions and on 1-forms. The Ricci curvature is defined by localizing heat traces suitably. Equiv…
We construct the join of noncommutative Galois objects (quantum torsors) over a Hopf algebra H. To ensure that the join algebra enjoys the natural (diagonal) coaction of H, we braid the tensor product of the Galois objects. Then we show that this coaction is principal. Our examples are built from the noncommutative torus with the natural free action of the classical torus, and arbitrary anti-Drinfeld doubles of finite-dimensional Hopf algebras. The former yields a noncommutative deformation of a non-trivial torus bundle, and the latter a finite quantum covering.
We study the homogeneous coordinate rings of real multiplication noncommutative tori as defined by A. Polishchuk. Our aim is to understand how these rings give rise to an arithmetic structure on the noncommutative torus. We start by giving an explicit presentation of these rings in terms of their natural generators. This presentation gives us information about the rationality of the rings and is the starting point for the analysis of the corresponding geometric data. Linear bases for these rings are also discussed. The basic role played by theta functions in these computations gives relations …
We find a unique torsion free Riemannian spin connection for the natural Killing metric on the quantum group $C_q[SL_2]$, using a recent frame bundle formulation. We find that its covariant Ricci curvature is essentially proportional to the metric (i.e. an Einstein space). We compute the Dirac operator and find for $q$ an odd $r$'th root of unity that its eigenvalues are given by $q$-integers $[m]_q$ for $m=0,1,...,r-1$ offset by the constant background curvature. We fully solve the Dirac equation for $r=3$.
In our previous publications we introduced differential calculus on the enveloping algebras U(gl(m)) similar to the usual calculus on the commutative algebra Sym(gl(m)). The main ingredient of our calculus are quantum partial derivatives which turn into the usual partial derivatives in the classical limit. In the particular case m=2 we prolonged this calculus on a central extension A of the algebra U(gl(2)). In the present paper we consider the problem of a further extension of the quantum partial derivatives on the skew-field of the algebra A and define the corresponding de Rham complex. As a…
We prove that the Shimizu L-function of a real quadratic field is obtained from a (Lorentzian) spectral triple on a noncommutative torus with real multiplication, as an adiabatic limit of the Dirac operator on a 3-dimensional solvmanifold. The Dirac operator on this 3-dimensional geometry gives, via the Connes-Landi isospectral deformations, a spectral triple for the noncommutative tori obtained by deforming the fiber tori to noncommutative spaces. The 3-dimensional solvmanifold is the homotopy quotient in the sense of Baum--Connes of the noncommutative space obtained as the crossed product of…
It is known that the physics of open strings on a D2-brane on a two-torus is realized from the viewpoint of deformation quantization in the Seiberg-Witten limit. We study its T-dual theory, i.e. D1-brane physics on two-tori. Such theory is described by Kronecker foliation. The algebra of open strings on the D1-brane is then identified with the crossed product representation of a noncommutative two-torus. The Morita equivalence of noncommutative two-tori is also realized geometrically along this line. As an application, Heisenberg modules and the tensor product between them are discussed from t…
We show that noncommutative gauge theory in two dimensions is an exactly solvable model. A cohomological formulation of gauge theory defined on the noncommutative torus is used to show that its quantum partition function can be written as a sum over contributions from classical solutions. We derive an explicit formula for the partition function of Yang-Mills theory defined on a projective module for arbitrary noncommutativity parameter θwhich is manifestly invariant under gauge Morita equivalence. The energy observables are shown to be smooth functions of θ. The construction of noncommutative …