pith. sign in

arxiv: 2605.20720 · v1 · pith:OZ5RAPJCnew · submitted 2026-05-20 · 🧮 math.RT

Tilting pairs and Wakamatsu tilting pairs of subcategories over cleft extensions

Guoqiang Zhao , Juxiang Sun This is my paper

Pith reviewed 2026-05-21 02:45 UTC · model grok-4.3

classification 🧮 math.RT
keywords tilting pairsWakamatsu tilting pairscleft extensionsabelian categoriesmodule categoriestheta-extensionstensor ringsfunctor preservation
0
0 comments X

The pith

The functor l preserves and reflects tilting pairs and Wakamatsu tilting pairs of subcategories in a cleft extension of abelian categories under suitable conditions.

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

The paper establishes that for a cleft extension (B, A, i, e, l) of abelian categories, the functor l both preserves and reflects tilting pairs as well as Wakamatsu tilting pairs of subcategories when certain conditions hold. This result unifies many previously known facts about such pairs in different settings. The authors then specialize to cleft extensions of module categories, providing explicit characterizations of these tilting pairs for θ-extensions of rings and for tensor rings. These characterizations recover earlier theorems and yield additional new conclusions about the structure of tilting pairs in these ring-theoretic contexts.

Core claim

The functor l preserves and reflects (Wakamatsu) tilting pairs of subcategories under certain conditions in the cleft extension (B, A, i, e, l) of abelian categories, allowing the transfer of these structures between the categories and leading to characterizations in specific module category extensions.

What carries the argument

The cleft extension (B, A, i, e, l) of abelian categories together with the functor l, which maps subcategories and checks whether tilting properties are preserved or reflected.

Load-bearing premise

The cleft extension must satisfy the specific conditions stated in the main theorem for the preservation and reflection properties to hold.

What would settle it

A concrete cleft extension of abelian categories that meets the theorem's conditions but where l fails to preserve or reflect a tilting pair of subcategories.

read the original abstract

Let $(\mathcal{B},\mathcal{A}, i, e, l)$ be a cleft extension of abelian categories. We prove that the functor $l$ preserves and reflects (Wakamatsu) tilting pairs of subcategories under certain conditions, unifying an abundance of known results. Then, we apply our results to the cleft extensions of module categories, and give characterizations of tilting pairs and Wakamatsu tilting pairs over $\theta$-extension of rings and tensor rings, which not only recover the earlier results in this direction, but also obtain some new conclusions.

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

2 major / 2 minor

Summary. The manuscript establishes that for a cleft extension (B, A, i, e, l) of abelian categories satisfying explicit conditions, the functor l preserves and reflects both tilting pairs and Wakamatsu tilting pairs of subcategories. The general result is then specialized to module categories over θ-extensions of rings and over tensor rings, recovering earlier characterizations while deriving some new ones.

Significance. If the preservation and reflection statements hold under the stated conditions, the work supplies a unifying categorical framework that streamlines multiple prior results on tilting pairs in ring extensions. The explicit applications to θ-extensions and tensor rings add concrete value by both recovering known theorems and furnishing additional characterizations in module categories.

major comments (2)
  1. §3, Theorem 3.2: the proof that l reflects Wakamatsu tilting pairs relies on the exactness of the cleft extension functors; however, the argument does not explicitly address whether the given conditions on (B, A, i, e, l) suffice to guarantee that the relevant short exact sequences remain exact after applying l, which is load-bearing for the reflection claim.
  2. §4.1, Proposition 4.3: the characterization of tilting pairs over θ-extensions is obtained by verifying the general conditions, but the verification that the extension satisfies the required adjoint and exactness properties is only sketched; a fully expanded check would strengthen the recovery of prior results.
minor comments (2)
  1. Notation for the cleft extension (B, A, i, e, l) is introduced in §2 but used without reminder in later statements; adding a brief recall of the adjunctions and exactness properties at the start of §3 would improve readability.
  2. The abstract claims 'new conclusions' for tensor rings, yet §5 only lists two additional characterizations without contrasting them explicitly with the literature; a short comparison paragraph would clarify the novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the constructive comments on the manuscript. We have revised the text to address the concerns about explicitness in the proofs of Theorem 3.2 and Proposition 4.3.

