arxiv: v1 [math.kt] 10 Nov 2017
|
|
- Bruno Wilkerson
- 5 years ago
- Views:
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): ,
Nonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationLecture 9: Sheaves. February 11, 2018
Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with
More informationSOME OPERATIONS ON SHEAVES
SOME OPERATIONS ON SHEAVES R. VIRK Contents 1. Pushforward 1 2. Pullback 3 3. The adjunction (f 1, f ) 4 4. Support of a sheaf 5 5. Extension by zero 5 6. The adjunction (j!, j ) 6 7. Sections with support
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
More informationSheaves. S. Encinas. January 22, 2005 U V. F(U) F(V ) s s V. = s j Ui Uj there exists a unique section s F(U) such that s Ui = s i.
Sheaves. S. Encinas January 22, 2005 Definition 1. Let X be a topological space. A presheaf over X is a functor F : Op(X) op Sets, such that F( ) = { }. Where Sets is the category of sets, { } denotes
More informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationTwo-sided multiplications and phantom line bundles
Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationMODULI TOPOLOGY. 1. Grothendieck Topology
MODULI TOPOLOG Abstract. Notes from a seminar based on the section 3 of the paper: Picard groups of moduli problems (by Mumford). 1. Grothendieck Topology We can define a topology on any set S provided
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationarxiv: v1 [math.kt] 31 Mar 2011
A NOTE ON KASPAROV PRODUCTS arxiv:1103.6244v1 [math.kt] 31 Mar 2011 MARTIN GRENSING November 14, 2018 Combining Kasparov s theorem of Voiculesu and Cuntz s description of KK-theory in terms of quasihomomorphisms,
More informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More informationHigher index theory for certain expanders and Gromov monster groups II
Higher index theory for certain expanders and Gromov monster groups II Rufus Willett and Guoliang Yu Abstract In this paper, the second of a series of two, we continue the study of higher index theory
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationDeligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities
Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities B.F Jones April 13, 2005 Abstract Following the survey article by Griffiths and Schmid, I ll talk about
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationTopological groups with dense compactly generated subgroups
Applied General Topology c Universidad Politécnica de Valencia Volume 3, No. 1, 2002 pp. 85 89 Topological groups with dense compactly generated subgroups Hiroshi Fujita and Dmitri Shakhmatov Abstract.
More informationExercises on chapter 0
Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5 RAVI VAKIL CONTENTS 1. The inverse image sheaf 1 2. Recovering sheaves from a sheaf on a base 3 3. Toward schemes 5 4. The underlying set of affine schemes 6 Last
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationDe-Rham theorem and Shapiro lemma for Schwartz functions on Nash manifolds
De-Rham theorem and Shapiro lemma for Schwartz functions on Nash manifolds Avraham Aizenbud and Dmitry Gourevitch Abstract In this paper we continue our work on Schwartz functions and generalized Schwartz
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves 1 2. Quasicoherent sheaves form an abelian category 5 We began by recalling the distinguished affine base. Definition.
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationSheaves, Co-Sheaves, and Verdier Duality
Sheaves, Co-Sheaves, and Verdier Duality Justin M. Curry March 16, 2012 Abstract This note demonstrates that the derived category of cellular sheaves is covariantly equivalent to the derived category of
More informationDerived categories, perverse sheaves and intermediate extension functor
Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1
More informationFinite propagation operators which are Fredholm
Finite propagation operators which are Fredholm Vladimir Rabinovich IPN, Mexico Steffen Roch Darmstadt John Roe Penn State September 20, 2003 The translation algebra Let X be a metric space. We will assume
More informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationarxiv: v1 [math.oa] 22 Jan 2018
SIMPLE EQUIVARIANT C -ALGEBRAS WHOSE FULL AND REDUCED CROSSED PRODUCTS COINCIDE YUHEI SUZUKI arxiv:1801.06949v1 [math.oa] 22 Jan 2018 Abstract. For any second countable locally compact group G, we construct
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationOn the Baum-Connes conjecture for Gromov monster groups
On the Baum-Connes conjecture for Gromov monster groups Martin Finn-Sell Fakultät für Mathematik, Oskar-Morgenstern-Platz 1, 1090 Wien martin.finn-sell@univie.ac.at June 2015 Abstract We present a geometric
More informationA duality on simplicial complexes
A duality on simplicial complexes Michael Barr 18.03.2002 Dedicated to Hvedri Inassaridze on the occasion of his 70th birthday Abstract We describe a duality theory for finite simplicial complexes that
More informationEtale cohomology of fields by Johan M. Commelin, December 5, 2013
Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in
More informationEXPANDERS, EXACT CROSSED PRODUCTS, AND THE BAUM-CONNES CONJECTURE. 1. Introduction
EXPANDERS, EXACT CROSSED PRODUCTS, AND THE BAUM-CONNES CONJECTURE PAUL BAUM, ERIK GUENTNER, AND RUFUS WILLETT Abstract. We reformulate the Baum-Connes conjecture with coefficients by introducing a new
More informationCategory Theory (UMV/TK/07)
P. J. Šafárik University, Faculty of Science, Košice Project 2005/NP1-051 11230100466 Basic information Extent: 2 hrs lecture/1 hrs seminar per week. Assessment: Written tests during the semester, written
More informationSection Higher Direct Images of Sheaves
Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
More informationLECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES
LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain
More informationSheaves of C*-Algebras
Banach Algebras 2009 at Bedlewo, 16 July 2009 Dedicated to the memory of John Dauns, 24 June 1937 4 June 2009 joint work in progress with Pere Ara (Barcelona) based on P. Ara and M. Mathieu, Local multipliers
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More information132 C. L. Schochet with exact rows in some abelian category. 2 asserts that there is a morphism :Ker( )! Cok( ) The Snake Lemma (cf. [Mac, page5]) whi
New York Journal of Mathematics New York J. Math. 5 (1999) 131{137. The Topological Snake Lemma and Corona Algebras C. L. Schochet Abstract. We establish versions of the Snake Lemma from homological algebra
More informationSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Equivariant Sheaves on Topological Categories av Johan Lindberg 2015 - No 7 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET,
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationModules over a Scheme
Modules over a Scheme Daniel Murfet October 5, 2006 In these notes we collect various facts about quasi-coherent sheaves on a scheme. Nearly all of the material is trivial or can be found in [Gro60]. These
More informationElliptic curves, Néron models, and duality
Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over
More informationReview of category theory
Review of category theory Proseminar on stable homotopy theory, University of Pittsburgh Friday 17 th January 2014 Friday 24 th January 2014 Clive Newstead Abstract This talk will be a review of the fundamentals
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationThe projectivity of C -algebras and the topology of their spectra
The projectivity of C -algebras and the topology of their spectra Zinaida Lykova Newcastle University, UK Waterloo 2011 Typeset by FoilTEX 1 The Lifting Problem Let A be a Banach algebra and let A-mod
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationGroupoids and Orbifold Cohomology, Part 2
Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:
More informationarxiv: v1 [math.ct] 28 Oct 2017
BARELY LOCALLY PRESENTABLE CATEGORIES arxiv:1710.10476v1 [math.ct] 28 Oct 2017 L. POSITSELSKI AND J. ROSICKÝ Abstract. We introduce a new class of categories generalizing locally presentable ones. The
More informationCOUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999
COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE Nigel Higson Unpublished Note, 1999 1. Introduction Let X be a discrete, bounded geometry metric space. 1 Associated to X is a C -algebra C (X) which
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationA Grothendieck site is a small category C equipped with a Grothendieck topology T. A Grothendieck topology T consists of a collection of subfunctors
Contents 5 Grothendieck topologies 1 6 Exactness properties 10 7 Geometric morphisms 17 8 Points and Boolean localization 22 5 Grothendieck topologies A Grothendieck site is a small category C equipped
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationON AXIOMATIC HOMOLOGY THEORY
ON AXIOMATIC HOMOLOGY THEORY J. MlLNOR A homology theory will be called additive if the homology group of any topological sum of spaces is equal to the direct sum of the homology groups of the individual
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationAlgebraic Geometry I Lectures 14 and 15
Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationWeil-étale Cohomology
Weil-étale Cohomology Igor Minevich March 13, 2012 Abstract We will be talking about a subject, almost no part of which is yet completely defined. I will introduce the Weil group, Grothendieck topologies
More informationarxiv: v1 [math.at] 1 Oct 2018
Z k -Stratifolds arxiv:1810.00531v1 [math.at] 1 Oct 2018 Andrés Ángel ja.angel908@uniandes.edu.co Carlos Segovia csegovia@matem.unam.mx October 2, 2018 Abstract Arley Fernando Torres af.torres82@uniandes.edu.co
More informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 214 (2010) 1384 1398 Contents lists available at ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa Homotopy theory of
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationEtale homotopy theory (after Artin-Mazur, Friedlander et al.)
Etale homotopy theory (after Artin-Mazur, Friedlander et al.) Heidelberg March 18-20, 2014 Gereon Quick Lecture 2: Construction March 19, 2014 Towards the idea: Let X be a scheme of finite type over a
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationTHE COARSE BAUM-CONNES CONJECTURE AND CONTROLLED OPERATOR K-THEORY. Dapeng Zhou. Dissertation. Submitted to the Faculty of the
THE COARSE BAUM-CONNES CONJECTURE AND CONTROLLED OPERATOR K-THEORY By Dapeng Zhou Dissertation Submitted to the Faculty of the Graduate School of Vanderbilt University in partial fulfillment of the requirements
More informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
More informationπ X : X Y X and π Y : X Y Y
Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.
More informationExtensions of motives and higher Chow groups
Extensions of motives and higher Chow groups A. J. Scholl Introduction This note has two purposes: the first is to give a somewhat different description of the higher cycle class map defined by Bloch [3]
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationAn introduction to calculus of functors
An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about
More informationarxiv: v1 [math.at] 2 Sep 2017
arxiv:1709.00569v1 [math.at] 2 Sep 2017 An elementary proof of Poincare Duality with local coefficients 1 Introduction Fang Sun September 5, 2017 The statement and proof of the Poincare Duality for (possibly
More informationAlgebraic varieties. Chapter A ne varieties
Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationGALOIS CATEGORIES MELISSA LYNN
GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
More informationAlgebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität
1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More information