https://arxiv.org/api/F3FM7GWly+O7YLWUicrP4oL01mU 2026-06-14T13:33:04Z 20897 360 15 http://arxiv.org/abs/2604.01208v1 2026-04-01T17:51:01Z

To a noncompact orientable surface with no closed boundary, we associate the sum of Fukaya categories of (Liouville sectors associated to) its symmetric powers. We construct sectorial covers with the combinatorics of the bar resolution to show this association extends to an open 2d topological field theory -- without naming a Lagrangian, let alone a holomorphic disk. In particular, we recover results of Rouquier and Manion on extending Heegaard-Floer theory down to an interval.

2026-04-01T17:51:01Z 26 pages Vivek Shende Peng Zhou http://arxiv.org/abs/2603.23338v2 2026-04-01T17:31:18Z

We show that the large affine Hecke category defines an oriented, fully extended topological field theory. More generally, we establish conditions under which ind-coherent convolution categories define such theories, analogously to known results for finite Hecke categories and $D$-modules.

2026-03-24T15:39:33Z 13 pages, comments welcome Yuji Okitani http://arxiv.org/abs/2604.01080v1 2026-04-01T16:11:31Z

Motivated by duality phenomena for derived global sections on derived local systems on compact oriented manifolds, we introduce the notion of a $d$-duality context between symmetric monoidal enriched categories. In this setting, the right adjoint of a symmetric monoidal functor carries compatible lax and colax structures twisted by an invertible object $d$. For any enriched dioperad $\mathcal{P}$, we define a $d$-twist $\mathcal{P}\{d\}$ and prove that, in a $d$-duality context, the right adjoint sends $\mathcal{P}$-algebras to $\mathcal{P}\{-d\}$-algebras. To achieve this, the key conceptual result is that Frobenius monoidal functors between symmetric monoidal categories are precisely those functors inducing morphisms between the underlying dioperads. We also develop a dioperadic Day convolution, yielding an alternative proof of the main theorem and suggesting an $\infty$-categorical extension of the theory.

2026-04-01T16:11:31Z 27 pages, comments are welcome Valerio Melani Hugo Pourcelot http://arxiv.org/abs/2604.01016v1 2026-04-01T15:18:39Z

We construct toral Chern-Simons theory with gauge group $\mathbb T=\mathfrak t/Λ\cong U(1)^n$ from an even, integral, nondegenerate symmetric bilinear form $K:Λ\timesΛ\to\mathbb Z$ by geometric quantization via real polarization. We obtain a unitary extended $(2+1)$-dimensional TQFT by constructing the boundary state spaces and canonical operators and proving that they satisfy the cylinder and gluing axioms. The finite discriminant group $G_K=Λ^*/KΛ$ arises naturally in the theory and controls the genus-$g$ state spaces. At genus one, the theory recovers the finite quadratic data underlying bosonic Abelian topological order.

2026-04-01T15:18:39Z Daniel Galviz http://arxiv.org/abs/2512.12350v2 2026-04-01T11:50:07Z

Discrete quantum groups were introduced as duals of compact quantum groups by Podleś and Woronowicz in 1990. Shortly after, they were defined and studied intrinsically by Effros and Ruan, and by this author. In 1998, with the introduction of the multiplier Hopf algebras with integrals (also called algebraic quantum groups), the duality between discrete and compact quantum groups became part of the more general duality in the self-dual category of these algebraic quantum groups. Again a few years later the duality was extended to all locally compact quantum groups. In these notes, we give a new and a somewhat updated approach of the theory of discrete quantum groups. In particular, we view them as special cases of algebraic quantum groups. The duality between the compact quantum groups and the discrete quantum groups is seen in this larger context. This has a number of advantages as we will explain. On the one hand, we provide quite a bit of information about how all of this fits into the more general theory of algebraic quantum groups and its duality. Occasionally, we even go one step further and look at the most general case of locally compact quantum groups. Also sometimes, we compare with known results in pure Hopf algebra theory. On the other hand however, we have tried to make these notes highly self-contained. The aim of these notes in the first place is not to give new results but rather to review known results in a more modern perspective, taking into account recent developments. We believe this may be helpful for people who want to work with compact and discrete quantum groups now.

2025-12-13T14:42:33Z Alfons Van Daele http://arxiv.org/abs/2404.19667v4 2026-04-01T09:32:57Z

We construct a relative version of the Crane-Yetter topological quantum field theory in four dimensions, from non-semisimple data. Our theory is defined relative to the classical $G$-gauge theory in five dimensions -- this latter theory assigns to each manifold $M$ the appropriate linearization of the moduli stack of $G$-local systems, called the character stack. Our main result is to establish a relative invertibility property for our construction. This invertibility generalizes the key invertibility property of the original Crane-Yetter theory which allowed it to capture the framing anomaly of the celebrated Witten-Reshetikhin-Turaev theory. In particular our invertibilty statement at the level of surfaces implies a categorical, stacky version of the unicity theorem for skein algebras; at the level of 3-manifolds it equips the character stack with a canonical line bundle. Regarded as a topological symmetry defect of classical gauge theory, our work establishes invertibility of this defect by a gauging procedure.

