More Like this

1. 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
2. Type-I permanence

   https://doi.org/10.1090/ert/648  

   Chirvasitu, Alexandru (July 2023, Representation Theory of the American Mathematical Society)

   We prove a number of results on the survival of the type-I property under extensions of locally compact groups: (a) that given a closed normal embedding $\mathbb{N}⊴<\#comment/>\mathbb{E}$of locally compact groups and a twisted action $(\mathrm{\alpha <\#comment/>},\mathrm{\tau <\#comment/>})$thereof on a (post)liminal $C^{\ast <\#comment/>}$-algebra $A$the twisted crossed product $A{⋊<\#comment/>}_{\mathrm{\alpha <\#comment/>},\mathrm{\tau <\#comment/>}}\mathbb{E}$is again (post)liminal and (b) a number of converses to the effect that under various conditions a normal, closed, cocompact subgroup $\mathbb{N}⊴<\#comment/>\mathbb{E}$is type-I as soon as $\mathbb{E}$is. This happens for instance if $\mathbb{N}$is discrete and $\mathbb{E}$is Lie, or if $\mathbb{N}$is finitely-generated discrete (with no further restrictions except cocompactness). Examples show that there is not much scope for dropping these conditions. In the same spirit, call a locally compact group $\mathbb{G}$type-I-preserving if all semidirect products $\mathbb{N}⋊<\#comment/>\mathbb{G}$are type-I as soon as $\mathbb{N}$is, andlinearlytype-I-preserving if the same conclusion holds for semidirect products $V⋊<\#comment/>\mathbb{G}$arising from finite-dimensional $\mathbb{G}$-representations. We characterize the (linearly) type-I-preserving groups that are (1) discrete-by-compact-Lie, (2) nilpotent, or (3) solvable Lie. 

   more » « less
3. Every finite abelian group is the group of rational points of an ordinary abelian variety over 𝔽₂, 𝔽₃ and 𝔽₅

   https://doi.org/10.1090/proc/16127  

   Marseglia, Stefano; Springer, Caleb (February 2023, Proceedings of the American Mathematical Society)

   We show that every finite abelian group occurs as the group of rational points of an ordinary abelian variety over ${\mathbb{F}}_2$, ${\mathbb{F}}_3$and ${\mathbb{F}}_5$. We produce partial results for abelian varieties over a general finite field  ${\mathbb{F}}_q$. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over ${\mathbb{F}}_q$when $q$is large. Finally, we show that every finite cyclic group arises as the group of rational points of infinitely many simple abelian varieties over  ${\mathbb{F}}_2$. 

   more » « less
4. Random walk on group extensions

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

   Golsefidy, S Alireza; Srinivas, Srivatsa (January 2025, Transactions of the American Mathematical Society)

   We study random walks on various group extensions. Under certain bounded generation and bounded scaled conditions, we estimate the spectral gap of a random walk on a quasi-random-by-nilpotent group in terms of the spectral gap of its projection to the quasi-random part. We also estimate the spectral gap of a random-walk on a product of two quasi-random groups in terms of the spectral gap of its projections to the given factors. Based on these results, we estimate the spectral gap of a random walk on the ${\mathbb{F}}_q$-points of a perfect algebraic group $\mathbb{G}$in terms of the spectral gap of its projections to the almost simple factors of the semisimple quotient of $\mathbb{G}$. These results extend a work of Lindenstrauss and Varjú and an earlier work of the authors. Moreover, using a result of Breuillard and Gamburd, we show that there is an infinite set $\mathcal{P}$of primes of density one such that, if $k$is a positive integer and $\mathbb{G}=\mathbb{U}⋊<\#comment/>({\mathrm{SL}}_2{)}_{\mathbb{Q}}^m$is a perfect group and $\mathbb{U}$is a unipotent group, then the family of all the Cayley graphs of $\mathbb{G}\left(\mathbb{Z}/\underset{i=1}{\overset{k}{\prod <\#comment/>}}{p}_i\mathbb{Z}\right)$, $p_i\in <\#comment/>\mathcal{P}$, is a family of expanders. 

   more » « less
5. Infinite sumsets in sets with positive density

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

   Kra, Bryna; Moreira, Joel; Richter, Florian; Robertson, Donald (August 2023, Journal of the American Mathematical Society)

   Motivated by questions asked by Erdős, we prove that any set $A\subset <\#comment/>\mathbb{N}$with positive upper density contains, for any $k\in <\#comment/>\mathbb{N}$, a sumset $B_1+\cdots <\#comment/>+B_k$, where $B_1$, …, $B_k\subset <\#comment/>\mathbb{N}$are infinite. Our proof uses ergodic theory and relies on structural results for measure preserving systems. Our techniques are new, even for the previously known case of $k=2$. 

   more » « less