https://arxiv.org/api/fYWMWEH5yi1W76hySmbBLOjjJwM2026-06-21T19:47:29Z2010078015http://arxiv.org/abs/2601.18254v2Algebraic Phase Theory IV: Morphisms, Equivalences, and Categorical Rigidity2026-02-16T20:38:07ZWe complete the foundational architecture of Algebraic Phase Theory by developing a categorical and $2$-categorical framework for algebraic phases. Building on the structural notions introduced in Papers~I-III, we define phase morphisms, equivalence relations, and intrinsic invariants compatible with the canonical filtration and defect stratification.
For finite, strongly admissible phases we establish strong rigidity theorems: phase morphisms are uniquely determined by their action on rigid cores, and under bounded defect, weak, strong, and Morita-type equivalence all coincide. In particular, finite strongly admissible phases admit no distinct models with the same filtered representation theory. We further show that structural boundaries are invariant under Morita-type equivalence and therefore constitute genuine categorical invariants.
Algebraic phases, phase morphisms, and filtration-compatible natural transformations form a strict $2$-category in the strongly admissible regime. We also prove that completion defines a reflective localization of this category, with complete phases characterized as universal forced rigidifications.
Together, these results elevate Algebraic Phase Theory from a collection of algebraic constructions to a categorical framework in which rigidity, equivalence collapse, boundary invariance, and completion arise as intrinsic consequences of phase interaction, finiteness, and admissibility.2026-01-26T08:26:18Z24 pages. Part of the Algebraic Phase Theory seriesJoe Gildeahttp://arxiv.org/abs/2601.16346v2Algebraic Phase Theory III: Structural Quantum Codes over Frobenius Rings2026-02-16T20:35:58ZWe develop the quantum component of Algebraic Phase Theory by showing that quantum phase, Weyl noncommutativity, and stabiliser codes arise as unavoidable algebraic consequences of Frobenius duality. Working over finite commutative Frobenius rings, we extract nondegenerate phase pairings, Weyl operator algebras, and quantum stabiliser codes directly from admissible phase data, without assuming Hilbert spaces, analytic inner products, or an externally imposed symplectic structure.
Within this framework, quantum state spaces appear as minimal carriers of faithful phase action, and stabiliser codes are identified canonically with self-orthogonal submodules under the Frobenius phase pairing. CSS-type constructions arise only as a special splitting case, while general Frobenius rings admit intrinsically non-CSS stabilisers. Nilpotent and torsion structure in the base ring give rise to algebraically protected quantum layers that are invisible to admissible Weyl-type errors.
These results place quantum stabiliser theory within Algebraic Phase Theory: quantisation emerges as algebraic phase induction rather than analytic completion, and quantum structure is information-complete at the level of algebraic phase relations alone. Throughout, we work over finite Frobenius rings, which are precisely the base rings for which admissible phase data become strongly admissible, and in this regime the full quantum formalism is forced by Frobenius duality.2026-01-22T22:08:29ZComments: 22 pages. Quantum and stabiliser-theoretic specialisation of Algebraic Phase TheoryJoe Gildeahttp://arxiv.org/abs/2601.16341v2Algebraic Phase Theory II: The Frobenius Heisenberg Phase and Boundary Rigidity2026-02-16T20:29:48ZWe develop the representation theory intrinsic to Algebraic Phase Theory (APT) in regimes where defect and canonical filtration admit faithful algebraic realisation. This extends the framework introduced in earlier work by incorporating a representation-theoretic layer that is compatible with defect and filtration. In this setting, algebraic phases act naturally on filtered module categories rather than on isolated objects, and classical irreducibility must be replaced by a filtration-compatible notion of indecomposability forced by defect.
As a central application, we analyse the Frobenius Heisenberg algebraic phase, which occupies a rigid boundary regime within the broader APT landscape, and show that it satisfies the axioms of APT in a strongly admissible form. We study the representations realising this phase and show that their non-semisimplicity and rigidity properties are consequences of the underlying algebraic structure rather than analytic or semisimple hypotheses. In particular, we establish a Stone von Neumann type rigidity theorem for Heisenberg groups associated with finite Frobenius rings. For each such ring $R$, we construct a canonical Schrödinger representation of the Frobenius Heisenberg group $H_R$, and show that, for a fixed nontrivial central character, every centrally faithful representation of $H_R$ is equivalent to this model.
The proof is entirely algebraic and uses no topology, unitarity, Fourier analysis, or semisimplicity. Instead, rigidity emerges as a boundary phenomenon governed by defect and canonical filtration. The Frobenius hypothesis is shown to be sharp: it precisely delineates the structural boundary within APT at which Heisenberg rigidity persists, and outside the Frobenius class this rigidity necessarily fails.2026-01-22T21:57:03Z27 pages. No figures. Part of a six-paper series on Algebraic Phase TheoryJoe Gildeahttp://arxiv.org/abs/2601.16334v2Algebraic Phase Theory I: Radical Phase Geometry and Structural Boundaries2026-02-16T20:18:54ZWe develop Algebraic Phase Theory (APT), an axiomatic framework for extracting intrinsic algebraic structure from phase based analytic data. From minimal admissible phase input we prove a general phase extraction theorem that yields algebraic Phases equipped with functorial defect invariants and a uniquely determined canonical filtration. Finite termination of this filtration forces a structural boundary: any extension compatible with defect control creates new complexity strata.
These mechanisms are verified in the minimal nontrivial setting of quadratic phase multiplication operators over finite rings with nontrivial Jacobson radical. In this case nilpotent interactions produce a finite filtration of quadratic depth, and no higher degree extension is compatible with the axioms. This identifies the radical quadratic Phase as the minimal example in which defect, filtration, and boundary phenomena occur intrinsically.2026-01-22T21:43:08Z27 pages; part of the Algebraic Phase Theory seriesJoe Gildeahttp://arxiv.org/abs/2602.15170v1Partial actions of free groups and groupoid homology2026-02-16T20:16:52ZWe give a length one projective resolution of the trivial module for the groupoid of a semi-saturated partial action (in the sense of Exel) of a free group on a compact Hausdorff and totally disconnected space. As a consequence we obtain an elementary computation of the homology of these groupoids, which include transformation groupoids of free group actions and Deaconu-Renault groupoids of systems $(X,T)$ where $X$ is compact Hausdorff and totally disconnected and $T$ is a local homeomorphism with domain a clopen subset of $X$. We also show that algebra of such a partial action groupoid over a field has global dimension at most $2$ when the space is second countable.2026-02-16T20:16:52ZBenjamin Steinberghttp://arxiv.org/abs/2401.11583v2Fuchs' problem for linear groups2026-02-16T18:51:22ZWhich groups can occur as the group of units in a ring? Such groups are called realizable. Though the realizable members of several classes of groups have been determined (e.g., cyclic, odd order, alternating, symmetric, finite simple, indecomposable abelian, and dihedral), the question remains open. The general linear groups are realizable by definition: they are the units in the corresponding matrix rings. In this paper, we study the realizability of two closely related linear groups, the special linear groups and the affine general linear groups. We determine which special linear groups of degree 2 over a finite field are realizable by a finite ring, and we determine which affine general linear groups of degree 1 over a cyclic group are realizable by a finite ring. We also give partial results for certain linear groups of other degrees and for rings of characteristic zero.2024-01-21T20:10:08ZComm. Algebra, Vol. 52, No. 7 (2024), pp. 2892-2902Keir LockridgeJacinda Terkelhttp://arxiv.org/abs/2602.14973v1Semigroups from full lattices in commutative ${\mathbb Q}$-algebras2026-02-16T17:56:55ZThe full lattices in a finite dimensional commutative ${\mathbb Q}$-algebra form a commutative semigroup. In the case of an algebraic number field the top part of a certain quotient semigroup is the class group. For a separable algebra some basic results, especially the Jordan-Zassenhaus theorem, are known for this quotient semigroup. This paper considers also algebras which are not separable. It studies the commutative semigroup of full lattices in such an algebra and also the quotient semigroup. This leads in this commutative, but not separable situation to a certain extension of the Jordan-Zassenhaus theorem. One application concerns $GL_n({\mathbb Z})$-conjugacy classes of regular integer $n\times n$ matrices.2026-02-16T17:56:55Z48 pagesClaus HertlingKhadija Larabihttp://arxiv.org/abs/2602.15908v1A short construction of the Lie algebra $G_2(K)$ over fields $K$ of characteristic $2$2026-02-16T13:39:08ZThe purpose of this paper is to give an explicit and elementary construction for the Lie algebras of type $G_2(K)$ of dimension 14, over the field K of characteristic 2. We say an elementary construction on the account that we use not more than little naive linear algebra notions.2026-02-16T13:39:08Z8 pagesMashhour Bani-AtaAbdulkareem Alhuraijihttp://arxiv.org/abs/2602.14715v1Actions of Lie 2-algebras and comomentum maps2026-02-16T13:02:23ZIn this paper we introduce the notion of a 2-action of a Lie 2-algebra on an arbitrary manifold M. Furthermore, in [Rog12], given a n-plectic manifold (M, $ω$), the authors consider a Lie Infinity-algebra L$\infty$ (M, $ω$), which is a higher analogue of the Poisson algebra of observables associated to a symplectic manifold. This Lie Infinity-algebra reduces to a Lie 2-algebra L^2 (M, $ω$) when (M, $ω$) is 2-plectic. Following ideas of N.L. Delgado [Del18], we introduce the Lie 2-algebra D^2 (M, $ω$), which generalises the Lie 2-algebra L^2 (M, $ω$) and its extension containing Hamiltonian pairs. Given a two-plectic manifold (M, $ω$) and a Lie 2-algebra g_1 $\oplus$ g_0 acting on M we define a comomentum map as a lift of the action, i.e., as a Lie 2-algebra morphism from g_1 $\oplus$ g_0 to the extension of the Lie 2-algebra D^2 (M, $ω$). In an appendix, we discuss very explicitly numerous examples, classified according to their algebraic properties.2026-02-16T13:02:23ZPhilippe BonneauIECLVéronique Chloup-ArnouldIECLAngela GammellaIECLTilmann WurzbacherIECLhttp://arxiv.org/abs/2409.14452v2On the faithful flatness of some modules arising in analysis2026-02-16T12:40:56ZThe notion of faithful flatness of a module over a commutative ring is studied for two $R$-modules $M$ arising in functional analysis, where $R$ is a Banach algebra and $M$ is a Hilbert space. The following results are shown:
If $X$ is a locally compact Hausdorff topological space, and $μ$ is a positive Radon measure on $X$, then $L^2(X,μ)$ is a flat $L^\infty(X,μ)$-module.
Moreover:
(1) If $μ$ is $σ$-finite, then for every finitely generated, nonzero, proper ideal $\mathfrak{n}$ of $L^\infty(X,μ)$, there holds $\mathfrak{n}L^2(X,μ)\subsetneq L^2(X,μ)$.
(2) If $X$ is the union of an increasing family of Borel sets $U_n$, $n\in \mathbb{N}$, such that for each $n\in \mathbb{N}$, $\overline{U_n}$ is compact and $μ(U_{n+1}\setminus U_n)>0$, then $L^2(X,μ)$ is not a faithfully flat $L^\infty(X,μ)$-module.
It is shown that the Hardy space $H^2$ is a flat, but not a faithfully flat $H^\infty$-module (answering a 2005 question of Alban Quadrat).2024-09-22T14:05:38Z17 pages, 0 figures. The new version corrects typos detected in the previous version. To appear in the Nagoya Mathematical JournalNagoya Math. J. 261 (2026) e19Amol Sasane10.1017/nmj.2026.10103http://arxiv.org/abs/2602.14610v1Weakly $\sqrt{J}U$ Rings2026-02-16T10:14:27ZWe introduce and study the so-called {\it weakly $\sqrt{J}U$ rings} (hereafter abbreviated as {\it $W\sqrt{J}U$ rings} for short), in which every unit is of the form $j+1$ or $j-1$ for some $j$ in $\sqrt{J(R)} : = \{x \in R : x^n \in J(R) \text{ for some } n\ge 1\}$. This class of rings non-trivially generalizes the classes of $\sqrt{J}U$, $UU$, $JU$, $WUU$ and $WJU$ rings, respectively. We investigate their basic properties showing that they are Dedekind-finite, that $M_n(R)$ is never $W\sqrt{J}U$ for $n\ge 2$, and that when $\operatorname{char}(R)>0$ it must be equal to $2^α3^β$ for some $α, β\in \mathbb{N} \cup \left\{ 0 \right\}$. Moreover, for group rings $RG$, we prove that if $RG$ is $W\sqrt{J}U$, then $R$ is $W\sqrt{J}U$ and $G$ is a torsion group. In addition, when $R$ has positive characteristic and $G$ is a locally finite $p$-group, we give a complete characterization like this: $RG$ is a $W\sqrt{J}U$ ring if, and only if, either $R$ is a $\sqrt{J}U$ ring and $G$ is a $2$-group, or $R$ is a $W\sqrt{J}U$ ring with $3\in J(R)$ and $G$ is a $3$-group, or $R\cong R_1\times R_2$ with $R_1$ a $\sqrt{J}U$ ring, $R_2$ a $W\sqrt{J}U$ ring and $G$ a trivial group.
Our results substantially improve on recent achievements due to Saini and Udar in Czech. Math. J. (2025).2026-02-16T10:14:27Z20 pagesZari Vesali MahmoodAhmad MoussaviPeter Danchevhttp://arxiv.org/abs/2411.14693v3Minimum transformation representations of diagram monoids2026-02-16T10:06:30ZWe obtain formulae for the minimum transformation degrees of the most well-studied families of finite diagram monoids, including the partition, Brauer, Temperley--Lieb and Motzkin monoids. For example, the partition monoid $P_n$ has degree $1 + \frac{B(n+2)-B(n+1)+B(n)}2$ for $n\geq2$, where these are Bell numbers. The proofs involve constructing explicit faithful representations of the minimum degree, many of which can be realised as (partial) actions on projections.2024-11-22T02:57:27ZV3: 35 pages, to appear in IMRN. V2 (submitted version): 36 pages, expanded intro. V1: 35 pages, 4 figures, 2 tablesReinis CirponsJames EastJames D. Mitchellhttp://arxiv.org/abs/2602.14600v1Rings whose Non-Units are a Unit Multiple of an Element from $\sqrt{Δ(R)}$2026-02-16T10:01:36ZThis paper introduces and studies a new class of rings called {\it $U\sqrtΔ$-rings}. A ring $R$ is $U\sqrtΔ$ if every non-unit element can be written as the product of a unit and an element from $\sqrt{Δ(R)}$, where $\sqrt{Δ(R)}$ consists of elements some power of which lies in the special subring $Δ(R)$. We establish certain basic properties of these rings and, concretely, prove that they are simultaneously indecomposable and Dedekind-finite. We also show that the polynomial ring $R[x]$ and the Laurent polynomial ring $R[x, x^{-1}]$ are never $U\sqrtΔ$-rings, while the power series ring $R[[x]]$ inherits this property from $R$. Likewise, for left (right) Artinian rings, the conditions of being a $U\sqrtΔ$-ring and a $UN$-ring are equivalent, as well as these two conditions are preserved for the full matrix ring $M_n(R)$ of size $n\geq 1$ over $R$. In addition, for a commutative ring $R$, $M_n(R)$ is a $U\sqrtΔ$-ring exactly when $R$ is local. Furthermore, we characterize when a group ring $RG$ is a $U\sqrtΔ$-ring showing that, for a locally solvable group $G$, this occurs precisely when $R$ is a $U\sqrtΔ$-ring and $G$ is a locally finite $p$-group for some prime $p \in J(R)$.2026-02-16T10:01:36Z19 pagesOmid HasanzadehAhmad MoussaviPeter Danchevhttp://arxiv.org/abs/2602.03659v2Higher torsion classes, $τ_d$-tilting theory and silting complexes2026-02-16T09:20:18ZInitiated in work by Adachi, Iyama and Reiten, the area known as $τ$-tilting theory plays a fundamental role in contemporary representation theory. In this paper we explore a higher-dimensional analogue of this theory, formulated with respect to the higher Auslander-Reiten translation $τ_d$. In particular, we associate to any functorially finite $d$-torsion class a maximal $τ_d$-rigid pair and a $(d+1)$-term silting complex. In the case $d=1$, the notions of maximal $τ_d$-rigid and support $τ$-tilting pairs coincide, and our theory recovers the classical bijections. However, the proof strategies for $d>1$ differ significantly. As an intermediate step, we prove that a $d$-cluster tilting subcategory of a module category induces a $d$-cluster tilting subcategory of the category of $(d+1)$-term complexes, producing novel examples of $d$-exact categories. We introduce the notion of a $d$-torsion class in the exact setup, and use this to obtain the aforementioned $(d+1)$-term silting complex. We moreover apply our theory to study $d$-APR tilting modules and slices. To illustrate our results, we provide explicit combinatorial descriptions of maximal $τ_d$-rigid pairs and $(d+1)$-term silting complexes for higher Auslander and higher Nakayama algebras.2026-02-03T15:41:12Zv2: cleverref issue solvedJenny AugustJohanne HauglandKarin M. JacobsenSondre KvammeYann PaluHipolito Treffingerhttp://arxiv.org/abs/2507.03762v2Special pure gradings on simple Lie algebras of types $E_6$, $E_7$, $E_8$2026-02-16T09:10:23ZA group grading on a semisimple Lie algebra over an algebraically closed field of characteristic zero is special if its identity component is zero; it is pure if at least one of its components, other than the identity component, contains a Cartan subalgebra. We classify special pure gradings on Lie algebras of types $E_6$, $E_7$, $E_8$ up to equivalence and up to isomorphism. To this end, we use quadratic forms over the field of two elements to show that there are exactly three equivalence classes for $E_6$, four for $E_7$, and five for $E_8$. The computation of the corresponding Weyl groups and their actions on the universal groups yields a set of invariants that allow us to distinguish the isomorphism classes.2025-07-04T18:19:48Z27 pagesLinear Algebra Appl. 737 (2026), 263-297Cristina DraperAlberto ElduqueMikhail Kochetov10.1016/j.laa.2026.02.019