2024-04-30T16:04:16Z v4: conjectures introduced in section 4.3 to precisely handle SO-fixed point structures. v3: Corrections around 3.18, 3.19 and where these are used. v2: Important corrections made throughout sections 3.1 and 3.3. v1: Comments welcome! Patrick Kinnear http://arxiv.org/abs/2512.21687v3 2026-04-01T08:27:59Z

We propose a formula for the transformation law of anyons in topologically ordered phases or topological quantum field theories (TQFTs) through a gapped or symmetry-preserving domain wall. Our formalism is based on the ring homomorphism between the $\mathbb{C}$-linear commutative fusion rings, also known as symmetry topological field theories (SymTFTs). The fundamental assumption in our formalism is the validity of the Verlinde formula, applicable to commutative fusion rings. By combining it with more specific data of the settings, our formula provides classifications of anyons compatible with developing categorical formulations. It also provides the massless renormalization group (RG) flows between conformal field theories (CFTs), or a series of measurement-induced quantum phase transitions, in the language of SymTFT, through the established correspondence between CFTs and TQFTs. Moreover, by studying the correspondence between the ideal structure in the massless RG and the module in the related massive RG, one can make the Nambu-Goldstone-type arguments for generalized symmetry. By combining our formula with orbifolding, extension, and similarity transformation, one can get a series of classifications for the corresponding extended models, or symmetry-enriched topological orders and quantum criticalities.

2025-12-25T14:23:15Z 11 pages, 1 figure. Typos are corrected and references are added (v2). Technical details and related references are added (v3) Yoshiki Fukusumi http://arxiv.org/abs/2604.00532v1 2026-04-01T06:22:05Z

We define a Fréchet topology on the space $C^\infty(X)[[\hbar]]$ of formal smooth functions on a symplectic manifold $X$, by constructing a sequence of semi-norms on it. For any star product $\star$ on $C^\infty(X)[[\hbar]]$ making it a formal deformation quantization of $X$, we will show that the quantum product $\star$ is jointly continuous, and making it a Fréchet algebra. We will show a quantum Weierstrass theorem which says quantum polynomials are locally dense in all formal smooth functions. We will also show that the canonical trace of any formal deformation quantization is continuous under this Fréchet topology.

2026-04-01T06:22:05Z Qin Li http://arxiv.org/abs/2403.02490v5 2026-03-31T20:03:53Z

Interpolation polynomials were introduced by Knop--Sahi in type $A$, and Okounkov in type $BC$. They are inhomogeneous polynomials whose top terms are Jack and Macdonald polynomials. Thus the expansion coefficients for the product of two interpolation polynomials, known as Littlewood--Richardson coefficients, generalize the corresponding coefficients for Jack/Macdonald polynomials. Special values of interpolation polynomials, known as binomial coefficients, arise in the binomial type expansions of Jack/Macdonald polynomials and Koornwinder polynomials. We prove a number of results for interpolation polynomials and the associated coefficients. These include positivity and monotonicity results for binomial coefficients, partial positivity results for Littlewood--Richardson coefficients, and weighted sum formulas for both kinds of coefficients. As a special case of our results we obtain a new symmetric function inequality, which establishes a ``duality'' between Jack expansion positivity for symmetric functions, and the containment order on partitions, with respect to the shifted basis $Ω_λ({\bf1}+x;τ)$, where ${\bf1} =(1,\ldots,1)$ and $Ω_λ(x;τ)=P_λ(x;τ)/P_λ({\bf1};τ)$ is the normalized Jack polynomial. Our inequality can be seen as an analog of the inequalities of Cuttler--Greene--Skandera+Sra and Khare--Tao, which establish similar dualities between evaluation positivity on the positive orthant, and the dominance and weak dominance orders on partitions, with respect to the normalized Schur basis $Ω_λ(x)=s_λ(x)/s_λ({\bf1})$ and its shifted version $Ω_λ({\bf1}+x)$, respectively. In contrast to our result, the Jack versions of the two latter inequalities, although expected to hold, have not yet been proved.

2024-03-04T21:21:48Z v5: Section 6.1 is modified; v4: Abstract and introduction are rewritten. v3: Title and abstract are changed; Section 6.1 is extended. v2: Section 6.2 is extended Hong Chen Siddhartha Sahi http://arxiv.org/abs/2509.02843v2 2026-03-31T18:32:58Z

