arXiv Science⌕ Search

arXiv subjects

Panyue Zhou

Publications and source records attributed to Panyue Zhou.

At least 19 recordsLinked to original sources
arXiv2026

A refined multiplication formula in 2-Calabi-Yau Frobenius extriangulated categories

We prove a multiplication formula for the Wang-Wei-Zhang cluster character on a Hom-finite $2$-Calabi--Yau Frobenius extriangulated category $\mathcal C$ with a cluster-tilting object under the assumption that its stable category has constructible cones with respect to the induced cluster-tilting object. This formula generalizes those obtained by Wang-Wei-Zhang for $\mathcal C$ in the one-dimensional case and by Keller-Plamondon-Qin for (stably) $2$-Calabi-Yau Frobenius or triangulated categories. As a consequence, we express the frozen term in an Auslander-Reiten mesh with the character of a minimal cosyzygy middle term. For acyclic quivers with principal coefficients, we compute these frozen multiplicities in Higgs categories and obtain explicit principal coefficient mesh relations.

math.RT↗
arXiv2026

Igusa--Todorov Algebras and the Auslander--Reiten Conjecture

We prove that every Igusa--Todorov Artin algebra satisfies the Auslander--Reiten conjecture. More precisely, let $V$ be an $n$-Igusa--Todorov witness, and let $t$ be the number of isomorphism classes of nonprojective indecomposable summands of $V$. If a finitely generated module $M$ satisfies $\Ext_A^i(M,A)=0$ for every $i>0$ and $\Ext_A^q(M,M)=0$ for $1\leq q\leq 2t+1$, then $M$ is projective. As applications, algebras of representation dimension at most three and algebras satisfying $J^{2m+1}=0$ for which $A/J^m$ has finite representation type satisfy the Auslander--Reiten conjecture.

math.RT↗
arXiv2026

The Auslander-Reiten conjecture for algebras with radical cube zero

Let $A$ be a split finite-dimensional algebra over a field whose radical $J$ satisfies $J^3=0$, and let $s$ be the number of isomorphism classes of simple $A$-modules. We prove that a non-projective module $M$ with ${\rm Ext}_A^i(M,A)=0$ for all $i>0$ has a non-zero self-extension in some degree between $1$ and $3s+1$. In particular, $A$ satisfies the Auslander--Reiten conjecture, which asserts that every self-orthogonal generator is projective. As a consequence, every finite-dimensional algebra over an algebraically closed field with radical cube zero satisfies the Auslander-Reiten conjecture.

math.RT↗
arXiv2026

A negative answer to a question on tilting objects and two-term complexes

Let $M$ be a silting object in an idempotent complete algebraic triangulated category $\mathcal T$. Put $B={\rm End}_{\mathcal T}(M)$, and let $\mathbb{P}_M\colon {\rm pr}(M)\to K^{[-1,0]}({\rm proj}B)$ be the presentation functor associated with $M$. It was recently asked whether $\mathbb{P}_M(T)$ must be tilting whenever $T\in{\rm pr}(M)$ is a tilting object. We answer this question in the negative by giving an explicit finite-dimensional example. Namely, for $$ Λ=k(1\xrightarrowα2\xrightarrowβ3\xrightarrowγ4)/(αβγ),$$ we construct a silting object $M\in K^b({\rm proj}Λ)$ and a tilting object $T=ΣΛ\in{\rm pr}(M)$ for which $$ {\rm dim}_k{\rm Hom}_{K^b({\rm proj}B)}\bigl(\mathbb{P}_M(T),Σ^{-1}\mathbb{P}_M(T)\bigr)=1.$$ Thus $\mathbb{P}_M(T)$ is a two-term silting complex but not a tilting complex.

math.RT↗
arXiv2026

A right pretriangulated category which is not right triangulated

Chen, Liu, Lu, and Zhang recently constructed a pretriangulated category with invertible suspension in which Verdier's octahedral axiom fails. We introduce a general enlargement construction for right pretriangulated categories and show that it preserves axioms (RTR1)-(RTR3), while failure of (RTR4) is detected by the forgetful functor. Applied to their type $A_5$ example, the construction yields a right pretriangulated category that is not right triangulated. In this example, the suspension is faithful but not essentially surjective.

math.RT↗
arXiv2026

A pre-$(n+2)$-angulated category which is not $(n+2)$-angulated

We construct an explicit pre-$9$-angulated category which is not $9$-angulated, thereby giving a genuinely higher counterexample to the implication from pre-$(n+2)$-angulated to $(n+2)$-angulated. The underlying additive category is the category of finitely generated projective right modules over the preprojective algebra $Π(A_5)$ over $\mathbb F_2$. The construction is obtained by taking an odd power of the twisted complete comparison used by Chen-Liu-Lu-Zhang in their pre-triangulated counterexample and by showing that the resulting pre-$9$-angulation fails the higher mapping-cone axiom.

