https://arxiv.org/api/CsQX2wB0fRyZvkueuKnFnTdFm24 2026-07-26T09:11:23Z 30432 600 15 http://arxiv.org/abs/2606.04526v1 2026-06-03T07:08:13Z

We prove instances of the subnormaliser conjecture on character bijections for finite groups by deriving generic versions of such bijections for unipotent characters of nearly simple groups of Lie type. For this, we formulate an extension of $d$-Harish-Chandra theory to what we call \emph{generic subnormalisers}, which are certain, usually disconnected, reductive subgroups of a simple algebraic group. For very good primes the generic bijections give rise to bijections to certain subgroups that should contain subnormalisers and thus be suitable for an eventual inductive approach. If the group in question has abelian Sylow $\ell$-subgroups for some prime~$\ell$ then our bijections satisfy the properties predicted by the subnormaliser conjecture, and moreover preserve character values up to sign, Brauer $\ell$-blocks, and are Galois equivariant.

2026-06-03T07:08:13Z Gunter Malle http://arxiv.org/abs/2508.08738v2 2026-06-03T05:47:04Z

We first define a class of non-weight modules over the N=1 Heisenberg-Virasoro superalgebra $\mathfrak{g}$, which are reducible modules. Then we give all submodules of such modules, and present the corresponding irreducible quotient modules which were exactly studied in \cite{DL}. Also, we prove that those modules constitute a complete classification of $U(\mathfrak{h})$-free modules of rank $2$ over $\mathfrak{g}$, where $\mathfrak{h}=\C L_{0}\oplus\C H_{0}$ is the degree-0 part of $\mathfrak{g}$. As an application, we obtain a class of weight $\mathfrak{g}$-modules from those non-weight $\mathfrak{g}$-modules by weighting functor. Furthermore, we study the non-weight modules over the four subalgebras of $\mathfrak{g}$: (i) the Heisenberg-Virasoro algebra; (ii) the Neveu-Schwarz algebra; (iii) the Fermion-Virasoro algebra; (iv) the Heisenberg-Clifford superalgebra. As far as we know, those non-weight Heisenberg-Virasoro modules were constructed in \cite{HCS}, but the structure of submodules was not clear. In this paper, we determine all submodules of them, and we show the corresponding irreducible quotient modules which were exactly defined in \cite{CG}.

2025-08-12T08:30:27Z Ziqi Hong Haibo Chen Yucai Su http://arxiv.org/abs/2401.06624v2 2026-06-02T23:04:03Z

In an earlier paper of the authors, a general family of instances of the relative Langlands duality of Ben-Zvi-Sakellaridis-Venkatesh [BZSV] were proposed and studied in the setting of branching problems for smooth representations. In this paper, we show the numerical conjectures of [BZSV] for the local Plancherel density, as well as an application to their conjectures on global periods, for this general family of instances.

2024-01-12T15:16:51Z Advances in Mathematics, Vol. 494 (2026), 110933 Wee Teck Gan Bryan Peng Jun Wang http://arxiv.org/abs/2511.12284v5 2026-06-02T18:15:30Z

One of the starting points of this work was the duality of Borcea relating standard level $k$ representations of $A_1^{(1)}$ and level $2k+1$ of $A_2^{(2)}$. For $k=1$, the combinatorial bases in both cases yield the two Capparelli identities and we wanted to see if there is a correspondence between the bases in terms of partitions for all $k\in\mathbb N$. By using the vertex operator relations in the principal picture for level $5$ standard $A_2^{(2)}$-modules, we reduce a spanning set of Poincaré-Birkhoff-Witt-type vectors in $L(5Λ_0)$ by removing the leading terms of relations and rendering a list of 34 ''difference'' conditions for partitions. Using computer programs, we enumerated the partitions satisfying these conditions and obtained a truncated generating series agreeing with the principally specialized character for all powers of $q$ up to $41$. Although our list of leading terms is incomplete, our results show that the corresponding combinatorial identity for $L_{A_2^{(2)}}(5Λ_0)$ drastically differs from the one for the Borcea dual $L_{A_1^{(1)}}(2Λ_0)$.

2025-11-15T16:37:40Z SIGMA 22 (2026), 055, 15 pages Stefano Capparelli Arne Meurman Mirko Primc 10.3842/SIGMA.2026.055 http://arxiv.org/abs/2604.20177v3 2026-06-02T17:12:12Z

