Searcharxiv⌕ Search

arXiv subjects

Adam Skowyrski

Publications and source records attributed to Adam Skowyrski.

13 recordsLinked to original sources
arXiv2026

Tame symmetric algebras of period four with small Gabriel quivers

The tame symmetric algebras of period four, TSP4 algebras for short, form an important class of algebras, with interesting links to various branches of modern algebra. The study of this class has been recently developed in two major directions. The first embraces new classes of examples of TSP4 algebras, such as virtual mutations and generalized weighted surface algebras, both extending known class of the weighted surface algebras. The second provides new classifications of TSP4 algebras (based on known results for $2$-regular case), which handle algebras, whose Gabriel quivers satisfy more general properties. An ongoing project shades a new light on the combinatorics of such algebras, introducing a new useful tool for their classification, called periodicity shadows. In this paper, we attack the problem of classification of TSP4 algebras, from another perspective, namely, we give a classification of all TSP4 algebras with not too big Gabriel quivers, i.e. having at most $5$ vertices -- but with no restrictions on their structure, as it was the case for previous classifications. The result is based on the application of the notion of periodicity shadow, which allows to compute all possible Gabriel quivers of such algebras (for small number of vertices), and recent results on interated mutations of algebras with periodic simple modules. The main result show that TSP4 algebras with Gabriel quivers having at most $5$ vertices are generalized weighted surface algebras, confirming a general conjecture in this case.

math.RT↗
arXiv2026

Algebras of generalized quaternion type: biregular case

This paper provides the next step towards classification of algebras of generalized quaternion type. Previously algebras with 2-regular Gabriel quiver were classified (a quiver is 2-regular if at each vertex, two arrows start and two arrows end). Here we classify the algebras where at each vertex, either one arrow starts and one arrow ends, or else two arrows start and two arrows end. Our main result shows that that any such algebra (up to socle equivalence) is either a weighted surface algebra, or a higher spherical algebra.

math.RT↗
arXiv2026

Iterated mutations of symmetric periodic algebras

Following methods used by A. Dugas for investigating derived equivalent pairs of (weakly) symmetric algebras, we apply them in a specific situation, obtaining new deep results concerning iterated mutations of symmetric periodic algebras. More specifically, for any symmetric algebra $\Lambda$, and an arbitrary vertex $i$ of its Gabriel quiver, one can define mutation $\mu_i(\Lambda)$ of $\Lambda$ at vertex $i$ via silting mutation of the stalk complex $\La$. Then $\mu_i(\Lambda)$ is again symmetric, and we can iterate this process. We want to understand the order of $\mu_i$, in case the vertex $i$ is $d$-periodic, i.e. the simple module $S_i$ associated to $i$ is periodic of period $d$ (with respect to the syzygy). The main result of this paper shows that then $\mu_i$ has order $d-2$, that is $\mu_i^{d-2}(\Lambda)\cong\Lambda$ (modulo socle), under some additional assumption on the (periodic) projective-injective resolution of $S_i$. Besides, we present briefly some consequences concerning arbitrary periodic vertex and give few sugestive examples showing that this property should hold in general, i.e. without restrictions on the periodic projective resolution.

math.RT↗
arXiv2025

A note on spherical algebras

We classify tame symmetric algebras of period four which are closely related to the spherical algebras introduced in [7]. This note provides a classification in the special case which naturally appears, when dealing with biregular Gabriel quivers.

math.RT↗
arXiv2024

Periodicity shadows II. Computational aspects

This article provides the second part of the research initiated in arXiv:2411.17381, where we introduced and investigated so called periodicity shadows, which are special skew-symmetric matrices related to symmetric algebras with periodic simple modules. In arXiv:2411.17381 we focused on theoretical aspects, whereas here we present complementary cosiderations concerning computational issues. Namely, we discuss an algorithm, which computes all tame periodicity shadows of given size (see Section 2), and then present lists of all tame periodicity shadows of small sizes, that is at most 6.

math.RT↗
arXiv2024

Periodicity shadows I: A new approach to combinatorics of periodic algebras

