arxiv: 2605.09828 · v1 · submitted 2026-05-11 · 🧮 math.RT · math.AG

Recognition: no theorem link

Middle convolution for Lie algebra representations

Kazuki Hiroe

Pith reviewed 2026-05-12 04:48 UTC · model grok-4.3

classification 🧮 math.RT math.AG

keywords middle convolutionLie algebra representationsholonomy Lie algebraRiemann-Hilbert correspondencehyperplane arrangementslocal systemsFuchsian systems

0 comments

The pith

A middle convolution functor on Lie algebra modules generalizes several classical constructions and establishes a Riemann-Hilbert correspondence with geometric middle convolution.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper defines a middle convolution operation that applies to modules over Lie algebras such as free Lie algebras, Drinfeld-Kohno Lie algebras, and holonomy Lie algebras of hyperplane arrangement complements. The definition is crafted to extend the infinitesimal analogue of the Long-Moody functor and to recover the Dettweiler-Reiter middle convolution for Fuchsian systems as a special case. It also ensures compatibility with Haraoka's middle convolution for logarithmic connections on arrangement complements. The central result is a correspondence that identifies the algebraic middle convolution with the middle convolution of local systems under the Riemann-Hilbert correspondence. If this holds, it would allow algebraic methods to study geometric objects and vice versa in a consistent way.

Core claim

The paper introduces a Lie algebra analogue of the middle convolution functor defined on modules over free, Drinfeld-Kohno, and holonomy Lie algebras. It demonstrates that this functor generalizes the infinitesimal Long-Moody functor, recovers the Dettweiler-Reiter additive middle convolution for Fuchsian systems on the punctured Riemann sphere, is compatible with Haraoka's construction for logarithmic connections, and establishes a Riemann-Hilbert correspondence between the middle convolution for the holonomy Lie algebra and that for local systems on complements of hyperplane arrangements.

What carries the argument

The middle convolution functor for representations of Lie algebras, which acts on modules over the specified algebras and unifies algebraic and geometric versions of the operation.

If this is right

The functor provides a unified way to perform middle convolution across different types of Lie algebra representations.
It recovers known middle convolutions in special cases like Fuchsian systems and logarithmic connections.
The Riemann-Hilbert correspondence translates the algebraic operation into a geometric one for local systems.
Compatibility with prior constructions ensures consistency with existing literature on arrangements and systems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This algebraic approach could simplify computations of monodromy for representations associated with arrangements.
Extending the functor to other Lie algebras might reveal new connections in representation theory.
The correspondence suggests that properties preserved by middle convolution, such as irreducibility, can be studied algebraically.
Applying it to specific examples like braid groups could test its utility in knot invariants.

Load-bearing premise

That the middle convolution functor can be defined consistently on modules over free, Drinfeld-Kohno, and holonomy Lie algebras in a way that simultaneously generalizes the infinitesimal Long-Moody functor, recovers Dettweiler-Reiter convolution, and is compatible with Haraoka's construction.

What would settle it

A counterexample where the middle convolution applied to a holonomy Lie algebra module does not correspond under the Riemann-Hilbert map to the middle convolution of the associated local system would disprove the correspondence.

read the original abstract

This paper introduces a Lie algebra analogue of the middle convolution functor, which is defined on the category of modules over certain Lie algebras, including, as typical motivating examples, free Lie algebras, Drinfeld-Kohno Lie algebras, and the holonomy Lie algebras of complements of hyperplane arrangements. First, we demonstrate that the middle convolution for Lie algebra representations can be regarded as a natural generalization of the infinitesimal analogue of the Long-Moody functor for Drinfeld-Kohno Lie algebras. Second, we show that our middle convolution recovers the Dettweiler-Reiter additive middle convolution for Fuchsian systems on the punctured Riemann sphere as a special case. Furthermore, we show that when applied to the holonomy Lie algebra of the complement of a hyperplane arrangement, our functor is compatible with Haraoka's middle convolution for logarithmic connections on such complements. Finally, we establish a Riemann-Hilbert correspondence between the middle convolution for the holonomy Lie algebra and the middle convolution for local systems on complements of hyperplane arrangements.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Hiroe defines a Lie algebra middle convolution that recovers Long-Moody, Dettweiler-Reiter, and Haraoka cases plus an RH correspondence, but the uniformity of the definition across the algebras is the part that needs the closest look.

read the letter

The main thing to know is that this paper defines a middle convolution functor directly on modules over free Lie algebras, Drinfeld-Kohno Lie algebras, and holonomy Lie algebras, then shows it generalizes the infinitesimal Long-Moody functor, recovers the Dettweiler-Reiter additive convolution for Fuchsian systems, stays compatible with Haraoka's construction for logarithmic connections on arrangement complements, and induces a Riemann-Hilbert correspondence between the algebraic and geometric versions of middle convolution for local systems on hyperplane arrangement complements. That set of recovery and correspondence statements is the actual new content. It gives a single categorical setting that links constructions that had been treated separately before, which is useful if you work with these specific algebras or with middle convolutions in algebraic geometry. The explicit statements about specialization and compatibility are the parts that stand out as concrete rather than vague unification claims. The potential soft spot is exactly where the stress-test note points: whether one formula for the functor works uniformly and canonically on all three types of Lie algebra modules without extra normalizations or presentation-dependent choices. If the definition on holonomy modules requires adjustments that are not forced by the Drinfeld-Kohno case, the induced map on the Riemann-Hilbert side could fail to match the geometric middle convolution exactly. The abstract asserts that everything holds simultaneously, so the proofs will have to verify that the functor properties survive the relations in each algebra without hidden case distinctions. This paper is for people already working inside representation theory of these Lie algebras or inside the algebraic geometry of hyperplane arrangements and local systems. A reader in that narrow area can use the correspondences to move results or techniques between the algebraic and geometric sides. It is coherent on its own terms and engages the existing literature directly, so it deserves a serious referee to check the definitions and the uniformity claims in detail. I would send it to peer review.

Referee Report

3 major / 2 minor

Summary. The paper defines a middle convolution functor on the category of modules over free Lie algebras, Drinfeld-Kohno Lie algebras, and holonomy Lie algebras associated to hyperplane arrangement complements. It claims this functor generalizes the infinitesimal Long-Moody functor, recovers the Dettweiler-Reiter additive middle convolution for Fuchsian systems on the punctured sphere, is compatible with Haraoka's construction for logarithmic connections, and induces a Riemann-Hilbert correspondence with the geometric middle convolution for local systems on arrangement complements.

Significance. If the uniform definition and all claimed recoveries and the RH correspondence hold without hidden choices or normalizations, the work would supply a single algebraic construction that unifies several existing middle-convolution operations and links Lie-algebra representations directly to geometric local systems. This could streamline computations of monodromy representations for hyperplane arrangements and provide a new tool for studying infinitesimal braid-group actions.

major comments (3)

[Definition of the functor (likely §2 or §3)] The central definition of the middle-convolution functor on Lie-algebra modules must be shown to be canonical (independent of presentation choices for the underlying Lie algebra) so that the same formula simultaneously generalizes the infinitesimal Long-Moody functor on Drinfeld-Kohno modules, recovers Dettweiler-Reiter convolution, matches Haraoka's construction on holonomy modules, and induces the stated RH correspondence; any extra normalization required when restricting to holonomy Lie algebras would break the geometric match.
[Recovery of Dettweiler-Reiter (likely §4)] The proof that the construction recovers Dettweiler-Reiter convolution for Fuchsian systems requires an explicit isomorphism of the resulting monodromy representations (including matching of the additive parameters) rather than a formal analogy; without this, the claim that the Lie-algebra functor is a direct generalization remains unverified.
[Riemann-Hilbert correspondence (final section)] The Riemann-Hilbert correspondence asserted in the final section must be stated as a functorial equivalence that commutes with the middle-convolution operations on both sides; it is not sufficient to show compatibility on objects if the morphisms (or the action of the holonomy Lie algebra) are not shown to correspond.

minor comments (2)

[Introduction and notation] Introduce uniform notation for the three Lie algebras (free, Drinfeld-Kohno, holonomy) and their module categories at the beginning to prevent confusion when the same symbol is reused across sections.
[Summary of results] Add a short table or diagram summarizing which properties (Long-Moody generalization, Dettweiler-Reiter recovery, Haraoka compatibility, RH correspondence) are verified for each Lie algebra.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions, which will help strengthen the manuscript. We address each major comment below and indicate the planned revisions.

read point-by-point responses

Referee: [Definition of the functor (likely §2 or §3)] The central definition of the middle-convolution functor on Lie-algebra modules must be shown to be canonical (independent of presentation choices for the underlying Lie algebra) so that the same formula simultaneously generalizes the infinitesimal Long-Moody functor on Drinfeld-Kohno modules, recovers Dettweiler-Reiter convolution, matches Haraoka's construction on holonomy modules, and induces the stated RH correspondence; any extra normalization required when restricting to holonomy Lie algebras would break the geometric match.

