
Course unit
TOPOLOGY 2
SC03111819, A.A. 2015/16
Information concerning the students who enrolled in A.Y. 2015/16
Mutuating
Course unit code 
Course unit name 
Teacher in charge 
Degree course code 
SC03111819 
TOPOLOGY 2 
ANDREA D'AGNOLO 
SC1172 
ECTS: details
Type 
ScientificDisciplinary Sector 
Credits allocated 
Core courses 
MAT/03 
Geometry 
6.0 
Course unit organization
Period 
First semester 
Year 
1st Year 
Teaching method 
frontal 
Type of hours 
Credits 
Teaching hours 
Hours of Individual study 
Shifts 
Practice 
2.0 
16 
34.0 
No turn 
Lecture 
4.0 
32 
68.0 
No turn 
Examination board
Board 
From 
To 
Members of the board 
8 Topologia 2  a.a. 2019/2020 
01/10/2019 
30/09/2020 
D'AGNOLO
ANDREA
(Presidente)
BARACCO
LUCA
(Membro Effettivo)
ANCONA
FABIO
(Supplente)
MARASTONI
CORRADO
(Supplente)
POLESELLO
PIETRO
(Supplente)

7 Topologia 2  a.a. 2018/2019 
01/10/2018 
30/09/2019 
D'AGNOLO
ANDREA
(Presidente)
POLESELLO
PIETRO
(Membro Effettivo)
ANCONA
FABIO
(Supplente)
BARACCO
LUCA
(Supplente)
MARASTONI
CORRADO
(Supplente)

6 Topologia 2  2017/2018 
01/10/2017 
30/09/2018 
D'AGNOLO
ANDREA
(Presidente)
POLESELLO
PIETRO
(Membro Effettivo)
ANCONA
FABIO
(Supplente)
BARACCO
LUCA
(Supplente)
MARASTONI
CORRADO
(Supplente)

5 Topologia 2  2016/2017 
01/10/2016 
30/11/2017 
D'AGNOLO
ANDREA
(Presidente)
POLESELLO
PIETRO
(Membro Effettivo)
ANCONA
FABIO
(Supplente)
BARACCO
LUCA
(Supplente)
MARASTONI
CORRADO
(Supplente)

4 Topologia 2  a.a. 2015/2016 
01/10/2015 
30/09/2016 
D'AGNOLO
ANDREA
(Presidente)
POLESELLO
PIETRO
(Membro Effettivo)
ANCONA
FABIO
(Supplente)
BARACCO
LUCA
(Supplente)
MARASTONI
CORRADO
(Supplente)

Target skills and knowledge:

see below 
Examination methods:

traditional 
Assessment criteria:

oral exam 
Course unit contents:

Algebraic Topology is usually approached via the study of the fundamental group and of homology, defined using chain complexes, whereas, here, the accent is put on the language of categories and sheaves, with particular attention to locally constant sheaves.
Sheaves on topological spaces were invented by Jean Leray as a tool to deduce global properties from local ones. This tool turned out to be extremely powerful, and applies to many areas of Mathematics, from Algebraic Geometry to Quantum Field Theory.
On a topological space, the functor associating to a sheaf the space of its global sections is left exact, but not right exact in general. The derived functors are cohomology groups that encode the obstructions to pass from local to global. The cohomology groups of the constant sheaf are topological (and even homotopical) invariants of the space, and we shall explain how to calculate them in various situations. 
Planned learning activities and teaching methods:

Categories and functors
We will expose the basic language of categories and functors. A key point is the Yoneda lemma, which asserts that a category C may be embedded in the category of contravariant functors from C to the category of sets. This naturally leads to the concept of representable functor. Next, we study inductive and projective limits in some detail and with many examples.
Additive and abelian categories
The aim is to construct and study the derived functors of a left (or right) exact functor F of abelian categories. Hence, we start by studying complexes (and double complexes) in additive and abelian categories. Then we briefly explain the construction of the right derived functor by using injective resolutions and later, by using Finjective resolutions. We apply these results to the case of the functors Ext and Tor.
Abelian sheaves on topological spaces
We study abelian sheaves on topological spaces (with a brief look at Grothendieck topologies). We construct the sheaf associated with a presheaf and the usual internal (Hom and ⊗) and external operations (direct and inverse images). We also explain how to obtain locally constant or locally free sheaves when gluing sheaves.
Cohomology of sheaves
We will prove that the category of abelian sheaves has enough injectives and we define the cohomology of sheaves. Using the fact that the cohomology of locally constant sheaves is a homotopy invariant, we show how to calculate the cohomology of spaces by using cellular decomposition and we deduce the cohomology of some classical manifolds. 
Textbooks (and optional supplementary readings) 

Pierre Schapira, Algebra and Topology. : , . http://people.math.jussieu.fr/~schapira/lectnotes/AlTo.pdf


