CyberSec Research

We use deformation sequences of (Hopf) algebras, extending the results of Negron and Pevtsova, to show that bosonizations of some suitable braided Hopf algebras by some suitable finite-dimensional Hopf algebras have finitely generated cohomology. In fact, our results are shown in more generality for smash products. As applications, we prove the bosonizations of some Nichols algebras (such as Nichols algebras of diagonal type, the restricted Jordan plane, Nichols algebras of direct sums of Jordan blocks plus points labeled with 1), by some suitable finite-dimensional Hopf algebras, have finitely generated cohomology, recovering some known results as well as providing new examples.

We revisit the question of whether the Crane-Yetter topological quantum field theory (TQFT) associated to a modular tensor category admits a fully extended refinement. More specifically, we use tools from stable homotopy theory to classify extensions of invertible four-dimensional TQFTs to theories valued in symmetric monoidal 4-categories whose Picard spectrum has nontrivial homotopy only in degrees 0 and 4. We show that such extensions are classified by two pieces of data: an equivalence class of an invertible object in the target and a sixth root of unity. Applying this result to the 4-category $\mathbf{BrFus}$ of braided fusion categories, we find that there are infinitely many equivalence classes of fully extended invertible TQFTs reproducing the Crane-Yetter partition function on top-dimensional manifolds, parametrized by a $\mathbb{Z}/6$-extension of the Witt group of nondegenerate braided fusion categories. This analysis clarifies common claims in the literature and raises the question of how to naturally pick out the $SO(4)$-fixed point data on the framed TQFT which assigns the input braided fusion category to the point so that it selects the Crane-Yetter state-sum.

We solve two open problems of Valeriy Bardakov about Cayley graphs of racks and graph-theoretic realizations of right quasigroups. We also extend Didier Caucal's classification of labeled Cayley digraphs to right quasigroups and related algebraic structures like quandles. First, we characterize markings of graphs that realize racks. As an application, we construct rack-theoretic (di)graph invariants from permutation representations of graph automorphism groups. We describe how to compute these invariants with general results for path graphs and cycle graphs. Second, we show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs. Finally, we give a graph-theoretic characterization of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei.

In this paper, we aim to study abelian extensions for some infinite group. We show that the Hopf algebra $\Bbbk^G{}^\tau\#_{\sigma}\Bbbk F$ constructed through abelian extensions of $\Bbbk F$ by $\Bbbk^G$ for some (infinite) group $F$ and finite group $G$ is cosemisimple, and discuss when it admits a compact quantum group structure if $\Bbbk$ is the field of complex numbers $\mathbb{C}.$ We also find all the simple $\Bbbk^G{}^\tau\#_{\sigma}\Bbbk F$-comodules and attempt to determine the Grothendieck ring of the category of finite-dimensional right $\Bbbk^G{}^\tau\#_{\sigma}\Bbbk F$-comodules. Moreover, some new properties are given and some new examples are constructed.

We construct new classical Goppa codes and corresponding quantum stabilizer codes from plane curves defined by separated polynomials. In particular, over $\mathbb{F}_3$ with the Hermitian curve $y^3 + y = x^4$, we obtain a ternary code of length 27, dimension 13, distance 4, which yields a [[27, 13, 4]]$_3$ quantum code. To decode, we introduce an RL-on-Greedy algorithm: first apply a standard greedy syndrome decoder, then use a trained Deep Q-Network to correct any residual syndrome. Simulation under a depolarizing noise model shows that RL-on-Greedy dramatically reduces logical failure compared to greedy alone. Our work thus broadens the class of Goppa- and quantum-stabilizer codes from separated-polynomial curves and delivers a learned decoder with near-optimal performance.

We revisit the Holographic duality between $SU(N)_\kappa$ Chern-Simons theory and the A-model Topological String Theory. We develop a strategy to systematically compute the large $N$ saddles for correlation functions of Wilson lines in antisymmetric powers $\Lambda^\bullet \mathbb{C}^N$ of the fundamental representation. The mathematical structures which appear in the calculation match in detail the data of dual A-model D-branes.

We present several related examples of Hopf algebroids over a universal enveloping algebra which are of the scalar extension Hopf algebroid type and explain their origin in Lie and algebraic group theory.

We show the strong graded locality of all unitary minimal W-algebras, so that they give rise to irreducible graded-local conformal nets. Among these unitary vertex superalgebras, up to taking tensor products with free fermion vertex superalgebras, there are the unitary Virasoro vertex algebras (N=0) and the unitary N=1,2,3,4 super-Virasoro vertex superalgebras. Accordingly, we have a uniform construction that gives, besides the already known N=0,1,2 super-Virasoro nets, also the new N=3,4 super-Virasoro nets. All strongly rational unitary minimal W-algebras give rise to previously known completely rational graded-local conformal nets and we conjecture that the converse is also true. We prove this conjecture for all unitary W-algebras corresponding to the N=0,1,2,3,4 super-Virasoro vertex superalgebras.

We consider a 2-homogeneous bipartite distance-regular graph $\Gamma$ with diameter $D \geq 3$. We assume that $\Gamma$ is not a hypercube nor a cycle. We fix a $Q$-polynomial ordering of the primitive idempotents of $\Gamma$. This $Q$-polynomial ordering is described using a nonzero parameter $q \in \mathbb C$ that is not a root of unity. We investigate $\Gamma$ using an $S_3$-symmetric approach. In this approach one considers $V^{\otimes 3} = V \otimes V \otimes V$ where $V$ is the standard module of $\Gamma$. We construct a subspace $\Lambda$ of $V^{\otimes 3}$ that has dimension $\binom{D+3}{3}$, together with six linear maps from $\Lambda$ to $\Lambda$. Using these maps we turn $\Lambda$ into an irreducible module for the nonstandard quantum group $U^\prime_q(\mathfrak{so}_6)$ introduced by Gavrilik and Klimyk in 1991.

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.

