https://arxiv.org/api/2hV57hCOUg8hrYw6FRpAkA/Ftzk 2026-06-14T11:41:03Z 20068 330 15 http://arxiv.org/abs/2504.14397v3 2026-04-28T19:24:25Z

We consider graded deformations and PBW deformations of algebras defined over noncommutative algebras. We explain how fibers of graded deformations correspond to filtered algebras admitting a PBW property, with focus on smash product algebras for Hopf algebras acting on quadratic algebras. In particular, we describe all PBW deformations arising from Hopf actions on Koszul algebras, giving Hopf-Koszul Hecke algebras. Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products transfer homological information between resolutions and convert conditions on Hochschild cocycles and Gerstenhaber brackets into explicit PBW conditions.

2025-04-19T20:13:59Z 48 pages. Typos corrected and other small edits made. To appear in Advances in Mathematics A. V. Shepler S. Witherspoon http://arxiv.org/abs/2504.09098v2 2026-04-28T18:53:14Z

Codes which have a finite field $\mathbb{F}_{q^m}$ as their alphabet but which are only linear over a subfield $\mathbb{F}_q$ are a topic of much recent interest due to their utility in constructing quantum error correcting codes. In this article, we find generators for trace dual spaces of different families of $\mathbb{F}_q$-linear codes over $\mathbb{F}_{q^2}$. In particular, given the field extension $\mathbb{F}_q\leq \mathbb{F}_{q^2}$ with $q$ an odd prime power, we determine the trace Euclidean and trace Hermitian dual codes for the general $\mathbb{F}_q$-linear cyclic $\mathbb{F}_{q^2}$-code. In addition, we also determine the trace Euclidean and trace Hermitian duals for general $\mathbb{F}_q$-linear skew cyclic $\mathbb{F}_{q^2}$-codes, which are defined to be left $\mathbb{F}_q[X]$-submodules of $\mathbb{F}_{q^2}[X;σ]/(X^n-1)$, where $σ$ denotes the Frobenius automorphism and $\mathbb{F}_{q^2}[X;σ]$ the induced skew polynomial ring.

2025-04-12T06:35:38Z 17 pages Daniel Bossaller Daniel Herden Indalecio Ruiz-Bolaños http://arxiv.org/abs/2604.25879v1 2026-04-28T17:21:31Z

We design the Arboretum$.$hs package for symbolic computations with algebras of trees and more general graphs in Haskell. Thanks to the declarative nature of functional programming, the package's implementation closely follows mathematical definitions, making the code intuitive and transparent for users working with algebraic and combinatorial structures. To assist with current mathematical research, Arboretum$.$hs supports experimentation by facilitating the introduction of new algebraic operations, as well as providing functionality for rendering trees and forests through LaTeX integration. Compared to recent imperative implementations in languages such as Julia or Python, Arboretum$.$hs offers greater flexibility for manipulating and extending tree-based structures. Its use of Haskell enables safe programming and strong compile-time guarantees, serving both as a practical computational tool and a foundation for further research in algebraic combinatorics, beyond the setting of trees usually considered in the implementation of Butcher series, which are a fundamental tool for the analysis of numerical integrators.

2026-04-28T17:21:31Z 29 pages Eugen Bronasco Jean-Luc Falcone Gilles Vilmart http://arxiv.org/abs/2605.08122v1 2026-04-28T15:51:10Z

We prove that the stable tame isomorphism, quasi-isomorphism, and derived Morita equivalence problems for semifree noncommutative differential graded algebras (DGAs) are all undecidable. This resolves half of Problem 5.16 from the K3 Problem List in Low-Dimensional Topology. We present two solutions, both obtained (essentially autonomously) by Gemini Deep Think / Aletheia.

2026-04-28T15:51:10Z 6 pages Ciprian Manolescu Nick Rozenblyum http://arxiv.org/abs/2604.25511v1 2026-04-28T11:20:39Z

