Wednesday, December 5, 2007

An Excursion into Algebraic Homology

Algebraic homology is a branch of topology that is used to analyze higher-dimensional structures. This is accomplished by first converting them into flat, two-dimensional configurations, then assigning algebraic symbols to each 'dimension' (chain). Let's consider a relatively simple example: the basic torus pattern shown above:

If one were now to fold over the left and right sides so they join, ABA-left to ABA-right, s/he would be well on the way to re-forming the torus. Taping the two sides together, for example, would form a cylinder or straight tube. To complete the process, one simply joins the oppositely situated circles, ADA-top to ADA-bottom.
In the sketch, four basic regions are shown - defined as separate homology spaces. Each is of a different ‘equivalence class’ as well. Starting with the lower left corner ‘space’ and going around clockwise, these can be written:



with each one representing an individual rectangular region within the whole. In a comprehensive approach, arrows are used to define consistent directions, and either numbers or Greek letters are assigned to the box sides. This is for ease of identification of the particular equivalence classes.

For example, arrows assigned to segments AB and BA on both sides of the shape shown above are made to point in the same direction, say top to bottom. The same direction implies two sides have to blend together when connected. A similar consideration applies to the bottom ends (AD + DA) when joined. So that the arrow from A to D on top would match an arrow direction from A to D on the bottom.

Thus, for the ‘top’ side of the torus:

A ---->-----D ----->------ A

and, for the ‘bottom’ side:

A ---->-----D -----> ------ A

One could go one step further, as I indicated, and assign Greek letters to the different segments. For example:

ALPHA: A ---->-----D -----> ------ A

BETA: A ---->-----D -----> ------ A

We now have a one-dimensional homology space (H1) denoted by:


The same applies to the complementary homology space (H1') that runs vertically so as to join the left and right sides, which we might denote by:


These are not just homological spaces but cycles - that are themselves not boundaries. For example, one large cycle would be made by going around the outermost ‘space’ in a clockwise sense, astarting from the ‘A’ in the upper left corner. We would have:

(A-D-A) -> (A-B-A) ->[-(A-D-A)] ->[-(A-B-A)]

where the -(minus) signs precede the last two terms and help to distinguish their direction from opposite the ‘positive’ space- defined above. This could also be written in a shorthand form:

H1 + (H1') - H1 - (H1')

It can clearly be see that the ‘boundary’ vanishes, since both pairs of sides (H1, H1') cancel out (having opposite signs for opposite directions). This can, of course, be written to include the ‘space’ elements:


whence we clearly see mutually cancelling space elements

Note here that 1-cycles in a triangulated space can be generated by closed curves of the space formed by the edges of the triangulation. One can thereby form the factor group:
H1 = Z1/ B1
which amounts (roughly) to counting the closed curves that appear in the space (which are not there simply by virtue of being the boundary of a 2-dimensional segment)
Re-posing the factor group: dim H1 = dim Z1 - dim B1
where dim Z1 = [b + 1 - n] for any connected complex
and: b = branches, n = nodes
For the torus:
b = 4 and n = 4
so: dim Z1 = 4 + 1 - 4 = 1 = dim H1
and dim B1 = dim Z1 - dim H1 = 1 - 1 = 0
Well, what does all this gain us? Where might we be going? The beauty of this branch of math is that higher dimensionality can be represented with simpler, lower dimensional configurations.
And, as I showed above, the three-dimensional torus can be represented in two -dimensions.
Future posts will apply this to other, more ineteresting areas.

No comments: