Arxiv:2106.04132V1 [Math.CT] 8 Jun 2021 Eut Hsatcepooe Ahfrrcvrn H Aoscorre Galois Result

Home , Galois connection

arXiv:2106.04132v1 [math.CT] 8 Jun 2021 eut hsatcepooe ahfrrcvrn h aoscorre Galois result. the monadicity recovering a for path from a dence proposes article This result. ruso ymtisaditreit structures. between intermediate stabilizers, theo and and symmetries fundamental invariants of as by groups place given textbooks, correspondence, algebra the most in taught and aoscneto;Hp oas ank ult . duality Tannaka monads; Hopf connection; Galois action group monad of a the category of for the gory actions and the interest Since of group. category a between alence .Introduction 1. e od n phrases. and words Key .Cmuigsaiiesi oodlcoe categories closed monoidal in stabilizers References adjoints Computing right via monads invariants 5. augmented Computing for stabilizers and 4. Invariants 3. Preliminars 2. 2020 [ In Artin Emil by develop as theory, Galois to approach structural The AOSCREPNEC O AUGMENTED FOR CORRESPONDENCE GALOIS 4 ahmtc ujc Classification. Subject Mathematics fsaiiesi aei em fTnainreconstruction. Tannakian of terms in made characterizat Addition- is a categories, stabilizers adjoints. closed of is monoidal right of invariants suitable context of the of in computation ally, existence the the for in assuming prop procedure given given universal explicit is through An defined connection stabilizers erties. This and func invariants forgetful of category. the terms of Eilenberg-Moore sub-functors its and from monad augmented an of Abstract. xo´ ] rtedekrfae aoster sa equiv- an as theory Galois reframed Grothendieck Exposé V], , eetbihaGli oncinbtensub-monads between connection Galois a establish We OA EIEGARC FELIPE JOHAN G × ? umne oas rtedeksGli Theory; Galois Grothendieck’s monads; Augmented 1. rtedeksfruaini monadicity a is formulation Grothendieck’s , Introduction MONADS Contents 1 G 81,1E0 80,1D5 16T05. 18D15, 18M05, 18E50, 18C15, omteElnegMoecate- Eilenberg-Moore the form ´ AVARGAS IA ion tor - fa of s spon- sub- rem 18 14 11 9 3 1 2 JOHAN FELIPE GARCÍA VARGAS

Our main hypothesis is that the monad possess an augmentation. Where, an augmentation is a monad homomorphism to the identity of the base category. This hypothesis is strong, because in the case of Hopf monads it implies that the monad is ⊗-representable, as shown in [2, Section 5]. Morally, having an augmentation distinguish groups from groupoids. More precisely, the monad induced by a groupoid has an augmentation only when every morphism in the groupoid is an endomorphism. How- ever, this makes sense, because there is no clear meaning for invariants of a groupoid action when it moves elements from a set to another. Before presenting the details, let me exhibit the intuition behind them. Imagine the monad T as an algebraic gadget useful for “captur- ing the symmetries” of some kind of structure deﬁned over a category C . With this in mind, we regard the forgetful functor U as the “universal T -structure”. A Galois correspondence will emerge from comparing the action of a part of the symmetries, parametrized by a monad homomorphism h : S ⇒ T , over a part of the of the structure, parametrized by a natural transformation α : V ⇒ U, against a trivial action induced by an augmentation of the monad. The next example illustrates the notions that we aim to generalize and might be considered a trailer for the paper:

Example 1.1. Let G be a group. Consider the augmented monad G × ? in Sets, where the augmentation is the projection to the second component. The Eilenberg-Moore category Sets G is the category of G-sets and equivariant maps. φ For any group homomorphism H −→ G the H-invariants deﬁne a subfunctor of the forgetful U : Sets G → Sets, mapping an action r (X,G × X −→ X) to the set inclusion

Inv Hφ(X,r)= {x ∈ X : φ(h)x = x for all h ∈ H} ⊆ X.

We will dissect this construction in the following way: r e X The action G × X −→ X and the augmentation G × X −−→× X (the e stands for erase, or for the constant function to the group identity) parametrize for every x ∈ X functions from G to X, mapping g 7→ (r(g, x)= gx) and g 7→ (e(g)x = x), respectively. [φ,X] φ Denoting by [G,X] −−−→ [H,X] the function precomposing by H −→ p q r [φ,X] G, we can present Inv H(X,r) as the equalizer of X [G,X][H,X]. pe⊗Xq This presentation of invariants is generalized in Lemma 4.1. GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 3

