https://arxiv.org/api/5rb4hFNSKiym/b5GBq3uF+kphSU 2026-06-13T14:25:25Z 20068 45 15 http://arxiv.org/abs/2606.09107v1 2026-06-08T06:59:48Z

We introduce the braided cochain complex and the braided cohomology of braided coalgebras in linear monoidal categories, and compare the braided cohomology of braided coalgebras living in different linear monoidal categories using relative morphisms. The symmetric cohomology was introduced for groups by Staic, and was generalized to cocommutative Hopf algebras by Shiba, Sanada, and the second author. This cohomology involves degreewise actions of the symmetric groups on a cochain complex, which come from the usual symmetric monoidal structure on the category of modules. We generalize this framework by dealing with arbitrary linear monoidal categories, and by replacing symmetries with braidings defined merely on an object. We first give a convenient description of relative morphisms, and apply this result to prove that the braided cochain complex of quasi-triangular bialgebras is a braided Morita invariant under a certain condition, which is automatically satisfied in the finite-dimensional case.

2026-06-08T06:59:48Z 36 pages. Comments welcome! Shota Inoue Ayako Itaba http://arxiv.org/abs/2601.13791v2 2026-06-08T00:26:39Z

In this paper, we first introduce the concept of Nijenhuis BiHom-Lie algebras. We then establish the equivalence relations between the Manin triples of Nijenhuis BiHom-Lie algebras, Nijenhuis BiHom-Lie bialgebras, and matched pairs of Nijenhuis BiHom-Lie algebras. Furthermore, we show that such an equivalence also holds for differential Lie bialgebras, together with their associated Manin triples and corresponding matched pairs.

2026-01-20T09:49:01Z Comments are welcome! 27 pages Jiaqi Liu Lin Gao Yuanyuan Zhang http://arxiv.org/abs/2605.20422v2 2026-06-08T00:16:14Z

We introduce the notion of $p$-adic asymptotics, or $p$-asymptotics, to the context of finite-index subgroup and subalgebra enumeration. For finitely generated groups and finite-dimensional algebras, we connect these asymptotics with the poles of their associated local zeta functions. Our two main results establish the smallest real pole for local zeta functions associated with residually nilpotent algebras, as well as its simplicity and residue whenever this algebra is graded. We thereby provide proof to parts of two conjectures raised by Rossmann and give a precise description of the $p$-asymptotic behaviour inside these algebras.

2026-05-19T19:18:58Z 26 pages Tomas Reunbrouck http://arxiv.org/abs/2606.08677v1 2026-06-07T15:28:18Z

Given an algebra B over a field k, we study conditions under which a Lie subalgebra of Der(B) is locally finite as a set of derivations. As an application of our results, we show that if X is a quasi-affine variety over an arbitrary field k, and if L is a finitely generated solvable Lie subalgebra of Der O(X) consisting of locally finite derivations, then L is locally finite. If, moreover, k is algebraically closed and of characteristic zero, and X is irreducible and affine, then L is integrable.

2026-06-07T15:28:18Z 8 pages Michael Chitayat Daniel Daigle Andriy Regeta http://arxiv.org/abs/2509.06486v3 2026-06-07T13:46:56Z

We generalize the theory of integer $C$-, $G$-matrices in cluster algebras to the real case. By a skew-symmetrizing method, we can reduce the problem of skew-symmetrizable patterns to skew-symmetric patterns. In this sense, the sign-coherence of a more general real class called of quasi-integer type can be inherited directly from that of integer $C$-, $G$-matrices proved by Gross-Hacking-Keel-Kontsevich. However, the sign-coherence of real $C$-, $G$-matrices does not always hold in general. For this purpose, we classify all the rank $2$ case and the finite type case via the Coxeter diagrams. We also give two conjectures about the real exchange matrices and $C$-, $G$-matrices. Under these conjectures, the dual mutation, $G$-fan structure and synchronicity property hold. As an application, the isomorphism of several kinds of exchange graphs is studied.

2025-09-08T09:49:23Z In this version, we improved the exposition and the structure throughout the paper (especially the Sections 4, 6, 7 in the last version). We also added some explanations and references concerning related works. Moreover, we simplified several unnecessary proofs and made the statements more clear (especially about Proposition 3.7, Proposition 4.13 and Proposition 6.1 in the present version) Ryota Akagi Zhichao Chen http://arxiv.org/abs/2606.08627v1 2026-06-07T13:37:36Z

