More Like this

1. 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
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. 𝐿₁-distortion of Wasserstein metrics: A tale of two dimensions

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

   Baudier, F.; Gartland, C.; Schlumprecht, Th. (August 2023, Transactions of the American Mathematical Society, Series B)

   By discretizing an argument of Kislyakov, Naor and Schechtman proved that the 1-Wasserstein metric over the planar grid $\{0,1,\dots <\#comment/>,n{\}}^2$has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log <\#comment/>n}$. We provide a new “dimensionality” interpretation of Kislyakov’s argument, showing that if $\{G_n{\}}_{n=1}^{\mathrm{\infty <\#comment/>}}$is a sequence of graphs whose isoperimetric dimension and Lipschitz-spectral dimension equal a common number $\mathrm{\delta <\#comment/>}\in <\#comment/>[2,\mathrm{\infty <\#comment/>})$, then the 1-Wasserstein metric over $G_n$has $L_1$-distortion bounded below by a constant multiple of $(\log <\#comment/>|G_n|{)}^{\frac{1}{\mathrm{\delta <\#comment/>}}}$. We proceed to compute these dimensions for $\oslash <\#comment/>$-powers of certain graphs. In particular, we get that the sequence of diamond graphs $\{{\mathsf{D}}_n{\}}_{n=1}^{\mathrm{\infty <\#comment/>}}$has isoperimetric dimension and Lipschitz-spectral dimension equal to 2, obtaining as a corollary that the 1-Wasserstein metric over ${\mathsf{D}}_n$has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log <\#comment/>|{\mathsf{D}}_n|}$. This answers a question of Dilworth, Kutzarova, and Ostrovskii and exhibits only the third sequence of $L_1$-embeddable graphs whose sequence of 1-Wasserstein metrics is not $L_1$-embeddable. 

   more » « less
4. On the maximal spectral type of nilsystems

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

   Ackelsberg, Ethan; Richter, Florian; Shalom, Or (September 2024, Proceedings of the American Mathematical Society, Series B)

   Let $(G/\mathrm{\Gamma <\#comment/>},R_a)$be an ergodic $k$-step nilsystem for $k\ge <\#comment/>2$. We adapt an argument of Parry [Topology 9 (1970), pp. 217–224] to show that $L^2\left(G/\mathrm{\Gamma <\#comment/>}\right)$decomposes as a sum of a subspace with discrete spectrum and a subspace of Lebesgue spectrum with infinite multiplicity. In particular, we generalize a result previously established by Host–Kra–Maass [J. Anal. Math.124(2014), pp. 261–295] for $2$-step nilsystems and a result by Stepin [Uspehi Mat. Nauk24(1969), pp. 241–242] for nilsystems $G/\mathrm{\Gamma <\#comment/>}$with connected, simply connected $G$. 

   more » « less
5. Higher semiadditive Grothendieck-Witt theory and the 𝐾(1)-local sphere

   https://doi.org/10.1090/cams/17  

   Carmeli, Shachar; Yuan, Allen (March 2023, Communications of the American Mathematical Society)

   We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the $K\left(1\right)$-local sphere ${\mathbb{S}}_{K\left(1\right)}$at the prime $2$, in particular realizing the non- $2$-adic rational element $1+\mathrm{\epsilon <\#comment/>}\in <\#comment/>{\mathrm{\pi <\#comment/>}}_0{\mathbb{S}}_{K\left(1\right)}$as a “semiadditive cardinality.” As a further application, we compute and clarify certain power operations in ${\mathrm{\pi <\#comment/>}}_0{\mathbb{S}}_{K\left(1\right)}$. 

   more » « less