More Like this

1. Slicing knots in definite 4-manifolds

   https://doi.org/10.1090/tran/9151  

   Kjuchukova, Alexandra; Miller, Allison; Ray, Arunima; Sakallı, Sümeyra (August 2024, Transactions of the American Mathematical Society)

   We study the ${\mathbb{C}\mathbb{P}}^2$-slicing numberof knots, i.e. the smallest $m\ge <\#comment/>0$such that a knot $K\subseteq <\#comment/>S^3$bounds a properly embedded, null-homologous disk in a punctured connected sum  $({\mathrm{\#<\#comment/>}}^m{\mathbb{C}\mathbb{P}}^2{)}^{\times <\#comment/>}$. We find knots for which the smooth and topological ${\mathbb{C}\mathbb{P}}^2$-slicing numbers are both finite, nonzero, and distinct. To do this, we give a lower bound on the smooth ${\mathbb{C}\mathbb{P}}^2$-slicing number of a knot in terms of its double branched cover and an upper bound on the topological ${\mathbb{C}\mathbb{P}}^2$-slicing number in terms of the Seifert form. 

   more » « less
2. A note on surfaces in ℂℙ² and ℂℙ²#ℂℙ²

   https://doi.org/10.1090/bproc/218  

   Marengon, Marco; Miller, Allison; Ray, Arunima; Stipsicz, András (June 2024, Proceedings of the American Mathematical Society, Series B)

   In this brief note, we investigate the ${\mathbb{C}\mathbb{P}}^2$-genus of knots, i.e., the least genus of a smooth, compact, orientable surface in ${\mathbb{C}\mathbb{P}}^2\setminus <\#comment/>\stackrel{˚<\#comment/>}{B^4}$bounded by a knot in $S^3$. We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the ${\mathbb{C}\mathbb{P}}^2$-genus of torus knots. We apply these results to improve the minimal genus bound for some homology classes in ${\mathbb{C}\mathbb{P}}^2\mathrm{\#<\#comment/>}{\mathbb{C}\mathbb{P}}^2$. 

   more » « less
3. A single-point Reshetnyak’s theorem

   https://doi.org/10.1090/tran/9415  

   Kangasniemi, Ilmari; Onninen, Jani (May 2025, Transactions of the American Mathematical Society)

   We prove a single-value version of Reshetnyak’s theorem. Namely, if a non-constant map $f\in W_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1,n}(\mathrm{\Omega },{\mathbb{R}}^n)$ from a domain $\mathrm{\Omega }\subset {\mathbb{R}}^n$ satisfies the estimate $\left|Df\right(x){|}^n\le K{J}_f(x)+\mathrm{\Sigma }(x\left)\right|f\left(x\right)-y_0{|}^n$ at almost every $x\in \mathrm{\Omega }$ for some $K\ge 1$, $y_0\in {\mathbb{R}}^n$ and $\mathrm{\Sigma }\in L_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1+\epsilon }\left(\mathrm{\Omega }\right)$, then $f^{-1}\left\{y_0\right\}$ is discrete, the local index $i(x,f)$ is positive in $f^{-1}\left\{y_0\right\}$, and every neighborhood of a point of $f^{-1}\left\{y_0\right\}$ is mapped to a neighborhood of $y_0$. Assuming this estimate for a fixed $K$ at every $y_0\in {\mathbb{R}}^n$ is equivalent to assuming that the map $f$ is $K$-quasiregular, even if the choice of $\mathrm{\Sigma }$ is different for each $y_0$. Since the estimate also yields a single-value Liouville theorem, it hence appears to be a good pointwise definition of $K$-quasiregularity. As a corollary of our single-value Reshetnyak’s theorem, we obtain a higher-dimensional version of the argument principle that played a key part in the solution to the Calderón problem. 

   more » « less
4. Soliton resolution for energy-critical wave maps in the equivariant case

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

   Jendrej, Jacek; Lawrie, Andrew (December 2024, Journal of the American Mathematical Society)

   We consider the equivariant wave maps equation ${\mathbb{R}}^{1+2}\to <\#comment/>{\mathbb{S}}^2$, in all equivariance classes $k\in <\#comment/>\mathbb{N}$. We prove that every finite energy solution resolves, continuously in time, into a superposition of asymptotically decoupling harmonic maps and free radiation. 

   more » « less
5. The best constant for 𝐿^{∞}-type Gagliardo-Nirenberg inequalities

   https://doi.org/10.1090/qam/1645  

   Liu, Jian-Guo; Wang, Jinhuan (June 2024, Quarterly of Applied Mathematics)

   In this paper we derive the best constant for the following $L^{\mathrm{\infty <\#comment/>}}$-type Gagliardo-Nirenberg interpolation inequality $\Vert <\#comment/>u{\Vert <\#comment/>}_{L^{\mathrm{\infty <\#comment/>}}}\le <\#comment/>C_{q,\mathrm{\infty <\#comment/>},p}\Vert <\#comment/>u{\Vert <\#comment/>}_{L^{q+1}}^{1-<\#comment/>\mathrm{\theta <\#comment/>}}\Vert <\#comment/>\mathrm{\nabla <\#comment/>}u{\Vert <\#comment/>}_{L^p}^{\mathrm{\theta <\#comment/>}},\mathrm{\theta <\#comment/>}=\frac{pd}{dp+(p-<\#comment/>d)(q+1)},$where parameters $q$and $p$satisfy the conditions $p>d\ge <\#comment/>1$, $q\ge <\#comment/>0$. The best constant $C_{q,\mathrm{\infty <\#comment/>},p}$is given by $C_{q,\mathrm{\infty <\#comment/>},p}={\mathrm{\theta <\#comment/>}}^{-<\#comment/>\frac{\mathrm{\theta <\#comment/>}}{p}}(1-<\#comment/>\mathrm{\theta <\#comment/>}{)}^{\frac{\mathrm{\theta <\#comment/>}}{p}}{M}_c^{-<\#comment/>\frac{\mathrm{\theta <\#comment/>}}{d}},M_c≔{\int <\#comment/>}_{{\mathbb{R}}^d}{u}_{c,\mathrm{\infty <\#comment/>}}^{q+1}dx,$where $u_{c,\mathrm{\infty <\#comment/>}}$is the unique radial non-increasing solution to a generalized Lane-Emden equation. The case of equality holds when $u=A{u}_{c,\mathrm{\infty <\#comment/>}}\left(\mathrm{\lambda <\#comment/>}\right(x-<\#comment/>x_0\left)\right)$for any real numbers $A$, $\mathrm{\lambda <\#comment/>}>0$and $x_0\in <\#comment/>{\mathbb{R}}^d$. In fact, the generalized Lane-Emden equation in ${\mathbb{R}}^d$contains a delta function as a source and it is a Thomas-Fermi type equation. For $q=0$or $d=1$, $u_{c,\mathrm{\infty <\#comment/>}}$have closed form solutions expressed in terms of the incomplete Beta functions. Moreover, we show that $u_{c,m}\to <\#comment/>u_{c,\mathrm{\infty <\#comment/>}}$and $C_{q,m,p}\to <\#comment/>C_{q,\mathrm{\infty <\#comment/>},p}$as $m\to <\#comment/>+\mathrm{\infty <\#comment/>}$for $d=1$, where $u_{c,m}$and $C_{q,m,p}$are the function achieving equality and the best constant of $L^m$-type Gagliardo-Nirenberg interpolation inequality, respectively. 

   more » « less