Pull-back and push-forward functors for holonomic modules over Cherednik algebras

2026-06-03T15:20:35Z

In this article we continue the study of holonomic modules over sheaves of Cherednik algebras, initiated by the third author in [Tho18]. Under mild assumptions on the parameters, we first develop a theory of b-functions to prove that push-forward along open embeddings preserves holonomicity. This implies that pull-back along closed embeddings also preserves holonomicity. We use these facts to show that both push-forward and pull-back under any melys morphism preserves holonomicity. Since duality preserves holonomicity, we deduce that extraordinary push-forward and extraordinary pull-back also exist for holonomic modules. As a consequence, we give a general classification of irreducible holonomic modules similar to the classification of irreducible holonomic $\mathscr{D}$-modules as minimal extensions of integrable connections on locally closed subsets. Finally, we prove that Ext-groups between holonomic modules are finite-dimensional and explore applications of our work to the classification of aspherical parameters and existence of finite-dimensional modules for sheaves of Cherednik algebras.

A Cohesive $\infty$-Topos with a Quantum Modality from Finite-Dimensional $C^{*}$-Algebras

2026-06-03T14:22:34Z

We construct a cohesive $\infty$-topos $\mathbf{H}_{\mathbb{Q}}$ equipped with a \emph{quantum modality} -- an idempotent product-preserving comonad $Q^{\diamond}$ with right adjoint $Q_{\bullet}$ satisfying the Beck--Chevalley compatibility conditions with the cohesive structure $(Π,\flat,\sharp)$. The model is the functor $\infty$-topos $\operatorname{Fun}(\mathbf{C}^{*}\mathbf{Alg}_{\mathrm{fd}},\; \mathbf{H}_{\mathrm{sm}})$, where $\mathbf{H}_{\mathrm{sm}}$ is the smooth cohesive $\infty$-topos and $\mathbf{C}^{*}\mathbf{Alg}_{\mathrm{fd}}$ is the category of finite-dimensional $C^{*}$-algebras with centre-preserving $*$-homomorphisms. Cohesion is lifted pointwise from $\mathbf{H}_{\mathrm{sm}}$; the quantum comonad is precomposition with the centre functor. We endow the topos with the Day convolution monoidal structure $\otimes_{\mathrm{Day}}$ induced by the tensor product of $C^{*}$-algebras and prove that $Q^{\diamond}$ is a strong monoidal comonad. The category of $Q^{\diamond}$-coalgebras is equivalent, via Gelfand duality, to the topos $\operatorname{Fun}(\mathbf{FinSet}^{\mathrm{op}},\mathbf{H}_{\mathrm{sm}})$ of discrete classical field theories. The comonad is interpreted as decoherence. This yields a cohesive linear $\infty$-topos in which the cartesian linear-logic structure degenerates, while the Day convolution provides a non-degenerate affine model of multiplicative intuitionistic linear logic. We also prove a synthetic no-cloning theorem and discuss the limits of the centre modality for representing quantum channels. This work provides the first rigorous instance of the cohesive linear framework and settles the open problem of finding a concrete model for cohesive linear homotopy type theory.

Coactions of cocommutative Hopf algebras on skew polynomial rings

2026-06-03T14:12:47Z

We classify the cocommutative Hopf algebras which coact inner-faithfully on (one-parameter) skew polynomial rings $A_q(n) = \Bbbk \langle x_1,\dots,x_n \rangle/(x_j x_i - q x_i x_j \mid i < j)$ for $n = 2$ and $3$. As a direct corollary, we obtain a classification of group gradings on two- and three-variable skew polynomial rings, recovering a result of Crawford in the two-variable case. Our results are achieved via Manin's universal coacting Hopf algebra construction, often denoted $\underline{\operatorname{aut}}(A_q(n))$, by classifying all its cocommutative quotients. We therefore also give an explicit presentation of $\underline{\operatorname{aut}}(A_q(n))$ for arbitrary $q \in \Bbbk^*$ and $n \in \mathbb{N}$.

Generalized Kac-Paljutkin algebras

2026-06-03T11:53:59Z

