arxiv: 2605.14864 · v1 · submitted 2026-05-14 · 🧮 math.RT

Recognition: no theorem link

Spherical Twists for Gorenstein Orders and G-Hilb

Marina Godinho

Authors on Pith no claims yet

Pith reviewed 2026-05-15 03:16 UTC · model grok-4.3

classification 🧮 math.RT

keywords Gorenstein ordersspherical twistsderived autoequivalencesrestriction of scalarsNakayama functorskew group algebrasG-Hilbert schemes

0 comments

The pith

For Gorenstein orders A with suitable quotients B, twists around derived restriction of scalars are autoequivalences whose cotwist is a Nakayama shift.

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

The paper shows how to build derived autoequivalences of Gorenstein orders by taking spherical twists around the derived restriction of scalars functor coming from a quotient. Given an order A and quotient B, natural conditions on B make the twist an autoequivalence on the derived category of A. At the same time the cotwist equals a shift of the Nakayama functor on B. Local-to-global methods then produce explicit new autoequivalences for skew group algebras and for G-Hilbert schemes. This supplies a systematic source of equivalences in categories that arise from group actions on orders and on varieties.

Core claim

Given a Gorenstein order A and a quotient p: A to B, under natural conditions on B the twist around the derived restriction of scalars functor is a derived autoequivalence of A, and the associated cotwist is a shift of the Nakayama functor of B. These results together with local-to-global technology are used to construct new derived autoequivalences for skew group algebras and G-Hilbert schemes, and the theory is applied to explicit examples.

What carries the argument

The twist functor around the derived restriction of scalars from the Gorenstein order A to its quotient B, shown to be spherical and therefore to induce a derived autoequivalence.

If this is right

New derived autoequivalences are obtained for skew group algebras.
Explicit derived autoequivalences are constructed for G-Hilbert schemes via the same method.
The cotwist identification links the new twists directly to the classical Nakayama functor on the quotient.
Local-to-global gluing produces global autoequivalences from local data on the orders.

Where Pith is reading between the lines

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

The same spherical-twist construction may extend to orders that are not Gorenstein once analogous conditions on quotients are identified.
The resulting autoequivalences could be compared with those coming from Fourier-Mukai kernels on the underlying geometric quotients.
Concrete matrix-factorization or module computations in low-dimensional examples would test whether the autoequivalences act as expected on generators.

Load-bearing premise

The quotient B must satisfy the natural conditions that make the restriction of scalars functor spherical.

What would settle it

A concrete Gorenstein order A, quotient B satisfying the stated conditions, and explicit computation showing that the associated twist functor fails to be an equivalence or that the cotwist is not a Nakayama shift.

Figures

Figures reproduced from arXiv: 2605.14864 by Marina Godinho.

**Figure 1.** Figure 1: All isomorphism classes of quotients R#G′/e which have finite global dimension. In each case, there is an isomorphism R#G′/e ∼= CQVb /IVb [PITH_FULL_IMAGE:figures/full_fig_p027_1.png] view at source ↗

read the original abstract

This paper constructs derived autoequivalences of Gorenstein orders as twists around spherical functors. More precisely, given a Gorenstein order $A$ and a quotient $p \colon A \to B$, then we specify natural conditions on $B$ under which the twist around the corresponding derived restriction of scalars functor is a derived autoequivalence of $A$. In the process, we show that the associated cotwist is a shift of the Nakayama functor of $B$. These results, together with local-to-global technology, are then used construct new derived autoequivalences for skew group algebras and $G$-Hilbert schemes, and we apply this theory to explicit examples.

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 constructs autoequivalences for Gorenstein orders by turning restriction of scalars from suitable quotients into spherical functors, with extensions via local-to-global methods to skew-group algebras and G-Hilbert schemes.

read the letter

The main new piece is the claim that for a Gorenstein order A with quotient p: A to B, under natural conditions on B the derived restriction functor is spherical, so its twist is an autoequivalence of D(A), and the cotwist is a shift of the Nakayama functor on B. They then feed this into local-to-global arguments to get autoequivalences for skew-group algebras and for the derived category of the G-Hilbert scheme, plus some explicit examples. This is a direct adaptation of spherical twist techniques to the setting of orders, and the link to the Nakayama functor is a clean identification that should help with calculations. The applications to G-Hilb are a reasonable concrete extension of the general result. The paper does a decent job of situating the construction inside existing work on spherical functors without overclaiming. The soft spot is the unspecified natural conditions on B. The abstract does not list them, so it is impossible to tell from the given material whether they are mild or whether they survive when the construction is applied to skew groups or to G-Hilb. If the conditions force B to have finite global dimension or to be regular, the reach of the later applications could be limited, and the verification that the spherical triangle holds under those conditions is the part that needs the most scrutiny in the full proofs. The soundness of the central claim therefore rests on details that are not visible here. This is for readers working on derived categories of orders, noncommutative resolutions, and autoequivalences in representation theory. Someone looking for explicit ways to generate new equivalences in these areas would get usable techniques from it. The work shows clear engagement with the relevant literature and applies it in a targeted way. I would send it to peer review so the conditions and the applications can be checked in detail.

