https://arxiv.org/api/D3JwKF/p9dsAP2s4Q50Xt2DHGzI 2026-07-27T21:20:27Z 30435 795 15 http://arxiv.org/abs/2605.19487v1 2026-05-19T07:41:38Z

We construct a surjective homomorphism from the (suitably interpreted) double loop-nilpotent $K$-theoretic Hall algebra to the Coulomb branch algebra of a quiver gauge theory, using the shuffle algebra interpretation.

2026-05-19T07:41:38Z Shivang Jindal Andrei Neguţ http://arxiv.org/abs/2601.15750v2 2026-05-19T04:49:18Z

The Rankin--Cohen brackets provide a basic example of ``non-elementary" differential symmetry breaking operators. They can be interpreted as bi-differential operators remarkable for reflecting the structure of fusion rules for holomorphic discrete series representations of the Lie group $SL(2,\mathbb R)$ and are intimately connected to classical special polynomials. In this introductory article, we explore the combinatorial structure of these operators and discuss a general framework for constructing their higher-dimensional analogues from the representation-theoretic perspective on branching problems. The exposition is based on lectures delivered by the authors during the thematic semester ``Representation Theory and Noncommutative Geometry", held in Spring 2025 at the Henri Poincaré Institute in Paris.

2026-01-22T08:21:35Z To appear in the Progress in Mathematics series published by Springer Birkhäuser Toshiyuki Kobayashi Michael Pevzner http://arxiv.org/abs/2406.19883v2 2026-05-19T03:30:56Z

Let $\mathcal {C}$ be a small category and let $R$ be a representation of the category $\mathcal {C}$, that is, a pseudofunctor from a small category to the category of small preadditive categories. In this paper, we mainly study the category $\mbox{Mod-} R$ of right modules over $R$. We characterize it both as a category of the Abelian group valued functors on $Gr(R)$ and as a category of modules over a new family of algebras: the pseudoskew category algebras $R[{\mathcal C}]$, where $Gr(R)$ is the linear Grothendieck construction of $R$. Moreover, we also classify the hereditary torsion pairs in $\mbox{Mod-} R$ and reprove Theorem 3.18 of the paper (S. Estrada and S. Virili. Cartesian modules over representations of small categories. Adv. in Math. 310: 557-609, 2017) of Estrada and Virili.

2024-06-28T12:45:56Z 16 pages, Example 3.1.5 and Example 3.2.2 were added, accepted for publication in the Indian Journal of Pure and Applied Mathematics Indian Journal of Pure and Applied Mathematics, 2026 Mawei Wu 10.1007/s13226-026-00982-y http://arxiv.org/abs/2402.09190v3 2026-05-19T01:50:12Z

One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite representation type), and then computing the barcode (or the general direct sum decomposition) over $X$. We consider in this paper general order-preserving embeddings of representation-finite subposets $X$ into $P$ and study systematically the invariants obtained by decomposing the restriction of a given $P$-module $M$ to $X$ into its indecomposable summands. The restriction functor from $\mathrm{mod}\ P$ to $\mathrm{mod}\ X$ is well-studied, and it is known to be exact and admits both left and right adjoint functors, known as induction and co-induction functors. This allows us to obtain new homological insights, and also to re-interpret previous results. We use this approach also to determine bases of the image of these invariants, thus generalizing the concept of signed barcodes which is considered in the literature in relation to stability results. It turns out that considering only order-embeddings of one fixed poset $X$ into the poset $P$, and studying the set of all indecomposables obtained from $X$ introduces a lot of redundancy. We therefore also study iterated embeddings of several posets of increasing sizes, while limiting attention to only some indecomposables (that have not been obtained from embedding of smaller posets previously).

2024-02-14T14:10:02Z v3: exposition improved and misprints/calculations corrected. 25 pages Claire Amiot Thomas Brüstle Eric J. Hanson http://arxiv.org/abs/2511.23152v4 2026-05-19T01:43:57Z

