Exact sequenceAn exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an ) such that the of one morphism equals the kernel of the next. In the context of group theory, a sequence of groups and group homomorphisms is said to be exact at if . The sequence is called exact if it is exact at each for all , i.e., if the image of each homomorphism is equal to the kernel of the next. The sequence of groups and homomorphisms may be either finite or infinite.
Lie algebra cohomologyIn mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the topology of Lie groups and homogeneous spaces by relating cohomological methods of Georges de Rham to properties of the Lie algebra. It was later extended by to coefficients in an arbitrary Lie module. If is a compact simply connected Lie group, then it is determined by its Lie algebra, so it should be possible to calculate its cohomology from the Lie algebra.
Circle bundleIn mathematics, a circle bundle is a fiber bundle where the fiber is the circle . Oriented circle bundles are also known as principal U(1)-bundles. In physics, circle bundles are the natural geometric setting for electromagnetism. A circle bundle is a special case of a sphere bundle. Circle bundles over surfaces are an important example of 3-manifolds. A more general class of 3-manifolds is Seifert fiber spaces, which may be viewed as a kind of "singular" circle bundle, or as a circle bundle over a two-dimensional orbifold.
Étale cohomologyIn mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct l-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type.
Puppe sequenceIn mathematics, the Puppe sequence is a construction of homotopy theory, so named after Dieter Puppe. It comes in two forms: a long exact sequence, built from the mapping fibre (a fibration), and a long coexact sequence, built from the mapping cone (which is a cofibration). Intuitively, the Puppe sequence allows us to think of homology theory as a functor that takes spaces to long-exact sequences of groups. It is also useful as a tool to build long exact sequences of relative homotopy groups.
Characteristic classIn mathematics, a characteristic class is a way of associating to each principal bundle of X a cohomology class of X. The cohomology class measures the extent the bundle is "twisted" and whether it possesses sections. Characteristic classes are global invariants that measure the deviation of a local product structure from a global product structure. They are one of the unifying geometric concepts in algebraic topology, differential geometry, and algebraic geometry.
Line bundleIn mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a vector bundle of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner.
Spectral sequenceIn homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they have become important computational tools, particularly in algebraic topology, algebraic geometry and homological algebra. Motivated by problems in algebraic topology, Jean Leray introduced the notion of a sheaf and found himself faced with the problem of computing sheaf cohomology.
Pullback bundleIn mathematics, a pullback bundle or induced bundle is the fiber bundle that is induced by a map of its base-space. Given a fiber bundle π : E → B and a continuous map f : B′ → B one can define a "pullback" of E by f as a bundle fE over B′. The fiber of fE over a point b′ in B′ is just the fiber of E over f(b′). Thus f*E is the disjoint union of all these fibers equipped with a suitable topology. Let π : E → B be a fiber bundle with abstract fiber F and let f : B′ → B be a continuous map.
Section (fiber bundle)In the mathematical field of topology, a section (or cross section) of a fiber bundle is a continuous right inverse of the projection function . In other words, if is a fiber bundle over a base space, : then a section of that fiber bundle is a continuous map, such that for all . A section is an abstract characterization of what it means to be a graph. The graph of a function can be identified with a function taking its values in the Cartesian product , of and : Let be the projection onto the first factor: .