On the other hand, for every natural transformation α : V ⇒ U the stabilizer of Vα is the subgroup of G defined by G Stab Vα = {g ∈ G : gαM (v)= αM (v) for every M ∈ Sets and every v ∈ V M}. Inspired by Tannakian reconstruction, we can also dissect the construction of stabilizers. Notice that each g ∈ G gives a natural endomorphism of U obtained by acting, explicitly ρ(g): U ⇒ U is defined by ρ(g)M (x) = rM (g, x) = gx for every G-set M = (X,rM ) and every x ∈ X. The augmentation similarly defines a natural endomorphism of U for each g ∈ G, ǫ(g): U ⇒ U defined by ǫ(g)M (x) = e(g)x = x for every G-set M = (X,rM ) and every x ∈ X, which is clearly the identity of U. Nat(α,U) Denoting by End(U) −−−−−→ Nat(V, U) the function precomposing ρ Nat(α,V ) by α : V ⇒ U, we can present Stab Vα as the equalizer of G End(U) Nat(V, U). ǫ This presentation of stabilizers is generalized in Lemma 5.10. The well known Galois connection between invariants and stabilizers is generalized in Corollary 3.7. The structure of the document is straightforward. Section 2 contains three preliminars one about lifting functors to Eilenberg-Moore categories, one about monoidal closed categories and Hopf monads and one about Galois connections. Section 3 introduces invariants and stabilizers as universal representants for the fix relation. Section 4 is about computing invariants and Section 5 about computing stabilizers in monoidal closed categories. 2. Preliminars Notation 2.1. We write compositions from right to left. Given natural transformations α : F ⇒ F ′ and γ : F ′ ⇒ F ′′, where F, F ′, F ′′ : C → D, we denote their vertical composition by γ · α : F ⇒ F ′′. If additionally given β : G ⇒ G′, with G,G′ : D → E, we denote the horizontal composition by β⋆α : GF ⇒ G′F ′. We will abbreviate identities of functors (and of objects) as idG = G. We will also omit the ⋆ when whiskering. For instance, β⋆α =(G′α) · (βF )=(βF ′) · (Gα). 2.1. Monadic lifting to Eilenberg-Moore categories. It is well known, see [5, Chapter VI] for instance, that every adjunction yields a monad and that the Eilenberg-Moore construction allow to decompose a monad into an adjunction in a “universal” way. Where by universal, we mean that every other adjunction, yielding the same monad, is included in it. It is less well known, that the lift of functors to Eilenberg- Moore categories can be understood in terms of natural transformations 4 JOHAN FELIPE GARCÍA VARGAS

of the base categories. We will make a quick review of this and refer the reader to [1, Chapter 2] for the details. We denote monads by (T,µ,η) and adjunctions by (η, L ⊣ R,ε) as displayed in the next ﬁgure:

T T µ L η T ⊣ CC RL C D ε LR η R IdC (a) Monad. (b) Adjunction.

Figure 1. Structure of monads and adjunctions.

Deﬁnition 2.2. Let (T,µ,η) be a monad over a category C . The Eilenberg-Moore category of T , denoted C T , has T -actions as objects and T -morphisms as morphisms. rM (a) A T -action is a pair M =(X,TX −→ X), where X is in C and r satisﬁes:

associativity rM µX = rTrM ,

and unity, rM ηX = X.

f (b) A T -morphism M −→ N, between T -actions M = (X,r) and f N =(Y,r′), is a morphism X −→ Y satisfying fr = r′T f. (c) The forgetful functor U T : C T → C , deﬁned by f f U T ((X,r) −→ (Y,r′))=(X −→ Y ), has a left adjoint F T : C → C T . This functor is known as the free functor and it is deﬁned by

T µX T f Tf F X =(TX,TTX −−→ TX) and F (X −→ Y )=(TX,µX) −→ (TY,µY ). Notice that T = U T F T , hence the unit of the adjunction T T η : IdC ⇒ U F is equal to the unit of the monad η : IdC ⇒ T . T T Moreover, the evaluation ε : F U ⇒ IdC T is given by εM = r r (TX,µX ) −→ (X,r), for any T -action M =(X,TX −→ X). (d) Suppose that there is another adjunction (η, L ⊣ R,υ) with R : D → C such that T = RL and µ = RυL. The comparison functor K : D → C T is deﬁned by

RυA KA =(RA, RLRA −−→ RA), GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 5

for every object A in D. It is easy to verify that KA is a T -action and obviously U T K = R. (e) A functor R : D → C is called monadic if it has a left adjoint , L ⊣ R, and the comparison functor is an equivalence from D to the Eilenberg-Moore category C T of the induced monad T = RL. Definition 2.3. Let (T,µ,η) and (T ′,µ′, η′) be monads over C and C ′, respectively. Given a functor G : C → C ′, we say that: ′ ′ • A lift of G is a functor G : C T → C ′T such that U T G = GU T . • A lifting data for G is a natural transformation γ : T ′G ⇒ GT such that γ · (µ′G)=(Gµ) · (γT ) · (T ′γ), and γ · (η′G)= Gη. • When C = C ′, an homomorphism of monads h : T ′ ⇒ T is a lifting data for IdC . In that case, the above axioms simplify to h · µ′ = µ · (h ⋆ h) and h · η′ = η. Theorem 2.4. [1, Theorem and definition 2.27] Let T , T ′ and G as in the previous definition. There is a biyection between lifts of G and lifting data for G. As a special case of the above theorem, taking the identity as base ′ functor (i.e C = C and G = IdC ), we obtain the following corollary: Corollary 2.5. Let T and T ′ be monads over C . There is a biyection between monad homomorphisms h : T ′ ⇒ T and functors H : C T → ′ ′ C T such that U T H = U T . The next proposition gives a criterion for lifting natural transformations: Proposition 2.6. [1, Theorem and definition 2.30] Given a natural transformation ω : G ⇒ H between functors from C to C ′ with lifting data α : T ′G ⇒ GT and β : T ′H ⇒ HT along the monads T and T ′. ′ There is an unique ω¯ : Gα ⇒ Hβ which lifts ω (i.e. U T ω¯ = ωU T ), if and only if, (ωT ) · α = β · (T ′ω). 2.2. Monoidal closed categories and Hopf monads. A monoidal category is a category C endowed with a functor ⊗ : C × C → C called

monoidal product, an object ½ in C called unit object, and natural isomorphisms called associativity and unit constrains which are subject to well known axioms of coherence. In virtue of the strictness theorems, — see [1, Lemma 3.7 and 3.8], [5, Section VII.2] or [3, Section 2.8] 6 JOHAN FELIPE GARC´IA VARGAS

— it is unnecessary to explicitly keep track of the associative or unit constraints in any monoidal category, as long as you are only interested in properties up to monoidal equivalence of categories. One key feature of monoidal categories is that an object X, can be regarded as an endofunctor X ⊗ ?; this kind of functors are called ⊗-representable. The same idea applies to morphisms and natural transformations. For instance, ⊗-representable monads correspond to monoids. Furthermore, the Eilenberg-Moore category of such a monad is the category of actions of the monoid. Bimonads are monads which lift the monoidal product to the Eilenberg-

Moore category. More precisely, a monad T over (C , ⊗.½) is a bimonad if and only if CT is also monoidal and the forgetful functor U T : C T → C is strong monoidal. By means of Theorem 2.4, Bimon- ads are characterized as opmonoidal monads, see [1, Theorem 3.19]. A monoidal category is left closed if every ⊗-representable functor ? ⊗ X has a right adjoint, denoted [X, ?]ℓ. In this case, we call [X,Z]ℓ the left internal Hom from X to Z. Since the adjunction (ηX , ? ⊗ X ⊣ [X, ?]ℓ,εX ), gives a biyection between Hom (Y ⊗ X,Z) and Hom Y, [X,Z]ℓ . Borrowing the terminology from computer sci- f p q ℓ X ence, we deﬁne the currying of any Y ⊗ X −→ Z as f = [X, f] ηY , g ℓ x y X and the uncurrying of Y −→ [X,Z] as g = εZ (g ⊗ X). It is worth noticing that by the theorem on adjunctions with a parameter — see ℓ op [5, Theorem 3 in IV.7.] — [?1, ?2] is functor from C ⊗ C to C , when C is left monoidal closed. When the functor [X, ?]ℓ is ⊗-representable, i.e. [X, ?]ℓ = ? ⊗ Xℓ we call Xℓ the left dual of X. A monoidal category is left rigid (also called compact or autonomous) if every object has a left dual. Since a bimonad T lifts the monoidal product, for every T -action T T M =(X,rM ) the functor ? ⊗ M : C → C is a lift of ? ⊗ X : C → C . The bimonad T is a left Hopf monad if whenever ? ⊗ X has a right adjoint, the adjoint lifts to an adjoint of ? ⊗ M. Consequently, if C is left monoidal closed (resp. rigid) and T is a left Hopf monad, then C T is also left closed (resp. rigid) and the forgetful functor preserves internal Homs. Left Hopf monads are characterized by the invertibility of the left fusion operator, see [2, Theorem 3.6] or [1, Theorem 3.27]. Another key feature of monoidal categories is that, in addition to the usual duality between a category and its opposite, there is a left- right duality obtained by exchanging the order in the monoidal product. Implying that there are right variants for each of the above deﬁned concepts. When the laterality is omitted it is tacitly understood that GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 7

both variants holds. For instance, a rigid category is both left and right rigid. A gadget for comparing left and right ⊗-representable functors is called a braiding. More precisely, a lax half-braiding on a monoidal category C is a pair (A, σ) where A is an object and σ : A ⊗ ? ⇒ ? ⊗ A is a ⊗-multiplicative natural transformation. Where ⊗-multiplicative

means that σ½ = idA and

σX⊗Y =(X ⊗ σY )(σX ⊗ Y ), for arbitrary X and Y in C . The adjective lax is dropped when σ is an isomorphism. A braiding is a ⊗-multiplicative choice of a half braiding for every object in C . A lax central bimonoid is simultaneously a lax central comonoid and monoid such that the multiplication and unit are comonoid homomorphisms. Explicitly, for a lax central bimonoid A =(A, σ, δ, µ, ε, η): (A, σ) is a lax half-braiding, (A, δ, ε) is a comonoid, (A, µ, η) is a monoid, and they satisfy (µ⊗µ)(A⊗σA ⊗A)(δ ⊗δ)= δµ, ε⊗ε = εµ, η ⊗η = δη

and εη = ½. Every lax central bimonoid defines a bimonad given by the functor A ⊗ ?, see [2, Lemma 5.6]. A lax central bimonoid H =(H,σ,δ,µ,ε,η) is called lax Hopf monoid if the fusion morphism (H ⊗ µ)(δ ⊗ H) is an isomorphism. By the the relation between convolution and fusion morfism, a lax Hopf monoid s has an antipode H −→ H such that µ(s ⊗ H)δ = ηε = µ(H ⊗ s)δ. The adjective lax is dropped when both σ and s are isomorphisms. Since this paper is about augmented monads is very significant for us that in the Hopf case every augmented monad is representable. Theorem 2.7. [2, Corollary 5.18] There is an equivalence between the categories of augmented left Hopf monads and lax central Hopf monoids, which restricts to an equivalence between augmented Hopf monads and central Hopf monoids. 2.3. Galois connections induced by functorial relations. This is slight generalization of the Galois connection induced by a relation relationship on sets. It is completely elementary and should be folklore, but the author didn’t find any appropriate reference and decided to include brief but self contained exposition of this. Definition 2.8. We call functorial relation between the categories X and Y to a functor R : X × Y → 2, where 2 = {true → false} is thought as the truth values of the relation. In other words, for objects 8 JOHAN FELIPE GARCÍA VARGAS

X and Y in X and Y , respectively, we say that X is related to Y when R(X,Y ) = true. Notice that asserting that R is a functor simply means that for any f g pair of morphisms, X′ −→ X and Y ′ −→ Y , if X is related to Y then X′ is related Y ′. Definition 2.9. The R-representant for an object X in X is an object, denoted R∗X, such that for every Y in Y , X is related to Y if and only if there is an unique morphism Y → R∗X. The R-representant for a Y in Y , denoted R∗Y is analogously defined. The next definition generalizes the case of a Galois connection between partially ordered sets, to adjunctions with a pre-order as its core. Remember that a pre-order is a category with at most one morphism among any pair of objects. Definition 2.10. A Galois connection, between the categories X and Y , is a contravariant adjunction G : Y → X op ⊣ F : X op → Y such that HomY (Y,FX) ≈ HomX (X,GY ) has at most one element, for arbitrary X and Y . Remark 2.11. Let G : Y → X op ⊣ F : X op → Y be a Galois connection. i. For any X in X , there is a unique morphism X → GFX. We say that X is Galois closed if this is an isomorphism. The Galois closed objects in X form a pre-order. ii. Since evaluating G at Y −→ FGY gives a morphism GFGY −→ GY , for any Y in Y , GY is Galois closed in X . Analogously, for any X in X , FX is closed in Y . iii. In conclusion, F and G induce an order-reversing equivalence between Galois closed objects. This is known as the induced Galois correspondance. Now we are able to define the Galois connection induced by R. Proposition 2.12. Let R be a functorial relationship between X and Y . i. If every object in X has a representant, then mapping X 7→ R∗X defines a functor R∗ : X op → Y . Analogously, when every object in Y has a representant there op is R∗ : Y → X . ∗ ii. If both R and R∗ are defined, then they form a Galois connection. f Proof. Given a morphism X′ −→ X in X , since R is functorial and X is related to R∗X, then X′ is related to R∗X; hence there is an unique R∗X → R∗X′. GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 9

The adjunction plainly recalls that the existence of maps Y → R∗X and X → R∗Y are both equivalent to X is related to Y . 3. Invariants and stabilizers for augmented monads This section contains the main result of this paper. It states that in an augmented monad it is possible to define of invariants and stabilizers, in a way that naturally establish a Galois correspondence when they exist. Definition 3.1. Let T =(T,µ,η) be a monad over C . An augmentation of T is a monad homomorphism e : T ⇒ IdC . This is a natural transformation which satisfies e · η = IdC and e · µ = e ⋆ e. A monad endowed with an augmentation is called augmented monad.

eX The intuition for an augmentation, is that the morphism TX −→ X is the trivial action for any X in C ; the action which forgets T and leaves X ﬁxed. During this whole section we will work in an augmented monad T = (T,µ,η,e) over a category C and denote by (η, F ⊣ U, ε) the Eilenberg-Moore decomposition of T ; where U : C T → C is the forgetful functor from the category of T -actions, and its left adjoint F sends every object in C to the free action on it. See deﬁnition 2.2 for the details.

3.1. The ﬁx relation. Let Monad C be the category of monads over C . For brevity, we denote by Sh a monad homomorphism h : S ⇒ T considered as object of Monad C /T and by Vα a natural transformation α : V ⇒ U from a functor V : C T → C considered as object of Fun(C T , C )/U. Since the augmentation provides us with a notion of trivial action, we can compare any action with the trivial one over the same object. Moreover, we can restrict this comparison to a part of the monad or to a part of the object. The next deﬁnition does both restrictions simultaneously and then performs the comparison.

Deﬁnition 3.2. We say that Sh ﬁxes Vα when (Uε) · (h⋆α)=(eU) · (h⋆α).

rM Let’s expand the above definition for a given T -action M =(X,TX −→ X): Since X = UM and the action morphism rM equals UεM , then the left hand side is obtained by composing rM with (h⋆α)M = (TαM )hVM = hX (SαM ). On the other hand, (eU)M = eX is the trivial action; therefore, when Sh fixes Vα the restriction of the trivial action equals the restricted 10 JOHAN FELIPE GARCÍA VARGAS

