LibreTimes

Search results for “topoi”

13 results

Topology 2. Lecture 1

2026LectureФёдор Вылегжанин

Why homology is needed — the fundamental group as a functor, homotopy groups, bordism and its combinatorial approximation; chain complexes and their homology; abstract simplicial complexes, geometric realisation and triangulations; the complex of simplicial chains, the proof of d2=0d^2 = 0, the simplicial homology of a segment, of two points and of the boundary of a triangle; reduced homology.

1
470

Topology 2. Lecture 2

2026LectureФёдор Вылегжанин

Where simplicial homology shows up in real life — topological data analysis. The union of balls around a point cloud, persistence modules and their decomposition into a sum of interval modules over a field (the structure theorem and the algorithm), the barcode; the Vietoris–Rips and Čech complexes; the stability theorem for barcodes, the Hausdorff, Gromov–Hausdorff and Wasserstein distances; open covers and their nerves, Leray covers and the nerve theorem, the category of covers, paracompactness, Lebesgue covering dimension, Čech homology and cohomology.
1
520

Topology 2. Lecture 3

2026LectureФёдор Вылегжанин

Singular homology — standard simplices and the inclusions of facets, singular simplices and chains, the differential; zeroth homology and path components, the homology of a point, reduced homology; chain maps and maps of homology, functoriality, the chain map induced by a continuous map; chain homotopies and the prism; the homotopy invariance theorem with a full proof via the prism operator; subcomplexes, quotient complexes and the homology of a pair.
1
550

Topology 2. Problem sheet 1

2026Problem sheetФёдор Вылегжанин

Problems for the course "Topology 2" (F. E. Vylegzhanin, Independent University of Moscow, autumn 2026), sheet 1 of 9 September 2026 — simplicial homology and chain complexes. Zeroth homology and connected components; homology of a disjoint union and of a wedge; triangulations of the circle, the sphere and the Möbius band; the join and the product of simplicial complexes; the Euler characteristic and the Morse inequalities; the number of vertices of a triangulated surface; operations on chain complexes; exact sequences; the Smith normal form and the splitting of a complex.
1
450

Topology 2. Problem sheet 2

2026Problem sheetФёдор Вылегжанин

Problems for the course "Topology 2" (F. E. Vylegzhanin, Independent University of Moscow, autumn 2026), sheet 2 of 16 September 2026 — singular homology and chain homotopies. A chain map from simplicial to singular chains; retractions and direct summands; the Hurewicz homomorphism from the fundamental group to the first homology; finite CW complexes and homology classes; homology of a union of a chain of spaces; homology of a simplex and of its skeleton; simplicial maps; the chain homotopy equivalence between a complex and its homology; chain homotopy as an equivalence relation; the five lemma.
1
400

An example of a non-reduced Picard scheme

2026TheorySean Cotner

An example, due to Serre, of a smooth projective surface in positive characteristic whose Picard scheme fails to be reduced, worked out via the two governing dimension inequalities.
1
170

Тематическое моделирование

2026LectureКонстантин Вячеславович Воронцов

Тематическое моделирование. Лекция курса «Машинное обучение» К. В. Воронцова. Задача тематического моделирования коллекции текстовых документов. Метод максимума правдоподобия.
0
110

Поиск ассоциативных правил

2026LectureКонстантин Вячеславович Воронцов

Поиск ассоциативных правил. Лекция курса «Машинное обучение» К. В. Воронцова. Понятие ассоциативного правила и его связь с понятием логической закономерности.
0
140

IMO 1964

2026Problem sheet

International mathematics competition for pre-university students, held annually since 1959. Six problems over two days.
0
380

The Steinberg Representation

2026TheorySean Cotner

An introduction to the Steinberg representation of a finite group of Lie type — its alternating-sum construction from parabolic inductions, worked out explicitly for SL_2.

0
270