An introduction to the derived category, Edition: version 7 by Theo Bühler

By Theo Bühler

Show description

Read or Download An introduction to the derived category, Edition: version 7 Dec 2007 PDF

Best abstract books

Geometric Topology: Localization, Periodicity and Galois Symmetry: The 1970 MIT Notes (K-Monographs in Mathematics)

The seminal `MIT notes' of Dennis Sullivan have been issued in June 1970 and have been largely circulated on the time, yet purely privately. The notes had an important impact at the improvement of either algebraic and geometric topology, pioneering the localization and finishing touch of areas in homotopy thought, together with P-local, profinite and rational homotopy conception, the Galois motion on gentle manifold constructions in profinite homotopy conception, and the K-theory orientation of PL manifolds and bundles.

Towards the Mathematics of Quantum Field Theory, 1st Edition

This formidable and unique e-book units out to introduce to mathematicians (even together with graduate scholars ) the mathematical tools of theoretical and experimental quantum box thought, with an emphasis on coordinate-free shows of the mathematical gadgets in use. This in flip promotes the interplay among mathematicians and physicists through delivering a standard and versatile language for the nice of either groups, notwithstanding mathematicians are the first goal.

Additional info for An introduction to the derived category, Edition: version 7 Dec 2007

Sample text

Indeed, (f∗ YX )(Z) = HomX (Z ×X X , Y ) = HomX (Z, Y ) = YX (Z). The direct image functor f∗ : S(X ) → S(X) has a left adjoint functor (see [Mi], p. 68) which is denoted by f ∗ : S(X) → S(X ) and called the inverse image functor. Thus f ∗ is the unique functor which satisfies Hom(f ∗ L, L ) = Hom(L, f∗ L ) (L ∈ S(X), L ∈ S(X )). If YX is a locally constant sheaf on X, then its inverse image f ∗ YX is the locally constant sheaf YX on X defined by the finite ´etale morphism Y = Y ×X X → X ; indeed, HomX (Z , Y ) = HomX (Z , Y ).

L|S0 ) of the restriction Rb! L|S0 = j ∗ Rb! L to S0 of the complex Rb! L of sheaves in the derived category D(X). 1. For any Z -sheaf L on X and morphism b : X → S, the sheaf Ri b! L is constructible. Consequently there is an open dense subscheme j : S0 → S such that the restriction Ri b! L|S0 is a smooth sheaf, for all i ≥ 0. 50 YUVAL Z. FLICKER Proof. The first claim is the constructibility theorem of [SGA4], XVII, p. 364. 9, p. 236. The second follows from the definition of constructibility. Let S be an irreducible scheme.

Ar−1 ) = {i;0≤i

Download PDF sample

Rated 4.99 of 5 – based on 36 votes