math.RT↗
arXiv2026

Auslander-Reiten (n+2)-angles and local finiteness

Let $\mathcal C$ be an $(n+2)$-angulated category. Zhou proved that, when $n$ is odd, if the Auslander-Reiten $(n+2)$-angles generate the relations for the Grothendieck group of $\mathcal C$, then $\mathcal C$ is locally finite. Whether the corresponding statement remains valid for even $n$ is still open. In this paper, we give a partial affirmative answer to this problem by establishing a sufficient condition under which the same implication holds for even $n$. We further show that our sufficient condition is satisfied by a broad class of examples, thereby demonstrating that the result extends well beyond isolated cases.

math.RT↗
arXiv2026

Ideal $n$-cotorsion pairs in Frobenius extriangulated categories

Motivated by the correspondence between ideal cotorsion pairs in Frobenius exact categories and those in their stable categories, we introduce the notion of an ideal $n$-cotorsion pair in an extriangulated category. We study the relationship between ideal $n$-cotorsion pairs in a Frobenius extriangulated category $\mathcal C$ and those in its stable category $\underline{\mathcal C}=\mathcal C/ω$. Our main result shows that $(\mathcal I,\mathcal J)$ is an ideal $n$-cotorsion pair in $\mathcal C$ if and only if $(\mathcal I/ω,\mathcal J/ω)$ is an ideal $n$-cotorsion pair in $\underline{\mathcal C}$. This provides a bridge between higher ideal approximation theory in Frobenius extriangulated categories and its counterpart in their stable categories. Additionally, in Krull--Schmidt exact categories, we establish a bijective correspondence between complete cotorsion pairs and complete ideal cotorsion pairs, answering a question of Fu, Guil Asensio, Herzog and Torrecillas.

math.RT↗
arXiv2026

Quasi-abelian quotients in extriangulated categories

