Link (simplicial complex)

File:Tetrahedron.svg

The tetrahedron is a 2-complex.

The link in a simplicial complex is a generalization of the neighborhood of a vertex in a graph. The link of a vertex encodes information about the local structure of the complex at the vertex.

Link of a vertex

Given an abstract simplicial complex Template:Mvar and $v$ a vertex in $V(X)$, its link $\mathrm{Lk}(v,X)$ is a set containing every face $\tau \in X$ such that $v\in ̸\tau$ and $\tau \cup \{v\}$ is a face of Template:Mvar.

• In the special case in which Template:Mvar is a 1-dimensional complex (that is: a graph), $\mathrm{Lk}(v,X)$ contains all vertices $u\ne v$ such that $\{u,v\}$ is an edge in the graph; that is, $\mathrm{Lk}(v,X)={𝒩}(v)=$the neighborhood system of $v$ in the graph.

Given a geometric simplicial complex Template:Mvar and $v\in V(X)$, its link $\mathrm{Lk}(v,X)$ is a set containing every face $\tau \in X$ such that $v\in ̸\tau$ and there is a simplex in $X$ that has $v$ as a vertex and $\tau$ as a face.Template:Rp Equivalently, the join $v\star \tau$ is a face in $X$.Template:Rp

• As an example, suppose v is the top vertex of the tetrahedron at the left. Then the link of v is the triangle at the base of the tetrahedron. This is because, for each edge of that triangle, the join of v with the edge is a triangle (one of the three triangles at the sides of the tetrahedron); and the join of v with the triangle itself is the entire tetrahedron.

  File:Graphe complet K3.png

  The link of a vertex of a tetrahedron is the triangle.

An alternative definition is: the link of a vertex $v\in V(X)$ is the graph Template:Math constructed as follows. The vertices of Template:Math are the edges of Template:Mvar incident to Template:Mvar. Two such edges are adjacent in Template:Math iff they are incident to a common 2-cell at Template:Mvar.

• The graph Template:Math is often given the topology of a ball of small radius centred at Template:Mvar; it is an analog to a sphere centered at a point.

Link of a face

The definition of a link can be extended from a single vertex to any face.

Given an abstract simplicial complex Template:Mvar and any face $\sigma$ of Template:Mvar, its link $\mathrm{Lk}(\sigma ,X)$ is a set containing every face $\tau \in X$ such that $\sigma ,\tau$ are disjoint and $\tau \cup \sigma$ is a face of Template:Mvar: $\mathrm{Lk}(\sigma ,X):=\{\tau \in X:\tau \cap \sigma =\mathrm{\varnothing },\tau \cup \sigma \in X\}$.

Given a geometric simplicial complex Template:Mvar and any face $\sigma \in X$, its link $\mathrm{Lk}(\sigma ,X)$ is a set containing every face $\tau \in X$ such that $\sigma ,\tau$ are disjoint and there is a simplex in $X$ that has both $\sigma$ and $\tau$ as faces.Template:Rp

Examples

The link of a vertex of a tetrahedron is a triangle – the three vertices of the link corresponds to the three edges incident to the vertex, and the three edges of the link correspond to the faces incident to the vertex. In this example, the link can be visualized by cutting off the vertex with a plane; formally, intersecting the tetrahedron with a plane near the vertex – the resulting cross-section is the link.

Another example is illustrated below. There is a two-dimensional simplicial complex. At the left, a vertex is marked in yellow. At the right, the link of that vertex is marked in green.

• A vertex and its link.
  A Template:Ifsubst style="color:#fc3">vertex and its Template:Ifsubst style="color:#093">link.

Properties

• For any simplicial complex Template:Mvar, every link $\mathrm{Lk}(\sigma ,X)$ is downward-closed, and therefore it is a simplicial complex too; it is a sub-complex of Template:Mvar.
• Because Template:Mvar is simplicial, there is a set isomorphism between $\mathrm{Lk}(\sigma ,X)$ and the set $X_{\sigma }:=\{\rho \in X\text{ such that }\sigma \subseteq \rho \}$: every $\tau \in \mathrm{Lk}(\sigma ,X)$ corresponds to $\tau \cup \sigma$, which is in $X_{\sigma }$.

Link and star

A concept closely related to the link is the star.

Given an abstract simplicial complex Template:Mvar and any face $\sigma \in X$,$V(X)$, its star $\mathrm{St}(\sigma ,X)$ is a set containing every face $\tau \in X$ such that $\tau \cup \sigma$ is a face of Template:Mvar. In the special case in which Template:Mvar is a 1-dimensional complex (that is: a graph), $\mathrm{St}(v,X)$ contains all edges $\{u,v\}$ for all vertices $u$ that are neighbors of $v$. That is, it is a graph-theoretic star centered at $u$.

Given a geometric simplicial complex Template:Mvar and any face $\sigma \in X$, its star $\mathrm{St}(\sigma ,X)$ is a set containing every face $\tau \in X$ such that there is a simplex in $X$ having both $\sigma$ and $\tau$ as faces: $\mathrm{St}(\sigma ,X):=\{\tau \in X:\mathrm{\exists }\rho \in X:\tau ,\sigma \text{ are faces of }\rho \}$. In other words, it is the closure of the set $\{\rho \in X:\sigma \text{ is a face of }\rho \}$ -- the set of simplices having $\sigma$ as a face.

So the link is a subset of the star. The star and link are related as follows:

• For any $\sigma \in X$, $\mathrm{Lk}(\sigma ,X)=\{\tau \in \mathrm{St}(\sigma ,X):\tau \cap \sigma =\mathrm{\varnothing }\}$. Template:Rp
• For any $v\in V(X)$, $\mathrm{St}(v,X)=v\star \mathrm{Lk}(v,X)$, that is, the star of $v$ is the cone of its link at $v$.Template:Rp

An example is illustrated below. There is a two-dimensional simplicial complex. At the left, a vertex is marked in yellow. At the right, the star of that vertex is marked in green.

• A Template:Ifsubst style="color:#fc3">vertex and its Template:Ifsubst style="color:#093">star.
  A Template:Ifsubst style="color:#fc3">vertex and its Template:Ifsubst style="color:#093">star.

See also

• Vertex figure - a geometric concept similar to the simplicial link.