Arxiv:2106.01999V2 [Math.QA] 21 Jun 2021 Category

arXiv:2106.01999v2 [math.QA] 21 Jun 2021 category. 2020 Frob are algebras Clifford braided and algebras exterior References Braided algebras Clifford braided 7.3. On algebras exterior 7.2. algebras Braided Clifford braided to 7.1. Application 7. directions Further result 6.3. Main categories algebras 6.2. monoidal graded Frobenius rigid in algebras Frobenius 6.1. categories Filtered monoidal rigid in 6. algebras categories Frobenius monoidal in categories 5. algebras monoidal Quotient for constructions graded 4. Associated categories graded and 3. Filtered 2.2. categories Preliminaries monoidal in structures 2.1. Algebraic 2. .Introduction 1. e od n phrases. and words Key ITRDFOEISAGBA NMNIA CATEGORIES MONOIDAL IN ALGEBRAS FROBENIUS FILTERED ahmtc ujc Classification. Subject Mathematics Abstract. nsmercrgdmnia aeois eea direction Several t that categories. proposed. show monoidal and rigid algebras, symmetric achieve exterior in whic braided to algebras, al.’s used Clifford et braided then Bespalov discussing wor are by on interest results F builds independent these be this of to category form; results monoidal Frobenius two rigid categorical a of in existence algebra an for Gwillian-Pavl of conditions and functo al., graded B et associated Galatius of Fro of monoidal Ardizzoni-Menini, is a version field construct categorical a first over we a algebra goal, Frobenius establishing a of of deformation goal filtered main the with edvlpfitrdgae ehiusfragba nmonoi in algebras for techniques filtered-graded develop We soitdgae ler,fitrdagba rbnu alg Frobenius algebra, filtered algebra, graded associated HLE ATNADHRHTYADAV HARSHIT AND WALTON CHELSEA 80,1W0 81,15A66. 18M15, 16W70, 18M05, Contents 1 v et epoueequivalent produce we Next, ov. o ute netgto are investigation further for s r lee eomtosof deformations filtered are h ,bidn npirwrsof works prior on building r, eeaeFoeisalgebras Frobenius are hese eisa el oad the Towards well. as benius fFcsSinr These Fuchs-Stigner. of k oeisi em fthe of terms in robenius naes16 eut A result: 1967 ongale’s u ol eillustrate We goal. our a categories dal enius ba ii monoidal rigid ebra, 29 29 28 27 26 26 24 23 23 20 17 12 7 4 4 2 2 CHELSEAWALTONANDHARSHITYADAV

1. Introduction This article is a study of ﬁltered-graded techniques for algebras in monoidal categories

(C, ⊗, ½). Unless stated otherwise, we assume that all algebras A are N0-ﬁltered, where N0 is the monoid of natural numbers including 0, with ﬁltration F so that A = S F (i). A i∈N0 A

We say that a filtered algebra A is connected if FA(0) = ½, and we refer to A as a filtered deformation of its associated graded algebra gr(A). This terminology is standard for the monoidal category, Veck, of finite-dimensional vector spaces over a field k, and the framework for filtered and graded algebras in general monoidal categories is developed further in this work. To motivate our main result, recall that in Veck many algebraic properties of (graded) algebras lift to filtered deformations, including being an integral domain, prime, Noetherian [MR01, Section 1.6], and in some cases, being Calabi-Yau [BT07, WZ13]. Here, we investigate when the Frobenius condition for graded algebras in certain monoidal categories lifts to filtered deformations. Namely, our goal is to generalize the following result of P. R. Bongale for algebras in Veck.

Theorem 1.1. [Bon67, Theorem 2] Let A be a ﬁnite-dimensional, connected, ﬁltered k- algebra. If the associated graded algebra gr(A) is a Frobenius k-algebra, then so is A.

We achieve a generalization of her result for algebras in abelian, rigid monoidal categories, which includes algebras in Veck (i.e., k-algebras), and algebras in categories of ﬁnite-dimensional representations of ﬁnite-dimensional (weak, quasi-)Hopf algebras H over k (i.e., H-module algebras over k).

Theorem 1.2 (Theorem 6.5). Let C be an abelian, rigid monoidal category, and let A be a connected filtered algebra in C with finite monic filtration. If the associated graded algebra gr(A) is a Frobenius algebra in C, then so is A.

One application of this theorem is to further the study of open-closed 2-dimensional topological quantum field theories; see [Laz01] and [LP09, Section 2.4]. Moreover, deformations of Frobenius algebras (over a field) are used to find polynomial solutions to the Witten-Dijkgraaf-Verlinde-Verlinde equation, which in turn describe the moduli space of topological conformal field theories [Dub96]. To prove Theorem 1.2, we first present a framework to study monoidal categories Gr(C) (resp., Fil(C)) consisting of graded (resp., filtered) objects in C [Section 2.2], as well as algebraic structures within these categories [Section 2.1, Definition 2.27]. Previous works that prompted this framework include [Sch96], [BD97] [AM12], [HM16, Section 3.3], [GP18], and [GKRW18, Section 5]. Then, the associated graded construction is established in Section 3, which includes the definition of an associated graded functor and the result below.

Theorem 1.3 (Theorem 3.8, Proposition 3.17). If C is an abelian, monoidal category with ⊗ biexact, then the associated graded functor gr : Fil(C) → Gr(C) given in Deﬁnition 3.6 is monoidal and is right exact.

Thus, the associated graded functor, gr, yields a canonical graded algebra in C from a filtered algebra in C. The results in Sections 2 and 3 also hold for braided monoidal categories C and (graded, filtered) commutative algebras in C [Definitions 2.9–2.11]. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 3

Next, we establish equivalent conditions for an algebra in an abelian, rigid monoidal category to be Frobenius, building on previously known equivalent conditions. This is of independent interest due the prevalence of Frobenius algebras in rigid monoidal categories in generalizations of Morita equivalence [M03,¨ Yam04, MMP+20], in computer science [CPV13], and in topological quantum ﬁeld theory and conformal ﬁeld theory [Seg01, Moo04, KS11, Hen14]. For the latter, see also [SFR06] for an overview of works by Fuchs-Runkel-Schweigert and others on this topic including [FRS02, FRS04a, FRS04b, FRS05, FFRS06]. In fact, our result below builds on previous work of Fuchs-Stigner [FS08].

Theorem 1.4 (Theorem 5.3). Take C an abelian, rigid monoidal category, and let A be an algebra in C. We have that A is Frobenius in the sense that it is admits a compatible coalgebra structure as in Deﬁnition 2.5 if and only if A admits a Frobenius form as in Deﬁnition 5.4.

After we present some preliminary results on Frobenius graded algebras in abelian, rigid monoidal categories in Section 6.1, Theorems 1.3 and 1.4 are then used to achieve Theo- rem 1.2 in Section 6.2. In Section 6.3, we highlight several directions for further investigation on Theorem 1.2, including connections to [Bon68, LT19] and questions on additional features of the associated graded functor of Theorem 1.3. We end this work by considering certain filtered deformations of braided exterior algebras, namely braided Clifford algebras. Braided exterior algebras were first introduced in a braided category of vector spaces [Wor89], and have also been examined in certain representation categories of quantum groups; see, e.g., [BZ08]. Moreover, braided Clifford algebras were studied previously in such categories as well [DO94, Ozi95, Mat19]. Here, we will show how one can construct filtered deformations of Bespalov et al.’s braided exte-

rior algebras Λc(V ) in an arbitrary abelian, symmetric, rigid monoidal category (C, ⊗, ½,c) [Deﬁnition 7.4] [BD97, BKLT00]. Here, V is an object of C. In particular, we propose a combinatorial problem towards the construction of braided Cliﬀord algebras Clc(V,B), at-

tached to a symmetric form B : V ⊗ V → ½, in such categories [Problem 7.5, Deﬁnition 7.6]. We also establish the following result.

Proposition 1.5 (Corollary 7.8, Proposition 7.10). Let C := (C, ⊗, ½,c) be an abelian, symmetric, rigid monoidal category, and take an object V in C. Suppose that a braided

Cliﬀord algebra Clc(V,B) attached to a symmetric form B : V ⊗ V → ½ exists. Then, the following statements hold.

(a) The associated graded algebra of Clc(V,B) is isomorphic to the braided exterior algebra Λc(V ) in C.

(b) Under the ﬁniteness condition on V given in Hypothesis 7.9, both Λc(V ) and Clc(V,B) are Frobenius algebras in C.

This employs work on ﬁltered deformations of quotient algebras in monoidal categories developed in Section 4, which is of independent interest; see, e.g., Remark 4.11. Acknowledgements. The authors thank J¨urgen Fuchs for useful comments and questions. The second author was partially supported by the US National Science Foundation grants DMS-1903192 and DMS-2100756. 4 CHELSEAWALTONANDHARSHITYADAV

2. Algebraic structures in monoidal categories In this section, we discuss monoidal categories, and various algebraic structures in these categories [Section 2.1]. We also discuss such structures in the ﬁltered and graded settings [Section 2.2].

Hypothesis 2.1. We assume that all categories in this work are abelian, and all functors between them are additive.

2.1. Preliminaries. With the exception of Deﬁnition 2.7, we refer the reader to [EGNO15, Sections 2.1, 7.8 and 8.1] and [FS08] for more details about the structures below. We begin

by recalling the categories in which we will work throughout. ½ Deﬁnition 2.2 (C, ⊗, ½). A monoidal category C := (C, ⊗, , α, l, r) consists of the following

data: a category C, a bifunctor ⊗ : C×C →C, an object ½ ∈ C, a natural associativity ′ ′′ ∼ ′ ′′ ′ ′′ isomorphism αX,X′,X′′ : (X ⊗ X ) ⊗ X → X ⊗ (X ⊗ X ) for each X,X ,X ∈C, natural

∼ ∼ ½ unitality isomorphisms lX : ½ ⊗ X → X, rX : X ⊗ → X for each X ∈ C, such that the pentagon and triangle coherence conditions are satisﬁed.

Hypothesis 2.3. We assume that all monoidal categories here are/ have: (a) strict, in the sense that the associativity and unitality isomorphisms are equalities; (b) ⊗ is biexact, in the sense that the functors (X ⊗−) and (−⊗ X): C→C are exact,

for each object X in C. ½ Deﬁnition 2.4 (F, F2, F0). Let (C, ⊗C, ½C) and (D, ⊗D, D) be monoidal categories. A monoidal functor (F, F2, F0): C → D consists of the following data: • a functor F : C → D, ′ ′ ′

• a natural transformation F2 = {F2(X,X ): F (X)⊗D F (X ) → F (X ⊗C X )}X,X′∈C, ½ • a morphism F0 : ½D → F ( C) in D, that satisfy the following associativity and unitality constraints, for X,X′,X′′ ∈C:

′ ′′ ′ ′′ ′ ′′ ′ F2(X,X ⊗C X )(idF (X) ⊗D F2(X ,X )) = F2(X ⊗C X ,X )(F2(X,X ) ⊗D idF (X′′)),

F2(½C,X)(F0 ⊗D idF (X)) = idF (X),

F2(X, ½C)(idF (X) ⊗D F0) = idF (X).

Next, we consider certain algebraic structures within monoidal categories.

Deﬁnition 2.5 (m, u, Alg(C), ∆,ε). Take C to be a monoidal category, and consider the (categories of) algebraic structures below. (a) An algebra in C is a triple (A,m,u) consisting of an object A ∈ C, and morphisms

m : A ⊗ A → A, u : ½ → A in C, satisfying associativity and unitality constraints: m(m ⊗ idA) = m(idA ⊗ m), and m(u ⊗ idA) = idA = m(idA ⊗ u). A morphism of algebras (A, mA,uA) and (B,mB,uB) is a morphism f : A → B in C so that fmA = mB(f ⊗ f) and fuA = uB. Algebras and their morphisms in C form a category, which we denote by Alg(C). FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 5

(b) A coalgebra in C is a triple (A, ∆,ε) consisting of an object A ∈C, and morphisms