We extend the classification results for torsion classes and torsion-free classes in the category of finitely generated modules over a commutative noetherian ring to suitable symmetric monoidal closed noetherian abelian categories. Our main tool is the orbit atom spectrum, defined as the quotient of Kanda's atom spectrum by the action induced by tensoring with invertible objects. We prove that, under natural tensor-theoretic assumptions, several classes of subcategories collapse to Serre subcategories or torsion-free classes. Moreover, torsion-free classes compatible with the tensor structure are classified by arbitrary subsets of the orbit atom spectrum. As applications, we recover the classical classifications for commutative noetherian rings and obtain analogues for graded modules, coherent sheaves, and dg modules.

2026-04-28T11:20:39Z 27 pages Shunya Saito http://arxiv.org/abs/2604.02516v2 2026-04-28T10:55:46Z

Given a map $f$ of fibrations over a space $B$ such that the fiber of $f$ is simply connected and finitely dominated, we prove that its fiberwise THH transfer, considered as a map of parametrized spectra over $B$, is rationally modeled by the Hochschild homology transfer of a Sullivan model of $f$. The proof goes in two steps. Firstly, we use the machinery of higher categorical traces to show that the fiberwise THH transfer can be computed internally to parametrized spectra. Secondly, we model the resulting description rationally using work of Braunack-Mayer, who proved that parametrized spectra can be modeled by modules over Sullivan algebras. In Part II, we will use our result to obtain a rational model of the Becker-Gottlieb transfer, and for applications to manifold topology.

2026-04-02T21:17:10Z 74 pages. Comments welcome! v2: Minor correction Florian Naef Robin Stoll http://arxiv.org/abs/2604.25344v1 2026-04-28T07:58:55Z

We show that the loop homology algebras of polyhedral products of the form $(\underline{X},\underline{*})^{\mathcal{K}}$ can be written as a colimit over the flagification of $\mathcal{K}$, and obtain a similar result for the Poincaré series. This effectively reduces the study of the algebras $H_*(Ω(\underline{X},\underline{*})^{\mathcal{K}})$ to the case of 1-neighbourly simplicial complexes. We give presentations of the loop homology of Davis--Januszkiewicz spaces (i.e. Yoneda algebras of Stanley--Reisner rings) and calculate the Poincaré series of looped polyhedral products associated to various families of simplicial complexes, including HMF-presented complexes and skeleta of flag complexes.

2026-04-28T07:58:55Z 29 pages Lewis Stanton Fedor Vylegzhanin http://arxiv.org/abs/2509.25212v5 2026-04-28T04:09:44Z