Let \(Λ\) be a finite-dimensional quadratic monomial algebra and let \(Λ^{!}\) be its Koszul dual. We investigate the structure of graded modules over \(Λ^{!}\) and derive several consequences for Koszul duality. We prove that \(Λ^{!}\) is both graded coherent and graded co-coherent. Moreover, finitely presented and finitely copresented graded \(Λ^{!}\)-modules coincide with perfect and coperfect modules, respectively. As a consequence, the associated tails and cotails categories are hereditary abelian categories admitting explicit descriptions in terms of linear and colinear modules. We further show that every finite-dimensional quadratic monomial algebra is absolutely Koszul and has global linearity defect at most one. In particular, finitely presented graded modules have rational Poincaré and Hilbert series. Using these structural results, we refine graded and ungraded derived Koszul dualities, singular Koszul dualities, and the Bernstein--Gelfand--Gelfand correspondence. We obtain explicit descriptions of the associated triangulated categories and of the induced nonstandard \(t\)-structures. As an application, we derive new bounds on the finitistic dimension of quadratic monomial algebras in terms of finite paths in the Koszul dual algebra.

2026-04-22T04:43:36Z 30 pages. Version 3. This paper provides another example illustrating the results of our previous work on non-graded Koszul duality and its applications M. Bouhada http://arxiv.org/abs/2606.03902v1 2026-06-02T16:57:03Z

We study the Abel--Jacobi map over the twistor-$\mathbb{P}^1$ in the context of Scholze's geometrisation of the real local Langlands correspondence. In a similar spirit to a result of Fargues over the Fargues--Fontaine curve, we prove that pullback along the Abel--Jacobi map induces an equivalence on Picard groupoids and use this to recover local class field theory for archimedean local fields.

2026-06-02T16:57:03Z 17 pages. Comments welcome! Saverio Caleca Maximilian Hauck http://arxiv.org/abs/2512.03412v5 2026-06-02T16:15:25Z

We explicitly compute Fourier coefficients of Eisenstein series on the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$ with $n\ge 2$ which splits everywhere at finite places. We show that it has a bounded denominator.

2025-12-03T03:39:27Z Henry H. Kim Takuya Yamauchi http://arxiv.org/abs/2407.21389v2 2026-06-02T15:17:58Z

Let $\Bbbk$ be an algebraically closed field of characteristic $0$ and let $H$ be a finite-dimensional Hopf algebra over $\Bbbk$ with the dual Chevalley property. In this paper, we give a description of the link quiver of $H$ for different corepresentation types. Moreover, we show that $\operatorname{gr}^c(H)$ is of tame corepresentation type if and only if $\operatorname{gr}^c(H)\cong (\k\langle x,y\rangle/I)^* \times H_0$ for some special ideals $I$. Using the methods of link quivers and bosonization, we then discuss which of the above ideals occur when $(\Bbbk\langle x,y\rangle/I)^* \times H_0$ is a Hopf algebra of tame corepresentation type under certain assumptions.

2024-07-31T07:28:05Z Jing Yu Gongxiang Liu http://arxiv.org/abs/2603.00816v2 2026-06-02T10:45:12Z

Let $M$ be a compact oriented $3$-manifold with boundary consisting of tori, and let $G$ be a semisimple algebraic group. We define the adjoint torsion function on the moduli stack of $G$-local systems on $M$ satisfying a certain regularity condition, extending the construction by Porti for $G = \mathrm{SL}_2$. When $M$ is a cusped hyperbolic manifold, we prove that the local system associated with the image of the complete hyperbolic structure via a principal embedding $\mathrm{PGL}_2 \to G$ satisfies the regularity condition. Moreover, we provide a formula expressing its adjoint torsion as a product of $\mathrm{PGL}_2$-torsions associated with the simple $\mathrm{PGL}_2$-modules with multiplicity given by the exponents of the Lie algebra of $G$. We compute the adjoint $\mathrm{PGSp}_4$-torsions of the figure-eight knot complement for two boundary-unipotent local systems, one is arising from the complete hyperbolic structure via a principal embedding, and the other is defined over a number field of degree $6$ and not arising from any $\mathrm{PGL}_2$-local system via principal embeddings.

2026-02-28T21:25:59Z 44 pages, v2: fix typos and add references Tsukasa Ishibashi Yuma Mizuno http://arxiv.org/abs/2606.04054v1 2026-06-02T09:41:00Z

