|
Image Functors For Sheaves
In mathematics, especially in sheaf theory—a domain applied in areas such as topology, logic and algebraic geometry—there are four image functors for sheaves that belong together in various senses. Given a continuous mapping ''f'': ''X'' → ''Y'' of topological spaces, and the category Sh(–) of sheaves of abelian groups on a topological space. The functors in question are * direct image ''f''∗ : Sh(''X'') → Sh(''Y'') * inverse image ''f''∗ : Sh(''Y'') → Sh(''X'') * direct image with compact support ''f''! : Sh(''X'') → Sh(''Y'') * exceptional inverse image ''Rf''! : ''D''(Sh(''Y'')) → ''D''(Sh(''X'')). The exclamation mark is often pronounced " shriek" (slang for exclamation mark), and the maps called "''f'' shriek" or "''f'' lower shriek" and "''f'' upper shriek"—see also shriek map. The exceptional inverse image is in general defined on the level of derived categories only. Similar considerations apply to étale sheaves on schemes. Adjointness The fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
étale Topology
In algebraic geometry, the étale topology is a Grothendieck topology on the category of schemes which has properties similar to the Euclidean topology, but unlike the Euclidean topology, it is also defined in positive characteristic. The étale topology was originally introduced by Grothendieck to define étale cohomology, and this is still the étale topology's most well-known use. Definitions For any scheme ''X'', let Ét(''X'') be the category of all étale morphisms from a scheme to ''X''. This is the analog of the category of open subsets of ''X'' (that is, the category whose objects are varieties and whose morphisms are open immersions). Its objects can be informally thought of as étale open subsets of ''X''. The intersection of two objects corresponds to their fiber product over ''X''. Ét(''X'') is a large category, meaning that its objects do not form a set. An étale presheaf on ''X'' is a contravariant functor from Ét(''X'') to the category of sets. A presheaf ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Six Operations
In mathematics, Grothendieck's six operations, named after Alexander Grothendieck, is a formalism in homological algebra, also known as the six-functor formalism. It originally sprang from the relations in étale cohomology that arise from a morphism of schemes . The basic insight was that many of the elementary facts relating cohomology on ''X'' and ''Y'' were formal consequences of a small number of axioms. These axioms hold in many cases completely unrelated to the original context, and therefore the formal consequences also hold. The six operations formalism has since been shown to apply to contexts such as ''D''-modules on algebraic varieties, sheaves on locally compact topological spaces, and motives. The operations The operations are six functors. Usually these are functors between derived categories and so are actually left and right derived functors. * the direct image f_* * the inverse image f^* * the proper (or extraordinary) direct image f_! * the proper (or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
