Прямий образ пучка
Прямий образ пучка  — узагальнення поняття перетину пучка на відносний випадок.

Означення 
Нехай f: X → Y — неперервне відображення топологічних просторів, і Sh(-) позначає категорію пучків абелевих груп на топологічному просторі. Функтор прямого образу

 

переводить пучок F на X в передпучок на Y, заданий як:

 множина перетинів для відкритої підмножини U  у просторі Y є за означенням:

 

 Якщо  є двома відкритими множинами у просторі Y  то гомоморфізм обмеження задається як:

 

Із даного означення легко помітити, що  f* (F) є насправді пучком на Y. Також ця операція є функторіальною, в тому сенсі, що морфізм пучків φ: F → G на X породжує морфізм пучків f* (φ) : f* (F) → f* (G) на Y і до того ж f*(IdF) = Idf* (F) і f*(φ ° ψ) = f*(φ) ° f*(ψ).

Таким чином f*  є функтором із категорії пучків на X в категорію пучків на Y.

Приклади 

 Якщо Y — точка, то функтор прямого образу збігається з функтором глобальних перетинів.
 Нехай — одиничне коло і  — відображення подвійного покриття (якщо одиничне коло вважати множиною комплексних чисел з абсолютним значенням рівним одиниці, то відображення можна записати як ). Нехай F сталий пучок на X для множини , тобто пучок породжений передпучком для якого всі групи перетинів для усіх відкритих підмножин є рівними . Тоді для будь-якого малого інтервалу U у просторі Y,  і тому всі ростки для цього пучка є рівними  Проте цей пучок не є сталим оскільки

Вищі прямі образи 
Функтор прямого образу є точним зліва, але, взагалі кажучи, не є точним. Це випливає з того, що для точної послідовності пучків на X:   функтори перетинів для будь-який прямих підмножин є точними зліва, зокрема для відкритої підмножини U  у просторі Y  точною є послідовність  

 

і тому також послідовність  

 

Отже, можна розглянути праві похідні функтори функтора прямого образу. Вони називаються вищими прямими образами і позначаються Rqf*.

Для вищих прямих образів можна дати вираз, подібне з виразом для прямих образів: для пучка F на X, Rqf* (F) — пучок, асоційований з передпучком

 

Більш конкретно у цьому випадку пучок F обмежується на відкриту підмножину  утворюючи на ній пучок абелевих груп. Для цього пучка правий похідний функтор функтора глобальних перетинів присвоює деяку абелеву групу, яка присвоюється підмножині U. При цьому утворюється передпучок, що породжує пучок ізоморфний до Rqf*F .

Властивості 

є функтором із категорії неперервних відображень із топологічного простору X у топологічний простір Y  у категорію функторів Тобто  і 
Функтор прямого образу є спряженим із функтором оберненого образа пучка, тобто для будь-якого неперервного відображення  і пучків  на X і Y відповідно, існує натуральний ізоморфізм

 .

 Якщо f — вкладення замкнутого підпростору X ⊂ Y то f* є точним. Більш того, в цьому випадку f* є еквівалентністю категорій між пучками на X і пучками на Y з носієм в X. Це випливає з того факту, що шар дорівнює , якщо  і дорівнює нулю в іншому випадку (тут використовується замкнутість X в Y).

Література 

 Iversen, Birger, Cohomology of sheaves, Universitext, Berlin, New York: Springer-Verlag, 1986, ISBN 978-3-540-16389-3.
 

Теорія пучків
Прямий образ пучка — узагальнення поняття перетину пучка на відносний випадок . Означення Нехай f : X → Y — неперервне відображення топологічних просторів , і Sh ( - ) позначає категорію пучків абелевих груп на топологічному просторі . Функтор прямого образу переводить пучок F на X в передпучок на Y , заданий як : множина перетинів для відкритої підмножини U у просторі Y є за означенням : Якщо є двома відкритими множинами у просторі Y то гомоморфізм обмеження задається як : Із даного означення легко помітити , що f * ( F ) є насправді пучком на Y . Також ця операція є функторіальною , в тому сенсі , що морфізм пучків φ : F → G на X породжує морфізм пучків f * ( φ ) \ : f * ( F ) → f * ( G ) на Y і до того ж f *( IdF ) = Idf * ( F ) і f * ( φ ° ψ ) = f * ( φ ) ° f * ( ψ ) . Таким чином f * є функтором із категорії пучків на X в категорію пучків на Y . Приклади Якщо Y — точка , то функтор прямого образу збігається з функтором глобальних перетинів . Нехай — одиничне коло і — відображення подвійного покриття ( якщо одиничне коло вважати множиною комплексних чисел з абсолютним значенням рівним одиниці , то відображення можна записати як ) . Нехай F сталий пучок на X для множини , тобто пучок породжений передпучком для якого всі групи перетинів для усіх відкритих підмножин є рівними \ . Тоді для будь-якого малого інтервалу U у просторі Y , і тому всі ростки для цього пучка є рівними Проте цей пучок не є сталим оскільки Вищі прямі образи Функтор прямого образу є точним зліва , але , взагалі кажучи , не є точним . Це випливає з того , що для точної послідовності пучків на X : функтори перетинів для будь-який прямих підмножин є точними зліва , зокрема для відкритої підмножини U у просторі Y точною є послідовність і тому також послідовність Отже , можна розглянути праві похідні функтори функтора прямого образу . Вони називаються вищими прямими образами і позначаються Rqf * . Для вищих прямих образів можна дати вираз , подібне з виразом для прямих образів : для пучка F на X , Rqf * ( F ) — пучок , асоційований з передпучком Більш конкретно у цьому випадку пучок F обмежується на відкриту підмножину утворюючи на ній пучок абелевих груп . Для цього пучка правий похідний функтор функтора глобальних перетинів присвоює деяку абелеву групу , яка присвоюється підмножині U . При цьому утворюється передпучок , що породжує пучок ізоморфний до Rqf*F \ . Властивості є функтором із категорії неперервних відображень із топологічного простору X у топологічний простір Y у категорію функторів Тобто і Функтор прямого образу є спряженим із функтором оберненого образа пучка , тобто для будь-якого неперервного відображення і пучків на X і Y відповідно , існує натуральний ізоморфізм \ . Якщо f — вкладення замкнутого підпростору X ⊂ Y то f* є точним . Більш того , в цьому випадку f* є еквівалентністю категорій між пучками на X і пучками на Y з носієм в X . Це випливає з того факту , що шар дорівнює , якщо і дорівнює нулю в іншому випадку ( тут використовується замкнутість X в Y ) . Література Iversen , Birger , Cohomology of sheaves , Universitext , Berlin , New York : Springer - Verlag , ISBN540 - 16389 - 3 . Теорія пучків