read point-by-point responses

  1. Referee: §3, Theorem 3.2: the proof that l reflects Wakamatsu tilting pairs relies on the exactness of the cleft extension functors; however, the argument does not explicitly address whether the given conditions on (B, A, i, e, l) suffice to guarantee that the relevant short exact sequences remain exact after applying l, which is load-bearing for the reflection claim.

    Authors: The setup in Section 2 defines a cleft extension to include that l is an exact functor (see Definition 2.1 and the subsequent remarks on the adjoint triple). This exactness directly ensures that short exact sequences in A remain exact after applying l, which is used in the reflection argument for Wakamatsu tilting pairs in Theorem 3.2. To make the dependence explicit, we have inserted a clarifying sentence in the proof referencing the exactness assumption from the cleft extension axioms. We believe this resolves the concern without altering the statement or hypotheses. revision: yes

  2. Referee: §4.1, Proposition 4.3: the characterization of tilting pairs over θ-extensions is obtained by verifying the general conditions, but the verification that the extension satisfies the required adjoint and exactness properties is only sketched; a fully expanded check would strengthen the recovery of prior results.

    Authors: We agree that the verification in the original proof of Proposition 4.3 was concise. In the revised manuscript we have expanded this part to include explicit verification of the unit and counit of the adjunction between the extension functors, together with a direct check that the relevant sequences remain exact under the θ-extension construction. This expanded check recovers the earlier characterizations while confirming the new ones. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard adjunctions

full rationale

The central result states that for a cleft extension (B, A, i, e, l) of abelian categories satisfying the explicit conditions of the main theorem, the functor l preserves and reflects (Wakamatsu) tilting pairs of subcategories. The proof relies on standard properties of adjoint functors and exactness in cleft extensions, without reducing the preservation/reflection statements to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. Applications to module categories over θ-extensions and tensor rings recover prior results while providing independent new characterizations. No step equates the claimed output to its inputs by construction; the derivation remains externally verifiable against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the definition of cleft extension and the stated conditions for the functor l; these are domain assumptions drawn from prior literature on abelian categories and tilting theory.

axioms (2)
  • domain assumption The tuple (B, A, i, e, l) forms a cleft extension of abelian categories.
    This is the given setup for the main preservation theorem.
  • standard math Tilting pairs and Wakamatsu tilting pairs are defined in the standard way within the abelian categories.
    Background definitions from homological algebra invoked without re-proof.

pith-pipeline@v0.9.0 · 5610 in / 1141 out tokens · 33314 ms · 2026-05-21T02:45:51.530426+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

