More Like this

1. Jacobian determinants for nonlinear gradient of planar ∞-harmonic functions and applications

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

   Dong, Hongjie; Peng, Fa; Zhang, Yi Ru-Ya; Zhou, Yuan (April 2024, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract We introduce a distributional Jacobian determinant $detD{V}_{\beta }\left(Dv\right)$\det DV_{\beta}(Dv)in dimension two for the nonlinear complex gradient $V_{\beta }\left(Dv\right)={\left|Dv\right|}^{\beta }(v_{x_1},-v_{x_2})$V_{\beta}(Dv)=\lvert Dv\rvert^{\beta}(v_{x_{1}},-v_{x_{2}})for any $\beta >-1$\beta>-1, whenever $v\in W_{\mathrm{loc}}^{1,2}$v\in W^{1\smash{,}2}_{\mathrm{loc}}and $\beta {\left|Dv\right|}^{1+\beta }\in W_{\mathrm{loc}}^{1,2}$\beta\lvert Dv\rvert^{1+\beta}\in W^{1\smash{,}2}_{\mathrm{loc}}.This is new when $\beta \ne 0$\beta\neq 0.Given any planar ∞-harmonic function 𝑢, we show that such distributional Jacobian determinant $detD{V}_{\beta }\left(Du\right)$\det DV_{\beta}(Du)is a nonnegative Radon measure with some quantitative local lower and upper bounds.We also give the following two applications. Applying this result with $\beta =0$\beta=0, we develop an approach to build up a Liouville theorem, which improves that of Savin.Precisely, if 𝑢 is an ∞-harmonic function in the whole ${\mathbb{R}}^2$\mathbb{R}^{2}with $\underset{R\to \mathrm{\infty }}{lim\; inf}\underset{c\in \mathbb{R}}{inf}\frac{1}{R}{⨍}_{B(0,R)}\left|u\left(x\right)-c\right|dx<\mathrm{\infty },$\liminf_{R\to\infty}\inf_{c\in\mathbb{R}}\frac{1}{R}\barint_{B(0,R)}\lvert u(x)-c\rvert\,dx<\infty,then $u=b+a\cdot x$u=b+a\cdot xfor some $b\in \mathbb{R}$b\in\mathbb{R}and $a\in {\mathbb{R}}^2$a\in\mathbb{R}^{2}.Denoting by $u_p$u_{p}the 𝑝-harmonic function having the same nonconstant boundary condition as 𝑢, we show that $detD{V}_{\beta }\left(D{u}_p\right)\to detD{V}_{\beta }\left(Du\right)$\det DV_{\beta}(Du_{p})\to\det DV_{\beta}(Du)as $p\to \mathrm{\infty }$p\to\inftyin the weak-⋆ sense in the space of Radon measure.Recall that $V_{\beta }\left(D{u}_p\right)$V_{\beta}(Du_{p})is always quasiregular mappings, but $V_{\beta }\left(Du\right)$V_{\beta}(Du)is not in general. 

   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. Supersingular elliptic curves over ℤ _𝑝 -extensions

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

   Çiperiani, Mirela (June 2023, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract Let $\mathrm{E}/\mathbb{Q}$\mathrm{E}/\mathbb{Q}be an elliptic curve and 𝑝 a prime of supersingular reduction for $\mathrm{E}$\mathrm{E}.Consider a quadratic extension $L/{\mathbb{Q}}_p$L/\mathbb{Q}_{p}and the corresponding anticyclotomic ${\mathbb{Z}}_p$\mathbb{Z}_{p}-extension $L_{\mathrm{\infty }}/L$L_{\infty}/L.We analyze the structure of the points $\mathrm{E}\left(L_{\mathrm{\infty }}\right)$\mathrm{E}(L_{\infty})and describe two global implications of our results. 

   more » « less
4. Diffeomorphism groups of prime 3-manifolds

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

   Bamler, Richard H; Kleiner, Bruce (October 2023, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract LetXbe acompact orientable non-Haken 3-manifold modeled on the Thurston geometry $\mathrm{Nil}${\operatorname{Nil}}. We show that the diffeomorphism group $\mathrm{Diff}\left(X\right)${\operatorname{Diff}(X)}deformation retracts to the isometry group $\mathrm{Isom}\left(X\right)${\operatorname{Isom}(X)}. Combining this with earlier work by many authors, this completes the determination the homotopy type of $\mathrm{Diff}\left(X\right)${\operatorname{Diff}(X)}for any compact, orientable, prime 3-manifoldX. 

   more » « less
5. Calderón–Zygmund theory for strongly coupled linear system of nonlocal equations with Hölder-regular coefficient

   https://doi.org/10.1515/acv-2024-0005  

   Mengesha, Tadele; Schikorra, Armin; Seesanea, Adisak; Yeepo, Sasikarn (November 2024, Advances in Calculus of Variations)

   Abstract We extend the Calderón–Zygmund theory for nonlocal equations tostrongly coupled system of linear nonlocal equations ${\mathcal{ℒ}}_A^{s}u=f${\mathcal{L}^{s}_{A}u=f}, where the operator ${\mathcal{ℒ}}_A^s${\mathcal{L}^{s}_{A}}is formally given by ${\mathcal{ℒ}}_A^{s}u={\int }_{{ℝ}^n}\frac{A(x,y)}{{\left|x-y\right|}^{n+2s}}\frac{\left(x-y\right)\otimes \left(x-y\right)}{{\left|x-y\right|}^2}\left(u\left(x\right)-u\left(y\right)\right)𝑑y.$\mathcal{L}^{s}_{A}u=\int_{\mathbb{R}^{n}}\frac{A(x,y)}{|x-y|^{n+2s}}\frac{(x-%y)\otimes(x-y)}{|x-y|^{2}}(u(x)-u(y))\,dy. For $0<s<1${0<1}and $A:{ℝ}^n\times {ℝ}^n\to ℝ${A:\mathbb{R}^{n}\times\mathbb{R}^{n}\to\mathbb{R}}taken to be symmetric and serving asa variable coefficient for the operator, the system under consideration is the fractional version of the classical Navier–Lamé linearized elasticity system. The study of the coupled system of nonlocal equations is motivated by its appearance in nonlocal mechanics, primarily in peridynamics. Our regularity result states that if $A(\cdot ,y)${A(\,\cdot\,,y)}is uniformly Holder continuous and ${inf}_{x\in {ℝ}^n}A(x,x)>0${\inf_{x\in\mathbb{R}^{n}}A(x,x)>0}, then for $f\in L_{\mathrm{loc}}^p${f\in L^{p}_{\rm loc}}, for $p\ge 2${p\geq 2}, the solution vector $u\in H_{\mathrm{loc}}^{2s-\delta ,p}${u\in H^{2s-\delta,p}_{\rm loc}}for some $\delta \in (0,s)${\delta\in(0,s)}. 

   more » « less