אלומה הפיכה

במתמטיקה, ובמיוחד בתורת האלומות, אלומה הפיכה היא אלומה קוהרנטית ${\displaystyle \,{\mathcal {F}}}$ על מרחב מחויג X, כך שקיימת אלומה קוהרנטית ${\displaystyle \,{\mathcal {G}}}$ שהפוכה ל${\displaystyle \,{\mathcal {F}}}$ ביחס לפעולת המכפלה הטנזורית של אלומות של ${\displaystyle \,{\mathcal {O}}_{X}}$-מודולים (כאן, ${\displaystyle \,{\mathcal {O}}_{X}}$ היא אלומת המבנה של X). במילים אחרות, מתקיים ${\displaystyle \,{\mathcal {F}}\otimes {\mathcal {G}}\cong {\mathcal {O}}_{X}}$.