More Like this

1. 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
2. Intersections of dual 𝑆𝐿₃-webs

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

   Shen, Linhui; Sun, Zhe; Weng, Daping (August 2025, Transactions of the American Mathematical Society)

   We introduce a topological intersection number for an ordered pair of ${\mathrm{SL}}_3$-webs on a decorated surface. Using this intersection pairing between reduced $({\mathrm{SL}}_3,\mathcal{A})$-webs and a collection of $({\mathrm{SL}}_3,\mathcal{X})$-webs associated with the Fock–Goncharov cluster coordinates, we provide a natural combinatorial interpretation of the bijection from the set of reduced $({\mathrm{SL}}_3,\mathcal{A})$-webs to the tropical set ${\mathcal{A}}_{{\mathrm{PGL}}_3,\stackrel{^<\#comment/>}{S}}^{+}\left({\mathbb{Z}}^t\right)$, as established by Douglas and Sun in [Forum Math. Sigma 12 (2024), p. e5, 55]. We provide a new proof of the flip equivariance of the above bijection, which is crucial for proving the Fock–Goncharov duality conjecture of higher Teichmüller spaces for ${\mathrm{SL}}_3$. 

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