# C3.9 Computational Algebraic Topology - Material for the year 2020-2021

## Primary tabs

We have updated our Undergraduate exams guidance in preparation for the Trinity Term examinations.

Please see our new webpages dedicated to TT exams.

2020-2021
Lecturer(s):
Prof. Vidit Nanda
External Lecturer(s):
Prof Samson Abramsky
General Prerequisites:

Some familiarity with the main concepts from algebraic topology, homological algebra and category theory will be helpful.

Course Term:
Hilary
Course Lecture Information:

16 lectures

Course Weight:
1.00 unit(s)
Course Level:
M

### Assessment type:

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.

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)

H. Edelsbrunner and J.L. Harer, Computational Topology - An Introduction,AMS (2010).