Arxiv:2012.02739V2 [Math.AG]

arXiv:2012.02739v2 [math.AG] 9 Dec 2020 t oooy ec computing hence homology, its lsia ozlcmlx-alwn o xml o h ihter of theory rich the for example for allowing - complex Koszul classical ramn fthe of treatment generally, more A ope nldso oretecmuaiecs,i a htclear that way a in case, superco the commutative the also of the provides that nature d course which remark percommutative and we paper, of Further, present complete includes the a complex subject. with of the gap in aware of superg a complex exposition not or such Koszul are superalgebra fill the to existing we chance regarding the -, in results [8] construction that see fundamental say - to appeared fair previously is it Although eouinof resolution case M K K etk the take we A h ento fthe of definition The h ozlcmlxmyas ecntutdi o-omttv s non-commutative a in constructed be also may complex Koszul The the like - invariants homological fdrvdfntr like functors derived of remdlsoe omttv ring commutative a over modules free eua oa ig rof or ring, local regular a hi eain omr lsia ocps iefreapethe example for like concepts, classical more to relations their ehd ncmuaieagbai h al 5s ic ti resolution a is it Since ‘50s. early the in algebra commutative in methods -module -module ( ( .TeDa fteSprKsu ope n t oooy8 2 Homology Berezinian its the and and Complex Complex Koszul Koszul References Super Super the Homology of its Dual 5. and The Superalgebra Complex via Koszul Complex Super 4. Koszul The the and Definitions 3. Preliminary 2. Introduction 1. x x → 1 1 S x , . . . , x , . . . , OEO UE OZLCMLXADTEBEREZINIAN THE AND COMPLEX KOSZUL SUPER ON NOTE A M = h nynntiilhmlg ls fteda ftesprK super the thus of of automorphism, dual module the Berezinian the of the of Berezinian the class by homology multiplication non-trivial only the uco.Fnly eso ht ie natmrhs of automorphism an given that, show we Finally, functor. eouinof resolution scnetae nasnl erea eladioopi oΠ to isomorphic and well as degree single a in concentrated is rank Abstract. nti ae ecnie h aeo commutative a of case the consider we paper this In . A F M r r [ x x ntespromttv aeadte ecmueishmlg nt in homology its compute we then and case supercommutative the in ) M , p = A i 1 | st espromttv.W rtpoietecntuto fth of construction the provide first We supercommutative. be to ’s q x , . . . , with L sa as n rv htishmlg scnetae nasnl degre single a in concentrated is homology its that prove and oesenrings Gorenstein ,when ), super i ecntuttesprKsu ope fafe supercommuta free a of complex Koszul super the construct We Ax A A S ete td h ulo h ue ozlcmlxadso th show and complex Koszul super the of dual the study then We . r mdl,adte esuythe study we then and -module, i ,with ], ozlComplex Koszul . n igadelements and ring any ozlcmlxo hsppr hr ti aecerta h ulof dual the that clear made is it where paper, this of complex Koszul or T x R i = i r ariecmuigwe iwda utpiainmaps multiplication as viewed when commuting pairwise are ( A V ,M A, classical S/ Ext . IOENJ N ICRORE RICCARDO AND NOJA SIMONE uecmuaie ndigs,w eii h ro hti sa is it that proof the revisit we so, doing In supercommutative. rjciedimension projective ( ncmuaieagba- spti h ih etn ihnthe within setting right the in put is -, algebra commutative in x and ) i 0 ( x , . . . , ,S A, hs rtitouto sa xml facmlxof complex a of example an as introduction first whose , A 1. ozlcmlx oevr h magical the Moreover, complex. Koszul .I atclr hspoue the produces this particular, In ). ae akt ibr,mrsteavn fhomological of advent the marks Hilbert, to back dates Ext Introduction r Contents ,with ), i ( ,M A, x 1 1 x , . . . , S o any for ) = famdl o t ozlhmlg)-and - homology) Koszul its (or module a of dual R r [ x in complex V 0 eaigti oooygopwith group homology this relating p x , . . . , + h nue rnfrainon transformation induced the , A et famodule a of depth q S su ope sgvnb the by given is complex oszul A hr xssaKsu complex Koszul a exists there , mttv etn o h Koszul the for setting mmutative -module oer ieaue etk the take We literature. eometry ihΠteprt changing parity the Π with , r superalgebra ,i loe h computation the allowed it ], K n tyed nexact an yields it and e opeeyself-contained completely a ∗ ysosteitmt su- intimate the shows ly opeeintersections complete ( tie ramn fthis of treatment etailed tive x of etting, M 1 sprstig have setting” “super a x , . . . , Berezinian k ec fimportant of hence , tishomology its at A = -module self-duality ozlcomplex Koszul e . A/m S i.e. r n calculate and ) n therefore and euniversal he V o n left any for ih( with ftefree the of of fthe of ,m A, x i or, 13 10 a 4 1 ) : 2 SIMONE NOJA AND RICCARDO RE super Koszul complex is not in general isomorphic to the same Koszul complex, but to another one, depending on the numbers of even and odd variables involved. Finally, we stress that the given construction via homology of the super Koszul complex, provides a completely invariant construction of the Berezinian of a free-module, a crucial building block for modern supersymmetric theories in theoretical physics.

The paper is structured as follows. In section two we establish our conventions and we provide the reader with some definitions and preliminary result. In particular, in Theorem 2.1, we use our superalgebraic setting to compute the homology of the classic Koszul complex, which will be used later on in the paper. In section three, we construct the super Koszul complex of a free supercommutative A-module V and we compute its homology in Theorem 3.6. The result is built upon Lemma 3.4 and Lemma 3.5, which compute the homotopy operator of the differential of the super Koszul complex. In this respect, in Remark 3.7 at the end of section three, we address the differences with the classical Koszul homology and we briefly discuss the interesting case of characteristic p in the superalgebraic setting by means on an example. In section four we introduce the dual of the super Koszul complex and we briefly discuss the functoriality of the construction. Then we proceed to compute the homology of the dual of the super Koszul complex in Theorem 4.3, whose proof is based on the ancillary result Theorem 2.1. Finally, in the last section we make contact with the Berezinian module of V : in particular, we prove that given an automorphism of V , a representative of the homology of the dual of the super Koszul complex transforms with the inverse of the Berezinian of the automorphism. This allows to identify the (dual of) Berezinian module of V with the only non-trivial homology module of the dual of the super Koszul complex of V .

Addendum: soon after this paper appeared as a preprint, Prof. Ogievetsky makes us aware that the super Koszul complex and its dual ﬁrst appeared in [9], by him and I.B. Penkov - see Corollary 4 therein -, but a detailed treatment has never indeed appeared in the literature. We would like to thank him for pointing out this reference to us.

2. Preliminary Definitions and the Koszul Complex via Superalgebra In this section we recall some elements of superalgebra that will be used in the following. For a thorough exposition of superalgebra we refer to the classical [8] or the recent [5]. Let A be any superalgebra of characteristic 0 and let V = Ap|q be a free A-supermodule with basis given by {x1,...,xp|θ1,...,θq}, where the Z2-grading, or parity, reads |xi| = 0 and |θj | = 1 for any i =1,...,p and j =1, . . . , q. We deﬁne

. . k R .= Rk with Rk .= Sym V, (2.1) k M≥0 k where Sym ( · ): SModA → SModA is the (super)symmetric k-power functor from the category of A-supermodules to itself. Henceforth we will refer to Symk( · ) simply as the k-symmetric product. We observe that R has a structure of a Z-graded A-algebra, where the products Ri ⊗Rj → Ri+j are induced by the symmetric product, and also of a Z2-graded commutative (or supercommutative) A-algebra - we say that it is an A-superalgebra - where the grading is induced by that of V . It is worth noticing that A is a R-module thanks to the short exact sequence / / / / 0 / I1 / R / A / 0, (2.2)

. k ∼ 1 where I1 = k≥1 Sym V is the (maximal) ideal of R generated by V = Sym V ⊂ R and, hence, A =∼ R /I R . The ideal I1 has the following presentation: 1 L p / / R ⊗ ΠV / I1 / 0, (2.3) where Π : SModA → SModA is the parity changing functor, acting on objects by simply reversing their parity. In the (2.3) the (surjective) morphism p : R ⊗ ΠV → I1 is deﬁned as follows on even ANOTEONSUPERKOSZULCOMPLEXANDTHEBEREZINIAN 3 and odd generators

p / 1 ⊗ πxi ✤ / xi, (2.4) p / 1 ⊗ πθi ✤ / θj.

Notice that p is an odd morphism, as it reverses parity. ∗ . Given V as above we deﬁne its dual as V .= HomA(V, A). This deﬁnes again a supercommutative ∗ A-module with parity splitting given by V = HomA(V, A)0 ⊕ HomA(V, A)1, i.e. the even and odd A-linear maps. For any i ≤ k there exists a pairing given by

h·, ·i : SymiV ∗ ⊗ SymkV / Symk−iV (2.5) ∗ ✤ / ∗ ti ⊗ sk hti ,ski.

If V has basis given by {x1,...,xp|θ1,...,θq} as above, this can be obtained by considering the ∗ dual space V as the space having basis given by {∂x1 , . . . , ∂xp |∂θ1 , . . . , ∂θq }, so that one has the identiﬁcation

SymiV ∗ .= {D : Symk≥iV → Symk−iV : D is a homogeneous operator of order i}. (2.6)

Notice in particular that, for k = i one has the duality pairing SymkV ∗ ⊗ SymkV → A.

Notably, the above superalgebraic setting can be used to reinterpret the construction of the “ordinary” Koszul complex (see for example [7] for an extended treatment of the subject), and compute its homology in a very economic and elegant way. Let us consider indeed a free-module AN for a certain ring or algebra A with a basis given by N|N N N {x1,...,xN }. Then one can can construct the free supermodule A = A ⊕ ΠA with a basis given by {x1,...,xN |y1,...,yN }, where |xi| = 0, i.e. the xi’s are even, and |yi| = 1, i.e. the yi’s . are odd, for any i =1,...,N: in this sense, the yi’s can be deﬁned as yi .= πxi, just by changing N the parity of the generator of A . Notice that the xi’s and the yi’s are not A-linearly dependent. Here, the supermodule AN|N plays the role of V introduced in the above construction, so that R can be written as

N 2 N k R = B ⊕ (B · U) ⊕ (B · Sym U) ⊕ ... ⊕ (B · Sym U)= B ⊗A Sym U. (2.7) k M=0 where we have deﬁned

. . B .= A[x1,...,xN ] and U .= A[y1,...,yN ]. (2.8) Notice that, classically, B and U can be seen respectively as the symmetric and exterior algebra over a set of N generators (over A). Let us deﬁne the following multiplication operator on R:

d : R / R (2.9) N ✤ / . b · F d(b · F ) = ( i=1 xi · yi)(b · F ), where b ∈ B and F ∈ Sym•U. In other words theP action of d corresponds to the multiplication by the element i xi · yi in R: it is immediate to observe the operator is indeed nilpotent, i.e. d ◦ d = 0 because the multiplying element i xi · yi is odd. It follows that d makes R into an P. actual complex R .= K•, where the Z-grading is induced by the (super)symmetric powers of U as P in (2.7) and the pair (K•, d) is a diﬀerentially graded (dg) B-algebra, which we call the (dual of the) Koszul complex associated to AN , or Koszul complex of AN for short. The homology of the Koszul complex is concentrated in degree N as the following theorem shows.

N Theorem 2.1. Let (K•, d) the Koszul complex associate to A for some A. Then the homology of (R•, d) is concentrated in degree N. More in particular, we have

A · y1 ...yN i = N Hi((K , d)) =∼ (2.10) • 0 else 4 SIMONE NOJA AND RICCARDO RE

N K . Proof. We construct a homotopy for d : Ki → Ki+1. To this end let us consider h = i=1 ∂xi ∂yi : Ki → Ki−1. Without loss of generality we can restrict to homogeneous elements b ∈ B and F ∈ Sym•U and we compute: P

N N N K h d(b · F )= ∂xj · ∂yj xi · yi(b · F ) = ∂xj (xib) ∂yj (yiF ) j=1 i=1 ! i,j=1 X X X N

= δij b + xi · ∂xj f δij F − yi · ∂yj F i,j=1 X

= (δiib · F − b · (yi∂yi F ) − (xi∂xi b) · F − (xi · yi)(∂xi ∂yi )b · F ) i X = Nb · F − deg(F ) b · F + deg(b) b · F − dhK (b · F ). (2.11) This leads to hK d + dhK = N − deg(F ) + deg(b). (2.12) Since deg(F ) ≤ N we have that N − deg(F ) ≥ 0, so that if deg(b) > 0 the sum above is never zero, and for any such pair (deg(b), deg(F )) with deg(b) > 0 and 0 ≤ deg(F ) ≤ N we can deﬁne a homotopy operator for d as hK hK .= : K → K . (2.13) deg(b),deg(F ) N − deg(F ) + deg(b) i i−1 The only instance in which the homotopy fails is when deg(F )= N and deg(b) = 0: the generator of the corresponding module is A · y1 ...yn which is clearly in the kernel of d.

The geometrical upshot of this important theorem is that the determinant or canonical module ∧N AN related to AN emerges as the (co)homology of the Koszul complex of AN . We will make use of this result later on in the paper.

3. The Super Koszul Complex and its Homology In this section we deﬁne a super analog of the ordinary, i.e. commutative, Koszul complex, and we shall see that, as in the ordinary commutative setting, also in the supercommutative setting the Koszul complex yields a resolution of A as a R-module, with R given by (2.1). p|q For future convenience, given basis of {x1,...,xp|θ1,...,θq} of V = A , we introduce the basis . . {ℓ1,...,ℓq|χi,...,χp} of ΠV , where the have set ℓj .= πθj and χi .= πxi, so that |ℓj| = 0 and |χi| = 1 for any i = 1,...,p and j = 1,...,q. Notice that if V has dimension p|q, then ΠV has dimension q|p. As a warm-up, with reference to the previous section, let us consider the following composition of maps:

δ δ R ⊗ Sym2ΠV 2 / R ⊗ Sym1ΠV 1 / R, (3.1) where δ1 : R ⊗ ΠV → R is given by the composition of the presentation p : R ⊗ ΠV → I1 of the . ideal I1 ⊂ R with the immersion i : I1 ֒→ R, so that δ1 .= i ◦ p : R ⊗ ΠV → R acts as already deﬁned in equation (2.4), which employing the {ℓj|χi}-notation introduced above now reads:

δ1 / 1 ⊗ ℓj ✤ / θj , (3.2) δ1 / 1 ⊗ χi ✤ / xi.

2 2 The map δ2 : R ⊗ Sym ΠV → R ⊗ ΠV is deﬁned on a basis of R ⊗ Sym ΠV as follows:

δ2 / 1 ⊗ (ℓi ⊙ ℓj )=1 ⊗ (πθi ⊙ πθj ) ✤ / θi ⊗ πθj + θj ⊗ πθi = θi ⊗ ℓj + θj ⊗ ℓi, (3.3) δ2 / 1 ⊗ (ℓi ⊙ χk)=1 ⊗ (πθi ⊙ πxk) ✤ / θi ⊗ πxk + xk ⊗ πθi = θi ⊗ χk + xk ⊗ ℓj δ2 / 1 ⊗ (χk ⊙ χl)=1 ⊗ (πxk ⊙ πxl) ✤ / xk ⊗ πxl − xl ⊗ πxk = xk ⊗ χl − xl ⊗ χk. ANOTEONSUPERKOSZULCOMPLEXANDTHEBEREZINIAN 5

It is straightforward to observe that these elements are in kernel of the map δ1, so that one has that δ2 ◦ δ1 =0. This is not by accident and indeed the above construction can be made general. . k Having already deﬁned R .= ⊕k≥0Sym V , we further introduce

π . π π . k R .= Rk with Rk .= Sym ΠV, (3.4) k M≥0 and in turn, we deﬁne the tensor product of R and Rπ over A:

. π π K• .= K−k = R ⊗A Rk = R ⊗A R . (3.5) k k M≥0 M≥0 π Clearly, K• is an A-superalgebra, as both R and R are. We now introduce the following A- superalgebra homomorphism: π / π δ : K• = R ⊗A R / K• = R ⊗A R (3.6) p q π ✤ / π . π r ⊗ r δ(r ⊗ r ) = i=1 xi ⊗ ∂χi + j=1 θj ⊗ ∂ℓj (r ⊗ r ), where r ∈ R and rπ ∈ Rπ. It is immediate toP observe the followingP facts:

(1) with respect to the supercommutative structure of K•, that is with respect to the Z2- gradation, δ is odd, i.e. |δ| = 1; (2) with respect to the Z-gradation of K• as an R-module, δ is homogeneous of degree −1. π π (3) δ acts as a derivation only on the factor R . It follows that δ is R-linear on K• = R ⊗A R endowed with the structure of an R-module (actually, R-algebra) induces by its factor R. We have the following theorem.

Theorem 3.1. The pair (K•,δ) defines a differentially graded (dg) R-algebra. Proof. We have already observed that δ is R-linear. We need to prove that δ2 .= δ ◦ δ = 0. We 1 observe that K• is generated as an R-algebra by Sym ΠV =∼ ΠV , which is K−1 upon tensoring 2 with R, i.e. looking at K• as an R-algebra. It follows that it is enough to verify that δ (1 ⊗ ℓj)=0 2 and δ (1 ⊗ χi) for any j = 1,...,q and i = 1,...,p, where {1 ⊗ ℓj |1 ⊗ χi} are the generators of ΠV , and then work by induction on the Z-degree of K•. Obviously, one has 2 δ (1 ⊗ ℓj )= δ(xj ⊗ 1)=0, 2 δ (1 ⊗ χj )= δ(θj ⊗ 1)=0, (3.7) which settle the case K−1. Let us now assume that s ∈ K−1 and t ∈ K−k for k ≥ 1 satisfying 2 δ (t) = 0 by induction hypothesis. By Leibniz rule, for an element s · t ∈ K−k−1, one has δ2(s · t)= δ2(s)t + (−1)|δ||δ(s)|δ(s)δ(t) + (−1)|δ||s|δ(s)δ(t) + (−1)2|δ||s|sδ2(t) = (−1)|s|+1δ(s)δ(t) + (−1)|s|δ(s)δ(t)+ sδ2(t) = sδ2(t)=0 (3.8) by induction hypothesis, recalling that |δ| = 1 so that, in particular |δ(s)| = s +1. The previous theorem justifies the following definition. Definition 3.2 (Super Koszul Complex). Given any free A-module V = Ap|q for any superalgebra A, we call the pair (K•,δ) the super Koszul complex associated to V :

δ δ δ δ δ ··· / R ⊗ SymkΠV / ··· / R ⊗ Sym2ΠV / R ⊗ ΠV / R / 0. (3.9) We are interested into studying the homology of the super Koszul complex. In order to do this, we start with some preliminary considerations. • Let f ∈ A[x1,...,xp|θ1,...,θq] = Sym V be a bi-homogeneous polynomial, i.e. homogeneous in the xi’s and in the θj ’s. Then the map f 7→ deg f, which associates to f its bi-homogeneous degree is well-defined. Now, let E be the Euler vector fields, i.e. the differential operator defined p q . E = xi∂xi + θq∂θq . (3.10) i=1 j=1 X X 6 SIMONE NOJA AND RICCARDO RE and acting on polynomials. Then one has the following easy lemma, which mimic the ordinary one for the commutative case.

Lemma 3.3. Let f(x1,...,xp|θ1,...,θq) ∈ A[x1,...,xp|θ1,...,θq] a bi-homogeneous polynomial . p q and let E = i=1 xi∂xi + j=1 θq∂θq be the Euler vector field. Then P P (deg f)f = E(f), (3.11) where deg f is the degree of the bi-homogeneous polynomial f. Proof. Obvious, as if follows from the case of monomials. This ancillary result will be useful in the computation of the homology of the super Koszul complex. K The crucial result in this direction is the construction of a homotopy operator h• : K• → K• for the K K K differential of the super Koszul complex, with hi : K−i → K−i−1 such that hi+1 ◦ δi + δi−1 ◦ hi = idKi . We organize the construction of the homotopy in two consequential lemmas. p|q Lemma 3.4. Let (K•,δ) be the super Koszul complex associated to some V = A with basis as above. Then the operator ε : K• → K• defined as p q . ε = ∂xi ⊗ χi + ∂θj ⊗ ℓj (3.12) i=1 j=1 X X is such that π δ ◦ ε + ε ◦ δ = E ⊗ idRπ + idR ⊗ E , (3.13) for E the Euler vector field acting on R = Sym•V and Eπ the Euler vector field acting on Rπ = Sym∗ΠV .

Proof. We first notice that notice that ε defined as above rises the degree by one in K•, i.e. ε : Ki → Ki+1 since it multiplies by the elements χi and ℓj. Also, it is odd - likewise δ - and it is π symmetric to δ, in that it is a derivation on the first factor of R ⊗A R = K•, whilst δ was a π derivation on the second factor of R ⊗A R = K•. Let us now compute the commutator [δ, ε]= δ ◦ ε + ε ◦ δ. By applying the definitions, one has that p q

π π δ ◦ ε = xi∂xi ⊗ idR + θj ∂θj ⊗ idR , (3.14) i=1 j=1 X X p q

ε ◦ δ = idR ⊗ χi∂χi + idR ⊗ ℓj ∂ℓj , (3.15) i=1 j=1 X X so that one has p q p q

[δ, ε]= xi∂x + θj ∂θ ⊗ idRπ + idR ⊗ χi∂χ + ℓj ∂ℓ , (3.16)  i j   i j  i=1 j=1 i=1 j=1 X X X X which in turn can be rewritten as    π [δ, ε]= E ⊗ idRπ + idR ⊗ E , (3.17) where E and Eπ are the Euler vector fields acting on R and Rπ respectively. Upon a suitable normalization, the operator ε defined in the previous lemma allows us to write the homotopy for the Koszul complex, as we show in the following. p|q Lemma 3.5 (Homotopy of δ). Let (K•,δ) be the super Koszul complex associated to some V = A . 1 with basis as above and let ε : K• → K• be defined as in Lemma 3.4. Then the operator εk,i = k+i ε with . 1 k i / k−1 k+1 εk,i = k+i ε : Sym V ⊗ Sym ΠV Sym V ⊗ Sym V, (3.18) is such that

δ ◦ εk,i + εk+1,i−1 ◦ δ = idR ⊗ idRπ . (3.19) K . In particular, h• = ⊕k,i≥0εk,i : K• → K• with K . π π hi = ⊕k≥0εk,i : K−i = R ⊗A Ri −→ K−i−1 = R ⊗A Ri+1 (3.20) ANOTEONSUPERKOSZULCOMPLEXANDTHEBEREZINIAN 7 deﬁnes a homotopy for the diﬀerential of the super Koszul complex.

π π Proof. Notice that εk,i : Rk ⊗ Ri → Rk−1 ⊗ Ri+1 is just a normalization of ε. Further, notice π that, symmetrically, the Koszul diﬀerential δ acts on the homogeneous factors of K• = R ⊗A R π π as δ : Rk ⊗ Ri → Rk+1 ⊗ Ri−1. We can thus consider the following diagram

/ π / δi / / ··· Rk−1 ⊗ Ri+1 Rk ⊗ Ri Rk+1 ⊗ Ri−1 ··· (3.21) ♣ ♣ εk,i ♣♣ ♣♣ ♣♣♣ ♣♣ ♣ ♣ε♣k+1,i−1 x ♣♣♣ x ♣♣ ♣x ♣ δi−1 ♣x ♣ / π / / / ··· Rk−1 ⊗ Ri+1 Rk ⊗ Ri Rk+1 ⊗ Ri−1 ··· We ﬁrst observe that, as for the normalization, one has 1 ε = ε = ε . (3.22) k,i k + i k+1,i−1 Therefore, it follows from the computation of the commutator in the previous lemma 3.4 that we can set

1 1 π δ ◦ ε + ε ◦ δ = [δ, ε]= (E ⊗ id π + id ⊗ E ) . (3.23) k,i k+1,i−1 k + i k + i R R π Applying lemma 3.3, since the degrees corresponds to the powers k and i for Rk and Ri respectively, one gets,

1 π k + i E ⊗ id π + id ⊗ E = id ⊗ id π = id ⊗ id π , (3.24) k + i R R k + i R R R R establishing the ﬁrst part of the lemma. For the second part it is enough to observe that the (−1)- i th terms of the super Koszul complex can be written as K−i = R ⊗A Sym ΠV = k≥0 Rk ⊗A Rπ. i L The previous lemma allows to compute the homology of the super Koszul complex, the main result of the present section.

Theorem 3.6 (Homology of K•). The homology of the super Koszul complex (K•,δ) is given by A i =0 Hi((K ,δ)) =∼ (3.25) • 0 i 6=0. In particular (K•,δ) is an exact resolution of A endowed with the structure of R-module. K Proof. It is enough to observe that the homotopy operator h• : K• → K• introduced in the previous K lemma 3.5 is deﬁned for k + i > 0. It follows that, when h• is deﬁned, i.e. for any k + i ≥ 0, we have

Hi(K•)k =0, (3.26) where Hi(K•)k is the R-degree k-component of Hi(K•), with the structure of Z-graded R-module inherited by that of K•. The only homology group of K• which is not annihilated by the homotopy corresponds to the choice i =0= k, i.e. H0(K•)0. In this case the complex reads ··· / 0 / 0 / A / 0, (3.27) so that H0(K•)0 = A, and the result follows. Remark 3.7. Before we pass to the next section, a remark is now in order. Indeed the ring R entering in the construction of the super Koszul complex is a ring of polynomials in variables that are by no means a regular sequence in general, due to the presence of odd variables. This is the reason why the usual induction proof - that can be found for example in [7] - of the analog of Theorem 3.6 in the commutative case does not extend to the supercommutative case, thus leading us to make use of the homotopy previously constructed in Lemmas 3.4 and 3.5. It is worth noticing by the way that the above computation of the homology breakdown in the case the characteristic of A is diﬀerent than zero, leading to an interesting and richer scenario as the following example shows. 8 SIMONE NOJA AND RICCARDO RE

Example 3.8 (Homology of Super Koszul Complex in char(A)= p). Let us set char(A) = 3, for . example A .= Z3 and let us consider two variable, x even and θ odd and set, as above, χ = πx and Z Z Z1|1 ℓ = πθ. We therefore have V = 3x ⊕ 3θ = 3 and hence . • π . • R .= Sym V = Z3[x|θ], R .= Sym ΠV = Z3[ℓ|χ]. (3.28) π This leads to consider the super Koszul complex given by R⊗ZR = Z3[x, ℓ|χ,θ], having diﬀerential deﬁned by δ = x∂χ + θ∂ℓ. In the notation (K•,δ) we have that / δ / δ / δ / / ... / K−3 / K−2 / K−1 / K0 / 0, (3.29) corresponds to

δ δ δ ... / R · ℓ3 ⊕ R · ℓ2χ / R · ℓ2 ⊕ R · ℓχ / R · ℓ ⊕ R · χ / R / 0. (3.30)

2 2 Now consider the element θℓ ∈ K−2: it is straightforward to check that it is a cycle, i.e. δ(θℓ ) = 0. . 3 2 On the other hand, for any element τ ∈ K−3, with τ .= f(x|θ) ℓ + g(x|θ) ℓ χ ∈ K−3, one has that 2 2 δ(τ)=2θg(x|θ)ℓχ + xg(x|θ)ℓ , so that in particular θℓ is not a boundary, i.e. there is no τ ∈ K−3 2 3 such that θℓ 6= δ(τ) and therefore [θℓ ] ∈ H2((K•,δ)) 6=0.

4. The Dual of the Super Koszul Complex and its Homology p|q Given the super Koszul complex (K•,δ) associated to V = A , we can deﬁne its dual via • ∗ ∗ . the functor HomR(−, R), for R = Sym V as above. Doing so, one gets the pair (K•,δ ) = (HomR(K•, R),HomR(δ, R)). Deﬁning

π∗ . π∗ π∗ . k ∗ Rk .= Ri with Rk .= Sym ΠV (4.1) k M≥0 ∗ the complex K• is thus given by ∗ ∗ π∗ π∗ K• = Kk = R ⊗A Rk = R ⊗A R (4.2) k k M≥0 M≥0 π∗ . Notice that R is a A-superalgebra generated by the elements {∂ℓ1 , . . . , ∂ℓq |∂χ1 , . . . , ∂χp } for ℓi = . πθi and χj .= πxj for i =1,...,q and j =1, . . . , p. ∗ ∗ ∗ The operator δ : K• → K• is formally identical to δ : K• → K•, the differential of the super Koszul complex introduced above, but what is crucial to note is that δ∗ should now be seen as the π∗ multiplication operator by the odd element j xj ⊗∂χj + i θi ⊗∂ℓi in the superalgebra R⊗A R . Once this is acknowledged, we still write δ∗ as P P p q ∗ . δ = xj ⊗ ∂χj + θi ⊗ ∂ℓi . (4.3) j=1 i=1 X X Further, note that since δ∗ acts as the multiplication by an odd element, it is automatically nilpotent, i.e. δ∗ ◦ δ∗ = 0: this justifies the following definition. Definition 4.1 (Dual of the Super Koszul Complex). Given any free A-module V = Ap|q for any ∗ ∗ superalgebra A, we call the pair (K•,δ ) the dual of the super Koszul complex associated to V . ∗ ∗ ∗ ∗ ∗ 0 / R δ / R ⊗ ΠV ∗ δ / R ⊗ Sym2ΠV ∗ δ / ... δ / R ⊗ SymkΠV ∗ δ / ... (4.4) Before we go on and study the homology of this complex, let us briefly discuss the functoriality of ∗ the above construction, as to understand the properties of the functor V 7→ K•. • Given two A-supermodules V and W , applying the functor Sym (−): SModA → SAlgA, one gets V . i W . i the A-superalgebras R = i≥0 Sym V, and R = i≥0 Sym W . As for the arrows, given a homomorphism f : V → W of A-supermodules, the action of the functor yields a supercommutative A-algebra morphism: L L f 7−→ Sym•(f): RV −→ RW . (4.5) Likewise, considering a second homomorphism f π : ΠV → ΠW , upon applying Sym•(−) to the direct sum f ⊕ f π : V ⊕ ΠV → W ⊕ ΠW , one gets π • π V Vπ W Wπ f ⊕ f 7−→ Sym (f ⊕ f ): R ⊗A R −→ R ⊗A R , (4.6) ANOTEONSUPERKOSZULCOMPLEXANDTHEBEREZINIAN 9 which corresponds to a morphism between the super Koszul complex associated to V - we call it V W K• - and the super Koszul complex associated to W - we call it K• :

V W . • π V W f• = Sym (f ⊕ f ): K• −→ K• . (4.7) W Let us apply the functor HomRW (−, R ): one has the following commutative triangle

V W f• KV / KW (4.8) • ❉ • ❉❉ ②② ❉❉ ②② W V ❉❉ ②② W W h (K• ) ❉" ②| ② h (K• ) RW . The action on the functor on the morphisms gives the following map

V W ∗ W W / V W (f• ) : HomRW (K• , R ) HomRW (K• , R ) (4.9)

W W ✤ / W V . W W V W h (K• ) h (K• ) = h (K• ) ◦ f• ,

V W ∗ . V W W ∗ where we have deﬁned (f• ) = HomRW (f• , R ). It follows that the functor V 7→ K• is not strictly a contravariant functor. Indeed observing that ∗ V W V V W V W HomRW (K• , R )= HomRV (K• , R ) ⊗RV ⊗R = K• ⊗RV R , (4.10) the previous (4.9) reads

V W ∗ W ∗ / V ∗ W (f• ) : K• K• ⊗RV R . (4.11) Nonetheless, let us assume that f ∈ Aut(V ) - for example, f is a change of basis. Then, in this V ∗ V ∗ V ∗ case, we have a map (f• ) : K• −→ K• . More precisely one ﬁnds V ∗ • π t V ∗ V ∗ (f• ) = Sym (f ⊕ (f ) ): K• −→ K• . (4.12) V ∗ V V ∗ V ∗ V ∗ and one gets a contravariant functor V 7→ K• with (f• ◦ g• ) = (g• ) ◦ (f• ) , as can be readily checked. Finally, notice that because of their particular form, the homological operators δ and δ∗, diﬀerential of the super Kozsul complex and its dual respectively, are invariant under change of basis, i.e. automorphisms of V .

As done in the previous section for the super Koszul complex (K•,δ), we are now interested into ∗ ∗ computing the homology of the dual of the super Koszul complex (K•,δ ). ∗ To this end, recalling that the operator δ = i xi ⊗ ∂χi + j θj ⊗ ∂ℓj is now looked as a ∗ π∗ multiplication operator in the algebra K• = R ⊗ R , one immediately gets an inclusion of ideals. Indeed, clearly, (δ∗)2 = 0, so the element correspondingP to P p q ∗ . ∗ δ = xj ⊗ ∂χj + θi ⊗ ∂ℓi ∈ V ⊗ ΠV (4.13) j=1 i=1 X X is in the kernel of δ∗ seen as the multiplication operator, i.e. δ∗ ⊆ ker(δ∗). On the other hand it is immediate to observe that also the element

. q p ∗ D = θ1 ...θq ⊗ ∂χ1 . . . ∂χp ∈ Sym V ⊗ Sym ΠV (4.14) is in the kernel of δ∗, since both the factor in SymqV and the factor in SympΠV ∗ are completely antisymmetric and when they get multiplied by another odd term coming from δ they yield zero, i.e. D ∈ ker(δ∗). We therefore have the following inclusion of ideals (δ∗, D) ⊆ Ker(δ∗), (4.15) where, as it is customary, (δ∗, D) denotes the ideal generated by the elements δ∗ and D. We now prove that such an inclusion is indeed an equality. Lemma 4.2. Let (K∗,δ∗) the dual of the super Koszul complex associated to V = Ap|q for some A. Then ker(δ∗) = (δ∗, D). In particular ker(δ∗)/im (δ∗) = (D). (4.16) 10 SIMONE NOJA AND RICCARDO RE

Proof. The proof of this lemma relies on the ordinary Koszul complex construction of the ﬁrst section. Let us start simplifying the notation. It can be observed that, by deﬁnition

π∗ R ⊗A R = A[x1,...xp, ∂ℓ1 , . . . , ∂ℓq |∂χ1 , . . . , ∂χp ,θ1,...,θq], (4.17) where the even and odd generators have been grouped together. Posing N .= p + q we deﬁne

. (u1,...,uN ) = x1,...xp, ∂ℓ1 , . . . , ∂ℓq , . (ψ1,...,ψN ) = ∂χ1 , . . . , ∂χp ,θ1,...,θq , (4.18) so that, upon this redeﬁnition, δ∗ and D read

N ∗ . δ .= uiψi ∈ A[u1,...,uN , ψ1,...,ψN ], i=1 X N

D = ψi ∈ A[u1,...,uN , ψ1,...,ψN ]. (4.19) j=1 Y . as elements of the ring A[u1,...,uN , ψ1,...,ψN ]. Let us pose B .= A[u1,...,uN ] so that one has A[u1,...,uN , ψ1,...,ψN ]= B[ψ1,...,ψN ]. By anticommutativity of the ψi’s one has

B[ψ1,...,ψN ]= B ⊕ B · ψi ⊕ ... ⊕ B · (ψ1 ...ψN ), (4.20) i=1 X but this is nothing but the ordinary (dual of the) Koszul complex K• introduced above in (2.7) and the result follows from theorem 2.1, that proved that the homology is generated over A by the element D = ψ1 ...ψN .

Recalling that we have proved in the previous section that the super Koszul complex K• is an exact i . i i ∗ ∗ resolution of A seen as R-module, and that ExtR(A, R) = H (HomR(K•, R)) = H ((K•,δ )), we can ﬁnally compute the homology of the dual of super Koszul complex.

∗ ∗ ∗ Theorem 4.3 (Homology of K•). The homology of the dual of the Koszul supercomplex (K•,δ ) is given by Πp+qA i = p Exti (A, R)= (4.21) R 0 else. ∗ In particular, in the above notation, a generator is given by the element θ1 ...θq ⊗∂χ1 . . . ∂χp ∈ Kp. Proof. Recovering the original notation, one has the following correspondence

∗ π∗ ψ1 ...ψN = θ1 ...θq ⊗ ∂χ1 . . . ∂χp ∈ K• = R ⊗A R (4.22) q p ∗ More precisely one sees that θ1 ...θq ⊗ ∂χ1 . . . ∂χp ∈ Sym V ⊗A Sym ΠV , which implies that ∗ ∗ θ1 ...θq ⊗ ∂χ1 . . . ∂χp ∈ Kp. By lemma 4.2 above, it generates the cohomology of K• as a A- supermodule and its parity depends on the sum N = p + q, so that the conclusion follows.

5. Super Koszul Complex and the Berezinian p We now aim at interpreting the main result of the previous section, and we show that ExtR(A, R) transforms exactly as the (inverse of the) Berezinian module of V . More precisely, we prove the following theorem.

Theorem 5.1. Let φ ∈ AutA(V ) be an automorphism of the free A-supermodule V . Then the p induced automorphism ϕ ∈ AutA(ExtR(A, R)) is given by the multiplication by the inverse of the Berezinian of the automorphism Ber(ϕ)−1, b p / p ϕ : ExtR(A, R) ExtR(A, R) (5.1) D ✤ / Ber(ϕ)−1 · D b ANOTEONSUPERKOSZULCOMPLEXANDTHEBEREZINIAN 11

Proof. Let us ﬁx the base {x1,...,xp|θ1,...,θq} for V . Then, ϕ ∈ AutA(V ) is represented by an invertible matrix [M] ∈ GL(p|q, A) A B a b [M(ϕ)] = = hi hj (5.2) αβ C D c d ki kj p q q p where A ∈ GL(p, A0),D ∈ GL(q, A0) are even and B ∈ Hom(A , A ), C ∈ Hom(A , A ) are odd submatrices, such that one has the following transformations p q ′ . xi .= ϕ(xi)= xhahi + θkcki, (5.3) h=1 k=1 Xp Xq ′ . θj .= ϕ(θj )= xhbhj + θkdkj . (5.4) h k X=1 X=1 We recall that if ϕi for i = 1, 2 are automorphisms of V , we have a contravariant functorial ∗ ∗ ∗ ∗ ∗ construction (see the remarks around (4.12)), such that (ϕ1 ◦ ϕ2) = φ2 ◦ ϕ1 : K• → K•, therefore the product of two matrices M(ϕ1) · M(ϕ2) ∈ GL(p|q, A) corresponds to the product of two p p ∗ elements ϕM(ϕ2) · ϕM(ϕ1) acting as automorphisms of ExtR(A, R)= H (K•). We can thus use the decomposition b A bB 1 BD−1 A − BD−1C 0 1 0 = (5.5) C D 0 1 0 D D−1C 1 to reduce ourselves to the following cases. A 0 1 0 1 ∗ (1) : M = , (2) : M = , (3) : M = . (5.6) 0 D ∗ 1 0 1

Let us consider the class of the generator of the homology, we call it D = θ1 ...θq ⊗ ∂χ1 . . . ∂χp ∈ p ExtR(A, R) as above, and let us examine its transformation under automorphisms of the form (1), (2), (3) separately. (1) In this case, it is simply to see that D transforms as det(D) · det(A)−1, as one has factorization of the transformations of the θ’s - contributing with det(D) and of the ∂χ’s - contributing with det(A)−1. (2) In this case one can observe that a generic automorphism of this forms is a composition of elementary automorphisms of the forms ′ xi = xi + αθk, α ∈ A1 (5.7) ′ xl = xl, l 6= i, (5.8) ′ θj = θj . (5.9) It follows that one ﬁnds the following transformations:

∂ = ∂ ′ , ∀l (5.10) xl xl ∂ = ∂ ′ , j 6= k (5.11) θj θj ∂ = ∂ ′ + α∂ ′ . (5.12) θk θk xi

Thus, recalling that ∂χi = ∂πxi and that ∂ℓj = ∂πθj , these are rewritten as ∂ = ∂ ′ , ∀l (5.13) χl χl ∂ = ∂ ′ , j 6= k (5.14) ℓj ℓj ∂ = ∂ ′ + α∂ ′ . (5.15) ℓk ℓk χi In particular, one sees that D is invariant under these transformation. (3) This is similar to the previous case. Indeed it can be observed again that a generic automorphism of this form is a composition of elementary automorphisms of the forms ′ xi = xi (5.16) ′ θj = θj + βxk, β ∈ A1, (5.17) ′ θm = θm, m 6= j. (5.18) 12 SIMONE NOJA AND RICCARDO RE

Thus, similarly, one ﬁnds that

∂ = β∂ ′ + ∂ ′ , (5.19) χk ℓj χk

′ ∂χi = ∂χi , i 6= k (5.20) ∂ = ∂ ′ ∀j. (5.21) ℓj ℓj It follows that the transformations reads

′ ′ ′ ′ θ1 ...θq ⊗ ∂χ1 . . . ∂χp = θ1 ...θq ⊗ ∂χ1 . . . ∂χp +

j+1 ˆ ′ ′ + (−1) βxkθ1 ... θj ...θq ⊗ ∂χ1 . . . ∂χp + k+1 ′ ′ ˆ + (−1) θ1 ...θq ⊗ ∂ℓj ∂χ1 ... ∂χk . . . ∂χp , (5.22) where the element marked with a hat is missing. Noticing that the second and the third elements p are of lower degree either in the θ’s or in the ∂χ’s with respect to the generator D ∈ ExtR(A, R), hence they do not contribute to the transformation of the homology class, which is again invariant. −1 −1 Combining the above cases, it follows that one has that ϕM(ϕ) = det(D) det(A−BD C) , which is nothing but Ber(M(ϕ))−1 as claimed. b The previous theorem shows that an automorphism ϕV ∈ AutA(V ) induces an automorphism p ϕˆ ∈ AutA(ExtR(A, R)) that is given by the multiplication of the inverse of the Berezinian of the trasformation, p • / p • ϕV : ExtSym•V (A,Sym V ) ExtSym•V (A,Sym V ) (5.23) / −1 D ✤ / Ber(ϕV ) · D. b ∗ Clearly, if one considers instead of V its dual V = HomA(V, A) and the related homology of the dual of the super Koszul complex one finds p p ∗ • ∗ / • ∗ ϕV : ExtSym•V ∗ (A,Sym V ) ExtSym•V ∗ (A,Sym V ) (5.24) ∗ / ∗ D ✤ / Ber(ϕV ) · D . b This remark naturally lead to the following definition. Definition 5.2 (Berezinian of a Free A-Module). Let V be a free A-supermodule of rank p|q for A any superalgebra. Then we call the Berezinian of V the free A-supermodule of rank δ0,(p+q)mod2|δ1,(p+q)mod2 given by p . ∼ p+q Ber(V ) = ExtR(A, R) = Π A, (5.25) . • ∗ . k ∗ where R = SymAV and A = R/Imax for Imax = k≥0 Sym V . Then, by the previous remark, an automorphism ϕL: V → V induces an automorphism Ber(ϕ): Ber(V ) → Ber(V ) which is given by the multiplication by Ber(φ) and such that Ber(ϕ1 ◦ ϕ2)= Ber(ϕ2)Ber(ϕ1).

As a conclusive remark, let us stress that this construction “parallels” in superalgebra the ordinary construction of the determinant or canonical module of a free module V via homology of its related Koszul complex. In this sense, it should be clear the deep meaning behind the “slogan” that the Berezinian replaces the determinant when passing from a commutative setting to a supercommutative setting: notice further that the provided construction of the Berezinian module via super Koszul complex reduces to the construction of the ordinary determinant module via Koszul complex if V purely even, i.e. it is of rank p|0. Furthermore, notice that the construction is readily generalizable from algebra to geometry, just by substituting the Ext-module with the Ext-sheaf. In particular, over a supermanifold M .= (|M |, OM ) (see [1, 5, 8]) the structure sheaf OM plays the role of A, while the free supermodule V becomes a locally-free sheaf E of rank p|q over M (see [3]). In particular, the choice of . 1 E .=ΩM , the cotangent sheaf of M , leads to what is usually called the Berezinian sheaf of M , i.e. M . p • 1 ∗ Ber( ) .= Ext • 1 ∗ (OM ,Sym (ΩM ) ), locally generated by Sym (ΩM ) p M . • 1 ∗ D = dx1 . . . dxp ⊗ ∂θ1 . . . ∂θq ∈Ber( ) = Ext • 1 ∗ (OM ,Sym (ΩM ) ) (5.26) Sym (ΩM ) ANOTEONSUPERKOSZULCOMPLEXANDTHEBEREZINIAN 13 if {x1,...,xp|θ1,...,θq} are local coordinates for M . Notice that this holds true in any geometric category, either smooth, analytic of algebraic. References

[1] C. Bartocci, U. Bruzzo, D. Hernàndez Ruiperez, The Geometry of Supermanifolds, Reidel (1991) [2] S.L. Cacciatori, S. Noja, R. Re, The Unifying Double Complex on Supermanifolds, arXiv:2004.10906 [3] C. Carmeli, R. Fioresi, V.S. Varadarajan, Super Bundles, Universe, 4 (2018) [4] R. Catenacci, C. Cremonini, P.A. Grassi, S. Noja, On Forms, Cohomology, and BV Laplacians in Odd Sym- plectic Geometry, arXiv:2004.02890 [5] C. Carmeli, L. Caston, R. Fioresi, Mathematical Foundations of Supersymmetry, EMS (2001) [6] P. Deligne et al., Quantum Field Theory and Strings: a Course for Mathematicians, Vol 1, AMS (1999) [7] D. Eisenbud, Commutative Algerbra - with a view toward Algebraic Geometry, Springer GTM (1995) [8] Yu. I. Manin, Gauge Fields and Complex Geometry, Springer-Verlag, (1988) [9] O.V. Ogievetskii, I.B. Penkov, Serre Duality for Projective Supermanifolds, Funct. Anal. its Appl. 18 68-70 (1984) [10] I. B. Penkov, D-Modules on Supermanifolds, Invent. Math. 71, 501-512, (1983) [11] D. Hernàndez Ruiperez, J. Muñoz Masque, Construction Intrinsique du faisceau de Berezin d’une varietè graduèe, C. R. Acad. Sc. Paris 301 915-918 (1985)

Universitat¨ Heidelberg Current address: Im Neuenheimer Feld 205, 69120 Heidelberg, Germany Email address: [email protected] Universita` degli Studi dell’Insubria Current address: Via Valleggio 11, 22100 Como, Italy Email address: [email protected]