You are currently browsing the tag archive for the ‘visualization’ tag.

The purpose of this brief blog post is to advertise that I wrote a little piece of software called wireframe which can be used to quickly and easily produce .eps figures of surface for inclusion in papers. The main use is that one can specify a graph in an ASCII file, and the program will then render a nice 3d picture of a surface obtained as the boundary of a tubular neighborhood of the graph. The software can be downloaded from my github repository at

https://github.com/dannycalegari/wireframe

and then compiled on any unix machine running X-windows (e.g. linux, mac OSX) with “make”.

The program is quite rudimentary, but I believe it should be useful even in its current state. Users are strenuously encouraged to tinker with it, modify it, improve it, etc. If you use the program and find it useful (or not), please let me know.

A couple of examples of output (which can be created in about 5 minutes) are:

and

(added Feb. 20, 2013): I couldn’t resist; here’s another example:

(update April 12, 2013:) Scott Taylor used wireframe to produce a nice figure of a handlebody (in 3-space) having the Kinoshita graph as a spine. He kindly let me post his figure here, as an example. Thanks Scott!

The purpose of this blog post is to try to give some insight into the “meaning” of the Hall-Witt identity in group theory. This identity can look quite mysterious in its algebraic form, but there are several ways of describing it geometrically which are more natural and easier to understand.

If $G$ is a group, and $a,b$ are elements of $G$, the commutator of $a$ and $b$ (denoted $[a,b]$) is the expression $aba^{-1}b^{-1}$ (note: algebraists tend to use the convention that $[a,b]=a^{-1}b^{-1}ab$ instead). Commutators (as their name suggests) measure the failure of a pair of elements to commute, in the sense that $ab=[a,b]ba$. Since $[a,b]^c = [a^c,b^c]$, the property of being a commutator is invariant under conjugation (here the superscript $c$ means conjugation by $c$; i.e. $a^c:=cac^{-1}$; again, the algebraists use the opposite convention).