arxiv: v1 [math.kt] 10 Nov 2017

Transcription

1 A twisted Version of controlled K-Theory Elisa Hartmann November 13, 2017 arxiv: v1 [math.kt] 10 Nov 2017 Abstract This paper studies controlled operator K theory on coarse spaces in light of new studies in [2]. Contents 0 What is this Paper about 1 1 Cosheaves 2 2 Modified Roe-Algebra 3 3 Computing Examples 6 0 What is this Paper about Controlled operator K theory is one of the most popular homological invariants on coarse metric spaces. Meanwhile a new cohomological invariant on coarse spaces recently appeared in [2]. The paper [2] studies sheaf cohomology on coarse spaces. Note that cohomology theories that are derived functors are immensely more powerful than those that do not. In this paper we study the controlled K theory of a proper metric space X which is introduced in [3, Chapter 6.3]. Note that this theory does not appear as a derived functor as far as we know. The Theorem 12 shows if X is a proper metric space a modified version of the Roe-algebra C (X) is a cosheaf on X. This result gives rise to new computational tools one of which is a new Mayer-Vietoris six-term exact sequence which is Corollary 13. Note that in a general setting cosheaves with values in Ab do not give rise to a derived functor. In [1] is explained that the dual version of sheafification, cosheafification, does not work in general. The outline of this paper is as follows: The Chapter 1 introduces cosheaves on coarse spaces. The main part of the study is in Chapter 2 Chapter 3 computes examples. 1

2 1 COSHEAVES Elisa Hartmann 1 Cosheaves We recall [2, Definition 45]: Definition 1. (coarse cover) If X is a coarse space U X a subset a finite family of subsets U 1,..., U n U is said to coarsely cover U if U 2 ( i U 2 i )c is a coentourage in X. Coarse covers on X determine a Grothendieck topology X ct on X. Definition 2. (precosheaf) A precosheaf on X ct with values in a category C is a covariant functor Cat(X ct ) C. Definition 3. (cosheaf) Let C be a category with finite limits colimits. A precosheaf F on X ct with values in C is a cosheaf on X ct with values in C if for every coarse cover U i U} i there is a coequalizer diagram: F(U i U j ) F(U i ) F(U) i ij Here the two arrows on the left side relate to the following 2 diagrams: i,j F(U i U j ) i F(U i) F(U i U j ) i,j F(U i U j ) F(U i ) i F(U j) F(U i U j ) where denotes the coproduct over the index set. Notation 4. If we write i a i i F(U i) then a i is supposed to be in F(U i ) F(U j ) ij b ij ij F(U i U j ) then b ij is supposed to be in F(U i U j ) Proposition 5. If F is a precosheaf on X ct with values in a category C with finite limits colimits for every coarse cover U i U} i 1. every a F(U) there is some i a i i F(U i) such that i a i U = a 2. for every i a i i F(U i) such that i a i U = 0 there is some ij b ij ij F(U i U j ) such that ( j b ij b ji ) Ui = a i for every i. then F is a cosheaf. Proof. easy. Remark 6. Denote by CStar the category of C -algebras. According to [4] all finite limits finite colimits exist in CStar. 2

3 2 MODIFIED ROE-ALGEBRA Elisa Hartmann 2 Modified Roe-Algebra Lemma 7. If X is a proper metric space Y X is a closed subspace then Proof. the subset I(Y ) = f : f Y = 0} is an ideal of C 0 (X) we have C 0 (Y ) = C 0 (X)/I(Y ) we can restrict the non-degenerate representation ρ X : C 0 (X) B(H X ) to a representation in a natural way. ρ Y : C 0 (Y ) B(H Y ) the inclusion i Y : H Y H X covers the inclusion i : Y X. if the representation ρ X : C 0 (X) B(H X ) is ample then the representation ρ Y : C 0 (Y ) B(H Y ) is ample. This one follows by Gelf duality. We define H I(Y ) = ρ X (I(Y ))H X. Then H X = H I(Y ) H I(Y ) is the direct sum of reducing subspaces for ρ X (C 0 (X)). We define a representation of C 0 (Y ) on H Y by H Y = H I(Y ) ρ Y ([a]) = ρ X (a) HY for every [a] C 0 (Y ). Note that ρ X ( ) HY annihilates I(Y ) so this is well defined. Note that the support of i Y is supp(i Y ) = Y X Y We recall a representation ρ X : C 0 (X) B(H X ) is ample if it is non-degenerate for every f C 0 (X) with f 0 the operator ρ X (f) is not compact. If f C 0 (Y ) is such that ρ Y (f) : H Y H Y is a compact operator i Y : H Y H Y covers the inclusion Y X then i Y ρ Y (f) i Y = ρ X(f) is a compact operator. Thus f as an element in C 0 (X) acts compactly on B(H X ). Lemma 8. If X is a proper metric space, B X a compact subset T C (X) an operator with supp T B 2 then T is a compact operator. 3

