https://arxiv.org/api/PogJVD+OruS6tdUH4K1j/nyQ18U 2026-06-14T03:15:06Z 20897 210 15 http://arxiv.org/abs/2605.04668v1 2026-05-06T09:18:27Z

Let $\mathfrak{g}$ be a basic classical Lie superalgebra, $\mathcal{k}=\frac{h^{\vee}}{u}-h^{\vee}$ a boundary admissible level of $\widehat{\mathfrak{g}}$, where $u$ is a positive integer and $h^{\vee}$ is the dual Coxeter number of $\mathfrak{g}$. In this paper, we classify the irreducible ordinary modules for the affine vertex operator superalgebra $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$ associated to any basic classical Lie superalgebra $\mathfrak{g}$. More specifically, if $\mathfrak{g}$ is a basic classical Lie superalgebra of type I, we prove that $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$ has exactly $u$ inequivalent irreducible ordinary modules. If $\mathfrak{g}$ is a finite dimensional simple Lie algebra or a basic classical Lie superalgebra of type II, we prove that $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$ itself is the only irreducible ordinary $L_{\widehat{\mathfrak{g}}}(\mathcal{k},0)$-module.

2026-05-06T09:18:27Z 20 pages Haimin Li Qing Wang http://arxiv.org/abs/2506.01613v2 2026-05-06T06:04:04Z

The Howe duality between quantum general linear supergroups was firstly established by Y. Zhang via quantum coordinate superalgebras. In this paper, we provide two other approaches to this Howe duality. One is constructed by quantum differential operators, while the other is based on the Beilinson-Lusztig-MacPherson realization of $U_q(\mathfrak{gl}_{m|n})$. Moreover, we show that these three approaches are equivalent by giving their action formulas explicitly.

2025-06-02T12:54:37Z 22 pages Li Luo Xirui Yu Zhongguo Zhou http://arxiv.org/abs/2412.20333v3 2026-05-06T01:22:15Z

Motivated by (perturbative) quantum observables in Lorentzian signature we define a new operad: the operad of causally disjoint disks. In order to describe this operad we use the orthogonal categories of Benini, Schenkel, and Woike and the prefactorization functor of Benini, Carmona, Grant-Stuart, and Schenkel. Along the way we extend these constructions to the topological setting, i.e., (multi-)categories enriched over spaces.

2024-12-29T03:24:01Z v3: minor changes Ryan Grady http://arxiv.org/abs/2605.04303v1 2026-05-05T21:10:04Z

We define and study two new classes of algebras, called higher-level affine wreath product algebras and higher-level affine Frobenius Hecke algebras. They depend on a Frobenius superalgebra and are defined, respectively, as path algebras of the higher-level affine wreath product category and higher-level affine Frobenius Hecke category. Our constructions produce a broad range of new higher-level algebras under a unified framework. Special cases include higher-level analogues of the degenerate affine Hecke algebra and affine Sergeev algebras, both of which appear to be new.

2026-05-05T21:10:04Z 30 pages Thomas Moran http://arxiv.org/abs/2507.12328v2 2026-05-05T18:48:39Z

We develop a diagrammatic approach to the representation theory of the quantum symmetric pairs corresponding to orthosymplectic Lie superalgebras inside general linear Lie superalgebras. Our approach is based on the disoriented skein category, which we define as a module category over the framed HOMFLYPT skein category. The disoriented skein category admits full incarnation functors to the categories of modules over the iquantum enveloping algebras corresponding to the quantum symmetric pairs, and it can be viewed as an interpolating category for these categories of modules. We define an equivalence of module categories between the disoriented skein category and the iquantum Brauer category (also known as the $q$-Brauer category), after endowing the latter with the structure of a module category over the framed HOMFLYPT skein category. The disoriented skein category has some advantages over the iquantum Brauer category, possessing duality structure and allowing the incarnation functors to be strict morphisms of module categories. Finally, we construct explicit bases for the morphism spaces of the disoriented skein and iquantum Brauer categories.

2025-07-16T15:22:15Z 38 pages; v2: Contains some corrections relative to the published version Forum of Mathematics, Sigma 14 (2026) e11 Hadi Salmasian Alistair Savage Yaolong Shen 10.1017/fms.2025.10148 http://arxiv.org/abs/2605.04151v1 2026-05-05T18:00:05Z