∆ : A → A⊗A, ε : A → ½ in C, satisfying coassociativity and counitality constraints: (∆ ⊗ idA)∆ = (idA ⊗ ∆)∆ and (ε ⊗ idA)∆ = idA = (idA ⊗ ε)∆. A morphism of coalgebras (A, ∆A,εA) and (B, ∆B,εB) is a morphism f : A → B in C so that ∆Bf = (f ⊗ f)∆A and εBf = εA. Coalgebras and their morphisms in C form a category, which we denote by Coalg(C). (c) A Frobenius algebra in C is a 5-tuple (A, m, u, ∆,ε) where (A,m,u) ∈ Alg(C) and (A, ∆,ε) ∈ Coalg(C) so that (m ⊗ idA)(idA ⊗ ∆) = ∆m = (idA ⊗ m)(∆ ⊗ idA). A morphism of Frobenius algebras f : A → B is a map in Alg(C)∩Coalg(C). Frobenius algebras and their morphisms in C form a category.

Deﬁnition 2.6 (λ, AC, ρ, CA, ACA). Take a monoidal category C with an algebra A := (A,m,u) in C. A (a) A left A-module in C is a pair (M, λM := λM ) consisting of an object M and a morphism λM : A ⊗ M → M in C satisfying λM (m ⊗ idM ) = λM (idA ⊗ λM ) and λM (u ⊗ idM ) = idM . A morphism of left A-modules (M, λM ) → (N, λN ) is a morphism f : M → N in C such that λN (idA ⊗ f) = fλM . Left A-modules and their morphisms form a category, which we will denote by AC.

A (b) A right A-module in C is a pair (M,ρM := ρM ) consisting of an object M and a A morphism ρM := ρM : M ⊗ A → M in C satisfying ρM (idM ⊗ m)= ρM (ρM ⊗ idA) and ρM (idM ⊗ u) = idM . A morphism of right A-modules (M,ρM ) → (N,ρN ) is a morphism f : M → N in C such that ρN (f ⊗ idA) = fρM . Right A-modules and their morphisms form a category, which we will denote by CA.

(c) An A-bimodule in C is a triple (M, λM ,ρM ) where (M, λM ) ∈ AC and (M,ρM ) ∈CA, so that ρM (λM ⊗ idA)= λM (idA ⊗ ρM ). A morphism of A-bimodules is a morphism in C that belongs to both AC and CA. The collection of A-bimodules and their morphisms form a category, which we will denote by ACA.

Now we discuss various notions of an ideal of an algebra, including our introduction of (one-sided) weak ideals.

Deﬁnition 2.7 (φ). Take an algebra A := (A,m,u) in a monoidal category C, and recall A A that A is in AC (resp., CA) by using λA = mA (resp., using ρA = mA).

(a) An object (I, λI ) ∈ AC is said to be left weak ideal of A if there exists a morphism A φI := φI : I → A in AC. That is, φI ∈C with φI λI = mA(idA ⊗ φI ).

(b) An object (I,ρI ) ∈CA is said to be right weak ideal of A if there exists a morphism A φI := φI : I → A in CA. That is, φI ∈C with φI ρI = mA(φI ⊗ idA).

(c) A left (right) weak ideal (I, λI , φI ) (resp., (I,ρI , φI )) is called a left (resp., right) ideal of A if φI is monic.

(d) We call an A-bimodule (I, λI ,ρI ) a (weak) ideal of A if it comes equipped with a morphism φI : I → A so that (I, λI , φI ) is a left (resp., weak) ideal of A and (I,ρI , φI ) is a right (resp., weak) ideal of A. 6 CHELSEAWALTONANDHARSHITYADAV

Monoidal functors preserve algebras, modules, and left/right weak ideals as we see below.

Proposition 2.8. Let (F, F2, F0): C → D be a monoidal functor. Take (A,m,u) ∈ Alg(C).

(a) Then, (F (A), F (m)F2(A, A), F (u)F0) ∈ Alg(D).

A F (A) F (A) A (b) If (M, λM ) ∈ AC, then (F (M), λF (M)) ∈ F (A)D, where λF (M) = F (λM )F2(A, M). Likewise, one gets a right F (A)-module in D from a right A-module in C.

A A F (A) F (A) (c) If (I, λI , φI ) is a left weak ideal of A, then (F (I), λF (I) , φF (I) ) is a left weak ideal F (A) A of F (A), where φF (I) = F (φI ). Likewise, one gets a right weak ideal of F (A) in D from a right weak ideal of A in C.

A A F (A) F (A) (d) Suppose that (I, λI , φI ) is a left ideal of A. Then (F (I), λF (I) , φF (I) ) is a left ideal of F (A) if and only if F preserves monomorphisms. We have a similar statement for the preservation of right ideals.

Proof. Part (a) is well-known; see, e.g., [DP08, Corollary 5]. Part (b) follows in a similar F (A) manner to part (a). For part (c), it suﬃces to verify that φF (I) ∈ F (A)D, which we achieve via the following computation:

F (A) A A λF (A) (idF (A) ⊗ F (φI )) = mF (A) (idF (A) ⊗ F (φI )) A = F (mA) F2(A, A) (idF (A) ⊗ F (φI )) A A = F (λA) F2(A, A) (idF (A) ⊗ F (φI )) A A = F (λA) F (idA ⊗ φI ) F2(A, I) A A = F (φI ) F (λI ) F2(A, I) A F (A) = F (φI ) λF (I) .

In particular, the fourth equality holds by the naturality of F2 and the ﬁfth equality holds as A φI ∈ AC. Part (d) follows from part (c) and the deﬁnition of a left (resp., right) ideal. Now we turn our attention to braided categories and algebraic structures within them.

Deﬁnition 2.9 (cX,Y ). A braiding on a monoidal category (C, ⊗, ½) is a natural family of isomorphisms ∼ c = {cX,Y : X ⊗ Y → Y ⊗ X}X,Y ∈Ob(C), such that cX,Y ⊗Z = (idY ⊗ cX,Z )(cX,Y ⊗ idZ ) and cX⊗Y,Z = (cX,Z ⊗ idY )(idX ⊗ cY,Z ) hold for all X,Y,Z ∈ Ob(Z). A braided monoidal category is a monoidal category equipped with a braiding c.

C D ½ Deﬁnition 2.10. Let (C, ⊗C, ½C,c ) and (D, ⊗D, D,c ) be braided monoidal categories. A monoidal functor (F, F2, F0): C → D is called braided if it satisﬁes D C F2(Y,X) cF (X),F (Y ) = F (cX,Y ) F2(X, Y ), for all X, Y ∈C.

Deﬁnition 2.11. Let (C, ⊗, ½,c) be a braided monoidal category. An algebra (A,m,u) in C is called (braided) commutative if it satisﬁes: mcA,A = m. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 7

Proposition 2.12. Let (F, F2, F0): C → D be a braided monoidal functor. Take (A, mA,uA) a commutative algebra in C, then (F (A), F (mA)F2(A, A), F (uA)F0) is a commutative algebra in D.

Proof. We have that D D C mF (A) cF (A),F (A) = F (mA) F2(A, A) cF (A),F (A) = F (mA) F (cA,A) F2(A, A) C = F (mA cA,A) F2(A, A) = F (mA) F2(A, A) = mF (A).

Here, the ﬁrst and last equalities hold by the deﬁnition of mF (A). Moreover, the second, third, and fourth equalities hold by F being braided and preserving compositions, and by A being commutative, respectively. 2.2. Filtered and graded categories. For this subsection, recall Hypothesis 2.1 and 2.3 for a monoidal category C, but the material in this section applies to the more general setting of cocomplete monoidal categories. Articles that prompt the framework of this part include [Sch96], [BD97], [AM12], [HM16, Section 3.3], [GP18], and [GKRW18, Section 5].

Notation 2.13 (Fun(S, C), N , N , N ). Consider the following notation. 0 −→0 0 (a) Let S denote any posetal category, that is, a category where Hom sets each contains at most one morphism and only isomorphisms are the identity maps. (b) Denote by Fun(S, C) the category of functors from S to C.

(c) Let N0 denote the set of natural numbers including 0. (d) Let N denote the category with objects N and with morphisms i → j only for −→0 0 i, j ∈ N0 where i ≤ j.

(e) Let N0 denote the category with objects N0 and with only identity morphisms idi for all i ∈ N0. Note that both N and N are examples of posetal categories S. −→0 0

Next, we deﬁne a category of N0-ﬁltered objects in C.

Deﬁnition 2.14 (FX , (N0-)Fil(C)). Consider the following terminology.

(a) An object X in C is called an (N0-)ﬁltered object if there exists a functor FX in Fun(N , C) such that colim (F (i)) =∼ X in C. In this case, F is called the ﬁltration −→0 i X X associated to X.

(b) A morphism f : X → Y between ﬁltered objects (X, FX ) and (Y, FY ) in C is called an (N0-)ﬁltered morphism if there exists a natural transformation

Ff = {Ff (i): FX (i) → FY (i)}i∈N0 in Fun(N , C) such that colim (F (i)) = f. −→0 i f (c) Filtered objects in C and their morphisms form a category, denoted by (N0-)Fil(C).

(d) We say that a filtration on a filtered object X is finite if there exists n ∈ N0 such FX (i) =∼ FX (n) in C for all i ≥ n. In this case, X =∼ FX (n) as objects in C.

(e) We say that a ﬁltration on a ﬁltered object X is monic if the morphism FX (i → i+1) is monic for each i ∈ N0. 8 CHELSEAWALTONANDHARSHITYADAV

From the deﬁnition above, we set the notation below.

X X Notation 2.15 (ιi , ψi ). Take a ﬁltered object (X, FX ) ∈ Fil(C). X N (a) Let ιi denote the morphism FX (i → i + 1) in C, for each i ∈ 0. X ∼ (b) Let ψi : FX (i) → X denote the canonical map derived from colimi(FX (i)) = X, i.e., ψX = ψX ιX for all i ∈ N . i i+1 i −→0 Next, towards deﬁning a category of graded objects in C, consider the following notation.

