SearcharxivSearch

arXiv subjects

Jinbi Zhang

Publications and source records attributed to Jinbi Zhang.

15 recordsLinked to original sources

Bounded $t$-structures on the category of strongly bounded objects

Strongly bounded objects in a weakly approximable triangulated category are known to relate closely to global dimension and to play a significant role in the uniqueness problem for triangulated enhancements. In this paper, we investigate when the full subcategory of strongly bounded objects admits a bounded $t$-structure. Our main result, under a finiteness condition termed the finite strong finitistic dimension, states that this happens exactly when the subcategory agrees with the full subcategory of bounded objects in the ambient triangulated category. In that case, the bounded $t$-structure is unique up to equivalence; even more, the uniqueness holds unconditionally on the full subcategory of bounded objects.

math.RT

Tilting realizations of derived-equivalent matrix centralizer algebras

Let $A$ be the centralizer algebra of a matrix over an arbitrary field. We solve the fixed-source realization problem for matrix centralizers by proving that the matrix centralizer algebras derived equivalent to $A$ are precisely the opposite endomorphism algebras of tilting modules over $A$. We classify the basic tilting modules and determine their opposite endomorphism algebras. The tilting poset is a product of right weak orders on symmetric groups, with one factor for each primary block and degree equal to the number of distinct exponents in that block. Together with the center, this poset recovers the multiset of these numbers across all primary blocks, although it does not canonically match them with the local center factors. For each primary block, the target algebras are obtained by permuting the successive gaps between exponents, and their isomorphism classes are determined by the stabilizer of the gap word. Consequently, the quotient of the labeled mutation graph by target-algebra isomorphism is a Schreier multigraph. We also characterize when the weak-order orientation descends to its nonloop edges.

math.RT

Non-standard derived equivalences over arbitrary fields

In 1991 Rickard asked whether every derived equivalence between finite-dimensional algebras over a common field is standard. Hu, Xi and Zhang constructed non-standard derived equivalences over the field with two elements and conjectured that Rickard's question has a positive answer in characteristic different from two. We disprove this conjecture by constructing non-standard derived autoequivalences over every field. In fact, each field admits infinitely many finite-dimensional algebras with such autoequivalences. The proof is characteristic-free and is based on a supertrace identity for matrices over truncated polynomial algebras. We also give a second family over finite fields. Consequently, Rickard's question has a negative answer over every field.

math.RT

On the asymmetry of finite delooping levels

For any Artin algebra, we construct a related algebra that increases the delooping level on one side while decreasing it to zero on the opposite side. This dual construction corresponds to Cummings' original work on finite dimensional algebras, later extended to rings by Henning Krause. As an application, we show that the finite delooping level is not left-right symmetric.

math.RT

Localization theorems for weakly approximable triangulated categories

Weakly approximable triangulated categories, introduced by Neeman, provide a powerful framework for studying localization phenomena in triangulated categories. In this paper, we establish new localization theorems showing that, under mild assumptions, a recollement of weakly approximable triangulated categories induces short exact sequences on several natural triangulated subcategories as well as on the associated (big) singularity categories. As applications, we illustrate our results in the derived categories of rings, DG algebras, and schemes.

math.RT

Finiteness of homological dimensions in triangulated categories

In a general triangulated category, the finiteness of the finitistic dimension serves as a prerequisite for a categorical obstruction, via the singularity category, to the existence of bounded $t$-structures. In this paper, we investigate the finitistic, big finitistic, and global dimensions, and establish explicit inequalities that relate these dimensions of the middle category in a recollement of triangulated categories to those of the outer categories. This provides a unified framework for extending some known results on the homological dimensions of ordinary rings to weakly approximable triangulated categories.

math.RT

New invariants of stable equivalences of algebras

We show that stable equivalences between Artin algebras without nodes preserve homological data that provide upper bounds for finitistic dimension, and that stable equivalences between Artin algebras with positive $ν$-dominant dimensions induce stable equivalences of their Frobenius parts. As an application of our new methods developed, we verify the Auslander--Reiten conjecture on stable equivalences for two rather different classes of algebras: principal centralizer matrix algebras over arbitrary fields and Frobenius-finite algebras over algebraically closed fields.

math.RT

Igusa-Todorov distances

A new homological dimension, called the Igusa-Todorov distance, is introduced to measure how far an Artin algebra is from being an Igusa-Todorov algebra. An upper bound for the dimension is established in terms of the Loewy length, leading to the conclusion that every Artin algebra has a finite Igusa-Todorov distance.Using this dimension, we derive an upper bound for the dimension of the singularity category. Furthermore, we investigate how the Igusa-Todorov distance behaves under various relationships between algebras. Specifically, we demonstrate that stable equivalences preserve the Igusa-Todorov distances for algebras without nodes, prove that it is an invariant under singular equivalence of Morita type with level, and establish bounds for the distances of algebras involved in a recollement of derived module categories. Consequently, the Igusa-Todorov distance is an invariant under derived equivalences of algebras.

