pith. sign in

arxiv: 2307.04395 · v3 · pith:ZYXM5XWBnew · submitted 2023-07-10 · 🧮 math.AG · math.CV

Generalized Brieskorn Modules I: Convergent (a,b)-modules

Daniel Barlet (IUF , UL , IECL) This is my paper

Pith reviewed 2026-05-24 07:26 UTC · model grok-4.3

classification 🧮 math.AG math.CV
keywords generalized Brieskorn modulesconvergent modulesNilsson classasymptotic expansionssemi-simple filtrationBernstein polynomialsmonodromy filtrationMilnor cohomology
0
0 comments X

The pith

Generalized Brieskorn modules receive a full description through convergent asymptotic expansions of Nilsson class.

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

The paper develops the theory of generalized Brieskorn modules because the formal completion of the standard Brieskorn module cannot reach the cohomology of the Milnor fiber, which lies outside the zero set of the function f. It gives a complete characterization of these modules using convergent asymptotic expansions belonging to the Nilsson class. A semi-simple filtration is introduced on the generalized module to incorporate the Jordan blocks of the monodromy, and this filtration is related explicitly to the nilpotent filtration on the module's saturation. This foundation supports later proofs of converses regarding the existence of poles in distributions tied to powers of f, based on higher Bernstein polynomials derived from the filtration.

Core claim

Generalized Brieskorn modules admit a full description in terms of convergent asymptotic expansions of Nilsson class. The semi-simple filtration on such a module corresponds to a decomposition of its Bernstein polynomial that accounts for the nilpotent order of the monodromy, and this filtration is explicitly linked to the nilpotent filtration of the monodromy acting on the saturation of the module.

What carries the argument

The generalized Brieskorn module, which extends the standard Brieskorn module to capture cohomology information from the Milnor fiber outside the zero set of f and is described via Nilsson class expansions.

If this is right

  • Existence of multiple poles can be proved for the distribution associated to powers of f when a hypothesis holds on the higher Bernstein polynomial.
  • Even the existence of a simple pole has a new converse in this setting.
  • Higher order Bernstein polynomials can be defined via the semi-simple filtration in part II.
  • The relationship between filtrations allows explicit computations relating monodromy and module structure.

Where Pith is reading between the lines

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

  • Such descriptions may permit explicit calculations of pole orders in specific examples of holomorphic functions.
  • This approach could extend to other contexts where formal completions miss geometric information from complements of hypersurfaces.
  • Connections between semi-simple and nilpotent filtrations might generalize to other monodromy representations in singularity theory.

Load-bearing premise

That the standard formal completion of the Brieskorn module is insufficient to access the Milnor fiber cohomology outside the zero set of f.

What would settle it

A concrete generalized Brieskorn module whose convergent Nilsson-class asymptotic expansion fails to produce the expected semi-simple filtration or the predicted decomposition of the Bernstein polynomial.

read the original abstract

This paper is the first one of two papers whose goal is to give a converse to the main result of my previous paper [6], so to prove the existence of multiple poles for the distribution |f|2$\lambda$ with an hypothesis on a Higher Bernstein Polynomial of the (a,b)-module generated by the germ $\omega$$\in$$\Omega$n+1 0 of a given holomorphic volum form. Note that, even for the existence of a simple pole this converse is already new. One difficulty to prove such a result comes from the use of the formal completion in f of the Brieskorn module of the holomorphic germ f\,: (Cn+1 ,0) $\rightarrow$(C,0) which does not give access to the cohomology of the Milnor's fiber of f, which by definition, is outside {f = 0}. This leads to introduce generalized Brieskorn modules (convergent geometric (a,b)-modules) which allow this passage. The first aim of this part I is to give a solid basis of the theory of convergent (a,b)-modules. In order to take in account Jordan blocs of the monodromy in our results we introduce the semi-simple filtration of a generalized Brieskorn module (convergent (a,b)-module) and we shall use it to define in part II the higher order Bernstein polynomials in this context. They correspond to a decomposition of the ``standard'' Bernstein polynomial of a generalized Brieskorn module, taking in account the nilpotent order of the monodromy. In this part I we obtain also a full description of generalized Brieskorn-modules in terms of (convergent) asymptotics expansions of Nilsson class which will be used as a starting point in part II. We conclude this part I by making explicite the relationship between the semi-simple filtration of a generalized Brieskorn module E and the nilpotent filtration of the monodromy on its saturation E___ .

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

