koszul duality

updat

date: 2022-03-17 19:50 modification date: Thursday 17th March 2022 19:50:58 title: koszul duality aliases: [koszul dual]




koszul duality

Koszul duality patterns have influenced several recent developments in algebraic geometry, ranging from the classification of formal deformations by dg Lie algebras and the unobstructedness of Calabi-Yau varieties to purely inseparable Galois theory and derived Galois deformation rings.

attachments/Pasted%20image%2020220401022408.png

attachments/Pasted%20image%2020220317195111.png

attachments/Pasted%20image%2020220317200229.png attachments/Pasted%20image%2020220317202127.png attachments/Pasted%20image%2020220318111127.png

Definition

attachments/Pasted%20image%2020220317200836.png

For augmented k-algebras

attachments/Pasted%20image%2020220317200950.png attachments/Pasted%20image%2020220317201155.png

For modules over associative algebras

attachments/Pasted%20image%2020220317201405.png

Applications

attachments/Pasted%20image%2020220317195722.png attachments/Pasted%20image%2020220317201955.png

Setup

attachments/Pasted%20image%2020220317234336.png

Deformation Problems

attachments/Pasted%20image%2020220317202338.png attachments/Pasted%20image%2020220317202553.png

#AG/deformation-theory of CYs are unobstructed:

attachments/Pasted%20image%2020220317203212.png

Notes

Koszul algebras

Defining the Adams grading: attachments/Pasted%20image%2020220318121020.png attachments/Pasted%20image%2020220318121044.png

attachments/Pasted%20image%2020220318121002.png

Every Koszul algebra is a quadratic algebra: attachments/Pasted%20image%2020220318121255.png

Dualizing a Koszul algebra: attachments/Pasted%20image%2020220318121437.png attachments/Pasted%20image%2020220318121517.png

Examples attachments/Pasted%20image%2020220318121204.png attachments/Pasted%20image%2020220318121219.png

Checking if something is a Koszul algebra using the Poincare series. See PBW basis.

Examples

attachments/Pasted%20image%2020220317201127.png attachments/Pasted%20image%2020220317201136.pngattachments/Pasted%20image%2020220317201918.png

attachments/Pasted%20image%2020220318120805.png

The BGG correspondence: attachments/Pasted%20image%2020220318120701.png

In topology

attachments/Pasted%20image%2020220318135052.png

#todo/untagged #resources #AG/deformation-theory