---
title: Middle Convolution Techniques
url: https://www.emergentmind.com/topics/middle-convolution
type: topic
---

# Middle Convolution Techniques

Middle convolution is a functorial transformation on linear differential equations, local systems, perverse sheaves, and holonomic $\mathcal{D}$-modules that originated in Katz’s study of rigid local systems and was later reformulated in explicit algebraic forms for Fuchsian systems, extended to Hodge-theoretic and arithmetic settings, and adapted to $q$-difference, logarithmic, irregular, braid-theoretic, Lie-algebraic, and Pfaffian contexts. In the differential setting it is built from convolution with a rank-one Kummer object followed by a middle, or intermediate, extension; in matrix form it is realized by explicit block constructions and quotienting by canonical invariant subspaces. Across these realizations, middle convolution is repeatedly used to control rigidity, transform local data, construct new systems from old ones, and relate analytic integral transforms to algebraic and categorical operations [1209.4185] [1509.05202] [1410.3674].

## 1. Katzian formulation and basic definitions

In the $\mathscr{D}$-module framework, middle convolution with a Kummer module is written
$$
\mathrm{MC}_{\lambda_0}(M)=M*_{\mathrm{mid}}\mathcal{K}_{\lambda_0},
$$
where $\mathcal{K}_{\lambda_0}$ is the Kummer module
$$
\mathcal{K}_{\lambda_0}=\mathscr{D}_{\mathbb{A}^1}/\mathscr{D}_{\mathbb{A}^1}\cdot (t\partial_t-\gamma_0),
\qquad \lambda_0=\exp(-2i\pi\gamma_0),\ \gamma_0\in(0,1),
$$
and “middle” means the image of the natural map
$$
M\star_!L_\chi \to M\star_*L_\chi
$$
in the corresponding convolution formalism [1808.08715] [1209.4185] [1501.07807]. This realization places middle convolution simultaneously in the theory of regular holonomic $\mathscr{D}$-modules, perverse sheaves, and local systems.

Katz’s original viewpoint treats middle convolution as one of the basic operations, together with tensoring by rank-one local systems, in the construction of rigid local systems on punctured projective lines. Several later works emphasize that cohomologically rigid local systems can be built from rank-one data by iterating such operations, and that this procedure is compatible with motivic realizations in the cases under consideration [1407.1942] [1209.4185]. In this sense, middle convolution is both a structural operation and an algorithmic device.

A persistent feature across formulations is the use of a rank-one Kummer factor. In additive settings the parameter is usually written $\lambda$ or $\mu$; in multiplicative settings it appears as $\chi$ or $\lambda\in \mathbb{C}\setminus\{0,1\}$; in the $q$-difference setting it is encoded by $q^\lambda$ [1509.05202] [1410.3674]. Although the language varies, the formal role is analogous: middle convolution alters local monodromy or local exponents through a controlled convolution-and-quotient procedure.

## 2. Matrix realizations for Fuchsian systems

For Fuchsian differential equations, middle convolution admits an explicit linear-algebraic realization due to the Dettweiler–Reiter approach. Starting from a Fuchsian system
$$
\frac{dy}{dz}=\sum_{k=1}^n \frac{A_k}{z-a_k}y,
$$
one forms block “convolution matrices” $B_k$ or $M_k$, then quotients by canonical invariant subspaces built from kernels of the residue matrices and their global relations [1503.03959] [1509.05202]. In the additive version, middle convolution $mc_\mu$ acts on tuples of residue matrices; in the multiplicative version, $\mathrm{MC}_\lambda$ acts on tuples of monodromy matrices [1509.05202].

A standard feature of this realization is reduction by subspaces usually denoted $\mathcal{K}$ and $\mathcal{L}$, or variants thereof. In the resonant Fuchsian setting, for instance, one defines $\mathcal{L}_k$ from $\ker(A_k)$, takes $\mathcal{L}=\bigoplus_k \mathcal{L}_k$, and sets $\mathcal{K}=\bigcap_k \ker(B_k)$ before passing to the quotient $\mathbb{C}^{np}/(\mathcal{K}+\mathcal{L})$ [1503.03959]. This quotient is what distinguishes middle convolution from the unreduced convolution construction.

