Finiteness and holonomicity of skein modules

We prove a generalised version of finiteness of skein modules for 3-manifolds by including boundary. We show that internal skein modules are holonomic modules over the internal skein algebra of the boundary - a property including finite generation and a Lagrangian support condition. Our approach involves defining skein transfer bimodules, topologically obtained by 2-handle attachments, and establishing q-analogues of statements in D-module theory to prove preservation of holonomicity.