More Like this

1. Cosets of Free Field Algebras via Arc Spaces

   https://doi.org/10.1093/imrn/rnac367  

   Linshaw, Andrew_R; Song, Bailin (January 2023, International Mathematics Research Notices)

   Abstract Using the invariant theory of arc spaces, we find minimal strong generating sets for certain cosets of affine vertex algebras inside free field algebras that are related to classical Howe duality. These results have several applications. First, for any vertex algebra $${{\mathcal {V}}}$$, we have a surjective homomorphism of differential algebras $$\mathbb {C}[J_{\infty }(X_{{{\mathcal {V}}}})] \rightarrow \text {gr}^{F}({{\mathcal {V}}})$$; equivalently, the singular support of $${{\mathcal {V}}}$$ is a closed subscheme of the arc space of the associated scheme $$X_{{{\mathcal {V}}}}$$. We give many new examples of classically free vertex algebras (i.e., this map is an isomorphism), including $$L_{k}({{\mathfrak {s}}}{{\mathfrak {p}}}_{2n})$$ for all positive integers $$n$$ and $$k$$. We also give new examples where the kernel of this map is nontrivial but is finitely generated as a differential ideal. Next, we prove a coset realization of the subregular $${{\mathcal {W}}}$$-algebra of $${{\mathfrak {s}}}{{\mathfrak {l}}}_{n}$$ at a critical level that was previously conjectured by Creutzig, Gao, and the 1st author. Finally, we give some new level-rank dualities involving affine vertex superalgebras. 

   more » « less
2. Root of unity quantum cluster algebras and discriminants

   https://doi.org/10.1112/jlms.70060  

   Nguyen, Bach; Trampel, Kurt; Yakimov, Milen (January 2025, Journal of the London Mathematical Society)

   Abstract We describe a connection between the subjects of cluster algebras, polynomial identity algebras, and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac, and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we obtain an explicit formula for the discriminant of the integral form over of each quantum unipotent cell of De Concini, Kac, and Procesi for arbitrary symmetrizable Kac–Moody algebras, where is a root of unity. 

   more » « less
3. DHR bimodules of quasi-local algebras and symmetric quantum cellular automata

   https://doi.org/10.4171/QT/216  

   Jones, Corey (October 2024, Quantum Topology)

   For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show that it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a latticeL\subseteq \mathbb{R}^{n}satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebrasAof operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric QCA to\mathbf{Aut}_{\mathrm{br}}(\mathbf{DHR}(A)), containing symmetric finite-depth circuits in the kernel. For a spin chain with fusion categorical symmetry\mathcal{D}, we show that the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center\mathcal{Z}(\mathcal{D}). We use this to show that, for the double spin-flip action\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\curvearrowright \mathbb{C}^{2}\otimes \mathbb{C}^{2}, the group of symmetric QCA modulo symmetric finite-depth circuits in 1D contains a copy ofS_{3}; hence, it is non-abelian, in contrast to the case with no symmetry. 

   more » « less
4. Defining relations of quantum symmetric pair coideal subalgebras

   https://doi.org/10.1017/fms.2021.61  

   Kolb, Stefan; Yakimov, Milen (January 2021, Forum of Mathematics, Sigma)

   Abstract We explicitly determine the defining relations of all quantum symmetric pair coideal subalgebras of quantised enveloping algebras of Kac–Moody type. Our methods are based on star products on noncommutative $${\mathbb N}$$ -graded algebras. The resulting defining relations are expressed in terms of continuous q -Hermite polynomials and a new family of deformed Chebyshev polynomials. 

   more » « less
5. Random Interpolating Sequences in the Polydisc and the Unit Ball

   https://doi.org/10.1007/s40315-022-00448-2  

   Dayan, Alberto; Wick, Brett D.; Wu, Shengkun (March 2023, Computational Methods and Function Theory)

   Abstract We study almost surely separating and interpolating properties of random sequences in the polydisc and the unit ball. In the unit ball, we obtain the 0–1 Komolgorov law for a sequence to be interpolating almost surely for all the Besov–Sobolev spaces $$B_{2}^{\sigma }\left( \mathbb {B}_{d}\right) $$ B 2 σ B d , in the range $$0 < \sigma \le 1 / 2$$ 0 < σ ≤ 1 / 2 . For those spaces, such interpolating sequences coincide with interpolating sequences for their multiplier algebras, thanks to the Pick property. This is not the case for the Hardy space $$\mathrm {H}^2(\mathbb {D}^d)$$ H 2 ( D d ) and its multiplier algebra $$\mathrm {H}^\infty (\mathbb {D}^d)$$ H ∞ ( D d ) : in the polydisc, we obtain a sufficient and a necessary condition for a sequence to be $$\mathrm {H}^\infty (\mathbb {D}^d)$$ H ∞ ( D d ) -interpolating almost surely. Those two conditions do not coincide, due to the fact that the deterministic starting point is less descriptive of interpolating sequences than its counterpart for the unit ball. On the other hand, we give the $$0-1$$ 0 - 1 law for random interpolating sequences for $$\mathrm {H}^2(\mathbb {D}^d)$$ H 2 ( D d ) . 

   more » « less