Automorphism group objects - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:54:02Z http://mathoverflow.net/feeds/question/17742 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/17742/automorphism-group-objects Automorphism group objects Vipul Naik 2010-03-10T17:50:53Z 2010-03-11T18:55:09Z <p>Consider a monoidal category <em>C</em> with operation $\otimes$, unit object $1$, and diagonal map $\delta:A \to A \otimes A$ for all $A \in C$ (with naturality conditions on the diagonal map).</p> <p>We can define a notion of "group object" in the category, where a group object is an object <em>G</em> of <em>C</em> along with a map from $1$ to <em>G</em> (playing the role of the identity element), a map from <em>G</em> to <em>G</em> (playing the role of the inverse map) and a map $G \otimes G \to G$ (playing the role of the multiplication). Then, we put compatibility conditions on these operations that are commutative diagrams corresponding to associativity, identity elements and inverses. Note that we need to use the diagonal morphism to formulate the condition on inverses.</p> <p>Wikipedia <a href="http://en.wikipedia.org/wiki/Group_object" rel="nofollow">defines</a> group objects only in the case where the monoidal operation is the categorical product, so if necessary, we can restrict attention to just those cases.</p> <p>We can define group object morphisms, etc. Some examples of group objects are: topological groups (category of topological spaces with continuous maps and Cartesian product), Lie groups (category of differential manifolds with smooth maps and manifold product), abelian groups (category of groups with group homomorphisms and direct product, by the Eckmann-Hilton principle), and groups (category of sets).</p> <p>We can then proceed to define a "group object action" of a group object <em>G</em> on an object <em>A</em> by the analogues of the two conditions for a group action. My questions:</p> <ol> <li>Under what situations does there exist a group object that plays the role played by the symmetric group on a set? i.e., A group object $\operatorname{Sym}(X)$ for each <em>X</em> in <em>C</em> with an action on <em>X</em> such that any group object action of <em>G</em> on <em>X</em> corresponds to a group object homomorphism $G \to \operatorname{Sym}(X)$ with the desired compatibility conditions?</li> <li>How does this group object $\operatorname{Sym}(X)$, if it exists, relate to the automorphism group $\operatorname{Aut}_C(X)$ (which is an actual group, not a group object)?</li> <li>We can also define a "group object action by automorphisms" as the action of one group object on another satisfying the additional condition of being group automorphisms. (We need to use the diagonal morphism to formulate this compatibility condition). Is there some object called the "automorphism group object of a group object" such that any group object action corresponds to a group object morphism to the automorphism group object?</li> <li>How does this automorphism group object relate to the automorphism group in the group object category?</li> </ol> http://mathoverflow.net/questions/17742/automorphism-group-objects/17834#17834 Answer by S. Carnahan for Automorphism group objects S. Carnahan 2010-03-11T07:05:11Z 2010-03-11T07:05:11Z <p>I can't give you a complete answer (perhaps an expert will come along...), but a Google search reveals that there is an exercise on <a href="http://books.google.com/books?id=SGwwDerbEowC&amp;pg=PA213&amp;lpg=PA213&amp;dq=%2522cartesian+closed%2522+%2522group+object%2522" rel="nofollow">page 213</a> of Mac Lane and Moerdijk, <i>Sheaves in geometry and logic: a first introduction to topos theory</i>, that basically asks the reader to prove that a sufficient condition is that the category be <a href="http://ncatlab.org/nlab/show/cartesian+closed+category" rel="nofollow">cartesian closed</a> and admit pullbacks. In this case, the answer to question 2 is that the group of maps from 1 to the automorphism group object is naturally isomorphic to the group of automorphisms of the object. I think the answers to questions 3 and 4 are "yes" and "naturally isomorphic".</p> <p>You can get endomorphism monoid objects with somewhat weaker hypotheses, namely if your category has representable homs. If for all $Y$ and $Z$, the functor $X \mapsto \operatorname{Hom}(X \otimes Y,Z)$ is representable, we call the representing object $\underline{\operatorname{Hom}}(X,Y)$. There is a rich theory that arises from existence of internal homs. For example, internal homs have a canonical composition structure $\underline{\operatorname{Hom}}(X,Y) \otimes \underline{\operatorname{Hom}}(Y,Z) \to \underline{\operatorname{Hom}}(X,Z)$, and they let you define dual objects $\underline{\operatorname{Hom}}(X,1)$ that satisfy nice compatiblities. Also note that $\operatorname{Hom}(1,\underline{\operatorname{Hom}}(X,Y)) = \operatorname{Hom}(X,Y)$. Unfortunately, the category of finite dimensional vector spaces over a field has internal homs, but only zero has an automorphism group object. This suggests that something like the cartesian closed condition is necessary.</p> http://mathoverflow.net/questions/17742/automorphism-group-objects/17891#17891 Answer by James Griffin for Automorphism group objects James Griffin 2010-03-11T18:55:09Z 2010-03-11T18:55:09Z <p>I think that it might be worth refining your conditions to allow for some other interesting examples. Rather than have a diagonal map defined for each object, instead have the diagonal map as part of the group object. This would include vector spaces in your list of examples. The group objects would then by Hopf algebras.</p> <p>The following example may be of interest: Let H be a Hopf algebra, this may act on an algebra A, we just ask that the algebra multiplication map of A is a morphism of H-modules. Equivalently A is an algebra object in the monoidal category of H-modules; A is called a H-module algebra.</p> <p><strong>Example</strong>: Let V be a representation of a Lie algebra g. Let A=SV be the free commutative algebra on a vs V. Then the universal enveloping algebra Ug acts on SV with g acting as derivations.</p> <p>One may define a category of Hopf algebras acting on a fixed algebra A. This category has a terminal object, PA. This is very much reminiscent of what you might call Sym(A). PA contains the automorphism group algebra of A.</p> <p>I'm afraid that I can't relate this example directly to your questions, but it's a good generalisation of the automorphism group, perhaps it might help.</p>