Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2605.08919

Factor systems and geometric structures of strongly graded rings

Joakim Arnlind·Stefan Wagner
View original source ↗Read source document ↗Export metadata ↓

Abstract

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly graded rings form a particularly well-behaved and structurally rich class. In this paper we introduce a notion of factor systems for strongly graded rings, consisting of algebraic data that encode both the bimodule structure of the homogeneous components and their multiplication relations. In particular, this framework makes it possible to carry out explicit computations. We show that strongly graded rings with fixed principal component are classified, up to isomorphism, by conjugacy classes of such factor systems. Conversely, every abstract factor system gives rise to a strongly graded ring realizing it. In this way, the global structure of a strongly graded ring can be reconstructed from algebraic data on the principal component together with the grading group. Factor systems also provide a convenient framework for studying the problem of lifting derivations from the principal component to graded derivations of the whole ring. We derive explicit compatibility conditions for the existence of such lifts and interpret the resulting obstruction in cohomological terms. This leads to an algebraic analogue of the Atiyah sequence for strongly graded rings and to curvature-type invariants measuring the failure of graded lifts to form Lie algebra homomorphisms. The theory is illustrated by Leavitt path algebras.

Explore related subjects

math.RAmath-phmath.MPmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Joakim Arnlind, Stefan Wagner. 2026-05-09. Factor systems and geometric structures of strongly graded rings. https://arxiv.org/abs/2605.08919

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