Local Algebraic K-Theory

الأصل · EN

In this article we address the first part of the programme presented in TelemanₐrXivᵢII, §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 TelemanₐrXivᵢII, §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 TelemanᵢHES, Telemanₐcta, Donaldsonₛullivan, Connesₛullivanₜeleman. In this article we introduce localised algebras (Definition 3) A and in §6 we define their local algebraic K-theory. A localised algebra A is an algebra in which a decreasing filtration by vector sub-spaces Aμ is introduced. The filtration Aμ induces a filtration on the space of matrices M(Aμ). Although we define solely Kloc(A) for = 0, 1, we expect our construction could be extended in higher degrees. We stress that our construction of Kloc₀(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₀ classes and allow a better filtration control). The group Kloc₀(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 ₛ, -2) local conjugation ₗ, and -3) projective limit with respect to the filtration. By definition, the K₁loc (A) is the projective limit of the local K₁(Aμ) groups. The group K₁(Aμ) is by definition the quotient of GL(Aμ) modulo the equivalence relation generated by: -1) stabilisation ₛ, --2) local conjugation ₗ and -3) ₒ₍ₐμ₎, where O(Aμ) is the sub-module generated by elements of the form u ⊕ u⁻¹, for any u ∈ GL(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 ₒ₍ₐμ₎ insures existence of opposite elements in K₁(Aμ) and K₁loc(A). Our definition of Kloc₁(A) does not use the commutator sub-group [GL(A), GL(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 Z[1/2]. We expect the factor ⊗Z[₁/₂] to have important consequences. Our work shows that the basic structure of K₁ resides in the additive sub-group generated by elements of the form u ⊕ u⁻¹, u ∈ GL(A), rather than in the multiplicativ commutator sub-group [GL(A), GL(A)]. Even into the case of trivially filtered algebras, Aμ = A, for all μ∈ N, the introduced group Kloc₁(A) should provide more information than the classical group K₁(A).