http://arxiv.org/api/LJ/stFUOFtYiqe0zIhLJSe6odUs 2025-04-22T00:00:00-04:00 18389 60 15 http://arxiv.org/abs/2504.09044v1 2025-04-12T01:56:39Z 2025-04-12T01:56:39Z

A quadratic Novikov algebra is a Novikov algebra $(A, \circ)$ with a symmetric and nondegenerate bilinear form $B(\cdot,\cdot)$ satisfying $B(a\circ b, c)=-B(b, a\circ c+c\circ a)$ for all $a$, $b$, $c\in A$. This notion appeared in the theory of Novikov bialgebras. In this paper, we first investigate some properties of quadratic Novikov algebras and give a decomposition theorem of quadratic Novikov algebras. Then we present a classification of quadratic Novikov algebras of dimensions $2$ and $3$ over $\mathbb{C}$ up to isomorphism. Finally, a construction of quadratic Novikov algebras called double extension is presented and we show that any quadratic Novikov algebra containing a nonzero isotropic ideal can be obtained by double extensions. Based on double extension, an example of quadratic Novikov algebras of dimension 4 is given.

Xiaofeng Dong Yanyong Hong http://arxiv.org/abs/2504.09011v1 2025-04-11T23:35:50Z 2025-04-11T23:35:50Z

We show that the coordinate ring of a simply-connected simple algebraic group $G$ over the complex number field coincides with Berenstein--Fomin--Zelevinsky's cluster algebra and its upper cluster algebra at least when $G$ is not of type $F_4$.

Hironori Oya 12 pages http://arxiv.org/abs/2504.08920v1 2025-04-11T19:01:26Z 2025-04-11T19:01:26Z

We describe all Witt invariants of anti-hermitian forms over a quaternion algebra with its canonical involution. They are combinations of appropriately defined $\lambda$-powers, similarly to the case of quadratic forms, but the module of invariants is no longer free over those operations.

Nicolas Garrel 16 pages http://arxiv.org/abs/2504.08693v1 2025-04-11T16:59:54Z 2025-04-11T16:59:54Z

The aim of this paper is to generalize the Core Inverse to arbitrary vector spaces using finite potent endomorphisms. As an application, the core partial order is studied in the set of finite potent endomorphisms (of index lesser or equal than one), thus generalizing the theory of this order to infinite dimensional vector spaces. Moreover, a pre-order is presented using the CN-decomposition of a finite potent endomorphism. Finally, some questions concerning this pre-order are posed. Throughout the paper, some remarks are also made in the framework of arbitrary Hilbert spaces using bounded finite potent endomorphisms.

Diego Alba Alonso arXiv admin note: text overlap with arXiv:2103.04089 by other authors http://arxiv.org/abs/2403.18498v6 2025-04-11T09:15:29Z 2024-03-27T12:19:57Z

Global representation rings were discovered by Sarah Witherspoon in 1995 and the Knutson Index was introduced by the second author in 2022. In the present paper we introduce the Knutson Index for general commutative rings and study it for Burnside rings and global representation rings. We also introduce the global table of a finite group, that encompasses both the character table and the Burnside table of marks. We discuss what properties of a group can be recovered from its global table.

Dylan Johnston Diego Martín Duro Dmitriy Rumynin Version 6: Minor typos corrected for journal submission http://arxiv.org/abs/1912.07489v7 2025-04-11T09:06:30Z 2019-12-16T16:34:31Z

Kronecker's 1856 paper contains a solvability theorem that is useful to construct unsolvable algebraic equations. We show how Kronecker's solvability theorem can be derived naturally via a polynomial complete decomposition method. This method is similar to D\"orrie, but we fill a gap that appears in his proof.

Yan Pan Yuzhen Chen This is the version I sent to Prof. Jensen (cujensen[at]math.ku.dk) at 07:35:04 UTC on Nov 09, 2020 http://arxiv.org/abs/2504.08350v1 2025-04-11T08:30:55Z 2025-04-11T08:30:55Z

