Base change theorems

In mathematics, the base change theorems relate the and the of sheaves. More precisely, they are about the base change map, given by the following natural transformation of sheaves: where is a of topological spaces and is a sheaf on X. Such theorems exist in different branches of geometry: for (essentially arbitrary) topological spaces and proper maps f, in algebraic geometry for (quasi-)coherent sheaves and f proper or g flat, similarly in analytic geometry, but also for étale sheaves for f proper or g smooth. A simple base change phenomenon arises in commutative algebra when A is a commutative ring and B and A' are two A-algebras. Let . In this situation, given a B-module M, there is an isomorphism (of A' -modules): Here the subscript indicates the forgetful functor, i.e., is M, but regarded as an A-module. Indeed, such an isomorphism is obtained by observing Thus, the two operations, namely forgetful functors and tensor products commute in the sense of the above isomorphism. The base change theorems discussed below are statements of a similar kind. The base change theorems presented below all assert that (for different types of sheaves, and under various assumptions on the maps involved), that the following base change map is an isomorphism, where are continuous maps between topological spaces that form a and is a sheaf on X. Here denotes the of under f, i.e., the derived functor of the direct image (also known as pushforward) functor . This map exists without any assumptions on the maps f and g. It is constructed as follows: since is left adjoint to , there is a natural map (called unit map) and so The Grothendieck spectral sequence then gives the first map and the last map (they are edge maps) in: Combining this with the above yields Using the adjointness of and finally yields the desired map. The above-mentioned introductory example is a special case of this, namely for the affine schemes and, consequently, , and the quasi-coherent sheaf associated to the B-module M.

About this result

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.

Related publications (7)

Related concepts (3)

Related courses (4)

Related lectures (6)

MATH-510: Algebraic geometry II - schemes and sheaves

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

MATH-657: Deformation Theory

We will study classical and modern deformation theory of schemes and coherent sheaves. Participants should have a solid background in scheme-theory, for example being familiar with the first 3 chapter

MATH-658: Vanishing cycles and perverse sheaves

This course will explain the theory of vanishing cycles and perverse sheaves. We will see how the Hard Lefschetz theorem can be proved using perverse sheaves. If we have more time we will try to see t

Persistence and the Sheaf-Function Correspondence

Nicolas Michel Berkouk

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold M with the Grothendieck group of constructible sheaves on M. When M is a finite dimensional real vector space, Kashiwara-Schapira have recently in ...

Cambridge2023

Mechanistic 2D flow-erosion modelling of vegetated river banks

Giovanni De Cesare, Paolo Perona, Massimiliano Schwarz

We present a simple, vertically-explicit 2D model of river bank erosion that also takes the effect of sediment stabilization by plant roots into account. The model is solved in quasi-analytical form for an exemplary non-stationary hydrograph temporal signa ...

2023

Within the framework of a simple model for social influence, the Taylor model, we analytically investigate the role of stubborn agents in the overall opinion dynamics of networked systems. Similar to zealots, stubborn agents are biased towards a certain op ...

2020

D-module

In mathematics, a D-module is a module over a ring D of differential operators. The major interest of such D-modules is as an approach to the theory of linear partial differential equations. Since around 1970, D-module theory has been built up, mainly as a response to the ideas of Mikio Sato on algebraic analysis, and expanding on the work of Sato and Joseph Bernstein on the Bernstein–Sato polynomial. Early major results were the Kashiwara constructibility theorem and Kashiwara index theorem of Masaki Kashiwara.

Glossary of algebraic geometry

This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.

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.

Holography in Classical Gravity PHYS-739: Conformal Field theory and Gravity

Explores hints of holography in classical black hole thermodynamics.

Cohomology of Quasi-Coherent on Affine Schemes MATH-510: Algebraic geometry II - schemes and sheaves

Covers the cohomology of quasi-coherent sheaves on affine schemes.

Vector Bundles & Locally Free Sheaves MATH-510: Algebraic geometry II - schemes and sheaves

Covers vector bundles, locally free sheaves, depth, Serre twisting sheaf, and graded modules in algebraic geometry.