General Prerequisites: Some familiarity with the main concepts from algebraic topology, homological algebra and category theory will be helpful.
Course Overview: Ideas and tools from algebraic topology have become more and more important in computational and applied areas of mathematics. This course will provide at the masters level an introduction to the main concepts of (co)homology theory, and explore areas of applications in data analysis and in foundations of quantum mechanics and quantum information.
Lecturer(s):
Prof. Vidit Nanda
External Lecturer(s):
Prof Samson Abramsky
Assessment Type:
Mini Project. Mini-projects will be available for collection from 12noon on Friday of week 8 and the submission deadline will be 12noon on Wednesday of week 11.
Learning Outcomes: Students should gain a working knowledge of homology and cohomology of simplicial sets and sheaves, and improve their geometric intuition. Furthermore, they should gain an awareness of a variety of application in rather different, research active fields of applications with an emphasis on data analysis and contextuality.
Course Synopsis: The course has two parts. The first part will introduce students to the basic concepts and results of (co)homology, including sheaf cohomology. In the second part applied topics are introduced and explored.
Core: Homology and cohomology of chain complexes. Algorithmic computation of boundary maps (with a view of the classification theorm for finitely generated modules over a PID). Chain homotopy. Snake Lemma. Simplicial complexes. Other complexes (Delaunay, Cech). Mayer-Vietoris sequence. Poincare duality. Alexander duality. Acyclic carriers. Discrete Morse theory. (6 lectures)
Topic A: Persistent homology: barcodes and stability, applications todata analysis, generalisations. (4 lectures)
Topic B: Sheaf cohomology and applications to quantum non-locality and contextuality.Sheaf-theoretic representation of quantum non-locality and contextuality asobstructions to global sections. Cohomological characterizations and proofs of contextuality.(6 lectures)
