Dice Question Streamline Icon: https://streamlinehq.com

Upward flagness for linear subdiagrams with a heavy edge (type B-style conjecture)

Prove that for any irreducible spherical Artin group A_Λ and any linear subdiagram Λ'⊂Λ with consecutive vertices {s_i}_{i=1}^n such that the edge between s_{n−1} and s_n has label at least 4, the vertex set of the relative Artin complex Δ_{Λ,Λ'} endowed with the order induced by s_1<⋯<s_n forms a bowtie-free, upward flag poset.

Information Square Streamline Icon: https://streamlinehq.com

Background

This conjecture formulates a key link condition needed to apply Haettel’s contractibility criteria to cores. It asserts a strong combinatorial property (bowtie-free and upward flag) for the ordered vertex set of Δ_{Λ,Λ'} in the spherical base case, when a terminal edge has label ≥4 (capturing B-type features).

The bowtie-free part is already known from prior work, but the upward flagness remains open in general; it is verified in several special cases (e.g., type B_n) within the paper.

References

Conjecture. Suppose $A_S$ is an irreducible spherical Artin group with Coxeter diagram $\Lambda$. Let $\Lambda'$ be a linear subdiagram of $\Lambda$ with consecutive vertices ${s_i}{i=1}n$ such that the edge between $s{n-1}$ and $s_n$ has label $\ge 4$. Then the vertex set of $\Delta_{\Lambda,\Lambda'}$ equipped with the relation induced from $s_1<s_2<\cdots<s_n$ (as in Definition~\ref{def:order}) is a bowtie free and upward flag poset.

Cycles in spherical Deligne complexes and application to $K(π,1)$-conjecture for Artin groups (2405.12068 - Huang, 20 May 2024) in Section 2.6 (Link conditions at the base case), Conjecture 2.4