Cohen-Montgomery duality for bimodules and singular equivalences of Morita type

Hideto Asashiba; Shengyong Pan

arxiv: 2408.03280 · v4 · submitted 2024-08-06 · 🧮 math.RT

Cohen-Montgomery duality for bimodules and singular equivalences of Morita type

Hideto Asashiba , Shengyong Pan This is my paper

Pith reviewed 2026-05-23 22:28 UTC · model grok-4.3

classification 🧮 math.RT

keywords bimodulesG-categoriesG-graded categoriesorbit bimodulesmash product bimoduleMorita equivalencessingular equivalencesCohen-Montgomery duality

0 comments

The pith

The orbit bimodule M/G and smash product bimodule N#G are inverses and map equivalent pairs under Morita-type relations between G-categories and G-graded categories.

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

The paper defines G-invariant bimodules over G-categories and G-graded bimodules over G-graded categories. It introduces the orbit bimodule construction M/G and the smash product bimodule construction N#G, proving these two operations are inverses of each other. The constructions are applied to four kinds of equivalence: ordinary Morita equivalence, stable equivalence of Morita type, singular equivalence of Morita type, and singular equivalence of Morita type with level. In each case the orbit (respectively smash product) construction carries an equivalence between a pair of G-categories to an equivalence of the same kind between the corresponding pair of G-graded categories, and conversely.

Core claim

We define a G-invariant bimodule _S M_R over G-categories R, S and a G-graded bimodule _B N_A over G-graded categories A, B, and introduce the orbit bimodule M/G and the smash product bimodule N#G. We show that these constructions are inverses to each other. This is applied to Morita equivalences, stable equivalences of Morita type, singular equivalences of Morita type, and singular equivalences of Morita type with level to show that the orbit (resp. smash product) bimodule construction transforms an equivalent pair of G-categories (resp. G-graded categories) of each type to an equivalent pair of G-graded categories (resp. G-categories) of the same type.

What carries the argument

The orbit bimodule M/G and smash product bimodule N#G constructions, which are shown to be mutual inverses and to preserve the four listed equivalence relations.

If this is right

Morita equivalent pairs of G-categories are sent to Morita equivalent pairs of G-graded categories.
Stable Morita equivalent pairs of G-categories are sent to stable Morita equivalent pairs of G-graded categories.
Singular Morita equivalent pairs of G-categories are sent to singular Morita equivalent pairs of G-graded categories.
Singular Morita equivalent pairs with level of G-categories are sent to singular Morita equivalent pairs with level of G-graded categories.

Where Pith is reading between the lines

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

The same duality pattern may allow transfer of other invariants preserved by these equivalences between the acted and graded settings.
The constructions could be tested on further equivalence relations, such as derived equivalences, that are not covered in the paper.
The result suggests a general mechanism for moving between group actions and gradings while keeping equivalence data intact.

Load-bearing premise

The orbit and smash product bimodule constructions are well-defined on the level of bimodules and preserve the listed notions of equivalence.

What would settle it

An explicit pair of G-categories related by a singular equivalence of Morita type such that the image pair under the orbit construction fails to be related by a singular equivalence of Morita type.

read the original abstract

Let $G$ be a group and $\Bbbk$ a commutative ring. All categories and functors are assumed to be $\Bbbk$-linear. We define a $G$-invariant bimodule ${}_SM_R$ over $G$-categories $R, S$ and a $G$-graded bimodule ${}_BN_A$ over $G$-graded categories $A, B$, and introduce the orbit bimodule $M/G$ and the smash product bimodule $N\# G$. We will show that these constructions are inverses to each other. This will be applied to Morita equivalences, stable equivalences of Morita type, singular equivalences of Morita type, and singular equivalences of Morita type with level to show that the orbit (resp. smash product) bimodule construction transforms an equivalent pair of $G$-categories (resp. $G$-graded categories) of each type to an equivalent pair of $G$-graded categories (resp. $G$-categories) of the same type.

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

This paper extends Cohen-Montgomery duality to bimodules with explicit orbit and smash product constructions that are inverses and preserve singular equivalences of Morita type.

read the letter

The main takeaway is that the authors define G-invariant bimodules over G-categories and G-graded bimodules over G-graded categories, then introduce the orbit bimodule M/G and smash product bimodule N#G as mutual inverses. They show these constructions turn equivalent pairs under Morita equivalences, stable equivalences of Morita type, singular equivalences of Morita type, and singular equivalences with level into equivalent pairs on the other side. The full text supplies the definitions, explicit inverse maps, and direct verifications that the constructions preserve the equivalence relations on bimodules. No internal inconsistency or missing hypothesis appears in the argument structure. This is new in its application to singular equivalences of Morita type, which goes beyond the standard Morita case in prior Cohen-Montgomery work. The paper handles the bimodule level carefully with concrete maps rather than abstract assertions. It organizes the graded versus invariant comparison in a usable way for people already working in that corner of representation theory. The soft spot is the narrow scope. The results stay inside the subfield of representation theory of algebras and categories, with incremental rather than broad novelty, and no indication of wider applications or simplifications beyond these constructions. This paper is for specialists who already track Morita-type equivalences and graded structures. A reader in that area gets concrete tools for comparing the two settings. It deserves a serious referee because the claims rest on explicit definitions and verifications that can be checked directly. I would send it to peer review rather than desk reject.