This article is devoted to introduce a new notion of periodicity shadow, which appeared naturally in the study of combinatorics of tame symmetric algebras of period four, or more generally, algebras of generalized quaternion type. For any such an algebra $\La$, we consider its shadow $\bS_\La$, which is the (signed) adjacency matrix of the Gabriel quiver of $\La$. Studying properties of shadows $\bS_\La$ leads us to the definition of the periodicity shadow, which is basically, a skew-symmetric integer matrix satisfying certain set of conditions motivated by the properties of shadows $\bS_\La$. This turned out to be a very useful tool in describing the combinatorics of Gabriel quivers of algebras of generalized quaternion type, not only for algebras with small Gabriel quivers (i.e. up to $6$ vertices), which it was originally desined for. In this paper, we introduce and briefly discuss this notion and present one of its theoretical applications, which shows how significant it is. Namely, the main result of this paper describes the global shape of the Gabriel quivers of algebras of generalized quaternion type, as quivers obtained from some basic shadows by attaching $2$-cycles, and moreover, postion of the $2$-cycles is restricted by precise rules (see the Main Theorem). Computational aspects are reported in the second part.

math.RT↗
arXiv2024

Local structure of tame symmetric algebras of period four

In this paper we study the structure of Gabriel quivers of tame symmetric algebras of period four. More precisely, we focus on algebras having Gabriel quiver {\it biregular}, i.e. the numbers of arrows starting and ending at any vertex are equal, and do not exceed $2$. We describe the local structure of biregular Gabriel quivers of tame symmetric algebras of period four, including certain idempotent algebras. The main result of this paper shows that, in fact, these Gabriel quivers have local structure exactly as Gabriel quivers of so called {\it weighted surface algebras}, which partially extends known characterization of algebras of generalized quaternion type.

math.RT↗
arXiv2023

Tame symmetric algebras of period four

In this paper we are concerned with the structure of tame symmetric algebras of period four (TSP4 algebras, for short). We will mostly focus on the case when the Gabriel quiver of $A$ is biserial, i.e. there are at most two arrows ending and at most two arrows starting at each vertex, but some of the results can be easily extended to the general case. This serves as a basis for upcoming series of articles devoted to solve the problem of classification of all TSP4 algebras with biserial Gabriel quiver. We present a range of properties (with relatively short proofs) which must hold for the Gabriel quiver of a tame symmetric algebra of period four. Amongst others we show that triangles (and squares) appear naturally in the Gabriel quivers of such algebras, such as for weighted surface algebras [6, 8, 9].

math.RT↗
arXiv2021

Generalized weighted surface algebras

The weighted triangulation algebras associated to triangulation quivers and their socle deformations were recently introduced and studied in [15]-[20] and [2]. These algebras, based on surface triangulations and originated from the theory of cluster algebras, were also proved to be (with some minor exceptions) finite-dimensional tame symmetric and periodic algebras of period 4. In this paper, we introduce a new concept of a generalized triangulation quiver, extending the notion of a triangulation quiver. Inparticular, it is also shown that the generalized triangulation quivers can be constructed from triangulations of orientable surfaces with marked self-foldedtriangles. Moreover, motivated by the recent results of [28], we define and investigate so called weighted generalized triangulation algebras associated to generalized triangulation quivers, which naturally arise from mutations of weighted triangulation algebras.

math.RT↗
arXiv2020

Virtual mutations of weighted surface algebras

The finite-dimensional symmetric algebras over an algebraically closed field, based on surface triangulations, motivated by the theory of cluster algebras, have been extensively investigated and applied. In particular, the weighted surface algebras and their deformations were introduced and studied in [16]-[20], and it was shown that all these algebras, except few singular cases, are symmetric tame periodic algebras of period $4$. In this article, using the general form of a weighted surface algebra from [19], we introduce and study so called virtual mutations of weighted surface algebras, which constitute a new large class of symmetric tame periodic algebras of period $4$. We prove that all these algebras are derived equivalent but not isomorphic to weighted surface algebras. We associate such algebras to any triangulated surface, first taking blow-ups of a family of edges to $2$-triangle discs, and then virtual mutations of their weighted surface algebras. The results of this paper form an essential step towards a classification of all tame symmetric periodic algebras.

math.RT↗
arXiv2020

Quantifier elimination theory and maps which preserve semipositivity

We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory should play more significant role in quantum information theory and other areas as well.

math-ph↗
arXiv2020

On maps which preserve semipositivity and quantifier elimination theory for real numbers

Assume that $\Phi:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ is a superoperator which preserves hermiticity. We give an algorithm determining whether $\Phi$ preserves semipositivity (we call $\Phi$ positive in this case). Our approach to the problem has a model-theoretic nature, namely, we apply techniques of quantifier elimination theory for real numbers. An approach based on these techniques seems to be the only one that allows to decide whether an arbitrary hermiticity-preserving $\Phi$ is positive. Before we go to detailed analysis of the problem, we argue that quantifier elimination for real numbers (and also for complex numbers) can play a significant role in quantum information theory and other areas as well.

math-ph↗