In this note, we construct a family of semisimple Hopf algebras $H_{n,m}$ of dimension $n^m m!$ over a field of characteristic zero containing a primitive $n$th root of unity, where $n, m \geq 2$ are integers. The well-known eight-dimensional Kac--Paljutkin algebra arises as the special case $H_{2,2}$, while the Hopf algebras previously constructed by Pansera correspond to the instances $H_{n,2}$. Each algebra $H_{n,m}$ is defined as an extension of the group algebra $\mathbb{K} Σ_m$ of the symmetric group by the $m$-fold tensor product $R = \mathbb{K} \mathbb{Z}_n^{\otimes m}$, where $\mathbb{Z}_n$ denotes the cyclic group of order $n$. This extension admits a realization as a crossed product: $H_{n,m} = \mathbb{K} \mathbb{Z}_n^{\otimes m} \#_γΣ_m$. In the final section, we construct a family of irreducible $m$-dimensional representations of $H_{n,m}$ that are inner faithful as $R$-modules and exhibit a nontrivial inner-faithful action of a subalgebra of $H_{n,m}$ on a quantum polynomial algebra.

Whittaker constructions for quantum affine algebras

2026-06-03T07:41:02Z

The goals of the paper are 3-fold. First, we revisit the construction of imaginary Whittaker modules over untwisted affine Kac-Moody Lie algebras. These modules are obtained using the parabolic induction from irreducible Whittaker modules over the associated Heisenberg Lie algebras. We show that the infinite support condition for Whittaker functions on Heisenberg Lie algebras is essential for irreducibility: when the support is finite the modules becomes reducible, yielding infinite chains of submodules. We establish the irreducibility criterion for the induced modules over affine Lie algebras and construct a large family of such modules. In particular, we obtain a class of irreducible modules on which the derivation acts neither semisimply nor freely. Second, we consider quantum analogs of imaginary Whittaker modules and establish irreducibility for a family of such modules. Finally, we prove the irreducibility of a certain class of modules over $\mathcal{U}_q(A_1^{(1)})$, which are not quantum deformations of irreducible modules for the affine Kac-Moody Lie algebra $A_1^{(1)}$. Our results can be potentially extended to all types of untwisted quantum affine algebras, providing a pathway toward their classification.

An action of the Witt algebra on Khovanov-Rozansky homology

2026-06-02T17:35:53Z

We construct an action of the positive part of the Witt algebra on Khovanov--Rozansky $\mathfrak{gl}_N$-link homology and show that link cobordisms induce equivariant maps between twists of the homology. Moreover, the state spaces of simple webs are identified with standard representations of the Witt algebra on polynomials. Some simple relations to Lee homology and genus bounds are derived from the analysis of this presentation.

Coradically graded Hopf algebras of tame corepresentation type

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.

The Time-Frequency Covariance Principle on Unimodular Kac Algebras

2026-06-02T13:21:07Z

This paper extends the short-time Fourier transform (STFT), a fundamental tool in time-frequency analysis, to the quantum group setting of unimodular Kac algebras. For a unimodular Kac algebra \mathbb{G}, we introduce a time-frequency shift operator that combines left translation and modulation operators. Using a window vector in the Hilbert space L^2(\mathbb{G}), we define the corresponding STFT and establish its essential analytic properties, including a Plancherel theorem, the Moyal identity, an inversion formula, and a fundamental identity. Furthermore, we explore the projective corepresentation structure of the time-frequency shift operator, and prove that its reflected version induces a continuous projective left representation of the dual quantum group of the quantum double. Finally, we derive the covariance principle and several uncertainty principles.

Higher-dimensional Chiral Algebras in the Jouanolou Model and free-field realization

2026-06-02T13:08:15Z

We appeal to the theory of Jouanolou torsors to model the coherent cohomology of configuration spaces of points in d-dimensional affine space. Using this model, we develop the operadic notion of chiral operations, thus generalizing the notion of chiral algebras of Beilinson and Drinfeld to higher dimensions. To produce examples, we use a higher-dimensional conceptualization of the residue which is inspired by Feynman graph integrals. One of our main results is the realization, using higher chiral operations, of the higher-dimensional Kac--Moody and Virasoro algebras.

Adjoint Reidemeister torsion of 3-manifolds with torus boundary for semisimple algebraic groups

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.

Classical Symmetry TFTs for Continuous Symmetries via Higher Symplectic Geometry