N0 N0 Notation 2.16 (C ). Let C be the category of sequences of objects (Xi)i∈N0 in C, and with morphisms being N0-graded sequences of morphisms in C. Observe that we have a N functor C 0 → Ind(C), (X ) N 7→ ` X , where Ind(C) denotes the Ind-completion of C. i i∈ 0 i∈N0 i

Deﬁnition 2.17 ((N0-)Gr(C)). Consider the following terminology. N (a) An object X in C is called an ( 0-)graded object if there exists an object (Xi)i∈N0 N in C 0 such that X = ` X . i∈N0 i (b) A morphism f : X → Y between graded objects X = ` X and Y = ` Y i∈N0 i i∈N0 i N is called an ( 0-)graded morphism if there exists a morphism (fi : Xi → Yi)i∈N0 in N C 0 such that f = ` f . i∈N0 i (c) Graded objects in C and their morphisms form a subcategory of C, which we denote by (N0-)Gr(C).

Remark 2.18. (a) One can also define the category N0-Gr(C) in a manner similar to N -Fil(C) by replacing the posetal category N by N . 0 −→0 0 (b) Moreover, N0 could be replaced with any monoid G to form the posetal category S = G in order to define G-Gr(C) as in Definition 2.17. Here, G denotes the category with objects being elements of G and with only identity morphisms idg for each g ∈ G. If, further, we have that G is a poset, then we can define the category G-Fil(C) in the same manner as Definition 2.14. Now, we show that the categories constructed above are monoidal. This result is known in the literature; see the references listed at the beginning of this section for details. We will only provide sketches of proofs here.

Proposition 2.19. Let C be a (braided) monoidal category. Then, each of the categories (a) N , (b) Fun(N , C), (c) Fil(C), (d) Gr(C) −→0 −→0 admit the structure of a (braided) monoidal category. Proof. (a) We can endow the category N with monoidal structure by deﬁning i ⊗ j := i + j, −→0 with unit object is ½N = 0. The braiding map is ci,j = idi+j . −→0 (b) Using Day convolution [Day70, page 29], we can endow the category Fun(N , C) with −→0 a monoidal structure as follows: given F, G ∈ Fun(N , C), deﬁne −→0

(F ⊗ G)(k) := colimi+j≤k(F (i) ⊗ G(j));

here, the unit object is the functor from N to the trivial monoidal subcategory ½ . −→0 C FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 9

When C is braided, we have maps cF (i),G(j) : F (i) ⊗ G(j) → G(j) ⊗ F (i). Thus, by universal property of colimits, we get maps (F ⊗ G)(k) → (G ⊗ F )(k) to form a braiding on Fun(N , C) making it a braided monoidal category. (See [JS86, Section 2, Example 5]). −→0 (c) Using the monoidal structure on Fun(N , C) in part (b), we can endow Fil(C) with a −→0 monoidal structure as follows. For (X, FX ), (Y, FY ) ∈ Ob(Fil(C)), deﬁne

(X, FX ) ⊗ (Y, FY ) = (X ⊗ Y, FX⊗Y ), where

(2.20) FX⊗Y (k) := colimi+j≤k FX (i) ⊗ FY (j).

One can check that colimiFX⊗Y (i) is isomorphic to X ⊗ Y , thus the above deﬁnition is well ½

½ N ½ deﬁned. The unit object is with the associated ﬁltration F½ : 0 →C given by F (i)= for all i ∈ N0. Now suppose that C is braided. Using the braiding on Fun(N , C) in part (b), we get −→0 maps, for each k ∈ N0,

(2.21) τX,Y (k): FX⊗Y (k) → FY ⊗X (k).

One can check that

(2.22) colimkτX,Y (k)= cX,Y .

Furthermore,

X⊗Y Y ⊗X (2.23) τX,Y (i) ιi−1 = ιi−1 τX,Y (i − 1).

Hence, cX,Y is a ﬁltered map. Using part (b), we can conclude that Fil(C) is braided with the braiding τX,Y . N (d) Since C is monoidal, we get that C 0 is monoidal, with monoidal structure

N N ((Xi)i∈ 0 ⊗ (Yj )j∈ 0 )k := Li+j=k(Xi ⊗ Yj ).

The monoidal unit is (ei)i∈N0 with ei = δi,0 ½. Using this we can endow Gr(C) with a monoidal structure as follows: for X, Y ∈ Ob(Gr(C)), deﬁne

X ⊗ Y := coprod((Xi)i∈N0 ⊗ (Yj )j∈N0 ),

where (Xi)i∈N0 , (Yj )j∈N0 are the gradings of X, Y respectively. The unit object is ½ with grading (ei)i∈N0 where ei = δi,0 ½.

When C is braided, we can collect the maps cXi,Yj : Xi ⊗ Yj → Yj ⊗ Xi to get the maps

cX,Y (k) := ⊕i+j=kcXi,Yj : (X ⊗ Y )k → (Y ⊗ X)k.

Here, cX,Y is a braiding on Gr(C), making it a braided category.

We will also need the following result.

Corollary 2.24. The monoidal categories Fil(C) and Gr(C) satisfy the conditions of Hy- potheses 2.1 and 2.3. 10 CHELSEA WALTON AND HARSHIT YADAV

Proof. It is clear by the proof of the proposition above that Fil(C) and Gr(C) are strict as C is strict. Moreover, Gr(C) satisﬁes the rest of Hypotheses 2.1 and 2.3 component-wise due to C satisfying these hypotheses. Moreover, N is small and Hypothesis 2.1 holds for C, so −→0 we get that Hypothesis 2.1 also holds for Fil(C)= Fun(N , C). −→0 Now it suﬃces to show that the tensor product of Fil(C) is biexact. We will show that for any object (W, FW ) in Fil(C), we obtain that ((W, FW ) ⊗−):Fil(C) → Fil(C) is an exact functor. A similar argument would show that −⊗(W, FW ) is also exact. Consider any exact sequence f g (2.25) 0 → (X, FX ) −→ (Y, FY ) −→ (Z, FZ ) → 0 in Fil(C). Exactness of (2.25) implies that 0 → FX (j) → FY (j) → FZ (j) → 0 is exact for all i ∈ N. Since the tensor product of C is biexact, we get that

id⊗Ff (j) id⊗Fg(j) (2.26) 0 → FW (i) ⊗ FX (j) −−−−−−→ FW (i) ⊗ FY (j) −−−−−−→ FW (i) ⊗ FZ (j) → 0 is exact for all i, j ∈ N. Furthermore, the following diagrams commute,

X W id⊗ιj ιj ⊗id FW (i) ⊗ FX (j) / FW (i) ⊗ FX (j + 1) FW (i) ⊗ FX (j) / FW (i + 1) ⊗ FX (j)

id⊗Ff (j) id⊗Ff (i+1) id⊗Ff (j) id⊗Ff (i) Y W id⊗ιj ιj ⊗id FW (i) ⊗ FY (j) / FW (i) ⊗ FY (j + 1) FW (i) ⊗ FY (j) / FW (i + 1) ⊗ FY (j), where the first diagram commutes because f is a filtered map and the second commutes trivially. We also have similar diagrams with X, Y replacing Y,Z, respectively for all i, j ∈ N0. Recall from Definition 2.20 that FW ⊗X (k) = colimi+j≤kFW (i) ⊗ FX (j). The above commutative diagrams together with the exactness of (2.26) imply the exactness of:

0 → FW ⊗X (k) → FW ⊗Y (k) → FW ⊗Z (k) → 0 for all k ∈ N0. Thus, the sequence id⊗f id⊗g 0 → FW ⊗X −−−→ FW ⊗Y −−−→ FW ⊗Z → 0 is exact. Now using Proposition 2.19, we set the following terminology. Definition 2.27. Take an algebraic structure X in C, e.g., X is either an algebra, a coalgebra, a Frobenius algebra, a left/right module, a left/right weak ideal, or a left/right ideal in C. If X belongs to the monoidal category Fil(C), then we say that X is a filtered structure in C. Likewise, if X is in Gr(C), then X is called a graded structure in C. Next, we study when a left ideal of a filtered algebra in C admits the structure of a filtered left ideal of A. Consider the preliminary results below.

Lemma 2.28. Consider three ﬁltered objects (X, FX ), (Y, FY ), (Z, FZ ) in C. Then the following statements are equivalent. (a) There exists a ﬁltered map f : X ⊗ Y → Z ∈ Fil(C).

(b) There exist morphisms fi,j : FX (i) ⊗ FY (j) → FZ (i + j) ∈C for i, j ∈ N0 such that the following diagrams commute: FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 11

X id⊗ιY ιi ⊗id j FX (i) ⊗ FY (j) FX (i + 1) ⊗ FY (j) FX (i) ⊗ FY (j) FX (i) ⊗ FY (j + 1)

fi,j fi+1,j fi,j fi,j+1

FZ (i + j) Z FZ (i + j + 1) FZ (i + j) Z FZ (i + j + 1). ιi+j ιi+j

Lemma 2.29. Take (Y, FY ) ∈ Fil(C) with finite filtration, and let f : X → Y be a morphism in C. Then there exists a filtration FX on X such that f ∈ Fil(C).

Proof. Since Y has a finite filtration, there exists n ∈ N0 such that FY (n + k)= FY (n) for all k ∈ N0. Hence, colimiFY (i) = FY (n) = Y . Define FX (n) = X, and define FX (n − 1) Y to be pullback of the morphisms f : FX (n) → FY (n) and ιn−1 : FY (n − 1) → FY (n) via morphisms pn−1 : FX (n − 1) → FX (n) and fn−1 : FX (n − 1) → FY (n − 1). Likewise, inductively, define FX (i) to be pullback of the morphisms fi+1 : FX (i + 1) → FY (i + 1) and Y ιi : FY (i) → FY (i + 1) via morphisms pi : FX (i) → FX (i + 1) and fi : FX (i) → FY (i). Thus, we get the composition of commutative diagrams below:

p0 p1 pi−1 pi pi+1 pn−2 pn−1 FX (0) / FX (1) / · · · / FX (i) / FX (i + 1) / · · · / FX (n − 1) / X ✤ ✤ ✤ ✤ ❴ ❴ ❴ ❴ f0 f1 fi fi+1 fn−1 f FY (0) / FY (1) / · · · / FY (i) / FY (i + 1) / · · · / FY (n − 1) / Y Y Y Y Y Y Y Y ι0 ι1 ιi−1 ιi ιi+1 ιn−2 ιn−1

Since colimiFX (i)= FX (n)= X, we get that X is a filtered object with filtration FX , and moreover, f is a filtered map via fi. Namely, in the diagram above, we have X fi = Ff (i) and pi = ιi .

Proposition 2.30. Let (I, λ, φ) be left ideal of a filtered algebra (A, FA,m,u) with finite filtration. Then, with the induced filtration on I via φ [Lemma 2.29], we obtain that (I, λ, φ) is filtered left ideal of A.

Proof. Since A has a finite filtration, there exists n ∈ N such that FA(n + k) = FA(n) for all k ∈ N. Let FI denote the induced filtration on I from Lemma 2.29, and let

(φ, Fφ) : (I, FI ) → (A, FA) be the ﬁltered map between I and A. Furthermore, since φ is a mono, Fφ(i) is a mono for all i as pullbacks preserve monomorphisms. Since (A, FA) is a ﬁltered algebra with multiplication m : A⊗A → A (that is associative), we have maps mi,j : FA(i) ⊗ FA(j) → FA(i + j) in C satisfying

(2.31) mi+j,k(mi,j ⊗ idFA(k))= mi,j+k(idFA(i) ⊗ mj,k) by Lemma 2.28. To show that (I, FI ) is a filtered left ideal of A, we need to first give a filtration for the maps λ : A ⊗ I → I and φ : I → A. We have already done so for φ in Lemma 2.29. To do the same for λ, by Lemma 2.28, it suffices to construct maps

λi,j : FA(i) ⊗ FI (j) → FI (i + j), and check that: A I I I (2.32) λi+1,j (ιi ⊗ idFI (j))= ιi+j λi,j and λi,j+1 (idFA(i) ⊗ ιj )= ιi+j λi,j . 12 CHELSEA WALTON AND HARSHIT YADAV

We also need to check that λi,j makes I a ﬁltered left A-module, that is,

(2.33) λi+j,k (mi,j ⊗ idFI (k))= λi,j+k (idFA(i) ⊗ λj,k), and that φ is a map of ﬁltered left A-modules, that is,

(2.34) Fφ(i + j) λi,j = mi,j (idFA(i) ⊗ Fφ(j)). The proofs of (2.32) and (2.33) use the same idea, so we will only discuss (2.33) and (2.34), and leave the verification of (2.32) to the reader. Consider the following equations: A I A I φ λ (ψi ⊗ ψj )= m (idA ⊗ φ) (ψi ⊗ ψj ) A A = m (ψi ⊗ ψj ) (idFA(i) ⊗ Fφ(j)) A = ψi+j mi,j (idFA(i) ⊗ Fφ(j)). Here, the first equality holds by axioms of I being a left ideal of A; the second equality follows from the diagram in Lemma 2.29 and Notation 2.15; and the third equality holds because m is a filtered map (see, again, Notation 2.15). Hence, the outer square of the following diagram commutes. Moreover, we can use the universal property of pullbacks to get maps λi,j such that diagrams (I) and (II) below commute as well.

A I ψi ⊗ψj F (i) ⊗ F (j) / A ⊗ I A I ❲❲ ❲❲❲❲❲ λ (II) ❲❲❲❲❲ λi,j * ❲❲❲❲ ⊗ ❲❲❲+ idFA(i) Fφ(j) F (i + j) / I I I ✤ ψi+j (I) ❴ FA(i) ⊗ FA(j) Fφ(i+j) φ ❱❱ ❱❱❱❱ mi,j ❱❱❱* F (i + j) / A A A ψi+j

Commutation of (I) implies (2.34). Commutation of (II) implies that λi,j are a ﬁltration of λ. Moreover, we can now conclude that

(I) Fφ(i + j + k) λi+j,k (mi,j ⊗ idFI (k)) = mi+j,k (idFA(i+j) ⊗ Fφ(k)) (mi,j ⊗ idFI (k))

= mi+j,k (mi,j ⊗ idFA(k)) (idFA(i)⊗FA(j) ⊗ Fφ(k)) (2.31) = mi,j+k (idFA(i) ⊗ mj,k) (idFA(i)⊗FA(j) ⊗ Fφ(k)) (I) = mi,j+k (idFA(i) ⊗ Fφ(j + k)) (idFA(i) ⊗ λj,k) (I) = Fφ(i + j + k) λi,j+k (idFA(i) ⊗ λj,k).

Since, Fφ(i + j + k) is a monomorphism, we get that (2.33) holds, as desired.

3. Associated graded constructions for monoidal categories In this part, we present the ﬁrst main result of this paper: the associated graded construction for ﬁltered algebras in monoidal categories [Theorem 3.8]. Compare to [AM12, Section 3] and [GKRW18, Sections 5.2.3, 5.3.3]. Recall Hypotheses 2.1 and 2.3 for a monoidal

category (C, ⊗, ½). In addition to the notation of Section 2, consider the notation below. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 13

A A,B Notation 3.1 (FA(i), π , βi,j ). Take ﬁltered objects (A, FA), (B, FB ) ∈ Fil(C). A ιi−1 (a) Let FA(i) denote coker(FA(i − 1) −−−→ FA(i)). A N (b) Let πi denote the canonical epimorphism FA(i) → FA(i), for each i ∈ 0. (By A convention, FA(0) = FA(0), so that π0 = idFA(0).) (c) Deﬁne the map A,B βi,j : FA(i) ⊗ FB(j) → FA⊗B(i + j), to be the natural map to the colimit as in (2.20). Then by properties of colimits, we have that: A⊗B,C A,B A,B⊗C B,C (3.2) βi+j,k (βi,j ⊗ idFC (k))= βi,j+k (idFA(i) ⊗ βj,k ). In the case when C is braided, we will also require the notation and identities below.

Notation 3.3 (τA,B(k), τA,B(k)). Let (C, ⊗, ½,c) be a braided monoidal category, and take ﬁltered objects (A, FA), (B, FB ), (C, FC ) of C. Recall from (2.21), (2.22), (2.23) the component τA,B(k): FA⊗B(k) → FB⊗A(k) of the ﬁltration on the braiding map cA,B. Observe that by (2.22) we have: X,Y Y,X (3.4) τX,Y (i + j) βi,j = βj,i cFX (i),FY (j), for all i, j ∈ N0 and X, Y ∈ C. By universal property of cokernels, for each k ∈ N0 and X, Y ∈C, there exists a morphism τX,Y (k) such that the following diagram commutes ιX⊗Y X⊗Y k−1 πk FX⊗Y (k − 1) FX⊗Y (k) FX⊗Y (k)

τX,Y (k−1) τX,Y (k) τX,Y (k) ιY ⊗X Y ⊗X k−1 πk FY ⊗X (k − 1) FY ⊗X (k) FY ⊗X (k). Thus we get that X⊗Y Y ⊗X (3.5) τX,Y (k) πk = πk τX,Y (k). Next, we present the construction of the associated graded functor. Deﬁnition 3.6 (gr). We deﬁne the associated graded functor, gr : Fil(C) → Gr(C), as follows. For an object (A, FA) ∈ Fil(C), let gr(A, F )= ` F (i). A i∈N0 A

