https://arxiv.org/api/cAr5X/jL8+MsczQyHm62nP1a2ks 2026-07-29T01:25:02Z 30466 840 15 http://arxiv.org/abs/2604.25246v2 2026-05-19T17:24:36Z

We study Chebyshev quotients that arise in the representation theory of Lie algebras, specifically within the theory of Demazure flags for fusion products of $\mathfrak{sl}_2[t]$-modules. Using a recent formula that expresses numerical Demazure multiplicities as coefficients of such quotients, we prove a general eventual non-negativity theorem for the same rational functions that compute these multiplicities: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natural infinite families, these are unsigned bounded Dyck path models, giving both a structural explanation for the observed positivity phenomenon and concrete combinatorial models for key families of Demazure multiplicities. The theorems in this paper were autonomously produced and formalized in Lean/Mathlib by AxiomProver from natural-language statements.

2026-04-28T05:52:03Z Addressed minor comments from the two referees Rekha Biswal Ken Ono Jujian Zhang http://arxiv.org/abs/2605.20131v1 2026-05-19T17:15:49Z

For any connected complex reductive group $G$ and element $z$ of its Weyl group $W$, we use work of Lusztig and Abreu-Nigro to compute the graded $W$-character of the intersection cohomology of any closed Lusztig variety for $z$ over the regular semisimple locus of $G$. We relate the resulting formula to unipotent Lusztig varieties, giving a new geometric model for unicellular LLT polynomials. We then consider Laurent polynomials $α_{ψ, G}^z$ indexed by irreducible characters $ψ$, encoding how our formula decomposes into ungraded characters arising from the Springer theory of $G$. From evidence in low rank, we conjecture that if $ψ$ is inflated from type $A$ in a particular way, then the nonzero coefficients of $α_{ψ, G}^z$ are positive and unimodal. This offers an answer to a 1993 question of Haiman about generalizing a conjecture he posed for symmetric groups. We also prove that the matrix formed by the $α_{ψ, G}^z$ is partially triangular, and that their positivity and unimodality properties are stable under inclusions of Levi subgroups.

2026-05-19T17:15:49Z 38 pages Minh-Tâm Quang Trinh http://arxiv.org/abs/2605.19983v1 2026-05-19T15:24:11Z

These are the notes from lectures I gave at the Oberwolfach Seminar "Tensor Triangular Geometry and Interactions" which was held in October 2025. The aim of these notes is twofold: We develop notions of support for triangulated categories, and we apply them to classify thick and localising tensor ideals of categories that arise in modular representation theory of finite groups.

2026-05-19T15:24:11Z 51 pages. These notes are complemented by notes of Natàlia Castellana and Greg Stevenson. They will be published together in a forthcoming volume of the "Oberwolfach Seminars" book series by Birkhäuser Science Henning Krause http://arxiv.org/abs/2605.19872v1 2026-05-19T14:02:30Z

Given a decorated planar graph $(G,ω)$, where $G$ is a planar graph and $ω\in H^1(|\mathcal{Q}G|,\mathbb{Z})$ with $\mathcal{Q}G$ the directed medial graph of $G$, we call some angular functions $ω$-compatible and study two distinct but related directed graphs: $\mathcal{L}(G,ω)$, which is the directed graph of such functions, and $BMS(G,ω)$, the directed graph of BMS states which are some pairs of $ω$-compatible functions plus additional data. We give sufficient conditions for $\mathcal{L}(G,ω)$ to be a graded distributive lattice, recovering Kauffman's Clock Theorem when $G$ is a knot diagram. We also define a potential on $\mathcal{Q} G$ and associate a representation of the corresponding quiver with potential to every BMS state. Under suitable assumptions, this construction yields an isomorphism between $\mathcal{L}(G,ω)$ and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

2026-05-19T14:02:30Z 27 pages, 9 figures Giovanni Cerulli Irelli Domenico Fiorenza Eugenio Landi Michele Matteucci http://arxiv.org/abs/2605.03421v2 2026-05-19T13:31:10Z

We establish a novel connection between the minimal nilpotent orbit $\mathbb{O}_n$ in $\mathfrak{sl}_n$ and the minimal nilpotent orbit closure $\overline{\mathbf{O}}_n$ in $\mathfrak{so}_{2n+2}$, which differs from the shared-orbit paradigm of Brylinski and Kostant, where no direct type-A--type-D relation appears. More precisely, we show that the affine closure of the cotangent bundle $\overline{T^*\mathbb{O}_n}^{\mathrm{aff}}$ is isomorphic to a $\mathbb{C}^*$-Hamiltonian reduction of $\overline{\mathbf{O}}_n$. This provides a quasi-classical analogue of a quantum result of Levasseur and Stafford. A detailed study of the geometry of this Hamiltonian reduction reveals that $\overline{T^*\mathbb{O}_n}^{\mathrm{aff}}$ has no symplectic resolution.

2026-05-05T06:52:27Z 26 pages, minor revision. Comments are welcome Baohua Fu Jie Liu http://arxiv.org/abs/2602.14897v2 2026-05-19T11:48:39Z

Following Hausel-Hitchin, we investigate core Lagrangians and upward flows in Hilbert schemes of points on elliptic surfaces. We compute the scheme-theoretic multiplicities of core Lagrangians, as well as the equivariant multiplicities of the very stable ones. Furthermore, we extend the notion of equivariant multiplicity to wobbly components and compute it for Hilbert schemes of two points. Inspired by Eisenstein series functor in Dolbeault Langlands correspondence, we propose that upward flows of very stable ideals are mirror dual to modified Procesi bundles, and justify this claim through numerical checks. Finally, we make some conjectures about extending this picture to wobbly upward flows.

2026-02-16T16:30:52Z v2: added Remark 1.1 speculating that the bundles P_I are hyperholomorphic. v1: 44 pages, 4 tables, 4 figures Alexandre Minets Filip Živanović 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