We introduce noncommutative geometry techniques in order to reinterpret the Penrose--Sparling non-Hausdorff twistor space of the anti-self-dual Coulomb field by means of an explicit etale gluing groupoid and its convolution algebra. This algebraic model keeps track of both the identified open part and the two non-separated copies of the source quadric. We compute two kinds of Chern--Connes pairings. The strict tangent-module analogue, obtained from \([T_{\mathbb R}\CP^3\otimes\C]\), vanishes because \[ \operatorname{ch}_3(T^{1,0}\CP^3)+ \operatorname{ch}_3(T^{0,1}\CP^3)=0. \] By contrast, the Penrose--Sparling Coulomb line bundle \(\calC_n\) defines a \(K_0(A_Q)\)-class, and the relative cyclic cocycle supported on the two non-separated copies of a ruling line \(L\subset Q\) gives \[ \mathcal Q(\calC_n)= \frac12\left\langle \varphi_L^+-\varphi_L^-,[\calC_n]\right\rangle=n. \] Thus the source-adapted cyclic pairing recovers the Coulomb charge. We also formulate the non-abelian version in principal-bundle language. For a connected complex reductive group \(G\), a maximal torus \(T\subset G\), and a cocharacter \(λ:\C^*\to T\), the source is a principal \(G\)-bundle modification of type \(λ\) along \(Q\).

2026-06-02T09:41:00Z 23 pages Ioannis P. Zois http://arxiv.org/abs/2510.26252v3 2026-06-02T07:52:32Z

We prove the existence and give a classification of toric non-commutative crepant resolutions (NCCRs) of Gorenstein toric singularities whose divisor class group has rank one. More precisely, such toric NCCRs are in bijection with non-trivial upper sets in a certain quotient of the divisor class group equipped with a natural partial order. This classification allows us to prove that all toric NCCRs of such toric singularities are connected by iterated Iyama--Wemyss mutations, and hence are derived equivalent to one another. We further give a dimer-model realization of this classification in the non-pyramidal case. More precisely, we construct periodic quivers with cuts on a $d$-dimensional torus, establish a cut-upper set correspondence, and prove that the resulting cut quiver with relations presents the corresponding toric NCCR. For $d=2$, this recovers the quiver-theoretic part of the usual dimer-model construction. In the appendix, we give an explicit formula for the volume of $d$-dimensional lattice polytopes with $d+2$ vertices. As an application, we verify Van den Bergh's conjectural equality, for Gorenstein toric singularities with divisor class group of rank one, between the number of indecomposable direct summands of a toric NCCR and the normalized volume of the corresponding lattice polytope.

2025-10-30T08:34:25Z 31 pages, v3: Some typos are fixed Ryu Tomonaga http://arxiv.org/abs/2412.19383v4 2026-06-02T05:52:11Z

Let $Ψ(\textbf{z},\textbf{a},q)$ a the fundamental solution matrix of the quantum difference equation of a Nakajima variety $X$. In this work, we prove that the operator $$ Ψ(\textbf{z},\textbf{a},q) Ψ\left(\textbf{z}^p,\textbf{a}^p,q^{p^2}\right)^{-1} $$ has no poles at the primitive complex $p$-th roots of unity $q=ζ_p$. As a byproduct, we show that the iterated product of the operators ${\bf M}_{\mathcal{L}}(\textbf{z},\textbf{a},q )$ from the $q$-difference equation on $X$: $$ {\bf M}_{\mathcal{L}} (\textbf{z} q^{(p-1)\mathcal{L}},\textbf{a},q) \cdots {\bf M}_{\mathcal{L}} (\textbf{z} q^{\mathcal{L}},\textbf{a},q) {\bf M}_{\mathcal{L}} (\textbf{z} ,\textbf{a},q) $$ evaluated at $q=ζ_p$ has the same eigenvalues as ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$. Upon a reduction of the quantum difference equation of $X$ to the quantum differential equation over the field of finite characteristic, the above iterated product transforms into a Grothendiek-Katz $p$-curvature of the corresponding quantum connection whreas ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$ becomes a certain Frobenius twist of that connection. In this way, we give an explicit description of the spectrum of the $p$-curvature of quantum connection for Nakajima varieties.

2024-12-26T23:52:58Z 25 pages, expanded sections 4 and 5, other minor changes Int. Math. Res. Not. volume 2026, Issue 14, July 2026, rnag153 Peter Koroteev Andrey Smirnov 10.1093/imrn/rnag153 http://arxiv.org/abs/2606.03187v1 2026-06-02T05:46:45Z

