Algebras with finite relative dominant dimension and almost n-precluster tilting modules
Pith reviewed 2026-05-24 21:19 UTC · model grok-4.3
The pith
Algebras with finite relative dominant dimension correspond to almost n-precluster tilting modules.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish a correspondence between almost n-precluster tilting modules and almost n-minimal Auslander-Gorenstein algebras. Moreover, we give a description of the Gorenstein projective modules over almost n-minimal Auslander-Gorenstein algebras in terms of the corresponding almost n-precluster tilting modules. This rests on first characterizing the algebras that possess finite relative dominant dimension with respect to an injective module.
What carries the argument
Relative dominant dimension with respect to an injective module, used to define almost n-minimal Auslander-Gorenstein algebras and to produce the bijection with almost n-precluster tilting modules.
If this is right
- Gorenstein projective modules over an almost n-minimal Auslander-Gorenstein algebra are recovered directly from the corresponding almost n-precluster tilting module.
- The finite-relative-dominant-dimension condition classifies a new family of algebras that generalize minimal Auslander-Gorenstein algebras.
- The bijection preserves the homological properties that define the 'almost n' level of the tilting module.
Where Pith is reading between the lines
- The same relative-dimension invariant might classify higher analogs of cluster-tilting objects once the parameter n is allowed to vary.
- Descriptions of Gorenstein projectives obtained this way could be compared with existing Auslander-Reiten formulas to test consistency in low-dimensional cases.
- If the correspondence extends to derived categories, it would give a module-theoretic model for certain objects in higher Auslander-Reiten theory.
Load-bearing premise
Finite relative dominant dimension with respect to an injective module can be used to single out exactly those algebras that admit a corresponding almost n-precluster tilting module.
What would settle it
An explicit algebra whose relative dominant dimension is finite yet which possesses no almost n-precluster tilting module, or an almost n-precluster tilting module whose associated algebra fails to have finite relative dominant dimension.
read the original abstract
In this paper, we investigate the relative dominant dimension with respect to an injective module and characterize the algebras with finite relative dominant dimension. As an application, we introduce the almost n-precluster tilting module and establish a correspondence between almost n-precluster tilting modules and almost n-minimal Auslander-Gorenstein algebras. Moreover, we give a description of the Gorenstein projective modules over almost n-minimal Auslander-Gorenstein algebras in terms of the corresponding almost n-precluster tilting modules.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates the relative dominant dimension of algebras with respect to a fixed injective module. It characterizes algebras of finite relative dominant dimension and, as an application, introduces the notion of almost n-precluster tilting modules. The central results establish a correspondence between almost n-precluster tilting modules and almost n-minimal Auslander-Gorenstein algebras, together with an explicit description of the Gorenstein projective modules over the latter algebras in terms of the corresponding almost n-precluster tilting modules.
Significance. If the stated correspondences hold, the work extends the classical theory of dominant dimension and Auslander-Gorenstein algebras to a relative setting parametrized by an injective module and by an integer n. The new class of almost n-precluster tilting modules supplies a module-theoretic counterpart to the algebraic notion of almost n-minimal Auslander-Gorenstein algebras and yields a concrete description of their Gorenstein-projective modules. Such correspondences are useful for classifying algebras and modules with controlled homological invariants and may serve as a foundation for further results on relative tilting theory.
minor comments (4)
- §2: the definition of relative dominant dimension (Definition 2.3) should explicitly record the dependence on the choice of injective module I; the subsequent statements would then read more cleanly when I is fixed.
- Theorem 4.7: the statement of the correspondence would benefit from an explicit bijection (or at least a clear statement whether it is one-to-one or many-to-one) between the two classes; the current wording leaves the precise nature of the correspondence implicit.
- Notation: the symbol “almost n-” is used both for precluster tilting modules and for minimal Auslander-Gorenstein algebras; a short remark clarifying that the two uses are independent would avoid possible confusion for readers.
- References: several standard citations on n-Auslander algebras and relative homological dimensions (e.g., works of Iyama, Marczinzik, or Solberg) are missing from the bibliography; adding them would situate the results more clearly within the existing literature.
Simulated Author's Rebuttal
We thank the referee for the positive summary and significance assessment of our work, as well as the recommendation for minor revision. No specific major comments appear in the report, so we provide no point-by-point responses below. We remain available to address any minor issues that may be communicated separately.
Circularity Check
No significant circularity detected
full rationale
The paper defines the relative dominant dimension with respect to an injective module, characterizes algebras of finite relative dominant dimension, introduces almost n-precluster tilting modules, and establishes a correspondence with almost n-minimal Auslander-Gorenstein algebras plus a description of their Gorenstein-projective modules. These are standard definitional and classificatory steps in representation theory that do not reduce any claimed result to its own inputs by construction, fitted parameters renamed as predictions, or load-bearing self-citation chains. The derivation chain is self-contained against external benchmarks in homological algebra and does not exhibit any of the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The category of modules over an artin algebra is abelian with enough injectives and projectives.
invented entities (1)
-
almost n-precluster tilting module
no independent evidence
Reference graph
Works this paper leans on
-
[1]
M. Auslander, M.I. Platzeck, I. Reiten, Coxter functors without dia- grams, Trans. Amer. Math. Soc 250(1979),1-46. 30
work page 1979
-
[2]
M. Auslander, I. Reiten, S.O. Smalø, Representation The ory of Artin Algebras, Cambridge Studies in Advanced Math, 36. Cambridg e Uni- versity Press, Cambridge, 1995
work page 1995
-
[3]
M. Auslander, Ø. Solberg, Relative homology and represe ntation theory I: Relative homology and homologically finite subcat egories, Comm. Algebra 21 (9) (1993) 2995-3031
work page 1993
-
[4]
M. Auslander, Ø. Solberg, Relative homology and represe ntation the- ory II: Relative cotilting theory, Comm. Algebra 21 (9) (199 3) 3033- 3079
-
[5]
M. Auslander, Ø. Solberg, Relative homology and represe ntation the- ory III: Cotilting modules and Wedderburn correspondence, Comm. Algebra 21 (9) (1993) 3081-3097
work page 1993
-
[6]
M. Auslander, Ø. Solberg, Gorenstein algebras and algeb ras with dom- inant dimension at least 2, Comm. Algebra 21(11), 3897-3934 (1993)
work page 1993
- [7]
- [8]
-
[9]
H. Chen, S. K¨ onig, Orhto-symmetric modules, Gorenstei n algebras and derived equivalence, Int. Math. Res. Not. IMRN(22)(201 6) 6979- 7037. 31
-
[10]
H. Chen, C. Xi, Dominant dimension, derived equivalenc es and tilting modules, Israel J. Math. 215(2016), no.1, 349-395
work page 2016
- [11]
-
[12]
Iyama, τ -Categories III: Auslander orders and Auslander-Reiten quivers, Algebr
O. Iyama, τ -Categories III: Auslander orders and Auslander-Reiten quivers, Algebr. Represent. Theory 8 (2005), no. 5, 601-619
work page 2005
-
[13]
Iyama, Auslander correspondence, Adv
O. Iyama, Auslander correspondence, Adv. Math. 210 (20 07), no. 1, 51-82
-
[14]
Iyama, Cluster tilting for higher Auslander algebra s, Adv
O. Iyama, Cluster tilting for higher Auslander algebra s, Adv. Math. 226(2011),1-61
work page 2011
- [15]
-
[16]
M¨ uller, The classification of algebras by dominan t dimension, Canad
B.J. M¨ uller, The classification of algebras by dominan t dimension, Canad. J. Math. 20(1968), 398-409
work page 1968
-
[17]
Marczinzik, On stable modules that are not Gorenstei n projective, arXiv:1709.01132v3
R. Marczinzik, On stable modules that are not Gorenstei n projective, arXiv:1709.01132v3
-
[18]
Miyachi, Injective resolutions of Noetherian rings and cogenerator, Proc
J. Miyachi, Injective resolutions of Noetherian rings and cogenerator, Proc. Amer. Math. Soc. 128(8)(2000) 2233-2242
work page 2000
-
[19]
Dominant dimension and tilting modules
V.C. Nguyen, I. Reiten, G. Todorov, S. Zhu, Dominant dim ension and tilting modules, to appear in Math. Z, arXiv:1706.00475
work page internal anchor Pith review Pith/arXiv arXiv
-
[20]
M. Pressland, J. Sauter, Special tilting modules for al gebras with pos- itive dominant dimension, arXiv:1705.03367. 32 Shen Li: School of Mathematics, Shandong University, PR Chi na E-mail address : fbljs603@163.com Shunhua Zhang: School of Mathematics, Shandong University , PR China E-mail address : shzhang@sdu.edu.cn 33
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.