action, this is rM hX (SαM )= eX hX (SαM ). Remark 3.3. By Corollary 2.5, every monad homomorphism h : S ⇒ T corresponds to a functor H : C T → C S such that U SH = U, where U S : C S → C is the forgetful functor from the category of S-actions. In particular, the augmentation e : T ⇒ IdC corresponds a functor T E : C → C which is a section of the forgetful functor, i.e. UE = IdC . eX Recalling the definitions, any X in C gets mapped to EX =(X,TX −→ rM X), and any M = (X,TX −→ X) in C T gets mapped to HM = rM hX (X,SX −−−→ X). The next lemma allow us to reinterpret the definition of acting triv- ially in terms of the functors defined in the above remark. Lemma 3.4. The homomorphism h : S ⇒ T fixes α : V ⇒ U if and only if there is a natural transformation αˆ : HEV ⇒ H such that U Sαˆ = α. Proof. First notice that H and HEV are a lifts of U and V , respectively, along the monads IdC T and S. HEV C T α¯ C S H

S IdCT U V T C α C U The lifting data for H over U is (Uε) · (hU) and for HEV over V is (e · h)V . As an application of Proposition 2.6, there is a liftα ¯ if and only if α · ((e · h)V )=(eU) · (h⋆α) equals (Uε) · (hU) · (Sα)=(Uε) · (h⋆α); which is the definition of Sh fixes Vα. Now we will check that the fix relationship is preserved whenever we restrict further. In other words that fixing defines a functorial relation T between Monad C /T and Fun(C , C )/U. Afterwards, we will apply Definition 2.9 and Proposition 2.12, to this relation, in order to define a Galois connection. Proposition 3.5. Let g : S′ ⇒ S be any monad homomorphism and β : V ′ ⇒ V be any natural transformation. If h : S ⇒ T fixes α : V ⇒ U, then h · g : S′ ⇒ T fixes α · β : V ′ ⇒ U. GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 11

Proof. This is obvious from the facts that (h·g)⋆(α·β)=(h⋆α)·(g ⋆β) and the definition of fixing (Uε) · (h⋆α)=(eU) · (h⋆α). Definition 3.6. Let h : S ⇒ T be a monad homomorphism and α : V ⇒ U a natural transformation, where U : C T → C is the forgetful functor. (a). We say that h is the stabilizer of α (or S is the stabilizer of V ) if: it fixes α and for every monad homomorphism h′ : S′ ⇒ T that also fixes α there is an unique g : S′ ⇒ S such that h′ = h · g. (b). We say that α is the h-invariant inclusion (or V is the functor of S-invariants) if: it is fixed by h and for every functor α′ : V ′ → U also fixed by h there is an unique β : V ′ → V such that α′ = α · β. The next corollary is an straightforward application of Proposition 2.12, to the fixing relationship. Corollary 3.7. Let M and N be subcategories of Monad (C )/T and Fun(C T , C )/U, respectively. i. If every h in M has an h-invariant inclusion in N , then the mapping h 7→ Inv h defines a functor Inv : M op → N . Analo- gously, If every α in N has an stabilizer in M , then the mapping α 7→ Stab α defines a functor Stab : N → M op. ii. If both Stab and Inv are defined, then they form a Galois connection.

4. Computing invariants via right adjoints Now that we have an abstract definition of invariants and stabilizers, we face the concrete — or slightly less abstract — questions of deter- mining when they exist and how can we compute it. This segment offers an answer for the case of invariants, by linking them to right adjoints. Remember that (T,µ,η,e) is an augmented monad over C . First we observe that when the domain monad has a right adjoint we compute invariants as an equalizer. Lemma 4.1. Let h : S ⇒ T be a monad homomorphism and assume that the monad S : C → C has a right adjoint, (θ,S ⊣ R,υ). For any α : V ⇒ U, Sh fixes Vα if and only if for each M =(X,rM ) T in C , (R(eh)X )(θX )αM =(R(rM hX ))(θX )αM . In consequence, when the pair (R(eh)X )(θX ) and (R(rM hX ))(θX ) has an equalizer for every M, this equalizer defines the functor of Sh- invariants. 12 JOHAN FELIPE GARCÍA VARGAS

Proof. Just recall that Sh ﬁxes Vα when rM hX (SαM ) = eX hX (SαM ) for every M, and bend S to R in both sides of the equation. In other words, (R((Uε) · (hU))) · (θU) · α =(R(e · h)U) · (θU) · α. Since equalizers are funtorial, the last sentence is evident. The next example illustrate the above lemma in the case of a ⊗- representable monad. Example 4.2. Let T = A ⊗ ? for an augmented monoid

m u ǫ ½ A =(A, A ⊗ A −→ A, ½ −→ A, A −→ )