The multiplicative version carries an explicit dimension formula. If $G=(G_1,\dots,G_n)\in GL(p,\mathbb{C})^n$, then after $\mathrm{MC}_\lambda$ the size $m$ of the new tuple is
$$
m=\sum_{k=1}^n \operatorname{rank}(G_k-I)-p+\operatorname{rank}(\lambda G_1\cdots G_n-I)
$$
[1509.05202]. This formula makes the rank change computable from the original monodromy tuple.

Rigidity is a central invariant in this framework. The literature summarized here repeatedly states that rigidity index is preserved by middle convolution, a fact used both in the classical Fuchsian theory and in the $q$-difference analogue [1509.05202] [1410.3674]. At the same time, the deformation-theoretic behavior depends on resonance. For non-resonant Fuchsian systems, middle convolution preserves Schlesinger’s deformation equations; for resonant systems, Bolibruch-type non-Schlesinger deformations are not preserved in general [1503.03959]. This distinction is one of the main caveats in extending the regular theory beyond the generic non-resonant case.

## 3. Integral-transform interpretation and analytic constructions

Middle convolution is not only an algebraic operation on tuples of matrices; it is also realized analytically by Euler-type integral transforms. In the Fuchsian setting, if $Y(z)$ is a solution of the original system, then the transformed solution is obtained from contour integrals whose kernels contain powers of $(z-w)$, often over Pochhammer-type contours [0810.3112]. This integral-transform interpretation is the differential analogue of the categorical convolution with a Kummer object.

For rank-two Fuchsian systems with four singularities, middle convolution is directly related to integral transformations of Heun’s equation. One explicit form is
$$
\tilde y(z)=\int_{[\gamma_z,\gamma_p]} y_1(w)(z-w)^{\kappa_2-1}\,dw,
$$
which sends a solution of one Fuchsian equation to a solution of another with transformed parameters; under specialization to the Heun locus in the space of initial conditions of Painlevé VI, this becomes an integral transformation of Heun’s equation itself [0810.3112]. When the convolution parameter is an integer, the corresponding transform degenerates to a differential-operator realization, identified with generalized Darboux transformations in the cited work [0810.3112].

The same analytic/algebraic duality underlies constructive approaches to the Riemann–Hilbert problem. A general scheme proceeds by applying multiplicative middle convolution to the prescribed monodromy tuple, solving the simpler transformed Riemann–Hilbert problem by explicit methods, and then reconstructing the original system by inverse additive middle convolution. In diagrammatic form,
$$
G \xrightarrow{\mathrm{MC}_\lambda} \mathrm{MC}_\lambda(G)
\xrightarrow{\text{constructively solve}} \tilde A
\xrightarrow{\mathrm{mc}_{-\mu}} A,
$$
yielding constructive solutions for classes of Fuchsian systems, including examples with four singular points [1509.05202]. In this role, middle convolution functions as a reduction step that moves a monodromy problem into a more tractable region.

## 4. The $q$-difference analogue

A $q$-analogue of middle convolution was introduced for linear $q$-difference equations with rational coefficients. In the basic form,
$$
\sigma_x Y(x)=B(x)Y(x),\qquad
B(x)=B_0+\sum_{i=1}^N \frac{B_i}{1-x/b_i},
$$
with $\sigma_xf(x)=f(qx)$, one constructs $q$-convolution matrices $F_i$ from the tuple $(B_1,\dots,B_N,B_0)$, defines subspaces
$$
K=\bigoplus_{i=1}^N \ker B_i,\qquad
L=\ker\left(F-(1-q^\lambda)I_{(N+1)m}\right),
$$
and sets
$$
\mathrm{mc}_\lambda(EB,\mathbb V):=(F,\mathbb V_{N+1}/(K+L))
$$
[1410.3674]. This is the $q$-middle convolution in the Sakai–Yamaguchi theory.

