Tensor products, $q$-characters and $R$-matrices for quantum toroidal algebras

2025-04-14T18:08:48Z

We introduce a new topological coproduct $\Delta^{\psi}_{u}$ for quantum toroidal algebras $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ in all untwisted types, leading to a well-defined tensor product on the category $\widehat{\mathcal{O}}_{\mathrm{int}}$ of integrable representations. This is defined by twisting the Drinfeld coproduct $\Delta_{u}$ with an anti-involution $\psi$ of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ that swaps its horizontal and vertical quantum affine subalgebras. Other applications of $\psi$ include generalising the celebrated Miki automorphism from type $A$, and an action of the universal cover of $SL_{2}(\mathbb{Z})$. Next, we investigate the ensuing tensor representations of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$, and prove quantum toroidal analogues for a series of influential results by Chari-Pressley on the affine level. In particular, there is a compatibility with Drinfeld polynomials, and the product of irreducibles is generically irreducible. We moreover show that the $q$-character of a tensor product is equal to the product of $q$-characters for its factors. Furthermore, we obtain $R$-matrices with spectral parameter which provide solutions to the (trigonometric, quantum) Yang-Baxter equation, and endow $\widehat{\mathcal{O}}_{\mathrm{int}}$ with a meromorphic braiding. These moreover give rise to a commuting family of transfer matrices for each module.

D-convolution categories and Hopf algebras

2025-04-14T18:03:56Z

For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of Harish-Chandra bimodules. Combining the work of Beilinson-Drinfeld on D-modules and Hecke patterns with the recent work of the author with Dimofte and Py, we show that each of the above categories (more precisely the equivariant version) is monoidal equivalent to a localization of the DG category of modules of a graded Hopf algebra. As a consequence, we give an explicit braided monoidal structure to the derived category of D-modules on $G/G_{ad}$, which when restricted to the heart, recovers the braiding of Bezrukavnikov-Finkelberg-Ostrik.

What is Connectivity?

2025-04-14T15:34:13Z

In this paper, we explore a taxonomy of connectivity for space-like structures. It is inspired by isolating posets of connected pieces of a space and examining its embedding in the ambient space. The taxonomy includes in its scope all standard notions of connectivity in point-set and point-free contexts, such as connectivity in graphs and hypergraphs (as well as k-connectivity in graphs), connectivity and path-connectivity in topology, and connectivity of elements in a frame.

A short proof for the acyclicity of oriented exchange graphs of cluster algebras

2025-04-14T14:09:06Z

The statement in the title was proved in \cite{Cao23} by introducing dominant sets of seeds, which are analogs of torsion classes in representation theory. In this note, we observe a short proof by the existence of consistent cluster scattering diagrams.

Constructing strictly sign regular matrices of all sizes and sign patterns

2025-04-14T12:27:21Z

The class of strictly sign regular (SSR) matrices has been extensively studied by many authors over the past century, notably by Schoenberg, Motzkin, Gantmacher, and Krein. A classical result of Gantmacher-Krein assures the existence of SSR matrices for any dimension and sign pattern. In this article, we provide an algorithm to explicitly construct an SSR matrix of any given size and sign pattern. (We also provide in an Appendix, a Python code implementing our algorithm.) To develop this algorithm, we show that one can extend an SSR matrix by adding an extra row (column) to its border, resulting in a higher order SSR matrix. Furthermore, we show how inserting a suitable new row/column between any two successive rows/columns of an SSR matrix results in a matrix that remains SSR. We also establish analogous results for strictly sign regular $m \times n$ matrices of order $p$ for any $p \in [1, \min\{m,n\}]$.

Spaces of triangularizable matrices

2025-04-14T08:27:06Z

Let F be a field. We investigate the greatest possible dimension t_n(F) for a vector space of n-by-n matrices with entries in F and in which every element is triangularizable over the ground field F. It is obvious that t_n(F) is greater than or equal to n(n+1)/2, and we prove that equality holds if and only if F is not quadratically closed or n=1, excluding finite fields with characteristic 2. If F is infinite and not quadratically closed, we give an explicit description of the solutions with the critical dimension t_n(F), reducing the problem to the one of deciding for which integers k between 2 and n all k-by-k symmetric matrices over F are triangularizable.

On the existence of parameterized noetherian rings

2025-04-14T02:46:43Z

A ring $R$ is called left strictly $(<\aleph_{\alpha})$-noetherian if $\aleph_{\alpha}$ is the minimum cardinal such that every ideal of $R$ is $(<\aleph_{\alpha})$-generated. In this note, we show that for every singular (resp., regular) cardinal $\aleph_{\alpha}$, there is a valuation domain $D$, which is strictly $(<\aleph_{\alpha})$-noetherian (resp., strictly $(<\aleph_{\alpha}^+)$-noetherian), positively answering a problem proposed in \cite{Marcos25} under some set theory assumption.

Generalizing the Invertible Matrix Theorem with Linear Relations using Graphical Linear Algebra

2025-04-13T19:52:35Z

