More Like this

1. On the Size of the Singular Set of Minimizing Harmonic Maps

   https://doi.org/10.1090/memo/1519  

   Mazowiecka, Katarzyna; Miśkiewicz, Michał; Schikorra, Armin (October 2024, Memoirs of the American Mathematical Society)

   We consider minimizing harmonic maps $u$from $\mathrm{\Omega <\#comment/>}\subset <\#comment/>{\mathbb{R}}^n$into a closed Riemannian manifold $\mathcal{N}$and prove: 1. an extension to $n\ge <\#comment/>4$of Almgren and Lieb’s linear law. That is, if the fundamental group of the target manifold $\mathcal{N}$is finite, we have\[ ${\mathcal{H}}^{n-<\#comment/>3}(\mathrm{sing}<\#comment/>u)\le <\#comment/>C{\int <\#comment/>}_{\mathrm{\partial <\#comment/>}\mathrm{\Omega <\#comment/>}}|{\mathrm{\nabla <\#comment/>}}_{T}u{|}^{n-<\#comment/>1}\mathrm{d}{\mathcal{H}}^{n-<\#comment/>1};$\]2. an extension of Hardt and Lin’s stability theorem. Namely, assuming that the target manifold is $\mathcal{N}={\mathbb{S}}^2$we obtain that the singular set of $u$is stable under small $W^{1,n-<\#comment/>1}$-perturbations of the boundary data. In dimension $n=3$both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space $W^{s,p}$with $s\in <\#comment/>(\frac{1}{2},1]$and $p\in <\#comment/>[2,\mathrm{\infty <\#comment/>})$satisfying $sp\ge <\#comment/>2$. We also discuss sharpness. 

   more » « less
2. Super-polynomial accuracy of one dimensional randomized nets using the median of means

   https://doi.org/10.1090/mcom/3791  

   Pan, Zexin; Owen, Art (March 2023, Mathematics of Computation)

   Let $f$be analytic on $[0,1]$with $|f^{\left(k\right)}\left(1/2\right)|⩽<\#comment/>A{\mathrm{\alpha <\#comment/>}}^{k}k!$for some constants $A$and $\mathrm{\alpha <\#comment/>}>2$and all $k⩾<\#comment/>1$. We show that the median estimate of $\mathrm{\mu <\#comment/>}={\int <\#comment/>}_0^{1}f\left(x\right)\mathrm{d}x$under random linear scrambling with $n=2^m$points converges at the rate $O\left(n^{-<\#comment/>c\log <\#comment/>\left(n\right)}\right)$for any $c>3\log <\#comment/>\left(2\right)/{\mathrm{\pi <\#comment/>}}^2\approx <\#comment/>0.21$. We also get a super-polynomial convergence rate for the sample median of $2k-<\#comment/>1$random linearly scrambled estimates, when $k/m$is bounded away from zero. When $f$has a $p$’th derivative that satisfies a $\mathrm{\lambda <\#comment/>}$-Hölder condition then the median of means has error $O\left(n^{-<\#comment/>(p+\mathrm{\lambda <\#comment/>})+\mathrm{ϵ<\#comment/>}}\right)$for any $\mathrm{ϵ<\#comment/>}>0$, if $k\to <\#comment/>\mathrm{\infty <\#comment/>}$as $m\to <\#comment/>\mathrm{\infty <\#comment/>}$. The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 

   more » « less
3. 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
4. Sums of linear transformations

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

   Conlon, David; Lim, Jeck (July 2025, Transactions of the American Mathematical Society)

   We show that if ${\mathcal{L}}_1$and ${\mathcal{L}}_2$are linear transformations from ${\mathbb{Z}}^d$to ${\mathbb{Z}}^d$satisfying certain mild conditions, then, for any finite subset $A$of ${\mathbb{Z}}^d$, $|{\mathcal{L}}_{1}A+{\mathcal{L}}_{2}A|\ge <\#comment/>{(|det({\mathcal{L}}_1){|}^{1/d}+|det({\mathcal{L}}_2\left){|}^{1/d}\right)}^d|A|-<\#comment/>o\left(|A|\right).$This result corrects and confirms the two-summand case of a conjecture of Bukh and is best possible up to the lower-order term for certain choices of ${\mathcal{L}}_1$and ${\mathcal{L}}_2$. As an application, we prove a lower bound for $|A+\mathrm{\lambda <\#comment/>}\cdot <\#comment/>A|$when $A$is a finite set of real numbers and $\mathrm{\lambda <\#comment/>}$is an algebraic number. In particular, when $\mathrm{\lambda <\#comment/>}$is of the form $(p/q{)}^{1/d}$for some $p,q,d\in <\#comment/>\mathbb{N}$, each taken as small as possible for such a representation, we show that $|A+\mathrm{\lambda <\#comment/>}\cdot <\#comment/>A|\ge <\#comment/>(p^{1/d}+q^{1/d}{)}^d|A|-<\#comment/>o(|A|).$This is again best possible up to the lower-order term and extends a recent result of Krachun and Petrov which treated the case $\mathrm{\lambda <\#comment/>}=\sqrt{2}$. 

   more » « less
5. Colength one deformation rings

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

   Le, Daniel; Le_Hung, Bao; Morra, Stefano; Park, Chol; Qian, Zicheng (May 2024, Transactions of the American Mathematical Society)

   Let $K/{\mathbb{Q}}_p$be a finite unramified extension, $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}:\mathrm{G}\mathrm{a}\mathrm{l}\left({\stackrel{¯<\#comment/>}{\mathbb{Q}}}_p/K\right)\to <\#comment/>{\mathrm{G}\mathrm{L}}_n\left({\stackrel{¯<\#comment/>}{\mathbb{F}}}_p\right)$a continuous representation, and $\mathrm{\tau <\#comment/>}$a tame inertial type of dimension $n$. We explicitly determine, under mild regularity conditions on $\mathrm{\tau <\#comment/>}$, the potentially crystalline deformation ring $R_{\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}}^{\mathrm{\eta <\#comment/>},\mathrm{\tau <\#comment/>}}$in parallel Hodge–Tate weights $\mathrm{\eta <\#comment/>}=(n-<\#comment/>1,\cdots <\#comment/>,1,0)$and inertial type $\mathrm{\tau <\#comment/>}$when theshapeof $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}$with respect to $\mathrm{\tau <\#comment/>}$has colength at most one. This has application to the modularity of a class of shadow weights in the weight part of Serre’s conjecture. Along the way we make unconditional the local-global compatibility results of Park and Qian [Mém. Soc. Math. Fr. (N.S.) 173 (2022), pp. vi+150]. 

   more » « less