Categorifying isomonodromic deformations via Lie groupoids I: Logarithmic singularities
Waleed Qaisar
TL;DR
The paper develops a categorified view of isomonodromic deformations for flat connections, replacing traditional monodromy-based deformations with a 2-functor constructed from Morita equivalences of holomorphic Lie groupoids. The core construction yields a 2-local system on the base S valued in holomorphic stacks, realized via a Morita-equivalence-based geometric mechanism that naturally induces functors between categories of flat connections and natural transformations along homotopies. In the logarithmic setting, twisted fundamental groupoids replace ordinary fundamental groupoids, enabling a parallel categorification that preserves divisor data; this leads to a 2-functor boldsymbol{P} categorifying logarithmic isomonodromy and connecting to a generalized Riemann–Hilbert correspondence. The work further reveals a π2(S,s)-action on the fiber categories through the first Hirzebruch surface and outlines future extensions to irregular singularities and symplectic structures on moduli stacks, broadening the geometric understanding of isomonodromy as Morita data rather than merely monodromy representations.
Abstract
We upgrade the classical operation of \textit{isomonodromic deformations} along a path $γ$ to a functor $\mathbb{P}_γ$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself depends functorially on $γ$, using tools from the theory of Lie groupoids. As applications, (1) we get that isomonodromy gives a map of moduli \textit{stacks} of flat connections with logarithmic singularities, (2) we encode higher homotopical information at level 2, i.e. we get an action of the fundamental 2-groupoid of the base of our family on the categories of logarithmic flat connections on the fibres, and (3) our methods produce a geometric incarnation of the isomonodromy functors as Morita equivalences which are more primary than the isomonodromy functors themselves, and from which they can be formally extracted by passing to representation categories.