Linear algebra's main concerns are sets of vectors, linear functions, subspaces, linear systems, matrices and concepts about those, such as whether the solution of linear system exists or is unique; a set of vectors is linearly independent or spans the whole space; a linear function has a right or a left inverse; a linear function is surjective or injective; and the kernel of a matrix is trivial or the its image is full. The Invertible Matrix Theorem ties all these ideas and many others together. Many modern linear algebra books use this theorem as a guiding principle to explain many connections in linear algebra. The main idea is to separately characterize whether the linear function is surjective or injective. The proof usually uses a matrix decomposition as the key step. However, the invertible matrix theorem deals with a single linear function, a single set of vectors, a single subspace, and a single matrix. In this work, we generalize part of the invertible matrix theorem to results about a pair of linear functions, a pair of sets of vectors, a pair of subspaces, and a single linear relation. The main idea is to separately characterize the linear relation's fundamental properties -- whether it is surjective, injective, deterministic and total. Our proof uses a decomposition of a linear relation as the key step. Unfortunately, reasoning with linear relations in classical notation requires applying many rules besides shuffling quantifiers and variables around, which can obscure the symmetries in the results. Therefore, this work employs graphical linear algebra, a two-dimensional diagrammatic syntax with the fundamental rules of linear relations built-in.

Universal deformation rings of a special class of modules over generalized Brauer tree algebras

2025-04-13T18:04:12Z

Let $\Bbbk$ be an algebraically closed field and $\Lambda$ a generalized Brauer tree algebra over $\Bbbk$. We compute the universal deformation rings of the periodic string modules over $\Lambda$. Moreover, for a specific class of generalized Brauer tree algebras $\Lambda(n,\overline{m})$, we classify the universal deformation rings of the modules lying in $\Omega$-stable components $\mathfrak{C}$ of the stable Auslander-Reiten quiver provided that $\mathfrak{C}$ contains at least one simple module. Our approach uses several tools and techniques from the representation theory of Brauer graph algebras. Notably, we leverage Duffield's work on the Auslander-Reiten theory of these algebras and Opper-Zvonareva's results on derived equivalences between Brauer graph algebras.

Irreducible characters and bitrace for the $q$-rook monoid

2025-04-13T17:53:48Z

This paper studies irreducible characters of the $q$-rook monoid algebra $R_n(q)$ using the vertex algebraic method. Based on the Frobenius formula for $R_n(q)$, a new iterative character formula is derived with the help of the vertex operator realization of the Schur symmetric function. The same idea also leads to a simple proof of the Murnaghan-Nakayama rule for $R_n(q)$. We also introduce the bitrace for the $q$-rook monoid and derive its combinatorial formula as a generalization of the bitrace formula for the Iwahori-Hecke algebra. The character table of $R_n(q)$ with $|\mu|=5$ is listed in the appendix.

An approach to Martsinkovsky's invariant via Auslander's approximation theory

2025-04-13T10:10:05Z

Auslander developed a theory of the $\delta$-invariant for finitely generated modules over commutative Gorenstein local rings, and Martsinkovsky extended this theory to the $\xi$-invariant for finitely generated modules over general commutative noetherian local rings. In this paper, we approach Martsinkovsky$'$s $\xi$-invariant by considering a non-decreasing sequence of integers that converges to it. We investigate Auslander$'$s approximation theory and provide methods for computing this non-decreasing sequence using the approximation.

Covering conditions for ideals in semirings

2025-04-13T00:41:43Z

In this paper, we prove prime avoidance for ringoids. We also generalize McCoy's and Davis' prime avoidance theorems in the context of semiring theory. Next, we proceed to define and characterize compactly packed semirings and show that a commutative semiring is compactly packed if and only if each prime ideal is the radical of a principal ideal. Finally, we calculate the set of zero-divisors of some monoid semimodules over compactly packed semirings in terms of their prime ideals.

Algebraic properties of Indigenous semirings

2025-04-13T00:22:49Z

In this paper, we introduce Indigenous semirings and show that they are examples of information algebras. We also attribute a graph to them and discuss their diameters, girths, and clique numbers. On the other hand, we prove that the Zariski topology of any Indigenous semiring is the Sierpi\'{n}ski space. Next, we investigate their algebraic properties (including ideal theory). In the last section, we characterize units and idempotent elements of formal power series over Indigenous semirings.

The trace dual of nonlinear skew cyclic codes

2025-04-12T06:35:38Z

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;\sigma]/(X^n-1)$, where $\sigma$ denotes the Frobenius automorphism and $\mathbb{F}_{q^2}[X;\sigma]$ the induced skew polynomial ring.

The varieties generated by 3-hypergraph semirings

2025-04-12T02:40:06Z

In this paper the 3-hypergraph semigroups and 3-hypergraph semirings from 3-hypergraphs $\mathbb{H}$ are introduced and the varieties generated by them are studied. It is shown that all 3-hypergraph semirings $S_{\scriptscriptstyle \mathbb{H}}$ are nonfinitely based and subdirectly irreducible. Also, it is proved that each variety generated by 3-hypergraph semirings is equal to a variety generated by 3-uniform hypergraph semirings. It is well known that both variety $\mathbf{V}(S_c(abc))$ (see, J. Algebra 611: 211--245, 2022 and J. Algebra 623: 64--85, 2023) and variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ play key role in the theory of variety of ai-semirings, where 3-uniform hypergraph $\mathbb{H}$ is a 3-cycle. They are shown that each variety generated by 2-robustly strong 3-colorable 3-uniform hypergraph semirings is equal to variety $\mathbf{V}(S_c(abc))$, and each variety generated by so-called beam-type hypergraph semirings or fan-type hypergraph semirings is equal to the variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ generated by a 3-uniform 3-cycle hypergraph semiring $S_{\scriptscriptstyle \mathbb{H}}$. Finally, an infinite ascending chain is provided in the lattice of subvarieties of the variety generated by all 3-uniform hypergraph semirings. This implies that the variety generated by all 3-uniform hypergraph semirings has infinitely many subvarieties.