https://arxiv.org/api/f5GMiKF52EOoukX9NuxlabD0Xcg 2026-07-27T17:51:09Z 30435 720 15 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 http://arxiv.org/abs/2605.24948v1 2026-05-24T08:49:23Z

Brief proofs of classical results of Lie on finite dimensional subalgebras of vector fields in two and three variables are outlined. The results for algebras of maximal rank for vector fields in $\mathbb{C}^N$ -- $N$ arbitrary -- are also given.

2026-05-24T08:49:23Z Final version Hassan Azad Indranil Biswas Said Waqas Shah http://arxiv.org/abs/2605.24864v1 2026-05-24T04:49:09Z

The character codegree of an irreducible character of a finite group $G$ is given by the index of its kernel in $G$ upon the character degree. We compute the codegrees of irreducible characters of VZ and Camina $p$-groups, and also obtain the character codegrees set of $p$-groups of order $\leq p^5$, where $p$ is an odd prime.

2026-05-24T04:49:09Z Ayush Udeep http://arxiv.org/abs/2504.20850v3 2026-05-24T03:44:26Z

Let $G$ be a finitely generated virtually abelian group. We show that the Hirsch length, $h(G)$, is equal to the nuclear dimension of its group $C^*$-algebra, $\dim_{nuc}(C^*(G))$. We then specialize our attention to a generalization of crystallographic groups dubbed \textit{crystal-like}. We demonstrate that in this scenario a \textit{point group} is well defined and the order of this point group is preserved by $C^*$-isomorphism. We close by using these tools to demonstrate that crystallographic (as a group property) is preserved by $C^*$-isomorphism. These three tools combine to prove that $2D$ crystallographic groups are $C^*$-superrigid.

2025-04-29T15:19:25Z 20 pages, 1 appendix; Newest version contains corrections and improvements to arguments Frankie Chan S. Joseph Lippert Iason Moutzouris Ellen Weld http://arxiv.org/abs/2201.09397v5 2026-05-23T21:52:22Z

These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT.

2022-01-23T23:15:52Z 268 pages, minor corrections and improvements in v4 Pavel Etingof http://arxiv.org/abs/2605.11579v2 2026-05-23T16:01:57Z

We give an algebraic description of the equivariant K-theory of Gieseker varieties. Our main result identifies the equivariant K-theory of the Gieseker space with the Jucys--Murphy center of the cyclotomic Hecke algebra, over the equivariant K-theory of a point. The construction is inspired by the proof of the Hikita--Nakajima conjecture for Gieseker spaces given by the first and third authors. We discuss consequences for the center of cyclotomic Hecke algebras and for specializations to q=1 and to roots of unity. In particular, we relate K-theory of affine type A quiver varieties with the centers of the corresponding blocks of specialized cyclotomic Hecke algebras. This last result strengthens the correspondences obtained by the second author in earlier work.

2026-05-12T06:04:09Z Vasily Krylov Raphaël Paegelow Pavel Shlykov http://arxiv.org/abs/2605.24637v1 2026-05-23T15:56:16Z

In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain ``moderate growth condition'' inspired from the theory of tensor categories. This applies in particular to the category of modules over a rational $E_{\infty}$-ring, to the derived category of any super-Tannakian category in characteristic zero, and conjecturally to Voevodsky's rational category of mixed motives over a field $DM_{\mathbb{Q}}$. In fact, we further prove that any such category has enough tt-fields, which can be chosen to be of the form Perf(L) for an even 2-periodic field L.

2026-05-23T15:56:16Z 22 pages, comments very welcome! Logan Hyslop