More Like this

1. 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
2. The unbounded denominators conjecture

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

   Calegari, Frank; Dimitrov, Vesselin; Tang, Yunqing (February 2025, Journal of the American Mathematical Society)

   We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of ${\mathrm{SL}}_2<\#comment/>\left(\mathbf{Z}\right)$. Our result includes also Mason’s generalization of the original conjecture to the setting of vector-valued modular forms, thereby supplying a new path to the congruence property in rational conformal field theory. The proof involves a new arithmetic holonomicity bound of a potential-theoretic flavor, together with Nevanlinna second main theorem, the congruence subgroup property of ${\mathrm{SL}}_2<\#comment/>\left(\mathbf{Z}\right[1/p\left]\right)$, and a close description of the Fuchsian uniformization $D(0,1)/{\mathrm{\Gamma <\#comment/>}}_N$of the Riemann surface $\mathbf{C}\setminus <\#comment/>{\mathrm{\mu <\#comment/>}}_N$. 

   more » « less
3. Dens, nests and the Loehr-Warrington conjecture

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

   Blasiak, J; Haiman, M; Morse, J; Pun, A; Seelinger, G (June 2025, Journal of the American Mathematical Society)

   We prove and extend the longest-standing conjecture in ‘ $q,t$-Catalan combinatorics,’ namely, the combinatorial formula for ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$conjectured by Loehr and Warrington, where $s_{\mathrm{\mu <\#comment/>}}$is a Schur function and $\mathrm{\nabla <\#comment/>}$is an eigenoperator on Macdonald polynomials. Our approach is to establish a stronger identity of infinite series of $G{L}_l$characters involvingSchur Catalanimals; these were recently shown by the authors to represent Schur functions $s_{\mathrm{\mu <\#comment/>}}[-<\#comment/>M{X}^{m,n}]$in subalgebras $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)\subset <\#comment/>\mathcal{E}$isomorphic to the algebra of symmetric functions $\mathrm{\Lambda <\#comment/>}$over $\mathbb{Q}(q,t)$, where $\mathcal{E}$is the elliptic Hall algebra of Burban and Schiffmann. We establish a combinatorial formula for Schur Catalanimals as weighted sums of LLT polynomials, with terms indexed by configurations of nested lattice paths callednests, having endpoints and bounding constraints controlled by data called aden. The special case for $\mathrm{\Lambda <\#comment/>}\left(X^{m,1}\right)$proves the Loehr-Warrington conjecture, giving ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. In general, for $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)$our formula implies a new $(m,n)$version of the Loehr-Warrington conjecture. In the case where each nest consists of a single lattice path, the nests in a den formula reduce to our previous shuffle theorem for paths under any line. Both this and the $(m,n)$Loehr-Warrington formula generalize the $(km,kn)$shuffle theorem proven by Carlsson and Mellit (for $n=1$) and Mellit. Our formula here unifies these two generalizations. 

   more » « less
4. 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
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