First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
MATHEMATICS
Course unit
TOPOLOGY 2
SC03111819, A.A. 2017/18

Information concerning the students who enrolled in A.Y. 2017/18

Information on the course unit
Degree course Second cycle degree in
MATHEMATICS
SC1172, Degree course structure A.Y. 2011/12, A.Y. 2017/18
N0
bring this page
with you
Degree course track GENERALE [010PD]
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination TOPOLOGY 2
Website of the academic structure http://matematica.scienze.unipd.it/2017/laurea_magistrale
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction English
Branch PADOVA
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Lecturers
Teacher in charge ANDREA D'AGNOLO MAT/05

Mutuated
Course unit code Course unit name Teacher in charge Degree course code
SC03111819 TOPOLOGY 2 ANDREA D'AGNOLO SC1172

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses MAT/03 Geometry 6.0

Mode of delivery (when and how)
Period First semester
Year 1st Year
Teaching method frontal

Organisation of didactics
Type of hours Credits Hours of
teaching
Hours of
Individual study
Shifts
Practice 2.0 16 34.0 No turn
Lecture 4.0 32 68.0 No turn

Calendar
Start of activities 02/10/2017
End of activities 19/01/2018

Examination board
Board From To Members of the board
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)

Syllabus
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 F-injective 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