Complex structures on 2-step nilpotent Lie algebras arising from graphs

2026-06-05T18:13:29Z

This work investigates the existence of complex structures on 2-step nilpotent Lie algebras arising from finite graphs. We introduce the notion of adapted complex structure, namely a complex structure that maps vertices and edges of the graph to vertices and edges, and we analyze in depth the restrictions imposed by the integrability condition. We completely characterize the graphs that admit abelian adapted complex structures, showing that they belong to a small family of graphs that we call basic. We prove that any graph endowed with an adapted complex structure $J$ contains a unique $J$-invariant basic spanning subgraph, and conversely, that every such graph can be constructed through a systematic expansion procedure starting from a basic graph. We also explore geometric and combinatorial consequences, including the existence of special Hermitian metrics as well as other graph-theoretic properties.

On solutions of singular Sylvester equations in quaternions

2026-06-05T17:53:11Z

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

A Comparison of cluster algebra structures arising from $i$-boxes and Demazure weaves

2026-06-05T17:47:02Z

We compare two cluster algebras related to a positive element $\mathtt{b}$ in the braid group of finite $ADE$ type. One is the localized bosonic extension ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ equipped with an initial seed arising from an admissible chain $\mathfrak{C}$ of $i$-boxes, which is deeply connected to monoidal categorification. The other is the coordinate ring $\mathbb{C}[X({\underlineΔ} {\boldsymbol{i}})]$ of the braid variety $X({\underlineΔ} {\boldsymbol{i}})$ equipped with an initial seed arising from a Demazure weave $\mathfrak{W}$, where ${\boldsymbol{i}}$ and ${\underlineΔ}$ are expression sequences of $\mathtt{b}$ and the half twist $Δ$, respectively. We explicitly construct a Demazure weave $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$ for each admissible chain $\mathfrak{C}$ associated with ${\boldsymbol{i}}$, and prove that there exists an algebra isomorphism $\varphi_{\boldsymbol{i}}\colon {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})\to\mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ which is compatible with the two seeds arising from $\mathfrak{C}$ and $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$. Moreover, the isomorphism $\varphi_{\boldsymbol{i}}$ sends the PBW vectors ${\overline{\mathsf{p}}}_{\boldsymbol{i},k} \in {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ to the coordinates $z_k \in \mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ indexed by the letters of ${\boldsymbol{i}}$. As applications, we investigate a connection between Demazure weaves and signed words via the $i$-boxes and interpret the isomorphism $\varphi_{\boldsymbol{i}}$ from the viewpoint of monoidal categorification using Hernandez--Leclerc categories.

Complete and cocomplete Lie algebras with injective- and projective-type properties

2026-06-05T16:41:32Z

In the category of modules, injective and projective objects are characterized by the splitting of short exact sequences. Motivated by this principle, we investigate analogous phenomena in the category of finite-dimensional Lie algebras over a field of characteristic zero. Since this category is not abelian, extensions admit two distinct notions of splitting, which we call \emph{trivial} and \emph{semi-trivial}. The first main result establishes the converse of Jacobson's classical theorem: a Lie algebra $\A$ trivially splits every extension by it if and only if $\A$ is complete. This identifies completeness as the ``injective-type'' property in this category -- although, seemingly weaker than category-specific injectivity. By contrast, no nontrivial Lie algebra has the dual property: the second main result asserts that, for every nontrivial Lie algebra $\Cc$, some extension of $\Cc$ fails to split trivially, so no ``projective-type'' analogue exists. Restricting to central extensions restores a workable dual notion: a Lie algebra $\Cc$ is called cocomplete if every central extension of it splits trivially, and we prove that this holds if and only if $H^2(\Cc, \K) = 0$; in particular, semisimple Lie algebras are both complete and cocomplete. Each of these results admits an equivalent homomorphism-lifting reformulation, paralleling the lifting properties of injective and projective modules. For almost abelian Lie algebras, cocompleteness reduces to an explicit spectral condition on the defining derivation. These characterizations underlie three corresponding algorithms, which yield tabulations of the complete, the cocomplete, and the almost abelian cocomplete Lie algebras of dimension at most 4.

Width bounds and Steinhaus property for unit groups of continuous rings

2026-06-05T12:29:50Z

We prove an algebraic decomposition theorem for the unit group $\mathrm{GL}(R)$ of an arbitrary non-discrete irreducible, continuous ring $R$ (in von Neumann's sense), which entails that every element of $\mathrm{GL}(R)$ is both a product of $7$ commutators and a product of $16$ involutions. Combining this with further insights into the geometry of involutions, we deduce that $\mathrm{GL}(R)$ has the so-called Steinhaus property with respect to the natural rank topology, thus every homomorphism from $\mathrm{GL}(R)$ to a separable topological group is necessarily continuous. Due to earlier work, this has further dynamical ramifications: for instance, for every action of $\mathrm{GL}(R)$ by homeomorphisms on a non-void metrizable compact space, every element of $\mathrm{GL}(R)$ admits a fixed point in the latter. In particular, our results answer two questions by Carderi and Thom, even in generalized form.

Divisibility by $p$ for Markoff-like Surfaces

2026-06-05T09:16:52Z

We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields $\mathbb{F}_p$. It is shown that, for a typical surface of this form, every non-trivial orbit has size divisible by $p$. This extends a theorem of W.Y. Chen from the Markoff surface itself to others in this family. The proof closely follows and elaborates on a recent argument of D.E. Martin. We expect that there is just one orbit generically. For some special parameters, we prove that there are at least two or four orbits. Cayley's cubic surface plays a role in parametrising the exceptional cases and dictating the number of solutions mod $p$.

Derivations and local derivations on Euclidean Lie algebras

2026-06-05T05:50:44Z

The present paper is devoted to studying derivations and local derivations on the Euclidean Lie algebras $\mathfrak{e}(n)$. We give a complete desrciption of the derivation algebra of $\mathfrak{e}(n)$ for $n\geq 4$. Furthermore, we prove that every local derivations on the $\mathfrak{e}(n)$ is a derivation.

Free Reductive Lie Algebra Pairs of Lie-Yamaguti algebras

2026-06-04T17:28:08Z

The goal of this article is to show the categorical links between on the one hand the category of reductive Lie algebra pairs $\mathcal{RLP}$ and on the other hand the category of Lie-Yamaguti algebras $\mathcal{LY}$. The fact that the well-known construction of an enveloping algebra associating to a Lie-Yamaguti algebra a reductive Lie algebra pair is not functorial leads us to the main construction of the article, namely a left adjoint to the natural restriction functor $G:\mathcal{RLP}\to\mathcal{LY}$. As a final result we observe that the construction of the enveloping algebra becomes functorial when one restricts the morphisms of the categories $\mathcal{RLP}$ and $\mathcal{LY}$ to the surjective ones. Then it becomes a right adjoint to the restriction functor.

Sharply 2-transitive groups of finite Morley rank

2026-06-04T11:27:10Z

A sharply 2-transitive permutation group of finite Morley rank and characteristic 2 splits; a split sharply 2-transitive permutation group of finite Morley rank and characteristic different from 2 is the group of affine transformations of an algebraically closed field. In particular, a sharply 2-transitive permutation group of finite Morley rank of characteristic 3 is the group of affine transformations of an algebraically closed field of characteristic 3. Without any assumption on Morley rank, a sharply 2-transitive permutation group of characteristic 0 splits if its point stabilizers are virtually abelian.

Shifted double Poisson structures and noncommutative Poisson extensions

2026-06-04T06:59:46Z

We develop a theory of noncommutative Poisson extensions. For an augmented dg algebra $A$, we show that any shifted double Poisson bracket on $A$ induces a graded Lie algebra structure on the reduced cyclic homology. Under the Kontsevich--Rosenberg principle, we further prove that the noncommutative Poisson extension is compatible with noncommutative Hamiltonian reduction. Moreover, we show that shifted double Poisson structures are independent of the choice of cofibrant resolutions and that they induce shifted Poisson structures on the derived moduli stack of representations.

Frobenius subalgebra lattices in tensor categories

2026-06-04T04:05:08Z

This paper generalizes Watatani's finiteness theorem for intermediate subfactors to a wide class of monoidal categories. We characterize the sublattices of Frobenius subalgebra posets in abelian monoidal categories by introducing a notion of ambient selfduality. By extending several key results -- such as the planar algebraic exchange relation and Landau's theorems -- to linear monoidal categories, we establish a structural rigidity property for a formal angle associated to every coherent pair of Frobenius subalgebras (that is, whose intersection and sum are ambiently selfdual). Furthermore, within a weak positivity framework, we deduce that such coherent sublattices are finite for any connected Frobenius algebra. This significantly generalizes Watatani's theorem, since the unitary Frobenius subalgebra lattices are inherently coherent through a property termed rigidity invariance. Applications of this work include a unified framework that encompasses several previously unrelated finiteness results. Specifically, we recover the finiteness of the left coideal subalgebra lattice of a finite-dimensional semisimple Hopf algebra (Etingof-Walton theorem) modulo a well-supported coherence hypothesis, as well as the finiteness of the intermediate C*-algebra lattice for a finite-index unital irreducible inclusion of C*-algebras (relaxing simplicity in Ino-Watatani theorem) under an E-compatibility condition shown to be unavoidable. Furthermore, we present a variety of new applications involving abstract spin chains and vertex operator algebras, alongside speculations on quantum arithmetic that include extensions of Ore's theorem, Euler's totient and sigma functions, and RH.

A Course in Ring Theory

2026-06-04T02:36:01Z

This book is a rigorous and conceptually oriented introduction to ring theory. The emphasis is on structural understanding rather than encyclopedic coverage: rings are studied through ideals, homomorphisms, quotients, and universal properties, with systematic attention to factorization and polynomial rings. Core topics include Euclidean domains, principal ideal domains, unique factorization domains, the Chinese Remainder Theorem, and the structure of polynomial rings. The exposition is proof-based and deliberately paced, with review chapters that consolidate core ideas and include selected worked solutions, and with exercises designed to reinforce conceptual insight.

The spectrum of the bosonic ambitwistor string revisited

2026-06-03T22:48:53Z

We revisit the calculation of the spectrum of the bosonic ambitwistor string, understood as the BRST cohomology or, equivalently, as the semi-infinite cohomology of the $\mathrm{BMS}_3$ Lie algebra relative to the centre with values in a particular module. We work in momentum space, which allows us to work algebraically and interpret the BRST cohomology as inducing representations of the Poincaré group. In agreement with the existing literature, we find that all the cohomology resides in the massless sector, but a careful representation-theoretic analysis of the spectrum reveals, in addition to the usual massless sector of the closed bosonic string (dilaton, metric and Kalb--Ramond field), also a massless vector. We devote a large part of the paper to describing the cohomology at a massless momentum $p$ as a module over the stabiliser $H$ of $p$ in the Lorentz group, a task which is made difficult due to $H$ not acting reducibly when $p\neq 0$. This allows us to conclude that the spectrum is not unitary, forbidding the interpretation of the extra massless vector as a Maxwell field.

The Azumification of orders

2026-06-03T17:44:06Z

We construct a stacky resolution of singularities for certain noncommutative spaces which can be viewed as `finite noncommutative extensions' of schemes. More precisely, we show that any order over a reduced separated finite type scheme over a field of characteristic zero can be resolved by an Azumaya algebra over a smooth Deligne--Mumford stack by a sequence of stacky blow-ups.

Coactions of cocommutative Hopf algebras on skew polynomial rings

2026-06-03T14:12:47Z

We classify the cocommutative Hopf algebras which coact inner-faithfully on (one-parameter) skew polynomial rings $A_q(n) = \Bbbk \langle x_1,\dots,x_n \rangle/(x_j x_i - q x_i x_j \mid i < j)$ for $n = 2$ and $3$. As a direct corollary, we obtain a classification of group gradings on two- and three-variable skew polynomial rings, recovering a result of Crawford in the two-variable case. Our results are achieved via Manin's universal coacting Hopf algebra construction, often denoted $\underline{\operatorname{aut}}(A_q(n))$, by classifying all its cocommutative quotients. We therefore also give an explicit presentation of $\underline{\operatorname{aut}}(A_q(n))$ for arbitrary $q \in \Bbbk^*$ and $n \in \mathbb{N}$.