Homology (mathematics)

Math can help us study shapes.

Some shapes have holes. A ring has a hole. A ball does not. We can use math to count these holes.

This math is called homology. It looks at how shapes are made. It can tell if a shape is one piece or many pieces.

Think about a circle. It has one hole. A ball is different. It has no holes.

Some shapes look like an inner tube. These have holes too. Math helps us see these differences. It is a way to know a shape's secrets.

Math can help us study the secrets of shapes. One way to do this is through homology.

Homology is a tool used to find holes in a shape. It helps us tell different shapes apart.

Imagine a simple circle. A circle has one hole in the middle. Now think of a solid ball. A ball has no holes at all. Homology uses math to count these holes. These counts are called homology groups.

We can also look at more complex shapes. A shape like an inner tube is called a torus. A torus has different holes than a basketball, which is a sphere.

Even a figure-eight shape has more holes than a single circle.

To find these holes, math looks at two things: cycles and boundaries. A cycle is a shape with no boundary. Think of a loop that has no end. A boundary is a shape that can be filled in. For example, you can fill a circle with a flat disk. If a cycle can be filled in, it is not a hole. If it cannot be filled in, it is a hole. This way, homology shows us the true structure of a space.

Homology is a special way to study the secrets of shapes. It is a tool used in a field called algebraic topology. This math helps us tell different shapes apart by looking at their structure. Most people think of homology as a way to find and count holes. For example, a circle has one hole in the middle. A solid ball has no holes at all. By using homology, mathematicians can describe these features using groups of numbers.

To understand how it works, we look at cycles and boundaries. A cycle is a shape that has no ends, like a closed loop. A boundary is a shape that acts like the edge of something else. For instance, the edge of a flat disk is a circle. In homology, we look for cycles that are not boundaries. If a cycle cannot be "filled in" by a larger shape, it represents a hole. This way, we can use math to see if a shape is empty or solid.

Mathematicians use something called a chain complex to do this work. A chain complex is a sequence of groups connected by maps. These maps are called boundary maps. We look for a specific group called the kernel to find our cycles. We also look for a group called the image to find our boundaries. The homology group is what we get when we compare these two. It is a way of measuring what is left over after we remove the boundaries.

There are many different ways to calculate these groups. These different methods are called homology theories. Some famous ones include singular homology and Morse homology. There is also Khovanov homology and Hochschild homology. For simple shapes like graphs, we can use graph homology. Some theories use triangles, which are called simplices, to study a space. Others use disks to create what is called cellular homology. Each theory helps us learn something new about the object.

Homology connects to many things you might already know. It helps us see why a figure-eight shape is different from a single circle. A figure-eight has more holes than a circle does. It also explains why an inner tube, or a torus, is different from a basketball. A sphere, like a basketball, has a different kind of hole than a torus. Even the number of separate pieces in a shape matters. A zero-dimensional hole is simply a gap between two separate parts.

Homology is a fundamental concept in algebraic topology used to study the structure of mathematical objects. It provides a way to describe shapes using algebraic tools called homology groups. These groups act as invariants, which are properties that stay the same even if a shape is stretched or bent. Most commonly, homology is used to identify and count the different types of "holes" within a topological space.

To understand the mechanism of homology, one must look at a chain complex. A chain complex is a sequence of abelian groups known as chain groups. These groups are connected by specific functions called boundary maps. These maps move elements from one group to the next in the sequence. A critical rule for these maps is that applying two consecutive boundary maps results in zero. This mathematical requirement ensures that the boundary of a boundary is always empty.

Within this complex, mathematicians identify two specific types of elements: cycles and boundaries. A cycle is an element that exists in the kernel of a boundary map, meaning its own boundary is zero. This is similar to a closed loop that has no endpoints. A boundary is an element that exists in the image of a boundary map. This means the element is the "edge" of something from the group before it. The homology group is then calculated as the quotient group of cycles modulo boundaries.

There are many different ways to associate these complexes with mathematical objects, which are called homology theories. Each theory uses a different prescription for building the chain complex. For example, singular homology uses singular chain complexes. Morse homology is built from Morse complexes. Other specialized versions include Khovanov homology and Hochschild homology. In some cases, like group homology, multiple methods can be used to find the same result.

For many common topological spaces, different homology theories actually yield the same results. If a space is sufficiently "nice," any theory following the Eilenberg–Steenrod axioms will produce the same homology groups. This allows mathematicians to simply refer to "the homology" of a space without specifying the exact method used. For one-dimensional spaces, graph homology is a simple choice. For more complex shapes, one might use simplicial homology, which breaks a space into simplices.

A simplex is a generalized version of a triangle used to build these models. An edge in a graph is a one-dimensional simplex, while a triangle-based pyramid is a 3-simplex. Other methods include cellular homology, which uses disks of various dimensions instead of simplices. One can also use Morse homology or tools like de Rham cohomology for specific types of spaces. These diverse methods allow mathematicians to probe different structural layers of a shape.

Homology provides deep insights through specific examples of holes. A zero-dimensional hole represents a gap between path-connected components. For instance, if a space has two separate pieces, the zero-dimensional homology will reflect this. A one-dimensional hole is like the center of a circle. A circle has one connected component and one one-dimensional hole, resulting in specific homology groups.

Higher dimensions offer even more complexity. A two-dimensional sphere, like a basketball, has no one-dimensional holes but has a two-dimensional hole. In contrast, a torus, or an inner tube, has different hole structures. A solid two-dimensional ball has no higher-dimensional holes at all. By studying these patterns, homology allows us to distinguish between a sphere and a torus or a circle and a figure-eight.

Ultimately, homology connects geometry to algebra. It turns the visual problem of counting holes into a precise calculation using groups and homomorphisms. It can even be viewed through category theory as a functor from a category of objects to a category of abelian groups. This connection allows researchers to use the powerful rules of algebra to solve complex problems in the physical and mathematical structure of space.