Building on the work of İnan and of Almahariq--Peters--Vergili, we develop an axiomatic framework for approximate algebra based on an algebra-compatible closure operator $Φ^{\!*}$ on a unital ring. The operator is assumed to be extensive, monotone, idempotent, compatible with addition, and balanced with respect to left and right multiplication, while absorption is imposed only in the definition of approximate ideals. The first structural result is that the closure of every approximate ideal is an ordinary two-sided ideal, so that the approximate quotient $R/\!I$ is canonically the ordinary quotient $R/Φ^{\!*}(I)$. The decisive prime-theoretic result is that every approximate prime ideal in a unital ring is automatically $Φ^{\!*}$-closed. Consequently, for a commutative ring with unity, $\mathrm{Spec}_{\!Φ}(R)=\{P\in\mathrm{Spec}(R):Φ^{\!*}(P)=P\},$ and the approximate Zariski topology is exactly the subspace topology induced from the classical spectrum on this fixed-prime locus. We also develop a compatible module theory, distinguish carefully between classical quotients and approximate quotients, and prove a first isomorphism theorem for the induced homomorphism modulo $Φ^{\!*}_{M'}(0)$, together with an approximate quotient version under a closed-kernel hypothesis. For ideal-translation closures $Φ^{\!*}(A)=A+J$, the spectrum is $V(J)\cong\mathrm{Spec}(R/J)$; in particular, the modular closure $A\mapsto A+m\mathbb Z$ yields the finite discrete space of prime divisors of $m$. Finally, over an algebraically closed field, we prove $\mathrm{rad}_{\!Φ}(I)=\sqrt{Φ^{\!*}(I)}$, show that the evaluation--separation implication is automatic from the classical Hilbert Nullstellensatz, and establish that point-ideal closedness is equivalent to the exact identity $\mathrm{rad}_{\!Φ}(I)=\mathrm I(V(I))$ for all ideals.

2025-09-21T23:21:52Z 23 pages. In this final version, some results have been corrected and the title of the manuscript has been revised. The author greatly appreciates constructive comments and suggestions Dang Vo Phuc http://arxiv.org/abs/2604.24709v1 2026-04-27T17:17:28Z

In Part I, we proved that a rational model for the fiberwise THH transfer of a map $f$ of fibrations over a base space is given by the Hochschild homology transfer of a cdga model of $f$. In this paper, we provide an explicit description of this Hochschild homology transfer in terms of $A_\infty$-algebras, generalizing work of Bouc. Using a result of Lind-Malkiewich, we deduce a rational model for the Becker-Gottlieb transfer. We furthermore use our results for the following applications to manifold topology. Firstly, we consider the rational characteristic classes constructed by Berglund for fibrations with fiber a Poincaré complex (which generalize classes found by Berglund-Madsen); they are defined via the Lie graph complex, and we prove that the classes corresponding to non-trivalent graphs with exactly one loop vanish when evaluated on fiber bundles with fiber a compact simply connected topological manifold. Secondly, we provide a rational model for the space of fiberwise THH-simple structures, which is a step towards obtaining rational models for the classifying spaces of diffeomorphisms and homeomorphisms of a compact simply connected manifold in the rational concordance stable range.

2026-04-27T17:17:28Z 74 pages. Part II of arXiv:2604.02516, with which it shares parts of the introduction and the preliminaries. Comments welcome! Florian Naef Robin Stoll http://arxiv.org/abs/2604.24638v1 2026-04-27T16:07:54Z

We construct families of $k$-step nilpotent symplectic Lie algebras associated with graphs, extending the construction given in [Pouseele-Tirao, JPAA 213 (2009)] for the 2-step case. We also show that, under mild conditions on the nilpotency type, there exist symplectic Lie algebras of that type.

2026-04-27T16:07:54Z Josefina Barrionuevo Paulo Tirao Sonia Vera http://arxiv.org/abs/2605.08108v1 2026-04-27T15:20:51Z

If $(A_n)_n$ is a decreasing filtration of a module $A$ and $\widehat{A} = \lim_n A/A_n$, then $\lim^1_n A_n$ is identified with the cokernel of the canonical map $A \longrightarrow \widehat{A}$. In this note, we show that any $\lim^1$-group is canonically of that form: For any inverse sequence of modules $(X_n)_n$ there exists an inverse sequence $(A_n)_n$ as above and a morphism $(A_n)_n \longrightarrow (X_n)_n$, depending functorially on $(X_n)_n$, that induces an isomorphism on $\lim^1$. The proof is based on Quillen's small object argument, as formulated by Eklof and Trlifaj in their investigation of the existence of enough injective objects in certain cotorsion pairs, and also uses a construction by Salce that provides enough projective objects therein.

2026-04-27T15:20:51Z Ioannis Emmanouil http://arxiv.org/abs/2604.24568v1 2026-04-27T14:59:36Z

The additive structure of $\mathbb{F}_1$-modules (in the sense of Segal's $Γ$-sets) differs fundamentally from that of abelian groups: addition is encoded through a family of $n$-ary hyper-operations that are multivalued and do not satisfy classical associativity. We establish a \emph{law of generalized associativity} showing that, despite this failure of strict associativity, all $n$-ary sums are controlled by successive binary operations. This enables us to construct an extension of scalars functor $-\otimes_{\mathbb{F}_1} \mathbb{Z}: \mathbb{F}_1\mathbf{Mod} \to \mathbf{Ab}$ that universally strictifies the hyper-additive structure of $\mathbb{F}_1$-modules into classical abelian group addition. We prove this functor is left adjoint to the Eilenberg-MacLane functor $H: \mathbf{Ab} \to \mathbb{F}_1\mathbf{Mod}$. Extending to the multiplicative setting, we obtain an adjunction $-\otimes_{\mathbb{F}_1} \mathbb{Z}: \mathbb{F}_1\mathbf{Alg} \leftrightarrows \mathbf{CRing} : H$ between commutative $\mathbb{F}_1$-algebras and commutative rings. This recovers Deitmar's monoid ring construction for spherical monoid algebras and provides a base change mechanism needed for absolute algebraic geometry.

2026-04-27T14:59:36Z 28 pages Luqiao Xu http://arxiv.org/abs/2501.18073v2 2026-04-27T14:42:23Z

In this paper, a nilpotency criterion is given for finite dimensional alternative superalgebras in the spirit of Engel's Theorem for Jordan superalgebras over infinite fields provided by Shestakov and Okunev. For alternative superalgebras, no restrictions on the cardinality of the ground field are required. Furthermore, we establish some connections between the concepts of graded-nil and nilpotent alternative superalgebras, and we also exhibit an example of an Engelian commutative power-associative superalgebra of dimension $4$ which is not nilpotent.

2025-01-30T00:54:46Z Isabel Hernández Laiz Valim da Rocha Rodrigo Lucas Rodrigues http://arxiv.org/abs/2503.05644v2 2026-04-27T03:38:16Z

For a complex algebraic torus $\mathbb{T}$, we study $\mathbb{T}$-invariant Poisson deformations of a $\mathbb{T}$-log-symplectic log-canonical Poisson structure $π_0$ on $\mathbb{C}^n$. We show that every $\mathbb{T}$-invariant first-order deformation of $π_0$ with linearly independent $(\mathbb{C}^\times)^n$-weights is unobstructed. For a special class of $π_0$ defined by the so-called symmetric $\mathbb{T}$-action data, we show that $π_0$ can be canonically deformed to symmetric $\mathbb{T}$-Poisson CGL extensions (of $\mathbb{C}$) as defined by K. Goodearl and M. Yakimov. As a consequence, we classify all symmetric $\mathbb{T}$-Poisson CGL extensions in terms of their log-canonical terms $π_0$ and the second $\mathbb{T}$-invariant Poisson cohomology of $π_0$. We further characterize, among all symmetric Poisson CGL extensions, those of Cartan type, i.e., those associated to sequences of simple roots in the root systems of symmetrizable generalized Cartan matrices. In particular, we prove that the standard Poisson structures on Bott-Samelson cells and generalized Schubert cells for semi-simple complex Lie groups are the (uniquely determined) maximal normalized admissible deformations of their log-canonical terms. Finally, for any symmetric $\mathbb{T}$-Poisson CGL extension $π$ with log-canonical term $π_0$, we present an explicit formula expressing the initial mutation matrix in the Goodearl-Yakimov theory on cluster algebras associated to $π$ in terms of the $(\mathbb{C}^\times)^n$-weights of the second $\mathbb{T}$-invariant Poisson cohomology of $π_0$.

2025-03-07T18:05:42Z The current version is significantly expanded. In particular, we added the classification of symmetric T-Poisson CGL extensions and the formula for the Goodearl-Yakimov initial mutation matrix in terms of our classification data Jiang-Hua Lu Mykola Matviichuk http://arxiv.org/abs/2604.23995v1 2026-04-27T03:22:43Z

Deploying neural-network control barrier functions (CBFs) on embedded hardware requires evaluating the barrier value and its Lie derivatives along the system vector fields at every control cycle. The standard mechanism for exact gradient extraction, reverse-mode automatic differentiation, constructs a dynamic computational graph whose memory footprint grows with network depth and whose backward traversal obstructs the worst-case execution time analysis required for safety-critical certification. This paper presents a dual-algebraic compiler that extracts the exact barrier value and its Lie derivatives through forward network evaluation alone. Encoding the system state as the real part of a dual number and a target vector field as the dual part, we prove that every affine and componentwise-activation layer admits a dual extension that propagates the exact directional derivative alongside the activation, and that the composed dual-extended network evaluates the exact Jacobian--vector-field product with zero truncation error. We derive closed-form expressions for the dual-pass floating-point operation count and peak memory footprint, prove that the proposed algorithm eliminates dynamic graph allocation, and extend the framework to the second-order Lie derivatives required by relative-degree-two CBFs using hyper-dual arithmetic. An open-source ahead-of-time compiler translates trained neural CBFs into self-contained C++ headers that assemble the complete safety constraint on an ESP32-S3 microcontroller from a statically allocated buffer, with zero dynamic memory allocation and a sub-millisecond cycle budget that supports kilohertz-rate safety filters.

2026-04-27T03:22:43Z Mohammadreza Kamaldar