8
$\begingroup$

I am doing research in algebraic graph theory, focusing on the relation between graphs and groups (especially the representing groups as graphs) for my Ph.D. In particular, one of the ideas is to study groups using their endomorphisms and define related graphs.

  1. Are ideas from category theory likely to be helpful in this field?
  2. If so, which book would be a best introduction to category theory from the point of view of someone interested in algebra and graph theory?

I looked at other questions about book recommendations for category theory, but they ask for books related to set theory and foundations, or programming, or ask for a general introduction. Also, the first question is more important than the second, and I would really like to hear some views from category theory experts about possible applications in graph theory and algebra research. Please let me know if I should add more details.

$\endgroup$
  • 1
    $\begingroup$ If you can't find one, write one :) $\endgroup$ – Shaun Jun 29 '14 at 14:30
  • 1
    $\begingroup$ @Shaun Well, if they've found connections between category theory and integration (I saw your questions), then I think there is hope for my question :) $\endgroup$ – M. Vinay Jun 29 '14 at 14:33
  • $\begingroup$ There is always the book *category theory for the working mathematician". It comes well-recommended, and although I have never quite got around to reading it, it has such a promising title! $\endgroup$ – user1729 Jun 30 '14 at 20:34
  • 1
    $\begingroup$ Once you've got the basics under your belt, this might be a good reference. $\endgroup$ – goblin Jul 1 '14 at 3:50
  • 1
    $\begingroup$ "Are ideas from category theory likely to be helpful in this field?" Yes, I think so. Define lots of different categories of graphs connected by different forgetful functors, then ask which of those functors have left-adjoints. This should be enough to get you started. $\endgroup$ – goblin Jul 1 '14 at 3:52
6
$\begingroup$

The book categories for the working mathematician, by Saunder's MacLane, comes well-recommended. Although I have never quite got around to reading it, it has such a promising title! Note that Saunder's MacLane was one of the original category theorists.

For an explicit example of graph theory and category theory working together to prove results on groups, there is a well-known link between the category of graphs and subgroups of free groups. The classical reference is Topology of Finite Graphs by Stallings. For example, if the non-diagonal component of the fibre product of a graph with itself is simply connected then the corresponding subgroup is malnormal. Dani Wise lifted this idea to the more general category of "cubical complexes", which allowed him to prove some famous open problems in group theory and G&T (for example, he proved the virtually Haken conjecture, and that every one-relator group with torsion is residually finite). I found Wise's paper The residual finiteness of positive one-relator groups to be especially helpful.


You say you want to use category theory and graphs to look at endomorphisms of groups. Well, one of the questions I was attacking in my PhD thesis was the following.

Fix a class of groups $\mathcal{C}$. Does every (countable) group occur as the outer automorphism group of a group from the class $\mathcal{C}$?

I fixed a class $\mathcal{C}$, and I managed to prove that the above result held for this class so long as I could prove that a certain group (in reality, a class of very similar groups) had a malnormal subgroup (with certain additional properties). So, I then took the fibre product of a "subgroup" in the ambient free group and (with a bit of effort) proved that its malnormality fell down to my group.

This doesn't quite answer your question, but I thought it relevant enough to mention. If you want, I can send you a copy of my thesis.

$\endgroup$
  • $\begingroup$ Thanks for the very nice references and suggestions! And yes, I would indeed be happy if I could have a copy of your thesis. Maybe I can make use of techniques similar to the ones you've used, or even use some of your results themselves. $\endgroup$ – M. Vinay Jul 14 '14 at 9:04
  • $\begingroup$ @M.Vinay Do you have a way I can send it to you? $\endgroup$ – user1729 Jul 14 '14 at 9:22
  • $\begingroup$ I've sent the e-mail - you can delete that comment (so that you don't get spam!) $\endgroup$ – user1729 Jul 14 '14 at 11:21
  • $\begingroup$ Got it. Thanks a lot (again)! $\endgroup$ – M. Vinay Jul 14 '14 at 11:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.