Strong collapsibility of the arc complexes of orientable and non-orientable crowns

Pallavi Panda

2024-02-16

Abstract:We prove that the arc complex of a polygon with a marked point in its interior is a strongly collapsible combinatorial ball. We also show that the arc complex of a Möbius strip, with finitely many marked points on its boundary, is a simplicially collapsible combinatorial ball but is not strongly collapsible.

General Topology,Combinatorics

What problem does this paper attempt to address?

What problems does this paper attempt to solve?

#### Background and Objectives of the Paper

This paper mainly studies the topological properties and collapsibility of several types of finite simplicial complexes, especially arc complexes. By introducing the concept of strong collapsibility, the author explores the folding behaviors of these complexes under different conditions. Specifically, the paper focuses on the arc complexes of the following types of surfaces:

1. **Convex polygons**
2. **Orientable crowns**
3. **Non - orientable crowns**

#### Main Contributions

The main contributions of the paper include the following aspects:

1. **Prove that the complete arc complex of the orientable crown is strongly collapsible**:
- **Main Theorem 1**: For \( n \geq 1 \), the complete arc complex \( A(P^\circ_n) \) of the orientable crown \( P^\circ_n \) is strongly collapsible.
- **Corollary**: For \( n \geq 1 \), the complete arc complex of the orientable crown \( P^\circ_n \) is a combinatorial ball of dimension \( n - 1 \).

2. **Prove that the internal arc complex of the non - orientable crown is strongly collapsible**:
- **Main Theorem 2**: For \( n \geq 1 \), the internal arc complex \( AC(M_n) \) of the non - orientable crown \( M_n \) is strongly collapsible.

3. **Prove that the complete arc complex of the non - orientable crown is collapsible**:
- **Theorem**: For all \( n \geq 1 \), the simplicial complex \( A(M_n) \) simply collapses to \( AC(M_n) \).
- **Corollary**: For all \( n \geq 1 \), the simplicial complex \( A(M_n) \) is a combinatorial ball of dimension \( n - 1 \).

4. **Prove that the complete arc complex of the non - orientable crown is not strongly collapsible**:
- **Main Theorem 3**: For \( n \geq 4 \), the complete arc complex \( A(M_n) \) of the non - orientable crown \( M_n \) is not strongly collapsible.

5. **Prove that the arc complex of the integral strip is strongly collapsible**:
- **Main Theorem 4**: For \( m, n \geq 1 \) and \( m + n \geq 5 \), the arc complex \( A_{m,n} \) of the integral strip \( P(m, n) \) is strongly collapsible.

#### Folding Concepts

The key concepts involved in the paper include:

- **Simplicial collapse**: An operation of removing specific simplices to gradually simplify the complex.
- **Strong collapse**: A more stringent folding operation, which requires that the removed vertex is dominated by another vertex.
- **Combinatorial ball**: A simplicial complex with specific topological properties, similar to a sphere in topological space.

#### Applications and Significance

These results not only enrich the understanding of the topological structures of arc complexes but also provide a theoretical basis for further research in related fields. For example, in the fields of computational geometry, discrete Morse theory, and persistent homology, these folding properties can be used to develop more efficient algorithms and data structures.

In summary, this paper aims to deeply study the topological properties of arc complexes of different types of surfaces by introducing the concept of strong collapsibility and prove the folding behaviors of these complexes under specific conditions.