Motivated by the search for new examples of "noncommutative manifolds", we study the noncommutative geometry of the group C*-algebras of various discrete groups. The examples we consier are the infinite dihedral group
${\bf Z} \times_σ {\bf Z}_2$ and the semidirect product ${\bf Z} \times_σ {\bf Z}$. We present a unified treatment of the K-homology and cyclic cohomology of these algebras.
We present two applications of explicit formulas, due to Cuntz and Krieger, for computations in K-homology of graph C*-algebras. We prove that every K-homology class for such an algebra is represented by a Fredholm module having finite-rank commutators; and we exhibit generating Fredholm modules for the K-homology of quantum lens spaces.
It is shown that Connes' character formula for unbounded, theta-summable Fredholm modules represents the abstract Chern-character in K-homology. As an application, the character of a particular Fredholm module over the reduced group C*-algebra of a discrete group is calculated, which leads to a partial solution of a problem posed by A.Connes.
We give a complete classification (up to smooth homotopy) of finitely summable Fredholm representations (Fredholm modules) over higher rank groups and lattices. Our results are a direct consequence of work of Bader, Furman, Gelander and Monod on generalisations of Kazhdan's property T for locally compact groups.
We prove that odd unbounded p-summable Fredholm modules are also bounded p-summable Fredholm modules (this is the odd counterpart of a result of A. Connes for the case of even Fredholm modules).
We construct a family of odd, finitely summable Fredholm modules over the crossed product C*-algebra $C(\bd \G)\rtimes \G$ associated to the action of a non-elementary hyperbolic group $\G$ on its Gromov boundary $\bd \G$. These Fredholm modules all represent the same, distinguished class in K-homology, namely that of the `boundary extension' of $C(\bd \G)\rtimes \G$ associated to the Gromov compactification of $\G$, and is typically nonzero. Their summability is closely related to the Hausdorff dimension of the boundary. We use these results to compute the Connes-Chern character of the bounda…
We study the stability of Fredholm property for regular operators on Hilbert $C^*$-modules under some certain perturbations. We treat this problem when perturbing operators are (relatively) bounded or relatively compact. We also consider the perturbations of regular Fredholm operators in terms of the gap metric. In particular, we prove that the space of all regular Fredholm operators on a Hilbert $C^*$-module $E$ is open in the space of all regular operators on $E$ with respect to the gap metric. As an application, we construct some continuous paths of selfadjoint regular Fredholm operators wi…
We give a comprehensive account of an analytic approach to spectral flow along paths of self-adjoint Breuer-Fredholm operators in a type $I_{\infty}$ or $II_\infty$ von Neumann algebra ${\mathcal N}$. The framework is that of {\it odd unbounded} $θ$-{\it summable} {\it Breuer-Fredholm modules} for a unital Banach *-algebra, $\mathcal A$. In the type $II_{\infty}$ case spectral flow is real-valued, has no topological definition as an intersection number and our formulae encompass all that is known. We borrow Ezra Getzler's idea (suggested by I. M. Singer) of considering spectral flow (and eta i…
In this paper we establish the semi-Fredholm theory on Hilbert C*-modules as a continuation of Fredholm theory on Hilbert C*-modules established by Mishchenko and Fomenko. We give a definition of a semi-Fredholm operator on Hilbert C*-module and prove that these semi-Fredholm operators are those that are one-sided invertible modulo compact operators, that the set of proper semi-Fredholm operators is open and many other results that generalize their classical counterparts.
We prove that all K-homology classes of the stable (and unstable) Ruelle algebra of a Smale space have explicit Fredholm module representatives that are finitely summable on the same smooth subalgebra and with the same degree of summability. The smooth subalgebra is induced by a metric on the underlying Smale space groupoid and fine transversality relations between stable and unstable sets. The degree of summability is related to the fractal dimension of the Smale space. Further, the Fredholm modules are obtained by taking Kasparov products with a fundamental class of the Spanier-Whitehead K-d…
We introduce $C^*$-algebras associated to the foliation structure of a quantum flag manifold. We use these to construct $SL_q(3,\mathbb{C})$-equivariant Fredholm modules for the full quantum flag manifold $X_q = SU_q(3)/T$ of $SU_q(3)$, based on an analytical version of the Bernstein-Gelfand-Gelfand complex. As a consequence we deduce that the flag manifold $ X_q $ satisfies Poincaré duality in equivariant $ KK $-theory. Moreover, we show that the Baum-Connes conjecture with trivial coefficients holds for the discrete quantum group dual to $SU_q(3)$.
We derive simple explicit formulas for the character of a cycle in the Connes' (b,B)-bicomplex of cyclic cohomology and give applications to the Fredholm modules and equivariant characteristic classes.
We prove an operator-theoretic reconstruction of the Beilinson-Bloch regulator for compact Riemann surfaces, using loop operators and the Connes-Karoubi character for Fredholm modules. The proof includes a new computation of the Connes-Karoubi character for Steinberg symbols of the circle, which relies on the Helton-Howe determinant theory, but not on the Carey-Pincus theory of joint torsion.
We introduce the notion of a {\vartheta}-summable Fredholm module over a locally convex dg algebra Ω and construct its Chern character as a cocycle on the entire cyclic complex of Ω, extending the construction of Jaffe, Lesniewski and Osterwalder to a differential graded setting. Using this Chern character, we prove an index theorem involving an abstract version of a Bismut-Chern character constructed by Getzler, Jones and Petrack in the context of loop spaces. Our theory leads to a rigorous construction of the path integral for N=1/2 supersymmetry which satisfies a Duistermaat-Heckman type lo…
A classical problem in operator theory has been to determine the spectrum of Toeplitz-like operators on Hilbert spaces of vector-valued holomorphic functions on the open unit ball in C^m. In this note we obtain necessary conditions for k-tuples of such operators to be Fredholm in the sense of Taylor and show they are sufficient in the case of the unit disk.
The aim of the present work is to show how, using the differential calculus associated to Dirichlet forms, it is possible to construct Fredholm modules on post critically finite fractals by regular harmonic structures. The modules are d-summable, the summability exponent d coinciding with the spectral dimension of the generalized laplacian operator associated with the regular harmonic structures. The characteristic tools of the noncommutative infinitesimal calculus allow to define a d-energy functional which is shown to be a self-similar conformal invariant.
Analytic index theory and spectral flow in real Hilbert $C^*$-modules
RIKEN iTHEMS(理化学研究所 iTHEMS);Mathematical Sciences Institute, Australian National University(澳大利亚国立大学数学科学学院);Mathematisches Institut, Universität Bonn(波恩大学数学研究所);School of Mathematics and Physics, University of Wollongong(伍伦贡大学数学与物理学院)
Let (A,H,F) be a p-summable Fredholm module where the algebra A= C Γis generated by a discrete group of unitaries in L(H) which is of polynomial growth r. Then we construct a spectral triple (A,H,D) with F= sign D which is q-summable for each q > p+r+1. In case (A,H,F) is (p,\infty)-summable we obtain (q,\infty)-summability of (A,H,D) for each q > p+r+1.
In the setting of non-type $\ty{II_1}$ representations, we propose a definition of {\it deformed Fredholm module} $\big[D_\ct|D_\ct|^{-1}\,,\,{\bf\cdot}\,\big]_\ct$ for a modular spectral triple $\ct$, where $D_\ct$ is the deformed Dirac operator. $D_\ct$ is assumed to be invertible for the sake of simplicity, and its domain is an "essential" operator system $\ce_\ct$. According to such a definition, we obtain $\big[D_\ct|D_\ct|^{-1}\,,\,{\bf\cdot}\,\big]_\ct=|D_\ct|^{-1}d_\ct(\,{\bf\cdot}\,)+d_\ct(\,{\bf\cdot}\,)|D_\ct|^{-1}$, where $d_\ct$ is the deformed derivation associated to $D_\ct$. Si…
In this paper we consider A-Fredholm and semi-A-Fredholm operators on Hilbert C*-modules over a W*-algebra A defined in [3],[10]. Using the assumption that A is a W*-algebra (and not an arbitrary C*-algebra), we obtain several results such as generalization of Schechter-Lebow characterization of semi-Fredholm operators and generalization of "punctured neighbourhood" theorem, as well as some other results that generalize their classical counterparts. We consider both adjointable and non adjointable semi-Fredholm operators over W*-algebras. Moreover, we also work with general bounded, adjointabl…
We produce a variety of odd bounded Fredholm modules and odd spectral triples on Cuntz-Krieger algebras by means of realizing these algebras as "the algebra of functions on a non-commutative space" coming from a sub shift of finite type. We show that any odd $K$-homology class can be represented by such an odd bounded Fredholm module or odd spectral triple. The odd bounded Fredholm modules that are constructed are finitely summable. The spectral triples are $θ$-summable although their bounded transform, when constructed using the sign-function, will already on the level of analytic $K$-cycles …
In noncommutative geometry one is interested in invariants such as the Fredholm index or spectral flow and their calculation using cyclic cocycles. A variety of formulae have been established under side conditions called summability constraints. These can be formulated in two ways, either for spectral triples or for bounded Fredholm modules. We study the relationship between these by proving various properties of the map on unbounded self adjoint operators $D$ given by $f(D)=D(1+D^2)^{-1/2}$. In particular we prove commutator estimates which are needed for the bounded case. In fact our methods…
Starting from the definition of A-Fredholm and semi-A-Fredholm operator on the standard module over a unital C*- algebra A, introduced in [8] and [4], we construct various generalizations of these operators and obtain several results as an analogue or a generalization of the results in [1], [2], [3],[7]. Moreover, we study also non-adjointable semi-A-Fredholm operators as a natural continuation of the work in [6] on non-adjointable A-Fredholm operators and obtain an analogue or a generalization in this setting of the results in [4], [5].
In this paper the concept of unbounded Fredholm operators on Hilbert C*- modules over an arbitrary C*-algebra is discussed and the Atkinson theorem is generalized for bounded and unbounded Feredholm operators on Hilbert C*-modules over C*-algebras of compact operators. In the framework of Hilbert C*-modules over C*-algebras of compact operators, the index of an unbounded Fredholm operator and the index of its bounded transform are the same.
The aim of this note is to generalize the notion of Fredholm operator to an arbitrary $C^*$-algebra. Namely, we define "finite type" elements in an axiomatic way, and also we define Fredholm type element $a$ as such element of a given $C^*$-algebra for which there are finite type elements $p$ and $q$ such that $(1-q)a(1-p)$ is "invertible". We derive index theorem for such operators. In applications we show that classical Fredholm operators on a Hilbert space, Fredholm operators in the sense of Breuer, Atiyah and Singer on a properly infinite von Neumann algebra, and Fredholm operators on Hilb…
We study derivations and Fredholm modules on metric spaces with a local regular conservative Dirichlet form. In particular, on finitely ramified fractals, we show that there is a non-trivial Fredholm module if and only if the fractal is not a tree (i.e. not simply connected). This result relates Fredholm modules and topology, and refines and improves known results on p.c.f. fractals. We also discuss weakly summable Fredholm modules and the Dixmier trace in the cases of some finitely and infinitely ramified fractals (including non-self-similar fractals) if the so-called spectral dimension is le…
Given C*-algebras A and B and an imprimitivity A-B-bimodule X, we construct an explicit isomorphism X_* : K_i(A) --> K_i(B) where K_i denote the complex K-theory functors for i=0, 1. Our techniques do not require separability nor existence of countable approximate identities. We thus extend, to general C*-algebras, the result of Brown, Green and Rieffel according to which strongly Morita equivalent C*-algebras have isomorphic K-groups. The method employed includes a study of Fredholm operators on Hilbert modules.
We study the essential spectrum and Fredholm properties of integral and pseudodiferential operators associated to (maybe non-commutative) locally compact groups G. The techniques involve crossed product C*-algebras. We extend previous results on the structure of the essential spectrum to operators belonging (or affiliated) to the Schrödinger representation of certain crossed products. When the group G is unimodular and type I, we cover a new class of pseudo-differential differential operators with operator-valued symbols involving the unitary dual of G. We use recent results on the role of fam…
We compare the K-theory and K-homology of the well known CAR algebra. While the $K_0$ group is infinitely generated, we shows that it pairs identically to zero with even Fredholm modules over the algebra. We show further that in fact the even K-homology is trivial, while the odd K-homology is very large. These results give some insight into the K-homology of AF-algebras.
We define and study the noncommutative spectral flow for paths of regular selfadjoint Fredholm operators on a countably generated Hilbert C*-module. We give an axiomatic description and discuss some applications. One of them is the definition of a noncommutative Maslov index for paths of Lagrangians which appears in a splitting formula for the spectral flow. Analogously we study the spectral flow for odd operators on a graded module.
To each algebra over the complex numbers we associate a sequence of abelian groups in a contravariant functorial way. In degree (m-1) we have the m-summable Fredholm modules over the algebra modulo stable m-summable perturbations. These new finitely summable K-homology groups pair with cyclic homology and algebraic K-theory. In the case of cyclic homology the pairing is induced by the Chern-Connes character. The pairing between algebraic K-theory and finitely summable K-homology is induced by the Connes-Karoubi multiplicative character.
This paper extends the notion of a spectral triple to a relative spectral triple, an unbounded analogue of a relative Fredholm module for an ideal $J\triangleleft A$. Examples include manifolds with boundary, manifolds with conical singularities, dimension drop algebras, $θ$-deformations and Cuntz-Pimsner algebras of vector bundles. The bounded transform of a relative spectral triple is a relative Fredholm module, making the image of a relative spectral triple under the boundary mapping in $K$-homology easy to compute. We introduce an additional operator called a Clifford normal with which a r…
We examine the noncommutative index theory associated to the dynamics of a Delone set and the corresponding transversal groupoid. Our main motivation comes from the application to topological phases of aperiodic lattices and materials, and applies to invariants from tilings as well. Our discussion concerns semifinite index pairings, factorisation properties of Kasparov modules and the construction of unbounded Fredholm modules for lattices with finite local complexity.
We define Schatten classes of adjointable operators on Hilbert modules over abelian $C^*$-algebras. Many key features carry over from the Hilbert space case. In particular, the Schatten classes form two-sided ideals of compact operators and are equipped with a Banach norm and a $C^*$-valued trace with the expected properties. For trivial Hilbert bundles, we show that our Schatten-class operators can be identified bijectively with Schatten-norm-continuous maps from the base space into the Schatten classes on the Hilbert space fiber, with the fiberwise trace. As applications, we introduce the $C…
In this paper we prove an invertibility criterion for certain operators which is given as a linear algebraic combination of Toeplitz operators and Fourier multipliers acting on the Hardy space of the unit disc. Very similar to the case of Toeplitz operators we prove that such operators are invertible if and only if they are Fredholm and their Fredholm index is zero. As an application we prove that for "quasi-parabolic" composition operators the spectra and the essential spectra are equal.
In this paper, we obtain several extensions of semi-Fredholm theory on Hilbert modules by generalizing in this setting their classical counterparts regarding Weyl operators and Drazin invertible operators.
By exploiting the relation between Fredholm modules and the Segal-Shale-Stinespring version of canonical quantization, and taking as starting point the first-quantized fields described by Connes' axioms for noncommutative spin geometries, a Hamiltonian framework for fermion quantum fields over noncommutative manifolds is introduced. We analyze the ultraviolet behaviour of second-quantized fields over noncommutative 3-tori, and discuss what behaviour should be expected on other noncommutative spin manifolds.
Let $\{T_1, \ldots, T_n\}$ be a set of $n$ commuting bounded linear operators on a Hilbert space $\mathcal{H}$. Then the $n$-tuple $(T_1, \ldots, T_n)$ turns $\mathcal{H}$ into a module over $\mathbb{C}[z_1, \ldots, z_n]$ in the following sense: \[\mathbb{C}[z_1, \ldots, z_n] \times \mathcal{H} \raro \clh, \quad \quad (p, h) \mapsto p(T_1, \ldots, T_n)h,\]where $p \in \mathbb{C}[z_1, \ldots, z_n]$ and $h \in \mathcal{H}$. The above module is usually called the Hilbert module over $\mathbb{C}[z_1, \ldots, z_n]$. Hilbert modules over $\mathbb{C}[z_1, \ldots, z_n]$ (or natural function algebras) …