High-rate bivariate bicycle (BB) codes are promising low-overhead quantum memories, but their stabilizer checks typically have weight $6$ or higher, making syndrome extraction challenging. We introduce subsystem bivariate bicycle (SBB) codes, a translation-invariant CSS subsystem construction that realizes BB-code logical structure using local weight-$4$ gauge measurements. Their stabilizer syndromes are inferred by multiplying the corresponding gauge outcomes. We further show that nonlocal stabilizers in translation-invariant CSS subsystem codes can be detected using a determinantal-ideal criterion based on the gauge-operator commutation matrix. When this criterion excludes nonlocal stabilizers, a finite-depth Clifford circuit decouples gauge qubits and identifies the protected subsystem with a corresponding BB stabilizer code. An SBB code is topological, meaning that it has no nontrivial local logical operators, if and only if the corresponding BB code is topological. A finite search yields low-overhead examples including $[[27,6,3]]$, $[[75,10,5]]$, and $[[108,12,6]]$; the latter encodes six times more logical qubits than a subsystem surface code at the same block length and distance. These results show how gauge degrees of freedom can make high-rate BB logical structure compatible with local weight-$4$ syndrome extraction.

2026-05-05T18:00:05Z 7+29 pages, 3+2 figures Zijian Liang Yu-An Chen http://arxiv.org/abs/2405.15648v3 2026-05-05T16:05:38Z

We explore topological manipulations in one spatial dimension, which are defined for a system with a global symmetry and map the system to another one with a dual symmetry. In particular, we discuss fusion category symmetries enhanced by the invariance of the actions of topological manipulations, i.e., self-$G$-alities for topological manipulations. Based on the self-$G$-ality conditions, we provide LSM-type constraints on the ground states of many-body Hamiltonians. We clarify the relationship between different enhanced symmetries and how they are further enhanced when they meet. We explore concrete lattice models for such self-$G$-alities and identify how the self-$G$-ality structures match the IR critical theories.

2024-05-24T15:40:01Z 15 pages, v2: fixed errata and updated App. D, v3: (almost) published version; title changed for consistency with the published version Phys. Rev. B 113, 155144 (2026) Takamasa Ando 10.1103/rqny-svlk http://arxiv.org/abs/2605.03798v1 2026-05-05T14:25:30Z

By extending some classical results known for groups and skew braces, we define and investigate central series of cocommutative Hopf braces. Both left and right central series are defined using a $\star$-product that measures the difference between the two algebra operations, and naturally leads to introducing the notions of socle and of annihilator of a cocommutative Hopf brace. We characterize the central extensions relative to the subcategories of cocommutative Hopf algebras and of commutative and cocommutative Hopf algebras, respectively. Since the category of cocommutative Hopf braces is semi-abelian and it has enough projectives with respect to the class of cleft extensions, one can then establish suitable Hopf formulae for their homology. These are expressed in terms of the corresponding notions of relative commutators of cocommutative Hopf braces. In particular, the one relative to the subcategory of commutative and cocommutative Hopf algebras turns out to be the Huq commutator.

2026-05-05T14:25:30Z 14 pages Maria Bevilacqua Marino Gran Andrea Sciandra http://arxiv.org/abs/2605.03708v1 2026-05-05T12:55:15Z

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double category of bordisms, with bordisms as horizontal morphisms and smooth embeddings of manifolds as vertical morphisms. The target of the modular functor is a double category with profunctors and functors as horizontal and vertical morphisms. The correlators and field functors for a conformal field theory based on a pivotal monoidal category $\mathcal C$ can then be understood in the unified setting of a vertical transformation between the modular functors for two pointed pivotal bicategories, the delooping of $\mathcal C$ and the bicategory of $Δ$-separable symmetric Frobenius algebras in $\mathcal C$. Using skein theoretic methods, we show that this vertical transformation is an equivalence, which implies that field functors are equivalences of categories and that universal correlators are isomorphisms of vector spaces.

2026-05-05T12:55:15Z Jürgen Fuchs Christoph Schweigert Yang Yang http://arxiv.org/abs/2302.11420v3 2026-05-05T12:07:53Z

In this paper, we consider a notion of a higher version of the relation between Courant-Dorfman algebras and Poisson vertex algebras. We define a higher Courant-Dorfman algebra, and study the relationship with graded symplectic geometry. In particular, we give graded Poisson algebras of degree $-n$ in the non-degenerate case. For higher Courant-Dorfman algebras coming from finite-dimensional vector bundles, they coincide with the algebras of functions of the associated differential-graded(dg) symplectic manifolds of degree $n$. We define a higher Lie conformal algebra and Poisson vertex algebra, and give a higher (weak) Courant-Dorfman algebraic structure arising from them. Moreover, we prove that the higher Lie conformal algebras and higher Poisson vertex algebras have properties like Lie conformal algebras and Poisson vertex algebras. As an example, we obtain an algebraic description of Batalin-Fradkin-Vilkovisky(BFV) current algebras.

2023-02-22T14:56:13Z 28 pages, significantly revised Journal of Geometry and Physics Volume 227, 2026 Ryo Hayami 10.1016/j.geomphys.2026.105870 http://arxiv.org/abs/2604.23232v2 2026-05-05T09:27:08Z

