Geometrization of the Schr\"odinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting

Aaron Slipper

arxiv: 2604.11023 · v1 · submitted 2026-04-13 · 🧮 math.RT · math.NT· math.RA

Geometrization of the Schr\"odinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting

Aaron Slipper This is my paper

Pith reviewed 2026-05-10 15:55 UTC · model grok-4.3

classification 🧮 math.RT math.NTmath.RA

keywords D-modulesminimal representationconformal groupisotropic coneflag varietyGrothendieck algebraKazhdan-Laumon categoryorthogonal group

0 comments

The pith

Three D-module categories are equivalent and each models the minimal representation of the conformal group of an even quadratic space.

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

The paper constructs three geometric models for the minimal representation of the conformal group G of an even-dimensional quadratic space V over a field of characteristic zero. It proves an equivalence between the category of modules over the Grothendieck differential operator algebra D_C on the isotropic cone C, a Kazhdan-Laumon glued category on the smooth locus of C, and the category of harmonic twisted D-modules on the flag variety G/P. The argument includes a geometric demonstration that D_C is finitely generated despite the singularity of C, the construction of a quadric Fourier transform on D_C, and an explanation of the quasi-classical analogue of the representation.

Core claim

We construct and compare three D-module models for the minimal representation of the conformal group of an even-dimensional quadratic space. We prove an equivalence between the category of modules over the Grothendieck differential operator algebra D_C, a Kazhdan-Laumon glued category attached to the smooth locus of the cone, and a category of 'harmonic' twisted D-modules on a flag variety G/P. Along the way we construct a quadric Fourier transform on D_C, provide a geometric proof that the algebra D_C is finitely generated despite the singularity of C, and explain the quasi-classical analogue of this minimal representation.

What carries the argument

The Grothendieck differential operator algebra D_C on the isotropic cone C, which carries one model and through whose modules the equivalences to the glued category and the harmonic twisted D-modules on G/P are established.

If this is right

The minimal representation admits equivalent realizations as D_C-modules, as objects in the glued category, and as harmonic twisted D-modules on G/P.
The algebra D_C remains finitely generated even though C is singular.
A quadric Fourier transform exists as an operation on D_C.
The quasi-classical limit of the minimal representation is realized by the associated graded structure of these models.

Where Pith is reading between the lines

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

Properties established in one of the three categories transfer directly to the others via the equivalences.
The geometric proof of finite generation may suggest similar arguments for differential operator algebras on other singular quadratic cones.

Load-bearing premise

The base field has characteristic zero and the singularity of the isotropic cone admits a geometric treatment that permits the definition of D_C and the stated category equivalences.

What would settle it

A concrete even-dimensional quadratic space for which the category of D_C-modules fails to be equivalent to the category of harmonic twisted D-modules on G/P.

read the original abstract

We construct and compare three D-module models for the minimal representation of the conformal group of an even-dimensional quadratic space. Let $V$ be a quadratic space over a field $\kappa$ of characteristic $0$, let $C$ be the isotropic cone in $V^*$, and let $G$ be the conformal group of $V$. We prove an equivalence between the category of modules over the Grothendieck differential operator algebra $D_C$, a Kazhdan--Laumon glued category attached to the smooth locus of the cone, and a category of "harmonic" twisted D-modules on a flag variety $G/P$. Along the way, we construct a quadric Fourier transform on $D_C$, provide a geometric proof that the algebra $D_C$ is finitely generated despite the singularity of $C$, and explain the quasi-classical analogue of this minimal representation.

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

Slipper gives a geometric equivalence of three D-module categories for the minimal representation of even orthogonal groups, plus a quadric Fourier transform and a direct proof that D_C is finitely generated on the singular cone.

read the letter

This paper gives a geometric treatment of the Schrödinger model for the minimal representation of the conformal group attached to an even-dimensional quadratic space. It proves an equivalence between the category of D_C-modules on the isotropic cone, a Kazhdan-Laumon category on the smooth part, and harmonic twisted D-modules on G/P. It also introduces a quadric Fourier transform and proves that D_C is finitely generated using geometric methods without blowing up the singularity. The quasi-classical limit is sketched as well. The assumptions are the usual ones: characteristic zero and even dimension. What stands out is the direct handling of the singular cone and the clean comparison of the three models. The finite-generation argument is presented geometrically, which keeps the construction inside the de Rham category and avoids extra algebraic machinery. The equivalences organize existing ideas in a way that could make comparisons with theta correspondences easier for people already in this area. The soft spots are not load-bearing. The work stays strictly in the de Rham setting, so there is no discussion of p-adic or arithmetic lifts that often come next. The precise definitions of the glued category and the harmonic condition will need careful checking in the proofs, and a referee might reasonably ask for more explicit comparison with earlier D-module constructions of minimal representations. No circularity or post-hoc fitting appears in the claims. This is for specialists already working with D-modules on cones, flag varieties, and minimal representations. A reader focused on geometric models for automorphic forms or Fourier transforms in this setting will find the constructions useful for organizing the literature. It is concrete enough to deserve a serious referee, as the results are specific and the methods are checkable against standard techniques in the field. I would send it out for review.

Referee Report

0 major / 3 minor

Summary. The paper constructs three D-module models for the minimal representation of the conformal group of an even-dimensional quadratic space V over a field κ of characteristic zero. It proves equivalences between the category of modules over the Grothendieck differential operator algebra D_C on the isotropic cone C, a Kazhdan-Laumon glued category on the smooth locus of C, and the category of 'harmonic' twisted D-modules on the flag variety G/P. Along the way, it constructs a quadric Fourier transform on D_C, gives a geometric proof that D_C is finitely generated despite the singularity of C, and discusses the quasi-classical analogue of this minimal representation.

