More Like this

1. Quantum group intertwiner space from quantum curved tetrahedron

   https://doi.org/10.1088/1361-6382/ad5f71  

   Han, Muxin; Hsiao, Chen-Hung; Pan, Qiaoyin (July 2024, Classical and Quantum Gravity)

   In this paper, we develop a quantum theory of homogeneously curved tetrahedron geometry, by applying the combinatorial quantization to the phase space of tetrahedron shapes defined in Haggard et al (2016 Ann. Henri Poincaré 17 2001–48). Our method is based on the relation between this phase space and the moduli space of SU(2) flat connections on a 4-punctured sphere. The quantization results in the physical Hilbert space as the solution of the quantum closure constraint, which quantizes the classical closure condition $M_4{M}_3{M}_2{M}_1=1$, $M_{\nu }\in \mathrm{SU}\left(2\right)$, for the homogeneously curved tetrahedron. The quantum group $U_q\left(\mathfrak{su}\right(2\left)\right)$emerges as the gauge symmetry of a quantum tetrahedron. The physical Hilbert space of the quantum tetrahedron coincides with the Hilbert space of 4-valent intertwiners of $U_q\left(\mathfrak{su}\right(2\left)\right)$. In addition, we define the area operators quantizing the face areas of the tetrahedron and compute the spectrum. The resulting spectrum is consistent with the usual Loop-Quantum-Gravity area spectrum in the large spin regime but is different for small spins. This work closely relates to 3+1 dimensional Loop Quantum Gravity in presence of cosmological constant and provides a justification for the emergence of quantum group in the theory. 

   more » « less
2. Ordinary modules for vertex algebras of 𝔬𝔰𝔭 _1|2𝑛

   https://doi.org/10.1515/crelle-2024-0060  

   Creutzig, Thomas; Genra, Naoki; Linshaw, Andrew (August 2024, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract We show that the affine vertex superalgebra $V^k\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2n}\right)$V^{k}(\mathfrak{osp}_{1|2n})at generic level 𝑘 embeds in the equivariant 𝒲-algebra of $\mathfrak{s}{\mathfrak{p}}_{2n}$\mathfrak{sp}_{2n}times $4n$4nfree fermions.This has two corollaries:(1) it provides a new proof that, for generic 𝑘, the coset $\mathrm{Com}(V^k\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right),V^k\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2n}\right))$\operatorname{Com}(V^{k}(\mathfrak{sp}_{2n}),V^{k}(\mathfrak{osp}_{1|2n}))is isomorphic to ${\mathcal{W}}^{\mathrm{\ell }}\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right)$\mathcal{W}^{\ell}(\mathfrak{sp}_{2n})for $\mathrm{\ell }=-\left(n+1\right)+\left(k+n+1\right)/\left(2k+2n+1\right)$\ell=-(n+1)+(k+n+1)/(2k+2n+1), and(2) we obtain the decomposition of ordinary $V^k\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2n}\right)$V^{k}(\mathfrak{osp}_{1|2n})-modules into $V^k\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right)\otimes {\mathcal{W}}^{\mathrm{\ell }}\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right)$V^{k}(\mathfrak{sp}_{2n})\otimes\mathcal{W}^{\ell}(\mathfrak{sp}_{2n})-modules.Next, if 𝑘 is an admissible level and ℓ is a non-degenerate admissible level for $\mathfrak{s}{\mathfrak{p}}_{2n}$\mathfrak{sp}_{2n}, we show that the simple algebra $L_k\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2n}\right)$L_{k}(\mathfrak{osp}_{1|2n})is an extension of the simple subalgebra $L_k\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right)\otimes {\mathcal{W}}_{\mathrm{\ell }}\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right)$L_{k}(\mathfrak{sp}_{2n})\otimes{\mathcal{W}}_{\ell}(\mathfrak{sp}_{2n}).Using the theory of vertex superalgebra extensions, we prove that the category of ordinary $L_k\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2n}\right)$L_{k}(\mathfrak{osp}_{1|2n})-modules is a semisimple, rigid vertex tensor supercategory with only finitely many inequivalent simple objects.It is equivalent to a certain subcategory of ${\mathcal{W}}_{\mathrm{\ell }}\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right)$\mathcal{W}_{\ell}(\mathfrak{sp}_{2n})-modules.A similar result also holds for the category of Ramond twisted modules.Due to a recent theorem of Robert McRae, we get as a corollary that categories of ordinary $L_k\left(\mathfrak{s}{\mathfrak{p}}_{2n}\right)$L_{k}(\mathfrak{sp}_{2n})-modules are rigid. 

   more » « less
