http://arxiv.org/api/IvDCg2eLCzDkdrYeTb1R7qzrBbI 2025-04-22T00:00:00-04:00 18389 90 15 http://arxiv.org/abs/2504.05969v1 2025-04-08T12:26:52Z 2025-04-08T12:26:52Z

The problem of extending derivations of a field $F$ to an $F-$algebra $B$ is widely studied in commutative algebra and non-commutative ring theory. For example, every derivation of $F$ extends to $B$ if $B$ is a separable algebraic extension or a central simple algebra over $F.$ We unify and generalize these results by showing that a derivation $d$ of $F$ with the field of constants $C$ extends to a finite dimensional algebra $B$ if $B$ is a form of some $C-$algebra having a smooth automorphism scheme $\rm G$. Furthermore, we show that the set of derivations of $B$ that extend the derivation $d$ of $F$ is in bijection with the set of derivations $\delta$ such that $(Y,\delta)$ is a differential $\rm G_F-$torsor where $Y$ is the $\rm G_F-$torsor corresponding to $B$.

Manujith K. Michel Chitrarekha Sahu 4 pages http://arxiv.org/abs/2504.02728v2 2025-04-08T12:06:21Z 2025-04-03T16:11:25Z

We construct a tangent-obstruction theory for Azumaya algebras equipped with a quadratic pair. Under the assumption that either 2 is a global unit or the algebra is of degree 2, we show how the deformation theory of these objects reduces to the deformation theory of the underlying Azumaya algebra. Namely, if the underlying Azumaya algebra has unobstructed deformations then so does the quadratic pair. On the other hand, in the purely characteristic 2 setting, we construct an Azumaya algebra with unobstructed deformations which can be equipped with a quadratic pair such that the associated triple has obstructed deformations. Our example is a biquaternion Azumaya algebra on an Igusa surface. Independently from the above results, we also introduce a new obstruction for quadratic pairs, existing only in characteristic 2, which is intermediate to both the strong and weak obstructions that were recently introduced by Gille, Neher, and the second named author. This intermediate obstruction characterizes when a canonical extension of the Lie algebra sheaf of the automorphism group scheme of some quadratic triple is split.

Eoin Mackall Cameron Ruether 50 pages. Added funding information for the second author, otherwise identical to v1 http://arxiv.org/abs/2504.05841v1 2025-04-08T09:21:40Z 2025-04-08T09:21:40Z

Let $\mathcal{A}$ and $\mathcal{B}$ be unital finite-dimensional complex algebras, each equipped with the unique Hausdorff vector topology. Denote by $\mathrm{Max}(\mathcal{A})=\{\mathcal{M}_1, \ldots, \mathcal{M}_p\}$ and $\mathrm{Max}(\mathcal{B})=\{\mathcal{N}_1, \ldots, \mathcal{N}_q\}$ the sets of all maximal ideals of $\mathcal{A}$ and $\mathcal{B}$, respectively, and define the quantities $$k_i:=\sqrt{\dim(\mathcal{A}/\mathcal{M}_i)}, \, \, 1 \leq i \leq p \quad \text{ and } \quad m:=\sum_{j=1}^q\sqrt{\dim(\mathcal{B}/\mathcal{N}_j)},$$ which are positive integers by Wedderburn's structure theorem. We show that there exists a continuous spectrum-shrinking map $\phi: \mathcal{A} \to \mathcal{B}$ (i.e. $\mathrm{sp}(\phi(x))\subseteq \mathrm{sp}(x)$ for all $x \in \mathcal{A}$) if and only if the linear Diophantine equation $$ k_1x_1 + \cdots + k_px_p = m $$ has a non-negative integer solution $(x_1,\ldots,x_p)$. Moreover, all such maps $\phi$ are spectrum preserving (i.e. $\mathrm{sp}(\phi(x))=\mathrm{sp}(x)$ for all $x \in \mathcal{A}$) if and only if each non-negative solution consists only of positive integers.

Ilja Gogić Mateo Tomašević 7 pages http://arxiv.org/abs/2504.05821v1 2025-04-08T09:02:14Z 2025-04-08T09:02:14Z

