pith. sign in

arxiv: 2604.07719 · v1 · submitted 2026-04-09 · 🧮 math.RT · math.NT

L-modules are mixed

Leslie Saper This is my paper

Pith reviewed 2026-05-10 18:24 UTC · model grok-4.3

classification 🧮 math.RT math.NT
keywords L-modulesweighted cohomologyintersection cohomologyreductive Borel-Serre compactificationlocally symmetric spacesarithmetic groupsmapping conesweak micro-support
0
0 comments X

The pith

Any L-module on the reductive Borel-Serre compactification decomposes as an iterated mapping cone of shifted weighted cohomology modules on the strata, indexed by its weak micro-support.

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

The paper shows that L-modules, defined as combinatorial models for constructible complexes of sheaves on the reductive Borel-Serre compactification of a locally symmetric space, admit a canonical decomposition. Each such module is built by successively attaching or detaching shifted copies of weighted cohomology L-modules supported on individual strata, with coefficients in irreducible regular modules for the corresponding Levi factors. The copies that appear are determined up to multiplicity by the elements of the weak micro-support, a local invariant attached to the module that can be read off from data near each stratum. This decomposition immediately yields an isomorphism between intersection cohomology and weighted cohomology of the compactification in all cases except those arising from Q-types D, E, and F.

Core claim

Any L-module M is mixed in the sense it is an iterated mapping cone of maps to or from shifted weighted cohomology L-modules on strata X_P of the compactification with coefficients in V, an irreducible regular L_P-module. These weighted cohomology building blocks are indexed up to multiplicity by the V appearing in the weak micro-support of M, which is a computable local invariant. As an application, the intersection cohomology of the compactification is isomorphic to the weighted cohomology of the compactification, at least excluding Q-types D, E, and F.

What carries the argument

The iterated mapping cone construction that assembles an arbitrary L-module from shifted weighted cohomology L-modules on the strata, with the choice of summands governed by the weak micro-support.

If this is right

  • Intersection cohomology of the reductive Borel-Serre compactification equals weighted cohomology for all but a short list of excluded root-system types.
  • Global cohomology groups of L-modules can be computed by reducing to local data on each stratum via the weak micro-support.
  • The same decomposition applies to any constructible complex modeled by an L-module, not merely to the constant sheaf.
  • Weighted cohomology on strata supplies explicit generators and relations for the cohomology of the whole compactification.

Where Pith is reading between the lines

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

  • The mixing property may make it feasible to compute intersection cohomology of arithmetic quotients by a finite algorithm that only inspects local data at parabolic subgroups.
  • Similar iterated-cone decompositions could be sought for L-modules on other compactifications, such as the toroidal or Baily-Borel compactifications, once analogous local invariants are defined.
  • The exceptional status of types D, E, and F is likely an artifact of current proof techniques rather than a genuine obstruction, suggesting that a uniform statement holds after additional case-by-case verification.

Load-bearing premise

L-modules are faithfully modeled by the given combinatorial data for constructible complexes on the reductive Borel-Serre compactification, and the weak micro-support is a well-defined, computable local invariant of each such module.

What would settle it

An explicit L-module on a specific arithmetic quotient whose weak micro-support predicts a certain collection of weighted cohomology summands, yet whose global cohomology fails to match the cohomology obtained by performing the predicted iterated mapping cones.

read the original abstract

Let X be the locally symmetric space associated to a reductive $\mathbb Q$-group G and an arithmetic subgroup $\Gamma$. An L-module M is a combinatorial model of a constructible complex of sheaves on $\widehat X$, the reductive Borel-Serre compactification of X whose strata $X_P$ are indexed by $\Gamma$-conjugacy classes of parabolic $\mathbb Q$-subgroups P of G. We show that any L-module M is "mixed" in the sense it is an iterated mapping cone of maps to or from shifted weighted cohomology L-modules on strata $X_P$ of $\widehat X$ with coefficients in V, an irreducible regular $L_P$-module. These weighted cohomology "building blocks" are indexed (up to multiplicity) by V in the weak micro-support of M which is a computable local invariant. As an application we prove that the intersection cohomology of $\widehat X$ is isomorphic to the weighted cohomology of $\widehat X$, at least excluding $\mathbb Q$-types D, E, and F.

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 / 2 minor

