**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Lecture# Cohomology: Cross Product

Description

This lecture covers the concept of cohomology and the cross product. It explains how to define the cross product using normalized bar resolutions and functoriality in group actions. The instructor demonstrates the application of the cross product in various examples, such as conjugation in groups.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Instructor

In course

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

Related concepts (337)

Motivic cohomology

Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology. Let X be a scheme of finite type over a field k. A key goal of algebraic geometry is to compute the Chow groups of X, because they give strong information about all subvarieties of X.

Sheaf (mathematics)

In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts).

Projective module

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below. Every free module is a projective module, but the converse fails to hold over some rings, such as Dedekind rings that are not principal ideal domains.

Finitely generated module

In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.

Proof theory

Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Related lectures (1,000)

Group CohomologyMATH-506: Topology IV.b - cohomology rings

Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.

Cohomology Groups: Hopf FormulaMATH-506: Topology IV.b - cohomology rings

Explores the Hopf formula in cohomology groups, emphasizing the 4-term exact sequence and its implications.

Bar Construction: Homology Groups and Classifying SpaceMATH-506: Topology IV.b - cohomology rings

Covers the bar construction method, homology groups, classifying space, and the Hopf formula.

Cross Product in CohomologyMATH-506: Topology IV.b - cohomology rings

Explores the cross product in cohomology, covering its properties and applications in homotopy.

Graded Ring Structure on CohomologyMATH-506: Topology IV.b - cohomology rings

Explores the associative and commutative properties of the cup product in cohomology, with a focus on graded structures.