Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
As some people call these ‘derivative’ we already have some material on this under Fox derivatives and also at derivation on a group. Good references would include Ken Brown’s Cohomology of Groups, in Chapter IV section 2. Another linked entry would be under group extension.
Ah, I see that K. Brown states the identification of #1 on p. 88. Will add the pointer now.
Will be also adding this to derivation on a group, where it didn’t used to be cited…
The non-abelian case is already present in the section on ‘Split extensions and semidirect product groups’ in group extensions. The term derivation is often used in combinatorial group theory as being equivalent to crossed homomorphism.
If you have another reference using the term “crossed homomorphism” for the general non-abelian case, then let’s add it.
The three terms crossed homomorphism, derivation and 1-cocyle are used, for example, in a paper by Daniel Guin here, but the usage is so common by then so I do not know of a good ‘old’ source. That was just found by Googling!. Crossed homomorphisms do arise as such with homotopies between crossed modules and of course, 1-cocycles again as such are common in non-abelian cohomology.
I do not know of a good ‘old’ source
No problem, it just sounded in #5 like you meant to allude to one.
Most of the time I use derivation or 1-cocycle so forget the other name!
I don’t want to belabor the point further, as I am sensing there is none. Just to highlight that the term “derivation” for crossed homomorphisms is at best weird, as it clashes without need or purpose with an innocent standard term. That’s the reason why over at “derivation on a group” the definition needs to be appended right away with the disclaimer that it doesn’t define what it sounds like it’s defining.
When its codomain is abelian, then you might call a homomorphism a logarithm (as then it takes “products” to “sums”) but that is true generally and has nothing to do with the crossed property characteristic of crossed homomorphisms. But when the codomain is allowed to be non-abelian, as is the case here in the situation under discussion, it seems outright crazy to speak of homomorphisms (crossed or not) as derivations. It’s like the guy saying that black is white, of which Douglas Adams famously knew that he “got himself killed on the next zebra crossing.”
added pointer to:
added pointer to:
added statement (here) of the following example/theorem:
For well-behaved -equivariant classifying spaces of -principal bundles, the connected components of their -fixed loci are in bijection to the conjugacy classes (properly understood) of crossed homomorphisms from to .
This is, after a little reformulation, the content of Lashof & May 1986, Thm. 10.
This statement becomes more transparent using the Murayama-Shimakawa-model for the equivariant classifying spaces. May add this next, but not tonight.
Looking good. What is the relationship between crossed homomorphism and crossed module of groups?
Not sure yet what an interesting statement might be that relates the two. This “crossed”-terminology is not systematic.
One thing that comes to mind:
Given the strict 2-group corresponding to a crossed module , then in the stict (2,1)-category of 2-groups, the set of 2-morphisms out of is in bijection to crossed homomorphisms .
Let’s see. From here, p. 12, given two morphisms between two 2-groups, then a transformation between these morphisms is a pair whose second element is a crossed homomorphism.
So, much as you say.
True, good catch, that’s a more general version of #19.
Might be worth recording in the entry. But myself, I am done for tonight.
I found a ‘good old source’ for crossed homomorphisms with possibly non-abelian codomain. It is Combinatorial Homotopy II, of course. More precisely:
J. H. C. Whitehead, Combinatorial Homotopy II, Bull. Amer. Math. Soc., 55, (1949), 453 – 496.
They are mentioned early on (section 3, p. 457) and also are important in section 8, p. 468.
The transformations mentioned by DavidC correspond to homotopies, in much the same way that degree 1 maps between chain complexes are ‘chain homotopies’.
Fox derivatives (and yes that term is the usual one in this context since the first two axioms of their definition are typical partial derivative formulae and the third one is a modification of the product rule for the same), are an essential tool for the study of presentations of groups by generators and relations. Any group presentation gives a free crossed module, namely the fundamental crossed module of the 2-complex defined by the generators and relations. This is already mentioned at Fox derivative. If we ’abelianise’ the crossed module, (so, essentially, passing to the universal cover of the 2-complex) the ’boundary map’ of the free crossed module becomes the Alexander matrix of the presentation. This is already very well handled at Fox derivative. Fox’s paper is from 1948 but I do not think he uses the term ‘crossed homomorphism’ as such.
There is a link to Knots and Primes, and thus to Arithmetic Topology. This goes further than the book John Baez was using. It links things to profinite Fox derivatives, and Alexander-Fox theory, which corresponds to Iwasawa Theory (which I do not understand). There are several introductions online.
There should be some way of going further with all this, but I do not have a good enough knowledge of the Number Theory side of things. I have a lot of stuff on profinite group presentations etc., and on profinite homotopy theory, but really that should be up-dated to Pyknotic or perhaps Condensed homotopy theory, as that then starts to be nearer the Arithmetic Number Theory ideas.
I wonder if the notion might be even older. Does it go back to Reidemeister’s work in the 1930s?
added pointer to:
where the characterization of the graphs of non-abelian crossed homomorphisms (not under that name, though) is already proven.
(This is a completely elementary and easy proof, which is probably why tom Dieck gives it in-line inside a definition. And yet, making this explicit goes a long way, as Murayama-Shimakawa must have finally realized in 1995.)
added pointer to:
1 to 39 of 39