In this paper, we develop a bialgebra theory for diassociative algebras. Inspired by the notion of a quadratic diassociative algebra, we introduce the concept of a Manin triple of diassociative algebras. We then define a diassociative bialgebra, which is shown to be equivalent to a Manin triple of diassociative algebras through a specific matched pair of diassociative algebras. We further formulate the diassociative Yang-Baxter equation (DYBE) in a diassociative algebra, and prove that symmetric solutions of the DYBE give rise to diassociative bialgebras. To construct such solutions, we also introduce relative Rota-Baxter operators and pre-diassociative algebras. As a key application, we lift the known relationships between diassociative algebras and other algebraic structures to the bialgebra level. In particular, we show that every diassociative bialgebra naturally induces a Leibniz bialgebra, thereby extending Loday's classical result that a diassociative algebra gives rise to a Leibniz algebra. Moreover, we provide explicit constructions of Lie bialgebras via tensor products of diassociative bialgebras and quadratic dendriform algebras.

2026-06-07T13:37:36Z 30 pages. Comments welcome Hui Hu Yizhen Li Guilai Liu Shanghua Zheng http://arxiv.org/abs/2211.02122v2 2026-06-07T13:24:11Z

A differential analogue of the conjecture of Reichstein, Rogalski, and Zhang in algebraic dynamics is here established: if $X$ is a projective variety over an algebraically closed field of characteristic zero which admits a global algebraic vector field $v:X\to TX$ such that $(X,v)$ has no proper invariant subvarieties then $X$ is an abelian variety. Vector fields on abelian varieties with this property are also examined. Some of the analysis works in the more general context of $D$-varieties over differential fields: projective $D$-varieties without proper $D$-subvarieties are homogeneous. But the main theorem does not extend: an example of a $D$-variety structure on the projective line without proper $D$-subvarieties is given.

2022-11-03T19:55:05Z 9 pages; added Section 6 dealing with $D$-varieties over general differential fields Jason Bell Colin Ingalls Rahim Moosa Matthew Satriano http://arxiv.org/abs/2602.14383v2 2026-06-07T12:23:33Z

The paper develops a Brown--Comenetz dual framework for Neeman's representability theorems for triangulated categories with a single compact generator (Invent. math., 244:531-616, 2026). Starting from a locally Hom-finite approximable triangulated category, we use the Brown--Comenetz duals of compact objects to construct a triangulated subcategory $\E$, which plays the role of an injective-side analogue of the compact subcategory $\T^c$. We introduce the intrinsic subcategory $\T_c^+$, dual to Neeman's subcategory $\T_c^-$, and characterize its objects by strong $\E$-coapproximating systems and homotopy inverse limits. Under the compact silting hypothesis, we prove Brown representability theorems identifying $(\T_c^+)^{\op}$ with locally finite $\E$-homological functors and $(\T_c^b)^{\op}$ with finite $\E$-homological functors. We also establish localization results for recollements on the Brown--Comenetz side and derive applications to derived categories of finite-dimensional algebras.

2026-02-16T01:16:21Z 35 pages. Comments are welcome Xiaohu Chen Yongliang Sun Yaohua Zhang http://arxiv.org/abs/2606.08363v1 2026-06-06T22:40:11Z

We observe that the Kronecker product of tensors is the operation that converts the determinant polynomial into Cayley's first hyperdeterminant. We apply the Kronecker product to iterated matrix multiplication, which results in the hypercomputant, a VNP-complete and VW[1]-complete polynomial whose hardness we prove via the equivariance of the Kronecker product. The construction works over arbitrary commutative semirings and also for the tensor algebra and the exterior algebra. For the tensor algebra this gives a version of "noncommutative VNP", and for polynomials over the nonnegative real numbers this gives a version of "monotone VNP", each with the hypercomputant as the complete object. We take a parameterized complexity viewpoint and compare the noncommutative setting and the monotone setting. Using standard techniques we obtain optimal algebraic branching program width lower bounds in both settings, and these are notably not always the same. We also prove the polystability of the hypercomputant and that its isotypic components are characterized by their stabilizer.

2026-06-06T22:40:11Z Christian Ikenmeyer http://arxiv.org/abs/2606.08354v1 2026-06-06T22:04:46Z

We prove that a simple unital Jordan superalgebra of arbitrary dimension belongs to the list of known simple unital superalgebras or lies in a certain proper subvariety.

2026-06-06T22:04:46Z Ivan Shestakov Efim Zelmanov http://arxiv.org/abs/2606.08299v1 2026-06-06T18:52:03Z

We study a canonical $G_2$-equivariant operator $h:\mathbb{O}\otimes_{\mathbb{R}}V\to \mathbb{O}\otimes_{\mathbb{R}}V$ defined using only octonion multiplication, where $V$ is the standard $7$-dimensional $G_2$-module. We first compute its ordinary real spectrum using the $G_2$-decomposition of $\mathbb{O}\otimes_{\mathbb{R}}V$. We then analyze the octonionic right-eigenvalue problem $$ h(\widehat w)=\widehat wλ, \qquad λ\in\mathbb{O}. $$ After fixing a complex slice $\mathbb{R}\oplus\mathbb{R}\widehat u\subset\mathbb{O}$, the problem becomes a real spectral problem for $H_{u,Q}=h-Q R_{\widehat u}$, whose residual symmetry is $\mathrm{SU}(3)$. The resulting $\mathrm{SU}(3)$-block decomposition yields two explicit spectral loci in each slice: a quartic curve and a circle. The equations defining these loci are independent of the slice, and the full right spectrum is obtained by allowing $\widehat u$ to vary over the unit sphere in $\operatorname{Im}\mathbb{O}$.