In this paper we prove a conjectured equivalence of categories, showing that the S-dual of $\mathrm{SO}_{2n}\times \mathrm{Sp}_{2n}$ acting on $\mathbb{C}_+^{2n}\otimes \mathbb{C}_-^{2n}$ is equal to $\mathrm{SO}_{2n+1}\times \mathrm{SO}_{2n}\circlearrowright T^*\mathrm{SO}_{2n+1}$. This result is a particular case of a non-polarized version of the (local) relative Langlands duality of Ben Zvi, Sakellaridis and Venkatesh. Similar results for the pairs $(\mathrm{SO}_{2n+1}, \mathrm{Sp}_{2n})$ and $(\mathrm{GL}_n, \mathrm{GL}_m)$ were proved by Braverman, Finkelberg, Kazhdan and Travkin and by Fu respectively, whereas the converse result was proved by Braverman, Finkelberg, and Travkin. As a consequence of our main result, we prove that Langlands functoriality of the Derived Satake isomorphism for the pair $\mathrm{Sp}_{2n},\mathrm{SO}_{2n}$ is given by the theta correspondence. Our approach works (with appropriate modifications) in the general even orthosymplectic case of $\mathfrak{osp}(2m|2n)$.

2026-06-02T05:46:45Z Dor Mezer http://arxiv.org/abs/2503.06607v4 2026-06-02T04:51:57Z

We prove that any complex local representation of the flat virtual braid group, $FVB_2$, into $GL_2(\mathbb{C})$, has one of the types $λ_i: FVB_2 \rightarrow GL_2(\mathbb{C})$, $1\leq i\leq 12$. We find necessary and sufficient conditions that guarantee the irreducibility of representations of type $λ_i$, $1\leq i\leq 5$, and we prove that representations of type $λ_i$, $6\leq i\leq 12$, are reducible. Regarding faithfulness, we find necessary and sufficient conditions for representations of type $λ_6$ or $λ_7$ to be faithful. Moreover, we give sufficient conditions for representations of type $λ_1$, $λ_2$, or $λ_4$ to be unfaithful, and we show that representations of type $λ_i$, $i=3, 5, 8, 9, 10, 11, 12$ are unfaithful. We prove that any complex homogeneous local representations of the flat virtual braid group, $FVB_n$, into $GL_{n}(\mathbb{C})$, for $n\geq 3$, has one of the types $γ_i: FVB_n \rightarrow GL_n(\mathbb{C})$, $i=1, 2$. We then prove that representations of type $γ_1: FVB_n \rightarrow GL_n(\mathbb{C})$ are reducible for $n\geq 6$, while representations of type $γ_2: FVB_n \rightarrow GL_n(\mathbb{C})$ are irreducible if and only if $b\neq y$, for $n\geq 3$. Then, we show that representations of type $γ_1$ are unfaithful for $n\geq 3$ and that representations of type $γ_2$ are unfaithful if $y=b$. Furthermore, we prove that any complex homogeneous local representation of the flat virtual braid group, $FVB_n$, into $GL_{n+1}(\mathbb{C})$, for all $n\geq 4$, has one of the types $δ_i: FVB_n \rightarrow GL_{n+1}(\mathbb{C})$, $1\leq i\leq 8$. We prove that these representations are reducible for $n\geq 10$. Then, we show that representations of types $δ_i$, $i\neq 5, 6$, are unfaithful, while representations of types $δ_5$ or $δ_6$ are unfaithful if $x=y$.

2025-03-09T13:22:42Z Mohamad N. Nasser Mohammad Y. Chreif Malak M. Dally http://arxiv.org/abs/2606.03086v1 2026-06-02T03:15:39Z

We show that higher extension spaces between finite-dimensional nilpotent $\mathbb{F}_1$-representations maybe infinite-dimensional, thereby clarifying a misconception in the literature. Our examples arise from cyclic quivers. In particular, for a cyclic quiver $Δ_n$, we show that $\operatorname{Ext}^3(-,-)$ vanishes for any pair of finite-dimensional nilpotent $\mathbb{F}_1$-representations of $Δ_n$, while $\operatorname{Ext}^2(-,-)$ is infinite-dimensional for any pair of simple representations.

2026-06-02T03:15:39Z 9pages, submitted Changjian Fu Liang Yang Zhiyuan Zeng