pith. sign in

arxiv: 2605.21290 · v2 · pith:W6QFUA6Rnew · submitted 2026-05-20 · 🧮 math.AG

Serre functors and local duality for affine quotients

Ivan Noden This is my paper

Pith reviewed 2026-05-25 06:12 UTC · model grok-4.3

classification 🧮 math.AG
keywords Serre functorlocal cohomologyquotient stackreductive group actionMatlis dualitylocal dualitydualizing sheafaffine quotient
0
0 comments X

The pith

On quotient stacks Y = Spec A/G with a unique closed orbit, the Serre functor is tensoring with local cohomology of the dualizing sheaf at that orbit.

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

The paper studies the Serre functor on the category of quasicoherent sheaves for the stack Y = Spec A/G, where a reductive group G acts on Spec A with exactly one closed orbit. It proves that this functor is realized by tensoring with the local cohomology of the dualizing sheaf ω_Y supported at the closed orbit. The same description yields direct analogues of the Matlis duality theorem and local duality for the associated local rings. A reader would care because the result turns an abstract categorical duality into an explicit algebraic computation centered at one point.

Core claim

The Serre functor is given by tensoring with the local cohomology of ω_Y at the unique closed orbit. Using this description, analogues of the Matlis and local duality theorems are developed for local rings.

What carries the argument

Local cohomology of the dualizing sheaf ω_Y at the unique closed orbit, which defines the object that realizes the Serre functor by tensor product.

If this is right

  • Matlis duality holds in the form of an equivalence between the category and its Matlis dual via the local cohomology object.
  • Local duality theorems can be stated and proved for the local rings arising from the unique closed orbit.
  • The Serre functor admits an explicit algebraic description that does not require global resolution of the stack.
  • Duality statements extend from the affine quotient setting to the quasicoherent sheaf category on Y.

Where Pith is reading between the lines

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

  • The same local-cohomology description may simplify explicit calculations of Serre functors in other GIT quotient examples that satisfy the unique-orbit condition.
  • If the unique-orbit hypothesis is relaxed, the construction suggests a decomposition of the Serre functor into summands supported at each closed orbit.
  • The approach indicates that local duality statements on the quotient stack are controlled by the geometry of the closed orbit alone.

Load-bearing premise

The reductive group action on Spec A has a unique closed orbit, so that local cohomology is taken at a single point and captures the global functor.

What would settle it

For a concrete linear action with unique closed orbit, compute the Serre functor on a test sheaf directly from the definition of the derived category and check whether it equals tensoring with the local cohomology module of ω_Y.

read the original abstract

The purpose of this short note is to study Serre functors of categories of quasicoherent sheaves on stacks of the form $\mathcal{Y} = \mathrm{Spec} A/G$ where $G$ is a reductive group acting on $\mathrm{Spec} A$ with a unique closed orbit. We show that the Serre functor is given by tensoring with the local cohomology of $\omega_\mathcal{Y}$ at the unique closed orbit. Using this description, we develop analogues of the Matlis and local duality theorems for local rings.

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 manuscript is a short note examining Serre functors on the category of quasicoherent sheaves on the quotient stack Y = Spec A/G, where G is a reductive group acting on Spec A with a unique closed orbit. It asserts that the Serre functor is given by tensoring with the local cohomology of the dualizing sheaf ω_Y at the unique closed orbit and uses this description to develop analogues of the Matlis and local duality theorems for local rings.

Significance. If the stated identification holds, the result supplies an explicit local description of the Serre functor on QCoh(Y) that reduces global duality to a statement at the closed orbit; this would be useful for computations in equivariant algebraic geometry and for extending classical duality theorems to affine quotient stacks under the unique-closed-orbit hypothesis.