There exists an algorithm for the factorization of motion polynomials that works in generic cases. It hinges on the invertibility of a certain coefficient occurring in the algorithm. If this coefficient is not invertible, factorizations may or may not exist. In the case of existence we call this an irregular factorization. We characterize quadratic motion polynomials with irregular factorizations in terms of algebraic equations and present examples whose number of unique factorizations range from one to infinitely many. For two special sub-cases we show the unique existence of such polynomials. In case of commuting factors we obtain the conformal Villarceau motion, in case of rigid body motions the circular translation.

Daren A. Thimm Zijia Li Hans-Peter Schröcker Johannes Siegele http://arxiv.org/abs/2504.04481v2 2025-04-11T06:21:41Z 2025-04-06T13:25:53Z

Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1,C_2)$-clonoids of Boolean functions for certain pairs $(C_1,C_2)$ of clones of Boolean functions. Namely, when $C_1$ is a subclone (a proper subclone, resp.) of the clone of all linear (affine) functions and $C_2$ is a subclone of the clone generated by a semilattice operation and constants (a subclone of the clone of all $0$- or $1$-separating functions, resp.), then the lattice of $(C_1,C_2)$-clonoids is uncountable. Combining this fact with several earlier results, we obtain a complete classification of the cardinalities of the lattices of $(C_1,C_2)$-clonoids for all pairs $(C_1,C_2)$ of clones on $\{0,1\}$.

Erkko Lehtonen 19 pages, a few typos fixed, abstract rewritten. arXiv admin note: text overlap with arXiv:2412.01107 http://arxiv.org/abs/2504.07908v1 2025-04-10T16:29:54Z 2025-04-10T16:29:54Z

In this paper we investigate majorization for probability distributions and column stochastic matrices. We show that majorizations in general can be reduced to these sets. We characterize linear operators that preserve majorization for probability distributions, and show their equivalence to operators preserving vector majorization. Our main result provides a complete characterization of linear preservers of strong majorization for column stochastic matrices, revealing a richer structure of preservers, than in the standard setting. As a prerequisite to this characterization, we solve the problem of characterizing linear preservers of majorization for zero-sum vectors, which yields a new structural insight into the classical results of Ando and of Li and Poon.

Pavel Shteyner 27 pages http://arxiv.org/abs/2404.15929v4 2025-04-10T15:13:48Z 2024-04-24T15:39:53Z

Skew bracoids have been shown to have applications in Hopf-Galois theory. We show that a certain family of skew bracoids correspond bijectively with left cancellative semibraces. A consequence of this correspondence is that skew bracoids in this family can be used to obtain and study solutions of the set-theoretic Yang--Baxter equation; we study this process and the resulting solutions. We give numerous examples of skew bracoids satisfying our hypothesis, drawing upon a variety of constructions in the literature.

Ilaria Colazzo Alan Koch Isabel Martin-Lyons Paul J. Truman 14 pages http://arxiv.org/abs/2504.03659v2 2025-04-10T12:30:25Z 2025-03-09T21:46:25Z

This paper explores applications of the so-called Freese's technique, a classical approach to study the congruence variety of a given algebra. We leverage this tool to investigate lattices that are admissible as congruence sublattice of a given algebra. In particular, we present a novel characterization of congruence modular varieties, Taylor varieties, and varieties satisfying a non-trivial congruence identity by means of lattice omission.

Stefano Fioravanti arXiv admin note: text overlap with arXiv:2302.11452 http://arxiv.org/abs/2405.08471v3 2025-04-10T12:26:27Z 2024-05-14T09:54:39Z

MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative monoids, and some further connecting axioms are satisfied. Every MV-algebra in the signature $\{\oplus,\neg,0\}$ is term equivalent to an algebra that has an MV-monoid as a reduct, by defining, as standard, $1:= \neg 0$, $x \odot y := \neg(\neg x \oplus\neg y)$, $x \vee y := (x \odot \neg y) \oplus y$ and $x \wedge y := \neg(\neg x \vee \neg y)$. Particular examples of MV-monoids are positive MV-algebras, i.e. the $\{\vee, \wedge, \oplus, \odot, 0, 1\}$-subreducts of MV-algebras. Positive MV-algebras form a peculiar quasivariety in the sense that, albeit having a logical motivation (being the quasivariety of subreducts of MV-algebras), it is not the equivalent quasivariety semantics of any logic. In this paper, we study the lattices of subvarieties of MV-monoids and of positive MV-algebras. In particular, we characterize and axiomatize all almost minimal varieties of MV-monoids, we characterize the finite subdirectly irreducible positive MV-algebras, and we characterize and axiomatize all varieties of positive MV-algebras.

Marco Abbadini Paolo Aglianò Stefano Fioravanti http://arxiv.org/abs/2406.14665v2 2025-04-10T12:11:10Z 2024-06-20T18:34:32Z

Let $R$ be a domain of Krull dimension one, we study when the class $\mathcal{F}$ of modules over $R$ that are arbitrary direct sums of finitely generated torsion-free modules is closed under direct summands. If $R$ is local, we show that $\mathcal{F}$ is closed under direct summands if and only if any indecomposable, finitely generated, torsion-free module has local endomorphism ring. If, in addition, $R$ is noetherian this is equivalent to say that the normalization of $R$ is a local ring. If $R$ is an $h$-local domain of Krull dimension $1$ and $\mathcal{F}_R$ is closed under direct summands, then the property is inherited by the localizations of $R$ at maximal ideals. Moreover, any localizations of $R$ at a maximal ideal, except maybe one, satisfies that any finitely generated ideal is $2$-generated. The converse is true when the domain $R$ is, in addition, integrally closed, or noetherian semilocal or noetherian with module-finite normalization. Finally, over a commutative domain of finite character and with no restriction on the Krull dimension, we show that the isomorphism classes of countable generated modules in $\mathcal{F}$ are determined by their genus.

Román Álvarez Dolors Herbera Pavel Příhoda 62 pages http://arxiv.org/abs/2504.07620v1 2025-04-10T10:08:23Z 2025-04-10T10:08:23Z

In this paper we investigate equivariant recollements of abelian (resp. triangulated) categories. We first characterize when a recollement of abelian (resp. triangulated) categories induces an equivariant recollement, i.e. a recollement between the corresponding equivariant abelian (resp. triangulated) categories. We further investigate singular equivalences in the context of equivariant abelian recollements. In particular, we characterize when a singular equivalence induced by the quotient functor in an abelian recollement lift to a singular equivalence induced by the equivariant quotient functor. As applications of our results: (i) we construct equivariant recollements for the derived category of a quasi-compact, quasi-separated scheme where the action is coming from a subgroup of the automorphism group of the scheme and (ii) we derive new singular equivalences between certain skew group algebras.

Miltiadis Karakikes Aristeides Kontogeorgis Chrysostomos Psaroudakis 49 pages, Comments are welcome http://arxiv.org/abs/2301.09561v3 2025-04-10T09:26:49Z 2023-01-23T17:23:04Z

In this paper we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon\colon C\textsf{-Comod}\longrightarrow C^*\textsf{-Mod}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $\Theta\colon C\textsf{-Contra}\longrightarrow C^*\textsf{-Mod}$ be the natural forgetful functor. We prove that the functor $\Upsilon$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $\Theta$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\operatorname{Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge0$. We call such coalgebras "weakly finitely Koszul".

Leonid Positselski LaTeX 2e with xy-pic; 44 pages, 3 commutative diagrams; v.2: Lemma 3.2 and Proposition 3.3 added, Sections 8-10 added, category-theoretic lemmas from Sections 4-7 moved to Appendix; v.3: Remark 8.2 inserted, references added and updated, several misprints corrected