Given a morphism f : (A, FA) → (B, FB ) in Fil(C), deﬁne gr(f) : gr(A, FA) → gr(B, FB ) with components coming from universal property of cokernels:

A A ιi−1 πi (3.7) FA(i − 1) / FA(i) / FA(i) / 0

Ff (i−1) Ff (i) gr(f)i B B ιi−1 πi FB(i − 1) / FB (i) / FB (i) / 0. 14 CHELSEA WALTON AND HARSHIT YADAV

Now we come to the main result of this section.

Theorem 3.8. If C a (braided) monoidal category, then gr : Fil(C) → Gr(C) is a (braided) monoidal functor.

Proof. To show that the functor gr is monoidal, we will:

(i) construct a natural transformation gr2 : gr(−) ⊗ gr(−) → gr(−⊗−) that satisﬁes

the associativity condition in Definition 2.4; ½ (ii) construct a morphism gr0 : ½Gr(C) → gr( Fil(C)) ∈ Gr(C) that satisfies the unitality condition in Definition 2.4; and will (iii) verify that gr is braided (Definition 2.9) when C is braided.

(i) Take objects A := (A, FA) and B := (B, FB ) in Fil(C). To define a natural transformation gr2 = {gr2(A, B) : gr(A) ⊗ gr(B) → gr(A ⊗ B)}, it suffices to define componentwise maps A,B Θi,j : FA(i) ⊗ FB(j) → FA⊗B(i + j) and check the associativity condition for these maps for all i, j ∈ N0. To proceed, consider A A ιi−1 πi the exact sequence FA(i − 1) −−−→ FA(i) −−→ FA(i) → 0. Apply the right exact functor −⊗ FB (j) [Hypothesis 2.3] to this sequence to get the following exact sequence.

A A ιi−1⊗id πi ⊗id (3.9) FA(i − 1) ⊗ FB (j) −−−−−→ FA(i) ⊗ FB(j) −−−−→ FA(i) ⊗ FB (j) → 0.

On the other hand, recall Notation 2.15, and note that properties of colimits yield

A⊗B A,B A,B A (3.10) ιi+j−1 βi−1,j = βi,j (ιi−1 ⊗ idFB (j)).

A⊗B A⊗B By deﬁnition of cokernels, we know that πi+j ιi+j−1 = 0. So, using (3.10), we get that

A⊗B A,B A A⊗B A⊗B A,B (3.11) πi+j βi,j (ιi−1 ⊗ idFB (j)) = (πi+j ιi+j−1) βi−1,j =0.

A A As −⊗ FB (j) is exact, coker(ιi−1 ⊗ id) = πi ⊗ id, we can use (3.9) and (3.11) and the A,B universal property of cokernels to get the map θi,j such that the following diagram (†) commutes:

A A ιi−1⊗id πi ⊗id FA(i − 1) ⊗ FB(j) / FA(i) ⊗ FB (j) / FA(i) ⊗ FB (j) / 0

A,B A,B βi,j (†) θi,j F (i + j) / F (i + j) / 0. A⊗B A⊗B A⊗B πi+j

B B ιi−1 πj Now consider the exact sequence FB(j − 1) −−−→ FB (j) −−→ FB (j) → 0. Apply the functor FA(i) ⊗− to the above sequence to get :

B B id⊗ιj−1 id⊗πj (3.12) FA(i) ⊗ FB(j − 1) −−−−−→ FA(i) ⊗ FB (j) −−−−→ FA(i) ⊗ FB(j) → 0. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 15

Consider the following commutative diagram:

B id⊗ιj−1 FA(i) ⊗ FB (j − 1) / FA(i) ⊗ FB (j) 5 5 ◗ A,B A⊗ ❦❦ ❧❧ ◗◗ θ πi id ❦❦❦ ❧❧ ◗◗ i,j ❦❦ (1) ❧❧❧ ◗◗ ❦❦ ❧❧A ◗ ❦❦ ❧❧π ⊗id ◗◗ ❦❦❦ B ❧❧ i ◗◗( ❦❦ id⊗ιj−1 ❧❧ F (i) ⊗ F (j − 1) / F (i) ⊗ F (j) (†) F (i + j) A B A B A6 ⊗B ❚❚❚ ❙❙ βA,B ♠ ❚❚ ❙❙❙ i,j ♠♠♠ ❚❚❚ (2) ❙❙❙ ♠♠ A,B ❚❚ ❙ ♠♠A⊗B β ❚❚❚ ❙❙❙ ♠♠ π i,j−1 ❚❚) ❙❙) ♠♠♠ i+j F (i + j − 1) / F (i + j). A⊗B A⊗B A⊗B ιi+j−1 Here, (1) commutes naturally, and (2) commutes by (3.10). Since the composition along the lower boundary is 0, if we move along the upper boundary of this diagram, we get that A,B B A A A,B B θi,j (id ⊗ ιj−1)(πi ⊗ id) = 0. Since πi ⊗ id is epic, we get that θi,j (id ⊗ ιj−1) = 0. Since B B coker(id ⊗ ιj−1) = id ⊗ πj , we can use (3.12) and the universal property of cokernels to get A,B maps Θi,j satisfying the commutative diagram below:

B B id⊗ιj−1 id⊗πj FA(i) ⊗ FB(j − 1) / FA(i) ⊗ FB(j) / FA(i) ⊗ FB (j) ❘ ❘❘❘ (‡) ❘❘ A,B ❘❘ Θi,j A,B ❘❘❘ θi,j ❘❘) FA⊗B(i + j).

Finally, combining (†) and (‡), we get a map Θi,j : FA(i) ⊗ FB (j) → FA⊗B (i + j), unique up to isomorphism, such that the following diagram commutes:

A B πi ⊗πj FA(i) ⊗ FB (j) / FA(i) ⊗ FB(j)

A,B βi,j (Υ) Θi,j F (i + j) / F (i + j). A⊗B A⊗B A⊗B πi+j A,B N Collecting all of the morphisms Θi,j for i, j ∈ 0, we get the required map

gr2(A, B)=Θ:gr(A) ⊗ gr(B) → gr(A ⊗ B). Now to verify the associativity condition, consider the following commutative diagram:

A⊗B,C βA,B ⊗id β i,j FC (k) i+j,k FA(i) ⊗ FB (j) ⊗ FC (k) / FA⊗B (i + j) ⊗ FC (k) / FA⊗B⊗C (i + j + k)

πA⊗πB ⊗πC (Υ) πA⊗B ⊗πC (Υ) πA⊗B⊗C i j k i+j k i+j+k FA(i) ⊗ FB (j) ⊗ FC (k) / FA⊗B (i + j) ⊗ FC (k) / FA⊗B⊗C (i + j + k). ⊗ ΘA,B ⊗id ΘA B,C i,j FC (k) i+j,k

Thus we get that A⊗B,C A,B A B C A⊗B⊗C A⊗B,C A,B (3.13) Θ (Θ ⊗ id )(π ⊗ π ⊗ π )= π β (β ⊗ idF k ). i+j,k i,j FC (k) i j k i+j+k i+j,k i,j C ( ) 16 CHELSEA WALTON AND HARSHIT YADAV

Similarly, we have that A,B⊗C B,C A B C A⊗B⊗C A,B⊗C B,C (3.14) Θ (id ⊗ Θ )(π ⊗ π ⊗ π )= π β (idF i ⊗ β ). i,j+k FA(i) j,k i j k i+j+k i,j+k A( ) j,k

Combining the results above, we get that ΘA⊗B,C (ΘA,B ⊗ id ) (πA ⊗ πB ⊗ πC ) i+j,k i,j FC (k) i j k

(3.13) A⊗B⊗C A⊗B,C A,B = πi+j+k βi+j,k (βi,j ⊗ idFC (k))

(3.2) A⊗B⊗C A,B⊗C B,C = πi+j+k βi,j+k (idFA(i) ⊗ βj,k ) (3.14) = ΘA,B⊗C (id ⊗ ΘB,C) (πA ⊗ πB ⊗ πC ). i,j+k FA(i) j,k i j k A B C Since πi ⊗ πj ⊗ πk is epic, the associativity relation holds: ΘA⊗B,C (ΘA,B ⊗ id )=ΘA,B⊗C (id ⊗ ΘB,C).

i+j,k i,j FC (k) i,j+k FA(i) j,k

½ ½

½ N

(ii) Recall that Fil(C) = C with ﬁltration F½ (i) = C for all i ∈ 0 with identity maps

½ ½

between the components. Thus, gr(½Fil(C))= C with N0-grading C ⊕ 0 ⊕ 0 .... Therefore, ½ gr(½Fil(C))= Gr(C), and thus we deﬁne

gr0 = id ½Gr(C) . ½ By the commutative diagram (Υ), one can check that gr2(½Fil(C), A) = idgr(A) = gr2(A, Fil(C)). Thus, gr0 and gr2 satisfy the unitality condition for gr to be monoidal.

