http://arxiv.org/api/V/jBYqYxT/B29c6jF9qBK2ce8BE 2025-04-22T00:00:00-04:00 18389 120 15 http://arxiv.org/abs/2504.01746v1 2025-04-02T13:57:34Z 2025-04-02T13:57:34Z

A hereditarily atomic von Neumann algebra $A$ is a $W^*$ product of matrix algebras, regarded as the underlying function algebra of a quantum set. Projections in $A\overline{\otimes}A^{\circ}$ are interpreted as quantum binary relations on $A$, with the supremum of all $p\otimes (1-p)$ representing quantum inequality. We prove that the symmetrized weak$^*$-closed linear span of all such quantum-inequality projections is precisely the symmetric summand of the joint kernel of multiplication and opposite multiplication, a result valid without the symmetrization qualification for plain matrix algebras. The proof exploits the symmetries of the spaces involved under the compact unitary group of $A$, and related results include a classification of those von Neumann algebras (hereditarily atomic or not) for which the unitary group operates jointly continuously with respect to the weak$^*$ topology.

Alexandru Chirvasitu 18 pages + references http://arxiv.org/abs/2504.01693v1 2025-04-02T12:49:39Z 2025-04-02T12:49:39Z

An $SL_k$-tiling is a bi-infinite array of integers having all adjacent $k\times k$ minors equal to one and all adjacent $(k+1)\times (k+1)$ minors equal to zero. Introduced and studied by Bergeron and Reutenauer, $SL_k$-tilings generalize the notion of Conway-Coxeter frieze patterns in the case $k=2$. In a recent paper, Short showed a bijection between bi-infinite paths of reduced rationals in the Farey graph and $SL_2$-tilings. We extend this result to higher $k$ by constructing a bijection between $SL_k$-tilings and certain pairs of bi-infinite strips of vectors in $\mathbb{Z}^k$ called paths. The key ingredient in the proof is the connection to Pl\"ucker friezes and Grassmannian cluster algebras. As an application, we obtain results about periodicity, duality, and positivity for tilings.

Zachery Peterson Khrystyna Serhiyenko comments welcome http://arxiv.org/abs/2504.01363v1 2025-04-02T05:13:00Z 2025-04-02T05:13:00Z

The isomorphism problem of regular Higman-Thompson groups was solved in arXiv:1006.1759, via embedding it into the Leavitt algebra. In this paper, we will expand these results to embed the Higman-Thompson groups of unfolding trees of directed graphs into the Leavitt path algebra. This embedding allows us to show that any isomorphism of rooted Leavitt path algebras induces an isomorphism between Higman-Thompson groups.

Roman Gorazd http://arxiv.org/abs/2412.15112v3 2025-04-01T22:40:47Z 2024-12-19T17:54:53Z

We study homological invariants of the Steinberg algebra $\mathcal{A}_k(\mathcal{G})$ of an ample groupoid $\mathcal{G}$ over a commutative ring $k$. For $\mathcal{G}$ principal or Hausdorff with ${\mathcal{G}}^{\rm{Iso}}\setminus{\mathcal{G}}^{(0)}$ discrete, we compute Hochschild and cyclic homology of $\mathcal{A}_k(\mathcal{G})$ in terms of groupoid homology. For any ample Hausdorff groupoid $\mathcal{G}$, we find that $H_*(\mathcal{G})$ is a direct summand of $HH_*(\mathcal{A}_k(\mathcal{G}))$; using this and the Dennis trace we obtain a map $\overline{D}_*:K_*(\mathcal{A}_k(\mathcal{G}))\to H_n(\mathcal{G},k)$. We study this map when $\mathcal{G}$ is the (twisted) Exel-Pardo groupoid associated to a self-similar action of a group $G$ on a graph, and compute $HH_*(\mathcal{A}_k(\mathcal{G}))$ and $H_*(\mathcal{G},k)$ in terms of the homology of $G$, and the $K$-theory of $\mathcal{A}_k(\mathcal{G})$ in terms of that of $k[G]$.