27 extracted references · 27 canonical work pages

  1. [1]

    Auslander and I

    M. Auslander and I. Reiten, Applications of contravariantly finite subcategories,Adv. Math. 86(1991) 111–152

    work page 1991

  2. [2]

    Beligiannis, Cleft extensions of abelian categories and applications to ring theory,Comm

    A. Beligiannis, Cleft extensions of abelian categories and applications to ring theory,Comm. Algebra28(2000), 4503–4546

    work page 2000

  3. [3]

    Brenner and M

    S. Brenner and M. C. R. Butler,Generalisations of the Bernstein–Gelfand– Ponomarev reflection functors, in Proc. ICRA II, Ottawa, 1979, Lecture Notes in Mathematics, No. 832 (Springer-Verlag, Berlin, 1980), pp. 103–169

    work page 1979

  4. [4]

    Enomoto, Classifying exact categories via Wakamatsu tilting,J

    H. Enomoto, Classifying exact categories via Wakamatsu tilting,J. Algebra485(2017) 1–44

    work page 2017

  5. [5]

    Erdmann, O

    K. Erdmann, O. Giatagantzidis, C. Psaroudakis and Ø. Solberg, Monomial arrow removal and the finitistic dimension conjecture, arXiv:2506.23747

    work page arXiv

  6. [6]

    R. M. Fossum, P. A. Griffith and I. Reiten,Trivial extensions of abelian categories, Lecture Notes in Mathematics, Vol. 456, Springer-Verlag, Berlin-New York, 1975

    work page 1975

  7. [7]

    E. L. Green, C. Psaroudakis and Ø. Solberg, Reduction techniques for the finitistic dimension, Trans. Amer. Math. Soc.374(2021) 6839–6879

    work page 2021

  8. [8]

    L. A. H¨ ugel and F. U. Coelho, Infinitely generated tilting modules of finite projective dimen- sion,Forum Math.13(2001) 239–250

    work page 2001

  9. [9]

    Kostas, Cleft extensions of rings and singularity categories,J

    P. Kostas, Cleft extensions of rings and singularity categories,J. Algebra685(2026) 160–224

    work page 2026

  10. [10]

    Kostas and C

    P. Kostas and C. Psaroudakis, Injective generation for graded rings,J. Pure Appl. Algebra 229(2025) 107960, 40pp

    work page 2025

  11. [11]

    Y. J. Ma, J. L. Zheng and Y. Z. Liu, Igusa-Todorov distances, extension and Rouquier dimen- sions under cleft extensions of abelian categories, J. Algebra (to appear), arXiv:2411.07804v4

    work page arXiv

  12. [12]

    Mantese and I

    F. Mantese and I. Reiten, Wakamatsu tilting modules,J. Algebra278(2004) 532–552

    work page 2004

  13. [13]

    L. X. Mao, Silting and cosilting modules over trivial ring extensions,Comm. Algebra,51 (2023), 1532–1550

    work page 2023

  14. [14]

    L. X. Mao, Homological properties of trivial ring extensions,J. Algebra Appl.22(12) (2023) 2350265

    work page 2023

  15. [15]

    L. X. Mao, Gorenstein projective, injective and fat modules over trivial ring extensions,J. Algebra Appl.24(2) (2025) 2550030

    work page 2025

  16. [16]

    Marmaridis, On extensions of abelian categories with applications to ring theory,J

    N. Marmaridis, On extensions of abelian categories with applications to ring theory,J. Algebra 156(1993) 50–64

    work page 1993

  17. [17]

    J. I. Miyachi, Tilting modules over trivial extensions of Artin algebras,Comm. Algebra13(6) (1985) 1319–1326

    work page 1985

  18. [18]

    Miyashita, Tilting modules associated with a series of idempotent ideals,J

    Y. Miyashita, Tilting modules associated with a series of idempotent ideals,J. Algebra238 (2001) 485–501

    work page 2001

  19. [19]

    Y. Y. Qin, Gorenstein projective objects over cleft extensions, arXiv:2507.09109

    work page arXiv

  20. [20]

    Song, T.W

    W.L. Song, T.W. Zhao and Z.Y. Huang, One-sided Gorenstein subcategory,Czechoslovak Math. J.70(145) (2020) 483–504

    work page 2020

  21. [21]

    G. L. Tang and J. Q. Wei, (projectively coresolved) Gorenstein flat modules over tensor rings, arXiv:2511.14494

    work page arXiv

  22. [22]

    Wakamatsu, Stable equivalence of self-injective algebras and a generalization of tilting modules,J

    T. Wakamatsu, Stable equivalence of self-injective algebras and a generalization of tilting modules,J. Algebra134(1990) 298–325

    work page 1990

  23. [23]

    Wakamatsu, Tilting modules and Auslander’s Gorenstein property,J

    T. Wakamatsu, Tilting modules and Auslander’s Gorenstein property,J. Algebra275(2004) 3–39

    work page 2004

  24. [24]

    Zhang, Y

    Y. Zhang, Y. Ma and T. Zhao, Tilting pairs and Wakamatsu tilting subcategories over tri- angular matrix algebras,Georgian Math. J.30(3) (2023) 465–476

    work page 2023

  25. [25]

    Zhang and S

    Z. Zhang and S. C. Wang, Wakamatsu tilting subcategories and tilting pairs over trivial ring extensions,J. Algebra Appl.(2026) 2650075 (17 pages)

    work page 2026

  26. [26]

    Zhang and J

    Z. Zhang and J. Q. Wei, Wakamatsu tilting modules over ring extension,J. Algebra Appl. (2019) 1950198. TILTING PAIRS AND WAKAMATSU TILTING PAIRS OVER CLEFT EXTENSIONS 13

    work page 2019

  27. [27]

    T. Zhao, B. Zhu and X. Zhuang, Tilting pairs in extriangulated categories,Proc. Edinb. Math. Soc.64(4) (2021) 947–981. Department of Mathematics, Hangzhou Dianzi University, Hangzhou 310018, China Email address:gqzhao@hdu.edu.cn School of Mathematics and Statistics, Shangqiu Normal University, Shangqiu 476000, China Email address:Sunjx8078@163.com

    work page 2021