The solution-level realization is a $q$-Euler, or Jackson-integral, transform:
$$
\tilde Y_i(x)=\int_0^\infty P_\lambda(x,s)\frac{Y(s)}{s-b_i}\,d_qs,
\qquad
P_\lambda(x,s)=(q^\lambda s x^{-1};q)_\infty,
$$
with Jackson integral
$$
\int_0^\infty f(s)\,d_qs=(1-q)\sum_{n=-\infty}^\infty q^n f(q^n).
$$
This establishes the same duality between matrix convolution and integral transformation that is familiar in the differential case [1410.3674]. A later reformulation uses
$$
\int_0^{\xi\infty} f(s)\,d_qs=(1-q)\sum_{n=-\infty}^\infty q^n\xi\,f(q^n\xi),
$$
introducing a base point $\xi$ to sharpen convergence analysis [2209.02227].

The foundational properties established for the $q$-analogue closely parallel the classical case. If $ER$ is a Fuchsian type $q$-difference equation, then $\mathrm{mc}_\lambda(ER)$ is again Fuchsian type; under technical conditions $(*),(**)$, irreducibility is preserved; and under the same hypotheses the rigidity index is preserved [1410.3674]. Later reformulations emphasize additivity under composition,
$$
\operatorname{mc}_{\lambda_1}\circ \operatorname{mc}_{\lambda_2}
=\operatorname{mc}_{\lambda_1+\lambda_2},
$$
a property singled out as a merit of the reformulated theory [2503.11214].

Applications in the cited literature include $q$-hypergeometric equations, variants of $q$-hypergeometric equations of higher order, the linear problem associated with $q$-Painlevé VI, and integral transformations for the $q$-Heun equation [2209.02227] [2201.03960] [2503.11214]. In the $q$-Painlevé VI setting, the transformation is further interpreted in terms of affine Weyl group symmetry [2201.03960].

## 5. Hodge-theoretic and arithmetic behavior

Middle convolution has a developed Hodge theory for irreducible variations of polarized complex Hodge structure on punctured affine lines. In this setting, one tracks nearby cycles, vanishing cycles, Hodge numbers, and degrees of Hodge bundles under convolution with Kummer objects. For an irreducible variation $M$, one formula established in the literature is
$$
h^p(\mathrm{MC}_\chi(M))=h^p H^1(\mathrm{DR} M),
$$
together with explicit transformation laws for local Hodge data and bundle degrees [1209.4185]. These results upgrade Katz’s algorithm by making the Hodge-theoretic effect of each middle convolution step explicit.

Subsequent work computes the behavior of Hodge data under additive middle convolution in greater generality. One paper gives the nearby-cycle local Hodge numerical data at infinity without assuming scalar monodromy at infinity, thereby generalizing earlier results of Dettweiler and Sabbah [1808.08715]. Another computes explicit formulas for global Hodge numbers, degrees, local vanishing cycles, and local monodromy at infinity under additive middle convolution for irreducible variations of polarized complex Hodge structures [1809.06080]. In particular, for a generic Kummer module $L_\chi$, one has
$$
H^1_{\mathrm{par}}(V\star L_\chi)=0
$$
in the formulation of that paper [1809.06080].

Arithmetic aspects appear in several forms. In the $\ell$-adic setting, middle convolution is related to the $\ell$-adic Fourier transform, and the local monodromy and determinant of $\mathrm{MC}_\chi$ are described explicitly in the tame case using Laumon’s local Fourier theory and local $\epsilon$-constants [1501.07807]. One consequence stated there is that an at most quadratic determinant is often preserved under $\mathrm{MC}_\chi$ if $\chi$ is quadratic [1501.07807].

For holonomic $\mathcal{D}$-modules over the field of algebraic numbers, middle convolution is shown to preserve the categories of $G$-connections, globally nilpotent connections, and almost everywhere nilpotent connections, within a six-functor formalism on derived categories of arithmetic type [2309.12199]. That stability is then used to prove equivalences between these arithmetic properties for rigid Fuchsian systems, giving an affirmative answer, in the cited rigid case, to the conjecture described by André and Baldassarri [2309.12199].