The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf algebra theory, but their construction is not particularly handy or friendly. In this note, we offer a novel realisation of the Hopf envelope and of the cofree Hopf algebra of a finite-dimensional bialgebra as a particular quotient and sub-bialgebra, respectively, of the bialgebra itself. Our construction can also be extended to the infinite-dimensional case, provided that the bialgebra satisfies additional conditions, such as being left Artinian as an algebra or admitting a $n$-antipode, the latter being a notion hereby introduced.

Alessandro Ardizzoni Claudia Menini Paolo Saracco http://arxiv.org/abs/2504.05688v1 2025-04-08T05:17:41Z 2025-04-08T05:17:41Z

In this paper, we give the first and second fundamental theorems of invariant theory for certain invariant rings whose generators are expressed by circulant determinants.

Naoya Yamaguchi Hiroyuki Ochiai Yuka Yamaguchi http://arxiv.org/abs/2504.05656v1 2025-04-08T04:10:38Z 2025-04-08T04:10:38Z

Firstly, we introduce the notion of anti-pre-Novikov algebras as a new approach of splitting the Novikov algebras. The notions of anti-O-operators on Novikov algebras are developed to interpret anti-pre-Novikov algebras. Secondly, we introduce the notion of anti-pre-Novikov bialgebras as the bialgebra structures corresponding to a double constructions of symmetric quasi-Frobenius Novikov algebras, which are interpreted in terms of certain matched pairs of Novikov algebras as well as the compatible anti-pre-Novikov algebras. The study of coboundary cases leads to the introduction of the the anti-pre-Novikov Yang-Baxter equation (APN-YBE), whose skew-symmetric solutions give coboundary anti-pre-Novikov bialgebras. The notion of O-operators on anti-pre-Novikov algebras is studied to construct skew-symmetric solutions of the APN-YBE.

Qinxiu Sun Xingyu Zeng http://arxiv.org/abs/2405.19529v4 2025-04-07T17:56:30Z 2024-05-29T21:15:14Z

We investigate how change of enriching base category via a faithful, conservative right adjoint functor interacts with enriched coverages and sheaves on a given enriched category. We prove that change of base via such a functor gives rise both to an injective mapping on subobjects in enriched presheaf categories, and to an injective mapping on enriched coverages. In case the base change functor is also full, the enriched associated sheaf construction on a presheaf category commutes with base change.

Ariel E. Rosenfield http://arxiv.org/abs/2504.05264v1 2025-04-07T16:58:21Z 2025-04-07T16:58:21Z

Motivated by the recent work of Xiao and Zhong [AIMS Math. 9 (2024), 35125--35150: MR4840882], we propose a generalized inverse for a hyper-dual matrix called hyper-dual group generalized inverse (HDGGI). Under certain necessary and sufficient conditions, we establish the existence of the HDGGI of a hyper-dual matrix. We then show that the HDGGI is unique (whenever exists). The HDGGI is then used to solve a linear hyper-dual system. We also exploit some sufficient conditions under which the reverse and forward-order laws for a particular form of the HDGGI and HDMPGI hold. We also discuss the least-squares properties of hyper-dual group inverse. Using the definition of dual matrix of order $n$, we finally establish necessary and sufficient condition for the existence of the group inverse of a dual matrix of order $n$.

Tikesh Verma Amit Kumar Vaibhav Shekhar We propose a generalized inverse for a hyper-dual matrix called hyper-dual group generalized inverse (HDGGI). Under certain necessary and sufficient conditions, we establish the existence of the HDGGI of a hyper-dual matrix. We then show that the HDGGI is unique (whenever exists) http://arxiv.org/abs/2504.05182v1 2025-04-07T15:28:51Z 2025-04-07T15:28:51Z

We show that the "profinite direct sum" is a good notion of infinite direct sums for profinite modules having properties similar to direct sums of abstract modules. For example, the profinite direct sum of projective modules is projective, and there is a Mackey's Formula for profinite modules described using these sums. As an application, we prove that the class of profinite groups of type $\Phi_R$ is closed under subgroups.

Jiacheng Tang 17 pages http://arxiv.org/abs/2407.19574v2 2025-04-07T14:30:00Z 2024-07-28T19:58:49Z

In this paper we investigate injective generation for graded rings. We first examine the relation between injective generation and graded injective generation for graded rings. We then reduce the study of injective generation for graded rings to the study of injective generation for certain Morita context rings and we provide sufficient conditions for injective generation of the latter. We then provide necessary and sufficient conditions so that injectives generate for tensor rings and for trivial extension rings. We provide two proofs for the class of tensor rings, the one uses covering theory and the other uses the framework of cleft extensions of module categories. We finally prove injective generation for twisted tensor products of finite dimensional algebras.