minor comments (2)
  1. The abstract states the main result but supplies no proof sketch, derivation, or supporting calculation; the full manuscript should include at least a high-level outline of how the identification follows from the hypotheses.
  2. Notation for the stack Y, the dualizing sheaf ω_Y, and the local-cohomology functor should be introduced with precise references to standard definitions (e.g., in the first section) to ensure the statement is self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of our short note. The description accurately captures the content and potential utility of the results on Serre functors and duality for affine quotient stacks under the unique closed orbit hypothesis. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states an explicit theorem under the standing hypothesis of a unique closed orbit for the G-action. The claimed identification of the Serre functor with tensoring by local cohomology at that orbit is presented as a derived result, not as a redefinition or a fit to the same data. No equations, self-citations, or ansatzes are exhibited in the provided text that would reduce the central statement to its inputs by construction. The unique-orbit condition is an external assumption required for the local-cohomology object to be well-defined, not a quantity derived from the conclusion itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract only; no explicit free parameters, invented entities, or non-standard axioms are stated. The result implicitly relies on the existence of a dualizing sheaf and on standard properties of Serre functors and local cohomology in the derived category of quasicoherent sheaves on stacks.

axioms (2)
  • domain assumption Existence of a dualizing sheaf ω_Y on the stack Y
    Invoked when the Serre functor is expressed via tensoring with local cohomology of ω_Y
  • domain assumption Standard properties of Serre functors and local cohomology in the derived category of quasicoherent sheaves
    Used to identify the Serre functor with the stated tensoring operation

pith-pipeline@v0.9.0 · 5604 in / 1359 out tokens · 53482 ms · 2026-05-25T06:12:28.785876+00:00 · methodology

Review history (2 revisions) →

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

13 extracted references · 13 canonical work pages

  1. [1]

    Bondal and M

    A. Bondal and M. Kapranov. Representable functors, Serre functors, and mutations.Math. USSR,35(3):519–541, June1990

    work page

  2. [2]

    Tempered d-modules and Borel–Moore homology vanishing.Invent

    Dario Beraldo. Tempered d-modules and Borel–Moore homology vanishing.Invent. Math.,225(2):453–528, August2021

    work page

  3. [3]

    An analog of the deligne-lusztig duality for(g,k)-modules,2017

    Dennis Gaitsgory and Alexander Yom Din. An analog of the deligne-lusztig duality for(g,k)-modules,2017

    work page 2017

  4. [4]

    On some finiteness questions for algebraic stacks.Geom

    Vladimir Drinfeld and Dennis Gaitsgory. On some finiteness questions for algebraic stacks.Geom. Funct. Anal.,23(1):149–294, February2013

    work page

  5. [5]

    Integral transforms and drinfeld centers in derived algebraic geometry.J

    David Ben-Zvi, John Francis, and David Nadler. Integral transforms and drinfeld centers in derived algebraic geometry.J. Amer. Math. Soc.,23(4):909–966, April2010

    work page

  6. [6]

    Good moduli spaces for artin stacks.Ann

    Jarod Alper. Good moduli spaces for artin stacks.Ann. Inst. Fourier (Grenoble),63(6):2349–2402,2013

    work page 2013

  7. [7]

    Ergebnuss der Mathematik und ihrer Grenzgebiete

    David Mumford, John Fogarty, and Frances Kirwan.Geometric Invariant Theory. Ergebnuss der Mathematik und ihrer Grenzgebiete

    work page

  8. [8]

    Springer Berlin,3edition, March1994

    Folge. Springer Berlin,3edition, March1994

    work page

  9. [9]

    Gaitsgory and N

    D. Gaitsgory and N. Rozenblyum.A Study in Derived Algebraic Geometry: Volumes I and II, volume221ofMathematical Surveys and Monographs. American Mathematical Society, March2017

    work page

  10. [10]

    Ergebnisse der Mathematik Und Ihrer Grenzgebiete

    Gerard Laumon and L Moret-Bailly.Champs alg ´ebriques. Ergebnisse der Mathematik Und Ihrer Grenzgebiete. Springer, New York, NY, December2005

    work page

  11. [11]

    Depth and amplitude for unbounded complexes

    Hans-Bjørn Foxby and Srikanth Iyengar. Depth and amplitude for unbounded complexes. InCommutative Algebra: Interactions with Algebraic Geometry, Contemporary Mathematics. American Mathematical Society, Providence, RI, July2003

    work page

  12. [12]

    Lecture Notes in Mathematics

    Robin Hartshorne.Residues and Duality. Lecture Notes in Mathematics. Springer,1966

    work page 1966

  13. [13]

    J¨urgen Herzog.Cohen-Macaulay Rings

    Winfried Bruns and H. J¨urgen Herzog.Cohen-Macaulay Rings. Cambridge Studies in Advanced Mathematics. Cambridge University Press,2edition,1998

    work page 1998