0 major / 3 minor

Summary. This manuscript, the first of three papers, develops the theory of generalized convergent Brieskorn modules (also called generalized (a,b)-modules) to overcome the limitation that the formal completion in f of the classical Brieskorn module does not access the cohomology of the Milnor fiber outside V(f). It provides a full description of these modules via convergent asymptotic expansions of Nilsson class, introduces the semi-simple filtration to incorporate Jordan blocks of the monodromy, and explicitly relates this filtration to the nilpotent filtration on the saturation. The setup is intended as the foundation for defining higher-order Bernstein polynomials in part II and proving a converse to a prior result on the existence of multiple poles for distributions associated to powers of f.

Significance. If the constructions and the claimed full description hold, the work supplies a concrete analytic framework for generalized Brieskorn modules that directly addresses a gap in accessing Milnor-fiber data. The semi-simple filtration and its relation to the nilpotent filtration on the saturation enable a decomposition of the Bernstein polynomial that tracks nilpotent orders, which is load-bearing for the planned converse result on pole orders. This extends standard Brieskorn-module theory in a manner that could support new results on singularities and D-modules.

minor comments (3)
  1. [Introduction / §1] The abstract states that the formal completion 'does not give access to the cohomology of the Milnor fiber of f, which by definition is outside the zero set of f.' A brief reminder in §1 or the introduction of how the generalized module precisely remedies this (e.g., via the explicit saturation construction) would improve readability for readers familiar only with classical Brieskorn modules.
  2. [Conclusion] The claim of a 'full description' of generalized Brieskorn modules via Nilsson-class expansions is central; the manuscript should include a short table or diagram in the final section summarizing the correspondence between the module data, the expansions, and the filtrations to make the relationship immediately verifiable.
  3. Notation for the semi-simple filtration and the nilpotent filtration on the saturation is introduced without an early comparison table; adding one (even a one-page summary) would help readers track the relationship stated at the end of the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work on convergent generalized Brieskorn modules. The recommendation of minor revision is noted. No specific major comments were listed in the report, so we have no individual points to address at this stage. We remain available to incorporate any additional feedback if provided.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

This is a foundational setup paper defining generalized Brieskorn modules as an extension of standard Brieskorn-module theory to access Milnor-fiber cohomology outside V(f). The claimed full description in terms of convergent asymptotic expansions of Nilsson class is presented as a direct constructive result used as input for part II, with no equations or steps shown to reduce by construction to fitted parameters, self-definitions, or unverified self-citations. The reference to the author's prior paper is only for the larger three-paper program goal of proving a converse; it is not load-bearing for any derivation or uniqueness claim inside part I itself. The semi-simple filtration is introduced explicitly to track Jordan blocks and is related to the nilpotent filtration on the saturation by explicit construction, without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper relies on standard background from singularity theory and D-module theory. No free parameters are introduced. The central new objects (generalized modules, semi-simple filtration) are defined rather than postulated as entities with independent evidence.

axioms (1)
  • domain assumption The formal completion in f of the Brieskorn module does not give access to the cohomology of the Milnor fiber outside the zero set of f.
    Stated explicitly in the abstract as the difficulty motivating the generalized modules.
invented entities (2)
  • generalized Brieskorn module no independent evidence
    purpose: To allow passage to the cohomology of the Milnor fiber outside the zero set of f.
    New object introduced to overcome the limitation of standard formal completions.
  • semi-simple filtration of a generalized Brieskorn module no independent evidence
    purpose: To take into account Jordan blocks of the monodromy when defining higher-order Bernstein polynomials.
    New filtration introduced for handling nilpotent orders.

pith-pipeline@v0.9.0 · 5848 in / 1522 out tokens · 23841 ms · 2026-05-24T07:26:52.417385+00:00 · methodology

discussion (0)

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