Direct Image Functor
   HOME
*





Direct Image Functor
In mathematics, the direct image functor is a construction in sheaf theory that generalizes the global sections functor to the relative case. It is of fundamental importance in topology and algebraic geometry. Given a sheaf ''F'' defined on a topological space ''X'' and a continuous map ''f'': ''X'' → ''Y'', we can define a new sheaf ''f''∗''F'' on ''Y'', called the direct image sheaf or the pushforward sheaf of ''F'' along ''f'', such that the global sections of ''f''∗''F'' is given by the global sections of ''F''. This assignment gives rise to a functor ''f''∗ from the category of sheaves on ''X'' to the category of sheaves on ''Y'', which is known as the direct image functor. Similar constructions exist in many other algebraic and geometric contexts, including that of quasi-coherent sheaves and étale sheaves on a scheme. Definition Let ''f'': ''X'' → ''Y'' be a continuous map of topological spaces, and let Sh(–) denote the category of sheaves of abelian groups on a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Quasi-separated Morphism
In algebraic geometry, a morphism of schemes from to is called quasi-separated if the diagonal map from to is quasi-compact (meaning that the inverse image of any quasi-compact open set is quasi-compact). A scheme is called quasi-separated if the morphism to Spec is quasi-separated. Quasi-separated algebraic spaces and algebraic stacks and morphisms between them are defined in a similar way, though some authors include the condition that is quasi-separated as part of the definition of an algebraic space or algebraic stack . Quasi-separated morphisms were introduced by as a generalization of separated morphisms. All separated morphisms (and all morphisms of Noetherian schemes) are automatically quasi-separated. Quasi-separated morphisms are important for algebraic spaces and algebraic stacks, where many natural morphisms are quasi-separated but not separated. The condition that a morphism is quasi-separated often occurs together with the condition that it is quasi-compact. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Proper Morphism
In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces. Some authors call a proper variety over a field ''k'' a complete variety. For example, every projective variety over a field ''k'' is proper over ''k''. A scheme ''X'' of finite type over the complex numbers (for example, a variety) is proper over C if and only if the space ''X''(C) of complex points with the classical (Euclidean) topology is compact and Hausdorff. A closed immersion is proper. A morphism is finite if and only if it is proper and quasi-finite. Definition A morphism ''f'': ''X'' → ''Y'' of schemes is called universally closed if for every scheme ''Z'' with a morphism ''Z'' → ''Y'', the projection from the fiber product :X \times_Y Z \to Z is a closed map of the underlying topological spaces. A morphism of schemes is called proper if it is separated, of finite type, and universally closed ( GAII, 5.4.. One also says that ''X'' is proper ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Exceptional Inverse Image Functor
In mathematics, more specifically sheaf theory, a branch of topology and algebraic geometry, the exceptional inverse image functor is the fourth and most sophisticated in a series of image functors for sheaves. It is needed to express Verdier duality in its most general form. Definition Let ''f'': ''X'' → ''Y'' be a continuous map of topological spaces or a morphism of schemes. Then the exceptional inverse image is a functor :R''f''!: D(''Y'') → D(''X'') where D(–) denotes the derived category of sheaves of abelian groups or modules over a fixed ring. It is defined to be the right adjoint of the total derived functor R''f''! of the direct image with compact support. Its existence follows from certain properties of R''f''! and general theorems about existence of adjoint functors, as does the unicity. The notation R''f''! is an abuse of notation insofar as there is in general no functor ''f''! whose derived functor would be R''f''!. Examples and properties *If ''f'': ''X' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Derived Categories
In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction proceeds on the basis that the objects of ''D''(''A'') should be chain complexes in ''A'', with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences. The development of the derived category, by Alexander Grothendieck and his student Jean-Louis Verdier shortly after 1960, now appears as one terminal point in the explosive development of homological algebra in the 1950s, a decade in which it had made remarkab ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Sheaf Cohomology
In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper. Sheaves, sheaf cohomology, and spectral sequences were introduced by Jean Leray at the prisoner-of-war camp Oflag XVII-A in Austria. From 1940 to 1945, Leray and other prisoners organized a "université en captivité" in the camp. Leray's definitions were simplified and clarified in the 1950s. It became clear that sheaf cohomology was not only a new approach to cohomology in algebraic topology, but also a powerful method in complex analytic geometry and algebraic geometry. These subjects often involve constructing global functions with specified local properties, and sheaf cohomology is ideally suited to such problems. Man ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Derived Functor
In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Motivation It was noted in various quite different settings that a short exact sequence often gives rise to a "long exact sequence". The concept of derived functors explains and clarifies many of these observations. Suppose we are given a covariant left exact functor ''F'' : A → B between two abelian categories A and B. If 0 → ''A'' → ''B'' → ''C'' → 0 is a short exact sequence in A, then applying ''F'' yields the exact sequence 0 → ''F''(''A'') → ''F''(''B'') → ''F''(''C'') and one could ask how to continue this sequence to the right to form a long exact sequence. Strictly speaking, this question is ill-posed, since there are always numerous different ways to continue a given exact sequence to the right. But it turns out that (if A is "nice" enough) the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Restriction Of Scalars
In algebra, given a ring homomorphism f: R \to S, there are three ways to change the coefficient ring of a module; namely, for a left ''R''-module ''M'' and a left ''S''-module ''N'', *f_! M = S\otimes_R M, the induced module. *f_* M = \operatorname_R(S, M), the coinduced module. *f^* N = N_R, the restriction of scalars. They are related as adjoint functors: :f_! : \text_R \leftrightarrows \text_S : f^* and :f^* : \text_S \leftrightarrows \text_R : f_*. This is related to Shapiro's lemma. Operations Restriction of scalars Throughout this section, let R and S be two rings (they may or may not be commutative, or contain an identity), and let f:R \to S be a homomorphism. Restriction of scalars changes ''S''-modules into ''R''-modules. In algebraic geometry, the term "restriction of scalars" is often used as a synonym for Weil restriction. Definition Suppose that M is a module over S. Then it can be regarded as a module over R where the action of R is given via : \begin M\ti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Equivalence Of Categories
In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are "essentially the same". There are numerous examples of categorical equivalences from many areas of mathematics. Establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned. In some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to "translate" theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation. If a category is equivalent to the opposite (or dual) of another category then one speaks of a duality of categories, and says that the two categories are dually equivalent. An equivalence of categories consists of a functor between the involved categories, which is required t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Exact Functor
In mathematics, particularly homological algebra, an exact functor is a functor that preserves short exact sequences. Exact functors are convenient for algebraic calculations because they can be directly applied to presentations of objects. Much of the work in homological algebra is designed to cope with functors that ''fail'' to be exact, but in ways that can still be controlled. Definitions Let P and Q be abelian categories, and let be a covariant additive functor (so that, in particular, ''F''(0) = 0). We say that ''F'' is an exact functor if whenever :0 \to A\ \stackrel \ B\ \stackrel \ C \to 0 is a short exact sequence in P then :0 \to F(A) \ \stackrel \ F(B)\ \stackrel \ F(C) \to 0 is a short exact sequence in Q. (The maps are often omitted and implied, and one says: "if 0→''A''→''B''→''C''→0 is exact, then 0→''F''(''A'')→''F''(''B'')→''F''(''C'')→0 is also exact".) Further, we say that ''F'' is *left-exact if whenever 0→''A''→''B''→' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Inverse Image Functor
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]  


picture info

Adjoint Functor
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology. By definition, an adjunction between categories \mathcal and \mathcal is a pair of functors (assumed to be covariant) :F: \mathcal \rightarrow \mathcal   and   G: \mathcal \rightarrow \mathcal and, for all objects X in \mathcal and Y in \mathcal a bijection between the respective morphism s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]