Table of Contents
Fetching ...

Perfect discrete Morse functions on Stratifoldds

Jesus Liceaga-Martinez, Jesús Rodríguez-Viorato, José Carlos Gómez-Larrañaga

Abstract

In this paper, we study the computation of optimal discrete Morse functions on stratifolds. In particular, we present an algorithm that efficiently computes such functions for a broad class of them. Moreover, we characterize the conditions under which these functions are perfect.

Perfect discrete Morse functions on Stratifoldds

Abstract

In this paper, we study the computation of optimal discrete Morse functions on stratifolds. In particular, we present an algorithm that efficiently computes such functions for a broad class of them. Moreover, we characterize the conditions under which these functions are perfect.
Paper Structure (6 sections, 19 theorems, 16 equations, 6 figures)

This paper contains 6 sections, 19 theorems, 16 equations, 6 figures.

Key Result

Theorem 2.1

Let $V$ be a discrete vector field over $K$. Then there exists a dmf $f : K \to \mathbb{R}$ such that $V = -\nabla f$ if and only if there are no closed $V$-paths.

Figures (6)

  • Figure 1: Left: Geometric representation of a discrete vector field $V$. Right: Morse matching of the same discrete vector field $V$. The pairs belonging to $V$ are marked in blue.
  • Figure 2: CW structure of the spaces in $\mathcal{M}$ after identifications.
  • Figure 3: CW structure of a stratifold $X_1$ with $\mathcal{M} = \{\mathbb{T}^2 \# \mathbb{T}^2, \mathbb{T}^2 \# \mathbb{T}^2, \mathbb{R}P^2\}$.
  • Figure 4: Graph associated with the stratifold $X_1$ shown in \ref{['fig:strat']}.
  • Figure 5: Result of applying the algorithm to a triangulation of the space $S(\mathbb{S}^2, (1, 1))$.
  • ...and 1 more figures

Theorems & Definitions (28)

  • Theorem 2.1
  • Theorem 2.2
  • Theorem 2.3
  • proof
  • Theorem 2.4
  • Theorem 2.5
  • Theorem 2.6
  • Theorem 2.7
  • Theorem 3.1
  • proof
  • ...and 18 more