Non-semisimple extensions of the Ising anyon model developed in our previous work enable universal topological quantum computation via braiding alone, overcoming the Clifford-only limitation of semisimple theories. The non-semisimple theory provides new anyon types indexed by a real parameter $α$, the neglecton. Braiding acts unitarily with respect to an indefinite Hermitian form, while the computational subspace sits in a positive-definite sector. We demonstrate that this universality is robust, persisting over an open interval of the neglecton parameter $α$ where the computational subspace remains positive-definite. We identify special values of $α$ where the physical subspace decouples exactly from negative-norm components, ensuring fully unitary evolution and suppressed leakage. We further present an alternative encoding supporting exact single-qubit Clifford gates alongside a non-Clifford phase gate. We show that high-precision tuning of $α$ is not required for efficient gate compilation, significantly enhancing the physical plausibility of non-semisimple anyonic architectures.

2025-09-02T21:23:07Z 25 pages, Tikz figures Physics Review A, 113, 042622, April, 2026 Filippo Iulianelli Sung Kim Joshua Sussan Aaron D. Lauda 10.1103/bwpz-4kgt http://arxiv.org/abs/2604.00124v1 2026-03-31T18:30:04Z

We give an explicit description of the BPS Lie algebra of any quiver with zero potential, by relating the perverse filtration on the cohomological Hall algebra with certain limit conditions on polynomials. Our results also give a partial description of the perverse filtration for arbitrary potential, which we conjecture is complete in the case of tripled quivers with canonical cubic potential.

2026-03-31T18:30:04Z Shivang Jindal Andrei Neguţ http://arxiv.org/abs/2604.00103v1 2026-03-31T18:20:35Z

Here we construct spaces of coinvariants for Heisenberg vertex algebras on abelian varieties and show that these globalize to twisted $\mathscr{D}$-modules on the moduli space of abelian varieties. Remarkably, we recover the standard construction of these sheaves over the Torelli locus. As an example, in the case of commutative Heisenberg vertex algebras we show that the realization of coinvariants on curves as polynomial functions on one-forms extends to arbitrary abelian varieties.

2026-03-31T18:20:35Z 33 pages. Comments are welcome Nicola Tarasca http://arxiv.org/abs/2603.30037v1 2026-03-31T17:46:19Z

Given a family of stable curves, we define a sheaf of factorization algebras associated to any universal factorization algebra, and prove a gluing formula for the corresponding sheaf of chiral homology, generalizing the sheaves of vertex algebras and the associated Verlinde formula for gluing of conformal blocks.

2026-03-31T17:46:19Z Elchanan Nafcha http://arxiv.org/abs/2509.07099v3 2026-03-31T17:28:14Z

We present a general framework for constructing quantum cellular automata (QCA) from topological quantum field theories (TQFT) and invertible subalgebras (ISA) using the cup-product formalism. This approach explicitly realizes all $\mathbb{Z}_2$ and $\mathbb{Z}_p$ Clifford QCAs (for prime $p$) in all admissible dimensions, in precise agreement with the classification predicted by algebraic $L$-theory. We determine the orders of these QCAs by explicitly showing that finite powers reduce to the identity up to finite-depth quantum circuits (FDQC) and lattice translations. In particular, we demonstrate that the $\mathbb{Z}_2$ Clifford QCAs in $(4l{+}1)$ spatial dimensions can be disentangled by non-Clifford FDQCs. Our construction applies beyond cubic lattices, allowing $\mathbb{Z}_2$ QCAs to be defined on arbitrary cellulations. Furthermore, we explicitly construct invertible subalgebras in higher dimensions, obtaining $\mathbb{Z}_2$ ISAs in $2l$ spatial dimensions and $\mathbb{Z}_p$ ISAs in $(4l{-}2)$ spatial dimensions. These ISAs give rise to $\mathbb{Z}_2$ QCAs in $(2l{+}1)$ dimensions and $\mathbb{Z}_p$ QCAs in $(4l{-}1)$ dimensions. We further prove that the QCAs in $3$ spatial dimensions constructed via TQFTs and ISAs are equivalent by identifying their boundary algebras, and show that this approach extends to higher dimensions. Together, these results establish a unified and dimension-periodic framework for Clifford QCAs, connecting their explicit lattice realizations to field theories.

2025-09-08T18:00:13Z Typos fixed. Journal reference updated. Included Mathematica notebook for calculation in Sec. VI PRX Quantum 7, 010362 (2026) Meng Sun Bowen Yang Zongyuan Wang Nathanan Tantivasadakarn Yu-An Chen 10.1103/4519-v15s http://arxiv.org/abs/2603.29985v1 2026-03-31T16:49:36Z

We compute the homotopy groups at each unital abelian C*-algebra $C(T)$ in the Morita $3$-category of abelian C*-algebras, C*-algebras with central maps, C*-correspondences, and adjointable bimodule maps. We describe these groups in terms of the topological data of the underlying compact Hausdorff space $T$. We also compute the actions of the first homotopy group on the second and third homotopy groups in terms of these topological invariants of $T$.

2026-03-31T16:49:36Z 32 pages, comments welcome! Gregory Faurot Giovanni Ferrer