4 2 MODIFIED ROE-ALGEBRA Elisa Hartmann Proof. Suppose there is a non-degenerate representation ρ : C 0 (X) B(H X ). For every f C 0 (B c ), g C 0 (X) the equations ρ(f)t ρ(g) = 0 ρ(g)t ρ(f) = 0 hold. This implies T (I(B)) = 0 im T I(B) = 0. Thus T : H B H B is the same map. Thus T C (B) already. Now T is locally compact, B is compact thus T is a compact operator. Definition 9. (modified Roe-algebra) Let X be a proper metric space then Ĉ (X) = C (X)/K(H X ) where K(H X ) denotes the compact operators of B(H X ) is called the modified Roe-algebra of X. Remark 10. If U X is a subset of a proper metric space then U is coarsely dense in Ū. We define Ĉ (U) := Ĉ (Ū) Note that makes sense because if U 1, U 2 is a coarse cover of U then Ū1, Ū2 is a coarse cover of Ū also. Lemma 11. If Y X is a closed subspace i Y : H Y H X the inclusion operator of Lemma 7 then the operator Ad(i Y ) : C (Y ) C (X) T i Y T i Y is well defined maps compact operators to compact operators. Then the induced operator on quotients is the dual version of a restriction map. ˆ Ad(i Y ) : Ĉ (Y ) Ĉ (X) Proof. i Y covers the inclusion the other statement is obvious. easy. Theorem 12. If X is a proper metric space then the assignment U Ĉ (U) for every subspace U X is a cosheaf with values in CStar. Proof. Let U 1, U 2 U be subsets that coarsely cover U X V 1 : H U1 H U V 2 : H U2 H U the corresponding inclusion operators. 4

5 2 MODIFIED ROE-ALGEBRA Elisa Hartmann 1. Let T C (U) be a locally compact controlled operator. We need to construct T 1 C (U 1 ), T 2 C (U 2 ) such that modulo compacts. Denote by the support of T in U. Define V 1 T 1 V 1 + V 2T 2 V 2 = T E = supp(t ) T 1 := V 1 T V 1 T 2 := V 2 T V 2 then it is easy to check that T 1, T 2 are locally compact controlled operators, thus elements in C (U 1 ), C (U 2 ). Now supp(v 1 T 1 V1 ) = U1 2 E supp(v 2 T 2 V2 ) = U2 2 E. Thus supp(v 1 T 1 V 1 + V 2 T 2 V 2 T ) = E (U 2 1 U 2 2 ) c where B is bounded. This implies T 1 U + T 2 U = T. B 2 2. Suppose there are T 1 C (U 1 ), T 2 C (U 2 ) such that V 1 T 1 V 1 + V 2T 2 V 2 = 0 modulo compacts. That implies that supp(v 1 T 1 V1 ) (U 1 U 2 ) 2 modulo bounded sets supp(v 2 T 2 V2 ) (U 1 U 2 ) 2 modulo bounded sets. Also V 1 T 1 V1 = V 2T 2 V2 modulo compacts. Denote by V12 i : H U 1 U 2 H Ui the inclusion for i = 1, 2. Define Then Then V 1 V 1 12 = V 2 V 2 12 implies modulo compacts. T 12 = V 12T 1 V 12 V12T 1 12 V12 1 = V12V T 1 V12V = T 1 V 2 12T 12 V 2 12 = V 2 V 2 V 2 12T 12 V 2 12 V 2 V 2 = V2 V 1 V12T 1 12 V12 1 V1 V 2 = V2 V 1T 1 V1 V 2 = T 2 5

6 3 COMPUTING EXAMPLES Elisa Hartmann 3 Computing Examples Corollary 13. If U 1, U 2 coarsely cover a subset U of a proper metric space X then there is a six-term Mayer-Vietoris exact sequence K 1 (Ĉ (U 1 U 2 )) K 1 (Ĉ (U 1 )) K 1 (Ĉ (U 2 )) K 1 (Ĉ (U)) K 0 (Ĉ (U)) K 0 (Ĉ (U 1 )) K 0 (Ĉ (U 2 )) K 0 (Ĉ (U 1 U 2 )) Proof. By Theorem 12 there is a pullback diagram of C algebras -homomorphisms Ĉ (U 1 U 2 ) Ĉ (U 2 ) Ĉ (U 1 ) Ĉ (U) The result is an application of [3, Exercise ]. Remark 14. Now for every proper metric space there is a short exact sequence 0 K(H X ) C (X) Ĉ (X) 0 which induces a 6-term sequence in K-theoy: K 0 (K(H X )) K 0 (C (X)) K 0 (Ĉ (X)) K 1 (Ĉ (X)) K 1 (C (X)) K 1 (K(H X )) If X is flasque then K i (Ĉ (X)) = 0 i = 0 Z i = 1 Example 15. (Z) Now Z is the coarse disjoint union of two copies of Z + which is a flasque space. By Corollary 13 there is an isomorphism 0 i = 0 K i (Ĉ (Z)) = Z Z i = 1 Then it is a result of Remark 14 that there is an isomorphism K i (C 0 i = 0 (Z)) = Z i = 1 no surprise. 6

7 REFERENCES Elisa Hartmann Example 16. (Z 2 ) We coarsely cover Z 2 with then again V 1 is coarsely covered by V 1 = Z + Z Z Z + V 2 = Z Z Z Z. U 1 = Z + Z U 2 = Z Z + V 2 is coarsely covered in a similar fashion. We first compute modified controlled K-theory of V 1 then of Z 2. Note that the inclusion U 1 U 2 U 1 is split by Thus using Corollary 13 we conclude that r : Z + Z Z 2 + (x, y) (x, y ) K i (Ĉ (V j )) = 0 i = 0 Z i = 1 for j = 1, 2. Then again using Corollary 13 that the inclusion Z 2 + V i is split we can compute K i (Ĉ (Z 2 0 i = 0 )) = 0 i = 1 Translating back we get that This one also fits previous computations. References K i (C (Z 2 )) = Z i = 0 0 i = 1 [1] Justin Michael Curry. Sheaves, cosheaves applications. ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.) University of Pennsylvania. [2] E. Hartmann. Coarse Cohomology with twisted Coefficients. ArXiv e-prints, September [3] Nigel Higson John Roe. Analytic K-homology. Oxford Mathematical Monographs. Oxford University Press, Oxford, Oxford Science Publications. [4] Gert K. Pedersen. Pullback pushout constructions in C -algebra theory. J. Funct. Anal., 167(2): ,