Let $(\mathcal{E}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category. Motivated by the theory of hereditary algebras, we introduce the notion of a hereditary-type subcategory $\mathcal{W}\subseteq \mathcal{E}$. We prove that the quotient $\mathcal{E}/\mathcal{W}$ is a quasi-abelian category, that is, an additive category with kernels and cokernels in which kernels are stable under pushouts and cokernels are stable under pullbacks. Moreover, we show that $\mathcal{E}/\mathcal{W}$ is abelian if and only if $\mathcal{W}$ is a cluster tilting subcategory in a suitable relative extriangulated structure. Several examples are provided to illustrate the main results, showing that our approach both recovers known abelian hearts and yields new abelian or quasi-abelian quotients beyond classical settings.

math.RT↗
arXiv2026

Chains of model structures arising from cotorsion pairs on extriangulated categories

The main aim of this paper is to study chains of model structures arising from cotorsion pairs in extriangulated categories. Starting with a hereditary Hovey triple, we construct further hereditary Hovey triples whose homotopy categories are equivalent under suitable completeness assumptions, thereby refining results due to El Maaouy and Shao-Wang-Zhang. As an application, we consider objects of finite Gorenstein injective dimension with respect to a proper class of $\mathbb{E}$-triangles. Under mild set-theoretic assumptions, we obtain a chain of model structures whose homotopy categories are all triangulated equivalent to a common stable category. This recovers known results for Gorenstein injective modules and yields new examples in the derived category of a ring when the proper class is given by cohomological ghost triangles.

math.RT↗
arXiv2026

Model structure arising from one hereditary complete cotorsion pair on extriangulated categories

Hovey's correspondence between model structures and cotorsion pairs in the setting of abelian categories, has been generalized by Nakaoka-Palu, using two cotorsion pairs, to the setting of weakly idempotent complete extriangulated categories, and the aim of the paper is to give an analogous correspondence using one (hereditary) cotorsion pair generalizing in this setting work of Beligiannis-Reiten and Cui, Lu and Zhang. Furthermore, we provide methods to construct model structures from silting objects in weakly idempotent complete extriangulated categories and co-$t$-structures on triangulated categories.

math.RT↗
arXiv2025

Triangulated categories arising from n-fold matrix factorizations

Let $\mathcal{A}$ be an additive category and let $T\colon \mathcal{A}\rightarrow \mathcal{A}$ be an additive functor equipped with a natural transformation $ω\colon \mathrm{Id}_{\mathcal{A}}\rightarrow T$. We prove that the homotopy category of $n$-fold matrix factorizations of $ω$, denoted ${\rm HFact}_{n}(\mathcal{A},T,ω)$, admits a natural structure of a right triangulated category. In particular, when $T$ is an automorphism, the homotopy category ${\rm HFact}_{n}(\mathcal{A},T,ω)$ becomes triangulated. Furthermore, if $\mathcal{A}$ is a Frobenius exact category and $T$ is an autoequivalence, we obtain that the category ${\rm Fact}_{n}(\mathcal{A},T,ω)$ of $n$-fold $(\mathcal{A},T)$-factorizations of $ω$ is a Frobenius exact category. Consequently, the stable category of the Frobenius exact category ${\rm Fact}_{n}(\mathcal{A},T,ω)$ is a triangulated category.

math.RT↗
arXiv2025

Grothendieck groups of repetitive cluster categories

In order to study cluster-tilted algebras and their intermediate coverings, Zhu introduced the notion of repetitive cluster categories, defined as the orbit categories $\mathcal D^b(\mathcal H)/\langle(τ^{-1}Σ)^p\rangle$ for $1\leq p\in\mathbb{N}$, where $\mathcal H$ is a hereditary abelian category with tilting objects. In this paper, we compute partial but essential results on the Grothendieck groups of the repetitive cluster categories $\mathcal D^b({\rm mod}KA_n)/\langle(τ^{-1}Σ)^p\rangle$ and $\mathcal D^b({\rm mod} KD_n)/\langle(τ^{-1}Σ)^p\rangle$. Our results extend the known computations for classical cluster categories, reveal new structural patterns arising from the repetitive parameter $p$, and provide further evidence of the close interplay between Grothendieck groups, Auslander-Reiten theory, and Coxeter transformations.

math.RT↗
arXiv2025

$n$-cotorsion pairs in a recollement of extriangulated categories

Let $(\mathcal{A}, \mathcal{B}, \mathcal{C})$ be a recollement of extriangulated categories.In this paper, we first show how to obtain an $n$-cotorsion pair in $\mathcal{B}$ from given $n$-cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$. Conversely, we prove that an $n$-cotorsion pair in $\mathcal{B}$ can induce $n$-cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$ under suitable conditions. As applications, several related results are provided to illustrate our construction.

math.RT↗
arXiv2025

Mutation of $n$-cotorsion pairs in extriangulated categories

In this article, we introduce the notion of $n$-cotorsion pairs in extriangulated categories, which extends both the cotorsion pairs established by Nakaoka and Palu and the $n$-cotorsion pairs in triangulated categories developed by Chang and Zhou. We further prove that any mutation of an $n$-cotorsion pair remains an $n$-cotorsion pair. As applications, we provide a geometric characterization of $n$-cotorsion pairs in $n$-cluster categories of type $A_{\infty}$, and we realize mutations of $n$-cotorsion pairs geometrically via rotations of certain configurations of $n$-admissible arcs.

math.RT↗
arXiv2025

Extriangulated length categories: torsion classes and $τ$-tilting theory

This paper introduces the notion of extriangulated length categories, whose prototypical examples include abelian length categories and bounded derived categories of finite dimensional algebras with finite global dimension. We prove that an extriangulated category $\mathcal{A}$ is a length category if and only if $\mathcal{A}$ admits a simple-minded system. Subsequently, we study the partially ordered set ${\rm tor}_Θ(\mathcal{A})$ of torsion classes in an extriangulated length category $(\mathcal{A},Θ)$ from the perspective of lattice theory. It is shown that ${\rm tor}_Θ(\mathcal{A})$ forms a complete lattice, which is further proved to be completely semidistributive and algebraic. Moreover, we describe the arrows in the Hasse quiver of ${\rm tor}_Θ(\mathcal{A})$ using brick labeling. Finally, we introduce the concepts of support torsion classes and support $τ$-tilting subcategories in extriangulated length categories and establish a bijection between these two notions, thereby generalizing the Adachi-Iyama-Reiten bijection for functorially finite torsion classes.

math.RT↗
arXiv2025

Normed modules and the categorification of integrations, series expansions, and differentiations

We explore the assignment of norms to $\mathitΛ$-modules over a finite-dimensional algebra $\mathitΛ$, resulting in the establishment of normed $\mathitΛ$-modules. Our primary contribution lies in constructing two new categories $\mathscr{N}\!\!or^p$ and $\mathscr{A}^p$, where each object in $\mathscr{N}\!\!or^p$ is a normed $\mathitΛ$-module $N$ limited by a special element $v_N\in N$ and a special $\mathitΛ$-homomorphism $δ_N: N^{\oplus 2^{\dim\mathitΛ}} \to N$, the morphism in $\mathscr{N}\!\!or^p$ is a $\mathitΛ$-homomorphism $θ: N\to M$ such that $θ(v_N) = v_M$ and $θδ_N = δ_Mθ^{\oplus 2^{\dim\mathitΛ}}$, and $\mathscr{A}^p$ is a full subcategory of $\mathscr{N}\!\!or^p$ generated by all Banach modules. By examining the objects and morphisms in these categories. We establish a framework for understanding the categorification of integration, series expansions, and derivatives. Furthermore, we obtain the Stone--Weierstrass approximation theorem in the sense of $\mathscr{A}^p$.

math.RT↗