https://arxiv.org/api/+eygKjbm7Zo57VW7B7z6PCXpu1U 2026-07-29T00:45:59Z 30454 825 15 http://arxiv.org/abs/2605.19708v1 2026-05-19T11:46:08Z

Quantum hamiltonian reduction is a fundamental tool of conformal field theory and vertex algebra representation theory. It has traditionally been applied to study highest-weight modules. On the other hand, inverse quantum hamiltonian reduction lends itself to the study of fully relaxed highest-weight modules and their spectral flows, sometimes called the standard modules. This is the first of several papers that study the composition of reduction and inverse-reduction functors. A general formalism is presented and exemplified with the simplest example, thereby computing the action of reduction on the standard modules of the affine vertex-operator algebra associated with $\mathfrak{sl}_2$. The appearence of unbounded spectral sequences in this formalism may be of independent interest.

2026-05-19T11:46:08Z Justine Fasquel Ethan Fursman David Ridout http://arxiv.org/abs/2507.02185v4 2026-05-19T11:17:12Z

We classify the local unitary equivalence classes of absolutely maximally entangled (AME) states of five qubits. We show that every 5-qubit AME state is equivalent to a state within the unique ((5,2,3)) quantum error-correcting code $\mathcal{C}$, and that two such states are equivalent if and only if they are related by the action of a transversal gate of $\mathcal{C}$. Furthermore, we exhibit a set of three invariant polynomials that separates these equivalence classes. As auxiliary results, we construct a 3-uniform $n$-qubit state for even $n\geq 6$, determine the local symmetries of the 6-qubit AME state, and explain how these symmetries are related to the transversal gates of both the ((5,2,3)) and ((4,4,2)) codes. Additionally, we demonstrate that every 4-qubit pure code of distance 2 is equivalent to a subspace of a ((4,4,2)) code. Our approach leverages an embedding of the 4-qubit state space into the Lie algebra of $8\times 8$ skew-symmetric matrices, allowing us to apply results from Vinberg's theory of graded Lie algebras.

2025-07-02T22:45:10Z 24 pages, 2 tables Ian Tan http://arxiv.org/abs/2604.25198v2 2026-05-19T11:10:56Z

We construct the local Langlands correspondence of essentially unipotent supercuspidal representations under the framework of rigid inner forms and prove a certaion functoriality and compatibilities. This result is stronger than the analogous one in [Sol20], which did not care about rigidifications of inner twists. We also generalize this correspondence for disconnected reductive groups. We expect to use this result for extension of the explicit local Langlands correspondence in [Kal21] for more general supercuspidal representations.

2026-04-28T04:08:18Z Add Section 4.1, clarify some proofs, and remove the mild condition in Theorem 1.2 Amoru Fujii http://arxiv.org/abs/2605.19636v1 2026-05-19T10:21:24Z

We study the effect of quantum Frobenius twist on Ext-groups in the category of quantum polynomial, and prove that the existence of type of complexes, called quantum Troesch complexes, enables the construction of a spectral sequence computing the Ext groups of twisted functors from the knowledge of Ext-groups of the original functors. We then construct quantum Troesch complexes in the special case where the parameters of the quantum deformation is a root of unity of order 3.

2026-05-19T10:21:24Z Théo Deturck 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