Inner automorphisms of presheaves of groups
Jason Parker

TL;DR
This paper characterizes categorical inner automorphisms of presheaves of groups as conjugation automorphisms combined with natural automorphisms of the index category, extending prior group-theoretic results to a categorical setting.
Contribution
It generalizes the concept of inner automorphisms from groups to presheaves of groups and models in arbitrary categories, linking them to conjugation and natural automorphisms.
Findings
Categorical inner automorphisms in presheaves of groups are characterized by conjugation automorphisms and natural automorphisms.
The characterization extends to presheaves of models for a first-order theory.
Provides a general framework connecting group automorphisms with categorical automorphisms.
Abstract
It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to define a notion of (categorical) inner automorphism in an arbitrary category, as an automorphism that can be coherently extended along any outgoing morphism, and the theory of such automorphisms forms part of the theory of covariant isotropy. In this paper, we prove that the categorical inner automorphisms in any category of presheaves of groups can be characterized in terms of conjugation-theoretic inner automorphisms of the component groups, together with a natural automorphism of the identity functor on the index category . In fact, we deduce such a characterization from a much more general result…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Advanced Operator Algebra Research
