ในทางคณิตศาสตร์ชีฟแบบฉีดของกลุ่มอาเบเลียนถูกนำมาใช้ในการสร้างโซลูชันที่จำเป็นในการกำหนดโคฮอโมโลยีของชีฟ (และฟังก์ชันอนุพันธ์ อื่นๆ เช่น ชีฟเอ็กซ์เทนต์ )

นอกจากนี้ยังมีกลุ่มแนวคิดที่เกี่ยวข้องกับชีฟ อีกกลุ่มหนึ่ง ได้แก่ ชีฟ แบบอ่อนปวกเปียก ( flasqueในภาษาฝรั่งเศส) ชีฟแบบละเอียดชีฟ แบบ นุ่ม ( mouในภาษาฝรั่งเศส) และ ชีฟแบบไม่มี วัฏจักร ในประวัติศาสตร์ของวิชานี้ แนวคิดเหล่านี้ถูกนำเสนอมาก่อน " บทความโทโฮคุ " ปี 1957 ของอเล็กซานเดอร์ โกรเทนดีคซึ่งแสดงให้เห็นว่า แนวคิดของ หมวดหมู่แบบอาเบเลียนของวัตถุแบบฉีดเพียงพอที่จะสร้างทฤษฎีขึ้นมาได้ ชีฟประเภทอื่นๆ เป็นแนวคิดที่เก่าแก่กว่าในเชิงประวัติศาสตร์ กรอบนามธรรมสำหรับการกำหนดโคฮอโมโลยีและฟังก์ชันอนุพันธ์ไม่จำเป็นต้องใช้แนวคิดเหล่านี้ อย่างไรก็ตาม ในสถานการณ์ที่เป็นรูปธรรมส่วนใหญ่ การแก้ปัญหาโดยใช้ชีฟแบบไม่มีวัฏจักรมักจะสร้างได้ง่ายกว่า ดังนั้นชีฟแบบไม่มีวัฏจักรจึงมีประโยชน์ในด้านการคำนวณ ตัวอย่างเช่นลำดับสเปกตรัมของเลอเรย์

ชีฟ แบบฉีด${\displaystyle {\mathcal {F}}}$คือชีฟที่เป็นวัตถุแบบฉีดของหมวดหมู่ของชีฟอาเบเลียน กล่าวอีกนัยหนึ่งคือ โฮโมมอร์ฟิซึมจาก${\displaystyle {\mathcal {A}}}$ถึง${\displaystyle {\mathcal {F}}}$สามารถขยายไปยังมัดใดก็ได้เสมอ${\displaystyle {\mathcal {B}}}$ประกอบด้วย${\displaystyle {\mathcal {A}}.}$

หมวดหมู่ของชีฟอาเบเลียนมีวัตถุแบบฉีดเพียงพอ: ซึ่งหมายความว่าชีฟใดๆ ก็เป็นซับชีฟของชีฟแบบฉีดได้ ผลลัพธ์ของ Grothendieck นี้มาจากการมีอยู่ของตัวสร้างของหมวดหมู่ (สามารถเขียนได้อย่างชัดเจน และเกี่ยวข้องกับตัวจำแนกวัตถุย่อย ) แค่นี้ก็เพียงพอที่จะแสดงให้เห็นว่าฟังก์ชันอนุพันธ์ขวาของฟังก์ชันที่แน่นอนซ้าย ใดๆ มีอยู่และมีเอกลักษณ์เฉพาะตัวจนถึงไอโซมอร์ฟิซึมแบบแคนอนิก

ในทางเทคนิคแล้ว ชีฟแบบฉีด (injective sheaves) มักจะเหนือกว่าชีฟประเภทอื่นๆ ที่กล่าวมาข้างต้น: พวกมันสามารถทำได้เกือบทุกอย่างที่ชีฟประเภทอื่นๆ ทำได้ และทฤษฎีของพวกมันก็เรียบง่ายและครอบคลุมกว่า ที่จริงแล้ว ชีฟแบบฉีดนั้นมีความยืดหยุ่น ( flasque ) อ่อนตัว และไม่มีวัฏจักร อย่างไรก็ตาม มีสถานการณ์ที่ชีฟประเภทอื่นๆ เกิดขึ้นตามธรรมชาติ และนี่เป็นเรื่องจริงโดยเฉพาะอย่างยิ่งในสถานการณ์การคำนวณที่เป็นรูปธรรม

