Geometrization of the Schrödinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting

2026-04-13T05:41:22Z

We construct and compare three D-module models for the minimal representation of the conformal group of an even-dimensional quadratic space. Let $V$ be a quadratic space over a field $κ$ of characteristic $0$, let $C$ be the isotropic cone in $V^*$, and let $G$ be the conformal group of $V$. We prove an equivalence between the category of modules over the Grothendieck differential operator algebra $D_C$, a Kazhdan--Laumon glued category attached to the smooth locus of the cone, and a category of "harmonic" twisted D-modules on a flag variety $G/P$. Along the way, we construct a quadric Fourier transform on $D_C$, provide a geometric proof that the algebra $D_C$ is finitely generated despite the singularity of $C$, and explain the quasi-classical analogue of this minimal representation.

A characterization of monoid graded semihereditary rings

2026-04-12T10:01:34Z

Let $Γ$ be a cancellation monoid and $R=\bigoplus_{α\in Γ}R_α$ be a $Γ$-graded ring. It is shown that $R$ is graded left semihereditary if and only if $R$ is graded left coherent and every graded submodule of a flat left $R$-module is flat. Hence it gives a new characterization of graded-Prüfer domains.

Dual contractions and algebraic families

2026-04-11T11:18:37Z

We introduce a duality for Inönü-Wigner contractions attached to real symmetric Lie algebras. Starting from a symmetric pair $(\mathfrak{g},θ)$, we define a dual real form $\mathfrak{g}^{*}$ inside the complexification of $\mathfrak{g}$ and consider the corresponding contraction with respect to the common fixed-point subalgebra $\mathfrak{g}^θ$. The main result shows that the original contraction and its dual appear as real fibers of a single algebraic family of complex Lie algebras equipped with an anti-holomorphic involution. This places the two contractions in one geometric framework and connects them with the algebraic-family methods developed in recent work on contractions, real forms, and hidden symmetries.

Why the Bethe Ansatz Works: A Structural Explanation via Interaction Propagation

2026-04-10T19:17:32Z

The Bethe Ansatz provides exact solutions for certain interacting quantum many-body systems, yet its success is confined to narrow regimes and breaks down abruptly outside them. Despite extensive developments in integrable systems, a structural explanation of this phenomenon has remained elusive. In this paper we give a representation-independent account of both the existence and the failure of Bethe-type exact solvability. We identify a single governing mechanism: the behaviour of interaction propagation. For systems in which propagation terminates after finite depth without encountering structural boundaries, global interaction data factor through finitely many local components, forcing Bethe-type solvability. Conversely, once a structural boundary is encountered, irreducible interaction data arise that obstruct such finite factorization and preclude Bethe-type solutions. This yields a sharp structural dichotomy. Within this regime, exact solvability is not an analytic accident but a rigidity phenomenon, while its failure is governed by intrinsic boundary formation. In this way, the Bethe Ansatz is understood as a consequence of constrained interaction propagation rather than as a model-specific construction.

Classification of irreducible real modules of real Lie superalgebras

2026-04-10T15:16:28Z

We classify irreducible finite-dimensional modules of a collection of real Lie superalgebras that includes the simple ones, their classical variants, complex Lie superalgebras after restriction of scalars, and all real Lie algebras. Our strategy is to reduce this classification to determining the orbits of the parity and conjugation functors on irreducible modules of the complexifications of the aforementioned algebras. Then we provide explicit results for the computation of these orbits. For Lie superalgebras of basic type or of type $\mathbf Q(n)$, our classification applies to any highest-weight parametrization of irreducible complex modules with respect to an arbitrary Borel subalgebra. As a consequence, in the special case of real simple Lie algebras we obtain a new perspective on the classification of real simple modules and establish a conceptual connection with Kostant's cascade of strongly orthogonal roots.

Quasi-projective dimensions of complexes over rings

2026-04-10T12:49:16Z