math.RT

Extension dimensions under singular equivalences and recollements

The extension dimensions of an Artin algebra give a reasonable way of measuring how far an algebra is from being representation-finite. In this paper we mainly study extension dimensions linked by recollements of derived module categories and singular equivalences of Morita type with level, and establish a series of new inequalities and relationships among their extension dimensions.

math.RT

A recollement approach to Han's conjecture

A conjecture due to Y. Han asks whether that Hochschild homology groups of a finite dimensional algebra vanish for sufficiently large degrees would imply that the algebra is of finite global dimension. We investigate this conjecture from the viewpoint of recollements of derived categories. It is shown that for a recollement of unbounded derived categories of rings which extends downwards (or upwards) one step, Han's conjecture holds for the ring in the middle if and only if it holds for the two rings on the two sides and hence Han's conjecture is reduced to derived $2$-simple rings. Furthermore, this reduction result is applied to Han's conjecture for Morita contexts rings and exact contexts. Finally it is proved that Han's conjecture holds for skew-gentle algebras, category algebras of finite EI categories and Geiss-Leclerc-Schröer algebras associated to Cartan triples.

math.RT

Categorical properties and homological conjectures for bounded extensions of algebras

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show that for a bounded extension $B\subset A$, the algebras $A$ and $B$ are singularly equivalent of Morita type with level. Additionally, under mild conditions, their stable categories of Gorenstein projective modules and Gorenstein defect categories are equivalent, respectively. Some homological conjectures are also investigated for bounded extensions, including Auslander-Reiten conjecture, finististic dimension conjecture, Fg condition, Han's conjecture, and Keller's conjecture. Applications to trivial extensions and triangular matrix algebras are given. In course of proof, we give some handy criteria for a functor between module categories to induce triangle functors between stable categories of Gorenstein projective modules and Gorenstein defect categories, which generalise some known criteria, and hence might be of independent interest.

math.RT

Extension dimensions: derived equivalences and stable equivalences

We show that the difference of the extension dimensions of two derived equivalent algebras is bounded above by the minimal length of a tilting complex associated with a derived equivalence, and that the extension dimension is an invariant under the stable equivalence. In addition, we provide two sufficient conditions such that the extension dimension is an invariant under particular derived equivalences.

math.RT

Invariant algebras of matrices and symmetric polynomials of partitions

For a field $R$ of characteristic $p\ge 0$ and a matrix $c$ in the full $n\times n$ matrix algebra $M_n(R)$ over $R$, let $S_n(c,R)$ be the centralizer algebra of $c$ in $M_n(R)$. We show that $S_n(c,R)$ is a Frobenius-finite, $1$-Auslander-Gorenstein, and gendo-symmetric algebra, and that the extension $S_n(c,R)\subseteq M_n(R)$ is separable and Frobenius. Further, we study the isomorphism problem of invariant matrix algebras. Let $σ$ be a permutation in the symmetric group $Σ_n$ and $c_σ$ the corresponding permutation matrix in $M_n(R)$. We give sufficient and necessary conditions for the invariant algebra $S_n(c_σ,R)$ to be semisimple. If $R$ is an algebraically closed field, we establish a combinatoric characterization of when two semisimple invariant $R$-algebras are isomorphic in terms of the cycle types of permutations.

math.RT

Structure of centralizer algebras

Given an $n\times n$ matrix $c$ over a unitary ring $R$, the centralizer of $c$ in the full $n\times n$ matrix ring $M_n(R)$ is called a principal centralizer matrix ring, denoted by $S_n(c,R)$. We investigate its structure and prove: $(1)$ If $c$ is an invertible matrix with a $c$-free point, or if $R$ has no zero-divisors and $c$ is a Jordan-similar matrix with all eigenvalues in the center of $R$, then $M_n(R)$ is a separable Frobenius extension of $S_{n}(c,R)$ in the sense of Kasch. $(2)$ If $R$ is an integral domain and $c$ is a Jordan-similar matrix, then $S_n(c,R)$ is a cellular $R$-algebra in the sense of Graham and Lehrer. In particular, if $R$ is an algebraically closed field and $c$ is an arbitrary matrix in $M_n(R)$, then $S_n(c,R)$ is always a cellular algebra, and the extension $S_n(c,R)\subseteq M_n(R)$ is always a separable Frobenius extension.

math.RT