in a monoidal category (C , ⊗, ½). Assume that A is right closed in C and that C has equalizers. The functor of A-invariants Inv A := rM Inv T sends each action M = (X, A ⊗ X −→ X) to the equalizer of p q rM r X [A, X] . pǫ⊗Xq h Moreover, given a monoid homomorphism B −→ A, with B also right closed in C. The functor of B-invariants Inv B := Inv(B⊗?)h⊗? sends each action prM q r r [h,X] r to the equalizer of X [A, X] [B,X] . pǫ⊗Xq 4.1. Invariants are right adjoints. Right adjoints not only allow us to compute invariants. In fact, the T -invariants, i.e the invariants for idT : T ⇒ T , are right adjoints of the trivial action functor E. Where E : C → C T is the functor corresponding to the augmentation e : T ⇒ IdC , remember that it endows every object in C with the trivial action given by the augmentation. Lemma 4.3. If E has a right adjoint functor Γ: C T → C , then Γ is the functor of T -invariants. Proof. Take the adjunction (ζ, E ⊣ Γ, γ¯) and define γ : Γ ⇒ U as γ = Uγ¯. Hence by Lemma 3.4, T fixes Γγ . Moreover by the same lemma, if T fixes α : V ⇒ U there isα ¯ : EV ⇒ IdC T such that α = Uα¯. We need a β : V ⇒ Γ such that α = γ · β = (Uγ¯) · (UEβ) since U is faithfulα ¯ =γ ¯ · (Eβ), after bending the E we obtain that (Γ¯α) · (ζV )= β. Since E = (¯γE) · (Eζ) then α¯ =α ¯ · (¯γEV ) · (EζV ) =γ ¯ · (EΓ¯α) · (EζV ). GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 13

Therefore α = Uα¯ = γ · (Γ¯α) · (ζV ). Right adjoints also allow to change the category where one is calcu- lating. Let h : S ⇒ T be a monad homomorphism, with correspondent functor H : C T → C S as in Remark 3.3; in particular U = U SH. Notice that (S,µ′, η′, eh) is also an augmented monad and instead of computing h-invariants in C T , we can try to compute S-invariants in C S and pull them back. The next two lemmas show that this strategy is successful when H has a right adjoint. Lemma 4.4. Let (ζ,H ⊣ K,ω) be an adjunction with H : C T → C S, coming from a monad homomorphism h : S ⇒ T . For any α : V ⇒ U, S S Sh ﬁxes Vα is equivalent to S ﬁxes αˆ : VK ⇒ U , where αˆ = (U ω) · (αK).

Proof. We will use Lemma 3.4. If Sh ﬁxes Vα, there isα ¯ : HEV ⇒ H such that α = U Sα¯. Therefore αˆ =(U Sω) · (αK)= U S(ω · (¯αK)).

Hence, by the same lemma S fixes (VK)αˆ. For the reciprocal, notice that α =(ˆαH) · (Vζ) by bending K to H. Now the proof is completely analogous: S If S fixesα ˆ, there isα ˜ : HEVK ⇒ IdC S such thatα ˆ = U α˜. There- fore α =(ˆαH) · (Vζ)= U S ((˜αH) · (HEVζ)), S since U HE = UE = IdC . The same lemma tells us that Sh fixes Vα. Corollary 4.5. Let h : S ⇒ T be a monad homomorphism and suppose that H : C T → C S has a right adjoint. If γS : ΓS ⇒ U S is the S- invariant inclusion, then γSH :ΓSH ⇒ U is the h-invariant inclusion.

Proof. With the notations from the previous lemma, Sh fixes Vα if and only if S fixesα ˆ. Since γS is the S-invariant inclusion, there is an unique βˆ : ΓS ⇒ VK such thatα ˆ = γS · βˆ. Remembering that α = (ˆαH) · (Vω) we obtain α = ((γS · βˆ)H) · (Vω)=(γSH) · β where β =(βHˆ ) · (Vω). We end this segment with a summary of the computation of invariants by means of right adjoints. Corollary 4.6. Let (T,µ,η,e) be an augmented monad, and h : S ⇒ T a monad homomorphism. Take E : C → C T and H : C S → C T the functors corresponding to e and h, respectively; and assume that they are part of adjunctions (ζ, E ⊣ Γ, γ¯) and (ζ,H ⊣ K,ω). 14 JOHAN FELIPE GARCÍA VARGAS

S Then Inv T =Γγ with γ = Uγ¯, Inv S =ΓKγˆ with γˆ =(U ω)·(UγK¯ ), S and Inv Sh =ΓKHγHˆ with γHˆ =(U ωH) · (UγKH¯ ). Proof. This is Lemma 4.3 applied twice to E ⊣ Γ and to HE ⊣ ΓK, and Corollary 4.5. Notice that when H has also a left adjoint L then LHE ⊣ ΓKH.

5. Computing stabilizers in monoidal closed categories Currently we don’t know of any procedure for explicitly describing the stabilizers for augmented monads in categories without additional structure. We imagine a description in terms of Kan extensions, but we have not succeeded in formalizing it. However, in the case of a ⊗- representable monad over a monoidal closed category, we can use ends as a tool for the computation of stabilizers. This is a procedure inpired by Tannakian reconstruction. encompass augmented Hopf monads in monoidal closed categories. 5.1. The end enrichement of functor categories. For this section, we assume familiarity with the basic properties of ends, as presented for instance in [5, Sections IX. 5-8]. For fixing notation, we briefly recall the definition. Definition 5.1. A wedge for a functor S : Dop × D → C is a pair (W, ξX)X∈D consisting of an object W in C and a family of morphisms ξX W −→ S(X,X) indexed by the objects in C such that for any morphism f X −→ Y in D the diagram