Quasi-projective dimension of modules over associative rings is generalized in this paper to the one of complexes of modules. Basic properties of this dimension are established, including a comparison result with projective dimension and a derived Auslander-Buchsbaum formula for complexes of finite quasi-projective dimension. Several sufficient conditions are provided for a commutative noetherian local ring to be a complete intersection under the assumption that each finitely generated module has finite quasi-projective dimension. This provides some positive answers to an open question on quasi-projective dimension proposed by Gheibi-Jorgensen-Takahashi. Moreover, the behavior of quasi-projective dimension under taking the quotient of a commutative ring modulo a regular sequence is investigated, and some partial results toward the change-of-rings question on quasi-projective dimension are given.

On a non-commutative sixth $q$-Painlevé system: from discrete system to surface theory

2026-04-10T09:52:57Z

In this paper, we describe the non-commutative formal geometry underlying a certain class of discrete integrable systems. Our main example is a non-commutative analog, labeled $q$-P$(A_3)$, of the sixth $q$-Painlevé equation. The system $q$-P$(A_3)$ is constructed by postulating an extended birational representation of the extended affine Weyl group $\widetilde{W}$ of type $D_5^{(1)}$ and by selecting the same translation element in $\widetilde{W}$ as in the commutative case. Starting from this non-commutative discrete system, we develop a non-commutative version of Sakai$'$s surface theory, which allows us to derive the same birational representation that we initially postulated. Moreover, we recover the well-known cascade of multiplicative discrete Painlevé equations rooted in $q$-P$(A_3)$ and establish a connection between $q$-P$(A_3)$ and the non-commutative $d$-Painlevé systems introduced in I. Bobrova. Affine Weyl groups and non-Abelian discrete systems: an application to the $d$-Painlevé equations.

Triality and the Magic Square of Hans Freudenthal

2026-04-10T09:00:27Z

We study real triality structures through their intrinsic tensor algebra. Starting from a single triality symbol, we construct the associated Lie algebra of two-triality operators, prove the Jacobi identity, and identify the resulting algebra uniformly with the corresponding entry of the magic square. We then examine the natural invariant bilinear forms and the Clifford-theoretic structures arising from this construction. In low dimension, the triality formalism also recovers classical arithmetic data: in the $2\times2\times2$ case, the associated binary quadratic forms have a common discriminant and fit naturally into the Bhargava cube picture.

Twisted Derivations in Algebraic Number Fields

2026-04-09T22:03:42Z

Let $A$ be a commutative ring with unity and $B = A[θ]$ be an integral extension of $A$. Assume that $B$ is an integral domain with quotient field $\mathbb{K}$ and $\mathbb{E}$ is the minimal splitting field of $θ$ over $\mathbb{K}$. Suppose $σ, τ: B \rightarrow \mathbb{E}$ are two different ring homomorphisms that fix $A$ element-wise. In this article, we classify all $A$-linear maps $D: B \rightarrow \mathbb{E}$ which are $(σ, τ)$-derivations. Consequently, we classify all $(σ, τ)$-derivations in certain field extensions, algebraic number fields, and their ring of algebraic integers. For the ring of algebraic integers, $O_{\mathbb{K}} = \mathbb{Z}[ζ]$ of the cyclotomic number field $\mathbb{K} = \mathbb{Q}(ζ)$ ($ζ$ an $n^{\text{th}}$ primitive root of unity), and a pair $(σ, τ)$ of two different $\mathbb{Z}$-algebra endomorphisms of $O_{\mathbb{K}}$, we conjecture (using SageMath) a necessary and sufficient condition for a $(σ, τ)$-derivation $D:O_{\mathbb{K}} \rightarrow O_{\mathbb{K}}$ to be inner. This is done for two different forms of $n$: (i) $n = 2^{r}p$ ($r \in \mathbb{N}$ and $p$ an odd rational prime), and (ii) $n=p^{k}$ ($k \in \mathbb{N} \setminus \{1\}$ and $p$ any rational prime). As an application of our main result on classification of $(σ, τ)$-derivations $D:B \rightarrow \mathbb{E}$ and also the conjectures on inner $(σ, τ)$-derivations of $O_{\mathbb{K}}$, we also conjecture the existence and non-existence of non-zero outer derivations of $O_{\mathbb{K}}$ for the above two forms of $n$, thus answering the twisted derivation problem in $O_{\mathbb{K}}$. Finally, as another application of our main result on the classification of $(σ, τ)$-derivations $D:B \rightarrow \mathbb{E}$, we construct some binary Hom-IDD codes in coding theory.

