https://arxiv.org/api/HKRXDUoaqmKMcEXX9AjhdE/XwfM 2026-07-26T07:16:33Z 30432 570 15 http://arxiv.org/abs/2605.25314v3 2026-06-05T01:47:37Z

In this work, we develop a new theory of multivariate V-filtration on D-modules along a simple normal crossing divisor and relate it with Sabbah's multi-filtration. We establish several new structural results and relate them with the Hodge filtration on free-monodromic local systems from geometric representation theory. As an illustrative application, we give a conceptual and very quick proof of the Strong Monodromy Conjecture and its multivariate generalisation for hyperplane arrangements. Along the way, we confirm both the n/d-conjecture of Budur--Mustaţă--Teitler and its multivariate form due to Budur.

2026-05-25T00:31:03Z This is a preliminary version, 93 pages. Comments are very welcome Dougal Davis Ruijie Yang http://arxiv.org/abs/2512.08312v3 2026-06-04T22:51:03Z

We initiate the study of complex rank analogues of parabolic categories $\mathcal{O}$ for general linear Lie algebras defined via Deligne's interpolating categories. We regard these categories as a family varying over an affine parameter space and conjecture that their structure is controlled by a countable locally finite hyperplane arrangement, that is, they are constant along facets. We prove this conjecture on admissible facets using the theory of $\mathfrak{sl}_{\mathbb{Z}}$-categorification. The main technical ingredient is a uniqueness theorem for highest weight categories equipped with a categorical type A action categorifying an ordered tensor product of highest and lowest Fock space representations of $\mathfrak{sl}_{\mathbb{Z}}$. Under some combinatorial conditions on the parameters, this rigidity result allows us to compare complex rank category $\mathcal{O}$ with stable limits of classical parabolic categories $\mathcal{O}$. These equivalences yield character formulas for simple objects in terms of stable limits of parabolic Kazhdan--Lusztig polynomials, answering a problem posed by Etingof. For the case of two Levi blocks of non-integral size, the admissibility assumption is unnecessary, giving a complete description in terms of stable representation theory. As an application, we obtain multiplicities for parabolic analogs of hyperalgebra Verma modules in the large rank and large characteristic limit.

2025-12-09T07:22:17Z v3: significant expositional revisions, 89 pages. Comments welcome! Hamilton Wan http://arxiv.org/abs/2606.06683v1 2026-06-04T19:56:49Z

Let $D$ be a quaternion division algebra over a non-Archimedean local field $F$ of characteristic zero, and let $G_n=GL_n(D)$. Let $H_{1,n-1}$ denote the subgroup of $G_n$ consisting of block-diagonal matrices of the form $diag(g_1,g_2)$, where $g_1\in G_1$ and $g_2\in G_{n-1}$. In this article, we formulate a conjectural classification of irreducible smooth $H_{1,n-1}$-distinguished representations of $G_n$ for $n>2$. We prove this conjecture in the cases $n=3$ and $n=4$. When $n=2$, the results are well known due to the contributions by various authors.

2026-06-04T19:56:49Z 13 pages, comments are welcome Prem Dagar Hariom Sharma Mahendra Kumar Verma http://arxiv.org/abs/2507.20458v2 2026-06-04T19:17:59Z

Let R be an associative ring with identity, and let T be a tilting right R-module, with S=End(T). It is known that if R is a Noetherian algebra that satisfies the Auslander-Reiten conjecture, then so is S. In this paper, we consider the dual situation where C is a cotilting right R-module, with S=End(C). We investigate the invariance of the property of satisfying the Auslander-Reiten conjecture when passing from R to S.

2025-07-28T01:18:00Z The article appears in the Journal of the Mathematical Society of Japan Kamran Divaani-Aazar Ali Mahin Fallah Massoud Tousi http://arxiv.org/abs/2606.06648v1 2026-06-04T18:55:24Z

