Quantum Algebra
- [1] arXiv:2405.14175 (cross-list from math.RT) [pdf, ps, html, other]
-
Title: Subdivision of KLRW Algebras in Affine Type AComments: Comments welcomedSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
In this paper, we consider the subdivision map between two KLRW algebras of type $A^{(1)}_e$ and $A^{(1)}_{e+1}$. We show that the image of an idempotent indexed by a partition under this map is still an idempotent indexed by a partition, and give the form of this new partition. Moreover, we give an equality of some graded decomposition numbers.
- [2] arXiv:2405.14727 (cross-list from math.GT) [pdf, ps, html, other]
-
Title: Quantized geodesic lengths for Teichm\"uller spaces: algebraic aspectsComments: 74 pagesSubjects: Geometric Topology (math.GT); Mathematical Physics (math-ph); Quantum Algebra (math.QA)
In 1980's H Verlinde suggested to construct and use a quantization of Teichmüller spaces to construct spaces of conformal blocks for the Liouville conformal field theory. This suggestion led to a mathematical formulation by Fock in 1990's, called the modular functor conjecture, based on the Chekhov-Fock quantum Teichmüller theory. In 2000's Teschner combined the Chekhov-Fock version and the Kashaev version of quantum Teichmüller theory to construct a solution to a modified form of the conjecture. We embark on a direct approach to the conjecture based on the Chekhov-Fock(-Goncharov) theory. We construct quantized trace-of-monodromy along simple loops via Bonahon and Wong's quantum trace maps developed in 2010's, and investigate algebraic structures of them, which will eventually lead to construction and properties of quantized geodesic length operators. We show that a special recursion relation used by Teschner is satisfied by the quantized trace-of-monodromy, and that the quantized trace-of-monodromy for disjoint loops commute in a certain strong sense.
- [3] arXiv:2405.14792 (cross-list from hep-th) [pdf, ps, html, other]
-
Title: Tetrahedron Instantons on OrbifoldsComments: 79 pagesSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
Given a homomorphism $\tau$ from a finite group $\mathsf{\Gamma}$ to $\mathsf{SU}(4)$ with image $\mathsf{\Gamma}^\tau$, we construct a cohomological gauge theory on a noncommutative resolution of the quotient singularity $\mathbb{C}^4/\mathsf{\Gamma}^\tau$ whose BRST fixed points are $\mathsf{\Gamma}$-invariant tetrahedron instantons on a generally non-effective orbifold. The partition function computes the expectation values of complex codimension one defect operators in rank $r$ cohomological Donaldson-Thomas theory on a flat gerbe over the quotient stack $[\mathbb{C}^4/\,\mathsf{\Gamma}^\tau]$. We describe the generalized ADHM parametrization of the tetrahedron instanton moduli space, and evaluate the orbifold partition functions through virtual torus localization. If $\mathsf{\Gamma}$ is an abelian group the partition function is expressed as a combinatorial series over arrays of $\mathsf{\Gamma}$-coloured plane partitions, while if $\mathsf{\Gamma}$ is non-abelian the partition function localizes onto a sum over torus-invariant connected components of the moduli space labelled by lower-dimensional partitions. When $\mathsf{\Gamma}=\mathbb{Z}_n$ is a finite abelian subgroup of $\mathsf{SL}(2,\mathbb{C})$, we exhibit the reduction of Donaldson-Thomas theory on the toric Calabi-Yau four-orbifold $\mathbb{C}^2/\,\mathsf{\Gamma}\times\mathbb{C}^2$ to the cohomological field theory of tetrahedron instantons, from which we express the partition function as a closed infinite product formula. We also use the crepant resolution correpondence to derive a closed formula for the partition function on any polyhedral singularity.
Cross submissions for Friday, 24 May 2024 (showing 3 of 3 entries )
- [4] arXiv:2005.11207 (replaced) [pdf, ps, html, other]
-
Title: On coherent Hopf 2-algebrasSubjects: Quantum Algebra (math.QA)
We construct a coherent Hopf 2-algebra as a quantization of coherent 2-group, which consists of two Hopf coquasigroups and a coassociator. We also study quasi coassociative Hopf coquasigroups, which are shown to be coherent Hopf 2-algebras with nontrivial coassociators. As an example, we study functions on a Cayley algebra basis.
- [5] arXiv:2302.12073 (replaced) [pdf, ps, html, other]
-
Title: Hopf algebroids and twists for quantum projective spacesSubjects: Quantum Algebra (math.QA)
We study the relationship between antipodes on a Hopf algebroid $\mathcal{H}$ in the sense of Böhm-Szlachanyi and the group of twists that lies inside the associated convolution algebra. We specialize to the case of a faithfully flat $H$-Hopf-Galois extensions $B\subseteq A$ and related Ehresmann-Schauenburg bialgebroid. In particular, we find that the twists are in one-to-one correspondence with $H$-comodule algebra automorphism of $A$. We work out in detail the $U(1)$-extension ${\mathcal O}(\mathbb{C}P^{n-1}_q)\subseteq {\mathcal O}(S^{2n-1}_q)$ on the quantum projective space and show how to get an antipode on the bialgebroid out of the $K$-theory of the base algebra ${\mathcal O}(\mathbb{C}P^{n-1}_q)$.
- [6] arXiv:2308.14662 (replaced) [pdf, ps, html, other]
-
Title: Noncommutative differential geometry on crossed product algebrasComments: 29 pages, shortened preliminary section, more details on cocycles in section 4, additional referencesSubjects: Quantum Algebra (math.QA); Rings and Algebras (math.RA); Representation Theory (math.RT)
We provide a differential structure on arbitrary cleft extensions $B:=A^{\mathrm{co}H}\subseteq A$ for an $H$-comodule algebra $A$. This is achieved by constructing a covariant calculus on the corresponding crossed product algebra $B\#_\sigma H$ from the data of a bicovariant calculus on the structure Hopf algebra $H$ and a calculus on the base algebra $B$, which is compatible with the $2$-cocycle and measure of the crossed product. The result is a quantum principal bundle with canonical strong connection and we describe the induced bimodule covariant derivatives on associated bundles of the crossed product. It is proven that connections of the quantum principal bundle are in bijection with connection $1$-forms. All results specialize to trivial extensions and smash product algebras $B\#H$ and we give a characterization of the smash product calculus in terms of the differentials of the cleaving map $j\colon H\to A$ and the inclusion $B\hookrightarrow A$. The construction is exemplified for pointed Hopf algebras. In particular, the case of Radford Hopf algebras $H_{(r,n,q)}$ is spelled out in detail.
- [7] arXiv:2310.08545 (replaced) [pdf, ps, html, other]
-
Title: Gauge origami and quiver W-algebrasComments: 149+36 pages, v2: fixed typos and added references, published versionSubjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)
We explore the quantum algebraic formalism of the gauge origami system in $\mathbb{C}^{4}$, where D2/D4/D6/D8-branes are present. We demonstrate that the contour integral formulas have free field interpretations, leading to the operator formalism of $qq$-characters associated with each D-brane. The $qq$-characters of D2 and D4-branes correspond to screening charges and generators of the affine quiver W-algebra, respectively. On the other hand, the $qq$-characters of D6 and D8-branes represent novel types of $qq$-characters, where monomial terms are characterized by plane partitions and solid partitions. The composition of these $qq$-characters yields the instanton partition functions of the gauge origami system, eventually establishing the BPS/CFT correspondence.
Additionally, we demonstrate that the fusion of $qq$-characters of D-branes in lower dimensions results in higher-dimensional D-brane $qq$-characters. We also investigate quadratic relations among these $qq$-characters. Furthermore, we explore the relationship with the representations, $q$-characters, and the Bethe ansatz equations of the quantum toroidal $\mathfrak{gl}_{1}$. This connection provides insights into the Bethe/Gauge correspondence of the gauge origami system from both gauge-theoretic and quantum-algebraic perspectives.
We finally present conjectures regarding generalizations to general toric Calabi-Yau four-folds. These generalizations imply the existence of an extensive class of $qq$-characters, which we call BPS $qq$-characters. These BPS $qq$-characters offer a new systematic approach to derive a broader range of BPS/CFT correspondence and Bethe/Gauge correspondence. - [8] arXiv:2312.16296 (replaced) [pdf, ps, html, other]
-
Title: Non-Chiral Vertex Operator Algebra Associated To Lorentzian Lattices And Narain CFTsComments: 100 Pages, Comments are welcome! v2:minor corrections and clarificationsSubjects: High Energy Physics - Theory (hep-th); Quantum Algebra (math.QA)
Frenkel, Lepowsky, and Meurman constructed a vertex operator algebra (VOA) associated to any even, integral, Euclidean lattice. In the language of physics, these are examples of chiral conformal field theories (CFT). In this paper, we define non-chiral vertex operator algebra and some associated notions. We then give a construction of a non-chiral VOA associated to an even, integral, Lorentzian lattice and construct their irreducible modules. We obtain the moduli space of such modular invariant non-chiral CFTs based on even, self-dual Lorentzian lattices of signature $(m,n)$ assuming the validity of a technical result about automorphisms of the lattice. We finally show that Narain conformal field theories in physics are examples of non-chiral VOA. Our formalism helps us to identify the chiral algebra of Narain CFTs in terms of a particular sublattice and give us the decomposition of its partition function into sum of characters.
- [9] arXiv:2402.00487 (replaced) [pdf, ps, html, other]
-
Title: A note on the quantum Berezinian for the double Yangian of the Lie superalgebra $\mathfrak{gl}_{m|n}$Comments: 12 pages, minor changes and correctionsSubjects: Representation Theory (math.RT); Quantum Algebra (math.QA)
In this note, we generalize the notion of quantum Berezinian to the double Yangian ${\rm DY}(\mathfrak{gl}_{m|n})$ of the Lie superalgebra $\mathfrak{gl}_{m|n}$. We show that its coefficients form a family of algebraically independent topological generators of the center of ${\rm DY}(\mathfrak{gl}_{m|n})$.