Past exam of the topology course of the University of Oxford / 2023 / 3 / a

An abstract simplicial complex consists of a set $V$ of vertices of a simplicial complex and a family $K$ of finite nonempty subsets of $V$, called abstract simplexes, such that every singleton $\{v\}$ belongs to $K$ and every nonempty subset of a member of $K$ also belongs to $K$. One may include the empty set as an additional face by convention. A member with $k+1$ vertices is a $k$-simplex; its nonempty subsets are its faces of a simplex.

The geometric realization has the following explicit description using a barycentric coordinate system:Here the support is $\mathrm{supp}(t)=\{v:t(v)>0\}$. Each $\rho \in K$ gives a standard geometric simplexwith its usual Euclidean topology. Common faces of a simplex are identified using the same barycentric coordinate system.

Precisely, the topology on $|K|$ is defined by declaring $A\subseteq |K|$ closed if and only if $A\cap |\rho |$ is closed in $|\rho |$ for every $\rho \in K$. Equivalently, use the quotient topology on the disjoint union of all the standard geometric simplexes, identifying identical points of common faces of a simplex. For a finite simplicial complex, this agrees with the subspace topology in ${\mathbb{R}}^V$. For an infinite simplicial complex, the stated rule specifies the realization topology without presuming a finite-dimensional ambient space.

Fix a vertex of a simplicial complex $v$, and let $R$ be the set of vertices reachable from $v$ by an edge path. If a simplex contains a vertex of $R$, every vertex of that simplex lies in $R$: append its edge from the reachable vertex to the existing edge path. Thus every simplex has either all its vertices in $R$ or all outside $R$.

Partition the geometric realization as $|K|=A\bigsqcup B$, according to whether the support in the barycentric coordinate system lies in $R$ or outside $R$. On each geometric simplex, the intersection with $A$ is either the whole simplex or the empty set, and the same holds for $B$. The defining realization topology therefore makes both $A$ and $B$ closed, hence also open because they are complements.

The vertex $v$ belongs to $A$. If any vertex were unreachable, it would belong to the nonempty set $B$, giving a separation of a topological space of $|K|$. This contradicts connectedness. Therefore every vertex is reachable from $v$, and any two vertices can be joined by an edge path.

A topological surface is a Hausdorff space with a countable basis of a topology in which every point has an open neighbourhood homeomorphic to an open subset of the Euclidean plane. We use the convention that a surface has no boundary unless a surface with boundary is explicitly specified. A closed surface is compact and has no boundary. Some conventions also include connectedness in the definition; we impose it on the closed combinatorial surface below.

A closed combinatorial surface is a finite connected simplicial complex $K$ with the following properties: every simplex is a face of a simplex of dimension two, and the link of a simplex at every vertex is a cycle graph. Explicitly, for a vertex $v$ its link is the simplicial subcomplexTo say this is a cycle graph means that there are distinct vertices $w_1,\dots ,w_m$, with $m\ge 3$, and exactly the link edges $\{w_i,w_{i+1}\}$, with indices modulo $m$. In particular, every edge of $K$ belongs to exactly two triangles. The vertex-link condition also requires that the triangles around each vertex form one cyclic fan; edge incidence alone would allow singular examples.

These conditions make $|K|$ a closed surface. A point inside a triangle has a disc neighbourhood, the two triangles at an edge give a disc neighbourhood, and the cyclic fan at a vertex gives a disc neighbourhood. Finiteness gives compactness, the Hausdorff property, and a countable basis of a topology from a realization in a finite-dimensional Euclidean space. If disconnected closed combinatorial surfaces are allowed, each connected component satisfies this definition separately.

The classification theorem for closed combinatorial surfaces states that the geometric realization of every closed combinatorial surface is homeomorphic to exactly one of the following:

With ${\Sigma }_0=S^2$, the complete distinguishing data are orientability and the Euler characteristic:Here $\chi (K)=V-E+F$, where $V,E,F$ count the vertices of a simplicial complex, edges, and triangles of a finite triangulation. Thus two such connected closed surfaces are homeomorphic if and only if they have the same orientability and Euler characteristic. In particular $N_1$ is the real projective plane and $N_2$ is the Klein bottle. Every listed type admits a finite triangulation. For disconnected finite closed combinatorial surfaces, apply the theorem to each of the finitely many connected components; the resulting unordered collection of types determines the homeomorphism type.