Presilting sequences for 0-Auslander extriangulated categories

2026-05-20T09:44:12Z

Let $\mathscr{C}$ be a reduced $0$-Auslander extriangulated category. Motivated by Pan--Zhu silting reduction for such categories, we introduce the notion of (signed) presilting sequences in $\mathscr{C}$ and establish a bijection between (signed) presilting sequences in $\mathscr{C}$ and (signed) $τ$-exceptional sequences over $Λ= \text{End}_{\mathscr{C}}(P)$, where $P$ is a projective generator of $\mathscr{C}$. This correspondence provides a new perspective on the Buan--Marsh bijection between signed $τ$-exceptional sequences and ordered support $τ$-rigid objects. Furthermore, we introduce a new category $\mathfrak{M}(\mathscr{C})$, called the $τ$-cluster morphism category of $\mathscr{C}$, whose objects are certain extension-closed subcategories of $\mathscr{C}$ and whose morphisms are described in terms of signed presilting sequences. As an application, we recover the $τ$-cluster morphism category of $Λ$ from $\mathfrak{M}(\mathscr{C})$.

Skew-group $A_{\infty}$-categories as Fukaya categories of orbifolds

2026-05-20T09:08:52Z

We study the partially wrapped Fukaya category of a surface with boundary with an action of a group of order two. Inspired by skew-group algebras and categories, we define the notion of a skew-group $A_\infty$-category and let it play the role of the partially wrapped Fukaya category of an orbifold surface. We classify indecomposable objects in terms of graded curves with signs, or taggings, at orbifold points. We compute morphisms between a class of objects, and we use this to describe tilting objects and find algebras derived-equivalent to skew-gentle algebras.

On character tables for fusion systems

2026-05-20T06:25:30Z

A character table $X$ for a saturated fusion system $\mathcal{F}$ on a finite $p$-group $S$ is the square matrix of values associated to a basis of the lattice of virtual $\mathcal{F}$-stable ordinary characters of $S$. We investigate a conjecture of the second author which equates the determinant of $X \overline{X}$ (the square of the volume of this lattice) with the product of the orders of $S$-centralisers of fully $\mathcal{F}$-centralised $\mathcal{F}$-class representatives. This statement is exactly column orthogonality for the character table of $S$ when $\mathcal{F}=\mathcal{F}_S(S)$. We prove the conjecture when $\mathcal{F}=\mathcal{F}_S(G)$ is realised by some finite group $G$ with Sylow $p$-subgroup $S$, and for all simple fusion systems when $|S| \le p^4$. We also put forward a potential strategy for the general case, which would exploit properties of the characteristic idempotent of $\mathcal{F}$.

Tilting pairs and Wakamatsu tilting pairs of subcategories over cleft extensions

2026-05-20T05:20:33Z

Let $(\mathcal{B},\mathcal{A}, i, e, l)$ be a cleft extension of abelian categories. We prove that the functor $l$ preserves and reflects (Wakamatsu) tilting pairs of subcategories under certain conditions, unifying an abundance of known results. Then, we apply our results to the cleft extensions of module categories, and give characterizations of tilting pairs and Wakamatsu tilting pairs over $θ$-extension of rings and tensor rings, which not only recover the earlier results in this direction, but also obtain some new conclusions.

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.