Filtrations of D-modules along semi-invariant functions

Andr\'as C. L\H{o}rincz; Ruijie Yang

arxiv: 2504.19383 · v3 · pith:473S45FPnew · submitted 2025-04-27 · 🧮 math.AG · math.AC· math.RT

Filtrations of D-modules along semi-invariant functions

Andr\'as C. L\H{o}rincz , Ruijie Yang This is my paper

Pith reviewed 2026-05-22 18:04 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.RT

keywords D-modulesfiltrationsb-functionssemi-invariant functionstwistor D-modulesHodge modulesspherical varietiesmultiplier ideals

0 comments

The pith

Weight levels in localized equivariant D-modules are fixed by multiplicities of roots in associated b-functions.

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

When a D-module M arises as the localization of an underlying pure twistor D-module along a semi-invariant function, the weight level of any element in an irreducible isotypic component is determined directly from the multiplicities of the roots of the b-function. A parallel result holds for the Hodge level when the original module underlies a pure Hodge module, with the level read from degrees of another family of polynomials built from the same b-functions. On affine spherical varieties the same data yield representation-theoretic descriptions of the full V-, Hodge, and weight filtrations together with explicit formulas for all higher multiplier and Hodge ideals attached to semi-invariant functions. These statements connect the representation theory of the reductive group action to the concrete structure of the filtrations on the localized module.

Core claim

If M is the localization of a D-module S underlying a pure twistor D-module along a semi-invariant function, the weight level of any element in an irreducible isotypic component of M is determined in terms of multiplicities of roots of b-functions. If S underlies a pure Hodge module, the Hodge level is governed by the degrees of another class of polynomials, also expressible in terms of b-functions. For an affine spherical variety these filtrations admit representation-theoretic descriptions in terms of roots of b-functions, and all higher multiplier and Hodge ideals associated with semi-invariant functions are computed explicitly.

What carries the argument

The b-function of the semi-invariant function, whose root multiplicities control the weight (and, via related polynomials, the Hodge) levels in the isotypic components of the localized module.

If this is right

On affine spherical varieties the V-, Hodge, and weight filtrations of the localized module admit explicit descriptions in terms of the roots of b-functions.
All higher multiplier ideals and Hodge ideals attached to semi-invariant functions become computable from b-function data alone.
The results apply verbatim to the spaces of general, skew-symmetric, and symmetric matrices and to the Freudenthal cubic on the fundamental representation of E6.

Where Pith is reading between the lines

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

The same b-function data may furnish filtration information for a wider class of equivariant D-modules once the purity hypothesis is relaxed.
The explicit ideal computations could be compared with known formulas for multiplier ideals of hypersurface singularities in representation-theoretic settings.
Verification on low-dimensional spherical varieties would test whether the weight-level formula continues to hold when the semi-invariant is replaced by a more general regular function.

Load-bearing premise

The D-module must arise as the localization of one that underlies a pure twistor D-module or pure Hodge module on a variety carrying a connected reductive group action that admits semi-invariant functions.

What would settle it

Direct computation of the weight filtration levels on the localization of a simple D-module along a semi-invariant function in one of the matrix-space examples, followed by checking whether those levels match the listed root multiplicities of the corresponding b-function.

read the original abstract

Given a smooth algebraic variety X with an action of a connected reductive linear algebraic group G, and an equivariant D-module M, we study the G-decompositions of the associated V-, Hodge, and weight filtrations. If M is the localization of a D-module S underlying a pure twistor D-module (e.g. when S is simple) along a semi-invariant function, we determine the weight level of any element in an irreducible isotypic component of M in terms of multiplicities of roots of b-functions. If S underlies a pure Hodge module, we show that the Hodge level is governed by the degrees of another class of polynomials, also expressible in terms of b-functions. As an application, if X is an affine spherical variety, we describe these filtrations representation-theoretically in terms of roots of b-functions, and compute all higher multiplier and Hodge ideals associated with semi-invariant functions. Examples include the spaces of general, skew-symmetric, and symmetric matrices, as well as the Freudenthal cubic on the fundamental representation of E_6.

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

The paper determines weight levels in localized equivariant D-modules from b-function root multiplicities when the module comes from a pure twistor D-module, and gives similar control for Hodge levels, with explicit computations on spherical varieties.

read the letter

The main result is that if you localize a D-module underlying a pure twistor D-module along a semi-invariant, the weight level of any element in an irreducible G-isotypic component is fixed by the multiplicities of the b-function roots. They get an analogous statement for Hodge levels using degrees of another family of polynomials tied to b-functions. On affine spherical varieties this turns into a representation-theoretic description of the filtrations and lets them compute the higher multiplier and Hodge ideals for the semi-invariants. Examples cover matrix spaces and the E6 Freudenthal cubic. These concrete calculations are the part that could actually be used by people working with those varieties. The logic rests on standard properties of V-filtrations for equivariant D-modules, so the chain from purity to the level formulas looks direct. The purity assumption is stated clearly and is needed for the level statements to hold; without it the results do not apply. That is a real limitation on scope but not a flaw in the argument itself. The paper is aimed at specialists in D-modules and algebraic geometry who already care about group actions, spherical varieties, and explicit filtration data. Someone computing with b-functions or Hodge structures on these spaces would find usable tools here. It deserves a serious referee because the claims are precise, the examples give a check, and the derivations can be examined in detail.

