Z 2 -graded Čech Cohomology in Noncommutative Geometry
|
|
- Cecil Haynes
- 5 years ago
- Views:
Transcription
1 arxiv:math/ v2 [mathkt] 24 Sep 2004 Z 2 -graded Čech Cohomology in Noncommutative Geometry Do Ngoc Diep July 19, 2018 Astract TheZ 2 -graded Čech cohomology theory is considered intheframework of noncommutative geometry over complex numer field and in particular the homotopy invariance and Morita invariance are proven In some special case we deduce an isomorphism etween this noncommutative theory and the classical Z 2 -graded Čech cohomology theory Keywords: Čech cohomology of a sheaf, cyclic theory Mathematics Suject Classification 2000: 14F20, 19K35, 46L80, 46M20 1 Introduction Let us fix in this paper the field of complex numers as the ground field for algeras, modules, etc The general Čech cohomology presheaf Ȟq for an aritrary presheaf X on a category C, Ȟ q (X,G) = Ȟq (G)(X) was introduced in [SGA42] TheideaofČechcohomologyfornoncommutativegeometrywasappeared in [KR], [R] In this paper we use this idea to define the corresponding (periodic) Z 2 -graded Čech theory We prove the homotopy invariance and Morita invariance of Čech cohomology in the framework of noncommutative geometry Our main result is The work was supported in part y Vietnam National Project of Research in Fundamental Sciences and The Adus Salam ICTP, NESCO 1
2 Do Ngoc Diep 2 ased on a detailed analysis of the structure of C*-algeras A crucial oservation is the fact that for C*-algeras the category of *-representations defines exactly the C*-algera itself, y the well-known Gelfand-Naimark- Segal Theorem From this we can deduce the Morita invariance and homotopy invariance of the Čech cohomology, the same properties of periodic cyclic homology of the C*-algera Since our result is valid not only for C*- algeras, we work in the general context of a noncommutative algera over complex numers The paper is organized as follows Taking the Čech cohomology in place of the de Rham theory in the periodic cyclic theory of A Connes, in 2 we define the Z 2 -graded Čech cohomology theory Then in section 3 we prove two important properties of the theory as the homotopy invariance and Morita invariance In the last section 4 we deduce also some kind of Connes- Hochschild-Kostant-Rosenerg theorem This lets us see a clear relation with the classical case of commutative algeras and ordinary Čech cohomology theory Notations: We follow the notations from [SGA42] and [O] 2 Z 2 -graded Čech cohomology 21 Grothendieck topos The main purpose of this section is to formulate and define the functor of (periodiccyclic) Z 2 -gradedčechcohomology Thewell-known periodiccyclic homology is ased on the cyclic homology theory of A Connes, which is an algeraic framework of the Z 2 -graded de Rham cohomology theories In the algeraic context, it was defined y J Cuntz and D Quillen in terms of X-complexes and it has ecome a new chapter of noncommutative algeraic geometry The most general Gronthendieck algeraic geometry is purely asedintermsofcategories Inthegenericcasethisturnsouttothealgeraic version of the Čech cohomology in place of de Rham cohomology theories We follows the work of Orlov [O] in particular to formulate the theory The main references are [SGA42] and [O] Many of our results could e otained in the fields of other characteristics, ut we restrict ourselves to the complex case Let us denote y C a fixed category and Set the category of sets Any contravariant functor X from C to Set is called a presheaf of sets and the
3 Do Ngoc Diep 3 category of all presheaves of sets on C is denoted y Ĉ The category C can e considered as a sucategory of Ĉ, consisting of representale functors h = h R : C Set If R is an oject of C, then there is a natural isomorphism HomĈ(h R,X) = X(R) For any oject X Ĉ the category over X is the category of pairs (R,Φ), where R is an oject of C and Φ X(R), and is denoted y C/X Recall that a sieve in the category C is a full sucategory D C such that any oject of C for which there exists a morphism from it to some oject in D is contained in Oj(D) A sieve on R is nothing more than a supresheaf of R in the category Ĉ A Grothendieck topology T on a category C is defined y giving for each oject R in C a set J(R) of the so called covering sieves satisfying the following axioms: (T1) For any oject R the maximal sieve C/R is in J(R) (T2) If T J(R) and f : S R a morphism in C, then the induced sieve f (T) := { α S fα T} is in J(S) (T3) If T J(R) is a covering sieve and is a sieve on R such that f () J(S) for all f : S R in T, then J(R) AGrothendiecksiteΦ = (C,T )isacategoryc andequippedwithagrothendieck topology T It is reasonale to remind the Jacoson topology on the set of all representations of a group or Zariski topology on algeraic varieties For the categories with fier product, a Grothendieck topology can e given y a Grothendieck pretopology which is defined y giving for each oject R in C a family Cov(R) of morphism to R such that (P1) For any family {R α R} α I in Cov(R) and S R a morphism of C, the fier product family R α R S S is also in Cov(R) (P2) If {R α R} α R is in Cov(R) and {R βα R α } βα J α is in Cov(R α ) for each α I, then the total family {R γ R} γ α I Jα is in Cov(R) (P3) The trivial family {id R : R R} is in Cov(R)
4 Do Ngoc Diep 4 Any Grothendieck pretopology P on C generates a Grothendieck topology T such that a sieve is covering in T if and only if it contains some covering family in P The topos on the category of functors from a category C to another one D is defined y the usual rule 22 The standard cosimplicial complex of a continuous functor We define in this susection the Z 2 -graded Čech cohomology theory Let us recall the definition of the Čech cohomology with coefficients in a sheaf M Let = ( i X) i I e a covering sieve of X in the category C Suppose that the cover has the property that all fier product and pushout diagrams exist, see ([SGA42], Exp 4) Denote A the associated standard simplicial complex: A : (i,j,k) I 3 A( i j k ) (i,j) I 2 A( i j ) i I A( i) Let us consider again a ringed cite (category) (C,A), Ĉ the topos of presheaves on C, ε : C Ĉ the canonical functor associating to each oject X C the functor h X, presented y X Define H q (h X,M) = H q (X,M), see ([SGA42], Exp IV, 231), as derived functor of the projective limit functor : H q (S,M) := R q lim M S C/S For any A-module M, denote C (,M) := Hom A (A,M) : C (,M) : i I M( i) (i,j) I 2 M( i j ) One defines H q (,M) := H q (C (,M)) If R is a covering sieve generalized y the family then H q (,M) = H q (R,M) and the functor H q (,) commutes with restriction of scalars, see ([SGA42], Exp IV, Proposition 234)
5 Do Ngoc Diep 5 One defines, ([SGA42], Exp IV, 24) H 0 (M)(X) := H 0 (X,M) = M(X), H q (M)(X) := H q (M,M) For an aritrary presheaf G of A-module G, the groups H q (R,G) are called the Čech cohomology with respect to the covering sieve R, with coefficients in G For a sheaf M of A-modules over C, the group H q (,M) := H q (,H 0 (M)) is defined as the Čech cohomology group of the sheaf M with respect to he the cover One has also Ȟ 0 (G)(X) = lim G(R) R X and therefore H q (G)(X) = lim H q (R,G) R X which is called the presheaf of Čech cohomology Define Ȟ q (X,G) := Ȟq (G)(X), one has also Ȟ q (X,G) = lim H q (,G) For a sheaf M of A-modules, one has Ȟ q (X,M) = Ȟq (X,H 0 (M)), Ȟ q (M) = Ȟq (Ȟ0 (M)) The groups Ȟq (X,M) are called the Čech cohomology groups of the sheaf M 23 The periodic cyclic icomplex Lemma 21 (The action of Z k+1 ) There is a natural action of the cyclic group Z k+1 on the Čech cohomology cochain complex C (,M) associated with a covering
6 Do Ngoc Diep 6 Proof The action of the cyclic group Z k+1 is defined a cyclic permutation of indices of s, ie (λm)( i0 ik ) := M( ik i0 ik 1 ) It is not hard also to see that for a covering sieve = { α X} there is a natural isomorphism M( i0 ik ) = M( i0 ) M( ik ) Therefore the Čech cohomology complex ecomes the cyclic complex for lim M() Corollary 22 (Hochschild differentials and Cyclic operations) The wellknown Hochschild differentials and and Connes cyclic operators λ, N = 1+λ++λ k, s are well-defined on Z 2 -graded Čech cocycles Definition 23 (Periodic icomplex) Let(C,A) earinged-cite, Ĉ the topos of sheaves, M a sheaf of A-modules Then the icomplex (i 1,i 2,i 3 ) I 3 N M( i1 i2 i3 ) (i 1,i 2,i 3 ) I 3 M( i1 i2 i3 ) (i,j) I 2 M( i j ) i I M( i) N N (i,j) I 2 M( i j ) i I M( i) is well-defined and is called the (periodic) Čech icomplex Definition 24 (The total complex and Z 2 -graded The associated total complex of which is defined as TotC(,M) ± := C i,j, i+j=±(mod 2) Čech cohomology)
7 Do Ngoc Diep 7 where C i,j := (i 1,,i k ) I M( k i1 ik ) and ± = ev (even) or od (odd) The cohomology of this total complex is called the Z 2 -graded Čech cohomologyof M anddenotedyz 2 Ȟ (,M)andZ 2 Ȟ(X,M) := lim Z2Ȟ(,M) It can e also realized as the cohomology of the total complex related with the process of passing through direct limits, ie the direct limit i-complex (i 1,i 2,i 3 ) I 3 N lim M( i1 i2 i3 ) (i 1,i 2,i 3 ) I 3 lim M( i1 i2 i3 ) lim (i,j) I 2 M( i j ) lim i I M( i) N N lim (i,j) I 2 M( i j ) lim i I M( i) For a C*-algera A, we define it Z 2 -graded Čech cohomology Z2Ȟ(A) = Z 2 Ȟ(A)astheZ 2 -gradedčechcohomologyofthecategoryof*-representations of A Remark 25 In the first periodic i-complex without direct limits, all the horizontal lines are acylic, ut it is in general not the case for the second periodic i-complex with direct limits 3 Homotopy invariance and Morita invariance We prove in this section two main properties of the (periodic cyclic) Z 2 - graded Čech cohomology theory: homotopy invariance and Morita invariance, which make the theory easier to compute and eing a generalized homology theory Definition 31 (Chain Homotopy of functors) Let us consider two functors F,G : C D Denote the corresponding chain functors etween complexes y {F n },{G n }, where F n,g n : C n D n for complexes 0 C 0 C 1 C 2 F 0,G 0 F 1,G 1 F 2,G 2 0 D 0 D 1 D 2
8 Do Ngoc Diep 8 We say that F and G are chain homotopic if there exist augmentation functors s n : C n D n 1 such that for all n F n G n = s n n 1 + n s n+1 Lemma 32 Two functors F,G : A B are homotopic if and only if for any covering sieve = ( i X) i I, there exists a chain homotopy of chain complexes and i I i I A( i ) B( i ) i,j I I i,j I I A( i X j ) B( i X j ) Remark 33 In the case of smooth manifolds the chain complex homotopy is realized y integration of the so called Cartan homotopy formula for the Lie derivative L ξ = ı(ξ) d+d ı(ξ) etween de Rham complexes Lemma 34 Let A and B e C*-algeras, and let A (resp B) e the category of -modules Then the categories A and B are homotopic one-to-another if and only if the two algeras A and B are homotopic Proof Because of the Gelfand-Naimark-Segal theorem, the C*-algeras are exactly defined y the category of *-representations, the category of *- representations of B C[0, 1] is isomorphic to the category of*-representations of B Lemma 35 Let A e a C*-algera and A the category of *-representations (ie A-modules) of A, then Z 2 Ȟ (A) = HP (A) Proof Let us consider affine covering sieve i X = dual oject of A Â = SpecA, the
9 Do Ngoc Diep 9 Theorem 36 (Homotopy Invariance) Let ϕ t : A B,t I = [0,1] e a homotopy of algeras, then Z 2 Ȟ (A) = Z 2 Ȟ (B) Proof Let A(resp B) e the category of A-modules(resp, B-modules) Step 1 Change the homotopy y a piecewise-linear homotopy in the space of functors from the category A to the category B Step 2 A piecewise-linear homotopy gives rise to a chain complex homotopy Step 3 Two chain complex homotopical functors induces the same isomorphism of Čech cohomology groups It is an easy consequence from the results of homological algera: If F n and G n are chain complex homotopic than the induced morphisms satisfies F n G n = n 1 s n +s n+1 n The second summand is a zero morphism on cohomology and the first summand is a oundary The sum on the right is therefore a zero morphism Lemma 37 Let us denote y Mat n (C) the algera of all square n n- matrices with complex entries Then we have a natural isomorphism Z 2 Ȟ (Mat n (C)) = Z 2 Ȟ (C) Proof Every complex matrix can e homotopic to a unitary one Then, every unitary matrix can e y conjugation reduced to a diagonal matrix of complex numers of module 1 Every elementary lock(in this case, diagonal element)[e iθ ] is homotopic to identity [1] y the classical homotopy [e iθt ] 0 t 1, ie [ cosθ sinθ sinθ cosθ ] I = [ Lemma 38 (Adjoint functors) There is a natural equivalence of functors Hom and : ] Hom(R Mn(C),M) = Hom(R,Hom(Mn(C),M))
10 Do Ngoc Diep 10 Proof This isomorphism of functors is a particular case of the general adjointness etween Hom and in homological algera Lemma 39 There is a natural isomorphism of derived functors R q Hom(Mn(C),M) = R q Hom(C,M) Proof It is an easy exercise from homological algera Theorem 310 (Morita Invariance) Z 2 Ȟ (A Mat n (C)) = Z 2 Ȟ (A) Proof Let us remark that A A Mat n (C) is a fier undle Now apply the Grothendieck s Leray-Serre spectral sequence for this firation Following the previous lemmas 38 and 39, there is a natural isomorphism of functors R p Hom(R Mn(C),R q (M) = R p Hom(R,R q Hom(Mn(C),M)), which are the E 2 term of a Leray-Serre spectral sequence converging to the Čech cohomology Corollary 311 The Z 2 -graded Čech cohomology theory is a generalized cohomology theory Čech coho- 4 Comparison with the classical mology theory In this section we show that a generalization of the Connes-Hochschild- Kostant-Rosenerg Theorem can e otained easily Theorem 41 Let A e a stale continuous C*-algera with spectrum a smooth compact manifold X, in fact A = C(X,K(P)) is the algera of continuous sections of a smooth, locally trivial undle K(P) := P P K on X with fire the algera K of compact operators on a separale Hilert space associated to a principal P undle P on X via the adjoint action of P on K Let δ(p) H 3 (X;Z) e the Dixmier-Douady invariant, that classifies such algeras A and c(p) some closed 3-form on X, that presents the class 2πiδ(P) in the real cohomology Let A e the category of all *-representations of the C*-algera AThen the Z 2 -graded Čech cohomology Z 2Ȟ (A) is isomorphic to the de Rham cohomology H (X;c(P)) which is isomorphic to the classical Z 2 -graded Čech cohomology Z 2Ȟ (X;c(P))
11 Do Ngoc Diep 11 Proof In this situation, the Z 2 -graded Čech cohomology of the category A is isomorphic to the Connes periodic cyclic homology HP (C (X,L 1 (P))), where C (X,L 1 (P)) is consisting of all smooth section of the su-undle L 1 (P) = P P L 1 of K(P) with fire the algera L 1 of trace class operators on the Hilert space with the same structure groups P, see [MS] for a more detailed proof in the language of periodic cyclic homology Acknowledgments The main part of this work was done while the author was visiting The Adus Salam ICTP in Trieste, Italy The author is grateful to ICTP and in particular would like to express his sincere thanks to Professor Dr Le Dung Trang for invitation and support References [KR] A Rosenerg and M Kontsevich Noncommutative smooth spaces, The Gelfand mathematical Seminar, , [MS] V Mathai and D Stevenson, On a generalized Connes- Hochschild-Kostant-Rosenerg theorem, arxiv: mathkt/ v1, 19 April 2004 [O] D Orlov, Quasicoherent sheaves in commutative and noncommutative geometry, MPI Preprint, 1999 [R] A L Rosenerg, Noncommutative schemes, Compositio Math 112(1998), [SGA42] M Artin, A Grothendieck, and J L Verdier, Théorie des topos et cohomologie des schémas, SGA 4, tome 2, Springer Lecture notes in Mathematics, No 270, 1972 Institute of Mathematics, Vietnam Academy of Science and Technology, 18 Hoang Quoc Viet Road, Cau Giay District, Hanoi, Vietnam dndiep@mathacvn
On the Twisted KK-Theory and Positive Scalar Curvature Problem
International Journal of Advances in Mathematics Volume 2017, Number 3, Pages 9-15, 2017 eissn 2456-6098 c adv-math.com On the Twisted KK-Theory and Positive Scalar Curvature Problem Do Ngoc Diep Institute
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 informationCYCLIC GAMMA HOMOLOGY AND GAMMA HOMOLOGY FOR ASSOCIATIVE ALGEBRAS
Georgian Mathematical Journal Volume 16 (2009), Numer 1, 1 CYCLIC GAMMA HOMOLOGY AND GAMMA HOMOLOGY FOR ASSOCIATIVE ALGERAS IRGIT RICHTER For Mamuka Jiladze on the occasion of his 50th irthday Astract.
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
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 informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
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 informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
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 informationA classification of equivariant gerbe connections
A classification of equivariant gerbe connections Byungdo Park (KIAS) joint work with Corbett Redden (LIU Post) Topology in Australia and South Korea IBS Center for Geometry and Physics 24.04.2018 Outline
More informationRELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY
RELATIVE GROUP COHOMOLOGY AND THE ORBIT CATEGORY SEMRA PAMUK AND ERGÜN YALÇIN Abstract. Let G be a finite group and F be a family of subgroups of G closed under conjugation and taking subgroups. We consider
More informationarxiv:math/ v1 [math.ra] 20 Feb 2007
ON SERRE DUALITY FOR COMPACT HOMOLOGICALLY SMOOTH DG ALGEBRAS D.SHKLYAROV arxiv:math/0702590v1 [math.ra] 20 Feb 2007 To Leonid L vovich Vaksman on his 55th birthday, with gratitude 1. Introduction Let
More informationNotes on Sheaf Cohomology
Notes on Sheaf Cohomology Contents 1 Grothendieck Abelian Categories 1 1.1 The size of an object.................................... 2 1.2 Injectives.......................................... 3 2 Grothendieck
More informationΩ X generated locally in each adapted coordinate neighborhood as before by Ω and the forms
Contents 1. Absolute Hodge cohomology of smooth complex varieties 1 2. Zariski descent 5 3. Multiplicative properties 7 4. Exercises 10 References 10 1. Absolute Hodge cohomology of smooth complex varieties
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 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 informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationCYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138
CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 Abstract. We construct central extensions of the Lie algebra of differential operators
More informationFiberwise two-sided multiplications on homogeneous C*-algebras
Fiberwise two-sided multiplications on homogeneous C*-algebras Ilja Gogić Department of Mathematics University of Zagreb XX Geometrical Seminar Vrnjačka Banja, Serbia May 20 23, 2018 joint work with Richard
More informationin path component sheaves, and the diagrams
Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
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 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 informationCYCLIC HOMOLOGY FOR SCHEMES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 CYCLIC HOMOLOGY FOR SCHEMES CHARLES WEIBEL (Communicated by Eric Friedlander) Abstract. Using hypercohomology, we can extend
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More informationLecture 2 Sheaves and Functors
Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf
More informationTHE LUSTERNIK-SCHNIRELMANN CATEGORY FOR A DIFFERENTIABLE STACK
THE LUSTERNIK-SCHNIRELMANN CATEGORY FOR A DIFFERENTIABLE STACK SAMIRAH ALSULAMI, HELLEN COLMAN, AND FRANK NEUMANN Abstract. We introduce the notion of Lusternik-Schnirelmann category for differentiable
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 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 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 informationCyclic cohomology of projective limits of topological algebras
Cyclic cohomology of projective limits of topological algebras Zinaida Lykova Newcastle University 9 August 2006 The talk will cover the following points: We present some relations between Hochschild,
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationEquivariant cyclic homology. Christian Voigt
Equivariant cyclic homology Christian Voigt INTRODUCTION i Introduction In the general framework of noncommutative geometry cyclic homology plays the role of de Rham cohomology [26]. It was introduced
More informationAPPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationBIVARIANT CYCLIC COHOMOLOGY AND CONNES BILINEAR PAIRINGS IN NON-COMMUTATIVE MOTIVES
BIVARIANT CYCLIC COHOMOLOGY AND CONNES BILINEAR PAIRINGS IN NON-COMMUTATIVE MOTIVES GONÇALO TABUADA Abstract. In this article we further the study of non-commutative motives, initiated in [3, 4, 25]. We
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
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 the Entire Cyclic Cohomology of Involutive Banach Algebras
International Mathematical Forum, Vol. 6, 2011, no. 33, 1613-1622 On the Entire Cyclic Cohomology of Involutive Banach Algebras Alaa Hassan Nor El-Dean Dept. of Math. University Collage in Leith (Girls
More informationCyclic homology of deformation quantizations over orbifolds
Cyclic homology of deformation quantizations over orbifolds Markus Pflaum Johann Wolfgang Goethe-Universität Frankfurt/Main CMS Winter 2006 Meeting December 9-11, 2006 References N. Neumaier, M. Pflaum,
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationHigher Descent. 1. Descent for Sheaves. 2. Cosimplicial Groups. 3. Back to Sheaves. Amnon Yekutieli. 4. Higher Descent: Stacks. 5.
Outline Outline Higher Descent Amnon Yekutieli Department of Mathematics Ben Gurion University Notes available at http://www.math.bgu.ac.il/~amyekut/lectures Written 21 Nov 2012 1. Descent for Sheaves
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationAlgebra and Topology
Algebra and Topology Course at Paris VI University, 2007/2008 1 Pierre Schapira http://www.math.jussieu.fr/ schapira/lectnotes schapira@math.jussieu.fr 1/9/2011, v2 1 To the students: the material covered
More informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationSpecial Precovered Categories of Gorenstein Categories
Special Precovered Categories of Gorenstein Categories Tiwei Zhao and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 9, Jiangsu Province, P. R. China Astract Let A e an aelian category
More informationA spectral sequence for the homology of a finite algebraic delooping
A spectral sequence for the homology of a finite algebraic delooping Birgit Richter joint work in progress with Stephanie Ziegenhagen Lille, October 2012 Aim: 1) Approximate Quillen homology for E n -algebras
More informationHOMOTOPY APPROXIMATION OF MODULES
Journal of Algebra and Related Topics Vol. 4, No 1, (2016), pp 13-20 HOMOTOPY APPROXIMATION OF MODULES M. ROUTARAY AND A. BEHERA Abstract. Deleanu, Frei, and Hilton have developed the notion of generalized
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
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 informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More informationCartan sub-c*-algebras in C*-algebras
Plan Cartan sub-c*-algebras in C*-algebras Jean Renault Université d Orléans 22 July 2008 1 C*-algebra constructions. 2 Effective versus topologically principal. 3 Cartan subalgebras in C*-algebras. 4
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationD-MODULES: AN INTRODUCTION
D-MODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview D-modules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of D-modules by describing
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 informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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 informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationT -spectra. Rick Jardine. March 2, University of Western Ontario
University of Western Ontario March 2, 2015 T = is a pointed simplicial presheaf on a site C. A T -spectrum X consists of pointed simplicial presheaves X n, n 0 and bonding maps σ : T X n X n+1, n 0. A
More informationSTACKY HOMOTOPY THEORY
STACKY HOMOTOPY THEORY GABE ANGEINI-KNO AND EVA BEMONT 1. A stack by any other name... argely due to the influence of Mike Hopkins and collaborators, stable homotopy theory has become closely tied to moduli
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationSymmetric monoidal structure on Non-commutative motives
Symmetric monoidal structure on Non-commutative motives Denis-Charles Cisinski, Gonçalo Tabuada To cite this version: Denis-Charles Cisinski, Gonçalo Tabuada. Symmetric monoidal structure on Non-commutative
More informationCHARACTERISTIC CLASSES
1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact
More informationLectures 1 and 2: General introduction, DG algebras.
Non-commutative Geometry from a homological point of view Seoul, 2009 1 Lectures 1 and 2: General introduction, DG algebras. 1.1 Motivations. Let me start by recalling the standard correspondence between
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 informationOn algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem
s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants
More informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham
More informationBERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationThe Homotopic Uniqueness of BS 3
The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More information1. THE CONSTRUCTIBLE DERIVED CATEGORY
1. THE ONSTRUTIBLE DERIVED ATEGORY DONU ARAPURA Given a family of varieties, we want to be able to describe the cohomology in a suitably flexible way. We describe with the basic homological framework.
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationAPPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES
APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES DAVID BEN-ZVI, JOHN FRANCIS, AND DAVID NADLER Abstract. In this brief postscript to [BFN], we describe a Morita equivalence for derived,
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationRelative rational K-theory and cyclic homology
Relative rational K-theory and cyclic homology Introduction Topologicial K-theory was the first example of an extra-ordinary cohomology theory and furthermore right from the beginning it was extra-ordinary
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationarxiv:math/ v1 [math.ag] 6 Jan 2005
DERIVED CATEGORIES OF SHEAVES: A SKIMMING ANDREI CĂLDĂRARU arxiv:math/0501094v1 [math.ag] 6 Jan 2005 Abstract. These lecture notes were prepared for the workshop Algebraic Geometry: Presentations by Young
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 informationSchemes of Dimension 2: Obstructions in Non Abelian Cohomology
Pure Mathematical Sciences, Vol. 6, 2017, no. 1, 39-45 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/pms.2017.711 Schemes of Dimension 2: Obstructions in Non Abelian Cohomology Bénaouda Djamai
More informationCommutative algebra and representations of finite groups
Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation
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 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 informationThe moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fu-berlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
More informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More informationSchemes via Noncommutative Localisation
Schemes via Noncommutative Localisation Daniel Murfet September 18, 2005 In this note we give an exposition of the well-known results of Gabriel, which show how to define affine schemes in terms of the
More informationarxiv: v1 [math.kt] 18 Dec 2009
EXCISION IN HOCHSCHILD AND CYCLIC HOMOLOGY WITHOUT CONTINUOUS LINEAR SECTIONS arxiv:0912.3729v1 [math.kt] 18 Dec 2009 RALF MEYER Abstract. We prove that continuous Hochschild and cyclic homology satisfy
More information