Discovering discrete algebraic rules from data is a fundamental challenge in machine learning. We formalize this problem through Cayley-table completion -- an algebraic counterpart to classical matrix completion -- where the degree of associativity violation replaces linear rank as the intrinsic measure of complexity. We provide a rigorous landscape analysis of HyperCube, an operator-valued tensor factorization, on the fully observed target table $δ$, proving that its global infimum $H_{\inf}(δ) := \inf_{Θ\in F_δ} H(Θ)$ implicitly defines an exact differentiable measure for this complexity. We show that HyperCube's native objective $H(Θ)$ decomposes into two components: geometric alignment (collinearity) and an inverse $\ell_2$ penalty. We establish that these continuous variational pressures induce core discrete properties: collinearity enforces associativity (Collinearity--Associativity Equivalence), and the inverse $\ell_2$ penalty reduces to an exact inverse rank penalty within the collinear manifold, driving the parameters toward full-rank unitarity. Consequently, we derive an absolute lower bound $H(Θ) \ge H_{\inf}(δ) \ge 3 \, |δ|$, where $|δ|$ is the target table size. We prove this absolute floor is attained if and only if the target is isotopic to a group, and characterize the global minimizer as the regular representation of the underlying group (up to unitary gauge), resolving the central open conjecture of Huh (2025). This work serves as an existence proof that certain discrete algebraic structures can be exactly characterized by differentiable measures, enabling gradient-based discovery without the need for combinatorial search. All theoretical results are mechanically verified in Lean 4 and confirmed via small-scale experiments.

2025-11-28T12:58:13Z 29 pages, 3 figures. All theoretical conjectures are formally proven as theorems and verified in Lean 4. v4: Minor typographical corrections Dongsung Huh Lior Horesh Halyun Jeong http://arxiv.org/abs/2406.03604v3 2026-05-18T22:01:23Z

A cyclically ordered quiver is a quiver endowed with an additional structure of a cyclic ordering of its vertices. This structure, which naturally arises in many important applications, gives rise to new powerful mutation invariants.

2024-06-05T19:55:56Z 70 pages, 35 figures. v2: Major revision and expansion. v3: Final version, to appear in Advances in Math Sergey Fomin Scott Neville http://arxiv.org/abs/2406.16243v3 2026-05-18T20:09:03Z

In this paper, we investigate the existence of weak singular Hermite-Einstein structures on homogeneous holomorphic vector bundles over rational homogeneous varieties. Using Cartan's highest weight theory, we establish an explicit algebraic criterion for a homogeneous vector bundle ${\bf{E}}$ to admit a topological splitting ${\bf{E}} \cong {\bf{E}}_{0} \otimes {\bf{L}}_{0}$, where ${\bf{L}}_{0} \in {\rm{Pic}}(X)$ and $c_{1}({\bf{E}}_{0}) = 0$. When this condition is satisfied, the prescribed mean curvature equation completely decouples. By shifting the topological obstruction entirely to the line bundle ${\bf{L}}_{0}$, this splitting reduces the non-abelian prescribed mean curvature problem on ${\bf{E}}$ to Demailly's abelian theory of singular line bundle metrics. As a main application, we obtain a sufficient algebraic condition, expressed in terms of intersection numbers, under which an $L^{2}$-function can be realized as the mean curvature of a singular Hermitian structure on an irreducible homogeneous bundle. Ultimately, by overcoming the bounded curvature restrictions inherent to the classical Bando-Siu framework, this approach provides a robust mechanism to construct singular Hermitian structures accommodating prescribed singularities along analytic subvarieties.

2024-06-23T23:55:41Z 38 pages, 1 figure. Substantially revised to focus strictly on the prescribed mean curvature problem. Preliminary results on geometric flows and Z-critical metrics were removed. The current version introduces a refined algebraic criterion to decouple the equation and new results on prescribing exact singularities on analytic subvarieties. Comments welcome! Eder M. Correa http://arxiv.org/abs/2206.00163v2 2026-05-18T18:30:52Z