Let $\mathbf{k}$ be a field and let $Λ$ and $Γ$ finite dimensional $\mathbf{k}$-algebras. Assume that ${_Γ}X_Λ$ and ${_Λ}Y_Γ$ are bimodules that define a singular equivalence of Morita type with level (in the sense of Z. Wang) between $Λ$ and $Γ$ and which also induce an equivalence between the stable categories of finitely generated Gorenstein-projective modules $Λ$-$\underline{\text{Gproj}}$ and $Γ$-$\underline{\text{Gproj}}$. We prove that if $V$ is an indecomposable object in $Λ$-$\underline{\text{Gproj}}$ with $\underline{\mathrm{End}}_Λ(V)\cong \mathbf{k}$, then $X\otimes_ΛV$ is an object in $Γ$-$\underline{\text{Gproj}}$ such that $\underline{\mathrm{End}}_Γ(X\otimes_ΛV)\cong \mathbf{k}$ and the universal deformation rings (in the sense of F.M. Bleher and the second author) $R(Λ,V)$ and $R(Γ, X\otimes_ΛV)$ are isomorphic. This result generalizes the one obtained by the second author assuming that $Λ$ and $Γ$ are Gorenstein $\mathbf{k}$-algebras.

2026-06-04T18:55:24Z Shengyong Pan Jose A. Velez-Marulanda http://arxiv.org/abs/2506.23355v3 2026-06-04T18:17:09Z

A set partition is said to be ordered if the blocks of the partition are listed in a specific order. The ordered set partitions of $\{1,\ldots,n\}$, with a unique minimal element adjoined, form a lattice $\Om_n$ with respect to refinement. The lattice $\Om_n$ is well known to be the face lattice of the permutohedron. In this paper we study the combinatorics and topology of two subposets of $\Om_n$ with restricted block sizes, either all divisible by some fixed $d\ge2$, or all congruent to $1$ modulo $d$. For the $d$-divisible case we derive an explicit recursive atom ordering for the lattice, as well as formulas for the action of the symmetric group on the Whitney homology and the rank-selected homology, and also for the multiplicity of the trivial representation. In the 1 mod $d$ case we show that the poset has a curious interval structure related to the $k$-Catalan numbers. Our investigations lead to enumerative invariants in both cases. Open problems and avenues for future research are scattered throughout.

2025-06-29T18:20:31Z 44 pages, 4 figures, 1 table. Revisions per referee reports. Section 4 contains more general results on the Whitney homology of the barycentric subdivision of a Cohen-Macaulay poset. To appear in Combinatorial Theory Bruce E Sagan Michigan State University Sheila Sundaram University of Minnesota http://arxiv.org/abs/2606.06276v1 2026-06-04T15:17:34Z

We construct a two sided categorical action of the Hall algebra of semistable coherent sheaves of fixed slope on a curve X on the derived category of certain Quot spaces in tilted hearts on X. Following the philosophy in arXiv:2207.08926v2, the action is induced by correspondence stacks that parameterize extensions of such quotients by semistable sheaves. In the process, we compare different moduli spaces on X: Quot spaces, Bradlow pairs, and stable pairs in the sense of arXiv:2207.08926v2.

2026-06-04T15:17:34Z Niccolò Giacomini http://arxiv.org/abs/2606.06243v1 2026-06-04T14:47:53Z

We establish and prove several results for the smooth Casselman-Jacquet submodule and quotient functors for real reductive groups. Other than exactness, surjectivity and globalization results, we establish a stability on the intersection of Jacquet subspaces. As an application, we establish a full version of the real Bernstein-Zelevinsky filtrations for smooth Fréchet representations of moderate growth rate.

2026-06-04T14:47:53Z 40 pages Kei Yuen Chan Kaidi Wu Jun Yu Hongfeng Zhang http://arxiv.org/abs/2601.21954v2 2026-06-04T12:35:31Z

This paper establishes an asymptotic expansion for expanding sector average on compact quotients of real rank-one Lie groups, with $SO(n,1)$ as a model case. Using tools from harmonic analysis and representation theory, the problem is reduced, via the action of the Casimir operator, to an ordinary differential equation(ODE) governing the evolution along the expanding $A$-direction. The asymptotic expansion is then derived from the analysis of this ODE.