(iii) Lastly, we will check that the functor gr is braided when C = (C, ⊗, ½,c) is braided. Recall Notation 3.3, and consider the computation below:

A,B A B (Υ) A⊗B A,B τA,B(i + j)Θi,j (πi ⊗ πj ) = τA,B(i + j) πi+j βi,j

(3.5) A⊗B A,B = πi+j τA,B(i + j) βi,j

(3.4) A⊗B B,A = πi+j βj,i cFA(i),FB (j)

(Υ) B,A B A = Θj,i (πj ⊗ πi ) cFA(i),FB (j) (γ) = ΘB,A c (πA ⊗ πB). j,i FA(i),FB (j) i j A B The identity (γ) holds by the naturality of the braiding map c. Since the morphism πi ⊗πj is epic, we get that τ (i + j)ΘA,B =ΘB,A c . A,B i,j j,i FA(i),FB (j) This is precisely the k-th component of the equation below with k = i + j:

gr(cX,Y ) gr2(A, B)=gr2(B, A) cgr(A),gr(B). Thus, gr is braided, as desired. Corollary 3.15. The functor gr sends filtered (commutative) algebras to graded (commutative) algebras, and also sends filtered left/right modules (resp., filtered left/right weak ideals) to graded left/right modules (resp., graded left/right weak ideals). Proof. This follows from Theorem 3.8 and Propositions 2.8 and 2.12. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 17

Definition 3.16. If X is a filtered structure (e.g., algebra, left/right module, left/right weak ideal) in Fil(C), then we call gr(X) in Gr(C) the associated graded structure of X, and refer to X as a filtered deformation of gr(X).

Moreover, it is known that the associated graded functor is right exact; see, e.g., [GP18, Remark 1.6, Lemma 3.30]; we include some details of the proof for the reader’s convenience.s

Proposition 3.17. The associated graded functor gr is left adjoint to the functor triv : Gr(C) → Fil(C), ` X 7→ (X →0 X →0 X →0 ... ). i∈N0 i 0 1 2 As a consequence, gr is right exact.

Proof. For X = ` X ∈ Gr(C), deﬁne the counit of the adjunction ε : gr ◦ triv ⇒ idGr i∈N0 i (C) by (εX )i = idXi , that is, εX = idX . Moreover, for (Y, FY ) ∈ Fil(C), deﬁne the unit of the Y adjunction η : idFil(C) ⇒ triv◦gr by (ηY )(i)= πi : FY (i) → FY (i). We leave it to the reader to check the triangle axioms to get that gr ⊣ triv. The consequence is well-known.

Remark 3.18. The results in this section also hold if we replace the monoid N0 partially ordered set that is also a monoid.

4. Quotient algebras in monoidal categories In this section, we discuss the construction of quotient algebras in monoidal categories. After presenting the categorical setting for this material, we expand on results from [BD97] to define quotient algebras as cokernels of weak ideal maps [Proposition 4.3]. Then, we examine quotient algebras via monoidal functors [Proposition 4.6], especially for the associated graded functor constructed in the previous section [Corollary 4.8]. This will be used in Section 7 to examine filtered deformations of braided exterior algebras (i.e., braided Clifford algebras), and we discuss in Remark 4.11 how this material could be applied more generally to study filtered deformations of graded quotient algebras in monoidal categories. Recall that we assume Hypotheses 2.1 and 2.3 throughout, and recall the terminology below.

Definition 4.1 (f1f2). Let f1 : X1 → Y1 and f2 : X2 → Y2 be morphisms in C. We define their pushout product to be the unique morphism f1f2 fitting into the commutative diagram below.

f1⊗idX2 X1 ⊗ X2 / Y1 ⊗ X2

idX1 ⊗f2 idY ⊗f2 ❴✤ 1 / X1 ⊗ Y2 (X1 ⊗ Y2)+X1⊗X2 (Y1 ⊗ X2)

f1 f2 * f1⊗idY 2 0 Y1 ⊗ Y2

Since our monoidal category is assumed to be biexact, in particular, right exact in each slot, we have the following result.

Lemma 4.2. [RV14, Lemma 4.8] We have that coker(f1f2) =∼ coker(f1) ⊗ coker(f2), for any morphisms f1 and f2 in C. 18 CHELSEA WALTON AND HARSHIT YADAV

Next, we introduce quotient algebras in monoidal categories via the result below; this result is [BD97, Proposition 2.8] in the framework above.

Proposition 4.3 (A/I, πI , m, u). Take (A,m,u) in Alg(C) with weak ideal (I, λI ,ρI , φI ) of A in C. Denote

A/I := coker(φI ), πI : A → A/I (canonical epi). Then, there exists a unique morphism m : A/I ⊗ A/I → A/I in C, where

(4.4) πI m = m(πI ⊗ πI ),

along with u := πI u : ½ → A/I, so that (A/I, m, u) is an algebra in C. Proof. Consider the following diagram.

φI ⊗id I ⊗ I / A ⊗ I

id⊗φ id⊗φI I ❴✤ I ⊗ A / (A ⊗ I)+I⊗I (I ⊗ A) ❲ ❲❲❲❲❲ ❲❲❲ φI φI ❲❲ ❲❲❲❲+ coker(φI φI ) φI ⊗id 1 A ⊗ A / C m m πI A / A/I

Here, C =∼ A/I ⊗ A/I and coker(φI φI ) = πI ⊗ πI by Lemma 4.2. Moreover, m exists as pictured above by the universal property of cokernels. Indeed,

πI m(idA ⊗ φI )= πI φI λI =0= πI φI ρI = πI m(φI ⊗ idA), and thus, the unique pushout morphism from (A ⊗ I)+I⊗I (I ⊗ A) to A/I is the zero map. So, πI m(φI φI )= 0, and m exists as claimed. Now it suﬃces to show that m is associative and u is unital with respect to m. Consider the following calculation:

⊗3 m(m ⊗ idA/I )(πI ) = m(πI ⊗ πI )(idA ⊗ m) = πI m (idA ⊗ m)

= πI m (m ⊗ idA) = m(πI ⊗ πI )(m ⊗ idA) ⊗3 = m(idA/I ⊗ m)(πI ). Here, the third equation uses the associativity of m and the rest of the equations use (4.4). ⊗3 Now m is associative as πI is epic. Moreover,

m(u ⊗ idA/I )(id ½ ⊗ πI )= m(πI ⊗ πI )(u ⊗ idA)= πI m (u ⊗ idA)= πI , where the last equation holds as u is left unital with respect to m. Since πI is epic, the left unital condition holds for A/I. Likewise, the right unital condition holds for A/I.

Deﬁnition 4.5. We refer to the algebra (A/I, m, u) in Proposition 4.3 as the quotient algebra of A by the weak ideal I.

Now we show how quotient algebras are related via monoidal functors. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 19

Proposition 4.6. Let (F, F2, F0): C → D be a right exact, monoidal functor. Take an algebra A with weak ideal (I, φI ) in C. Then, F (A)/F (I) and F (A/I) are isomorphic as algebras in D.

Proof. Consider the commutative diagram below:

(4.7) π 2 F (A)/F (I) F (I) ❡❡❡❡❡ T Prop.2.8(c) ❡❡❡❡❡❡ φF (I) = F (φI ) ❡❡❡❡ ❡❡❡❡ ′ F (I) / F (A) ❡ ωF ωF ❨❨❨❨❨ ❨❨❨❨❨❨ ❨❨❨❨❨❨ F (πI ) ❨❨❨❨ , ❨ F (A/I)

Here, ωF is the unique morphism that makes the diagram commute due to the universal property of the cokernel map πF (I). Moreover, right exact functors commute with cokernels, ′ so F (πI ) = F (coker(φI )) = coker(F (φI )). Thus, ωF is the unique morphism that makes the diagram commute due to the universal property of the cokernel map F (πI ). Now by the ′ ′ ′ uniqueness of ωF and ωF , we must have that ωF ωF = idF (A)/F (I) and ωF ωF = idF (A/I). Thus, ωF is an isomorphism in D. Next, we verify that ωF is an algebra morphism. We compute:

ωF mF (A)/F (I) (πF (I) ⊗ πF (I)) = ωF πF (I) mF (A)

= F (πI ) mF (A)

= mF (A/I) [F (πI ) ⊗ F (πI )]

= mF (A/I) [ωF πF (I) ⊗ ωF πF (I)]

= mF (A/I) (ωF ⊗ ωF ) (πF (I) ⊗ πF (I))

The ﬁrst equation holds by (4.4); the second and fourth equations hold by (4.7); the third equation holds since F (πI ) is an algebra map (indeed, πI is an algebra map by Proposi- tion 4.3 and F is monoidal); and the last equation follows from a rearrangement of terms.

Since πF (I) ⊗ πF (I) is epic, we obtain that ωF is multiplicative. Moreover, we compute:

ωF uF (A)/F (I) = ωF πF (I) uF (A) = ωF πF (I) F (uA) F0 = F (πI ) F (uA) F0

= F (πI uA) F0 = F (uA/I ) F0 = uF (A/I). Here, the ﬁrst and ﬁfth equations hold by Proposition 4.3; the second and last equations hold as F is monoidal; and the third equation follows from (4.7). So, ωF is unital, and thus, ωF is an algebra morphism, as required.

Corollary 4.8. If A is a ﬁltered algebra in C, and I is a ﬁltered weak ideal of A in C, then

gr(A)/gr(I) =∼ gr(A/I) as algebras in D.

Proof. We have that gr is a right exact, monoidal functor from Fil(C) to Gr(C) by Theorem 3.8 and Proposition 3.17. So the result follows from Corollary 2.24 and Proposition 4.6.

Next, we consider ﬁltered deformations of quotient algebras in C. To do so, consider the construction below. 20 CHELSEA WALTON AND HARSHIT YADAV