Referee Report

2 major / 2 minor

Summary. The paper constructs derived autoequivalences of Gorenstein orders A via spherical twists around the derived restriction-of-scalars functor F = p_* associated to a quotient p: A → B. Under natural conditions on B, the twist functor is shown to be a derived autoequivalence of D(A), and the associated cotwist is identified with a shift of the Nakayama functor of B. These results are combined with local-to-global methods to produce new autoequivalences for skew-group algebras and G-Hilbert schemes, illustrated by explicit examples.

Significance. If the central claims hold, the work supplies a systematic method for producing spherical twists and autoequivalences in the derived categories of Gorenstein orders, linking them to classical homological invariants such as the Nakayama functor. The applications to skew-group algebras and G-Hilb via local-to-global techniques indicate potential utility for studying derived categories of quotient singularities and noncommutative resolutions.

major comments (2)

[Main construction (around the statement of the twist theorem)] The precise list of 'natural conditions on B' that make the derived restriction-of-scalars functor spherical (i.e., satisfy the two spherical axioms with the expected adjunction data and yield an equivalence via the twist) is not stated explicitly enough to allow independent verification. This is load-bearing for the main theorem and for confirming that the same conditions persist under the local-to-global gluing used for the G-Hilb applications.
[Cotwist identification (likely §3 or §4)] The verification that the cotwist equals a shift of the Nakayama functor of B relies on the spherical property; without a self-contained check of the spherical axioms under the stated conditions on B, it is unclear whether the identification holds when B is allowed to have infinite global dimension (as may occur for some quotients of Gorenstein orders).

minor comments (2)

[Introduction and preliminaries] Notation for derived categories, functors, and the Nakayama functor should be fixed at the first appearance to improve readability for readers outside the immediate subfield.
[Examples section] The explicit examples would benefit from additional computational details (e.g., explicit matrices or basis computations) showing how the twist acts on generators.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We agree that greater explicitness is needed in the statement of the main theorem and will revise the paper accordingly to address both major points.

read point-by-point responses

Referee: The precise list of 'natural conditions on B' that make the derived restriction-of-scalars functor spherical (i.e., satisfy the two spherical axioms with the expected adjunction data and yield an equivalence via the twist) is not stated explicitly enough to allow independent verification. This is load-bearing for the main theorem and for confirming that the same conditions persist under the local-to-global gluing used for the G-Hilb applications.

Authors: We agree that the conditions on B require a more explicit and self-contained formulation. In the revised manuscript we will add a dedicated paragraph immediately preceding the statement of the twist theorem that lists the precise hypotheses: (i) B is a Gorenstein order of finite global dimension, (ii) the quotient map p induces a fully faithful embedding of the derived category of B into that of A with a right adjoint given by derived restriction of scalars, and (iii) the unit and counit of the adjunction satisfy the two spherical axioms with the expected shifts. We will also include a short verification that these conditions are preserved under the local-to-global gluing procedure used for the G-Hilbert-scheme applications, with explicit checks in the relevant sections. revision: yes
Referee: The verification that the cotwist equals a shift of the Nakayama functor of B relies on the spherical property; without a self-contained check of the spherical axioms under the stated conditions on B, it is unclear whether the identification holds when B is allowed to have infinite global dimension (as may occur for some quotients of Gorenstein orders).

Authors: The identification of the cotwist with a shift of the Nakayama functor is obtained directly from the spherical property of the functor F = p_*. Our natural conditions on B explicitly include the requirement that B has finite global dimension; this is necessary for the spherical axioms to hold in the derived category and for the Nakayama functor to be well-defined up to shift in the usual way. In the revision we will insert a self-contained lemma that verifies the two spherical axioms under these hypotheses and states clearly that the results do not apply when B has infinite global dimension. This restriction is already implicit in the applications to skew-group algebras and G-Hilb, where the auxiliary algebras B are chosen to have finite global dimension. revision: yes

Circularity Check

0 steps flagged

No circularity: construction proceeds from standard spherical functor axioms under explicitly stated conditions on B

full rationale

The paper defines the twist and cotwist functors directly from the derived restriction-of-scalars functor associated to a quotient p: A → B of Gorenstein orders, then verifies that the spherical axioms hold (and that the cotwist equals a shift of the Nakayama functor) precisely when B satisfies the listed natural conditions. No equation is shown to reduce to a fitted parameter or to a prior result by the same authors; the local-to-global applications are presented as consequences of the new construction rather than as inputs that define it. The derivation chain is therefore self-contained and does not rely on self-definition, renaming, or load-bearing self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard properties of Gorenstein orders and derived categories; no free parameters or invented entities are visible in the abstract.

axioms (1)

domain assumption Gorenstein orders admit well-behaved derived restriction functors and Nakayama functors
Invoked implicitly when defining the twist and cotwist for quotient B

pith-pipeline@v0.9.0 · 5406 in / 1193 out tokens · 27712 ms · 2026-05-15T03:16:45.958569+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 2 internal anchors

[1]

Addington

