|
Inverse Image Sheaf
In mathematics, specifically in algebraic topology and algebraic geometry, an inverse image functor is a contravariant construction of sheaves; here “contravariant” in the sense given a map f : X \to Y, the inverse image functor is a functor from the category of sheaves on ''Y'' to the category of sheaves on ''X''. The direct image functor is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle features. Definition Suppose we are given a sheaf \mathcal on Y and that we want to transport \mathcal to X using a continuous map f\colon X\to Y. We will call the result the ''inverse image'' or pullback sheaf f^\mathcal. If we try to imitate the direct image by setting :f^\mathcal(U) = \mathcal(f(U)) for each open set U of X, we immediately run into a problem: f(U) is not necessarily open. The best we could do is to approximate it by open sets, and even then we will get a presheaf and not a sheaf. Consequently, we de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches of algebraic topology Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space. Homology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