Summary. The paper claims that L-modules, combinatorial models for constructible complexes of sheaves on the reductive Borel-Serre compactificationwidehat X of a locally symmetric space X associated to a reductive Q-group G and arithmetic subgroup Γ, are 'mixed': any such M is an iterated mapping cone of maps to or from shifted weighted cohomology L-modules on the strata X_P with coefficients in irreducible regular L_P-modules V. These building blocks are indexed (up to multiplicity) by the V appearing in the weak micro-support of M, a computable local invariant. As an application, the intersection cohomology ofwidehat X is shown to be isomorphic to the weighted cohomology ofwidehat X, excluding Q-types D, E, and F.

Significance. If the central decomposition holds, the result supplies a structural description of L-modules in terms of weighted cohomology building blocks determined by a local invariant, which could streamline computations involving constructible sheaves on reductive Borel-Serre compactifications and the cohomology of arithmetic groups. The isomorphism between intersection and weighted cohomology (outside the excluded types) equates two a priori distinct functors on these spaces and may simplify arguments in the representation theory of reductive groups over Q. The combinatorial nature of the argument, relying only on the stratification by parabolic Q-subgroups and the regularity of coefficient modules, is a strength.

minor comments (2)
  1. The abstract states the main theorem and application but does not indicate where in the manuscript the key steps of the iterated mapping-cone construction are carried out; a sentence pointing to the relevant section would improve readability.
  2. The exclusion of Q-types D, E, and F is noted without a brief indication of the root-system or multiplicity obstruction that arises in those cases; adding one sentence in the introduction would clarify the scope without lengthening the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for recognizing the potential utility of the combinatorial description of L-modules and the resulting isomorphism between intersection and weighted cohomology (outside the excluded types). The referee's assessment correctly reflects the main theorem and its application. No specific major comments or criticisms appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation follows from definitions

full rationale

The central claim decomposes any L-module M as an iterated mapping cone of shifted weighted-cohomology building blocks indexed by the weak micro-support. This follows directly from the combinatorial definition of L-modules as models for constructible sheaves on the reductive Borel-Serre compactification, the stratification by parabolic Q-subgroups, and the local computability of the micro-support as an invariant of the coefficient modules V. The isomorphism between intersection cohomology and weighted cohomology is then obtained by agreement on these building blocks, with explicit exclusions for Q-types D, E, F where root-system multiplicities are undefined. No step reduces by construction to a fitted input, self-citation chain, or renamed ansatz; the argument is self-contained against the stated axioms and local invariants.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on the abstract alone, the paper relies on standard background definitions of L-modules, weighted cohomology, and the reductive Borel-Serre compactification; no explicit free parameters, new axioms, or invented entities are introduced in the provided text.

axioms (1)
  • domain assumption Standard properties of reductive Q-groups, arithmetic subgroups, and the reductive Borel-Serre compactification
    Invoked in the setup of X and its strata X_P.

