http://arxiv.org/api/DT7t7yCWkpRzwVisEzKSS7XkQ9c 2025-04-22T00:00:00-04:00 18389 105 15 http://arxiv.org/abs/2406.02933v2 2025-04-06T02:21:10Z 2024-06-05T04:46:51Z

This document presents the solutions to the exercises in the book "Albert algebras over commutative rings" published by Cambridge University Press, 2024, as well as errata and addenda.

Skip Garibaldi Holger P. Petersson Michel L. Racine Approximately 300 pages. v2 adds errata and addenda http://arxiv.org/abs/2504.04146v1 2025-04-05T11:34:50Z 2025-04-05T11:34:50Z

This article focuses on approximately prime rings and approximately prime ideals in proximal relator spaces, especially in descriptive proximity spaces. In particular, we define some binary operations, including the product of two approximately prime ideals and the direct product of approximately prime rings, and study the approximately principle prime ideals. Moreover, we introduce some fundamental properties of these approximately algebraic structures.

Maram Almahariq James Francis Peters Tane Vergili 9 pages, 1 figure http://arxiv.org/abs/2504.04092v1 2025-04-05T07:43:45Z 2025-04-05T07:43:45Z

Let $(A,\mu)$ be a nonassociative algebra over a field of characteristic zero. The polarization process allows us to associate two other algebras, and this correspondence is one-one, one commutative, the other anti-commutative. Assume that $\mu$ satisfies a quadratic identity $\sum_{\sigma \in \Sigma_3} a_{\sigma}\mu(\mu(x_{\sigma(i)},x_{\sigma(j)}),x_{\sigma(k)}-a_{\sigma}\mu(x_{\sigma(i)},\mu(x_{\sigma(j)},x_{\sigma(k)})=0.$ Under certain conditions, the polarization of such a multiplication determines an anticommutative multiplication also verifying a quadratic identity. Now only two identities are possible, the first is the Jacobi identity which makes this anticommutative multiplication a Lie algebra and the multiplication $\mu$ is Lie admissible, the second, less classical is given by $[[x,y],z]=[[y,z],x]=[[z,x],y].$ Such a multiplication is here called Acaa for Anticommutative and Antiassociative. We establish some properties of this type of algebras.

Elisabeth Remm 12 pages http://arxiv.org/abs/2504.04078v1 2025-04-05T06:46:12Z 2025-04-05T06:46:12Z

In this paper, we study the rationality problem for multinorm one tori, a natural generalization of norm one tori. We give a necessary and sufficient condition for the multinorm one tori to be stably rational and retract rational in the case that split over finite Galois extensions with nilpotent Galois groups. This generalizes the result of Endo in 2011 on the rationality problem for norm one tori. To accomplish it, we develop the technique of Endo in 2001, and construct some reduction methods for an investigation of the rationality problem for arbitrary multinorm one tori.

Sumito Hasegawa Kazuki Kanai Yasuhiro Oki 43 pages http://arxiv.org/abs/2208.06357v2 2025-04-04T19:46:59Z 2022-08-12T16:28:14Z

Leavitt path algebras are associated to di(rected )graphs and there is a combinatorial procedure (the reduction algorithm) making the digraph smaller while preserving the Morita type. We can recover the vertices and most of the arrows of the completely reduced digraph from the module category of a Leavitt path algebra of polynomial growth. We give an explicit classification of all irreducible representations of when the coefficients are a commutative ring with 1. We define a Morita invariant filtration of the module category by Serre subcategories and as a consequence we obtain a Morita invariant (the weighted Hasse diagram of the digraph) which captures the poset of the sinks and the cycles of $\Gamma$, the Gelfand-Kirillov dimension and more. When the Gelfand-Kirillov dimension of the Leavitt path algebra is less than 4, the weighted Hasse diagram (equivalently, the complete reduction of the digraph) is a complete Morita invariant.

Ayten Koç Murad Özaydın 2 short subsections were added http://arxiv.org/abs/2501.06105v2 2025-04-04T15:44:00Z 2025-01-10T16:58:57Z

Given an (anisotropic) Hermitian space $H$, the collection $P(H)$ of at most one-dimensional subspaces of $H$, equipped with the orthogonal relation $\perp$ and the zero linear subspace $\{0\}$, is a linear orthoset and up to orthoisomorphism any linear orthoset of rank $\geq 4$ arises in this way. We investigate in this paper the correspondence of structure-preserving maps between Hermitian spaces on the one hand and between the associated linear orthosets on the other hand. Our particular focus is on adjointable maps. We show that, under a mild assumption, adjointable maps between linear orthosets are induced by quasilinear maps between Hermitian spaces and if the latter are linear, they are adjointable as well. Specialised versions of this correlation lead to Wigner-type theorems; we see, for instance, that orthoisomorphisms between the orthosets associated with at least $3$-dimensional Hermitian spaces are induced by quasiunitary maps. In addition, we point out that orthomodular spaces of dimension $\geq 4$ can be characterised as irreducible Fr\'echet orthosets such that the inclusion map of any subspace is adjointable. Together with a transitivity condition, we may in this way describe the infinite-dimensional classical Hilbert spaces.

Jan Paseka Thomas Vetterlein J. Math. Anal. Appl. 550 (2025), 129494 http://arxiv.org/abs/2310.01521v3 2025-04-04T13:04:15Z 2023-10-02T18:11:39Z

The classical Artin approximation (AP) reads: any formal solution of a system of (analytic, resp. algebraic) equations of implicit function type is approximated by ``ordinary" solutions (i.e. analytic, resp. algebraic). Morphisms of scheme-germs, e.g. Maps((k^n,o),(k^m,o)) are usually studied up to the left-right equivalence. The natural question is the left-right version of Artin approximation: when is the formal left-right equivalence of morphisms approximated by the ``ordinary" (i.e. analytic, resp. algebraic) equivalence? In this case the standard Artin approximation is not directly applicable, as the involved (functional) equations are not of implicit function type. Moreover, the na\"ive extension does not hold in the analytic case, because of Osgood-Gabrielov-Shiota examples. The left-right version of Artin approximation (LRAP) was established by M. Shiota for morphisms that are either Nash or [real-analytic and of finite singularity type]. We establish LRAP and its stronger version of P\l oski (LRAPP) for Maps(X,Y) where X,Y are analytic/algebraic germs of schemes of any characteristic. More precisely: * LRAP, LRAPP, the inverse Artin approximation (and its P\l oski's version) hold for algebraic morphisms and for finite analytic morphisms. * LRAP holds for analytic morphisms of weakly-finite singularity type. (For char>0 we impose certain integrability condition.) This latter class of morphisms of ``weakly-finite singularity type" (which we introduce) is of separate importance. It extends naturally the traditional class of morphisms of ``finite singularity type", while preserving their non-pathological behavior. The definition goes via the higher critical loci and higher discriminants of morphisms with singular targets. We establish basic properties of these critical loci. In particular: any map is finitely (right) determined by its higher critical loci.

Dmitry Kerner The final version J. Lond. Math. Soc., II. Ser. 111, No. 1, (2025) http://arxiv.org/abs/2504.03288v1 2025-04-04T09:16:28Z 2025-04-04T09:16:28Z

Near-vector spaces extend linear algebra tools to non-linear algebraic structures, enabling the study of non-linear problems. However, explicit constructions remain rare. This paper introduces a broad computable family of near-vector spaces, called multiplicative, and explores their properties. This family is fully determined over finite, real, and complex fields. We also discuss the existence of infinite coproducts, and products in the category of near-vector spaces. Finally, we introduce the complexification of a multiplicative near-vector space over the real numbers.

L. Boonzaaier S. Marques D. Moore http://arxiv.org/abs/2504.03240v1 2025-04-04T07:41:43Z 2025-04-04T07:41:43Z

We introduce regular sequences and associated Koszul resolutions for monoids in the category of functors over an essentially small linear symmetric monoidal category. Next we define polynomials over such monoids. We compute the Hochschild cohomology functors and prove a relative analogue of Hilbert's syzygy theorem for polynomials over tensor idempotent commutative monoids.

Serge Bouc Nadia Romero http://arxiv.org/abs/2504.03057v1 2025-04-03T22:10:31Z 2025-04-03T22:10:31Z

We introduce the notion of a homological integral for an infinite-dimensional weak Hopf algebra and use the homological integral to prove several structure theorems. For example, we prove that the Artin--Schelter property and the Van den Bergh condition are equivalent for a noetherian weak Hopf algebra, and that the antipode is automatically invertible in this case. We also prove a decomposition theorem that states that any weak Hopf algebra finite over an affine center is a direct sum of Artin--Schelter Gorenstein, Cohen--Macaulay, GK dimension homogeneous weak Hopf algebras.

Daniel Rogalski Robert Won James J. Zhang 29 pages http://arxiv.org/abs/2503.19387v2 2025-04-03T17:30:32Z 2025-03-25T06:44:26Z

Let $F$ be a field. We show that the largest irredundant generating sets for the algebra of $n\times n $ matrices over $F$ have $2n-1$ elements when $n>1$. (A result of Laffey states that the answer is $2n-2$ when $n>2$, but its proof contains an error.) We further give a classification of the largest irredundant generating sets when $n\in\{2,3\}$ and $F$ is algebraically closed. We use this description to compute the dimension of the variety of $(2n-1)$-tuples of $n\times n$ matrices which form an irredundant generating set when $n\in\{2,3\}$, and draw some consequences to Zariski-locally redundant generation of Azumaya algebras. In the course of proving the classification, we also determine the largest sets $S$ of subspaces of $F^3$ with the property that every $V\in S$ admits a matrix stabilizing every subspace in $S-\{V\}$ and not stabilizing $V$.

Yonatan Blumenthal Uriya First 20 pages. Comments are welcome. Changes from last version: Very mild corrections. Added acknowledgments http://arxiv.org/abs/2503.08288v2 2025-04-03T09:49:48Z 2025-03-11T11:00:21Z

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\o 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.

Quanshui Wu Bojuan Yi 53 pages http://arxiv.org/abs/2504.02428v1 2025-04-03T09:33:50Z 2025-04-03T09:33:50Z

We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on $S$. We call such $S$ a DSC semigroup. It is well known that all finite groups are DSC, and easy to see that every DSC semigroup must be simple. Building on this, we show that for broad classes of semigroups -- including periodic, stable, inverse and several well-known types of simple semigroups -- the only DSC members are groups. However, it turns out that there exist non-group DSC semigroups, which we obtain utilising a construction introduced by Byleen for the purpose of constructing interesting congruence-free semigroups. Such examples can additionally be regular or bisimple.

Callum Barber Nik Ruškuc http://arxiv.org/abs/2504.02410v1 2025-04-03T09:00:58Z 2025-04-03T09:00:58Z

Let $S(\infty)$ denote the infinite symmetric group formed by the finitary permutations of the set of natural numbers; this is a countable group. We introduce its virtual group algebra, a completion of the conventional group algebra $\mathbb C[S(\infty)]$. The virtual group algebra is obtained by taking large-$n$ limits of the finite-dimensional group algebras $\mathbb C[S(n)]$ in the so-called tame representations of $S(\infty)$. We establish a connection with the centralizer construction of Molev-Olshanski [J. Algebra, 237 (2001), 302-341; arXiv:math/0002165] and Drinfeld-Lusztig degenerate affine Hecke algebras. This makes it possible to describe the structure of the virtual group algebra. Then we extend the results to wreath products $G\wr S(\infty)$ with arbitrary finite groups $G$.

Irina Devyatkova Grigori Olshanski 51 pp http://arxiv.org/abs/2504.02371v1 2025-04-03T08:04:24Z 2025-04-03T08:04:24Z

Let $Q$ be a finite acyclic quiver and $A_Q$ the cluster algebra of $Q$. It is well-known that for each field $k$, the additive equivalence classes of support tilting $kQ$-modules correspond bijectively with the clusters of $A_Q$. The aim of this paper is to generalize this result to any ring indecomposable commutative Noetherian ring $R$, that is, the additive equivalence classes of 2-term silting complexes of $RQ$ correspond bijectively with the clusters of $A_Q$. As an application, for a Dynkin quiver $Q$, we prove that the torsion classes of $\mathrm{mod} RQ$ corresponds bijectively with the order preserving maps from $\mathrm{Spec} R$ to the set of clusters.

Osamu Iyama Yuta Kimura 10 pages