https://arxiv.org/api/mK9/peHo0jIQs2erCstJe9lmyew 2026-07-26T15:08:41Z 30432 705 15 http://arxiv.org/abs/2411.08403v2 2026-05-26T03:50:41Z

For the group $\mathrm{GL}_{n}$ and the anisotropic elements, we confirm the purity hypothesis of Goresky, Kottwitz and MacPherson, which states that the affine Springer fibers are cohomologically pure in the sense of Grothendieck-Deligne.

2024-11-13T07:45:23Z As pointed out by Zhiwei Yun, there is a gap in the final step of the proof of theorem 3.9. Indeed, when we make the intermediate extension from plane curve singularities to complete intersection curve singularities, extra singular support might appear Zongbin Chen http://arxiv.org/abs/2605.26469v1 2026-05-26T02:24:55Z

Let $(\mathcal{E}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category. Motivated by the theory of hereditary algebras, we introduce the notion of a hereditary-type subcategory $\mathcal{W}\subseteq \mathcal{E}$. We prove that the quotient $\mathcal{E}/\mathcal{W}$ is a quasi-abelian category, that is, an additive category with kernels and cokernels in which kernels are stable under pushouts and cokernels are stable under pullbacks. Moreover, we show that $\mathcal{E}/\mathcal{W}$ is abelian if and only if $\mathcal{W}$ is a cluster tilting subcategory in a suitable relative extriangulated structure. Several examples are provided to illustrate the main results, showing that our approach both recovers known abelian hearts and yields new abelian or quasi-abelian quotients beyond classical settings.

2026-05-26T02:24:55Z 18 pages Yu Liu Yu-Zhe Liu Panyue Zhou http://arxiv.org/abs/2506.16469v2 2026-05-25T18:51:54Z

It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras and twisted morphisms of triangular bialgebras. We do so by adopting the framework of 2-categories and the proper notion of binary product, as well as by employing a description of twists on the tensor product bialgebra, specifically developed for this purpose. We apply this extension to provide a new interpretation of the twisted tensor products of triangular bialgebras in terms of binary products.

2025-06-19T17:10:48Z 26 pages. Remarks 3.7, 3.12, 4.2, 4.4 have been added. Propositions 5.2 and 5.4 have been added to split the proof of Theorem 5.5. Additional references and other minor changes Alessandro Ardizzoni Andrea Sciandra http://arxiv.org/abs/2605.26031v1 2026-05-25T16:59:57Z

In this article, we will prove that the formal degree conjecture is compatible with the Deligne-Kazhdan correspondence for quasi-split groups, assuming that the local Langlands correspondence is compatible with the Deligne-Kazhdan correspondence. Consequently, we establish the formal degree conjecture for $\operatorname{GL}_n$ over local function fields of characteristic $p > 0$, and for $\operatorname{Sp}_{2n}$, split $\operatorname{SO}_{2n}$, $\operatorname{SO}_{2n+1}$, and $\operatorname{GSp}_4$ over local function fields of characteristic $p > 2$.

2026-05-25T16:59:57Z Anantha Krishna B http://arxiv.org/abs/2605.25976v1 2026-05-25T15:50:11Z

We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and the inclusion functors are given by parabolic induction. The summands are indexed by the component lattice of the stack, a central combinatorial structure in intrinsic Donaldson-Thomas theory. As examples, we obtain semiorthogonal decompositions for moduli stacks of semistable $G$-bundles or $G$-Higgs bundles on a curve, and moduli stacks of de Rham or Betti $G$-local systems on a curve, for reductive groups $G$ not necessarily of type A.

2026-05-25T15:50:11Z 64 pages Chenjing Bu Tudor Pădurariu Yukinobu Toda http://arxiv.org/abs/2605.25935v1 2026-05-25T15:14:18Z

We prove arithmeticity for two degree-six symplectic hypergeometric monodromy groups, called C-47, and C-55 in the paper \cite{BajpaiDonaNitsche2025Thin} by Bajpai-Dona-Nitsche. This settles two of the three remaining cases, whose classification was left open by \cite{BajpaiDonaNitsche2025Thin}. The arithmeticity certificates were found with AlphaEvolve and then independently verified with exact matrix arithmetic over $\QQ$ using a computer. We include illustrations of limit sets of several degree-six symplectic hypergeometric monodromy groups. Based on these illustration we conjecture C-32 to be thin.

2026-05-25T15:14:18Z J. Maxwell Riestenberg Diaaeldin Taha Steve Trettel Anna Wienhard http://arxiv.org/abs/2605.25908v1 2026-05-25T14:44:09Z

Integral identities for Macdonald polynomials play an important role in modern mathematics and mathematical physics. Especially interesting are the Cherednik-Macdonald-Mehta (CMM) identities, with profound connections to Double Affine Hecke Algebras (DAHA) and representation theory of quantum groups. These identities are central in refined Chern-Simons theory, where they lead to refined S and T matrices and ultimately to refined knot invariants. We suggest an elliptic generalization of CMM identities, where trigonometric Vandermonde products are replaced by theta functions. At the same time Macdonald polynomials are promoted to Shiraishi functions -- distinguished elliptic functions with several interesting avatars, from the non-stationary Ruijsenaars problem in integrable systems, to equivariant K-theory characters of the affine Laumon space in algebraic geometry, to surface defect partition functions in 5d super Yang-Mills theory. From the perspective of matrix models, we present an elliptic matrix model with a superintegrability property. We prove the suggested identities to the first order in the elliptic parameter.

2026-05-25T14:44:09Z 14 pages Shamil Shakirov http://arxiv.org/abs/2602.13417v3 2026-05-25T13:57:45Z

We develop a theory of separable ring extensions and separable functors for nonunital rings in the setting of firm modules. We prove nonunital analogues of classical results on functorial separability and semisimplicity, and apply these results to obtain a locally unital version of Maschke's theorem for group rings.

2026-02-13T19:37:52Z 22 pages Patrik Lundström http://arxiv.org/abs/2510.24415v2 2026-05-25T13:31:42Z

We make a systematic study of duality phenomena in tensor-triangular geometry, generalising and complementing previous results of Balmer--Dell'Ambrogio--Sanders and Dwyer--Greenlees--Iyengar. A key feature of our approach is the use of proxy-smallness to remove assumptions on functors preserving compact objects, and to this end we introduce proxy-small geometric functors and establish their key properties. Given such a functor, we classify the rigid objects in its associated torsion category, giving a new perspective on results of Benson--Iyengar--Krause--Pevtsova. As a consequence, we show that any proxy-small geometric functor satisfies Grothendieck duality on a canonical subcategory of objects, irrespective of whether its right adjoint preserves compact objects. We use this as a tool to classify Matlis dualising objects and to provide a suitable generalisation of the Gorenstein ring spectra of Dwyer--Greenlees--Iyengar in tensor-triangular geometry. We illustrate the framework developed with various examples and applications, showing that it captures Matlis duality and Gorenstein duality in commutative algebra, duality phenomena in chromatic and equivariant stable homotopy theory, and Watanabe's theorem in polynomial invariant theory.

2025-10-28T13:32:32Z v2: 48pp. Minor corrections and streamlining Thomas Peirce Jordan Williamson http://arxiv.org/abs/2605.25721v1 2026-05-25T11:25:32Z

In this paper, we develop the foundations of the representation theory of quiver Hecke--Clifford superalgebras. We further construct a Schur--Weyl duality between quantum affine analogues of the queer Lie superalgebra and the quiver Hecke--Clifford superalgebra of type A, based on the construction due to Kwon--Lee.

2026-05-25T11:25:32Z 43 pages Koreto Endo http://arxiv.org/abs/2311.13415v2 2026-05-25T10:29:18Z

We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical bundle, this COHA is isomorphic to the enveloping algebra of deformed trigonometric $W_{1+\infty}$-algebra associated to the ring $H^*(S,\mathbb{Q})$. We also define a double of this COHA, show that it acts on the homology of various moduli stacks of sheaves on $S$ and explicitly describe this action on the products of tautological classes. Examples include Hilbert schemes of points on surfaces, the moduli stack of Higgs bundles on a smooth projective curve and the moduli stack of $1$-dimensional sheaves on a $K3$ surface in an ample class. The double COHA is shown to contain Nakajima's Heisenberg algebra, as well as a copy of the Virasoro algebra.

2023-11-22T14:25:26Z v2: final version; v1: 68 pages Anton Mellit Alexandre Minets Olivier Schiffmann Eric Vasserot http://arxiv.org/abs/2605.25587v1 2026-05-25T08:35:53Z

A difference operator on an associative algebra is an algebraic abstraction of the forward and backward difference operators. In this paper, we first introduce difference operators on associative $2$-algebras and consider the category of difference associative $2$-algebras. Subsequently, we also introduce difference operators on a given $A_\infty$-algebra in terms of their Maurer-Cartan characterization. We prove that the category of difference associative $2$-algebras and the category of $2$-term difference $A_\infty$-algebras are equivalent. We characterize skeletal and strict $2$-term difference $A_\infty$-algebras by respectively third cocycles and crossed modules of difference algebras. Finally, we define the notion of a $2$-term bimodule up to homotopy over a difference algebra, which in turn yields a construction of a $2$-term difference $A_\infty$-algebra.

2026-05-25T08:35:53Z 19 pages; comments are welcome Apurba Das http://arxiv.org/abs/2605.25576v1 2026-05-25T08:29:22Z

A Lie-Yamaguti algebra is a non-associative algebraic structure that generalizes both Lie algebras and Lie triple systems. We first consider the factorization problem for Lie-Yamaguti algebras that essentially related to the bicrossed product of Lie-Yamaguti algebras. Next, given an inclusion $\mathfrak{g} \subset E$ of Lie-Yamaguti algebras and a strong $\mathfrak{g}$-complement $\mathfrak{h}$, we describe and classify all $\mathfrak{g}$-complements in $E$. In particular, we show that any other $\mathfrak{g}$-complement in $E$ is isomorphic to $\mathfrak{h}$ by some deformation map $r: \mathfrak{h} \rightarrow \mathfrak{g}$. Despite this importance, it turns out that a deformation map generalizes homomorphisms, derivations, crossed homomorphisms and relative Rota-Baxter operators on Lie-Yamaguti algebras. We define the cohomology of a deformation map unifying the cohomologies of all the operators mentioned above. Finally, we provide a Maurer-Cartan characterization and construct the governing $L_\infty$-algebra of a deformation map $r$ that controls the linear deformations of $r$.

2026-05-25T08:29:22Z 21 pages; comments are welcome Apurba Das http://arxiv.org/abs/2411.11594v6 2026-05-25T07:52:31Z

For any persistence module $M$ over a finite poset $\mathbf{P}$, and any interval $I$ of $\mathbf{P}$, we give a formula for the multiplicity $d_M(V_I)$ of the interval module $V_I$ in the indecomposable decomposition of $M$ in terms of the ranks of matrices consisting of structure linear maps of $M$. This generalizes the corresponding formula for 1-dimensional persistence modules. As applications, the formula enables us to compute the maximal interval-decomposable direct summand of $M$, to decide whether $M$ is interval-decomposable, and to detect properties determined by prescribed interval summands without decomposing $M$. We also give criteria, in terms of top and socle supports along minimal projective resolutions and injective coresolutions of $M$, restricting the intervals that can occur as direct summands of $M$ and thereby reduce the number of intervals to be computed in practice. Moreover, the formula tells us which morphisms of $\mathbf{P}$ are essential to compute $d_M(V_I)$. This leads to the notion of an order-preserving map $ζ\colon Z \to \mathbf{P}$ essentially covering $I$, for which the multiplicity is preserved under the induced restriction functor $R \colon \operatorname{mod} \mathbf{P} \to \operatorname{mod} Z$. When $Z$ is of Dynkin type $\mathbb{A}$, also known as a zigzag poset, this allows the multiplicity to be computed more efficiently from the filtration level of topological spaces, without computing all structure linear maps of $M$. Finally, we give a formula for $d_M(V_I)$ in terms of a projective (or injective) (co)presentation of $M$. In the 2D-grid case, this is more practical since such resolutions can be computed from the filtration level of topological spaces.

2024-11-18T14:15:30Z 81 pages, 6 figures. Updated version: revised the abstract and introduction, clarified criteria for reducing candidate interval summands via minimal projective resolutions and injective coresolutions, and corrected typos Hideto Asashiba Department of Mathematics, Shizuoka University Osaka Central Advanced Mathematical Institute, Osaka Metropolitan University Institute for Advanced Study, Kyoto University Enhao Liu Institute for Advanced Study, Kyoto University http://arxiv.org/abs/2602.11559v5 2026-05-25T00:08:31Z

Let $G$ be a simple, simply connected, simply laced algebraic group. We construct a monoidal category of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ whose Grothendieck ring contains a cluster algebra with initial seed given by that of the coordinate ring of twisted products of flag varieties. This class of varieties includes, in particular, braid varieties and reduced double Bruhat cells.

2026-02-12T04:26:41Z 72 pages. Any comments welcome Yingjin Bi