More Like this

1. Shadow line distributions

   https://doi.org/10.1090/mcom/4110  

   Balakrishnan, Jennifer; Çiperiani, Mirela; Mazur, Barry; Rubin, Karl (July 2025, Mathematics of Computation)

   Let $E$be an elliptic curve over $\mathbb{Q}$with Mordell–Weil rank $2$and $p$be an odd prime of good ordinary reduction. For every imaginary quadratic field $K$satisfying the Heegner hypothesis, there is (subject to the Shafarevich–Tate conjecture) a line, i.e., a free ${\mathbb{Z}}_p$-submodule of rank $1$, in $E\left(K\right)\otimes <\#comment/>{\mathbb{Z}}_p$given by universal norms coming from the Mordell–Weil groups of subfields of the anticyclotomic ${\mathbb{Z}}_p$-extension of $K$; we call it theshadow line. When the twist of $E$by $K$has analytic rank $1$, the shadow line is conjectured to lie in $E\left(\mathbb{Q}\right)\otimes <\#comment/>{\mathbb{Z}}_p$; we verify this computationally in all our examples. We study the distribution of shadow lines in $E\left(\mathbb{Q}\right)\otimes <\#comment/>{\mathbb{Z}}_p$as $K$varies, framing conjectures based on the computations we have made. 

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