More Like this

1. 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
2. Algebraic cobordism and a Conner–Floyd isomorphism for algebraic K-theory

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

   Annala, Toni; Hoyois, Marc; Iwasa, Ryomei (March 2024, Journal of the American Mathematical Society)

   We formulate and prove a Conner–Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\mathrm{\infty <\#comment/>}$-category of non- ${\mathbb{A}}^1$-invariant motivic spectra, which turns out to be equivalent to the $\mathrm{\infty <\#comment/>}$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\mathrm{\infty <\#comment/>}$-category satisfies ${\mathbb{P}}^1$-homotopy invariance and weighted ${\mathbb{A}}^1$-homotopy invariance, which we use in place of ${\mathbb{A}}^1$-homotopy invariance to obtain analogues of several key results from ${\mathbb{A}}^1$-homotopy theory. These allow us in particular to define a universal oriented motivic ${\mathbb{E}}_{\mathrm{\infty <\#comment/>}}$-ring spectrum $\mathrm{M}\mathrm{G}\mathrm{L}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$can be recovered from its $\mathrm{M}\mathrm{G}\mathrm{L}$-cohomology via a Conner–Floyd isomorphism\[ ${\mathrm{M}\mathrm{G}\mathrm{L}}^{\ast <\#comment/>\ast <\#comment/>}\left(X\right){\otimes <\#comment/>}_{\mathrm{L}}\mathbb{Z}\left[{\mathrm{\beta <\#comment/>}}^{\pm <\#comment/>1}\right]\simeq <\#comment/>\mathrm{K}{}^{\ast <\#comment/>\ast <\#comment/>}\left(X\right),$\]where $\mathrm{L}$is the Lazard ring and $\mathrm{K}{}^{p,q}\left(X\right)=\mathrm{K}{}_{2q-<\#comment/>p}\left(X\right)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{M}\mathrm{G}\mathrm{L}$. 

   more » « less
3. The two-phase problem for harmonic measure in VMO and the chord-arc condition

   https://doi.org/10.1090/btran/197  

   Tolsa, Xavier; Toro, Tatiana (November 2024, Transactions of the American Mathematical Society, Series B)

   Let ${\mathrm{\Omega <\#comment/>}}^{+}\subset <\#comment/>{\mathbb{R}}^{n+1}$be a bounded $\mathrm{\delta <\#comment/>}$-Reifenberg flat domain, with $\mathrm{\delta <\#comment/>}>0$small enough, possibly with locally infinite surface measure. Assume also that ${\mathrm{\Omega <\#comment/>}}^{-<\#comment/>}={\mathbb{R}}^{n+1}\setminus <\#comment/>\stackrel{¯<\#comment/>}{{\mathrm{\Omega <\#comment/>}}^{+}}$is an NTA (non-tangentially accessible) domain as well and denote by ${\mathrm{\omega <\#comment/>}}^{+}$and ${\mathrm{\omega <\#comment/>}}^{-<\#comment/>}$the respective harmonic measures of ${\mathrm{\Omega <\#comment/>}}^{+}$and ${\mathrm{\Omega <\#comment/>}}^{-<\#comment/>}$with poles $p^{\pm <\#comment/>}\in <\#comment/>{\mathrm{\Omega <\#comment/>}}^{\pm <\#comment/>}$. In this paper we show that the condition that $\log <\#comment/>\frac{d{\mathrm{\omega <\#comment/>}}^{-<\#comment/>}}{d{\mathrm{\omega <\#comment/>}}^{+}}\in <\#comment/>\mathrm{VMO}<\#comment/>\left({\mathrm{\omega <\#comment/>}}^{+}\right)$is equivalent to ${\mathrm{\Omega <\#comment/>}}^{+}$being a chord-arc domain with inner unit normal belonging to $\mathrm{VMO}<\#comment/>\left({\mathcal{H}}^n{|}_{\mathrm{\partial <\#comment/>}{\mathrm{\Omega <\#comment/>}}^{+}}\right)$. 

   more » « less
4. 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
5. Mapping class groups of exotic tori and actions by 𝑆𝐿_{𝑑}(𝐙)

   https://doi.org/10.1090/btran/207  

   Bustamante, Mauricio; Krannich, Manuel; Kupers, Alexander; Tshishiku, Bena (November 2024, Transactions of the American Mathematical Society, Series B)

   We determine for which exotic tori $\mathcal{T}$of dimension $d\ne <\#comment/>4$the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of $\mathcal{T}$to ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$given by the action on the first homology group is split surjective. As part of the proof we compute the mapping class group of all exotic tori $\mathcal{T}$that are obtained from the standard torus by a connected sum with an exotic sphere. Moreover, we show that any nontrivial ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$-action on $\mathcal{T}$agrees on homology with the standard action, up to an automorphism of ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$. When combined, these results in particular show that many exotic tori do not admit any nontrivial differentiable action by ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$. 

   more » « less