ξX W S(X,X)

ξY S(X,f) S(Y,Y ) S(X,Y ) S(f,Y ) commutes. The end of S denoted

S = S(X,X)=(L, λX )X∈D ZD ZX∈D

is the universal wedge. This means that for any other wedge, (W, ξX )X∈D RX ξX there is an unique morphism, denoted W −−−→ L, such that λY X ξX = ξY for any Y in C . R The next deﬁnition allow us to view the natural transformations as an object in the co-domain category. GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 15

Deﬁnition 5.2. Let V and W be two functors from an arbitrary cate-

gory D to a monoidal category (C , ⊗, ½). Assume that C is left closed over V , i.e. for every D in D the functor ? ⊗ VD : C → C has a right adjoint [VD, ?]ℓ. The left internal Nat from V to W is deﬁned as the end of the functor ℓ op [V ?1, W ?2] : D × D → C , and denote it by

ℓ ℓ ℓ ℓ ℓ λD ℓ [V, W ] := [V ?1, W ?2] = [VD,WD] = ([V, W ] , [V, W ] −→ [VD,WD] )D∈D . ZD ZD∈D Remark 5.3. If the internal Nat [V, W ]ℓ exists for any pair of functors, — for instance when C is complete, left closed and D is small — then Fun(D, C ) is a left C -enriched category. The next two propositions are consequences of this fact. Proposition 5.4. Let V , V ′, W and W ′ be functors from D to C with ω : W ⇒ W ′ and υ : V ′ ⇒ V natural transformations. • If both internal Nats [V, W ]ℓ and [V, W ′]ℓ exist, then there is a morphism ℓ [V,ω] [V, W ]ℓ −−−→ [V, W ′]ℓ. • Analogously, when [V, W ]ℓ and [V ′, W ]ℓ exist, there is

ℓ [υ,W ] [V, W ]ℓ −−−→ [V ′, W ]ℓ. • Whenever the four internal Nats in the following diagram exist, the arrows also exist and the diagram is commutative.

ℓ [V,ω] [V, W ]ℓ [V, W ′]ℓ

ℓ ℓ [υ,W ] [υ,W ′] ℓ [V ′,ω] [V ′, W ]ℓ [V ′, W ′]ℓ.

λD Proof. In the first case, for any D in D the composition of [V, W ]ℓ −→ ℓ [V D,ωD] [VD,WD]ℓ and [VD,WD]ℓ −−−−−→ [VD,W ′D]ℓ defines a wedge for ′ ℓ ℓ ℓ the functor [V ?1, W ?2] . Define [V,ω] := D∈D [VD,ωD] λD. R Proposition 5.5. Take W : D → C such that the internal Nat [W, W ]ℓ exist. There is a canonical monoid structure on [W, W ]ℓ such that for λD any D in D the morphism [W, W ]ℓ −→ [WD,WD]ℓ is a monoid homomorphism. 16 JOHAN FELIPE GARCÍA VARGAS

Proof. Remember that for any D in D,[WD,WD]ℓ is a monoid de- ℓ pidWDq

noted End [WD] . The units (½ −−−−→ WD)D∈D make a wedge, there- p q ℓ fore take η = D∈D idWD as unit for [W, W ] . λD λD For the multiplication,R compose [W, W ]ℓ ⊗ [W, W ]ℓ −−−−→⊗ [WD,WD]ℓ ⊗ [WD,WD]ℓ µD with End [WD]ℓ ⊗ End [WD]ℓ −→ End [WD]ℓ, verify that this con- 1 forms a wedge and define µ = D∈D µD(λD ⊗ λD). Finally, the monoid axioms are verified component-wise.R Following the usual terminology we will denote [W, W ]ℓ by End [W ]ℓ and call it the left internal End of the functor W . The next proposition formalizes the idea of restricting the endomorphisms of W along a functor G : D′ → D. Proposition 5.6. Take W : D → C and G : D′ → D such that End [W ]ℓ and End [WG]ℓ both exist, then there is a canonical monoid |G homomorphism End [W ]ℓ −→ End [WG]ℓ. ℓ Proof. The map |G is defined by |G := X∈D′ λGX when End [W ] = ℓ R (End [W ] ,λD)D∈D . Lemma 5.7. Take W : D → C such that End [W ]ℓ exists. There is ℓ a unique functor W : D → C End[W ] which lifts W to the category of ℓ actions of End [W ]ℓ. This means that W = UW where U : C End[W ] → C is the forgetful functor.

ℓ λD Proof. For D in D deﬁne WD = (WD, xλDy) where End [W ] −→ xλDy [WD,WD]ℓ and End [W ]ℓ ⊗ WD −−−→ WD is obtained by un-currying. 5.2. Tannakian reconstruction of stabilizers. The above construction of internal Nats gives us a path for reconstruction. Let