Authors: We agree that establishing canonicity is essential to support the unification claims. The definition in §2 is formulated intrinsically in terms of the Lie bracket and module action, without reference to a specific choice of generators or relations. However, we acknowledge that an explicit verification of independence from presentation choices is not fully detailed. In the revised manuscript we will add a short subsection proving that the functor is well-defined on the category of modules over any Lie algebra (free, Drinfeld-Kohno, or holonomy) and that no additional normalizations are introduced when restricting to holonomy Lie algebras, thereby preserving the geometric correspondence. revision: partial
Referee: [Recovery of Dettweiler-Reiter (likely §4)] The proof that the construction recovers Dettweiler-Reiter convolution for Fuchsian systems requires an explicit isomorphism of the resulting monodromy representations (including matching of the additive parameters) rather than a formal analogy; without this, the claim that the Lie-algebra functor is a direct generalization remains unverified.

Authors: We thank the referee for this observation. The current argument in §4 shows that the Lie-algebra construction specializes to the Dettweiler-Reiter functor via the standard identification of modules with Fuchsian systems, but we agree that an explicit isomorphism of the resulting monodromy representations, together with verification that the additive parameters match, is needed for a complete verification. We will supply this explicit isomorphism and parameter matching in the revised §4. revision: yes
Referee: [Riemann-Hilbert correspondence (final section)] The Riemann-Hilbert correspondence asserted in the final section must be stated as a functorial equivalence that commutes with the middle-convolution operations on both sides; it is not sufficient to show compatibility on objects if the morphisms (or the action of the holonomy Lie algebra) are not shown to correspond.

Authors: We appreciate the referee's clarification on the required level of functoriality. The final section establishes a correspondence between the two middle-convolution operations, but the treatment of morphisms and the compatibility of the holonomy Lie algebra action is only sketched. In the revised version we will restate the result as a functorial equivalence and provide the necessary diagrams and arguments showing that morphisms correspond and that the middle-convolution operations commute with the Riemann-Hilbert map. revision: yes

Circularity Check

0 steps flagged

Middle convolution functor defined uniformly on Lie algebra modules; generalizations and compatibilities presented as independent derivations

full rationale

The paper defines a middle convolution functor on modules over free, Drinfeld-Kohno, and holonomy Lie algebras. It then demonstrates that this definition generalizes the infinitesimal Long-Moody functor, recovers Dettweiler-Reiter convolution as a special case, is compatible with Haraoka's construction, and induces a Riemann-Hilbert correspondence. These steps are framed as recoveries and demonstrations from the new uniform definition rather than as inputs that are fitted or renamed to produce the claimed outputs. No self-definitional reductions, fitted predictions, or load-bearing self-citations appear in the abstract or described derivation chain; the construction retains independent content in its uniform applicability across the listed categories.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a categorical construction in representation theory. It relies on the standard axioms of Lie algebra modules and functors but introduces no new free parameters, invented entities, or ad-hoc axioms beyond those of the ambient category.

axioms (1)

domain assumption The category of modules over the given Lie algebras admits a well-defined middle convolution operation compatible with the listed special cases.
This is the load-bearing premise needed for the functor to exist and satisfy the recovery statements.

pith-pipeline@v0.9.0 · 5462 in / 1292 out tokens · 31161 ms · 2026-05-12T04:48:02.960348+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 1 internal anchor

[1]

Achar.Perverse sheaves and applications to representation theory, vol- ume 258 ofMathematical Surveys and Monographs

Pramod N. Achar.Perverse sheaves and applications to representation theory, vol- ume 258 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2021

work page 2021
[2]

Middle laplace transform and middle convolution for linear pfaffian systems with irregular singularities.arXiv preprint, 2502.01263, 2025

Shunya Adachi. Middle laplace transform and middle convolution for linear pfaffian systems with irregular singularities.arXiv preprint, 2502.01263, 2025

work page internal anchor Pith review arXiv 2025
[3]

On the riemann-hilbert problem for hyperplane arrangements with a good line.arXiv preprint, 2601.00544, 2026

Shunya Adachi and Kazuki Hiroe. On the riemann-hilbert problem for hyperplane arrangements with a good line.arXiv preprint, 2601.00544, 2026

work page arXiv 2026
[4]

D. Arinkin. Rigid irregular connections onP 1.Compos. Math., 146(5):1323–1338, 2010

work page 2010
[5]

Iterated integrals of differential forms and loop space homology.Ann

Kuo-tsai Chen. Iterated integrals of differential forms and loop space homology.Ann. of Math. (2), 97:217–246, 1973

work page 1973
[6]

Cohen, Frederick R

Daniel C. Cohen, Frederick R. Cohen, and Miguel Xicot´ encatl. Lie algebras associated to fiber-type arrangements.Int. Math. Res. Not., (29):1591–1621, 2003

work page 2003
[7]