On polynomial equations over split-octonions: the arbitrary field case

2026-04-09T21:54:38Z

Over the split-octonion algebra defined over an arbitrary field, we solve all polynomial equations whose coefficients are scalar except for the constant term. As an application, we determine the square and cubic roots of an octonion.

The higher-order hom-associative Weyl algebras

2026-04-09T17:47:37Z

We show that the higher-order Weyl algebras over a field of characteristic zero, which are formally rigid as associative algebras, can be formally deformed in a nontrivial way as hom-associative algebras. We also show that these hom-associative Weyl algebras arise naturally as hom-associative iterated differential polynomial rings, that they contain no zero divisors, are power-associative only when associative, and that they are simple. We then determine their commuters, nuclei, centers, and derivations. Last, we classify all hom-associative Weyl algebras up to isomorphism and conjecture that all nonzero homomorphisms between any two isomorphic hom-associative Weyl algebras are isomorphisms. The latter conjecture turns out to be stably equivalent to the Dixmier Conjecture, and hence also to the Jacobian Conjecture.

A necessary condition for solvability by radicals

2026-04-09T17:41:34Z

This note was prepared as a handout for the MAT401 course ``Polynomial equations and fields", taught at the University of Toronto in Spring 2026. It presents a proof of a necessary condition for the solvability of algebraic equations by radicals, based on Galois theory. We begin with a brief overview of the relevant basic results from Galois theory, as covered in MAT401, and use -- without proof -- several standard (and relatively simple) results from the course textbook [1]. The sufficient condition for solvability by radicals, which is based on linear algebra, we will present in the next handout.

Galois theory for finite fields

2026-04-09T17:24:14Z

This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of finite fields and of finite field extensions which we already covered in class. Firstly, we describe an extension $K\subset F$ of a finite field $K$ of a given degree $n$. We show that the set of all intermediate fields for this extension is in one-to-one correspondence with the set of all divisors $k$ of the degree $n$. Then we describe the Galois group of this extension which is the cyclic group of order $n$. The set of subgroups of this group also is in one-to-one correspondence with the set of all divisors $k$ of the degree $n$. It allows us to prove the Galois correspondence for that extension. In the last section, we state basic theorems of Galois theory for arbitrary fields which will be proven later in the course.

Tomiyama-type maps with a diagonal perturbation

2026-04-09T15:30:32Z

We investigate a two-parameter family of linear maps on matrix algebras, constructed as diagonal perturbations of classical Tomiyama maps. Employing the Choi matrix method alongside block-positivity techniques, we derive explicit necessary and sufficient conditions for positivity, complete positivity, and k-positivity across arbitrary dimensions. These conditions provide a transparent geometric characterization of the positivity regions within the parameter space.

Local Lie Theory in Quasi-Banach Lie Algebras: Convergence of the BCH Series and Geometric Implications

2026-04-09T13:51:21Z

We develop a local Lie theory for Lie algebras equipped with a quasi-norm, i.e., complete topological vector spaces satisfying a relaxed triangle inequality $\|x+y\|\le \Ctri(\|x\|+\|y\|)$ with $\Ctri\ge 1$. We prove that the Baker--Campbell--Hausdorff (BCH) series converges in a neighborhood of the origin, provided the quasi-norm admits a continuous Lie bracket with finite continuity constant $\Cbracket$. The proof relies on the Aoki--Rolewicz theorem to construct an equivalent $p$-norm satisfying $p$-subadditivity, enabling rigorous Cauchy-sequence arguments in the complete quasi-metric space $(E, d_p)$. This yields a well-defined local Lie group structure via the exponential map. We analyze the geometric deformation induced by the quasi-norm exponent $p\in(0,1]$, showing that it modifies metric properties while preserving the underlying Lie algebraic structure. Numerical estimates of BCH coefficients up to degree $20$, with coefficients defined precisely via Hall--Lyndon basis projection, demonstrate that classical combinatorial bounds are conservative in the presence of algebraic cancellations, allowing significantly larger practical convergence radii in structured algebras. Applications include weak Schatten ideals $\mathcal{L}_{p,\infty}(H)$ for $0