2026-01-29T16:33:28Z Zhiyuan Deng Yutian Sun http://arxiv.org/abs/2606.00983v2 2026-06-04T11:46:39Z

We formulate a program to prove the categorical local Langlands conjecture (CLLC) of Fargues-Scholze, for all quasisplit $p$-adic groups where the Fargues-Scholze $L$-parameters agree with the semisimplification of a known "automorphic" local Langlands parametrization. A key working hypothesis - which we expect to prove elsewhere jointly with Hamann - is the compatibility of the enhanced Whittaker coefficient functor $c_ψ$ with Eisenstein series. For $\mathrm{GL}_n$, we show that this hypothesis alone implies the full CLLC. For more general groups $G$, we prove an induction principle which reduces CLLC for $G$ to CLLC for all proper Levi subgroups together with a very small amount of information about $G$. This principle applies unconditionally to many classical groups with current technology. Along the way, we establish many foundational results. In particular: - We prove a very strong finiteness theorem for spectral constant term functors. - We prove a spectral analogue of Bernstein's finite global dimension theorem for $p$-adic Hecke algebras. - We introduce and develop the theory of admissible ind-coherent sheaves and admissible duality on derived stacks. - We prove a duality theorem for the spectral action. Using all of these results, we unconditionally define a new and explicit functor $t_ψ$ from the spectral side to the automorphic side, which is defined on enough ind-coherent sheaves to control the entire conjecture.

2026-05-31T03:45:52Z 266 pages. v2: fixed a latex bug; other small changes and corrections David Hansen Lucas Mann http://arxiv.org/abs/2606.05965v1 2026-06-04T10:03:52Z

We investigate the strong identity condition (SIC) for almost-canonically seminormed rings, a class of topological graded rings that includes enveloping algebras of vertex operator algebras. This condition was introduced in the algebro-geometric theory of conformal blocks, where it governs the smoothing of nodal curves. To understand the representation-theoretic meaning of SIC, we develop the representation theory of almost-canonically seminormed rings, including Zhu-type algebras, induced modules, rationality conditions, tensor product compatibility, and an end formula for the mode transition algebra. Our main result characterizes the strong identity condition in terms of orthogonal expansions, projectivity of canonical modules, and Morita-type equivalences induced by Zhu-type algebras. As an application, we show that for vertex operator algebras of CFT type, the smoothing property is equivalent to the Zhu algebra inducing a Morita-type equivalence with the category of admissible modules. Consequently, the strong identity condition identifies the precise representation-theoretic obstruction to extending algebraic smoothing beyond the semisimple setting. We further illustrate the theory through explicit examples, including the Weyl algebra and several irrational vertex operator algebras where the strong identity condition fails.

2026-06-04T10:03:52Z 65 pages Xu Gao Jianqi Liu http://arxiv.org/abs/2305.13554v3 2026-06-04T08:57:25Z

We resolve a mathematically precise SYZ conjecture for $A_n$ singularity by building a quantum-corrected T-duality between two singular torus fibrations related to the Kähler geometry of the $A_n$-smoothing and the Berkovich geometry of the $A_n$-resolution, respectively. Our approach involves novel computations that embody a non-archimedean version of the partition of unity, and it confirms the strategy that patching verified local singularity models brings global SYZ conjecture solutions (like K3 surfaces) within reach. There is also explicit extra evidence concerning the collision of singular fibers and braid group actions. On one hand, we address the central challenge of matching SYZ singular loci identified by Joyce. In reality, we construct not merely an isolated SYZ mirror fibration partner, but a parameter-dependent one that always keeps the matching singular loci plus integral affine structure, even when the collision of singular fibers occurs. On the other hand, our SYZ result displays a visible tie, regardless of the parameter choice, between the $(A_n)$-configuration of Lagrangian spheres occurred as vanishing cycles in the $A_n$-smoothing and the exceptional locus of rational $(-2)$-curves in the $A_n$-resolution, which aligns with the celebrated works of Khovanov, Seidel, and Thomas.