Let (C¯ , ⊗, ½) be a monoidal category, with all small limits and left closed over a small subcategory C ֒→ C¯, i.e. for every X in C the functor ? ⊗ X : C¯ → C¯ has a right adjoint [X, ?]ℓ. In this case, we ¯denote by End [C ]ℓ the internal End for the inclusion functor C ֒→ C which exists in C¯ . Moreover, for a small category D every pair of ¯functors V, W : D → C , after composing with the inclusion C ֒→ C has an internal Nat in C¯ , which abusing a little of notation we call [V, W ]ℓ. From a more general perspective, the next proposition deﬁnes a unit for the Tannakian reconstruction adjunction.

1 This uses that the compositions are associative and that λD is a wedge. GALOIS CORRESPONDENCE FOR AUGMENTED MONADS 17

-Proposition 5.8. Let (A, m, u) be a monoid in C¯ , C A ֒→ C¯ A the sub category of A-actions on C and U : C A → C the forgetful functor. ρ There is a monoid homomorphism A −→ End [U]ℓsuch that the functors ℓ ℓ U : C A → C¯ End[U] , obtained by 5.7, and K : C¯ End[U] → C¯ A, corresponding to the monad homomorphism ρ ⊗ ?, compose to the inclusion .C A ֒→ C¯ A

rM Proof. For every A-action M = (X, (A ⊗ X −→ X)) curry the action. prM q Notice that for any A-action morphism to obtain A −−−→ [X,X]ℓ. ho- f momorphism M −→ N the diagram

prM q A [UM,UM]ℓ

p q ℓ rN [UM,f] ℓ [f,UN] [UN,UN]ℓ [UN,UM]ℓ

ℓ ℓ commutes because pfrM q = [X, f] prM q and prN (Z⊗f)q = [f,Y ] prN q. p q A Therefore (A, rM )M∈C is a wedge, and we obtain a morphism ρ ℓ A −→ End [U] such that prM q = λM ρ. Since UM = (X, xλM y) then KUM =(X, xλM y(ρ ⊗ X)), and xλM y(ρ ⊗ X)= xλM ρy = rM . Now we turn to the question of internal Ends which ﬁx a natural transformation. Proposition 5.9. Let (A, m, u, ǫ) be an augmented monoid in C¯ . Then we have a diagram of monoid homomorphisms

ρ A End [U]ℓ

ǫ |E |U

ℓ ½ η End [C ] ,

ℓ p q where (|E)(|U) = idEnd[C] and (|U)ηǫ = M∈C A ǫ ⊗ UM . R ǫ X Proof. Notice that the functor E : C → C T , given by EX =(X, A ⊗ X −−→⊗ X) is a section for U. The morphisms |E and |U are given by Proposi- ℓ tion 5.6, and (|U)(|E)= |(UE) = idEnd[C] . Lets check that (|E)ρ = ηǫ: ξX For any X in C , consider the universal wedge components End [C]ℓ −→ ℓ ℓ λM ℓ [X,X] and End [U] −−→ [UM,UM] . On one hand ξX (|E)ρ = λEX ρ = p q p q p q rEX = ǫ ⊗ X since ρ = M rM . On the other hand ξX ηǫ = p q p q p q idX ǫ = ǫ ⊗ X since η = XR idX . R 18 JOHAN FELIPE GARC´IA VARGAS

h Lemma 5.10. Take a monoid homomorphism B −→ A in C¯ and a natural transformation α : V ⇒ U, then (B ⊗ ?)h⊗? ﬁxes Vα if and ρ ℓ [α,U] only if h equalizes the diagram A End [U]ℓ [V, U]ℓ. (|U)ηǫ

T Proof. For any M =(X,rM ) in C , consider the universal wedge components λM and ξM displayed in the next diagram:

ρ λM Bh A End [U]ℓ [UM,UM]ℓ (|U)ηǫ ℓ ℓ [α,U] [αM ,UM]

ξM [V, U]ℓ [VM,UM]ℓ p q On one hand, since ρ = M rM we obtain ℓ R ℓ ℓ ξM [α, U] ρh = [αM , UM] λM ρh = [αM , UM] prM qh

= prM (h ⊗ αM )q. p q On the other hand, since (|U)ηǫ = M∈C A ǫ ⊗ UM , we obtain ℓ ℓ R ℓ ξM [α, U] (|U)ηǫh = [αM , UM] λM (|U)ηǫh = [αM , UM] pǫ ⊗ Xqh

= p(ǫ ⊗ UM)(h ⊗ αM )q. The result follows because uncurrying the last term in each equation gives the definition of the fix relation. References 1. Gabriella Böhm, Hopf algebras and their generalizations from a category theo- retical point of view, Lecture Notes in Mathematics, Springer International Pub- lishing, 2018. 2. Alain Bruguières, Steve Lack, and Alexis Virelizier, Hopf monads on monoidal categories, Advances in Mathematics 227 (2011), no. 2, 745 – 800. 3. Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik, Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathemat- ical Society, 2011. 4. Alexander Grothendieck, Revêtements étales et groupe fondamental (SGA 1), Lecture Notes in Mathematics, vol. 224, Springer, 1971 (french). 5. Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Springer, 1998 (english).

Departamento de Matematicas,´ Universidad de los Andes, Bogota,´ Colombia. Email address: [email protected]