Referee Report

1 major / 2 minor

Summary. The manuscript examines G-decompositions of the V-, Hodge, and weight filtrations on equivariant D-modules M over a smooth variety X equipped with an action of a connected reductive group G. When M arises as the localization of a D-module S underlying a pure twistor D-module along a semi-invariant function, the weight level of any element in an irreducible isotypic component is expressed in terms of the multiplicities of roots of the associated b-functions. An analogous statement holds for Hodge levels when S underlies a pure Hodge module, using degrees of a related class of polynomials also derived from b-functions. The results are applied to affine spherical varieties to give representation-theoretic descriptions of the filtrations and to compute all higher multiplier ideals and Hodge ideals attached to semi-invariant functions, with explicit examples on spaces of matrices and the Freudenthal cubic.

Significance. If the central claims hold, the work supplies explicit, computable expressions for filtration levels and ideals directly from b-function data, which is a concrete advance for the study of equivariant D-modules and Hodge modules on varieties with reductive group actions. The specialization to spherical varieties and the worked examples on matrix spaces and the E6 representation provide immediate applicability and verifiable test cases.

major comments (1)

[§3, Theorem 3.5] §3, Theorem 3.5: the reduction of the weight-level formula to root multiplicities of the b-function assumes that the V-filtration commutes with the G-isotypic decomposition in the localized module; the proof sketch does not explicitly verify that the semi-invariant localization preserves the purity hypothesis without introducing extra graded pieces.

minor comments (2)

Notation for the two classes of polynomials (b-functions versus the auxiliary polynomials for Hodge levels) is introduced without a dedicated comparison table; adding one would clarify the distinction for readers.
[Application section] In the spherical-variety application, the statement that all higher multiplier ideals are computed should include a brief remark on the finiteness of the relevant root multiplicities.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for the careful reading and the recommendation for minor revision. We address the single major comment below.

read point-by-point responses

Referee: [§3, Theorem 3.5] §3, Theorem 3.5: the reduction of the weight-level formula to root multiplicities of the b-function assumes that the V-filtration commutes with the G-isotypic decomposition in the localized module; the proof sketch does not explicitly verify that the semi-invariant localization preserves the purity hypothesis without introducing extra graded pieces.

Authors: We thank the referee for this observation. The argument in Theorem 3.5 relies on the fact that, for a semi-invariant function f, the localization M = S_f of a pure twistor D-module S preserves both purity and the commutation of the V-filtration with the G-isotypic decomposition. This holds because the semi-invariance of f ensures that the localization morphism is G-equivariant and that the roots of the b-function determine the filtration jumps without introducing extraneous graded pieces; any such piece would contradict the minimality of the b-function in the equivariant setting. To make the verification fully explicit, we will insert a short additional paragraph (or lemma) immediately preceding the proof of Theorem 3.5 in the revised manuscript, spelling out the G-equivariance of the localized V-filtration and confirming that no extra graded pieces arise. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on standard D-module theory

full rationale

The manuscript conditions its main results on M being the localization of a pure twistor D-module (or pure Hodge module) along a semi-invariant, then expresses weight/Hodge levels via root multiplicities of b-functions and related polynomials. These b-functions are independently defined objects in the theory of D-modules on varieties with group actions; the paper invokes their standard properties (V-filtration compatibility, equivariance) rather than fitting them to the target data or deriving them from the claimed output. The spherical-variety application is obtained by direct specialization of the same b-function data. No equation reduces by construction to a fitted parameter renamed as prediction, and no load-bearing step collapses to a self-citation whose content is itself unverified or defined in terms of the present result. The derivation is therefore self-contained against external benchmarks in algebraic D-module theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claims rest on standard domain assumptions from D-module theory and the theory of b-functions; no free parameters or new invented entities are introduced in the abstract.

axioms (1)

domain assumption Standard properties of V-filtrations, Hodge filtrations, weight filtrations, and b-functions on equivariant D-modules
These are invoked to relate filtration levels to roots and degrees of b-functions.

pith-pipeline@v0.9.0 · 5726 in / 1300 out tokens · 87606 ms · 2026-05-22T18:04:44.988715+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

If M is the localization of a D-module S underlying a pure twistor D-module along a semi-invariant function, we determine the weight level of any element in an irreducible isotypic component of M in terms of multiplicities of roots of b-functions.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

V αι+M is (weakly) G-equivariant for all α

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.