2023-05-22T23:59:16Z 50 pages. Accepted for publication in the Beijing Journal of Pure and Applied Mathematics Hang Yuan http://arxiv.org/abs/2606.05831v1 2026-06-04T08:09:57Z

The skew $(\mathfrak{gl}_{n}, \mathfrak{gl}_{r})$ Howe duality states that the exterior algebra $Λ(\mathbb{C}^{nr})$ admits a multiplicity-free decomposition under the natural actions of $\mathfrak{gl}_{n}\times \mathfrak{gl}_{r}$. In this paper, by using certain Lagrange interpolation polynomials of degree $r-1$, we extend the action of $\mathfrak{gl}_{n}$ on $Λ(\C^{nr})$ to its loop algebra $L(\mathfrak{gl}_{n})$. View $Λ(\C^{nr})$ as a module for the loop algebra $L(\mathfrak{sl}_{n})$ of $\mathfrak{sl}_{n}$ by taking restriction. We prove that every highest weight vector of $\mathfrak{gl}_{n}\times \mathfrak{gl}_{r}$ in $Λ(\C^{nr})$ generates a local Weyl module of $L(\mathfrak{sl}_{n})$. Furthermore, we obtain in this way an explicit realization of all local Weyl modules for $L(\mathfrak{sl}_{n})$.

2026-06-04T08:09:57Z Fulin Chen Xin Huang Siyi Niu Shaobi Tan http://arxiv.org/abs/2606.05823v1 2026-06-04T08:01:04Z

Demazure weaves are combinatorial representations of maps between Bott--Samelson cells and have been used to construct cluster structures on braid varieties. We show the compatibility of these maps and the resulting cluster structures with the standard Poisson structure on the Bott--Samelson variety. Adding frayed strands to Demazure weaves, we further construct Poisson compatible cluster structures on other affine charts of the Bott--Samelson variety in a manner that transition functions across charts become rational quasi-cluster. The mutation sequences we construct for these quasi-cluster morphisms are closely related to those of Ménard for open Richardson seeds.

2026-06-04T08:01:04Z 59 pages, 13 figures, comments welcome! Jon Cheah http://arxiv.org/abs/2606.05818v1 2026-06-04T07:59:08Z

Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the 3-day workshop *Benchmarks in Leipzig* with 35 participants at the Max Planck Institute for Mathematics in the Sciences in Leipzig, Germany. We present the resulting collection of 100 questions. We evaluated these questions in three stages: a single attempt by five state-of-the-art LLMs, followed by a 20-runs-per-model evaluation with three of these models, and finally a 3-run attempt with two heavy-thinking models. After Stage 1, 41 questions remained completely unsolved; after Stage 2, this count dropped to 16; and we concluded Stage 3 with only 2 unsolved questions. This demonstrates that the mathematical reasoning capabilities of LLMs are becoming impressive.

2026-06-04T07:59:08Z 8 pages including 8 benchmark statistics tables + 20 pages appendix containing the 100 Leipzig Benchmark questions Andrei Balakin Miklós Bóna Marie-Charlotte Brandenburg Clara Briand Veronica Calvo Cortes Shelby Cox Jesus A. De Loera Danai Deligeorgaki Hannah Friedman Tim Gehrunger Chiara Giardino Stephen Griffeth Baran Hashemi Elena Hoster Alexander Ivanov Nupur Jain Aryaman Jal Leonie Kayser Joris Koefler Kevin Kühn Mario Kummer Felix Lotter René Marczinzik Victor S. Miller Alejandro Morales Greta Panova Gianni Petrella Nathan Pflueger Lakshmi Ramesh Nikolas Rieke Carlos Rodriguez Andrea Rosana Flavio Salizzoni Otto T. P. Schmidt Sven Ulf Schmitz Lina Maria Simbaqueba Marin Luca Sodomaco Christian Stump Bernd Sturmfels Alexander Taveira Blomenhofer Simon Telen Philipp Tuchel Emil Verkama Carl Felix Waller Julian Weigert Annette Werner Nathan Williams Claudius Zibrowius