2026-06-06T18:52:03Z 56 pages, 1 figure Sergey Grigorian http://arxiv.org/abs/2606.08263v1 2026-06-06T17:17:46Z

We introduce a generalization of generalized Weyl Poisson algebras. This is a Poisson analogue of the twisted generalized Weyl algebras defined by Mazorchuk and Turowska. We prove existence of these algebras in two ways, using Ore extensions and by using skew Laurent Poisson algebras. It is shown that this structure is preserved under tensor products, Poisson twists, and by taking invariant rings. Finally, we prove a simplicity criterion for these Poisson algebras.

2026-06-06T17:17:46Z Jason Gaddis http://arxiv.org/abs/2606.08201v1 2026-06-06T14:39:16Z

We prove that for any Lie ring $\mathfrak{R}$ and any commutator-preserving bijection $α: \mathfrak{gl}_n(K) \rightarrow \mathfrak{R}$, the map $α$ is additive on $\mathfrak{sl}_n(K)$, where $n \ge 2$ and $K$ is an arbitrary field. Using this result we find criteria for Lie rings $\mathfrak{gl}_n(K)$ and $\mathfrak{sl}_n(K)$ to be unique addition. We also show that any commutator-preserving injection of Lie rings $β: \mathfrak{sl}_2(K) \rightarrow \mathfrak{S}$ is additive. This is the first result on additivity of commutator-preserving injections.

2026-06-06T14:39:16Z Gennadiy Sosnov http://arxiv.org/abs/2306.14995v44 2026-06-05T23:05:00Z

A parametrized collection of flat (conic pseudo-)Finsler spaces is derived from application of a particular transform procedure to the space of normalized trace forms of a real finite-dimensional unital associative algebra. The associated collection of co-(pseudo-)Finsler symplectic manifolds is thereby indexed by an inherited set of parameters that control the Lagrangian submanifold dynamics. Largrangian submanifolds are defined with respect to the indicatrix H(q,p)=1/2, with the t=0 slice such that q is fixed by the unit Euclidean sphere in configuration space and p is directed inward. The wavefronts resulting from projection of the Lagrangian submanifold time slices to configuration space in the context of variation of the other control parameters leads to a trove of novel algebra isomorphism invariants associated with a cascade of caustics and their bifurcations typically arising from algebras that do not admit a direct sum decomposition whose non-simple blocks all have dimension less than four. The above procedure is replicated at all relevant orders of an algebra's infinitesimal neighborhoods as defined by a Cuntz-Qullen tower. The general character of this set of invariants appropriately reflects the wildness of the algebra isomorphism problem.

2023-06-26T18:23:27Z arXiv admin note: text overlap with arXiv:2207.11358 [author note: arXiv:2207.11358 was withdrawn due to the overlap]. There is necessarily some overlap with the much shorter arXiv:2209.14119, since the latter concerns an alternative geometrical motivation for the program of the present paper Fred Greensite http://arxiv.org/abs/2606.07832v1 2026-06-05T20:45:41Z

Public-key cryptosystems eliminate the requirement for pre-shared secret keys by enabling encryption with a publicly disclosed key and decryption with a corresponding private key. In this article we generalize the public-key cryptosystems to ternary algebraic structures, with particular attention to ElGamal as a representative family. We introduce the necessary algebraic background for nonderived ternary structures, including special elements, ternary group rings, and a matrix ternarization procedure that maps binary rings and group rings to antidiagonal symbolic matrices closed under ternary multiplication. Building on these foundations, we formulate a ternary analogue of the ElGamal three-step protocol (key generation, ephemeral encryption, and decryption via querelements) and derive explicit ternary power and querelement formulas that enable correct decryption. Concrete instantiations and numerical examples over a ternary fraction field, a matrix-ternarized finite group ring, and a finite \((6,3)\)-ring (field) validate the construction and illustrate admissible word-length quantization and cycle behaviour of ternary powers. The ternary framework highlights two practical advantages: richer algebraic structure (querelements replace binary inverses) that increases algebraic complexity for attackers, and higher information density (matrix ternarization transfers paired/plaintext vectors). Formal hardness assumptions, optimized parameter choices, and comprehensive security and performance analyses remain necessary future work.

2026-06-05T20:45:41Z 28 pages, revtex4.2 Steven Duplij Qiang Guo Na Fu