-
Noncommutative Topology and Prospects in Index Theory
Authors:
Nicolae Teleman
Abstract:
This article is a tribute to the memory of Professor Enzo Martinelli, with deep respect and reconesance. Nicolae Teleman. The index formula is a local statement made on global and local data; for this reason we introduce local Alexander - Spanier co-homology, local periodic cyclic homology, local Chern character and local $T^{\ast}$-theory. Index theory should be done: Case 1: for arbitrary rings…
▽ More
This article is a tribute to the memory of Professor Enzo Martinelli, with deep respect and reconesance. Nicolae Teleman. The index formula is a local statement made on global and local data; for this reason we introduce local Alexander - Spanier co-homology, local periodic cyclic homology, local Chern character and local $T^{\ast}$-theory. Index theory should be done: Case 1: for arbitrary rings, Case 2: for rings of functions over topo- logical manifolds. Case 1 produces general index theorems, as for example, over pseudo-manifolds. Case 2 gives a general treatment of classical and non- commutative index theorems. All existing index theorems belong to the second category. The tools of the theory would contain: local $T^{\ast}$ -theory, local peri- odic cyclic homology, local Chern character. These tools are extended to non- commutative topology. The index formula has three stages : Stage I is done in $T^{loc}\_{i}$-theory, Stage II is done in the local periodic cyclic homology and Stage III involves products of distributions, or restriction to the diagonal. For each stage there corresponds a topological index and an analytical index. The construction of $T^{\ast}$-theory involves the T-completion. It involves also the need to work with half integers; this should have important consequences.
△ Less
Submitted 14 October, 2016;
originally announced October 2016.
-
$K_{i}^{loc}(\mathbb{C})$, $i = 0, 1$
Authors:
Nicolae Teleman
Abstract:
In this article we compute the {\em local algebraic $K$-theory}, $ i = 0, 1$, of the algebra of complex numbers $\mathbb{C}$ endowed with the trivial filtration, i.e. $\mathbb{C}_μ= \mathbb{C}$, for any $μ\in \mathbb{N}$; {\em local algebras} and {\em local} algebraic $K^{loc}_{i}$-theory were introduced in \cite{Teleman_arXiv_IV}. \par Theorem 3 states the result. \par This case corresponds in th…
▽ More
In this article we compute the {\em local algebraic $K$-theory}, $ i = 0, 1$, of the algebra of complex numbers $\mathbb{C}$ endowed with the trivial filtration, i.e. $\mathbb{C}_μ= \mathbb{C}$, for any $μ\in \mathbb{N}$; {\em local algebras} and {\em local} algebraic $K^{loc}_{i}$-theory were introduced in \cite{Teleman_arXiv_IV}. \par Theorem 3 states the result. \par This case corresponds in the simplest case to the Alexander-Spanier {\em local $K$-theory} over the point. \par This article is part of a comprehensive program aimed at re-stating the index theorem, see \cite{Teleman_arXiv_III}. Other articles in this series are \cite{Teleman_arXiv_IV}, \cite{Teleman_arXiv_I}, \cite{Teleman_arXiv_II}.
△ Less
Submitted 10 September, 2013;
originally announced September 2013.
-
Local Algebraic K-Theory
Authors:
Nicolae Teleman
Abstract:
In this article we address the first part of the programme presented in \cite{Teleman_arXiv_III}, §2; we construct the local $K$- theory level of the index formula. Our construction is sufficiently general to encompass the algebra of pseudo-differential operators of order zero on smooth manifolds, elliptic pseudo-differential operators of order zero, their abstract symbol (see Introduction §2.) an…
▽ More
In this article we address the first part of the programme presented in \cite{Teleman_arXiv_III}, §2; we construct the local $K$- theory level of the index formula. Our construction is sufficiently general to encompass the algebra of pseudo-differential operators of order zero on smooth manifolds, elliptic pseudo-differential operators of order zero, their abstract symbol (see Introduction §2.) and their local $K$- theory analytical and topological index classes, see \cite{Teleman_arXiv_III}, §5, Definition 5 and 6. Our definitions are sufficiently general to apply to exact sequences of singular integral operators, which are of interest in the case of the index theorem on Lipschitz and quasi-conformal manifolds, see \cite{Teleman_IHES}, \cite{Teleman_Acta}, \cite{Donaldson_Sullivan}, \cite{Connes_Sullivan_Teleman}. In this article we introduce localised algebras (Definition 3) $\mathit{A}$ and in §6 we define their local algebraic $K$-theory. A localised algebra $\mathit{A}$ is an algebra in which a decreasing filtration by vector sub-spaces $\mathit{A}_μ$ is introduced. The filtration $\mathit{A}_μ$ induces a filtration on the space of matrices $\mathbb{M}(\mathit{A}_μ)$. Although we define solely $K^{loc}_{\ast}(\mathit{A})$ for $\ast= 0, \; 1$, we expect our construction could be extended in higher degrees. We stress that our construction of $K^{loc}_{0}(\mathit{A})$ uses exclusively idempotent matrices and that the use of finite projective modules is totally avoided. (Idempotent matrices, rather than projective modules, contain less arbitrariness in the description of the $K_{0}$ classes and allow a better filtration control). The group $K^{loc}_{0}(\mathit{A})$ is by definition the quotient space of the space of the Grothendieck completion of the space of idempotent matrices through three equivalence relations: -i) stabilisation $\sim_{s}$, -2) local conjugation $\sim_{l}$, {\em and} -3) projective limit with respect to the filtration. By definition, the $K_{1}^{loc} (\mathit{A})$ is the projective limit of the local $K_{1}(\mathit{A}_μ)$ groups. The group $K_{1}(\mathit{A}_μ)$ is by definition the quotient of $\mathbb{GL}(\mathit{A}_μ)$ modulo the equivalence relation generated by: -1) stabilisation $\sim_{s}$, --2) local conjugation $\sim_{l}$ and -3) $\sim_{\mathbb{O}(\mathit{A}_μ)}$, where $\mathbb{O}(\mathit{A}_μ)$ is the sub-module generated by elements of the form $ u \oplus u^{-1} $, for any $u \in \mathbb{GL}(\mathit{A}_μ)$. The class of any invertible element $u$ modulo conjugation (inner auto-morphisms) we call the Jordan canonical form of $u$. The local conjugation preserves the local Jordan canonical form of invertible elements. The equivalence relation $\sim_{\mathbb{O}(\mathit{A}_μ)}$ insures existence of opposite elements in $K_{1}(\mathit{A}_μ)$ and $K_{1}^{loc}(\mathit{A})$. Our definition of $K^{loc}_{1}(\mathit{A})$ does not use the commutator sub-group $[\mathbb{GL}(\mathit{A}), \mathbb{GL}(\mathit{A})]$ nor elementary matrices in its construction. We define short exact sequences of localised algebras. To get the corresponding (open) six terms exact sequence (Theorem 51) one has to take the tensor product of the expected six terms exact sequence by $\mathbb{Z}[\frac{1}{2}]$. We expect the factor $\otimes_{\mathbb{Z}[\frac{1}{2}}]$ to have important consequences. Our work shows that the basic structure of $K_{1}$ resides in the {\em additive} sub-group generated by elements of the form $u \oplus u^{-1}$, $u \in \mathbb{GL}(\mathit{A})$, rather than in the {\em multiplicativ} commutator sub-group $[\mathbb{GL}(\mathit{A}), \mathbb{GL}(\mathit{A})]$. Even into the case of trivially filtered algebras, $\mathit{A}_μ = \mathit{A}$, for all $μ\in \mathbb{N}$, the introduced group $K^{loc}_{1}(\mathit{A})$ should provide more information than the classical group $K_{1}(\mathit{A})$.
△ Less
Submitted 28 August, 2013; v1 submitted 26 July, 2013;
originally announced July 2013.
-
The Local Index Theorem
Authors:
Nicolae Teleman
Abstract:
This article is based on author's talk at the International Conference "Alexandroff Reading", Moscow 21 - 25 May, 2012. The material presented in article is a programme intended to organise the ingredients of the index formula. The first results results obtained in this project were announced at the International Conference on Non-commutative Geometry, Trieste, November 2007. Progress obtained alo…
▽ More
This article is based on author's talk at the International Conference "Alexandroff Reading", Moscow 21 - 25 May, 2012. The material presented in article is a programme intended to organise the ingredients of the index formula. The first results results obtained in this project were announced at the International Conference on Non-commutative Geometry, Trieste, November 2007. Progress obtained along the path of the project was reported at different conferences in Crakovia (June 2011), "K-Theory, C*-Algebras and Index Theory International Conference", Goettingen (November 2010) and Iasi (September 2011). The unifying idea behind our program is to localise K-theory and the non-commutative geometry basic tools (Hochschild, cyclic homology and co-homology, Connes-Karoubi Chern character) along the lines of Alexander-Spanier co-homology and homology. The motivation for the realisation of this programme is four-fold: -1) the classical Atiyah-Singer type index formula is a global statement with local controle, -2) the non-localised existing tools are not fine enough to capture sufficient information in the case of Banach algebras, -3) one wants to make so that the Alexander-Spanier (co)-homology becomes a natural ingredient of non-commutative geometry and -4) the Alexander-Spanier co-homology, with respect to the existing non-commutative geometry tools, has the advantage that it does need extra regularity beyond the ordinary topology. Author's last reference publications represent parts of this programme
△ Less
Submitted 24 May, 2013; v1 submitted 23 May, 2013;
originally announced May 2013.
-
Local Hochschild Homology of Hilbert-Schmidt Operators on Simplicial Spaces
Authors:
Nicolae Teleman
Abstract:
Local Hochschild, cyclic Homology and K-theory were introduced by N. Teleman in [10] with the purpose of unifying different settings of the index theorem. This paper is one of the research topics announced in [10], §10. The definition of these new objects inserts the Alexander-Spanier idea for defining the co-homology [8] into the corresponding constructions. This is done by allowing only chains w…
▽ More
Local Hochschild, cyclic Homology and K-theory were introduced by N. Teleman in [10] with the purpose of unifying different settings of the index theorem. This paper is one of the research topics announced in [10], §10. The definition of these new objects inserts the Alexander-Spanier idea for defining the co-homology [8] into the corresponding constructions. This is done by allowing only chains which have smal l support about the diagonal. This definition, applicable at least in the case of the Banach sub-algebras of the algebra of bounded operators on the Hilbert space of L2-sections in vector bundles, differs from various constructions due to A. Connes [1], A. Connes, H.Moscovici [2], M. Puschnigg [7], J. Cuntz [4]. In this paper we prove that the local Hochschild homology of the Banach algebra of Hilbert-Schmidt operators on any countable, locally finite homogeneous simplicial complex X is naturally isomorphic the Alexander-Spanier homology of the space X, Theorem 1. This result may be used to compute the local periodic cyclic homology of the algebra of Hilbert-Schmidt operators on such spaces X. The same result should hold in the case of the algebra of trace class operators L1 as well as in the case of smoothing operators s \subset L 1. In addition, the tools we introduce in this paper should apply also for computing the local Hochschild and periodic cyclic homology of the Schatten class ideals Lp, at least for the other values 1 < p < 2. Parts of what is presented here were stated in author's lecture at the International Alexandroff Reading Conference, Moscow, 21-25 May 2012.
△ Less
Submitted 11 June, 2012;
originally announced June 2012.
-
$Local^{3}$ Index Theorem
Authors:
Nicolae Teleman
Abstract:
$Local^{3}$ Index Theorem means $Local(Local(Local \;Index \; Theorem)))$.
$Local \; Index \; Theorem…
▽ More
$Local^{3}$ Index Theorem means $Local(Local(Local \;Index \; Theorem)))$.
$Local \; Index \; Theorem$ is the Connes-Moscovici local index theorem \cite{Connes-Moscovici1}, \cite{Connes-Moscovici2}. The second "Local" refers to the cyclic homology localised to a certain separable subring of the ground algebra, while the last one refers to Alexander-Spanier type cyclic homology.
The Connes-Moscovici work is based on the operator $R(A) = \mathbf{P} - \mathbf{e}$ associated to the elliptic pseudo-differential operator $A$ on the smooth manifold $M$, where $\mathbf{P}$, $\mathbf{e}$ are idempotents, see \cite{Connes-Moscovici1}, Pg. 353.
The operator $R(A)$ has two main merits: it is a smoothing operator and its distributional kernel is situated in an arbitrarily small neighbourhood of the diagonal in $M \times M$.
The operator $R(A)$ has also two setbacks: -i) it is not an idempotent (and therefore it does not have a genuine Connes-Chern character); -ii) even if it were an idempotent, its Connes-Chern character would belong to the cyclic homology of the algebra of smoothing operators (with \emph{arbitrary} supports, which is \emph{trivial}.
This paper presents a new solution to the difficulties raised by the two setbacks.
For which concerns -i), we show that although $R(A)$ is not an idempotent, it satisfies the identity $ (\mathbf{R}(A))^{2} \;=\; \mathbf{R}(A) - [\mathbf{R}(A) . e + e .\mathbf{R}(A) ]. $ We show that the operator $R(A)$ has a genuine Chern character provided the cyclic homology complex of the algebra of smoothing operators is \emph{localised} to the separable sub-algebra $Λ= \mathbb{C} + \mathbb{C} . e$, see Sect. 8.1.
For which concerns -ii), we introduce the notion of \emph{local} cyclic homology; this is constructed on the foot-steps of the Alexander-Spanier homology, i.e. by filtering the chains of the cyclic homology complex of the algebra of smoothing operators by their distributional support, see Sect. 7.
Using these new instruments, we give a reformulation of the Connes-Moscovici local Index Theorem, see Theorem 23, Sect. 9. As a corollary of this theorem, we show that the \emph{local} cyclic homology of the algebra of smoothing operators is at least as big as the Alexander-Spanier homology of the base manifold.
The present reformulation of Connes-Moscovici local index theorem opens the way to new investigations, see Sect. 10.
△ Less
Submitted 28 September, 2011;
originally announced September 2011.
-
Construction of Fredholm representations and a modification of the Higson-Roe corona
Authors:
Alexander S. Mishchenko,
Nicolae Teleman
Abstract:
The Fredholm representation theory is well adapted to construction of homotopy invariants of non simply connected manifolds on the base of generalized Hirzebruch formula. Earlier a natural family of the Fredholm representations was constructed that lead to a symmetric vector bundle on completion of the fundamental group with a modification of the Higson-Roe corona when the completion is a closed…
▽ More
The Fredholm representation theory is well adapted to construction of homotopy invariants of non simply connected manifolds on the base of generalized Hirzebruch formula. Earlier a natural family of the Fredholm representations was constructed that lead to a symmetric vector bundle on completion of the fundamental group with a modification of the Higson-Roe corona when the completion is a closed manifold. Here we will discuss a homology version of symmetry in the case when completion with a modification of the Higson-Roe corona is a manifold with boundary. The results were developed during the visit of the first author in Ancona on March, 2007. The second version is supplemented by details of consideration the case of manifolds with boundary.
△ Less
Submitted 16 February, 2008; v1 submitted 14 September, 2007;
originally announced September 2007.