แนวคิดคู่ขนานอย่างชีฟเชิงโปรเจกทีฟนั้นไม่ค่อยได้ใช้กันมากนัก เพราะในหมวดหมู่ทั่วไปของชีฟนั้นมีจำนวนไม่เพียงพอ กล่าวคือ ไม่ใช่ทุกชีฟจะเป็นผลหารของชีฟเชิงโปรเจกทีฟ และโดยเฉพาะอย่างยิ่งการแก้ปัญหาเชิงโปรเจกทีฟก็ไม่ได้มีอยู่เสมอไป ตัวอย่างเช่น กรณีนี้เกิดขึ้นเมื่อพิจารณาหมวดหมู่ของชีฟบนปริภูมิเชิง โปรเจกทีฟ ในโทโพโลยีซาริสกีซึ่งทำให้เกิดปัญหาเมื่อพยายามกำหนดฟังก์ชันอนุพันธ์ซ้ายของฟังก์ชันที่แม่นยำขวา (เช่นTor ) บางครั้งอาจทำได้โดยวิธีการเฉพาะกิจ เช่น ฟังก์ชันอนุพันธ์ซ้ายของ Tor สามารถกำหนดได้โดยใช้การแก้ปัญหาแบบราบเรียบแทนที่จะเป็นการแก้ปัญหาเชิงโปรเจกทีฟ แต่ต้องใช้ความพยายามในการแสดงให้เห็นว่าสิ่งนี้เป็นอิสระจากการแก้ปัญหา ไม่ใช่ทุกหมวดหมู่ของชีฟที่จะประสบปัญหานี้ ตัวอย่างเช่น หมวดหมู่ของชีฟบนแผนผังเชิงเส้นตรงมีชีฟเชิงโปรเจกทีฟเพียงพอ

ชีฟอะไซคลิก${\displaystyle {\mathcal {F}}}$เหนือXนั้นมีกลุ่มโคฮอโมโลยีชีฟระดับสูงกลุ่มหนึ่งที่ทำให้ทุกกลุ่มหายไป

กลุ่มโคฮอโมโลยีของชีฟใดๆ สามารถคำนวณได้จากการแก้ปัญหาแบบไม่มีวัฏจักรของชีฟนั้น (ซึ่งเรียกอีกอย่างว่าทฤษฎีบทเดอแรม-ไวล์ )

ชีฟละเอียดเหนือXคือชีฟที่มี " พาร์ทิชันของเอกภาพ " กล่าวคือ สำหรับการคลุมแบบเปิดใดๆ ของปริภูมิXเราสามารถหาตระกูลของโฮโมมอร์ฟิซึมจากชีฟไปยังตัวมันเองที่มีผลรวมเท่ากับ 1 โดยที่โฮโมมอร์ฟิซึมแต่ละตัวมีค่าเป็น 0 นอกสมาชิกบางตัวของการคลุมแบบเปิดนั้น

โดยทั่วไปแล้ว ชีฟละเอียดจะใช้ได้เฉพาะกับปริภูมิเฮาส์ดอร์ฟแบบพาราคอม แพ็กต์ Xเท่านั้น ตัวอย่างทั่วไปได้แก่ ชีฟของเจิร์มของฟังก์ชันค่าจริงต่อเนื่องบนปริภูมิดังกล่าว หรือฟังก์ชันเรียบบน แมนิโฟลด์ เรียบ (เฮาส์ดอ ร์ฟแบบพาราคอมแพ็กต์) หรือโมดูลบนชีฟของวงแหวนเหล่านี้ นอกจากนี้ ชีฟละเอียดบนปริภูมิเฮาส์ดอร์ฟแบบพาราคอมแพ็กต์ยังเป็นชีฟแบบอ่อนและไม่มีวัฏจักร