[Add16] N. Addington. New derived symmetries ofsomehyperkähler varieties.Algebr. Geom.3.2 (2016), pp. 223–260. [AL17] R. Anno and T. Logvinenko. Spherical DG-functors. J. Eur. Math. Soc. (JEMS)19.9 (2017), pp. 2577–2656. [Ann13] R. Anno. Spherical functors

work page 2016
[2]

Spherical functors

(arXiv:0711.4409 [math.CT]). [BDL23] A. Bapat, A. Deopurkar and A. M. Licata. Spherical objects and stability conditions on 2- Calabi-Yau quiver categories.Math. Z.303.1 (2023), Paper No. 13,

work page internal anchor Pith review Pith/arXiv arXiv 2023
[3]

Cambridge University Press, Cambridge, 1993, pp

Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1993, pp. xii+403. [BKR01] T. Bridgeland, A. King and M. Reid. The McKay correspondence as an equivalence of derived categories. J. Amer. Math. Soc.14.3 (2001), pp. 535–554. [BPP17] N. Broomhead, D. Pauksztello and D. Ploog. Discrete derived categories I: homomorphisms, auto...

work page 1993
[4]

[CMT07] A. Craw, D. Maclagan and R. R. Thomas. Moduli of McKay quiver representations. II. Gröbner basis techniques.J. Algebra316.2 (2007), pp. 514–535. [Don24] W. Donovan. Derived symmetries for crepant contractions to hypersurfaces

work page 2007
[5]

[DW16] W

(arXiv : 2409.19555 [math.AG]). [DW16] W. Donovan and M. Wemyss. Noncommutative deformations and flops. Duke Math. J.165.8 (2016), pp. 1397–1474. [DW19a] W. Donovan and M. Wemyss. Contractions and deformations.Amer. J. Math.141.3 (2019), pp. 563–592. [DW19b] W. Donovan and M. Wemyss. Noncommutative enhancements of contractions.Adv. Math.344 (2019), pp. 99...

work page arXiv 2016
[6]

Eisenbud

[Eis80] D. Eisenbud. Homological algebra on a complete intersection, with an application to group representations. Trans. Amer. Math. Soc.260.1 (1980), pp. 35–64. [GM17] J. Grant and R. J. Marsh. Braid groups and quiver mutation. Pacific J. Math.290.1 (2017), pp. 77–116. [God24] M. Godinho. A twist on ring morphisms and crepant contractions

work page 1980
[7]

A twist on ring morphisms and crepant contractions

(arXiv:2410.24030 [math.AG]). [IR08] O. Iyama and I. Reiten. Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau al- gebras. Amer. J. Math.130.4 (2008), pp. 1087–1149. [IT13] O. Iyama and R. Takahashi. Tilting and cluster tilting for quotient singularities. Math. Ann. 356.3 (2013), pp. 1065–1105. [IW14] O. Iyama and M. Wemyss. Maximal modificati...

work page internal anchor Pith review Pith/arXiv arXiv 2008
[8]

[McK80] J

Mathematical SurveysandMonographs.AmericanMathematicalSociety,Providence,RI,2012,pp.xviii+367. [McK80] J. McKay. Graphs, singularities, and finite groups. In: The Santa Cruz Conference on Finite Groups (Univ. California, Santa Cruz, Calif., 1979). Vol

work page 2012
[9]

Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1980, pp. 183–186. [Miy03] J.-I. Miyachi. Recollement and tilting complexes.J. Pure Appl. Algebra183.1-3 (2003), pp. 245–

work page 1980
[10]

Miyachi and A

[MY01] J.-i. Miyachi and A. Yekutieli. Derived Picard groups of finite-dimensional hereditary algebras. Compositio Math.129.3 (2001), pp. 341–368. [Nak01] I. Nakamura. Hilbert schemes of abelian group orbits.J. Algebraic Geom.10.4 (2001), pp. 757–

work page 2001
[11]

Mathematische Annalen 365.1–2 (Dec

REFERENCES 29 [Qiu15] Y.Qiu.Decoratedmarkedsurfaces:sphericaltwistsversusbraidtwists. Mathematische Annalen 365.1–2 (Dec. 2015), 595–633. [Ric91] J. Rickard. Derived equivalences as derived functors. J. London Math. Soc. (2)43.1 (1991), pp. 37–48. [Rou08] R. Rouquier. Dimensions of triangulated categories. J. K-Theory1.2 (2008), pp. 193–256. [Seg18] E. Se...

work page 2015
[12]

[Tod15] Y. Toda. Non-commutative width and Gopakumar-Vafa invariants.Manuscripta Math.148.3-4 (2015), pp. 521–533. [VdB04] M. Van den Bergh. Three-dimensional flops and noncommutative rings.Duke Math. J.122.3 (2004), pp. 423–455. [Wei94] C. A. Weibel. An introduction to homological algebra. Vol

work page 2015
[13]

Cambridge University Press, Cambridge, 1994, pp

Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994, pp. xiv+450. [Wem18] M. Wemyss. Flops and clusters in the homological minimal model programme.Invent. Math. 211.2 (2018), pp. 435–521. [Yek92] A. Yekutieli. Dualizing complexes over noncommutative graded algebras. J. Algebra 153.1 (1992), pp. 41–84

work page 1994