Given a Lie algebra of type $E_8$, one can use Dynkin diagram automorphisms of the $E_6$ and $D_4$ Dynkin diagrams to locate a subalgebra of type $F_4\oplus G_2$. These automorphisms can be lifted to the affine Kac-Moody counterparts of these algebras and give a subalgebra of type $F_4^{(1)}\oplus G_2^{(1)}$ within a type $E_8^{(1)}$ Kac-Moody Lie algebra. We will consider the level-1 irreducible $E_8^{(1)}$-module $V^{Λ_0}$ and investigate its branching rule, that is how it decomposes as a direct sum of irreducible $F_4^{(1)}\oplus G_2^{(1)}$-modules. We calculate these branching rules using a character formula of Kac-Peterson which uses theta functions and the so-called "string functions." We will make use of Jacobi's, Ramanujan's and the Borweins' theta functions (and their respective properties and identities) in our calculation, including some identities involving the Rogers-Ramanujan series. Virasoro character theory is used to verify string functions stated by Kac and Peterson. We also investigate dissections of some interesting $η$-quotients.

2022-06-01T00:37:00Z PhD dissertation, 102 pages Joshua D. Carey http://arxiv.org/abs/2602.14586v2 2026-05-18T15:28:00Z

We give a new integral representation of the $\wedge^2 \otimes \mathrm{std}_2$ $L$-function of generic cusp forms on $\mathbf{GL}_4 \times \mathbf{GL}_2$ and $\mathbf{GU}_{2,2}\times \mathbf{GL}_2$. In the former case, we use it to prove a relation between its central $L$-value and the generalized Shalika period. Exploiting the theta correspondence for $(\mathbf{GL}_4,\mathbf{GL}_4)$, we further establish a relation between the central value of the $L$-function attached to the strongly tempered spherical pair $(\mathbf{GL}_4 \times \mathbf{GL}_2,\mathbf{GL}_2 \times \mathbf{GL}_2)$ and its corresponding period. In the case of cusp forms on $\mathbf{GL}_4 \times \mathbf{GL}_2$ that are unramified everywhere, our formulas give new evidence towards conjectures of Wan-Zhang and of Gan-Gross-Prasad for $\mathbf{GSpin}_6 \times \mathbf{GSpin}_3$.

2026-02-16T09:33:38Z 58 pages, strengthened Theorem A and rewrote the introduction accordingly Antonio Cauchi Armando Gutierrez Terradillos http://arxiv.org/abs/2605.18369v1 2026-05-18T13:18:41Z

We realize the embedding functor from pseudotensor category to tensor category in a purely algebraic setting when the pseudotensor category is the category $\mathcal{M}(H)$ of left $H$-modules, which is originally defined by Beilinson and Drinfeld. Then we use operadic methods to construct the Schur functor and free object in the tensor category.

2026-05-18T13:18:41Z Yao Rui Wu Zhixiang http://arxiv.org/abs/2210.02519v2 2026-05-18T11:04:41Z

We extend the local Langlands conjectures to a certain class of disconnected groups, allowing non-abelian component groups, and recast in this language some aspects of twisted endoscopy. We further introduce normalized twisted transfer factors and a normalized correspondence between an $L$-packet for a disconnected group and the set of representations of the centralizer groups of its Langlands parameter. We prove the first instance of this conjecture, in which the identity component of the (possibly non-abelian) disconnected group is a torus.

2022-10-05T19:35:17Z Second updated version. Changes since v1: Changed handling of Kottwitz signs to align with results for real groups, added material about admissible Whittaker data and toral invariants, added appendices Tasho Kaletha http://arxiv.org/abs/2501.12711v2 2026-05-18T08:35:06Z

