More Like this

1. A modular construction of unramified 𝑝-extensions of ℚ(ℕ^{1/𝕡})

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

   Lang, Jaclyn; Wake, Preston (October 2022, Proceedings of the American Mathematical Society, Series B)

   We show that for primes $N,p\ge <\#comment/>5$with $N\equiv <\#comment/>-<\#comment/>1modp$, the class number of $\mathbb{Q}\left(N^{1/p}\right)$is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N\equiv <\#comment/>-<\#comment/>1modp$, there is always a cusp form of weight $2$and level ${\mathrm{\Gamma <\#comment/>}}_0\left(N^2\right)$whose $\mathrm{\ell <\#comment/>}$th Fourier coefficient is congruent to $\mathrm{\ell <\#comment/>}+1$modulo a prime above $p$, for all primes $\mathrm{\ell <\#comment/>}$. We use the Galois representation of such a cusp form to explicitly construct an unramified degree- $p$extension of $\mathbb{Q}\left(N^{1/p}\right)$. 

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