Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 4: contribution of non-elliptic parts

2026-05-20T05:20:00Z

We continue our work on $\mathsf{GL}_2$ over $\mathbb{Q}$ in the ramified setting for \emph{Beyond Endoscopy}. We establish asymptotic formulas for each term of the trace formula when summing over $n

Spherical representations of unitary groups at ramified places and the arithmetic inner product formula

2026-05-20T01:00:39Z

In this article, we study admissible representations of even unitary groups over local fields, where the quadratic extension is ramified, with invariant vectors under the action of the stabilizer of a unimodular lattice and some properties of the corresponding integral model of unitary Shimura varieties. As a direct application, we are able to improve the arithmetic inner product formula so that the places with local root number $(-1)$ are allowed to be ramified.

Lie-algebraic incompleteness of symmetry-adapted VQE for non-Abelian molecular point groups

2026-05-19T22:37:58Z

Symmetry-adapted variational quantum eigensolvers (VQE) based on the Unitary Coupled-Cluster ansatz (SymUCCSD) effectively reduce the parameter count for Abelian molecular point groups. For non-Abelian groups, they systematically fail, without a theoretical explanation. In this work, we prove that the Abelian-subgroup restriction induces a spurious splitting of multidimensional irreducible representations, prematurely discarding cross-component excitations. At the Lie-algebraic level, this filter confines the Dynamical Lie Algebra (DLA) to the Abelian subalgebra $\mathfrak{u}(1)^{d_λ}$, restricting the reachable state manifold to a measure-zero torus $\mathbb{T}^{d_λ}$. However, completing the algebra is insufficient on its own, due to a numerical obstruction. Molecular orbitals adapted solely to an Abelian subgroup produce cross-component integrals that vanish identically, creating a zero-gradient plateau along non-Abelian algebraic directions. A proof-of-principle experiment on NH$_3$/STO-3G ($C_{3v}$, 16 qubits) confirms both the predicted DLA confinement and the gradient plateau, with SymUCCSD converging to an error of $21.8$ mHa above the FCI energy despite full optimizer convergence. Our analysis provides an algebraic and geometric diagnosis of the observed numerical breakdown, establishing that recovering full equivariant dynamics requires both the inclusion of complete off-diagonal generators and the independent parametrization of cross-component excitations.

A combinatorial approach to scattering diagrams

2026-05-19T18:33:35Z

Scattering diagrams arose in the context of mirror symmetry, but a special class of scattering diagrams (the cluster scattering diagrams) were recently developed to prove key structural results on cluster algebras. We use the connection to cluster algebras to calculate the function attached to the limiting wall of a rank-2 cluster scattering diagram of affine type. In the skew-symmetric rank-2 affine case, this recovers a formula due to Reineke. In the same case, we show that the generating function for signed Narayana numbers appears in a role analogous to a cluster variable. In acyclic finite type, we construct cluster scattering diagrams of acyclic finite type from Cambrian fans and sortable elements, with a simple direct proof.

Dual Affine Robinson-Schensted Correspondence

2026-05-19T18:32:29Z

We introduce the dual affine Robinson-Schensted correspondence that gives a bijection between the extended affine symmetric group and tuples $(\bar{P},\bar{Q},λ,N)$, where $\bar{P}$ and $\bar{Q}$ are tabloids, $λ$ is a partition, and $N$ is an integer, subject to compatibility conditions. The construction generalizes Fomin's growth diagrams and Viennot's shadow lines for the classical Robinson-Schensted correspondence on the symmetric group, and is dual to the affine matrix ball construction as well as Shi's correspondence, in the sense that the $P$-tabloids are the same, and the $Q$-tabloids are related by affine evacuation. As a consequence, our construction also parametrizes Kazhdan-Lusztig cells in affine type $A$. We conjecture that the growth diagrams we construct admit a natural geometric realization in terms of relative positions of affine flags, similar to the interpretation given by Steinberg and van Leeuwen in the classical case.

Chebyshev quotients, Demazure multiplicities, and Dyck-path models

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.

Haiman's Conjecture and Springer's Representations

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.

Tensor triangular geometry -- Notes for an Oberwolfach Seminar

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.

A categorification of Kauffman states for planar graphs

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.

A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction

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.

Equivariant multiplicities and mirror symmetry for Hilbert schemes

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.

Reduction and inverse-reduction functors I: standard $\mathsf{V^k}(\mathfrak{sl}_2)$-modules

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.

Classification of five-qubit absolutely maximally entangled states

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.

The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

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.

Quantum Troesch complex

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.