Invariants of formal pseudodifferential operator algebras and algebraic modular forms
Pith reviewed 2026-05-24 23:14 UTC · model grok-4.3
The pith
Invariant operators of order at least k in a pseudodifferential algebra correspond linearly to the product of algebraic modular form spaces of weights at least k.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any nonnegative integer k there is a linear isomorphism between the subspace C_k^Γ of invariant operators of order ≥k in C^Γ and the product space M_k = ∏_{j≥k} M_j of algebraic modular forms of weight j, which can be identified with a space of algebraic Jacobi forms of weight k; this yields in particular an algebra isomorphism Ψ: M_0 → C_0^Γ extending the even-weight case known in the literature.
What carries the argument
The compatibility condition between the group action and the derivation d that is necessary and sufficient for the extensions of the action to B and C to exist, together with the resulting algebra isomorphism Ψ.
Load-bearing premise
The group action must satisfy a compatibility condition with the derivation d for the extension to the operator rings to exist, and the invariant subalgebras must be Laurent series rings over the invariants of the base ring.
What would settle it
Construct an explicit subgroup Γ of SL(2,C) and a concrete basis element of the product space of modular forms for which the proposed linear map to invariant operators fails to be injective or surjective.
read the original abstract
We study from an algebraic point of view the question of extending an action of a group \(\Gamma\) on a commutative domain \(R\) to a formal pseudodifferential operator ring \(B=R(\!(x\,;\,d)\!)\) with coefficients in \(R\), as well as to some canonical quadratic extension \(C=R(\!(x^{1/2}\,;\,\frac 12 d)\!)_2\) of \(B\). We give a necessary and sufficient condition of compatibility between the action and the derivation $d$ of $R$ for such an extension to exist, and we determine all possible extensions of the action to \(B\) and \(C\). We describe under suitable assumptions the invariant subalgebras \(B^\Gamma\) and \(C^\Gamma\) as Laurent series rings with coefficients in \(R^\Gamma\). The main results of this general study are applied in a numbertheoretical context to the case where \(\Gamma\) is a subgroup of \({\rm SL}(2,\C)\) acting by homographies on an algebra \(R\) of functions in one complex variable. Denoting by \(M_j\) the vector space of algebraic modular forms in $R$ of weight \(j\) (even or odd), we build for any nonnegative integer \(k\) a linear isomorphism between the subspace \(C_k^\Gamma\) of invariant operators of order \(\geq k\) in \(C^\Gamma\) and the product space \(\mathcal{M}_k=\prod_{j\geq k}M_j\), which can be identified with a space of algebraic Jacobi forms of weight \(k\). It results in particular a structure of noncommutative algebra on \(\mathcal M_0\) and an algebra isomorphism \(\Psi:\mathcal M_0\to C_0^\Gamma\), whose restriction to the particular case of even weights was previously known in the litterature. We study properties of this correspondence combining arithmetical arguments and the use of the algebraic results of the first part of the article.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a general algebraic framework for extending a group Γ-action on a commutative domain R to the formal pseudodifferential operator ring B = R((x; d)) and its quadratic extension C = R((x^{1/2}; (1/2)d))_2. It gives a necessary and sufficient compatibility condition between the action and the derivation d for such extensions to exist, determines all possible extensions, and shows that under suitable assumptions the invariant subalgebras B^Γ and C^Γ are Laurent series rings over R^Γ. These results are applied to subgroups Γ ≤ SL(2,ℂ) acting by homographies on algebras R of functions in one variable. For each nonnegative integer k the paper constructs a linear isomorphism between the subspace C_k^Γ of invariant operators of order ≥k in C^Γ and the product space ℳ_k = ∏_{j≥k} M_j of algebraic modular forms of weight j (even or odd), which is identified with a space of algebraic Jacobi forms of weight k. This yields in particular a noncommutative algebra structure on ℳ_0 and an algebra isomorphism Ψ: ℳ_0 → C_0^Γ extending the known even-weight case.
Significance. If the central claims hold, the work supplies an algebraic bridge between invariants of pseudodifferential operator algebras and spaces of algebraic modular forms, endowing the latter with a noncommutative multiplication via Ψ and relating them to algebraic Jacobi forms. The general theory of action extensions and the explicit compatibility condition constitute reusable tools that could apply to other group actions on differential operator rings. The combination of algebraic constructions with arithmetical arguments to realize the isomorphisms is a concrete strength.
major comments (2)
- [number-theoretic application] Application section (number-theoretic case): the necessary and sufficient compatibility condition between the Γ-action and the derivation d is stated as the foundation for extending the action to C, yet the manuscript invokes unspecified 'arithmetical arguments' to assert that the condition holds for the homography action without exhibiting the explicit verification that the action commutes appropriately with d on the chosen algebra R. Because this verification is load-bearing for the existence of C^Γ and therefore for the definition of the subspaces C_k^Γ and the isomorphisms to ℳ_k, the central claims rest on an unshown step.
- [invariant subalgebras] § on invariant subalgebras: the description of B^Γ and C^Γ as Laurent series rings over R^Γ is stated to hold 'under suitable assumptions,' but the manuscript does not list or verify these assumptions in the number-theoretic setting (e.g., whether R^Γ is a domain, completeness conditions, or the precise form of the action). Without this, the identification of C_k^Γ with the product of modular-form spaces cannot be rigorously transferred from the general algebraic results.
minor comments (2)
- Notation for the quadratic extension C is introduced as R((x^{1/2}; (1/2)d))_2; a brief reminder of the precise definition of the subscript 2 would improve readability for readers outside the immediate area.
- The abstract refers to 'the even-weight case known in the literature' without a specific citation; adding the reference in the introduction would clarify the novelty of the odd-weight extension.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for highlighting points where additional explicit verification would improve the exposition. We respond to each major comment below.
read point-by-point responses
-
Referee: [number-theoretic application] Application section (number-theoretic case): the necessary and sufficient compatibility condition between the Γ-action and the derivation d is stated as the foundation for extending the action to C, yet the manuscript invokes unspecified 'arithmetical arguments' to assert that the condition holds for the homography action without exhibiting the explicit verification that the action commutes appropriately with d on the chosen algebra R. Because this verification is load-bearing for the existence of C^Γ and therefore for the definition of the subspaces C_k^Γ and the isomorphisms to ℳ_k, the central claims rest on an unshown step.
Authors: We agree that the explicit verification of the compatibility condition for the homography action of Γ on R was not provided in sufficient detail. The manuscript refers to arithmetical arguments, but a direct computation is needed to confirm that the action preserves the derivation d in the required sense. In the revised version we will insert an explicit verification in the application section, computing the action on generators of R and confirming the compatibility relation holds by the transformation law of the functions under homographies. revision: yes
-
Referee: [invariant subalgebras] § on invariant subalgebras: the description of B^Γ and C^Γ as Laurent series rings over R^Γ is stated to hold 'under suitable assumptions,' but the manuscript does not list or verify these assumptions in the number-theoretic setting (e.g., whether R^Γ is a domain, completeness conditions, or the precise form of the action). Without this, the identification of C_k^Γ with the product of modular-form spaces cannot be rigorously transferred from the general algebraic results.
Authors: The general algebraic results state the assumptions explicitly (R a commutative domain, the action by d-compatible automorphisms, R^Γ likewise a domain, and suitable completeness of the Laurent series topology). In the number-theoretic case these hold for the chosen R (an algebra of algebraic or meromorphic functions in one variable) and the homography action. We will add a short paragraph in the application section that recalls the assumptions from the general theory and verifies they are satisfied for this R and Γ, thereby justifying the transfer of the isomorphism. revision: yes
Circularity Check
Minor self-citation to prior even-weight case; central isomorphisms independently constructed
full rationale
The paper first derives general algebraic results: a necessary and sufficient compatibility condition between a group action and the derivation d, all possible extensions to B and C, and (under suitable assumptions) the description of B^Γ and C^Γ as Laurent series rings over R^Γ. These are then applied in the number-theoretic setting to Γ ≤ SL(2,ℂ) acting by homographies, yielding the linear isomorphisms C_k^Γ ≅ ∏_{j≥k} M_j and the algebra isomorphism Ψ: M_0 → C_0^Γ via separate arithmetical arguments. The sole reference to prior literature is the statement that the even-weight restriction of Ψ was already known; this is a minor non-load-bearing self-citation and does not reduce the new claims (including odd weights) to a self-referential definition or fitted input. No equations or constructions in the abstract or described chain exhibit circular reduction.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption R is a commutative domain equipped with a derivation d
- domain assumption Γ acts on R by automorphisms compatible with d under the stated condition
- domain assumption Γ is a subgroup of SL(2,C) acting by homographies on an algebra R of functions in one complex variable
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.