สามารถหาความละเอียดของชีฟบนแมนิโฟลด์เรียบโดยใช้ชีฟละเอียดโดยใช้ความละเอียดของอเล็กซานเดอร์-สแปเนียร์ได้^{[ 1 ]}

ยกตัวอย่างการประยุกต์ใช้ พิจารณาแมนิโฟลด์จริงXจะมีการแยกชีฟคงที่ ดังต่อไปนี้${\displaystyle \mathbb {R} }$โดยกลุ่มละเอียดของรูปแบบเชิงอนุพันธ์ (เรียบ) :

${\displaystyle 0\to \mathbb {R} \to C_{X}^{0}\to C_{X}^{1}\to \cdots \to C_{X}^{\dim X}\to 0.}$

นี่คือการแก้ปัญหา กล่าวคือ คอมเพล็กซ์ที่แม่นยำของชีฟ โดยทฤษฎีบทของปวงกาเร โคฮอโมโลยีของXที่มีค่าอยู่ใน${\displaystyle \mathbb {R} }$ดังนั้นจึงสามารถคำนวณได้เป็นโคฮอโมโลยีของคอมเพล็กซ์ของรูปแบบเชิงอนุพันธ์ที่กำหนดทั่วโลก:

${\displaystyle H^{i}(X,\mathbb {R} )=H^{i}(C_{X}^{\bullet }(X)).}$

มัดฟางนุ่มๆ${\displaystyle {\mathcal {F}}}$ส่วนเหนือXคือส่วนหนึ่งที่ส่วนใดๆ เหนือ เซต ย่อยปิด ใดๆ ของXสามารถขยายไปเป็นส่วนทั่วโลกได้

ชีฟแบบอ่อนไม่มีวัฏจักรบนปริภูมิเฮาส์ดอร์ฟแบบพาราคอมแพ็กต์

ฟ่อนข้าวทรงกระดก (หรือเรียกว่าฟ่อนข้าวทรงย้วย ) คือฟ่อนข้าวชนิด หนึ่ง${\displaystyle {\mathcal {F}}}$โดยมีคุณสมบัติดังต่อไปนี้: ถ้า${\displaystyle X}$คือ ปริภูมิเชิงโทโพโลยีพื้นฐานซึ่งชีฟถูกกำหนดขึ้น และ

${\displaystyle U\subseteq V\subseteq X}$

ถ้าเป็นเซตย่อยแบบเปิดแผนที่การจำกัดก็จะตามมา

${\displaystyle r_{U\subseteq V}:\Gamma (V,{\mathcal {F}})\to \Gamma (U,{\mathcal {F}})}$

เป็นฟังก์ชันทั่วถึง (surjective ) เช่น ฟังก์ชันการแมปกลุ่ม ( วงแหวนโมดูลฯลฯ)

ชีฟแฟลสค์มีประโยชน์เพราะ (ตามคำนิยาม) ส่วนต่างๆ ของมันสามารถขยายได้ ซึ่งหมายความว่ามันเป็นชีฟที่ง่ายที่สุดในการจัดการในแง่ของพีชคณิตเชิงโฮโมโลยีชีฟใดๆ ก็มีการฝังแบบแคนอนิกในชีฟแฟลสค์ของส่วนต่างๆ ที่อาจไม่ต่อเนื่องทั้งหมดของปริภูมิเอทาเล่และโดยการทำซ้ำนี้ เราสามารถหาการแก้ปัญหาแบบแคนอนิกของแฟลสค์สำหรับชีฟใดๆ ก็ได้การแก้ปัญหาแบบแฟลสค์นั่นคือ การแก้ปัญหาโดยใช้ชีฟแฟลสค์ เป็นแนวทางหนึ่งในการกำหนด โคโฮโมโล ยีของชีฟ

มัดเชือกแบบ Flasque นั้นอ่อนนุ่มและไม่มีวงจร

Flasqueเป็น คำภาษา ฝรั่งเศสที่บางครั้งถูกแปลเป็นภาษาอังกฤษว่าflabby (อ่อนนุ่ม )