https://arxiv.org/api/4damwHs4moRhyha4DzDwHgsBrr8 2026-06-14T10:26:28Z 20068 315 15 http://arxiv.org/abs/2604.27528v1 2026-04-30T07:31:29Z

A self-contained introduction to infinite dimensional representations over a tame hereditary algebra is provided, assuming a basic knowledge of the category of finite dimensional representations. This includes a complete description of all pure-injective modules. Of particular interest are the torsionfree divisible modules, which are precisely the direct sums of copies of the unique generic module.

2026-04-30T07:31:29Z 19 pages. Submitted for publication in "Annals of Representation Theory" (special volume on the occasion of Claus Michael Ringel's 80th birthday) Lidia Angeleri Hügel Andrew Hubery Henning Krause http://arxiv.org/abs/2605.08126v1 2026-04-30T02:47:56Z

This paper studies Rota-Baxter operators on the matrix $C^*$-algebra $M_n(\mathbb{C})$, motivated by the discrete Toeplitz algebra (whose role is purely heuristic; see Remark~\ref{rem:toeplitz_scope}). We provide a structural classification of such operators compatible with the $C^*$-norm, analyze their induced Lie brackets, and apply them to deform system matrices in discrete-time delayed systems under sliding mode control. Lyapunov-based Bilinear Matrix Inequality conditions, together with a tractable linear reformulation via $Q=X^{-1}$, guarantee asymptotic stability on the sliding manifold and $\mathcal{L}_2$-gain stability. The effective gain from uncertainty $δ$ to state $x$ is $γ/\sqrtμ$ with $μ=λ_{\min}(-\mathcal{M})>0$ determined \emph{a posteriori}; minimizing $γ$ alone does not minimize this bound, which holds under zero extended initial conditions ($V_0=0$). We work under the standing assumption $m=n$ (square actuation); a supplementary non-degenerate example with $m=1$, $n=2$ illustrates LMI feasibility with $Π\neq0$. All algebraic results are proved directly in $M_n(\mathbb{C})$; no infinite-dimensional reduction is used.

2026-04-30T02:47:56Z Marwa Ennaceur http://arxiv.org/abs/2512.12188v2 2026-04-29T18:38:21Z

In arXiv:2407.11958, a moduli stack parametrizing $I$--indexed diagrams of Higgs bundles over a base stack $X$ was constructed for any finite simplicial set $I$, inspiring speculations about extending the non-Abelian Hodge correspondence to these moduli stacks. In the present work, we formalize the de Rham side of this conjectural extension. We construct moduli stacks parametrizing diagrams of bundles with $λ$--connections over a base prestack $X$, where $λ$ can be a fixed number or a parameter. Taking $λ$ to be $1$ gives a moduli stack parametrizing diagrams of bundles with connection, while taking it to be a parameter gives a version of Simpson's non-Abelian Hodge filtration for digrams of bundles with connection. We show that when $X$ is a smooth and projective scheme over an algebraically closed field $k$ of characteristic $0$, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.

2025-12-13T05:23:00Z 36 pages; v2: Additional references to related work added Mahmud Azam Steven Rayan http://arxiv.org/abs/2503.23343v3 2026-04-29T17:27:23Z

Associating graph algebras to directed graphs leads to both covariant and contravariant functors from suitable categories of graphs to the category k-Alg of algebras and algebra homomorphisms. As both functors are often used at the same time, finding a new category of graphs that allows a "common denominator" functor unifying the covariant and contravariant constructions is a fundamental problem. Herein, we solve this problem by first introducing the relation category of graphs RG, and then determining the concept of admissible graph relations that yields a subcategory of RG admitting a contravariant functor to k-Alg simultaneously generalizing the aforementioned covariant and contravariant functors. Although we focus on Leavitt path algebras and graph C*-algebras, on the way we unravel functors to k-Alg given by path algebras, Cohn path algebras and Toeplitz graph C*-algebras from suitable subcategories of RG. Better still, we illustrate relation morphisms of graphs by naturally occurring examples, including Cuntz algebras, quantum spheres and quantum balls.

2025-03-30T07:14:46Z 35 pages Gilles G. de Castro Francesco D'Andrea Piotr M. Hajac http://arxiv.org/abs/2604.26901v1 2026-04-29T17:11:23Z

If $H$ is a numerical semigroup (that is, a cofinite subset of the non-negative integers closed under addition), then the non-empty subsets of $H$ form a semigroup $\mathcal P(H)$ under the sumset operation induced by addition in $H$. Moreover, if $0 \in H$, then $\mathcal P(H)$ is a monoid with identity element $\{0\}$, and the family $\mathcal P_0(H)$ of all subsets of $H$ containing $0$ is a submonoid of $\mathcal P(H)$. We show that the automorphism group of $\mathcal P(H)$ is trivial, and the same holds for $\mathcal P_0(H)$ when $0 \in H$. The proofs blend ideas from combinatorics and semigroup theory.

2026-04-29T17:11:23Z 10 pages. To appear in the Transactions of the London Math. Soc Salvatore Tringali Kerou Wen http://arxiv.org/abs/2601.00118v2 2026-04-29T15:29:27Z

Let $\mathsf{E}$ be the event space of an experiment that can be indefinitely repeated. A natural question arises: given a countable cardinal $κ$, which is the event space of the $κ$-times repeated experiment? In the case of classical experiments, where $\mathsf{E}$ is a (complete) Boolean algebra on some set $S$, i.e. a classical or distributive logic, the answer is more or less known: the (complete) Boolean algebra on $S^κ$ generated by $\mathsf{E}^κ$. But, what if $\mathsf{E}$ is not a Boolean algebra? In this paper we give a constructive answer to this question for any $κ$ and in the context of general orthocomplemented complete lattices, i.e. general logics. Concretely, given a general logic $\mathsf{E}$ defining the event space of a given experiment, we construct a logic $\mathsf{U}_κ\left(\mathsf{E}\right)$ representing the event space of the $κ$-times repeated experiment, in such a way that $\mathsf{U}_κ\left(\mathsf{E}\right)$ and $\mathsf{E}$ are isomorphic if $κ=1$, and such that $\mathsf{U}_κ\left(\mathsf{E}\right)$ is distributive if and only if so is $\mathsf{E}$. We also extend our construction to the case in which the event space changes from one repetition to another and the cardinal $κ$ is arbitrary. This gives rise to tensor products $\bigotimes_{α\inκ}\mathsf{E}_α$ of families $\left\{ \mathsf{E}_α\right\} _{α\inκ}$ of orthocomplemented complete lattices, in terms of which $\mathsf{U}_κ\left(\mathsf{E}\right)=\bigotimes_{α\inκ}\mathsf{E}$.

2025-12-31T21:33:24Z Sergio Daniel Grillo http://arxiv.org/abs/2412.14314v3 2026-04-29T09:43:41Z

The aim of this article is to prove the derived equivalence for a local model of the simple flop of type $G_2^{\dagger}$, which was found by Kanemitsu. This flop is the only known simple flop that comes from a non-homogeneous roof. The proof of the derived equivalence is done by using tilting bundles, and also produces a noncommutative crepant resolution of the singularity that is derived equivalent to both sides of the flop.

2024-12-18T20:27:34Z 11 pages, accepted version Journal of Algebra, Volume 701, 1 September 2026, Pages 137-153 Wahei Hara 10.1016/j.jalgebra.2026.03.041 http://arxiv.org/abs/2604.24399v2 2026-04-29T06:41:35Z

A well-known result from the 1960s characterizes all Euclidean domains in which division is guaranteed to produce a unique quotient and remainder. As this relies on the historical (and more restrictive) definition of a Euclidean domain, the question of whether the result still holds under the modern definition was left open. In this paper, we prove the answer is afirmative.

2026-04-27T12:24:47Z 7 pages Senan Sekhon http://arxiv.org/abs/2506.19308v2 2026-04-29T05:10:17Z

This study investigates the theoretical and computational aspects of quaternion generalized inverses, focusing on outer inverses and {1,2}-inverses with prescribed range and/or null space constraints. In view of the non-commutative nature of quaternions, a detailed characterization of the left and right range and null spaces of quaternion matrices is presented. Explicit representations for these inverses are derived, including full rank decomposition-based formulations. We design two efficient algorithms: one leveraging the Quaternion Toolbox for MATLAB (QTFM), and the other employing a complex structure preserving approach based on the complex representation of quaternion matrices. With suitable choices of subspace constraints, these outer inverses unify and generalize several classical inverses, including the Moore-Penrose inverse, the group inverse, and the Drazin inverse. The proposed methods are validated through numerical examples and applied to two real-world tasks: quaternion-based color image deblurring, which preserves inter-channel correlations, and robust filtering of chaotic 3D signals, demonstrating their effectiveness in high-dimensional settings.

2025-06-24T04:45:56Z Neha Bhadala Ratikanta Behera http://arxiv.org/abs/2604.26276v1 2026-04-29T04:08:05Z

In this paper, we investigate non-abelian extensions of Lie algebras with derivations using several different approaches. We show that the theory of non-abelian extensions of a Lie algebra with a derivation can be characterized by means of the second non-abelian cohomology, the Deligne groupoid, the homotopy category of strict Lie $2$-algebras with strict derivations, and the notion of a $(\g, D)$-kernel, respectively. Moreover, within this unified framework, we address the following existence problem: given a non-abelian extension of Lie algebras \[\begin{CD} 0@>>>\h@>i>>\hat{\g}@>p>>\g @>>>0, \end{CD}\] let $(K,D)\in\Der(\h)\times\Der(\g)$ be a pair of derivations of $\h$ and $\g$ respectively. When does there exist a derivation $\hat{D}$ of $\hat{\g}$ such that $\hat{D}|_\h=K$ and $D\circ p=p\circ\hat{D}.$ We provide an obstruction class for the existence of such a lift.

2026-04-29T04:08:05Z 30pages, comments are welcome Jun Jiang Kanghe Xu http://arxiv.org/abs/2604.26199v1 2026-04-29T01:03:56Z

This paper explores the restriction behavior of silting-induced $t$-structures and co-$t$-structures on triangulated categories endowed with metrics. For compactly generated triangulated categories admitting small coproducts, silting subcategories of compact objects give rise to canonical $t$-structures. We establish that a silting subcategory being contravariantly finite in the precompletion (or completion) is equivalent to the canonical $t$-structure restricting to this precompletion (or completion). This result yields a purely categorical characterization of right coherent rings: a ring $R$ is right coherent if and only if the standard $t$-structure on $\mathcal{D}({\sf Mod}\text{-}R)$ restricts to a $t$-structure on $\mathcal{K}^{-,b}({\sf proj}\text{-}R)$. Furthermore, we show that the correspondences between silting objects, bounded (co)-$t$-structures, and simple-minded collections given by Koenig and Yang can be extended to the metric framework of triangulated categories, and still commute with mutation operations and preserve natural partial orders.

2026-04-29T01:03:56Z Wei Hu Ziheng Liu http://arxiv.org/abs/2604.26155v1 2026-04-28T22:32:47Z

Let $K$ be a field with $2 \in K^\times$, and let $H_W$ denote the standard hyperbolic form on $W \oplus W^*$. We study the exterior spinor model $S = \bigwedge V(W)$ together with the spin-to-orthogonal map for this split form, keeping the chosen hyperbolic presentation explicit. The main results determine the field-sensitive part of the split Levi image. In positive split rank the kernel of $\mathrm{Spin}(V,Q) \to SO(V,Q)$ is $\{\pm 1\}$; therefore the exterior spinor action descends to the orthogonal image only projectively. For the split line the image of $\mathrm{Spin}(H_K) \to SO(H_K)$ is precisely the square-scaling subgroup. In arbitrary split rank we construct explicit Clifford representatives for hyperbolic transvections and chosen-line square scalings, prove the weight-2 torus conjugation law, and show that any split Levi lift acts on $\bigwedge V(W)$ as a scalar multiple of the natural exterior action. If $\det(g) \in u^2$, the transported Levi element $\hat{g} = (g, g^{-\top})$ admits an explicit even unitary Clifford lift acting as $u^{-1} \bigwedge(g)$ on $S$. In finite split rank at least three, if $H_W \in \mathrm{im}(\mathrm{Spin}(H_W) \to SO(H_W))$, then $g_{H_W} \in \det(g) \cdot K^{\times 2}$. Equivalently, the spin image meets the split Levi subgroup exactly in its square-determinant subgroup. This recovers, by direct Clifford calculation, the determinant-modulo-squares spinor-norm criterion on the split Levi.

2026-04-28T22:32:47Z 22 pages. Lean 4 companion formalization available at https://github.com/Arthur742Ramos/SpinorLean Arthur F. Ramos David B. Hulak Ruy J. G. B. de Queiroz http://arxiv.org/abs/2604.26115v1 2026-04-28T21:04:53Z

We develop a structure theory for transposed Poisson algebras over fields of characteristic different from two. In particular, we prove that every finite-dimensional transposed Poisson algebra over an algebraically closed field decomposes as the direct sum of a unital ideal and a nilpotent ideal. As a consequence, we obtain restrictions on simple transposed Poisson algebras and use them to classify the simple finite-dimensional transposed Poisson algebras over an algebraically closed field of characteristic $p>3$. Precisely, we show that every such algebra has as underlying Lie algebra a Zassenhaus algebra $\mathcal{W}(1;n)$ and is isomorphic to one of the algebras of the family $\mathcal{W}_n(q)$ arising from a mutation of a natural associative commutative structure on $\mathcal{W}(1;n)$. We then study the corresponding isomorphism problem for the family $\mathcal{W}_n(q)$ and determine the irreducible finite-dimensional representations of these simple transposed Poisson algebras $\mathcal{W}_n(q)$ in the unital case. We conclude with some applications to Jordan superalgebras, weak-Leibniz algebras and quasi-Poisson algebras.

2026-04-28T21:04:53Z Amir Fernández Ouaridi http://arxiv.org/abs/2604.23423v2 2026-04-28T21:01:56Z

We give an elementary proof of a result which is not as well known as it should be: a ring with a specified finite number of zero divisors is finite, with a precise bound on its order.

2026-04-25T19:33:59Z 2 page note intended for the MAA Monthly or Math. Mag. or some such journal; v.2 fixed typos in Lemma 1 proof Michael Kinyon http://arxiv.org/abs/2604.26104v1 2026-04-28T20:40:32Z

We prove that the unit group of a non-discrete irreducible, continuous ring, in the sense of John von Neumann, does not admit any non-trivial unitary representation continuous with respect to the strong operator topology.

2026-04-28T20:40:32Z 15 pages, no figures Friedrich Martin Schneider Andreas Thom