pith. sign in

arxiv: 2502.01263 · v4 · submitted 2025-02-03 · 🧮 math.CA

Middle Laplace transform and middle convolution for linear Pfaffian systems with irregular singularities

Shunya Adachi This is my paper

Pith reviewed 2026-05-23 04:35 UTC · model grok-4.3

classification 🧮 math.CA
keywords middle Laplace transformmiddle convolutionlinear Pfaffian systemsirregular singularitiesKatz theoryhypergeometric functions
0
0 comments X

The pith

The middle Laplace transform, defined purely algebraically, is invertible and preserves irreducibility for linear Pfaffian systems with irregular singularities.

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

The paper introduces the middle Laplace transform as an algebraic formulation of the Laplace transform viewed through Katz theory. It establishes that this transform remains invertible and preserves irreducibility when applied to linear Pfaffian systems that have irregular singularities. Building on those properties, the work defines a middle convolution operation that extends Haraoka's version from the logarithmic case to irregular singularities. Additivity and irreducibility of the new convolution then follow directly from the corresponding properties of the middle Laplace transform. Concrete examples are supplied for hypergeometric functions of two variables.

Core claim

The middle Laplace transform is introduced as a purely algebraic transformation of linear Pfaffian systems that admits a categorical interpretation in Katz theory. For systems with irregular singularities the transform is shown to be invertible and to preserve irreducibility. These facts are used to define middle convolution for the same class of systems, yielding a direct generalization of the logarithmic case; additivity and irreducibility of the convolution are then immediate consequences.

What carries the argument

The middle Laplace transform: a purely algebraic operation on linear Pfaffian systems that carries a categorical interpretation in Katz theory and supplies invertibility and irreducibility for irregular singularities.

If this is right

  • Middle convolution can now be defined for Pfaffian systems possessing irregular singularities.
  • The resulting middle convolution operation is additive.
  • The resulting middle convolution operation preserves irreducibility.
  • All listed properties of middle convolution are inherited directly from the corresponding properties of the middle Laplace transform.

Where Pith is reading between the lines

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

  • The construction may supply a uniform algebraic route to studying irregular hypergeometric systems in several variables.
  • The same algebraic template could be tested on other integral transforms appearing in the theory of linear differential equations.
  • Categorical interpretations in Katz theory may now be applied more systematically to irregular-singularity data.

Load-bearing premise

The algebraic definition of the middle Laplace transform continues to be invertible and to preserve irreducibility when the underlying Pfaffian systems have irregular singularities, without further restrictions on the singularity data.

What would settle it

An explicit linear Pfaffian system with at least one irregular singularity whose image under the middle Laplace transform is either non-invertible or reducible.

read the original abstract

We introduce a transformation of linear Pfaffian systems, which we call the middle Laplace transform, as a formulation of the Laplace transform from the perspective of Katz theory. While the definition of the middle Laplace transform is purely algebraic, its categorical interpretation is also provided. We then show the fundamental properties (invertibility, irreducibility) of the middle Laplace transform. As an application of the middle Laplace transform, we define the middle convolution for linear Pfaffian systems with irregular singularities. This gives a generalization of Haraoka's middle convolution, which was defined for linear Pfaffian systems with logarithmic singularities. The fundamental properties (additivity, irreducibility) of the middle convolution follow from the properties of the middle Laplace transform. Some examples related to hypergeometric functions with two variables are also given.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces the middle Laplace transform for linear Pfaffian systems as an algebraic construction from the perspective of Katz theory, supplies a categorical interpretation, establishes its invertibility and irreducibility, and applies the transform to define middle convolution for systems with irregular singularities (generalizing Haraoka's logarithmic case). The additivity and irreducibility of the convolution are derived from the corresponding properties of the transform, and examples involving two-variable hypergeometric functions are included.

Significance. If the central claims hold without hidden restrictions on the irregularity data, the work supplies a meaningful extension of middle convolution techniques to irregular singularities, which is relevant for the analysis of Pfaffian systems and their connections to special functions. The purely algebraic definition and its categorical framing constitute clear strengths that could facilitate further applications.

