Interval decomposition conjecture for the nesting-poset zigzag module

Let PP be a finite poset, and let \fieldP\field P denote its incidence algebra. For the critical and regular levels a0,t1,a1,t2,,tn,ana_0,t_1,a_1,t_2,\dots,t_n,a_n associated with the Morse function ff, let \fieldNai\field N_{a_i} and \fieldNti\field N_{t_i} be the corresponding incidence algebras of nesting posets. Interval decomposition conjecture. There is a zigzag module of \field\field-algebras

\fieldNa0\fieldNt1\fieldNa1\fieldNt2\fieldNtn\fieldNan,\field N_{a_0}\leftrightarrow\field N_{t_1}\leftrightarrow\field N_{a_1}\leftrightarrow\field N_{t_2}\leftrightarrow\cdots\leftrightarrow\field N_{t_n}\leftrightarrow\field N_{a_n},

with arrow direction given by Corollary 1, that decomposes into a sum of interval indecomposables of the form

\fieldI(t)={\field{}if tI0if tI.\field_I(t)=\begin{cases}\field\{*\}&\text{if }t\in I\\0&\text{if }t\notin I.\end{cases}

Furthermore, this collection of interval indecomposables determines ff up to poset equivalence. This is presented as a structural persistence claim for the nesting posets; the supplied text gives no evidence of resolution, so it remains open.

Sources & referencesView supporting material

Primary source

Michael J. Catanzaro, Justin Curry, Brittany Terese Fasy, Jānis Lazovskis, Greg Malen, Hans Riess, Bei Wang and Matthew Zabka, “Moduli Spaces of Morse Functions for Persistence”, arXiv:1909.10623 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.