https://arxiv.org/api/PUcS1P3y7Cv7igEdjEudJVCIn8I2026-07-17T19:57:09Z30383015http://arxiv.org/abs/2506.16293v2On the constituents of the mod $p$ cohomology of Shimura curves2026-07-16T15:42:38ZLet $p$ be a prime number and $K$ a finite unramified extension of $\mathbb{Q}_p$.
When $p$ is large enough with respect to $[K:\mathbb{Q}_p]$ and under mild genericity assumptions, we proved in our previous work that the admissible smooth representations $π$ of $\mathrm{GL}_2(K)$ that occur in Hecke eigenspaces of the mod $p$ cohomology are of finite length.
In this paper we obtain various refined results about the structure of subquotients of $π$, such as their Iwahori-socle filtrations and $K_1$-invariants, where $K_1$ is the principal congruence subgroup of $\mathrm{GL}_2(\mathcal{O}_K)$.
We also determine the Hilbert series of $π$ as Iwahori-representation under these conditions.2025-06-19T13:08:03ZFinal version, accepted at the Journal de l'Ecole PolytechniqueChristophe BreuilFlorian HerzigYongquan HuStefano MorraBenjamin Schraenhttp://arxiv.org/abs/2508.21603v3On the boundary Carrollian conformal algebra2026-07-16T15:27:29ZWe initiate the mathematical study of the boundary Carrollian conformal algebra (BCCA), an infinite-dimensional Lie algebra recently discovered in the context of Carrollian physics. The BCCA is an intriguing object from both physical and mathematical perspectives, since it is a filtered but not graded Lie algebra. In this paper, we first construct some modules for the BCCA and one of its subalgebras, which we call $\mathcal{O}$, by restriction of well-known modules of the BMS$_3$ and Witt algebras respectively. Along the way, we prove the irreducibility criteria for the so-called ``induced modules'' of the BMS$_3$ algebra (which we prefer to call massive modules to avoid ambiguity) and show that this is the same criteria for the irreducibility of the Verma modules of the BMS$_3$ algebra. Interestingly, the modules generated by the action of the BCCA on the generating vector of the massive modules are also irreducible under the same criteria. When this criteria holds, every massive module decomposes into a direct sum of two BCCA-submodules, each of which we conjecture to be indecomposable. Meanwhile, restricting Verma modules to the BCCA and $\mathcal{O}$ leads to free or ``almost free'' modules, which are not particularly interesting from a representation-theoretic viewpoint. This motivates the construction of BCCA modules intrinsically. To do this, we go through some structure theory on the BCCA to define a new basis and a decreasing filtration on the algebra, using which we construct Whittaker modules over the BCCA and the subalgebra $\mathcal{O}$ and prove criteria for their irreducibility.2025-08-29T13:02:22Zv3: Minor changes to address referee's comments. Accepted version (Lett. Math. Phys.). v2: Fixed typos. Added references. Modified Section 3.3: corrected Corollary 3.10, added new material after Proposition 3.12 which culminated in Conjecture 3.18. Updated introduction and conclusions to reflect new content. Comments always welcome!Lett. Math. Phys. 116 (2026), Paper No. 86Lucas BuzagloXiao HeTuan Anh PhamHaijun TanGirish S VishwaKaiming Zhao10.1007/s11005-026-02118-zhttp://arxiv.org/abs/2606.25943v2Profinite Borel completeness and smooth Artin motives2026-07-16T14:15:59ZThe purpose of this paper is twofold. In the first part, we revisit the description of the $\infty$-category of Borel complete equivariant spectra for a finite group given by Mathew-Naumann-Noel, introduce a version with coefficients, and then consider Borel equivariance for profinite groups. Here we identify two generally differing notions: levelwise Borel completeness and the hypercompletion thereof. In the second part, we study variants of smooth Artin motives, which are subcategories of the $\infty$-categories of effective Nisnevich and étale Voevodsky motives over a base scheme $S$ that are controlled by the étale fundamental group $π_1^{\mathrm{ét}}(S)$. In the Nisnevich case, we extend a theorem of Voevodsky and identify smooth Artin motives with modules over the Bredon cohomology spectrum for the profinite group $π_1^{\mathrm{ét}}(S)$. In the étale case, we show that the difference between our two notions of profinite Borel completeness is precisely the difference between étale sheaves and hypersheaves on finite étale schemes.2026-06-24T15:19:23Z56 pages; v2: changes to section 5, fixed what is now 5.32Yorick Fuhrmannhttp://arxiv.org/abs/2607.07659v2Palindromic Poincaré polynomials in Type $B$2026-07-16T14:08:12ZWe completely describe the set of all palindromic Poincaré polynomials in type $B_n$. Additionally, we show that all lower Bruhat intervals in type $A_n$ occur in type $B_n$. As a consequence, all Poincaré polynomials $P_w(q)$ and all Kazhdan--Lusztig polynomials $P_{x,y}(q)$ of type $A_n$ occur in type $B_n$.2026-07-08T17:16:01Z30 pages. Substantially revised Section 6. Minor corrections and expository improvements throughoutGaston Burrullhttp://arxiv.org/abs/2506.21413v2Modular fixed points in equivariant homotopy theory2026-07-16T13:53:14ZWe show that the derived $\infty$-category of permutation modules is equivalent to the category of modules over the Eilenberg-MacLane spectrum associated to a constant Mackey functor in the $\infty$-category of equivariant spectra. On such module categories we define a modular fixed point functor using geometric fixed points followed by an extension of scalars and identify it with the modular fixed point functor on derived permutation modules introduced by Balmer-Gallauer. As an application, we show that the Picard group of such a module category for a $p$-group is given by the group of class functions satisfying the Borel-Smith conditions. In the language of representation theory, this result was first obtained by Miller.2025-06-26T16:00:28Z52 pages; v2: minor changes, accepted versionYorick Fuhrmannhttp://arxiv.org/abs/2607.14939v1A superplethystic formula for superrestriction coefficients2026-07-16T12:51:05ZThe Schur superalgebra $S(m,n;d)$ contains $S_{m}\times S_{n}$ as a multiplicative subgroup. We consider the problem of determining the restriction coefficients when an irreducible supermodule of $S(m,n;d)$ is restricted to $S_{m}\times S_{n}$. We introduce the notion of superplethysm and provide a superplethystic variant of Littlewood's formula for these restriction coefficients. As an application, we provide several unimodality results for bipartite superpartitions.2026-07-16T12:51:05ZComments are welcome!Tirtharaj Basuhttp://arxiv.org/abs/2607.14692v1Twisted Yangians of types BI, CI, DI and Drinfeld type current relations2026-07-16T07:54:03ZWe study twisted Yangians associated with the split symmetric pairs of types BI, CI and DI. We introduce a new presentation of these algebras, which we call the transposed presentation, governed by a twisted reflection equation that interacts naturally with the Gaussian decomposition of the generating matrix. Working entirely within the $R$-matrix presentation, we derive Drinfeld-type current presentations of the special twisted Yangian $SY^{\mathrm{tw}}(\mathfrak{g}_N)$ and of the extended twisted Yangian $X^{\mathrm{tw}}(\mathfrak{g}_N)$, in which the Serre relations are stated in a closed current form. Extracting coefficients recovers the Drinfeld presentation due to Lu. As a consequence, we establish the isomorphism between the $R$-matrix and Drinfeld presentations of these twisted Yangians conjectured by Lu, Wang and Zhang. As a byproduct, we obtain a tensor product decomposition of $X^{\mathrm{tw}}(\mathfrak{g}_N)$ into the twisted Yangian in the Drinfeld presentation and a polynomial ring in countably many central variables. We also obtain Poincaré-Birkhoff-Witt bases in the Drinfeld generators and describe the coideal coproduct on the low Drinfeld modes.2026-07-16T07:54:03Z44 pages; comments are welcomeVidas Regelskishttp://arxiv.org/abs/2607.14634v1Cluster structures on $SL_n/SO_n$2026-07-16T06:59:14ZWe construct cluster structures on the strata $\mathring{S}_w$ of a stratification of the symmetric space $SL_n/SO_n$ over $\mathbb{C}$. To accomplish this, we study foldings of upper cluster algebras and show that the cluster structures on $SL_n/SO_n$ can be obtained from those on $SL_n$ via folding. As a corollary, we show that these cluster structures are compatible with the De Concini Poisson structures, and we construct cluster structures on the variety of symmetric matrices $\text{Sym}_n$.2026-07-16T06:59:14Z21 pagesJeff York Yehttp://arxiv.org/abs/2508.18310v9Weight-Shifting Resolvent Kernels on the Modular Surface2026-07-16T05:21:04ZThe local hypergeometric resolvent kernels and their mixed K-type shifts are due to Fay. On the modular surface, we determine the normalization relating these kernels to the Maass-shifted automorphic resolvent family and equip that family with two compatible extensions: the hyperbolic circular finite part at the diagonal and a parameter-dependent Mellin subtraction matched to the cusp zero mode. On moderate-growth eigenfunctions the resulting meromorphic transform satisfies an explicit spectral-reduction formula. Suppose that the multiplier is trivial at the cusp and that such an eigenfunction has spectral parameter s0 not equal to 1/2. If s0 is a simple zero of the diagonal source coefficient, the continued kernel and Eisenstein series are regular at s0, and the specialized integral converges, then specializing the kernel before integration need not agree with continuing the parameter-dependent finite-part family. Their difference is the relevant constant-term coefficient of the input multiplied by the first spectral-parameter derivative of the kernel's constant Fourier coefficient. For the trivial multiplier, even k greater than 2, raising shifts from k to k+2r, and asymptotic normalization (k-1)/(4 pi), the holomorphic point is s=k/2: specialized integration depends only on the cuspidal part of a modular form, whereas continued finite-part integration acts on the full form. In the case k=12 and t=14, the specialized kernel annihilates the product of y to the sixth power with the holomorphic Eisenstein series of weight 12, while the continued value is minus one twelfth of its Maass raising from weight 12 to weight 14. We also record the Maass shift of the spectral projection and show that the value and first spectral derivative together recover the Maass shift of the reduced resolvent.2025-08-23T11:55:02ZSubstantial revision for Version 9; title changed. The paper now identifies the local kernels and mixed shifts with Fay's resolvent theory, adds compatible circular diagonal and Mellin cusp regularizations, proves the specialization-defect formula, and includes spectral-projection, reduced-resolvent, and weight-12 to weight-14 results. No figuresSeung Ju Leehttp://arxiv.org/abs/2505.19417v3Irreducible cuspidal $\mathfrak{sl}_{n+1}$-modules from finite-dimensional modules over the minimal nilpotent finite $W$-algebra2026-07-16T03:34:34ZA weight $\mathfrak{sl}_{n+1}$-module with finite-dimensional weight spaces is called a cuspidal module, if every root vector of $\mathfrak{sl}_{n+1}$ acts injectively on it. In \cite{LL}, it has been shown that any block with a generalized central character of the cuspidal $\mathfrak{sl}_{n+1}$-module category is equivalent to a block of the category of finite-dimensional modules over the minimal nilpotent finite $W$-algebra $W(e)$ for $\mathfrak{sl}_{n+1}$. In this paper, using a centralizer realization of $W(e)$ and an explicit embedding $W(e)\rightarrow U(\mathfrak{gl}_n)$, we show that every finite-dimensional irreducible $W(e)$-module is isomorphic to an irreducible $W(e)$-quotient module of some finite-dimensional irreducible $\mathfrak{gl}_n$-module. As an application, we can give very explicit realizations of all irreducible cuspidal $\mathfrak{sl}_{n+1}$-modules using finite-dimensional irreducible $\mathfrak{gl}_n$-modules, avoiding using the twisted localization method and the coherent family introduced in [M].2025-05-26T02:07:47ZWe have revised the statement and proof of Theorem 3.10Genqiang LiuMingjie Lihttp://arxiv.org/abs/2303.13289v3On the irreducibility of $p$-adic Banach principal series of $p$-adic $\mathrm{GL}_3$2026-07-16T00:42:11ZWe establish an optimal (topological) irreducibility criterion for $p$-adic Banach principal series of $\mathrm{GL}_{n}(F)$, where $F/\mathbb{Q}_p$ is finite and $n \le 3$. This is new for $n = 3$ as well as for $n = 2$, $F \ne \mathbb{Q}_p$ and establishes a refined version of Schneider's conjecture [Sch06, Conjecture 2.5] for these groups.2023-03-23T14:17:28Z21 pages. Slightly revised from the published version to update references to our companion paperVietnam J. Math. 52 (2024), no. 2, 451-478Noriyuki AbeFlorian Herzig10.1007/s10013-023-00675-7http://arxiv.org/abs/2303.13287v4On the irreducibility of $p$-adic Banach principal series of $p$-adic reductive groups2026-07-16T00:40:07ZSuppose that $G$ is the group of $F$-points of a connected reductive group over $F$, where $F/\mathbb{Q}_p$ is a finite extension. We study the (topological) irreducibility of principal series of $G$ on $p$-adic Banach spaces. For unitary inducing representations we obtain an optimal irreducibility criterion, and for $G = \mathrm{GL}_n(F)$ (as well as for arbitrary split groups under slightly stronger conditions) we obtain a variant of Schneider's conjecture [Sch06, Conjecture 2.5]. In general we reduce the irreducibility problem to smooth inducing representations and almost simple simply-connected $G$. Our methods include locally analytic representation theory, the bifunctor of Orlik--Strauch, translation functors, as well as new results on reducibility points of smooth parabolic inductions.2023-03-23T14:11:39Z88 pagesNoriyuki AbeFlorian Herzighttp://arxiv.org/abs/2506.20028v3Localization of strings on group manifolds2026-07-15T22:23:05ZWe compute the partition function of the WZW model with target a compact Lie group $G$ by adapting a method used by Choi and Takhtajan to compute the heat kernel of the group manifold. The basic idea is to compute the partition function of a supersymmetric version of the WZW model using a form of supersymmetric localization and then use the fact that, since the fermions of the supersymmetric WZW model are actually decoupled from the bosons, this also determines the partition function of the purely bosonic WZW model. The result is a formula for the partition function as a sum over contributions from abelian classical solutions. We verify for $G=SU(2)$ that this formula agrees with the result for the same partition function that comes from the Weyl-Kac character formula. We extend the method of supersymmetric localization to certain related models such as the $SL(2,\mathbb{R})$ WZW model and a Wick-rotated version of this model in which the target space is hyperbolic three-space $H_3^+$.2025-06-24T21:52:21ZCommun.Math.Phys. 407 (2026) 7, 154Sameer MurthyEdward Wittenhttp://arxiv.org/abs/2607.14299v1Koszul Duality for Coherent Sheaves2026-07-15T19:02:05ZWe establish a bounded derived Koszul duality for infinite-dimensional Koszul algebras, and we obtain the corresponding singular Koszul duality. We then apply this framework to two classes of Koszul algebras, namely quadratic monomial algebras and absolutely Koszul algebras satisfying an additional homological condition. For these classes, the general duality specializes to particularly well-behaved forms. As an application to algebraic geometry, let \(Λ\) be a commutative noetherian Koszul algebra generated in degree \(1\), and let \(X=\operatorname{Proj}(Λ)\). We obtain a Koszul-dual description of the bounded derived category \(\mathsf{D}^{b}\!\bigl(\operatorname{coh}(X)\bigr)\). This gives a BGG-type correspondence for projective schemes defined by commutative noetherian Koszul algebras.2026-07-15T19:02:05Z28 pages, this is the first versionA. M. Bouhadahttp://arxiv.org/abs/1908.04363v3On Arthur's unitarity conjecture for split real groups2026-07-15T18:01:18ZArthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent Arthur packets for split real groups. The proof uses Eisenstein series, Langlands' constant term formula and square integrability criterion, analytic properties of intertwining operators, and some mild arithmetic input from the theory of Dirichlet L-functions, to reduce to a more combinatorial problem about intertwining operators. This updated arXiv posting also includes some comments (in blue) concerning statements about normalized intertwining operators we quoted from the literature in Section 9.2019-08-12T20:17:12Z34 pages, 1 figure, 3 tables. Post-publication version 3 includes comments (in blue) included to navigate literature statements about normalized intertwining operatorsJoseph HundleyStephen D. Miller