Search arXivSearch

arXiv · 2503.08288

Numerical homological regularities over positively graded algebras

Abstract

We study numerical regularities for complexes over noncommutative noetherian locally finite $\mathbb{N}$-graded algebras $A$ such as CM (cm)-regularity, Tor (tor)-regularity (Ext (ext)-regularity) and Ex (ex)-regularity, which are the supremum or infimum degrees of some associated canonical complexes. We show that for any right bounded complex $X$ with finitely generated cohomologies, the supremum degree of $R\underline{\text{Hom}}_A(X, A_0)$ coincides with the opposite of the infimum degree of $X$ if $A_0$ is semisimple. If $A$ has a balanced dualizing complex and $A_0$ is semisimple, we prove that the CM-regularity of $X$ coincides with the supremum degree of $R\underline{\text{Hom}}_A(A_0,X)$ for any left bounded complex $X$ with finitely generated cohomologies. Several inequalities concerning the numerical regularities and the supremum or infimum degree of derived Hom or derived tensor complexes are given for noncommutative noetherian locally finite $\mathbb{N}$-graded algebras. Some of these are generalizations of Jørgensen's results on the inequalities between the CM-regularity and Tor-regularity, some are new even in the connected graded case. Conditions are given under which the inequalities become equalities by establishing two technical lemmas. Following Kirkman, Won and Zhang, we also use the numerical AS-regularity (resp. little AS-regularity) to study Artin-Schelter regular property (finite-dimensional property) for noetherian $\mathbb{N}$-graded algebras. We prove that the numerical AS-regularity of $A$ is zero if and only if that $A$ is an $\mathbb{N}$-graded AS-regular algebra under some mild conditions, which generalizes a result of Dong-Wu and a result of Kirkman-Won-Zhang. If $A$ has a balanced dualizing complex and $A_0$ is semisimple, we prove that the little AS-regularity of $A$ is zero if and only if $A$ is finite-dimensional.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Quanshui Wu, Bojuan Yi. 2025-08-18. Numerical homological regularities over positively graded algebras. https://arxiv.org/abs/2503.08288

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On solutions of singular Sylvester equations in quaternions

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

math.RA

Positivity preservers over finite fields II

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified in every case except when $n=2$, $q\equiv1\pmod4$, and $q$ is not a square. We settle this remaining case, thereby completing the classification of entrywise positivity preservers over every finite field and in every dimension $n\ge2$. Our proof is based on a novel idempotent reduction that not only resolves the remaining case but also yields a self-contained proof of the complete classification, while avoiding several technical results used in the earlier arguments. As a further application of the same reduction, we classify the entrywise preservers of strongly nonsingular matrices, i.e., matrices whose leading principal minors are all nonzero. We also prove a more general theorem in odd characteristic: for every prescribed sign pattern of nonzero leading principal minors of matrices of a fixed dimension $n\ge2$, the entrywise preservers are precisely the positive scalar multiples of field automorphisms. Thus, in odd characteristic, preserving any nonzero leading-principal-minor sign pattern surprisingly forces the preservation of every such sign pattern.

math.RA

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA