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!