We investigate the metric structure of nonassociative $\mathrm{L}^p$-spaces associated with tracial $\mathrm{JW}^*$-algebras. While noncommutative $\mathrm{L}^p$-spaces arising from von Neumann algebras enjoy a unique natural norm, the situation in the Jordan setting is more subtle. We compare two canonical definitions: the interpolation norm, arising from the complex method between the algebra and its predual, and the spectral norm, defined with the trace. We show that these two norms are equivalent but generally not isometric for $p \neq 2$, even in the associative case of nonabelian von Neumann algebras when viewed through the Jordan product, thereby answering an open question raised by the first author in a previous paper. We further analyze the geometry of these spaces in concrete examples as complex spin factors or the complexified Albert algebra. Finally, we discuss the relevance of these results to generalized probabilistic theories (GPTs), where Jordan structures arise naturally, and explain why $\mathrm{JBW}$-algebras and their preduals provide a natural framework for such models.

2026-04-25T09:59:05Z 43 pages Cédric Arhancet Lei Li http://arxiv.org/abs/2605.03453v1 2026-05-05T07:36:05Z

We introduce a system of axioms that uniquely defines an (infinity,d)-category of bordisms equipped with geometric data. The underlying manifolds of these bordisms may be smooth, complex, super, or formal smooth manifolds, as well as any class of manifolds satisfying conditions specified in this paper. We develop a general notion of a field on a manifold, encompassing structures such as Riemannian metrics, principal bundles with connection, conformal structures, and traditional tangential structures. Using this framework, we construct a symmetric monoidal (infinity,d)-category of bordisms with prescribed underlying manifolds and fields, and prove that it satisfies our axioms.

2026-05-05T07:36:05Z 79 pages. v1: Split off from arXiv:2011.01208 for publication purposes and rewritten Daniel Grady Dmitri Pavlov http://arxiv.org/abs/2412.02680v3 2026-05-05T02:43:24Z

We introduce a family of dualities between certain non-supersymmetric self-dual gauge theories on a large class of $4d$ self-dual asymptotically flat backgrounds, and the large $N$ limit of an independently defined $2d$ chiral defect CFT. Our construction goes via twisted holography for the type I topological string on a Calabi-Yau five-fold which fibres over twistor space. In particular, we show that single-trace operators of the $2d$ defect CFT are in bijection with states of the celestial chiral algebra. We match the operator products of these states with the collinear splitting amplitudes of the self-dual gauge theory up to one-loop. Assigning vacuum expectations to central operators in the boundary theory computes bulk amplitudes on self-dual backgrounds. We are able to extract form factors from these amplitudes, which we use to give a simple closed formula for certain $n$-point two-loop all $+$ amplitudes in $\mathrm{SU}(K) \times \mathrm{SU}(R)$ gauge theory coupled to bifundamental massless fermions.

2024-12-03T18:53:48Z 122 pages + 18 page appendix, 22 figures; v2: computational error pointed out by Anthony Morales corrected; v3: published in CIMP CIMP 407 (2026) 108 Roland Bittleston Kevin Costello Keyou Zeng 10.1007/s00220-026-05606-4 http://arxiv.org/abs/2605.03113v1 2026-05-04T19:49:57Z

Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories carry two tensor products, with structural morphisms given by associators and distributors relating the two tensor products. In several examples, including Grothendieck--Verdier categories, also known as $\ast$-autonomous categories, these distributors need not be invertible. We give a self-contained proof that linearly distributive categories without units are coherent, while units may obstruct coherence. With the same techniques, we also establish an analogous coherence result for Frobenius linearly distributive functors without units. These results admit a reformulation in terms of directed paths in associahedra and multiplihedra.

2026-05-04T19:49:57Z 37 pages, comments welcome Max Demirdilek Christian Reiher Christoph Schweigert http://arxiv.org/abs/2605.02994v1 2026-05-04T17:56:08Z

This article describes the use of Claude CLI and its Opus 4.6 model, as a tool for writing an entirely AI-generated mathematics research paper. The resulting paper is comparable in scope and quality to papers previously produced by advanced undergraduate students in eight-week summer REU programs advised by the author. The main result is a new explicit formula for a central element of $U_q(\mathfrak{so}_{12})$, which can be used for an interacting particle system with Markov duality. Using SageMath and a sparse PBW-basis pairing matrix that admits symbolic inversion, Claude reduced the central-element computation by several orders of magnitude: a calculation that took 60 hours in a 2023 Python implementation completed in under a minute on a laptop. The article reflects on the implications for undergraduate research mentorship: if generative AI can now produce research of REU caliber, advisors must select problems that better demonstrate the qualities valued by graduate admissions committees. Limitations including poor runtime estimates and literal handling of differing mathematical conventions are documented.

2026-05-04T17:56:08Z Jeffrey Kuan