pith-pipeline@v0.9.0 · 5465 in / 1434 out tokens · 77445 ms · 2026-05-10T18:24:45.471293+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Arthur,A trace formula for reductive groups

    J. Arthur,A trace formula for reductive groups. I. Terms associated to classes inG(Q), Duke Math. J.45(1978), 911–953

    work page 1978

  2. [2]

    Be ˘ilinson, J

    A. Be ˘ilinson, J. Bernstein, and P. Deligne,Faisceaux pervers, Analyse et topologie sur les espaces singuliers (I), CIRM, 6–10 juillet 1981, Ast´ erisque, vol. 100, 1982

    work page 1981

  3. [3]

    Borel et al.,Intersection cohomology, Birkh¨ auser, Boston, 1984

    A. Borel et al.,Intersection cohomology, Birkh¨ auser, Boston, 1984

    work page 1984

  4. [4]

    Borel and N

    A. Borel and N. Wallach,Continuous cohomology, discrete subgroups, and representation of reductive groups, Ann. of Math. Stud., vol. 94, Princeton University Press, Princeton, 1980

    work page 1980

  5. [5]

    Franke,Harmonic analysis in weightedL 2-spaces, Ann

    J. Franke,Harmonic analysis in weightedL 2-spaces, Ann. Sci. ´Ecole Norm. Sup. (4)31 (1998), 181–279

    work page 1998

  6. [6]

    Franke and J

    J. Franke and J. Schwermer,A decomposition of spaces of automorphic forms, and the Eisen- stein cohomology of arithmetic groups, Math. Ann.311(1998), no. 4, 765–790

    work page 1998

  7. [7]

    Goresky, G

    M. Goresky, G. Harder, and R. MacPherson,Weighted cohomology, Invent. Math.116(1994), 139–213

    work page 1994

  8. [8]

    Goresky and R

    M. Goresky and R. MacPherson,Intersection homology II, Invent. Math.72(1983), 77–129

    work page 1983

  9. [9]

    Harder,On the cohomology of discrete arithmetically defined groups, Discrete subgroups of Lie groups and applications to moduli (Internat

    G. Harder,On the cohomology of discrete arithmetically defined groups, Discrete subgroups of Lie groups and applications to moduli (Internat. Colloq., Bombay, 1973), Oxford Univ. Press, Bombay, 1975, pp. 129–160

    work page 1973

  10. [10]

    The caseGL 2, Invent

    ,Eisenstein cohomology of arithmetic groups. The caseGL 2, Invent. Math.89(1987), no. 1, 37–118

    work page 1987

  11. [11]

    Kashiwara and P

    M. Kashiwara and P. Schapira,Sheaves on manifolds, Springer-Verlag, Berlin, 1990

    work page 1990

  12. [12]

    Kostant,Lie algebra cohomology and the generalized Borel-Weil theorem, Ann

    B. Kostant,Lie algebra cohomology and the generalized Borel-Weil theorem, Ann. of Math. 74(1961), 329–387

    work page 1961

  13. [13]

    R. P. Langlands,On the functional equations satisfied by Eisenstein series, Lecture Notes in Mathematics, vol. 544, Springer-Verlag, Berlin, 1976

    work page 1976

  14. [14]

    Li and J

    J.-S. Li and J. Schwermer,On the Eisenstein cohomology of arithmetic groups, Duke Math. J.123(2004), no. 1, 141–169

    work page 2004

  15. [15]

    Saper,Tilings and finite energy retractions of locally symmetric spaces, Comment

    L. Saper,Tilings and finite energy retractions of locally symmetric spaces, Comment. Math. Helv.72(1997), 167–202

    work page 1997

  16. [16]

    I, Pure Appl

    ,L 2-cohomology of locally symmetric spaces. I, Pure Appl. Math. Q.1(2005), no. 4, 889–937

    work page 2005

  17. [17]

    ,L-modules and micro-support,arXiv:math.RT/0112251/v3, 2005

    work page arXiv 2005

  18. [18]

    Tilouine, ed.), Ast´ erisque, vol

    ,L-modules and the conjecture of Rapoport and Goresky-MacPherson, Formes Auto- morphes, I — Actes du Semestre du Centre ´Emile Borel, printemps 2000 (J. Tilouine, ed.), Ast´ erisque, vol. 298, Soci´ et´ e Math´ ematique de France, 2005, pp. 319–334

    work page 2000

  19. [19]

    ,On the cohomology of locally symmetric spaces and of their compactifications, Lie groups and automorphic forms, AMS/IP Stud. Adv. Math., vol. 37, Amer. Math. Soc., Prov- idence, RI, 2006, pp. 169–239

    work page 2006

  20. [20]

    Schwermer,Kohomologie arithmetisch definierter Gruppen und Eisensteinreihen, Lecture Notes in Mathematics, vol

    J. Schwermer,Kohomologie arithmetisch definierter Gruppen und Eisensteinreihen, Lecture Notes in Mathematics, vol. 988, Springer-Verlag, Berlin, 1983

    work page 1983

  21. [21]

    Math.116(1994), 481–511

    ,Eisenstein series and cohomology of arithmetic groups:the generic case, Invent. Math.116(1994), 481–511

    work page 1994

  22. [22]

    The Stacks project authors,The stacks project, 2026,https://stacks.math.columbia.edu

    work page 2026

  23. [23]

    Zucker,L 2 cohomology of warped products and arithmetic groups, Invent

    S. Zucker,L 2 cohomology of warped products and arithmetic groups, Invent. Math.70(1982), 169–218. Department of Mathematics, Duke University, Box 90320, Durham, NC 27708, U.S.A. Email address:saper@math.duke.edu URL:http://www.math.duke.edu/faculty/saper

    work page 1982