Homological algebra 3: Tor over rings

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous introduction to the Tor functor, with a strong emphasis on computational examples that illustrate the abstract definition. The argumentation is solid: the lecturer carefully constructs resolutions and computes homology, demonstrating the utility of Tor in various contexts. The examples are well-chosen and effectively convey the power of the concept. The presentation is logical and builds on previous knowledge, making it accessible to advanced students. The lecturer also highlights the unifying nature of Tor across different areas of mathematics, which adds to the value of the content.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on the standard textbook ‘Commutative algebra with a view toward algebraic geometry’ by David Eisenbud, which ensures a high level of rigor. The lecturer is a respected mathematician, and the content is mathematically accurate. The title accurately reflects the content, which focuses on defining Tor over rings and computing examples. The lecture does not cite external sources beyond the textbook, but it is self-contained and rigorous. The presentation is well-structured, with clear definitions and examples, and the lecturer explicitly mentions that proofs of properties will be given in the next lecture, indicating a careful pedagogical approach.

The title accurately reflects the content, which focuses on defining Tor over rings and computing examples.

8/10

The lecture is given by a renowned mathematician, Richard Borcherds, and follows a standard textbook. The content is mathematically rigorous, with clear definitions and examples. The presentation is well-structured and accurate, though it lacks formal proofs for some properties.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 00:00Introduction to Tor over rings and its definition via projective resolutions.
• 03:00Discussion of properties: well-definedness, functoriality, symmetry, and long exact sequence.
• 06:00Example 1: Intersection multiplicities in algebraic geometry.
• 08:00Example 2: Homology of groups as a special case of Tor.
• 10:00Example 3: Homology of Lie algebras and Example 4: Hochschild homology.
• 12:00Computation of Tor for k[x]/(x^2) with k: Tor_i(k,k)=k for all i.
• 15:00Computation of Tor for k[x,y] with k: Tor_0=k, Tor_1=k^2, Tor_2=k, and higher zero.
• 18:00Computation of Tor for k[x,y] with k corresponding to distinct points: all zero.
• 21:00Computation of homology of cyclic group of order n with coefficients in Z.
• 24:00Summary and preview of next lecture on properties of Tor.

• Commutative algebra with a view toward algebraic geometry — The lecture follows this textbook by David Eisenbud.

• Commutative algebra with a view toward algebraic geometry — The lecture follows this textbook by David Eisenbud.