Definition 4.9 ((−)f ). Define the functor (−)f : Gr(C) −→ Fil(C) to be given by (` X )f = (X, F ), for X = ` X and F (j)= `j X . i∈N0 i X i∈N0 i X i=0 i f Lemma 4.10. The canonical filtration functor F := (−) is monoidal with F2 given by inclusion morphisms and F0 given by the identity morphism.

Remark 4.11. Note that gr (−)f is the identity functor on Gr(C). Now if B ∈ Alg(Gr(C)), then A := Bf ∈ Alg(Fil(C)) by Lemma 4.10. In this case, A/I is a filtered deformation of B/gr(I) by Corollary 4.8. But, as in the case for C = Veck, computing gr(I) can be tedious; Poincaré-Birkhoff-Witt theorems and related homological methods are used to address this problem [SW15]. It would be interesting to develop such techniques to study filtered deformations of graded quotient algebras in monoidal categories.

5. Frobenius algebras in rigid monoidal categories In this section, we provide equivalent conditions for an algebra in a rigid monoidal category C [Deﬁnition 5.1] to admit the structure of a Frobenius algebra in C. This builds on work of Fuchs-Stigner [FS08]. Recall that all monoidal categories in this work are assumed to be abelian, strict with ⊗ biexact [Hypotheses 2.1, 2.3]. Consider the terminology below.

′ ′ Deﬁnition 5.1 (evX , coevX , evX , coevX ). [EGNO15, Section 2.10] An object X in a monoidal category C is called rigid if it has left and right duals. Namely, there exist objects X∗ and ∗X ∈C with co/evaluation maps,

∗ ∗ ½ evX : X ⊗ X → ½, coevX : → X ⊗ X ,

′ ∗ ′ ∗ ½ evX : X ⊗ X → ½, coevX : → X ⊗ X, ′ ′ so that (idX ⊗ evX )(coevX ⊗ idX ), (evX ⊗ idX∗ )(idX∗ ⊗ coevX ), (evX ⊗ idX )(idX ⊗ coevX ), ′ ′ and (id∗X ⊗ evX )(coevX ⊗ id∗X ) are all identity morphisms. Moreover, C is called rigid if all of its objects are rigid.

Remark 5.2. When C is an abelian, rigid monoidal category, we do not need the assumption that ⊗ is biexact as this is implied by [EGNO15, Proposition 4.2.1].

Now we present the main result of this section.

Theorem 5.3. Take C a rigid monoidal category, and take (A,m,u) ∈ Alg(C). Then the following conditions are equivalent:

(a) There exist morphisms ∆ : A → A ⊗ A and ε : A → ½ in C such that (A, m, u, ∆,ε)

is in FrobAlg(C). ½ (b) There exist morphisms p : A ⊗ A → ½ and q : → A ⊗ A in C such that

p(m ⊗ idA)= p(idA ⊗ m), (p ⊗ idA)(idA ⊗ q) = idA = (idA ⊗ p)(q ⊗ idA).

∗ (c) There exists an isomorphism Φl : A → A of left A-modules in C, with left A-action ′ ′ maps λA = m and λ∗A = (id∗A ⊗ evA)(id∗A ⊗ m ⊗ id∗A)(coevA ⊗ idA⊗∗A). FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 21

∗ (d) There exists an isomorphism Φr : A → A of right A-modules in C, with right A-action maps ρA = m and ρA∗ = (evA ⊗ idA∗ )(idA∗ ⊗ m ⊗ idA∗ )(idA∗⊗A ⊗ coevA).

(e) There exists a morphism ν : A → ½ in C so that, if a left or right weak ideal (I, λI , φI ) of A factors through ker(ν), then φI is a zero morphism in C.

(f) There exists a morphism ν : A → ½ in C so that, if a left or right ideal (I, λI , φI ) of A factors through ker(ν), then φI is a zero morphism in C.

Deﬁnition 5.4. In the theorem above, we refer to the map p in part (b) as a nondegenerate pairing of A with copairing q. We also refer to the map ν in part (e) (resp., part (f)) as a weak Frobenius form (resp., a Frobenius form) on A.

Proof of Theorem 5.3. The equivalence of (a) and (b) is well-known; see, e.g., [FS08, Propo- sition 8]. The equivalence of (b) and (c) holds by [FS08, Proposition 9], and the equivalence of (c) and (d) follows from [FS08, Lemma 5].

Next, we show that (b) implies (e). With the pairing p : A ⊗ A → ½ in part (b), deﬁne

ν := p(u ⊗ idA): A → ½. Now part (e) for left weak ideals (I, λI , φI ) of A holds by the following commutative diagram.

(1) idA⊗ι idA⊗ν + A ⊗ ker(ν) 2/ A ⊗ A /3 A ⊗ ½ O ❢❢❢❢❢ O ❢❢❢❢❢ ; (2) ❢❢❢❢❢❢ (4) ❢❢❢❢❢ idA⊗φ ❢❢ idA⊗m ❢❢❢ I ❢❢❢❢❢ ❢❢❢❢ ❢❢❢❢❢ idA⊗φI ❢❢❢❢❢ idA⊗p ❢❢❢❢❢❢ ❢❢❢ A ⊗ I (3) 2 A ⊗ A ⊗ A (5) O ❡❡❡❡ O ❡❡❡❡❡❡ idA⊗λI ❡❡❡❡❡ q⊗idA idA ❡❡❡id❡ A⊗idA⊗φI ❡❡❡❡❡❡ A ⊗ A ⊗ I (6) ❡❡2 A O ❡❡❡❡❡❡ ❡❡❡❡❡❡ q⊗idA ❡❡❡❡❡ ❡❡❡ φI ❡❡❡❡❡❡ I ❡❡❡❡❡

Here, ι is the natural inclusion map, so (1) commutes by the deﬁnition of a kernel. By the hypothesis in part (e) on the left weak ideal (I, φI ), there exists a morphism φI : I → ker(ν) so that (2) commutes. The diagram (3) commutes as I ∈ AC, where λA = m. Diagram (4)

commutes because p = νm : A ⊗ A → ½ via the unit axiom. Now by part (b), there exists

a morphism q : ½ → A ⊗ A in C so that (5) commutes. Moreover, the diagram (6) clearly commutes. Using this, we conclude that the the outer diagram commutes, and thus φI = 0, as desired. Likewise, (b) implies (e) for right weak ideals by using a similar commutative diagram with the hypothesis that (p ⊗ idA)(idA ⊗ q) = idA, for p := νm. Next, (e) clearly implies (f). Finally, we verify that (f) implies (c). As in [FS08] take

′ ∗ Φl := (idA ⊗ νm)(coevA ⊗ idA): A → A. 22 CHELSEA WALTON AND HARSHIT YADAV

In fact, Φl ∈ AC, due to the following computation: ′ ′ ′ λ∗A(idA ⊗ Φl) = [id∗A ⊗ νm(evA ⊗ idA⊗A)(idA ⊗ coevA ⊗ idA)(m ⊗ idA)](coevA ⊗ idA⊗A) ′ = [id∗A ⊗ νm(m ⊗ idA)](coevA ⊗ idA⊗A) ′ = [id∗A ⊗ νm(idA ⊗ m)](coevA ⊗ idA⊗A) ′ = (id∗A ⊗ νm)(coevA ⊗ idA)m

=ΦlλA. Here, the ﬁrst and fourth equation hold by commutativity of maps; the second equation holds by a rigidity axiom; and the third equation holds since m is associative. Set the notation

K := ker(Φl) and C := coker(Φl), and it suﬃces to show that K = 0 and C = 0. To get that K = 0, we will show that the mono k : K ֒→ A attached to K is the zero morphism. To proceed, deﬁne λK : A ⊗ K → K using the universal property of kernels as follows: id ⊗k id ⊗Φ A ⊗ K A / A ⊗ A A l / A ⊗ ∗A

λ λ =m λ∗ K A A k Φl K / A / ∗A.

Here, the right square commutes due to Φl ∈ AC, and the left square commutes due to the deﬁnition of a kernel. Furthermore,

k λK (m ⊗ idA) = m (idA ⊗ k) (m ⊗ idA)

= m (m ⊗ idA)(idA ⊗ idA ⊗ k)

= m (idA ⊗ m)(idA ⊗ idA ⊗ k)

= m (idA ⊗ k)(idA ⊗ λK )

= k λK (idA ⊗ λK ).

The first, fourth and fifth equations hold by definition of λK ; the third equation holds by associativity of m, and the second equation holds by commutativity of maps. Since k is a mono, λK (idA ⊗ λK ) = λK (m ⊗ idA). Similarly, one can show that λK (u ⊗ idK ) = idK . Thus, (K,k,λK ) is a left ideal of A. Moreover, we get ′ 0 =evA(u ⊗ id∗A)Φl k ′ ′ = evA(u ⊗ id∗A)(idA ⊗ νm)(coevA ⊗ idA)k ′ ′ = νm(evA ⊗ idA ⊗ idA)(idA ⊗ coevA ⊗ idA)(u ⊗ idA)k

= νm(u ⊗ idA)k = νk.

Here, the ﬁrst equation holds because Φlk = 0; the second equation follows from the deﬁni- tion of Φl; the third equation holds by commutativity of maps; the fourth equation follows

from rigidity; and the last equation holds by unitality. So, νk : K → ½ is a zero morphism, which implies that k factors through ker(ν). Thus, by part (f), k is the zero morphism. To obtain that C = 0, consider the natural epi c : ∗A ։ C, along with its monic dual, ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ .( c : C ֒→ ( A) . In particular, ( A) = A, and it is straightforward to show C = ker(Φl FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 23

Then, by an argument similar to showing that (K,k,λK ) is a left ideal of A above, we ∗ ∗ obtain that (C ,c ,ρC∗ ) is a right ideal of A. Here, the right A-module map ρC∗ is induced by the map ρA∗ given the statement of part (d). Moreover, by using the rigidity and the ∗ ∗ ∗ unit axioms, we also obtain from Φl c = 0 that νc = 0. So, by part (f), we conclude that c∗ = 0. Thus, C∗ = 0, and hence, C = 0, as desired.

6. Filtered Frobenius algebras in rigid monoidal categories We now present the main result of the paper on ﬁltered Frobenius algebras in rigid monoidal categories [Theorem 6.5]; see Section 6.2. First, we discuss preliminary results in Section 6.1 on Frobenius forms of certain graded algebras that are Frobenius. We end by presenting questions for further investigation in Section 6.3. Let C be an abelian, rigid monoidal category throughout, which is strict with ⊗ biexact by Hypothesis 2.1 and 2.3. 6.1. Frobenius graded algebras. Consider the following terminology.

Deﬁnition 6.1. (a) A graded algebra B = ` B in C is connected if B = ½. i∈N0 i 0

(b) A filtered algebra (B, FB ) in C is called connected if FB (0) = ½. Remark 6.2. It is straight-forward to see that the associated graded algebra [Defini- tion 3.16] of a connected filtered algebra in C is a connected graded algebra in C. Next, we have a preliminary result on the structure of connected graded algebras that are Frobenius. n Lemma 6.3. Take a connected graded algebra B = ì=0 Bi in C that is Frobenius. Then the following statements hold. ∗ (a) Bn = B0 = ½.

(b) ε : B → ½ deﬁned as the composition n−1 ∼ ε : B −→ B/ `i=0 Bi −→ Bn = ½ is a (weak) Frobenius form on B. ∗ (c) Bn−i = Bi for 0 ≤ i ≤ n. ′ Proof. (a) Since the algebra (B,m,u) is Frobenius, we have a Frobenius form ε : B → ½ so

′ ½ that p = ε m : B ⊗ B → ½ is a nondegenerate pairing on B with copairing q : → B ⊗ B [Theorem 5.3, Deﬁnition 5.4]. Now let

ai : Bi → B and fi : B → Bi n be the natural inclusion and projection maps from the decomposition B = `i=0 Bi. Namely, n (6.4) `i=0 aifi = idB and fiaj = δi,j idBi . Next, consider the following computation:

′ (6.4) (6.4) `i,j (ε m⊗idBn )(an⊗ai⊗fnaj )(idBn ⊗fi⊗fj )(idBn ⊗q) = (p⊗fn)(an⊗q)= fnan = idBn .

Since fnaj = δn,j idBn , we must have that j = n in the equation above. On the other hand, m is a graded algebra map. Thus, im(m(an ⊗ ai)) is a subobject of Bn+i. Since, Bk = 0 for k>n, we must have that i = 0 in the equation above. Thus,

[(p ⊗ idBn )(an ⊗ a0 ⊗ idBn )][(idB ⊗ f0 ⊗ fn)(idBn ⊗ q)] = idBn . 24 CHELSEA WALTON AND HARSHIT YADAV

Likewise, we also have that

[(idB0 ⊗ p)(idB0 ⊗ an ⊗ a0)][(f0 ⊗ fn ⊗ idB0 )(q ⊗ idB0 )] = idB0 . ½ Therefore the maps p(an ⊗ a0): Bn ⊗ B0 → ½ and (f0 ⊗ fn)q : → B0 ⊗ Bn give Bn the ∗ structure of the left dual B0 of B0. So, by the connected assumption on B, we then get that

∗ ∗ ½ Bn = B0 = ½ = .

n−1 (b) Note that ker(ε) = ì=0 Bi. So to show that ε is a weak Frobenius form on B, n−1 we must verify that ì=0 Bi does not have a nonzero left weak ideal of B. By way of contradiction, suppose that (I, φI ) is a nonzero left weak ideal of B so that there is a map φI : I → ker(ε) with φI = ι φI ; here, ι the natural mono from ker(ε) to B. Then, by the definition of left weak ideals, for the left B-action maps λI : B ⊗ I → I and

λB = m : B ⊗ B → B, we get that m(idB ⊗ φI ) = φI λI . So, m(idB ⊗ φI ) = ι φI λI . On one hand, m is a graded map, so we must have that the image of m(idB ⊗ φI ) has Bn as a component. On the other hand, the image of ι φI λI does not have Bn as a component, which yields a contradiction. Hence, ker(ε) does not have a nonzero left weak ideal of B. n−1 ∼ Thus, with part (a) we obtain that ε : B → B/ `i=0 Bi = Bn = ½ is a weak Frobenius form on B.

′ (c) By part (b), B is Frobenius with weak Frobenius form ε. Hence p = εm : B ⊗ B → ½ ′ is a nondegenerate pairing on B for some copairing q : ½ → B ⊗ B. Now using the same argument as in part (a), we can show that

′ ′ ½ p (an−i ⊗ ai): Bn−i ⊗ Bi → ½ and (fi ⊗ fn−i)q : → Bi ⊗ Bn−i,

∗ give Bn−i the structure of the left dual Bi of Bi.

6.2. Main result. This brings us to the main result of the article.

Theorem 6.5. Take A to be a connected filtered algebra in C equipped with a finite monic filtration. If gr(A) is a Frobenius algebra in C, then so is A.

Proof. Since the ﬁltration on A is ﬁnite, A =∼ FA(n) for some n ∈ N0. Recall Notation 3.1 and consider the composite morphism

A ∼ πn η : A −→ FA(n) −→ FA(n).

Since gr(A) is a graded algebra in C by Theorem 3.8, and is Frobenius by assumption, we

get by Lemma 6.3(a) that FA(n) = ½. Let (I, λ, φ) be a left ideal of A, so that φ factors through ker(η) = FA(n − 1). Then, by Theorem 5.3, it suffices to show that φ is a zero morphism. Indeed, this would show that η is a Frobenius form for A. A Since I factors through ker(η), we have a map φ : I → FA(n − 1) such that ιn−1 φ = φ. By Proposition 2.30, we can endow I with a filtration FI making it a filtered left ideal of A. Recall from Lemma 2.29 that the filtration FI is defined using pullbacks. Consider the FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 25 following diagram:

FI (n) id θ (2) I % ιn−1 % (3) FI (n − 1) / FI (n)

φ Fφ(n−1) (1) φ ( F (n − 1) / F (n). A A A ιn−1

Here, square (1) commutes by deﬁnition of FI (n − 1) (see the diagram in the proof of A Lemma 2.29). Since ιn−1 φ = φ id, by universal property of pullbacks, we get a morphism I θ : FI (n) → FI (n − 1) such that (2) and (3) commute. Thus, we get that ιn−1 θ = id. I Hence, ιn−1 must be an epimorphism. Therefore, by (3.7), we have that gr(I)n = 0. Thus, n−1 the morphism gr(φ) : gr(I) → gr(A) factors through ⊕i=0 FA(i). By Lemma 6.3(b), we know that gr(A) is Frobenius with weak Frobenius form ε and n−1 ker(ε) = ⊕i=0 FA(i). Furthermore, by Proposition 2.8(c), we know that gr(I) is a left weak ideal of gr(A). Since the map gr(φ) from gr(I) to gr(A) factors through ker(ε), by Theorem 5.3 we get that gr(φ) = 0. We claim that gr(φ)i is monic; this is veriﬁed in [PP79, Lemma 4.3.2], but we include the details for the reader’s convenience. To proceed, consider the commutative diagram (3.7) A corresponding to the morphism φ as pictured below; recall we assume that ιj is monic for all j ∈ N0. Moreover, consider the kernel (K, k) of gr(φ)i, and let P be the pullback of k I A I and πi , given by α : P → K and β : P → FI (i). Note that πi Fφ(i) β = gr(φ)i πi β = 0. A A A Since ker(πi ) = im(ιi−1) and ιi−1 is monic, there exists a unique map γ : P → FA(i − 1) A so that Fφ(i) β = ιi−1 γ. Since FI (i − 1) is a pullback, there also exists a unique map I δ : P → FI (i − 1) so that ιi−1 δ = β.

α P / K γ ♣ ♣♣ ❴✤ δ ♣♣♣ ♣♣♣ β k x ♣♣ I I ♣ ιi−1 πi FI (i − 1) / FI (i) / FI (i) / 0 ❴✤ Fφ(i−1) Fφ(i) gr(φ)i=0 A A ιi−1 πi 0 / FA(i − 1) / FA(i) / FA(i) / 0.

I I I I Now kα = πi β = πi ιi−1 δ = 0. Since P is a pullback and πi is epic, the morphism α is epic as well [PP79, Corollary 4.2.6]. As a result, k = 0, as required. Now we show that FI (i) = 0 for all i via induction. Since φ = Fφ(n) is monic, and A FI (n − 1) is constructed via the pullback of φ and ιn−1, we obtain that Fφ(n − 1) is also monic. Likewise, Fφ(i) is monic for all i. Thus, the map Fφ(0) : FI (0) → FA(0) is monic, and is zero as Fφ(0) = gr(φ)0 = 0. Hence, FI (0) = 0. We now assume by induction that FI (i − 1) = 0. As shown above, gr(φ)i is a zero monic, so FI (i) = 0. So we can conclude that FI (i) = 0. Therefore, I = colimiFI (i) = 0, and thus, φ = 0, as required for A to be Frobenius. 26 CHELSEA WALTON AND HARSHIT YADAV

6.3. Further directions. We end this section by listing some directions for further investigation. First, as mentioned in the introduction, Theorem 6.5 is a categorical generalization of the main result of Bongale’s 1967 work [Bon67]. In her 1968 work [Bon68], Bongale generalized the 1967 result by removing the connected assumption. Question 6.6. Does Theorem 6.5 hold when A is not necessarily connected? Next, pertaining to the monoidal associated graded functor gr : Fil(C) → Gr(C) from Theorem 3.8, we inquire: Question 6.7. Does there exist an adjoint to gr that admits the structure of a Frobenius monoidal functor (see, e.g., [DP08]), that can be used to obtain Theorem 6.5 or more generally, to address Question 6.6 in the case when C is a rigid monoidal category? For instance, an adjoint to an associated graded functor is discussed in [GKRW18]; their functor is slightly diﬀerent than our functor gr in Section 3.

Remark 6.8. One can also analyze generalizations of other conditions for algebras in (certain) monoidal categories C, such as the integral domain, prime, Noetherian, and Calabi-Yau conditions mentioned in the introduction for C = Veck, and study when these properties lift to a filtered algebra A in C from the associated graded algebra gr(A) in C. On the other hand, Launois and Topley recently obtained a generalization of Bongale’s results for Frobenius extensions, which are k-algebra extensions S ⊂ R so that R is a projective left S-module and R =∼ HomS(R,S) as (R,S)-bimodules [LT19]. This recovers the classical definition of a Frobenius algebra when S = k. So we ask: Question 6.9. Is there a generalization of [LT19, Main Theorem] for the setting of filtered/graded algebras in monoidal categories as in this work? Remark 6.10. In any of the settings above, it would be also interesting to explore how the 2-dimensional topological quantum field theories (TQFTs) that we get from a (commutative) Frobenius algebra that is graded differ from the ones that we obtain from its (noncommutative) filtered deformations. See work on open-closed 2-dimensional TQFTs, e.g., as in [Laz01] and in [LP09, Section 2.4].

7. Application to braided Clifford algebras In this section, we illustrate the results above for filtered deformations of braided exterior algebras [Definition 7.4] studied by Bespalov et al. [BD97, BKLT00], namely for braided Clifford algebras [Definition 7.6]. Braided exterior algebras and braided Clifford algebras were previously studied in braided categories of vector spaces and in certain representation categories of quantum groups [Wor89, DO94, Ozi95, BZ08, Mat19]. In Section 7.1, we recall the definition of braided exterior algebras in general symmetric monoidal categories from [BKLT00]. In Section 7.2, we discuss the construction of braided Clifford algebras in such categories; this involves an open combinatorial problem on deforming the relations of braided exterior algebras [Problem 7.5]. In Section 7.3, we then establish that braided exterior algebras and braided Clifford algebras are Frobenius [Proposition 7.10]. Recall that we assume Hypotheses 2.1 and 2.3 throughout. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 27

7.1. Braided exterior algebras. Here, we recall the deﬁnition of braided exterior algebras in the following monoidal categories; see [BKLT00, Section 7].

Deﬁnition 7.1. Take C := (C, ⊗, ½,c) a braided monoidal category.

(a) We say that C is symmetric if cW,V cV,W = idV ⊗W for all V, W ∈C. (b) For an object V in a symmetric monoidal category C, a symmetric form on V is

morphism B : V ⊗ V → ½, where B cV,V = B. Next, consider the following notation.

Notation 7.2 ((sj )V,c, σV,c, (rV,c)n, rV,c). Let C := (C, ⊗, ½,c) be a symmetric monoidal b b category, and take an object V in C.

(a) Let sj denote the transposition (j j + 1) in Sn, and deﬁne the morphism ⊗n ⊗n (sj )V,c := idV ⊗(j−1) ⊗ cV,V ⊗ idV ⊗(n−j−1) : V → V .

(b) Take a permutation σ ∈ Sn, with reduced expression σ = sik sik−1 ··· si2 si1 , and deﬁne the morphism ⊗n ⊗n σV,c := (sik )V,c (sik−1 )V,c ··· (si2 )V,c (si1 )V,c : V → V .

(c) Take (rV,c)n := P sgn(σ)σV,c, and let rV,c := P N (rV,c)n. b σ∈Sn b n∈ 0 b We drop V,c from the subscript when understood. Towards deﬁning braided exterior algebras, consider the tensor algebras below (see, e.g., [BKLT00, Proposition 7.2]).

Definition 7.3 (T (V ), T (˚V )). Let C be a monoidal category, and take an object V in C. ⊗i (a) The tensor algebra T (V ) on V is the algebra in Gr(C) defined as T (V )i = V , for ⊗0 i ∈ N0, with V = ½, and with multiplication given by concatenation and unit given by natural embedding. ˚ ⊗i (b) The shuffle tensor algebra T (V ) on V is the algebra in Gr(C) defined as T (V )i = V , ⊗0 for i ∈ N0, with V = ½. Here, the unit given by natural embedding, and the multiplication given by ⊗n ⊗m ⊗(n+m) P n,m sgn(σ)σV,c : V ⊗ V → V , σ∈Sn+m n,m where Sn+m is the collection of inverse shuffle permutations. ˚ Note that the morphism rV,c : T (V ) → T (V ) from Notation 7.2 is the antisymmetrizer b map from [BKLT00, Proposition 7.2(2)], which is a morphism of algebras in Gr(C). Recall the construction of quotient algebras from Section 4, and consider the definition below.

Deﬁnition 7.4 (Λc(V ), IV,c). Retain Notation 7.2. Denote I := IV,c := ker(rV,c), and b b b b deﬁne the braided exterior algebra to be the algebra in C:

Λc(V ) := im(rV,c) =∼ T (V )/IV,c. b b When C = Veck (with standard braiding), it is well known that the kernel of the antisymmetrizer map is the ideal generated by the the relations v ⊗ w + w ⊗ v for all v, w ∈ V . Thus, Deﬁnition 7.4 generalizes the classical deﬁnition of an exterior algebra over k. 28 CHELSEA WALTON AND HARSHIT YADAV

7.2. On braided Clifford algebras. Next, we turn our attention to braided Clifford algebras. To proceed, recall Definition 4.9 and consider the following problem. This problem is combinatorial in nature, and pertains to Remark 4.11. Problem 7.5. Take C a symmetric monoidal category, V an object in C, and B a symmetric form on V . Define morphisms r = rf + rB and α on T (V )f in Fil(C) so that the following b conditions hold: (i) r is an algebra map from T (V )f ; (ii) When C = Veck, we have that ker(r) is the ideal of T (V )f generated by the relations v ⊗ w + w ⊗ v − B(v, w), for all v, w ∈ V ; (iii) rf = rα; and b (iv) gr(α) = idT (V ). In particular, conditions (iii) and (iv) imply that gr(r)= r. b By resolving the problem above, we can define a braided Clifford algebra so that it is a filtered deformation of a braided exterior algebra; consider the following terminology and see (the proofs of) Proposition 7.7 and Corollary 7.8 below.

Definition 7.6 (Clc(V,B), IV,c). Assume Problem 7.5 is resolved. Denote I := IV,c = f ker(rV,c) (which is an ideal of T (V ) by 7.5(i)). Define the braided Clifford algebra to be the algebra in Fil(C): f Clc(V,B) := im(rV,c) =∼ T (V ) /IV,c. Here, we use of the construction of quotient algebras from Section 4. Moreover, condition 7.5(ii) ensures that Clc(V,B) is isomorphic to the usual Clifford algebra when C = Veck. Next, we show that associated graded algebra of the braided Clifford algebra is the braided exterior algebra [Definition 7.4]. To do this, we use Corollary 4.8 from Section 4 above. First, we need the following proposition. Proposition 7.7. Assume that Problem 7.5 is resolved. Then, gr(I)= Ib. f f Proof. Let kr : I → T (V ) denote the inclusion of ker(r) into T (V ) . Since I = ker(r), it b b suffices to show that gr(I) satisfies the universal property of the kernel of r: for any object b X ∈ Gr(C) with a map p : X → T (V ) such rp = 0, there exists a unique map q : X → gr(I) b such that p = gr(kr) q. By condition 7.5(iii), we have a map α : T (V )f → T (V )f satisfying rf = rα. Thus, b rαpf = rf pf = (r p)f = 0. Since I = ker(r), there exists a unique morphism γ : Xf → I b f b such that αp = kr γ. Thus, we get the following commutative diagram.

f p rbf Xf / T (V )f / T (V )f K γ (1) α k I r / T (V )f r

f Applying the functor gr, we get that gr(α) gr(p ) = gr(kr) gr(γ). Since gr(α) = idT (V ) f (by 7.5(iv)) and gr(p )= p, we get that p = gr(kr) gr(γ). Since γ is the unique morphism making diagram (1) commute, q := gr(γ) is the unique morphism such that p = gr(kr) q. Since we constructed the desired morphism, q : X → gr(I), we get that gr(I)= Ib. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 29

Corollary 7.8. Assume that Problem 7.5 is resolved. Then, gr(Clc(V,B)) =∼ Λc(V ) as algebras in Gr(C).

f Proof. Applying Corollary 4.8 with A = T (V ) and IV,c = ker(rV,c), we get an isomorphism f of graded algebras in C: T (V )/gr(IV,c) =∼ gr(T (V ) /IV,c). Then, the result follows from Proposition 7.7 and Deﬁnitions 7.4 and 7.6.

7.3. Braided exterior algebras and braided Cliﬀord algebras are Frobenius. Now we establish the main result of this section. Consider the following condition.

Hypothesis 7.9. Let C := (C, ⊗, ½,c) be a symmetric, rigid monoidal category, and take an object V in C. Assume that (rV,c)N = 0 and (rV,c)N−1 6= 0, for some even N ∈ N0. (In b b this case, (rV,c)n = 0 for n ≥ N.) b Proposition 7.10. Assume Hypothesis 7.9. Then, the braided exterior Λc(V ) is a Frobenius algebra in C. Moreover, when Problem 7.5 is resolved, the braided Cliﬀord algebra Clc(V,B) is also Frobenius in C.

Proof. Under Hypothesis 7.9, we obtain by [BKLT00, Proposition 7.2(b)] that Λc(V ) is a Hopf algebra in Gr(C) with invertible antipode. Moreover, [BKLT00, Proposition 7.3] implies that Λc(V ) has a left integral λ and a right cointegral µ so that λµ 6= 0. Then, Λc(V ) is a Frobenius algebra in C; see, e.g., [FS10, Appendix A.2] (the ribbon assumption is not needed f there). Since Clc(V,B) is a connected ﬁltered algebra in C, with monic ﬁltration via (−) , we obtain that Clc(V,B) is a Frobenius algebra in C by Corollary 7.8 and Theorem 6.5.

References

[AM12] Alessandro Ardizzoni and Claudia Menini. Associated graded algebras and coalgebras. Comm. Algebra, 40(3):862–896, 2012. [BD97] Yuri Bespalov and Bernhard Drabant. Differential calculus in braided abelian categories. 1997. Available at https://arxiv.org/pdf/q-alg/9703036. [BKLT00] Yuri Bespalov, Thomas Kerler, Volodymyr Lyubashenko, and Vladimir Turaev. Integrals for braided Hopf algebras. J. Pure Appl. Algebra, 148(2):113–164, 2000. [Bon67] P. R. Bongale. Filtered Frobenius algebras. Math. Z., 97:320–325, 1967. [Bon68] P. R. Bongale. Filtered Frobenius algebras. II. J. Algebra, 9:79–93, 1968. [BT07] Roland Berger and Rachel Taillefer. Poincaré-Birkhoff-Witt deformations of Calabi-Yau algebras. J. Noncommut. Geom., 1(2):241–270, 2007. [BZ08] Arkady Berenstein and Sebastian Zwicknagl. Braided symmetric and exterior algebras. Trans. Amer. Math. Soc., 360(7):3429–3472, 2008. [CPV13] Bob Coecke, Dusko Pavlovic, and Jamie Vicary. A new description of orthogonal bases. Math. Structures Comput. Sci., 23(3):555–567, 2013. [Day70] Brian Day. On closed categories of functors. In Reports of the Midwest Category Seminar, IV, Lecture Notes in Mathematics, Vol. 137, pages 1–38. Springer, Berlin, 1970. [DO94] Mićo Durdevićand Zbigniew Oziewicz. Clifford algebras and spinors in braided geometry. volume 4, pages 461–467. 1994. Differential geometric methods in theoretical physics (Ixtapa- Zihuatanejo, 1993). [DP08] Brian Day and Craig Pastro. Note on Frobenius monoidal functors. New York J. Math., 14:733– 742, 2008. [Dub96] Boris Dubrovin. Geometry of 2D topological field theories. In Integrable systems and quantum groups (Montecatini Terme, 1993), volume 1620 of Lecture Notes in Math., pages 120–348. Springer, Berlin, 1996. 30 CHELSEA WALTON AND HARSHIT YADAV

[EGNO15] Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Tensor categories, volume 205 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2015. [FFRS06] Jens Fjelstad, Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert. TFT construction of RCFT correlators. V. Proof of modular invariance and factorisation. Theory Appl. Categ., 16:No. 16, 342–433, 2006. [FRS02] Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert. TFT construction of RCFT correlators. I. Partition functions. Nuclear Phys. B, 646(3):353–497, 2002. [FRS04a] Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert. TFT construction of RCFT correlators. II. Unoriented world sheets. Nuclear Phys. B, 678(3):511–637, 2004. [FRS04b] Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert. TFT construction of RCFT correlators. III. Simple currents. Nuclear Phys. B, 694(3):277–353, 2004. [FRS05] Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert. TFT construction of RCFT correlators. IV. Structure constants and correlation functions. Nuclear Phys. B, 715(3):539–638, 2005. [FS08] Jürgen Fuchs and Carl Stigner. On Frobenius algebras in rigid monoidal categories. Arab. J. Sci. Eng. Sect. C Theme Issues, 33(2):175–191, 2008. [FS10] Jürgen Fuchs and Christoph Schweigert. Hopf algebras and finite tensor categories in conformal field theory. Rev. Un. Mat. Argentina, 51(2):43–90, 2010. [GKRW18] Soren Galatius, Alexander Kupers, and Oscar Randal-Williams. Cellular Ek-algebras. 2018. Available at https://arxiv.org/abs/1805.07184. [GP18] Owen Gwilliam and Dmitri Pavlov. Enhancing the filtered derived category. J. Pure Appl. Algebra, 222(11):3621–3674, 2018. [Hen14] AndréHenriques. Three-tier CFTs from Frobenius algebras. In Topology and field theories, volume 613 of Contemp. Math., pages 1–40. Amer. Math. Soc., Providence, RI, 2014. [HM16] Rune Haugseng and Haynes Miller. On a spectral sequence for the cohomology of infinite loop spaces. Algebr. Geom. Topol., 16(5):2911–2947, 2016. [JS86] AndréJoyal and Ross Street. Braided monoidal categories. Macquaire Mathematics Reports, 860081, 1986. [KS11] Anton Kapustin and Natalia Saulina. Surface operators in 3d topological field theory and 2d rational conformal field theory. In Mathematical foundations of quantum field theory and per- turbative string theory, volume 83 of Proc. Sympos. Pure Math., pages 175–198. Amer. Math. Soc., Providence, RI, 2011. [Laz01] C. I. Lazaroiu. On the structure of open-closed topological field theory in two dimensions. Nuclear Phys. B, 603(3):497–530, 2001. [LP09] Aaron D. Lauda and Hendryk Pfeiffer. Open-closed TQFTS extend Khovanov homology from links to tangles. J. Knot Theory Ramifications, 18(1):87–150, 2009. [LT19] Stephane Launois and Lewis Topley. Transfer results for Frobenius extensions. J. Algebra, 524:35–58, 2019. [M03]¨ Michael Müger. From subfactors to categories and topology. I. Frobenius algebras in and Morita equivalence of tensor categories. J. Pure Appl. Algebra, 180(1-2):81–157, 2003. [Mat19] Marco Matassa. On PBW-deformations of braided exterior algebras. Adv. Appl. Clifford Algebr., 29(1):Paper No. 8, 23, 2019. [MMP+20] Yiby Morales, Monique Müller, Julia Plavnik, Ana Ros Camacho, Angela Tabiri, and Chelsea Walton. Algebraic structures in group-theoretical fusion categories. 2020. Available at https://arxiv.org/abs/2001.03837. [Moo04] Gregory Moore. K-theory from a physical perspective. In Topology, geometry and quantum field theory, volume 308 of London Math. Soc. Lecture Note Ser., pages 194–234. Cambridge Univ. Press, Cambridge, 2004. [MR01] J. C. McConnell and J. C. Robson. Noncommutative Noetherian rings, volume 30 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, revised edition, 2001. With the cooperation of L. W. Small. FILTERED FROBENIUS ALGEBRAS IN MONOIDAL CATEGORIES 31

[Ozi95] Zbigniew Oziewicz. Clifford algebra for Hecke braid. In Clifford algebras and spinor structures, volume 321 of Math. Appl., pages 397–411. Kluwer Acad. Publ., Dordrecht, 1995. [PP79] Nicolae Popescu and Liliana Popescu. Theory of categories. Martinus Nijhoff Publishers, The Hague; Sijthoff & Noordhoff International Publishers, Alphen aan den Rijn, 1979. [RV14] Emily Riehl and Dominic Verity. The theory and practice of Reedy categories. Theory Appl. Categ., 29:256–301, 2014. [Sch96] Peter Schauenburg. A characterization of the Borel-like subalgebras of quantum enveloping algebras. Comm. Algebra, 24(9):2811–2823, 1996. [Seg01] Graeme Segal. Topological structures in string theory. volume 359, pages 1389–1398. 2001. Topological methods in the physical sciences (London, 2000). [SFR06] Christoph Schweigert, Jürgen Fuchs, and Ingo Runkel. Categorification and correlation functions in conformal field theory. In International Congress of Mathematicians. Vol. III, pages 443–458. Eur. Math. Soc., Zürich, 2006. [SW15] Anne V. Shepler and Sarah Witherspoon. Poincaré-Birkhoff-Witt theorems. In Commutative algebra and noncommutative algebraic geometry. Vol. I, volume 67 of Math. Sci. Res. Inst. Publ., pages 259–290. Cambridge Univ. Press, New York, 2015. [Wor89] S. L. Woronowicz. Differential calculus on compact matrix pseudogroups (quantum groups). Comm. Math. Phys., 122(1):125–170, 1989. [WZ13] Quanshui S. Wu and Can Zhu. Poincaré-Birkhoff-Witt deformation of Koszul Calabi-Yau algebras. Algebr. Represent. Theory, 16(2):405–420, 2013. [Yam04] Shigeru Yamagami. Frobenius algebras in tensor categories and bimodule extensions. In Galois theory, Hopf algebras, and semiabelian categories, volume 43 of Fields Inst. Commun., pages 551–570. Amer. Math. Soc., Providence, RI, 2004.

Walton: Department of Mathematics, Rice University, Houston, TX 77005, USA Email address: [email protected]

Yadav: Department of Mathematics, Rice University, Houston, TX 77005, USA Email address: [email protected]