Simplicial complex

In mathematics, a simplicial complex is a special way of organizing simple shapes like points, line segments, and triangles together. These simple shapes are called simplices. A simplicial complex makes sure that whenever you have one of these shapes in the set, all of its smaller parts, like the edges or corners of a triangle, are also included.

Simplicial complexes are important because they help mathematicians study the shape and structure of more complicated objects. By breaking things down into simple pieces, they can understand how these pieces fit together to form larger shapes. This idea is used in many areas, from studying the surfaces of balls to modeling complicated shapes in computer graphics.

It’s also helpful to know that there is a related idea called a simplicial set, which is used in more advanced areas of math like homotopy theory. But a simplicial complex is more about the actual shapes and how they connect, making it a useful tool for many different kinds of problems.

Definitions

A simplicial complex is a special collection of shapes called simplices. Simplices can be points, lines, triangles, or even higher-dimensional shapes. The rules are simple: every smaller shape that is part of a simplex must also be in the collection, and when two shapes overlap, their overlapping part must also be a shape in the collection.

For example, if a triangle is in the collection, its three corners and three sides must also be included. This helps create structured shapes and patterns that mathematicians study. A pure simplicial complex is one where all the biggest shapes are the same size, like a group of triangles with no larger shapes mixed in.

Support

In a simplicial complex, each point in the space belongs to exactly one simplex, which is called its support. This means that if you pick any point, there is only one shape—like a point, line, or triangle—that contains that point in a special way. These shapes together cover the entire space without overlapping in a confusing manner.

Closure, star, and link

In a simplicial complex, the closure of a set of simplices is the smallest part of the complex that includes all those simplices and their faces. Think of it as adding every piece that touches the chosen pieces to make a complete small group.

The star of a set of simplices includes all simplices that have the chosen pieces as part of their shape. For a single simplex, its star is all the simplices that include it as a face. The link of a set of simplices is a special part of the complex that connects to the chosen pieces but does not include the pieces themselves or their faces.

Algebraic topology

Main article: Simplicial homology

In algebraic topology, simplicial complexes help us do calculations. They let us study shapes by breaking them into simple pieces like points, lines, and triangles. These pieces help us understand how shapes are connected.

More advanced studies use other types of spaces, called CW complexes, for even bigger or more complicated shapes. Simplicial complexes can also be thought of as special kinds of shapes called polytopes that live inside Euclidean space.

Combinatorics

Combinatorialists study something called the f-vector of a simplicial complex. This is a list of numbers that tells us how many points, lines, triangles, and other shapes are in the complex. For example, the boundary of an octahedron has an f-vector of (1, 6, 12, 8), meaning it has 1 point, 6 lines, 12 triangles, and 8 areas.

We can turn this list into a special kind of math expression called an f-polynomial. By changing this polynomial in a certain way, we get another list called the h-vector, which helps mathematicians understand more about the shape of the complex. For the octahedron, the h-vector is (1, 3, 3, 1). Simplicial complexes can also help us understand how spheres fit together in space.

Triangulation

Main article: Triangulation (topology)

Triangulation is a way to break down shapes in mathematics using simple building blocks called simplices, like points, lines, and triangles. It helps us study complicated spaces by dividing them into smaller, easier-to-understand pieces. Not all shapes can be split this way, but many important ones, especially lower-dimensional ones, can be.

Embedding

A special kind of math shape called a simplicial complex with d dimensions can always fit inside a space with 2d + 1 dimensions. This is similar to a famous math rule called the Whitney embedding theorem.

Computational problems

The simplicial complex recognition problem asks whether a given set of shapes, like points and triangles, is the same as a specific geometric object. This problem cannot be solved by computers for certain complex shapes in higher dimensions.