major comments (2)
  1. [Abstract and §3] Abstract and the statement of the main theorem on invertibility (likely §3): the claim that the algebraic middle Laplace transform preserves invertibility and irreducibility for arbitrary irregular singularities is load-bearing, yet no explicit restrictions on the formal normal forms, irregularity levels, or Stokes data are stated. The proofs must be examined to confirm they do not tacitly rely on assumptions valid only for logarithmic or mildly irregular cases; if such conditions are needed, they should be added to the statement of the theorem.
  2. [§4] Definition of middle convolution via the transform (likely §4): the derivation that additivity and irreducibility of the convolution follow directly from the transform properties is central, but it inherits any scope limitations from the invertibility result. If the transform's properties are established only under additional hypotheses on the singularity data, the generalization claim for generic irregular Pfaffian systems requires qualification.
minor comments (2)
  1. [§1] Notation for the Pfaffian system and the Laplace parameter could be clarified in the introduction to improve readability for readers familiar with Haraoka's logarithmic setting.
  2. [§5] The examples in the final section would benefit from an explicit comparison table showing the original system, the transformed system, and the resulting convolution parameters.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed review and valuable comments on our manuscript. We address each major comment below. Our responses clarify that the results are intended to hold generally for arbitrary irregular singularities, and we will make revisions to enhance clarity.

read point-by-point responses

  1. Referee: [Abstract and §3] Abstract and the statement of the main theorem on invertibility (likely §3): the claim that the algebraic middle Laplace transform preserves invertibility and irreducibility for arbitrary irregular singularities is load-bearing, yet no explicit restrictions on the formal normal forms, irregularity levels, or Stokes data are stated. The proofs must be examined to confirm they do not tacitly rely on assumptions valid only for logarithmic or mildly irregular cases; if such conditions are needed, they should be added to the statement of the theorem.

    Authors: The middle Laplace transform is defined in a purely algebraic manner within the framework of Katz theory, without imposing any restrictions on the irregularity levels, formal normal forms, or Stokes data. The proofs of invertibility and preservation of irreducibility are conducted in this general setting and do not rely on assumptions specific to logarithmic or mildly irregular cases. To make this explicit and address the referee's concern, we will revise the abstract and the statement of the main theorem in §3 to clearly indicate that the results apply to arbitrary irregular singularities. revision: yes

  2. Referee: [§4] Definition of middle convolution via the transform (likely §4): the derivation that additivity and irreducibility of the convolution follow directly from the transform properties is central, but it inherits any scope limitations from the invertibility result. If the transform's properties are established only under additional hypotheses on the singularity data, the generalization claim for generic irregular Pfaffian systems requires qualification.

    Authors: Since the properties of the middle Laplace transform hold in full generality as detailed in our response to the previous comment, the additivity and irreducibility of the middle convolution follow directly without additional hypotheses. The generalization of Haraoka's middle convolution to irregular singularities is thus valid as stated. We will update the relevant statements in §4 to emphasize this generality. revision: yes

Circularity Check

0 steps flagged

No circularity; algebraic definition and stated proofs are independent of inputs

full rationale

The abstract defines the middle Laplace transform purely algebraically, states that invertibility and irreducibility are shown for it, and derives the middle convolution properties directly from those shown properties. No equation, definition, or step reduces a claimed result to a fitted parameter, self-citation chain, or input by construction. The reference to Haraoka applies only to the prior logarithmic case being generalized and is not invoked to justify the new claims. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the algebraic well-definedness of the new transform and the transfer of properties via the categorical interpretation; no free parameters, new physical entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)
  • domain assumption Standard algebraic and categorical structures of Katz theory apply to linear Pfaffian systems with irregular singularities
    The paper invokes Katz theory for the categorical interpretation of the middle Laplace transform.