Panagiotis Kostas Chrysostomos Psaroudakis 10.1016/j.jpaa.2025.107960 38 pages, v2: Final version http://arxiv.org/abs/2401.07317v2 2025-04-07T12:39:23Z 2024-01-14T15:45:04Z

This article analyzes the geometric properties of an idempotent, non-associative algebraic structure that extends the Max-Times semiring. This algebraic structure is useful for studying systems of Max-Times and Max-Plus equations, employing an appropriate notion of a non-associative determinant. We consider a connected ultrametric distance and demonstrate that it implies, among other properties, an analogue of the Pythagorean relation. To this end, we introduce a suitable notion of a right angle between two vectors and investigate a trigonometric concept associated with the Chebyshev unit ball. Following this approach, we explore the potential implications of these properties in the complex plane. We provide an algebraic definition of a line passing through two points, which corresponds to the Painlev\'e-Peano-Kuratowski limit of a sequence of generalized lines. We establish that this definition leads to distinctive geometric properties; in particular, two distinct parallel lines may share an infinite number of points.

Walter Briec http://arxiv.org/abs/2504.04885v1 2025-04-07T09:52:25Z 2025-04-07T09:52:25Z

In this work, we study the renormalisation of singular SPDEs in the flow approach recently developed by Duch using a bottom-up setting. We introduce a general ansatz based on decorated trees for the solution of the flow equation. The ansatz is renormalised in a recursive way, in the sense of the trees, via local extractions introduced for regularity structures. We derive the renormalised equation from this ansatz and show that the renormalisation scheme is identical to that appearing in the context of regularity structures, thus matching the BPHZ renormalisation.

Yvain Bruned Aurélien Minguella 48 pages http://arxiv.org/abs/2412.08290v2 2025-04-07T06:03:14Z 2024-12-11T11:06:10Z

We first observe a mysterious similarity between the braid arrangement and the arrangement of all hyperplanes in a vector space over the finite field $\mathbb{F}_q$. These two arrangements are defined by the determinants of the Vandermonde and the Moore matrix, respectively. These two matrices are transformed to each other by replacing a natural number $n$ with $q^n$ ($q$-deformation). In this paper, we introduce the notion of ``$q$-deformation of graphical arrangements'' as certain subarrangements of the arrangement of all hyperplanes over $\mathbb{F}_q$. This new class of arrangements extends the relationship between the Vandermonde and Moore matrices to graphical arrangements. We show that many invariants of the ``$q$-deformation'' behave as ``$q$-deformation'' of invariants of the graphical arrangements. Such invariants include the characteristic (chromatic) polynomial, the Stirling number of the second kind, freeness, exponents, basis of logarithmic vector fields, etc.

Tongyu Nian Shuhei Tsujie Ryo Uchiumi Masahiko Yoshinaga 13 pages, 1 figure http://arxiv.org/abs/2303.05326v2 2025-04-06T18:10:51Z 2023-03-09T15:18:27Z

Semilinear clannish algebras have been recently introduced by the first author and Crawley-Boevey as a generalization of Crawley-Boevey's clannish algebras. In the present paper, we associate semilinear clannish algebras to the (colored) triangulations of a surface with marked points and orbifold points, and exhibit a Morita equivalence between these algebras and the Jacobian algebras constructed a few years ago by Geuenich and the second author.

Raphael Bennett-Tennenhaus Daniel Labardini-Fragoso v2: 6 figures, many tables with explicit computations, several editorial changes; 50 pages. v1: 5 figures, several tables with explicit computations; 45 pages http://arxiv.org/abs/2411.12410v2 2025-04-06T06:35:17Z 2024-11-19T10:46:18Z

Tight and essentially tight modules generalize weakly injective modules. Essential tightness requires embeddings to be essential. This restriction makes the two notions totally different. In this note, we investigate cases when those two notions are the same. Moreover, we look at the cases when essentiallity is imposed only on one of the embeddings rather than both. This allows defining a special class of tight and essentially tight modules and a generalization of both.

Nasief Khlaif Mohammad Saleh Rewriting it into two separate papers