Referee Report

0 major / 3 minor

Summary. The paper defines G-invariant bimodules over G-categories and G-graded bimodules over G-graded categories, introduces the orbit bimodule M/G and smash product bimodule N#G constructions, proves these are mutual inverses, and shows that the constructions send Morita equivalences, stable equivalences of Morita type, singular equivalences of Morita type, and singular equivalences of Morita type with level between G-categories to equivalent pairs of the same type between G-graded categories (and conversely).

Significance. If the results hold, the work extends Cohen-Montgomery duality from algebras to bimodules over categories equipped with group actions or gradings. The explicit inverse constructions and verifications that the orbit/smash product functors preserve the listed equivalence relations on bimodules supply a concrete mechanism for transferring equivalence data between the G-category and G-graded settings, which may be useful for relating singularity categories or stable categories in representation theory.

minor comments (3)

[§2] §2: the definition of a G-invariant bimodule should explicitly state the compatibility condition between the G-action on the bimodule and the actions on the categories R and S (currently only referenced in the surrounding text).
[Theorem 3.4] Theorem 3.4 (or the main duality theorem): the verification that M/G and N#G are inverse on the level of isomorphism classes of bimodules is clear, but the argument that they induce bijections on the sets of equivalence classes of the listed types of equivalences would benefit from a short diagram chase or explicit natural isomorphism statement.
The paper assumes k is commutative throughout; a brief remark on whether the constructions extend to non-commutative base rings would clarify the scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our work and the recommendation of minor revision. The report lists no specific major comments, so we have no points requiring point-by-point rebuttal or clarification at this stage. We will incorporate any minor editorial suggestions once they are provided.

Circularity Check

0 steps flagged

No significant circularity; explicit constructions and verifications are self-contained

full rationale

The paper defines G-invariant bimodules over G-categories and G-graded bimodules over G-graded categories, then introduces the orbit bimodule M/G and smash product bimodule N#G constructions. It states that these are shown to be inverses via explicit maps, and verifies that the constructions preserve Morita equivalences, stable equivalences of Morita type, singular equivalences of Morita type, and those with level. All load-bearing steps consist of direct definitions followed by explicit inverse maps and preservation checks on the equivalence relations; no step reduces by construction to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The derivation chain is therefore independent of its inputs and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are visible. The work relies on standard k-linearity of categories and functors and on the prior definitions of the various Morita-type equivalences.

pith-pipeline@v0.9.0 · 5714 in / 1239 out tokens · 17427 ms · 2026-05-23T22:28:36.361224+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We define a G-invariant bimodule SMR over G-categories R, S and a G-graded bimodule BNA over G-graded categories A, B, and introduce the orbit bimodule M/G and the smash product bimodule N#G. We will show that these constructions are inverses to each other.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

This will be applied to Morita equivalences, stable equivalences of Morita type, singular equivalences of Morita type...

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

[1]

Algebra., 191 (1997), 382–415

Asashiba, H.: A covering technique for derived equivalence , J. Algebra., 191 (1997), 382–415

work page 1997
[2]

Algebra, 214 (1999), 182–221

Asashiba, H.: The derived equivalence classiﬁcation of representation-ﬁ nite selﬁnjective algebras, J. Algebra, 214 (1999), 182–221

work page 1999
[3]

Algebra 334 (2011), 109–149

Asashiba, H.: A generalization of Gabriel’s Galois covering functors and deri ved equiv- alences, J. Algebra 334 (2011), 109–149

work page 2011
[4]

2, 155–186

Asashiba, H.: A generalization of Gabriel’s Galois covering functors II: 2-cat egorical Cohen-Montgomery duality , Applied Categorical Structure 25 (2017), no. 2, 155–186. (DOI) 10.1007/s10485-015-9416-9

work page doi:10.1007/s10485-015-9416-9 2017
[5]

and Kimura, M.: Presentations of Grothendieck constructions , Comm

Asashiba, H. and Kimura, M.: Presentations of Grothendieck constructions , Comm. in Alg. 41(2013), no.11, 400–4024

work page 2013
[6]

Rings essential over their cen- ters, Communications in Algebra, 2019, published on-line, https://doi.org/10.1080/00927872.2018.1513012

Asashiba, H.: Smash products of group weighted bound quivers and Brauer gra phs, Comm. Algebra, 47(2), (2019), 585–610, DOI: 10.1080/00927872.2018.148756 2

work page doi:10.1080/00927872.2018.148756 2019
[7]

Surveys Monogr., 271

Asashiba, H.: Categories and representation theory–wi th a focus on 2-categorical cover- ing theory, Math. Surveys Monogr., 271. American Mathematical Society, Providence, RI, 2022. xviii+240 pp. ISBN: 9781470464844; 978147047150 7. (Original version: SGC library series 155, Saiensu-sha, 2019, in Japanese.)