3. Braid group action and quasi-split affine 𝚤quantum groups I

   https://doi.org/10.1090/ert/657  

   Lu, Ming; Wang, Weiqiang; Zhang, Weinan (October 2023, Representation Theory of the American Mathematical Society)

   This is the first of our papers on quasi-split affine quantum symmetric pairs $(\stackrel{~<\#comment/>}{\mathbf{U}}\left(\stackrel{^<\#comment/>}{\mathfrak{g}}\right),{\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}})$, focusing on the real rank one case, i.e., $\mathfrak{g}={\mathfrak{s}\mathfrak{l}}_3$equipped with a diagram involution. We construct explicitly a relative braid group action of type $A_2^{\left(2\right)}$on the affine $\mathrm{ı<\#comment/>}$quantum group ${\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}}$. Real and imaginary root vectors for ${\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}}$are constructed, and a Drinfeld type presentation of ${\stackrel{~<\#comment/>}{\mathbf{U}}}^{\mathrm{ı<\#comment/>}}$is then established. This provides a new basic ingredient for the Drinfeld type presentation of higher rank quasi-split affine $\mathrm{ı<\#comment/>}$quantum groups in the sequels. 

   more » « less
4. Classical freeness of orthosymplectic affine vertex superalgebras

   https://doi.org/10.1090/proc/16548  

   Creutzig, Thomas; Linshaw, Andrew; Song, Bailin (October 2024, Proceedings of the American Mathematical Society)

   The question of when a vertex algebra is a quantization of the arc space of its associated scheme has recently received a lot of attention in both the mathematics and physics literature. This property was first studied by Tomoyuki Arakawa and Anne Moreau (see their paper in the references), and was given the name \lq\lq classical freeness by Jethro van Ekeren and Reimundo Heluani [Comm. Math. Phys. 386 (2021), no. 1, pp. 495-550] in their work on chiral homology. Later, it was extended to vertex superalgebras by Hao Li [Eur. J. Math. 7 (2021), pp. 1689–1728]. In this note, we prove the classical freeness of the simple affine vertex superalgebra $L_n\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{m|2r}\right)$for all positive integers $m,n,r$satisfying $-<\#comment/>\frac{m}{2}+r+n+1>0$. In particular, it holds for the rational vertex superalgebras $L_n\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2r}\right)$for all positive integers $r,n$. 

   more » « less
5. Stable Big Bang formation for Einstein’s equations: The complete sub-critical regime

   https://doi.org/10.1090/jams/1015  

   Fournodavlos, Grigorios; Rodnianski, Igor; Speck, Jared (July 2023, Journal of the American Mathematical Society)

   For $(t,x)\in <\#comment/>(0,\mathrm{\infty <\#comment/>})\times <\#comment/>{\mathbb{T}}^{\mathfrak{D}}$, the generalized Kasner solutions (which we refer to as Kasner solutions for short) are a family of explicit solutions to various Einstein-matter systems that, exceptional cases aside, start out smooth but then develop a Big Bang singularity as $t\downarrow <\#comment/>0$, i.e., a singularity along an entire spacelike hypersurface, where various curvature scalars blow up monotonically. The family is parameterized by the Kasner exponents ${\stackrel{~<\#comment/>}{q}}_1,\cdots <\#comment/>,{\stackrel{~<\#comment/>}{q}}_{\mathfrak{D}}\in <\#comment/>\mathbb{R}$, which satisfy two algebraic constraints. There are heuristics in the mathematical physics literature, going back more than 50 years, suggesting that the Big Bang formation should be dynamically stable, that is, stable under perturbations of the Kasner initial data, given say at $\{t=1\}$, as long as the exponents are “sub-critical” in the following sense: $\underset{\begin{array}{c}I,J,B=1,\cdots <\#comment/>,\mathfrak{D}\\ I>J\end{array}}{max}\{{\stackrel{~<\#comment/>}{q}}_I+{\stackrel{~<\#comment/>}{q}}_J-<\#comment/>{\stackrel{~<\#comment/>}{q}}_B\}>1$. Previous works have rigorously shown the dynamic stability of the Kasner Big Bang singularity under stronger assumptions: (1) the Einstein-scalar field system with $\mathfrak{D}=3$and ${\stackrel{~<\#comment/>}{q}}_1\approx <\#comment/>{\stackrel{~<\#comment/>}{q}}_2\approx <\#comment/>{\stackrel{~<\#comment/>}{q}}_3\approx <\#comment/>1/3$, which corresponds to the stability of the Friedmann–Lemaître–Robertson–Walker solution’s Big Bang or (2) the Einstein-vacuum equations for $\mathfrak{D}\ge <\#comment/>38$with $\underset{I=1,\cdots <\#comment/>,\mathfrak{D}}{max}|{\stackrel{~<\#comment/>}{q}}_I|>1/6$. In this paper, we prove that the Kasner singularity is dynamically stable forallsub-critical Kasner exponents, thereby justifying the heuristics in the literature in the full regime where stable monotonic-type curvature-blowup is expected. We treat in detail the $1+\mathfrak{D}$-dimensional Einstein-scalar field system for all $\mathfrak{D}\ge <\#comment/>3$and the $1+\mathfrak{D}$-dimensional Einstein-vacuum equations for $\mathfrak{D}\ge <\#comment/>10$; both of these systems feature non-empty sets of sub-critical Kasner solutions. Moreover, for the Einstein-vacuum equations in $1+3$dimensions, where instabilities are in general expected, we prove that all singular Kasner solutions have dynamically stable Big Bangs under polarized $U\left(1\right)$-symmetric perturbations of their initial data. Our results hold for open sets of initial data in Sobolev spaces without symmetry, apart from our work on polarized $U\left(1\right)$-symmetric solutions. Our proof relies on a new formulation of Einstein’s equations: we use a constant-mean-curvature foliation, and the unknowns are the scalar field, the lapse, the components of the spatial connection and second fundamental form relative to a Fermi–Walker transported spatial orthonormal frame, and the components of the orthonormal frame vectors with respect to a transported spatial coordinate system. In this formulation, the PDE evolution system for the structure coefficients of the orthonormal frame approximately diagonalizes in a way that sharply reveals the significance of the Kasner exponent sub-criticality condition for the dynamic stability of the flow: the condition leads to the time-integrability of many terms in the equations, at least at the low derivative levels. At the high derivative levels, the solutions that we study can be much more singular with respect to $t$, and to handle this difficulty, we use $t$-weighted high order energies, and we control non-linear error terms by exploiting monotonicity induced by the $t$-weights and interpolating between the singularity-strength of the solution’s low order and high order derivatives. Finally, we note that our formulation of Einstein’s equations highlights the quantities that might generate instabilities outside of the sub-critical regime. 

   more » « less