Given a free action of a compact Lie group $G$ on a unital C*-algebra $\mathcal{A}$ and a spectral triple on the corresponding fixed point algebra $\mathcal{A}^G$, we present a systematic and in-depth construction of a spectral triple on $\mathcal{A}$ that is build upon the geometry of $\mathcal{A}^G$ and $G$. We compare our construction with a selection of established examples.
This article contains a noncommutative generalization of the topological path lifting problem. Noncommutative geometry has no paths and even points. However there are paths of *-automorphisms. It is proven that paths of *-automorphisms comply with unique path lifting.
Let $G$ be a finite group. Noncommutative geometry of unital $G$-algebras is studied. A geometric structure is determined by a spectral triple on the crossed product algebra associated with the group action. This structure is to be viewed as a representative of a noncommutative orbifold. Based on a study of classical orbifold groupoids, a Morita equivalence for the crossed product spectral triples is developed. Noncommutative orbifolds are Morita equivalence classes of the crossed product spectral triples. As a special case of this Morita theory one can study freeness of the $G$-action on the …
We solve a class of lifting problems involving approximate polynomial relations (soft polynomial relations). Various associated C*-algebras are therefore projective. The technical lemma we need is a new manifestation of Akemann and Pedersen's discovery of the norm adjusting power of quasi-central approximate units. A projective C*-algebra is the analog of an absolute retract. Thus we can say that various noncommutative semialgebraic sets turn out to be absolute retracts. In particular we show a noncommutative absolute retract results from the intersection of the approximate locus of a homogene…
An orbifold is a Morita equivalence class of a proper {\' e}tale Lie groupoid. A unitary equivalence class of spectral triples over the algebra of smooth invariant functions are associated with any compact spin orbifold. In the case of an effective spin orbifold we construct a collection of spectral triples over the smooth convolution algebras of the representatives of the Morita equivalence class.
The subject of this PhD thesis is noncommutative geometry - more specifically spectral triples - and how it can be generalized to semi-Riemannian manifolds generally, and Lorentzian manifolds in particular. The first half of this thesis will thus be dedicated to the transition from Riemannian to semi-Riemannian manifolds. This entails a study of Clifford algebras for indefinite vector spaces and Spin structures on semi-Riemannian manifolds. An important consequence of this is the introduction of Krein spaces, which will enable us to generalize spectral triples to indefinite spectral triples. I…
We study the isospectral deformations of the Eguchi-Hanson spaces along a torus isometric action in the noncompact noncommutative geometry. We concentrate on locality, smoothness and summability conditions of the nonunital spectral triples, and relate them to the geometric conditions to be noncommutative spin manifolds.
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…
After a review of the results in arXiv:1203.3184 [math-ph] about Pythagorean inequalities for products of spectral triples, I will present some new results and discuss classes of spectral triples and states for which equality holds.
A Dirac operator is presented that will yield a 1+ summable regular even spectral triple for all noncommutative compact surfaces defined as subalgebras of the Toeplitz algebra. Connes' conditions for noncommutative spin geometries are analyzed and it is argued that the failure of some requirements is mainly due to a wrong choice of a noncommutative spin bundle.
In this paper we construct odd finitely summable spectral triples based on length functions of bounded doubling on noncommutative solenoids. Our spectral triples induce a Leibniz Lip-norm on the state spaces of the noncommutative solenoids, giving them the structure of Leibniz quantum compact metric spaces. By applying methods of R. Floricel and A. Ghorbanpour, we also show that our odd spectral triples on noncommutative solenoids can be considered as direct limits of spectral triples on rotation algebras. In the final section we prove a noncommutative Wiener's lemma and show that our odd spec…
This paper is the the third part of a series of paper whose aim is to use of the framework of \emph{twisted spectral triples} to study conformal geometry from a noncommutive geometric viewpoint. In this paper we reformulate the inequality of Vafa-Witten \cite{VW:CMP84} in the setting of twisted spectral triples. This involves a notion of Poincaré duality for twisted spectral triples. Our main results have various consequences. In particular, we obtain a version in conformal geometry of the original inequality of Vafa-Witten, in the sense of an explicit control of the Vafa-Witten bound under co…
Fuzzy tori are finite dimensional C*-algebras endowed with an appropriate notion of noncommutative geometry inherited from an ergodic action of a finite closed subgroup of the torus, which are meant as finite dimensional approximations of tori and more generally, quantum tori. A mean to specify the geometry of a noncommutative space is by constructing over it a spectral triple. We prove in this paper that we can construct spectral triples on fuzzy tori which, as the dimension grow to infinity and under other natural conditions, converge to a natural spectral triple on quantum tori, in the sens…
It is proved that the (volume and orientation-preserving) quantum isometry group of a spectral triple obtained by deformation by some dual unitary 2-cocycle is isomorphic with a similar twist-deformation of the quantum isometry group of the original (undeformed) spectral triple. This result generalizes similar work by Bhowmick and Goswami for Rieffel-deformed spectral triples in [Comm. Math. Phys. 285 (2009), 421-444, arXiv:0707.2648].
Examples of noncommutative self-coverings are described, and spectral triples on the base space are extended to spectral triples on the inductive family of coverings, in such a way that the covering projections are locally isometric. Such triples are shown to converge, in a suitable sense, to a semifinite spectral triple on the direct limit of the tower of coverings, which we call noncommutative solenoidal space. Some of the self-coverings described here are given by the inclusion of the fixed point algebra in a C$^*$-algebra acted upon by a finite abelian group. In all the examples treated he…
It is well-known that any covering space of a Riemannian manifold has the natural structure of a Riemannian manifold. This article contains a noncommutative generalization of this fact. Since any Riemannian manifold with a Spin-structure defines a spectral triple, the spectral triple can be regarded as a noncommutative Spin-manifold. Similarly there is an algebraic construction which is a noncommutative generalization of topological covering. This article contains a construction of spectral triple on the "noncommutative covering space".
We discuss the Fubini formula in Alain Connes' noncommutative geometry. We present a sufficient condition on spectral triples for which a Fubini formula holds true. The condition is natural and related to heat semigroup asymptotics. We provide examples of spectral triples for which the Fubini formula fails.
In this paper, we initiate the study of sub-pluriharmonic curves in Cuntz-Toeplitz algebras and free pluriharmonic majorants on noncommutative balls. We are lead to a characterization of the noncommutative Hardy space $H^2_{\bf ball}$ in terms of free pluriharmonic majorants, and to a Schur type description of the unit ball of $H^2_{\bf ball}$. These results are used to solve a multivariable commutant lifting problem and provide a description of all solutions.
We introduce the notion of a pre-spectral triple, which is a generalisation of a spectral triple $(\mathcal{A}, H, D)$ where $D$ is no longer required to be self-adjoint, but closed and symmetric. Despite having weaker assumptions, pre-spectral triples allow us to introduce noncompact noncommutative geometry with boundary. In particular, we derive the Hochschild character theorem in this setting. We give a detailed study of Dirac operators with Dirichlet boundary conditions on open subsets of $\mathbb{R}^d$, $d \geq 2$.
It is well known that for any irrational rotation number $\a$, the noncommutative torus $\ba_\a$ must have representations $π$ such that the generated von Neumann algebra $π(\ba_\a)"$ is of type $\ty{III}$. Therefore, it could be of interest to exhibit and investigate such kind of representations, together with the associated spectral triples whose twist of the Dirac operator and the corresponding derivation arises from the Tomita modular operator. In the present paper, we show that this program can be carried out, at least when $\a$ is a Liouville number satisfying a faster approximation prop…
We study an analogue of fibrations of topological spaces with the homotopy lifting property in the setting of C*-algebra bundles. We then derive an analogue of the Leray-Serre spectral sequence to compute the K-theory of the fibration in terms of the cohomology of the base and the K-theory of the fibres. We present many examples which show that fibrations with noncommutative fibres appear in abundance in nature.
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 previous papers, we constructed smooth (1,\infty)-summable semfinite spectral triples for graph algebras with a faithful trace, and (k,\infty)-summable semifinite spectral triples for k-graph algebras. In this paper we identify classes of graphs and k-graphs which satisfy a version of Connes' conditions for noncommutative manifolds.
In attempts to combine non-commutative geometry and quantum gravity, Aastrup-Grimstrup-Nest construct a semi-finite spectral triple, modeling the space of G-connections for G=U(1) or SU(2). AGN show that the interaction between the algebra of holonomy loops and the Dirac-type operator D reproduces the Poisson structure of General Relativity in Ashtekar's loop variables. This article generalizes AGN's construction to any connected compact Lie group G. A construction of AGN's semi-finite spectral triple in terms of an inductive limit of spectral triples is formulated. The refined construction pe…
We explore factorizations of noncommutative Riemannian spin geometries over commutative base manifolds in unbounded KK-theory. After setting up the general formalism of unbounded KK-theory and improving upon the construction of internal products, we arrive at a natural bundle-theoretic formulation of gauge theories arising from spectral triples. We find that the unitary group of a given noncommutative spectral triple arises as the group of endomorphisms of a certain Hilbert bundle; the inner fluctuations split in terms of connections on, and endomorphisms of, this Hilbert bundle. Moreover, we …
We solve the lifting problem in C^*-algebras for many sets of relations that include the relations x_j^{N_j} = 0 on each variable. The remaining relations must be of the form \| p(x_1,...,x_n) \| \leq C for C a positive constant and p a noncommutative *-polynomial that is in some sense homogeneous. For example, we prove liftability for the set of relations x^3=0, y^4=0, z^5=0, xx^*+yy^*+zz^* \leq 1. Thus we find more noncommutative semialgebraic sets that have the topology of noncommutative absolute retracts.
We use compactifications of C*-algebras to introduce noncommutative coarse geometry. We transfer a noncommutative coarse structure on a C*-algebra with an action of a locally compact Abelian group by translations to Rieffel deformations and prove that the resulting noncommutative coarse spaces are coarsely equivalent. We construct a noncommutative coarse structure from a cocompact continuously square-integrable action of a group and show that this is coarsely equivalent to the standard coarse structure on the group in question. We define noncommutative coarse maps through certain completely po…
Axioms for nonunital spectral triples, extending those introduced in the unital case by Connes, are proposed. As a guide, and for the sake of their importance in noncommutative quantum field theory, the spaces $\R^{2N}$ endowed with Moyal products are intensively investigated. Some physical applications, such as the construction of noncommutative Wick monomials and the computation of the Connes--Lott functional action, are given for these noncommutative hyperplanes.
Any oriented Riemannian manifold with a Spin-structure defines a spectral triple, so the spectral triple can be regarded as a noncommutative Spin-manifold. Otherwise for any unoriented Riemannian manifold there is the two-fold covering by oriented Riemannian manifold. Moreover there are noncommutative generalizations of finite-fold coverings. This circumstances yield a notion of unoriented spectral triple which is covered by oriented one.
A fundamental tool in noncommutative geometry is Connes' character formula. This formula is used in an essential way in the applications of noncommutative geometry to index theory and to the spectral characterisation of manifolds. A non-compact space is modelled in noncommutative geometry by a non-unital spectral triple. Our aim is to establish the Connes character formula for non-unital spectral triples. This is significantly more difficult than in the unital case and we achieve it with the use of recently developed double operator integration techniques. Previously, only partial extensions o…
Gelfand - Naĭmark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Similarly a spectral triple is a generalization of a Riemannian manifold. An (infinitely listed) covering of a Riemannian manifold has natural structure of Riemannian manifold. Here we will consider the noncommutative generalization of this result.
We prove a Tauberian theorem for singular values of noncommuting operators which allows us to prove exact asymptotic formulas in noncommutative geometry at a high degree of generality. We explain how, via the Birman--Schwinger principle, these asymptotics imply that a semiclassical Weyl law holds for many interesting noncommutative examples. In Connes' notation for quantized calculus, we prove that for a wide class of $p$-summable spectral triples $(\mathcal{A},H,D)$ and self-adjoint $V \in \mathcal{A}$, there holds \[\lim_{h\downarrow 0} h^p\mathrm{Tr}(χ_{(-\infty,0)}(h^2D^2+V)) = \int V_-^{\…
We consider the algebra $A$ of bounded operators on $L^2(\mathbb{R}^n)$ generated by quantizations of isometric affine canonical transformations. The algebra $A$ includes as subalgebras all noncommutative tori and toric orbifolds. We define the spectral triple $(A, H, D)$ with $H=L^2(\mathbb R^n, Λ(\mathbb R^n))$ and the Euler operator $D$, a first order differential operator of index $1$. We show that this spectral triple has simple dimension spectrum: For every operator $B$ in the algebra $Ψ(A,H,D)$ generated by the Shubin type pseudodifferential operators and the elements of $A$, the zeta f…
We present a new, general approach to gauge theory on principal $G$-spectral triples, where $G$ is a compact connected Lie group. We introduce a notion of vertical Riemannian geometry for $G$-$C^\ast$-algebras and prove that the resulting noncommutative orbitwise family of Kostant's cubic Dirac operators defines a natural unbounded $KK^G$-cycle in the case of a principal $G$-action. Then, we introduce a notion of principal $G$-spectral triple and prove, in particular, that any such spectral triple admits a canonical factorisation in unbounded $KK^G$-theory with respect to such a cycle: up to a…
We present an ab initio approach to integration theory for nonunital spectral triples. This is done without reference to local units and in the full generality of semifinite noncommutative geometry. The main result is an equality between the Dixmier trace and generalised residue of the zeta function and heat kernel of suitable operators. We also examine definitions for integrable bounded elements of a spectral triple based on zeta function, heat kernel and Dixmier trace techniques. We show that zeta functions and heat kernels yield equivalent notions of integrability, which imply Dixmier trace…
We show the non-positivity of the Einstein-Hilbert action for conformal flat Riemannian metrics. The action vanishes only when the metric is constant flat. This recovers an earlier result of Fathizadeh-Khalkhali in the setting of spectral triples on noncommutative four-torus. Furthermore, computations of the gradient flow and the scalar curvature of this space based on modular operator are given. We also show the Gauss-Bonnet theorem for a parametrized class of non-diagonal metrics on noncommutative two-torus.
While there has been growing interest for noncommutative spaces in recent times, most examples have been based on the simplest noncommutative algebra: [x_i,x_j]=i theta_{ij}. Here we present new classes of (non-formal) deformed products associated to linear Lie algebras of the kind [x_i,x_j]=ic_{ij}^k x_k. For all possible three-dimensional cases, we define a new star product and discuss its properties. To complete the analysis of these novel noncommutative spaces, we introduce noncompact spectral triples, and the concept of star triple, a specialization of the spectral triple to deformations …
To any spectral triple (A,D,H) a dimension d is associated, in analogy with the Hausdorff dimension for metric spaces. Indeed d is the unique number, if any, such that |D|^-d has non trivial logarithmic Dixmier trace. Moreover, when d is finite non-zero, there always exists a singular trace which is finite nonzero on |D|^-d, giving rise to a noncommutative integration on A. Such results are applied to fractals in R, using Connes' spectral triple, and to limit fractals in R^n, a class which generalises self-similar fractals, using a new spectral triple. The noncommutative dimension or measure c…
We prove a local index formula in conformal geometry by computing the Connes-Chern character for the conformal Dirac (twisted) spectral triple recently constructed by Connes-Moscovici. Following an observation of Moscovici, the computation reduces to the computation of the CM cocycle of an equivariant Dirac (ordinary) spectral triple. This computation is obtained as a straightforward consequence of a new proof of the local equivariant index theorem of Patodi, Donelly-Patodi and Gilkey. This proof is obtained by combining Getzler's rescaling with an equivariant version of Greiner's approach to …
We give a new definition of Levi-Civita connection for a noncommutative pseudo-Riemannian metric on a noncommutative manifold given by a spectral triple. We prove the existence-uniqueness result for a class of modules of one forms over a large class of noncommutative manifolds, including the matrix geometry of the fuzzy 3-sphere, the quantum Heisenberg manifolds and Connes-Landi deformations of spectral triples on the Connes-Dubois Violette-Rieffel-deformation of a compact manifold equipped with a free toral action. It is interesting to note that in the example of the quantum Heisenberg manifo…
Let $T$ be a circle and $LT$ be its loop group. Let $\mathcal{M}$ be an infinite dimensional manifold equipped with a nice $LT$-action. We construct an analytic $LT$-equivariant index for $\mathcal{M}$, and justify it in terms of noncommutative geometry. More precisely, we construct a Hilbert space $\mathcal{H}$ consisting of "$L^2$-sections of a Clifford module bundle" and a "Dirac operator" $\mathcal{D}$ which acts on $\mathcal{H}$. Then, we define an analytic index of $\mathcal{D}$ valued in the representation group of $LT$, so called Verlinde ring. We also define a "twisted crossed product…
We show that the algebra A of a commutative unital spectral triple (A,H,D) satisfying several additional conditions, slightly stronger than those proposed by Connes, is the algebra of smooth functions on a compact spin manifold.
Spectral triples for nonunital algebras model locally compact spaces in noncommutative geometry. In the present text, we prove the local index formula for spectral triples over nonunital algebras, without the assumption of local units in our algebra. This formula has been successfully used to calculate index pairings in numerous noncommutative examples. The absence of any other effective method of investigating index problems in geometries that are genuinely noncommutative, particularly in the nonunital situation, was a primary motivation for this study and we illustrate this point with two ex…
Let $T : Λ\to Λ$ be an expanding map on a Cantor set. For each suitably normalized Hölder continuous potential, we construct a spectral triple from which one may recover the associated Gibbs measure as a noncommutative measure.
Two spectral triples are introduced for a class of fractals in R^n. The definitions of noncommutative Hausdorff dimension and noncommutative tangential dimensions, as well as the corresponding Hausdorff and Hausdorff-Besicovitch functionals considered in math.OA/0202108, are studied for the mentioned fractals endowed with these spectral triples, showing in many cases their correspondence with classical objects. In particular, for any limit fractal, the Hausdorff-Besicovitch functionals do not depend on the generalized limit procedure.
Following Crane's suggestion that categorification should be of fundamental importance in quantising gravity, we show that finite dimensional even $S^o$-real spectral triples over $\bbc$ are already nothing more than full C*-categories together with a self-adjoint section of their domain and range maps, while the latter are equivalent to unital saturated Fell bundles over pair groupoids equipped with a path-lifting operator given by a normaliser. Interpretations can be made in the direction of quantum Higgs gravity. These geometries are automatically quantum geometries and we reconstruct the c…
Let G be a finitely generated discrete group. The standard spectral triple on the group C*-algebra C*(G) is shown to admit the quantum group of orientation preserving isometries. This leads to new examples of compact quantum groups. In particular the quantum isometry group of the C*-algebra of the free group on n-generators is computed and turns out to be a quantum group extension of the quantum permutation group A_{2n} of Wang. The quantum groups of orientation and real structure preserving isometries are also considered and construction of the Laplacian for the standard spectral triple on C*…
We study the Chern-Simons action, which was defined for noncommutative spaces in general by the author, for the noncommutative 3-torus, the universal C*-algebra generated by 3 unitaries. D. Essouabri, B. Iochum, C. Levy, and A. Sitarz constructed a spectral triple for the noncommutative 3-torus. We compute the Chern-Simons action for this noncommutative space. In connection with this computation we calculate the first coefficient in the loop expansion series of the corresponding Feynman path integral with the Chern-Simons action as Lagrangian. The result is independent of the deformation matri…