More Like this

1. Higher order Kirillov--Reshetikhin modules for 𝐔 _q ( A _n ⁽¹⁾ ), imaginary modules and monoidal categorification

   https://doi.org/10.1515/crelle-2023-0068  

   Brito, Matheus; Chari, Vyjayanthi (October 2023, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract We study the family of irreducible modules for quantum affine $𝔰{𝔩}_{n+1}${\mathfrak{sl}_{n+1}}whose Drinfeld polynomials are supported on just one node of the Dynkin diagram. We identify all the prime modules in this family and prove a unique factorization theorem. The Drinfeld polynomials of the prime modules encode information coming from the points of reducibility of tensor products of the fundamental modules associated to $A_m${A_{m}}with $m\le n${m\leq n}. These prime modules are a special class of the snake modules studied by Mukhin and Young. We relate our modules to the work of Hernandez and Leclerc and define generalizations of the category ${\mathcal{𝒞}}^{-}${\mathscr{C}^{-}}. This leads naturally to the notion of an inflation of the corresponding Grothendieck ring. In the last section we show that the tensor product of a (higher order) Kirillov–Reshetikhin module with its dual always contains an imaginary module in its Jordan–Hölder series and give an explicit formula for its Drinfeld polynomial. Together with the results of [D. Hernandez and B. Leclerc,A cluster algebra approach toq-characters of Kirillov–Reshetikhin modules,J. Eur. Math. Soc. (JEMS) 18 2016, 5, 1113–1159] this gives examples of a product of cluster variables which are not in the span of cluster monomials. We also discuss the connection of our work with the examples arising from the work of [E. Lapid and A. Mínguez,Geometric conditions for $\mathrm{\square }$\square-irreducibility of certain representations of the general linear group over a non-archimedean local field,Adv. Math. 339 2018, 113–190]. Finally, we use our methods to give a family of imaginary modules in type $D_4${D_{4}}which do not arise from an embedding of $A_r${A_{r}}with $r\le 3${r\leq 3}in $D_4${D_{4}}. 

   more » « less
2. The Neumann problem on the domain in 𝕊 ³ bounded by the Clifford torus

   https://doi.org/10.1515/ans-2022-0072  

   Case, Jeffrey S; Chen, Eric; Wang, Yi; Yang, Paul; Yung, Po-Lam (January 2023, Advanced Nonlinear Studies)

   Abstract In this study, the solution of the Neumann problem associated with the CR Yamabe operator on a subset $\mathrm{\Omega }$\Omegaof the CR manifold ${\mathbb{S}}^3${{\mathbb{S}}}^{3}bounded by the Clifford torus $\mathrm{\Sigma }$\Sigmais discussed. The Yamabe-type problem of finding a contact form on $\mathrm{\Omega }$\Omegawhich has zero Tanaka-Webster scalar curvature and for which $\mathrm{\Sigma }$\Sigmahas a constant $p$p-mean curvature is also discussed. 

   more » « less
3. On the Tate conjecture for divisors on varieties with ℎ ^2,0 = 1 in positive characteristics

   https://doi.org/10.1515/crelle-2025-0042  

   Hamacher, Paul; Yang, Ziquan; Zhao, Xiaolei (July 2025, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract We prove that the Tate conjecture for divisors is “generically true” for $\mathrm{mod}p$\operatorname{mod}preductions of complex projective varieties with $h^{2,0}=1$h^{2,0}=1, under a mild assumption on moduli.By refining this general result, we establish a new case of the BSD conjecture over global function fields, and the Tate conjecture for a class of general type surfaces of geometric genus 1. 

   more » « less
4. 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
5. A new zero-free region for Rankin–Selberg 𝐿-functions

   https://doi.org/10.1515/crelle-2025-0009  

   Harcos, Gergely; Thorner, Jesse (March 2025, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract Let 𝜋 and ${\pi }^{\prime }$\pi^{\prime}be cuspidal automorphic representations of $\mathrm{GL}\left(n\right)$\mathrm{GL}(n)and $\mathrm{GL}\left(n^{\prime }\right)$\mathrm{GL}(n^{\prime})with unitary central characters.We establish a new zero-free region for all $\mathrm{GL}\left(1\right)$\mathrm{GL}(1)-twists of the Rankin–Selberg 𝐿-function $L(s,\pi \times {\pi }^{\prime })$L(s,\pi\times\pi^{\prime}), generalizing Siegel’s celebrated work on Dirichlet 𝐿-functions.As an application, we prove the first unconditional Siegel–Walfisz theorem for the Dirichlet coefficients of $-L^{\prime }(s,\pi \times {\pi }^{\prime })/L(s,\pi \times {\pi }^{\prime })$-L^{\prime}(s,\pi\times\pi^{\prime})/L(s,\pi\times\pi^{\prime}).Also, for $n\le 8$n\leq 8, we extend the region of holomorphy and nonvanishing for the twisted symmetric power 𝐿-functions $L(s,\pi ,{\mathrm{Sym}}^n\otimes \chi )$L(s,\pi,\mathrm{Sym}^{n}\otimes\chi)of any cuspidal automorphic representation of $\mathrm{GL}\left(2\right)$\mathrm{GL}(2). 

   more » « less