On matrices in prescribed conjugacy classes with no com- mon invariant subspace and sum zero.Duke Math

William Crawley-Boevey. On matrices in prescribed conjugacy classes with no com- mon invariant subspace and sum zero.Duke Math. J., 118(2):339–352, 2003

work page 2003
[8]

´Equations diff´ erentielles ` a points singuliers r´ eguliers, volume Vol

Pierre Deligne. ´Equations diff´ erentielles ` a points singuliers r´ eguliers, volume Vol. 163 ofLecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1970. 40

work page 1970
[9]

An algorithm of Katz and its application to the inverse Galois problem

Michael Dettweiler and Stefan Reiter. An algorithm of Katz and its application to the inverse Galois problem. volume 30, pages 761–798. 2000. Algorithmic methods in Galois theory

work page 2000
[10]

Middle convolution of Fuchsian systems and the construction of rigid differential systems.J

Michael Dettweiler and Stefan Reiter. Middle convolution of Fuchsian systems and the construction of rigid differential systems.J. Algebra, 318(1):1–24, 2007

work page 2007
[11]

Middle convolution for completely integrable systems with logarithmic singularities along hyperplane arrangements

Yoshishige Haraoka. Middle convolution for completely integrable systems with logarithmic singularities along hyperplane arrangements. InArrangements of hyperplanes—Sapporo 2009, volume 62 ofAdv. Stud. Pure Math., pages 109–136. Math. Soc. Japan, Tokyo, 2012

work page 2009
[12]

Springer, Cham, [2020]©2020

Yoshishige Haraoka.Linear differential equations in the complex domain—from clas- sical theory to forefront, volume 2271 ofLecture Notes in Mathematics. Springer, Cham, [2020]©2020

work page 2020
[13]

Katz.Rigid local systems, volume 139 ofAnnals of Mathematics Studies

Nicholas M. Katz.Rigid local systems, volume 139 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1996

work page 1996
[14]

Generalized Okubo systems and the middle convolution.Int

Hiroshi Kawakami. Generalized Okubo systems and the middle convolution.Int. Math. Res. Not. IMRN, (17):3394–3421, 2010

work page 2010
[15]

On the holonomy Lie algebra and the nilpotent completion of the fundamental group of the complement of hypersurfaces.Nagoya Math

Toshitake Kohno. On the holonomy Lie algebra and the nilpotent completion of the fundamental group of the complement of hypersurfaces.Nagoya Math. J., 92:21–37, 1983

work page 1983
[16]

D. D. Long. Constructing representations of braid groups.Comm. Anal. Geom., 2(2):217–238, 1994

work page 1994
[17]

¨ uber Beziehungen zwischen h¨ oheren Kommutatoren.J

Wilhelm Magnus. ¨ uber Beziehungen zwischen h¨ oheren Kommutatoren.J. Reine Angew. Math., 177:105–115, 1937

work page 1937
[18]

Combinatorics and topology of complements of hyperplanes.Invent

Peter Orlik and Louis Solomon. Combinatorics and topology of complements of hyperplanes.Invent. Math., 56(2):167–189, 1980

work page 1980
[19]

Stable hyperplane arrangements.arXiv preprint, 2510.11099, 2025

Toshio Oshima. Stable hyperplane arrangements.arXiv preprint, 2510.11099, 2025

work page arXiv 2025
[20]

The Long-Moody construction and polynomial functors.Ann

Arthur Souli´ e. The Long-Moody construction and polynomial functors.Ann. Inst. Fourier (Grenoble), 69(4):1799–1856, 2019

work page 2019
[21]

Infinitesimal computations in topology.Inst

Dennis Sullivan. Infinitesimal computations in topology.Inst. Hautes ´Etudes Sci. Publ. Math., (47):269–331, 1977

work page 1977
[22]

Introduction to middle convolution for differential equations with irregular singularities

Kouichi Takemura. Introduction to middle convolution for differential equations with irregular singularities. InNew trends in quantum integrable systems, pages 393–420. World Sci. Publ., Hackensack, NJ, 2011

work page 2011
[23]

Modular elements of lattices and topological fibration.Adv

Hiroaki Terao. Modular elements of lattices and topological fibration.Adv. in Math., 62(2):135–154, 1986

work page 1986
[24]

Weibel.An introduction to homological algebra, volume 38 ofCambridge Studies in Advanced Mathematics

Charles A. Weibel.An introduction to homological algebra, volume 38 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994

work page 1994
[25]

Middle convolution and Harnad duality.Math

Daisuke Yamakawa. Middle convolution and Harnad duality.Math. Ann., 349(1):215– 262, 2011. 41

work page 2011