Koszul self-Ext algebra

ID: koszul-self-ext-algebra

For an ideal generated by a finite regular sequence in a commutative ring, the self-Ext functor algebra is exterior on the degree-one dual generators. Contraction chain maps on the Koszul resolution represent those generators, square to zero, and anticommute. The exterior square-zero relations also apply in characteristic two.

New to topics? Read the docs here!