pith-pipeline@v0.9.0 · 5658 in / 1383 out tokens · 34063 ms · 2026-05-23T04:35:28.360144+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Middle convolution for Lie algebra representations

    math.RT 2026-05 unverdicted novelty 7.0

    The paper introduces a Lie algebra analogue of the middle convolution functor and proves it generalizes the Long-Moody functor, recovers Dettweiler-Reiter convolution, is compatible with Haraoka's version, and satisfi...

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    Arinkin, Rigid irregular connections onP 1,Compos

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

    work page 2010

  2. [2]

    Balser, W

    W. Balser, W. B. Jurkat and D. A. Lutz, On the reduction of connection problems for differential equations with an irregular singular point to ones with only regular singularities I,SIAM J. Math. Anal.,12(1981), 691–721

    work page 1981

  3. [3]

    Dettweiler and S

    M. Dettweiler and S. Reiter, An algorithm of Katz and its application to the inverse Galois problem,J. Symbolic Comput.30, no. 6 (2000), 761–798

    work page 2000

  4. [4]

    Dettweiler and S

    M. Dettweiler and S. Reiter, Middle convolution of Fuchsian systems and the con- struction of rigid differential systems,J. Algebra.,318, (2007), 1–24

    work page 2007

  5. [5]

    Haraoka and G

    Y. Haraoka and G. Filipuk, Middle convolution and deformation for Fuchsian systems, J. Lond. Math. Soc. (2),76(2007), 438–450

    work page 2007

  6. [6]

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

    Y. Haraoka, Middle convolution for completely integrable systems with logarithmic singularities along hyperplane arrangements,Adv. Stud. Pure Math.,62, (2012), 109– 136

    work page 2012

  7. [7]

    Haraoka and S

    Y. Haraoka and S. Hamaguchi, Topological theory for Selberg type integral associated with rigid Fuchsian systems,Math. Ann.,353, (2012), 1239–1271

    work page 2012

  8. [8]

    Haraoka, Multiplicative middle convolution for KZ equations,Math

    Y. Haraoka, Multiplicative middle convolution for KZ equations,Math. Z.,294 (2020), no. 3-4, 1787–1839

    work page 2020

  9. [9]

    Haraoka,Linear Differential Equations in the Complex Domain –From Classical Theory to Forefront, Lecture Notes in Math., vol

    Y. Haraoka,Linear Differential Equations in the Complex Domain –From Classical Theory to Forefront, Lecture Notes in Math., vol. 2271, Springer-Verlag, 2020

    work page 2020

  10. [10]

    Haraoka, Asymptotic analysis for confluent hypergeometric function in two vari- ables given by double integral,Opuscula Math.,44, no

    Y. Haraoka, Asymptotic analysis for confluent hypergeometric function in two vari- ables given by double integral,Opuscula Math.,44, no. 4 (2024), 505–541

    work page 2024

  11. [11]

    Hiroe and H

    K. Hiroe and H. Negami, Long-Moody construction of braid representations and Katz middle convolution,arXiv:2303.05770

    work page arXiv

  12. [12]

    Kawakami, Generalized Okubo systems and the middle convolution,Int

    H. Kawakami, Generalized Okubo systems and the middle convolution,Int. Math. Res. Not.IMRN2010, no. 17, 3394–3421

    work page

  13. [13]

    N. M. Katz,Rigid Local Systems, Annals of Mathematics Studies, vol. 139, Princeton University Press, Princeton, 1996

    work page 1996

  14. [14]

    Majima,Asymptotic analysis for integrable connections with irregular singular points, Lecture Notes in Math., vol

    H. Majima,Asymptotic analysis for integrable connections with irregular singular points, Lecture Notes in Math., vol. 1075, Springer-Verlag, 1984. 83

    work page 1984

  15. [15]

    H. Majima, Asymptotic analysis of confluent hypergeometric partial differential equations in many variables (Microlocal Analysis and Asymptotic Analysis),RIMS Kˆ okyˆ uroku,1397(2004), 126–129

    work page 2004

  16. [16]

    Matsubara-Heo and T

    S.-J. Matsubara-Heo and T. Oshima, Generalized hypergeometric functions with sev- eral variables, to appear inIndagationes Mathematicae

    work page

  17. [17]

    Mukai, Pfaffian systems of confluent hypergeometric functions of two variables, Kyushu Journal of Mathematics,74(2020), no

    S. Mukai, Pfaffian systems of confluent hypergeometric functions of two variables, Kyushu Journal of Mathematics,74(2020), no. 1, 63–104

    work page 2020

  18. [18]

    Oshima,Fractional calculus of Weyl algebra and Fuchsian differential equations, MSJ Memoirs,28

    T. Oshima,Fractional calculus of Weyl algebra and Fuchsian differential equations, MSJ Memoirs,28. Mathematical Society of Japan, Tokyo, 2012

    work page 2012

  19. [19]

    Oshima, Classification of Fuchsian systems and their connection problem,RIMS Kˆ okyˆ uroku BessatsuB37(2013), 163–192

    T. Oshima, Classification of Fuchsian systems and their connection problem,RIMS Kˆ okyˆ uroku BessatsuB37(2013), 163–192

    work page 2013

  20. [20]

    Oshima, Transformation of KZ type equations,RIMS Kˆ okyˆ uroku BessatsuB61 (2017), 141–162

    T. Oshima, Transformation of KZ type equations,RIMS Kˆ okyˆ uroku BessatsuB61 (2017), 141–162

    work page 2017

  21. [21]

    Oshima, Confluence and versal unfolding of Pfaffian systems,Josai Mathematical MonographsVol

    T. Oshima, Confluence and versal unfolding of Pfaffian systems,Josai Mathematical MonographsVol. 12 (2020), 117–151

    work page 2020

  22. [22]

    T. Oshima, Integral transformations of hypergeometric functions with several vari- ables, to appear inSymmetry in Geometry and Analysis, Volume 2 –Festschrift for Toshiyuki Kobayashi, Progress in Math

    work page

  23. [23]

    Sabbah,Fourier transformation ofD-modules and applications, Lecture notes (CIRM, Luminy, september 2010)

    C. Sabbah,Fourier transformation ofD-modules and applications, Lecture notes (CIRM, Luminy, september 2010)

    work page 2010

  24. [24]

    Shimomura, Asymptotic expansions and Stokes multipliers of the confluent hy- pergeometric function Φ 2 I,Proc

    S. Shimomura, Asymptotic expansions and Stokes multipliers of the confluent hy- pergeometric function Φ 2 I,Proc. Roy. Soc. Edinburgh Sect. A123(1993), no. 6, 1165–1177

    work page 1993

  25. [25]

    Shimomura, A system associated with the confluent hypergeometric function Φ 3 and a certain linear ordinary differential equation with two irregular singular points, Internat

    S. Shimomura, A system associated with the confluent hypergeometric function Φ 3 and a certain linear ordinary differential equation with two irregular singular points, Internat. J. Math.8(1997), no. 5, 689–702

    work page 1997

  26. [26]

    Shimomura, Asymptotic expansions and Stokes multipliers of the confluent hyper- geometric function Φ 2 II

    S. Shimomura, Asymptotic expansions and Stokes multipliers of the confluent hyper- geometric function Φ 2 II. Behaviour near (∞,∞) inP 1(C)×P 1(C),J. Math. Soc. Japan50(1998), no. 1, 1–22

    work page 1998

  27. [27]

    Shimomura, A confluent hypergeometric system associated with Φ3 and a confluent Jordan-Pochhammer equation,Funkcial

    S. Shimomura, A confluent hypergeometric system associated with Φ3 and a confluent Jordan-Pochhammer equation,Funkcial. Ekvac.42(1999), no. 2, 225–240

    work page 1999

  28. [28]

    K. Takemura, Introduction to middle convolution for differential equations with ir- regular singularities inNew Trends in Quantum Integrable Systems, World Sci., Hack- ensack, N.J., 2011, 393–420

    work page 2011

  29. [29]

    Yamakawa, Middle convolution and Harnad duality,Math

    D. Yamakawa, Middle convolution and Harnad duality,Math. Ann.349(2011), no. 1, 215–262

    work page 2011

  30. [30]

    Yamakawa, Fourier-Laplace transform and isomonodromic deformations,Funkcial

    D. Yamakawa, Fourier-Laplace transform and isomonodromic deformations,Funkcial. Ekvac.59(2016), no. 3, 315–349. 84

    work page 2016