We invesigate the relation between projective and anomalous representations of categories, and show how to any anomaly $J\colon \mathcal{C}\to 2\mathrm{Vect}$ one can associate an extension $\mathcal{C}^J$ of $\mathcal{C}$ and a subcategory $\mathcal{C}^J_{\mathrm{ST}}$ of $\mathcal{C}^J$ with the property that: (i) anomalous representations of $\mathcal{C}$ with anomaly $J$ are equivalent to $\mathrm{Vect}$-linear functors $E\colon \mathcal{C}^J\to \mathrm{Vect}$, and (ii) these are in turn equivalent to linear representations of $\mathcal{C}^J_{\mathrm{ST}}$ where "$J$ acts as scalars". This construction, inspired by and generalizing the technique used to linearize anomalous functorial field theories in the physics literature, can be seen as a multi-object version of the classical relation between projective representations of a group $G$, with given $2$-cocycle $\alpha$, and linear representations of the central extension $G^\alpha$ of $G$ associated with $\alpha$.

We explore the relation of the super Macdonald polynomials and the BPS state counting on the blow-up of $\mathbb{P}^2$, which is mathematically described by framed stable perverse coherent sheaves. Fixed points of the torus action on the moduli space of BPS states are labeled by super partitions. From the equivariant character of the tangent space at the fixed points we can define the Nekrasov factor for a pair of super partitions, which is used for the localization computation of the partition function. The Nekrasov factor also allows us to compute matrix elements of the action of the quantum toroidal algebra of type $\mathfrak{gl}_{1|1}$ on the $K$ group of the moduli space. We confirm that these matrix elements are consistent with the Pieri rule of the super Macdonald polynomial.

Let $V$ be a vertex algebra and $g$ an automorphism of $V$ of order $T$. We construct a sequence of associative algebras $\tilde{A}_{g,n}(V )$ for any $n\in(1/T)\mathbb{N}$, which are not depend on the conformal structure of $V$. We show that for a vertex operator algebra, $g$-rationality, $g$-regularity, and twisted fusion rules are independent of the choice of the conformal vector.

Let ${\mathbf U}_q^-$ be the negative half of a quantum group of finite type. Let $P$ be the transition matrix between the canonical basis and a PBW basis of ${\mathbf U}_q^-$. In the case ${\mathbf U}_q^-$ is symmetric, Antor gave a simple algorithm of computing $P$ by making use of monomial bases. By the folding theory, ${\mathbf U}_q^-$ (symmetric, with a certain automorphism) is related to a quantum group $\underline{{\mathbf U}}_q^-$ of non-symmetric type. In this paper, we extend the results of Antor to the non-symmetric case, and discuss the relationship between the algorithms for ${\mathbf U}_q^-$ and for $\underline{\mathbf U}_q^-$.

Double Poisson brackets, introduced by M. Van den Bergh in 2004, are noncommutative analogs of the usual Poisson brackets in the sense of the Kontsevich-Rosenberg principle: they induce Poisson structures on the space of $N$-dimensional representations $\operatorname{Rep}_N(A)$ of an associative algebra $A$ for any $N$. The problem of deformation quantization of double Poisson brackets was raised by D. Calaque in 2010, and had remained open since then. In this paper, we address this problem by answering the question in the title. We present a structure on $A$ that induces a star-product under the representation functor and, therefore, according to the Kontsevich-Rosenberg principle, can be viewed as an analog of star-products in noncommutative geometry. We also provide an explicit example for $A=\Bbbk\langle x_1,\ldots,x_d\rangle$ and prove a double formality theorem in this case. Along the way, we invert the Kontsevich-Rosenberg principle by introducing a notion of double algebra over an arbitrary operad.

We study the (extended) orthogonal Yangians associated to the Lie algebras types $B$ and $D$ over a field of positive characteristic. We define the $p$-center for the Yangians and obtain an explicit description of the center in terms of Drinfeld generators, showing that the center is generated by its Harish-Chandra center together with a large $p$-center.

Joyce vertex algebras are vertex algebra structures defined on the homology of certain $\mathbb{C}$-linear moduli stacks, and are used to express wall-crossing formulae for Joyce's homological enumerative invariants. This paper studies the generalization of this construction to settings that come from non-linear enumerative problems. In the special case of orthosymplectic enumerative geometry, we obtain twisted modules for Joyce vertex algebras. We expect that our construction will be useful for formulating wall-crossing formulae for enumerative invariants for non-linear moduli stacks. We include several variants of our construction that apply to different flavours of enumerative invariants, including Joyce's homological invariants, DT4 invariants, and a version of $K$-theoretic enumerative invariants.

We present algorithms to compute generalized root systems of Nichols algebras of diagonal type and of contragredient Lie superalgebras. As a consequence, we obtain an algorithm to compute the Lyndon words in the Kharchenko PBW basis associated to each positive root, along with their corresponding hyperwords. This data is essential for obtaining a minimal presentation of Nichols algebras of diagonal type with a finite root system.