2026-06-02T09:15:25Z

We propose a shifted-symplectic formulation of a classical continuous analogue of the symmetry TFT paradigm. Let $G$ be an algebraic or Lie group acting by topological defects on an $n$-dimensional classical topological sigma model with target an $(n-1)$-shifted symplectic derived stack $(X,ω)$ via the AKSZ construction. We argue that the corresponding $(n+1)$-dimensional bulk theory should be the AKSZ theory with target the shifted cotangent stack $T^*[n] (\mathrm B G)$, equivalently the $(n+1)$-dimensional BF theory for $G$. We characterize the Dirichlet and Neumann boundary conditions, and more general topological boundaries, in terms of shifted Lagrangians in $T^*[n] (\mathrm B G)$. We realize the gauging of the $G$-symmetry in the original theory as inserting a topological domain wall between the corresponding topological boundaries in the BF bulk, and introduce the notion of Hamiltonian reduction, syplectic reduction, and Lagrangian reduction in the shifted symplectic setting. We also discuss prequantum refinements of continuous SymTFTs. In this refinement, higher gerbes on $\mathrm B G$ encode classical analogues of 't Hooft anomaly data by decorating the shifted cotangent bulk and its Lagrangian boundary conditions. Finally, in dimension three we compare the infinitesimal BF model $\mathrm B(\mathfrak g\ltimes\mathfrak g^\vee)$ with the factorizable double $\mathrm B(\mathfrak g\oplus \mathfrak g)$. The resulting topological boundaries are described by Lagrangian Lie subalgebras, and the factorizable case relates the SymTFT dictionary to $r$-matrices and Belavin--Drinfeld data.

Vertex-transitive quantum graphs

2026-06-01T22:36:22Z

We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.

Pure UCP Maps on Finite Toeplitz Systems and Quantum Gromov--Hausdorff Convergence

2026-06-01T17:53:58Z

We study pure unital completely positive maps on the finite Toeplitz operator system $ T_{d}$ of $d \times d$ Toeplitz matrices. Our first main result gives an explicit characterization of pure UCP maps from $T_{d}$ to $M_n$ in terms of positive $n\times n$ matrix-valued trigonometric polynomials of degree at most $d-1$. This characterization provides a checkable criterion for deciding when a given UCP map is pure. As a first application, we show that every pure UCP map from $ T_{d}$ to $M_n$ admits a unique UCP extension to the generated $C^*$-algebra. As a second application, we prove that, for each fixed $n$, the space of pure UCP maps from $T_{d}$ to $M_n$, equipped with the matricial Connes distance, converges in the Gromov--Hausdorff sense to the space of normalized positive $n\times n$ matrix-valued Borel measures on the unit circle, equipped with the matricial Monge--Kantorovich distance.

Folding shuffle algebras and twisted $q$-characters

2026-06-01T16:44:51Z

Using our new notion of folding shuffle algebras, we prove a conjecture of Hernandez on the equality between certain $q$-characters of quantum untwisted affine algebra modules and their twisted counterparts. We generalize this result to the setting of arbitrary quivers with automorphisms, in particular by defining and describing twisted quantum toroidal algebras.

Non-combinatorial involutive braidings: the quantum algebra $\mathfrak{gl}_{k,m}$

2026-06-01T16:05:38Z

We investigate involutive, non-combinatorial solutions of the braid equation, viewing them as special deformations of the permutation map. Utilizing these solutions, we identify the associated quantum algebra and introduce it as the $\mathfrak{gl}_{k,m}$ Yangian. This newly derived Yangian is distinct from the known Yangian of the general linear Lie superalgebra; crucially, as a Hopf algebra, it possesses the standard tensor product algebra structure. The underlying algebra $\mathfrak{gl}_{k,m}$ is also introduced as a novel structure and constitutes a subalgebra of the Yangian. We then construct specific highest-weight modules of $\mathfrak{gl}_{k,m}$ that simultaneously yield the eigenstates of spin-chain-like ``Hamiltonians'', which are defined as the sum of the generators of the $A$-type braid group. Furthermore, we study the highest-weight representations and the corresponding combinatorial bases for $\mathfrak{gl}_{1,1}$, explicitly linking them to specific shapes of Young tableaux.