Guido Arnone Guillermo Cortiñas Devarshi Mukherjee 53 pages. References added in second version and minor corrections in the third http://arxiv.org/abs/2504.01124v1 2025-04-01T18:51:03Z 2025-04-01T18:51:03Z

The aim of this paper is to study the class of quasicomplemented distributive nearlattices. We investigate $\alpha$-filters and $\alpha$-ideals in quasicomplemented distributive nearlattices and some results on ideals-congruence-kernels. Finally, we also study the notion of Stone distributive nearlattice and give a characterization by means $\sigma$-filters.

Ismael Calomino http://arxiv.org/abs/2501.08151v2 2025-04-01T16:35:37Z 2025-01-14T14:26:17Z

In this work, we study the BPHZ renormalisation via multi-indices, a combinatorial structure extremely succesful for describing scalar valued singular SPDEs. We propose the multi-indices counterpart of the Hopf algebraic program initiated by Connes and Kreimer on the renormalisation of Feynman diagrams. The construction relies on a well-chosen extraction-contraction coproduct of multi-indices equipped with a correct symmetry factor. We illustrate our construction on the renormalisation of the $ \Phi^4 $ measure.

Yvain Bruned Yingtong Hou 40 pages http://arxiv.org/abs/2504.00868v1 2025-04-01T14:56:57Z 2025-04-01T14:56:57Z

In the article we study the simple unital communitative three-dimensional algebras over an algebraically closed field of characteristic not equal to 2. It is proved that every simple unital communitative three-dimensional algebra of nil-rank 2 is isotopic to Jordan algebra of a symmetric bilinear nondegenerate form on a two-dimensional vector space.

Vita Glizburg Sergey Pchelintsev in Russian language http://arxiv.org/abs/2504.00838v1 2025-04-01T14:27:10Z 2025-04-01T14:27:10Z

We construct a family of finitely generated infinite periodic groups. The basic example is a 2-group, called the tetrahedron group. We generalize the construction by suggesting a family of infinite finitely generated dice groups. We provide weak conditions under which dice groups are periodic, where orders of elements are products involving finitely many given primes.

Victor Petrogradsky http://arxiv.org/abs/2503.20317v2 2025-04-01T11:10:29Z 2025-03-26T08:33:37Z

Recently, Venkatesh extended the category equivalence between affine algebraic groups and Harish-Chandra pairs, which was proved by the author in the supersymmetric context, to the situation of the Verlinde category in positive characteristic. But the proof is incomplete at some basic point, the author thinks. Amending that we refine the result. Our construction of an affine algebraic group scheme from a Harish-Chandra pair, which uses functor points and formal group schemes, is more conceptual and simpler than the known ones of the existing literature. In the same situation we prove tensor product decomposition of commutative Hopf algebras not necessarily of finite type, which is new.

Akira Masuoka Corrected the proof of Lemma 3.7; added details to some other places http://arxiv.org/abs/2503.15938v2 2025-04-01T01:37:01Z 2025-03-20T08:25:55Z

In this paper, we study the theory of non-abelian extensions of a Leibniz conformal algebra $R$ by a Leibniz conformal algebra $H$ and prove that all the non-abelian extensions are classified by non-abelian $2$nd cohomology $H^2_{nab}(R,H)$ in the sense of equivalence. Then we introduce a differential graded Lie algebra $\mathfrak{L}$ and show that the set of its Maurer-Cartan elements in bijection with the set of non-abelian extensions. Finally, as an application of non-abelian extension, we consider the inducibility of a pair of automorphisms about a non-abelian extension, and give the fundamental sequence of Wells of Leibniz conformal algebra $R$. Especially, we discuss the extensibility problem of derivations about an abelian extension of $R$.

Jun Zhao Bo Hou Xin Zhou http://arxiv.org/abs/2504.00089v1 2025-03-31T18:00:02Z 2025-03-31T18:00:02Z

