Operations on Arc Diagrams and Degenerations for Invariant Subspaces of Linear Operators. Part II

Abstract

For a partition $β$, denote by $N_β$ the nilpotent linear operator of Jordan type $β$. Given partitions $β$, $γ$, we investigate the representation space ${}_2{\mathbb V}_γ^β$ of all short exact sequences $$ \mathcal E: 0\to N_α\to N_β\to N_γ\to 0$$ where $α$ is any partition with each part at most 2. Due to the condition on $α$, the isomorphism type of a sequence $\mathcal E$ is given by an arc diagram $Δ$; denote by ${\mathbb V}_Δ$ the subset of ${}_2{\mathbb V}_γ^β$ of all sequences isomorphic to $\mathcal E$. Thus, the space ${}_2{\mathbb V}_γ^β$ carries a stratification given by the subsets of type ${\mathbb V}_Δ$. We compute the dimension of each stratum and show that the boundary of a stratum ${\mathbb V}_Δ$ consists exactly of those ${\mathbb V}_{Δ'}$ where $Δ'$ is obtained from $Δ$ by a non-empty sequence of arc moves of five possible types {\bf (A) -- (E)}. The case where all three partitions are fixed has been studied in [3] and [4]. There, arc moves of types {\bf (A) -- (D)} suffice to describe the boundary of a ${\mathbb V}_Δ$ in ${\mathbb V}_{α,γ}^β$. Our fifth move {\bf (E)}, "explosion", is needed to break up an arc into two poles to allow for changes in the partition $α$.