A different arithmetic line studies degenerating principal variations of Hodge structure arising from Katz’s middle convolution. In dimensions $1$ through $6$, the cited work constructs principal VHS by iterated convolution and quadratic twists, computes limiting periods explicitly, and exhibits extension classes that are rational multiples of zeta values; in the $d=6$ case, the Mumford–Tate group is of type $G_2$ [1407.4102]. Related work on generalized Kuga–Satake theory uses middle convolution to construct rigid local systems with motivic significance beyond the Tannakian category generated by abelian varieties [1407.1942].

## 6. Irregular, braid-theoretic, and Lie-algebraic extensions

Middle convolution has been extended beyond regular singular Fuchsian systems. For differential equations with irregular singularities, a tentative definition of the index of rigidity was introduced together with a middle convolution operation on enlarged modules of the form $V^{\oplus M}$, reduced by explicit subspaces $K+\mathcal L(p)$:
$$
mc_p(V)=V^{\oplus M}/(K+\mathcal L(p)).
$$
Under assumptions including semisimplicity and $m_i\leq 1$, the index is preserved, systems of positive index can be reduced to rank one by iterated middle convolution and addition, and index-zero systems reduce to a finite list of terminal patterns [1002.2535].

For linear Pfaffian systems with irregular singularities, a 2025 development introduces the middle Laplace transform as an algebraic counterpart of the Laplace transform in Katz theory and defines middle convolution as
$$
mc_x^{\vec\lambda}:=MCT_x\circ \operatorname{add}_x^{\vec\lambda}.
$$
The resulting theory generalizes Haraoka’s construction from logarithmic singularities to systems with irregular singularities and establishes invertibility, irreducibility, and additivity
$$
mc^\lambda\circ mc^\mu \cong mc^{\lambda+\mu},\qquad mc^0\cong \mathrm{id}
$$
[2502.01263].

Another line of development identifies middle convolution with generalized Long–Moody constructions. The Katz–Long–Moody functor
$$
KLM_\lambda(V):=
\frac{LM_\lambda(V)}
{\sum_{i=1}^n LM_\lambda(V)[i]+LM_\lambda(V)^{F_n}}
$$
extends middle convolution from $F_n$-local systems to broader semidirect-product settings such as $F_n\rtimes_a G$, including $B_n$-bundles, fiber-type hyperplane arrangements, and link complements in the solid torus [2303.05770]. In the KZ-type setting, multiplicative middle convolution for the pure braid group is shown to correspond to the Katz–Long–Moody construction, to preserve unitarity relative to a Hermitian matrix, and to admit an algorithm determining the signature of the induced Hermitian form [2503.14840].

A 2026 Lie-algebraic analogue pushes the construction to modules over free Lie algebras, Drinfeld–Kohno Lie algebras, and holonomy Lie algebras of complements of hyperplane arrangements. In that framework, middle convolution is defined homologically by a cokernel of maps
$$
\bigoplus_{i=0}^n H_1(L(x_i),V\otimes_K K_\lambda)\to
H_1(\mathfrak L_{n+1},V\otimes_K K_\lambda),
$$
recovers the Dettweiler–Reiter additive middle convolution as a special case, is compatible with Haraoka’s convolution for logarithmic connections, and is related by a Riemann–Hilbert correspondence to middle convolution for local systems on hyperplane-complement arrangements [2605.09828].

Taken together, these developments present middle convolution not as a single construction tied only to Fuchsian systems, but as a family of closely related functors whose common structural features are convolution with a rank-one object, passage to a middle quotient or image, and the preservation or computable transformation of rigidity, local invariants, and representation-theoretic structure across a wide range of analytic, algebraic, arithmetic, and geometric settings.

Source: https://www.emergentmind.com/topics/middle-convolution