More Like this

1. 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
2. Integral models for spaces via the higher Frobenius

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

   Yuan, Allen (January 2023, Journal of the American Mathematical Society)

   We give a fully faithful integral model for simply connected finite complexes in terms of ${\mathbb{E}}_{\mathrm{\infty <\#comment/>}}$-ring spectra and the Nikolaus–Scholze Frobenius. The key technical input is the development of a homotopy coherent Frobenius action on a certain subcategory of $p$-complete ${\mathbb{E}}_{\mathrm{\infty <\#comment/>}}$-rings for each prime $p$. Using this, we show that the data of a simply connected finite complex $X$is the data of its Spanier-Whitehead dual, as an ${\mathbb{E}}_{\mathrm{\infty <\#comment/>}}$-ring, together with a trivialization of the Frobenius action after completion at each prime. In producing the above Frobenius action, we explore two ideas which may be of independent interest. The first is a more general action of Frobenius in equivariant homotopy theory; we show that a version of Quillen’s $Q$-construction acts on the $\mathrm{\infty <\#comment/>}$-category of ${\mathbb{E}}_{\mathrm{\infty <\#comment/>}}$-rings with “genuine equivariant multiplication,” which we call global algebras. The second is a “pre-group-completed” variant of algebraic $K$-theory which we callpartial $K$-theory. We develop the notion of partial $K$-theory and give a computation of the partial $K$-theory of ${\mathbb{F}}_p$up to $p$-completion. 

   more » « less
3. On symmetric representations of 𝑆𝐿₂(ℤ)

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

   Ng, Siu-Hung; Wang, Yilong; Wilson, Samuel (January 2023, Proceedings of the American Mathematical Society)

   We introduce the notions of symmetric and symmetrizable representations of ${\mathrm{SL}}_2<\#comment/>\left(\mathbb{Z}\right)$. The linear representations of ${\mathrm{SL}}_2<\#comment/>\left(\mathbb{Z}\right)$arising from modular tensor categories are symmetric and have congruence kernel. Conversely, one may also reconstruct modular data from finite-dimensional symmetric, congruence representations of ${\mathrm{SL}}_2<\#comment/>\left(\mathbb{Z}\right)$. By investigating a $\mathbb{Z}/2\mathbb{Z}$-symmetry of some Weil representations at prime power levels, we prove that all finite-dimensional congruence representations of ${\mathrm{SL}}_2<\#comment/>\left(\mathbb{Z}\right)$are symmetrizable. We also provide examples of unsymmetrizable noncongruence representations of ${\mathrm{SL}}_2<\#comment/>\left(\mathbb{Z}\right)$that are subrepresentations of a symmetric one. 

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