Significance. If the equivalences and constructions hold, the work provides a coherent geometric framework for realizing minimal representations in the de Rham setting, successfully handling the singular isotropic cone via geometric methods rather than ad-hoc resolutions. The finite-generation result for D_C and the quadric Fourier transform are concrete technical advances that could enable further applications in geometric representation theory and D-module theory on singular varieties. The quasi-classical discussion strengthens the paper by linking the constructions to classical limits.

minor comments (3)

The introduction should include a brief comparison table or diagram summarizing the three equivalent categories and the functors realizing the equivalences, to help readers track the main results.
Notation for the 'harmonic' condition on twisted D-modules on G/P is introduced in the abstract but would benefit from an explicit definition or reference to its precise meaning in the first section where it appears.
The geometric proof of finite generation of D_C is highlighted as a contribution; a short outline of the key geometric steps (e.g., which resolution or stratification is used) could be added to the introduction for accessibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript on the geometrization of the Schrödinger model for the minimal representation in the de Rham setting. The recommendation for minor revision is noted, and we will incorporate any suggested improvements. No major comments were listed in the report, so we have no specific points to address point-by-point.

Circularity Check

0 steps flagged

No significant circularity in constructions or equivalences

full rationale

The paper constructs three equivalent D-module categories (modules over D_C on the isotropic cone, Kazhdan-Laumon glued category on its smooth locus, and harmonic twisted D-modules on G/P), a quadric Fourier transform, and a geometric proof of finite generation of D_C. These are direct mathematical constructions and category equivalences under standard assumptions (char 0, even-dimensional quadratic space). No load-bearing step reduces by definition, fitted input, or self-citation chain to its own inputs; the claims are self-contained geometric proofs without renaming known results or smuggling ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard background assumptions of algebraic geometry and representation theory over characteristic-zero fields; no free parameters, new postulated entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

domain assumption The base field κ has characteristic zero
Required for the theory of D-modules and algebraic groups over V.
domain assumption V is an even-dimensional quadratic space
Needed to define the conformal group G and the minimal representation setup.

pith-pipeline@v0.9.0 · 5456 in / 1339 out tokens · 54760 ms · 2026-05-10T15:55:36.090534+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

Braverman and D

45 [BK00] A. Braverman and D. Kazhdan.γ-functions of representations and lifting.Geom. Funct. Anal., Special Volume(Part I):237–278, 2000. With an appendix by V. Vologodsky, GAFA 2000 (Tel Aviv, 1999). 3 [BK02] A. Braverman and D. Kazhdan. Normalized intertwining operators and nilpotent elements in the Langlands dual group.Mosc. Math. J., 2(3):533–553, 20...

work page arXiv 2000
[2]

Gluing of perverse sheaves on the basic affine space.Selecta Mathematica

4, 8 [Pol01] Alexander Polishchuk. Gluing of perverse sheaves on the basic affine space.Selecta Mathematica. New Series, 7(1):83– 147, 2001. With an appendix by Roman Bezrukavnikov and the author. 5, 26, 29, 30 [Pra93] Dipendra Prasad. Weil representation, howe duality, and the theta correspondence. In M. Ram Murty, editor,Theta Functions: From the Classi...

work page 2001
[3]

Spherical varieties, functoriality, and quantization

3 [Sak23] Yiannis Sakellaridis. Spherical varieties, functoriality, and quantization. In Dmitry Beliaev and Stanislav Smirnov, editors,Proceedings of the International Congress of Mathematicians (ICM 2022), volume IV, pages 2998–3037, Berlin, 2023. EMS Press. 3 [Sha74] N. N. Shapovalov. Structure of the algebra of regular differential operators on a basic...

work page 2022

[1] [1]

Braverman and D

45 [BK00] A. Braverman and D. Kazhdan.γ-functions of representations and lifting.Geom. Funct. Anal., Special Volume(Part I):237–278, 2000. With an appendix by V. Vologodsky, GAFA 2000 (Tel Aviv, 1999). 3 [BK02] A. Braverman and D. Kazhdan. Normalized intertwining operators and nilpotent elements in the Langlands dual group.Mosc. Math. J., 2(3):533–553, 20...

work page arXiv 2000

[2] [2]

Gluing of perverse sheaves on the basic affine space.Selecta Mathematica

4, 8 [Pol01] Alexander Polishchuk. Gluing of perverse sheaves on the basic affine space.Selecta Mathematica. New Series, 7(1):83– 147, 2001. With an appendix by Roman Bezrukavnikov and the author. 5, 26, 29, 30 [Pra93] Dipendra Prasad. Weil representation, howe duality, and the theta correspondence. In M. Ram Murty, editor,Theta Functions: From the Classi...

work page 2001

[3] [3]

Spherical varieties, functoriality, and quantization

3 [Sak23] Yiannis Sakellaridis. Spherical varieties, functoriality, and quantization. In Dmitry Beliaev and Stanislav Smirnov, editors,Proceedings of the International Congress of Mathematicians (ICM 2022), volume IV, pages 2998–3037, Berlin, 2023. EMS Press. 3 [Sha74] N. N. Shapovalov. Structure of the algebra of regular differential operators on a basic...

work page 2022