We establish conditions on a family of coproduct-preserving tt-functors $f_i\colon \mathcal{T}\to \mathcal{T}_i$ between tt-categories with small coproducts, ensuring that the localizing tensor ideal generated by an object $x \in \mathcal{T}$ is determined by those objects whose image under each $f_i$ lies in the localizing tensor ideal generated by $f_i(x)$ for all $i$. This leads to a fiberwise criterion for stratification in the setting of rigidly-compactly generated tt-categories. As an application, we prove that the big derived category of permutation modules for a finite group over an arbitrary Noetherian base is stratified. Moreover, our methods extend to the category of representations of a finite group scheme over a Noetherian base, thereby recovering a recent result from the literature.

2025-01-22T08:36:21Z v2: Corrections and improvements. 25 pages. Comments welcome Juan Omar Gómez http://arxiv.org/abs/2605.18000v1 2026-05-18T07:53:19Z

In this article we study the principal block of the category of real Harish-Chandra modules for the group $\mathsf{SL}_2(\RR)$ and relate it to the category of finite dimensional modules over the so-called real Gelfand order. We describe several distinguished classes of the corresponding indecomposable representations.

2026-05-18T07:53:19Z Igor Burban Yuriy Drozd http://arxiv.org/abs/2605.17987v1 2026-05-18T07:41:57Z

We prove that if $R$ is a ring that is object unital and strongly graded by a groupoid $Γ$, and if $Δ$ is a wide subgroupoid of $Γ$, then $R/R_Δ$ is separable if and only if, for each $e \in Γ_0$, there exist $f \in [e]$ and $r \in C_{R_0}(R_Λ) := \{ x \in R_0 \mid xy = yx \text{ for all } y \in R_Λ\}$ with ${\rm tr}_{Γ/Δ}^f(r) = 1_{R_f}$. Here, $Γ_0$ denotes the set of objects of $Γ$, $[e]$ the connected component of $Γ_0$ containing $e$, $Λ$ the isotropy groupoid of $Δ$, and ${\rm tr}_{Γ/Δ}^f$ the relative trace map at $f$. This result simultaneously generalizes earlier theorems on separability for matrix rings and group-graded rings due to DeMeyer-Ingraham, N{\v a}st{\v a}sescu, Van den Bergh, Van Oystaeyen, Miyashita, Theohari-Apostolidi, and Vavatsoulas, as well as results on groupoid-graded rings due to Cala, Lundström, and Pinedo. As an application, we consider separability for object crossed products, including object twisted groupoid rings, classical groupoid rings and matrix rings, as well as crossed product algebras defined by infinite separable field extensions.

2026-05-18T07:41:57Z 17 pages Zaqueu Cristiano Patrik Lundström http://arxiv.org/abs/2605.17981v1 2026-05-18T07:36:35Z

A $\mathfrak{g}$-oper for a simple Lie algebra $\mathfrak{g}$ is a specific type of flat principal bundle on an algebraic curve. When the base field is of prime characteristic $p$, those with vanishing $p$-curvature are called dormant $\mathfrak{g}$-opers, and they form finite and geometrically meaningful moduli spaces. In earlier work, a canonical duality was established between dormant $\mathfrak{sl}_n$-opers and dormant $\mathfrak{sl}_{p-n}$-opers. This duality has provided effective tools for the study of higher-rank cases, as well as for the computation and structural understanding of the associated enumerative invariants. The main result of this paper extends this duality phenomenon to classical Lie algebras of type B and C. More precisely, under the numerical condition $p-1 = 2 (\ell +m)$, we construct a canonical isomorphism between the moduli spaces of dormant $\mathfrak{so}_{2\ell +1}$-opers and dormant and $\mathfrak{sp}_{2m}$-opers with prescribed symmetric radii.

2026-05-18T07:36:35Z 26 pages, 2 figures Yasuhiro Wakabayashi