---
date: 2022-03-15 10:37
modification date: Tuesday 15th March 2022 10:37:47
title: conormal sequence
aliases: [conormal sequence, conormal sheaf]

---


---

- Tags 
	- #AG/birational
- Refs:
	- #todo/add-references
- Links:
	- [Cartier divisor](Unsorted/Cartier%20divisor.md)
	- [dualizing sheaf](dualizing%20sheaf)
	- [canonical divisor](canonical%20divisor)
	- [ideal sheaf](Unsorted/ideal%20sheaf.md)
	- [Euler sequence](Unsorted/Euler%20sequence.md)
	- [[computations of canonicals]]

---

# conormal sequence

![](attachments/Pasted%20image%2020220315103750.png)


# adjunction formula

![](attachments/Pasted%20image%2020220601153927.png)

Proof: see [Fundamental SESs in algebraic geometry](Unsorted/Fundamental%20SESs%20in%20algebraic%20geometry.md), using the conormal sequence:
![](attachments/Pasted%20image%2020220905132043.png)

![](attachments/Pasted%20image%2020220208173620.png)

# Symplectic adjunction formula

![](attachments/Pasted%20image%2020220425180314.png)