work page 2022
[8]

and Marcos, E.: Skew category, Galois covering and smash product of a k- category, Proc

Cibils, C. and Marcos, E.: Skew category, Galois covering and smash product of a k- category, Proc. Amer. Math. Soc. 134 (1), (2006), 39–50. COHEN-MONTGOMERY DUALITY FOR BIMODULES 55

work page 2006
[9]

and Montgomery, S.: Group-graded rings, smash products, and group actions , Trans

Cohen, M. and Montgomery, S.: Group-graded rings, smash products, and group actions , Trans. Amer. Math. Soc. 282 (1984), 237–258

work page 1984
[10]

903, Springer-Verlag, Berlin/New York, (1981), pp

Gabriel, P.: The universal cover of a representation-ﬁnite algebra , In: Lecture Notes in Math., vol. 903, Springer-Verlag, Berlin/New York, (1981), pp. 68–105

work page 1981
[11]

Keller, B.: On triangulated orbit categories , Doc. Math. 10, (2005), 551–581. Department of Mathematics, F aculty of Science, Shizuoka Uni versity, 836 Ohya, Suruga-ku, Shizuoka, 422-8529, Japan; Institute for Adv anced Study, KUIAS, Kyoto University, Yoshida Ushinomiya- cho, Sakyo-ku, Kyoto 606-8501, Japan; and Osaka Central Adv anced Mathematical Insti...

work page 2005

[1] [1]

Algebra., 191 (1997), 382–415

Asashiba, H.: A covering technique for derived equivalence , J. Algebra., 191 (1997), 382–415

work page 1997

[2] [2]

Algebra, 214 (1999), 182–221

Asashiba, H.: The derived equivalence classiﬁcation of representation-ﬁ nite selﬁnjective algebras, J. Algebra, 214 (1999), 182–221

work page 1999

[3] [3]

Algebra 334 (2011), 109–149

Asashiba, H.: A generalization of Gabriel’s Galois covering functors and deri ved equiv- alences, J. Algebra 334 (2011), 109–149

work page 2011

[4] [4]

2, 155–186

Asashiba, H.: A generalization of Gabriel’s Galois covering functors II: 2-cat egorical Cohen-Montgomery duality , Applied Categorical Structure 25 (2017), no. 2, 155–186. (DOI) 10.1007/s10485-015-9416-9

work page doi:10.1007/s10485-015-9416-9 2017

[5] [5]

and Kimura, M.: Presentations of Grothendieck constructions , Comm

Asashiba, H. and Kimura, M.: Presentations of Grothendieck constructions , Comm. in Alg. 41(2013), no.11, 400–4024

work page 2013

[6] [6]

Rings essential over their cen- ters, Communications in Algebra, 2019, published on-line, https://doi.org/10.1080/00927872.2018.1513012

Asashiba, H.: Smash products of group weighted bound quivers and Brauer gra phs, Comm. Algebra, 47(2), (2019), 585–610, DOI: 10.1080/00927872.2018.148756 2

work page doi:10.1080/00927872.2018.148756 2019

[7] [7]

Surveys Monogr., 271

Asashiba, H.: Categories and representation theory–wi th a focus on 2-categorical cover- ing theory, Math. Surveys Monogr., 271. American Mathematical Society, Providence, RI, 2022. xviii+240 pp. ISBN: 9781470464844; 978147047150 7. (Original version: SGC library series 155, Saiensu-sha, 2019, in Japanese.)

work page 2022

[8] [8]

and Marcos, E.: Skew category, Galois covering and smash product of a k- category, Proc

Cibils, C. and Marcos, E.: Skew category, Galois covering and smash product of a k- category, Proc. Amer. Math. Soc. 134 (1), (2006), 39–50. COHEN-MONTGOMERY DUALITY FOR BIMODULES 55

work page 2006

[9] [9]

and Montgomery, S.: Group-graded rings, smash products, and group actions , Trans

Cohen, M. and Montgomery, S.: Group-graded rings, smash products, and group actions , Trans. Amer. Math. Soc. 282 (1984), 237–258

work page 1984

[10] [10]

903, Springer-Verlag, Berlin/New York, (1981), pp

Gabriel, P.: The universal cover of a representation-ﬁnite algebra , In: Lecture Notes in Math., vol. 903, Springer-Verlag, Berlin/New York, (1981), pp. 68–105

work page 1981

[11] [11]

Keller, B.: On triangulated orbit categories , Doc. Math. 10, (2005), 551–581. Department of Mathematics, F aculty of Science, Shizuoka Uni versity, 836 Ohya, Suruga-ku, Shizuoka, 422-8529, Japan; Institute for Adv anced Study, KUIAS, Kyoto University, Yoshida Ushinomiya- cho, Sakyo-ku, Kyoto 606-8501, Japan; and Osaka Central Adv anced Mathematical Insti...

work page 2005