Maximally reducible monodromy of bivariate hypergeometric systems

We investigate the branching of solutions of holonomic bivariate Horn-type hypergeometric systems. Special attention is paid to invariant subspaces of Puiseux polynomial solutions. We mainly study Horn systems defined by simplicial configurations and Horn systems whose Ore–Sato polygons are either zonotopes or Minkowski sums of a triangle and segments proportional to its sides. We prove a necessary and sufficient condition for the monodromy representation to be maximally reducible, that is, for the space of holomorphic solutions to split into a direct sum of one-dimensional invariant subspaces.