In this paper, we give a description of the self-injective dimension of string algebras and obtain a necessary and sufficient condition for a string algebra to be Gorenstein.

Houjun Zhang Dajun Liu Yu-Zhe Liu 15 pages, 12 figures http://arxiv.org/abs/2503.24103v1 2025-03-31T13:56:23Z 2025-03-31T13:56:23Z

In 2021, Maurice Chayet and Skip Garibaldi provided an explicit construction of a commutative non-associative algebra on the second smallest representation of $E_8$ (of dimension $3875$) adjoined with a unit. In fact, they define such an algebra $A(\mathfrak{g})$ for each simple Lie algebra $\mathfrak{g}$, in terms of explicit but ad-hoc formulas. We discovered that their algebras $A(\mathfrak{g})$ have a natural interpretation in terms of affine vertex algebras, and their ad-hoc formulas take an extremely simple form in this new interpretation. It is our hope that this point of view will lead to a better understanding of this interesting class of algebras.

Tom De Medts Louis Olyslager http://arxiv.org/abs/2503.24094v1 2025-03-31T13:45:22Z 2025-03-31T13:45:22Z

Let $M_n(\mathbb{F})$ be the algebra of $n \times n$ matrices over a field $\mathbb{F}$ of characteristic not equal to $2$. If $n\ge 2$, we show that an arbitrary map $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ is Jordan multiplicative, i.e. it satisfies the functional equation $$ \phi(XY+YX)=\phi(X)\phi(Y)+\phi(Y)\phi(X), \quad \text{for all } X,Y \in M_n(\mathbb{F}) $$ if and only if one of the following holds: either $\phi$ is constant and equal to a fixed idempotent, or there exists an invertible matrix $T \in M_n(\mathbb{F})$ and a ring monomorphism $\omega: \mathbb{F} \to \mathbb{F}$ such that $$ \phi(X)=T\omega(X)T^{-1} \quad \text{ or } \quad \phi(X)=T\omega(X)^tT^{-1}, \quad \text{for all } X \in M_n(\mathbb{F}), $$ where $\omega(X)$ denotes the matrix obtained by applying $\omega$ entrywise to $X$. In particular, any Jordan multiplicative map $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ with $\phi(0)=0$ is automatically additive.

Ilja Gogić Mateo Tomašević 13 pages, closely related to [arxiv.org/abs/2503.14116] http://arxiv.org/abs/2410.22181v2 2025-03-31T13:11:14Z 2024-10-29T16:17:15Z

We extend the equivalence by Cockett and Garner between restriction monoids and ample categories to the setting of Boolean range semigroups which are non-unital one-object versions of range categories. We show that Boolean range semigroups are equivalent to ample topological categories where the range map $r$ is open, and \'etale Boolean range semigroups are equivalent to biample topological categories. These results yield the equivalence between \'etale Boolean range semigroups and Boolean birestriction semigroups and a characterization of when a Boolean restriction semigroup admits a compatible cosupport operation. We also recover the equivalence between Boolean birestriction semigroups and biample topological categories by Kudryavtseva and Lawson. Our technique builds on the usual constructions relating inverse semigroups with ample topological groupoids via germs and slices.

Ganna Kudryavtseva 42 pages, revised version http://arxiv.org/abs/2308.07230v4 2025-03-31T07:33:41Z 2023-08-14T16:11:24Z

We consider the problem of classifying gradings by groups on a finite-dimensional algebra $A$ (with any number of multilinear operations) over an algebraically closed field. We introduce a class of gradings, which we call almost fine, such that every $G$-grading on $A$ is obtained from an almost fine grading on $A$ in an essentially unique way, which is not the case with fine gradings. For abelian groups, we give a method of obtaining all almost fine gradings if fine gradings are known. We apply these ideas to the case of semisimple Lie algebras in characteristic $0$: to any abelian group grading with nonzero identity component, we attach a (possibly nonreduced) root system and, in the simple case, construct an adapted grading by this root system.

Alberto Elduque Mikhail Kochetov 18 pages. To appear in Doc. Math