More Like this

1. 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
2. Long strings of consecutive composite values of polynomials

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

   Ford, Kevin; Gabdullin, Mikhail (December 2024, Transactions of the American Mathematical Society)

   We show that for any polynomial $f:\mathbb{Z}\to \mathbb{Z}$with positive leading coefficient and irreducible over $\mathbb{Q}$, if $x$is large enough then there is a string of $(\log x)(\log \log x{)}^{1/835}$consecutive integers $n\in [1,x]$for which $f\left(n\right)$is composite. This improves the result by Kevin Ford, Sergei Konyagin, James Maynard, Carl Pomerance, and Terence Tao [J. Eur. Math. Soc. (JEMS) 23 (2023), pp. 667–700], which has the exponent of $\log \log x$being a constant depending on $f$which can be exponentially small in the degree of $f$. 

   more » « less
3. Sums of linear transformations

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

   Conlon, David; Lim, Jeck (July 2025, Transactions of the American Mathematical Society)

   We show that if ${\mathcal{L}}_1$and ${\mathcal{L}}_2$are linear transformations from ${\mathbb{Z}}^d$to ${\mathbb{Z}}^d$satisfying certain mild conditions, then, for any finite subset $A$of ${\mathbb{Z}}^d$, $|{\mathcal{L}}_{1}A+{\mathcal{L}}_{2}A|\ge <\#comment/>{(|det({\mathcal{L}}_1){|}^{1/d}+|det({\mathcal{L}}_2\left){|}^{1/d}\right)}^d|A|-<\#comment/>o\left(|A|\right).$This result corrects and confirms the two-summand case of a conjecture of Bukh and is best possible up to the lower-order term for certain choices of ${\mathcal{L}}_1$and ${\mathcal{L}}_2$. As an application, we prove a lower bound for $|A+\mathrm{\lambda <\#comment/>}\cdot <\#comment/>A|$when $A$is a finite set of real numbers and $\mathrm{\lambda <\#comment/>}$is an algebraic number. In particular, when $\mathrm{\lambda <\#comment/>}$is of the form $(p/q{)}^{1/d}$for some $p,q,d\in <\#comment/>\mathbb{N}$, each taken as small as possible for such a representation, we show that $|A+\mathrm{\lambda <\#comment/>}\cdot <\#comment/>A|\ge <\#comment/>(p^{1/d}+q^{1/d}{)}^d|A|-<\#comment/>o(|A|).$This is again best possible up to the lower-order term and extends a recent result of Krachun and Petrov which treated the case $\mathrm{\lambda <\#comment/>}=\sqrt{2}$. 

   more » « less
4. 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
5. Cyclic isogenies of elliptic curves over fixed quadratic fields

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

   Banwait, Barinder; Najman, Filip; Padurariu, Oana (March 2024, Mathematics of Computation)

   Building on Mazur’s 1978 work on prime degree isogenies, Kenku determined in 1981 all possible cyclic isogenies of elliptic curves over $\mathbb{Q}$. Although more than 40 years have passed, the determination of cyclic isogenies of elliptic curves over a single other number field has hitherto not been realised. In this paper we develop a procedure to assist in establishing such a determination for a given quadratic field. Executing this procedure on all quadratic fields $\mathbb{Q}\left(\sqrt{d}\right)$with $|d|>{10}^4$we obtain, conditional on the Generalised Riemann Hypothesis, the determination of cyclic isogenies of elliptic curves over $19$quadratic fields, including $\mathbb{Q}\left(\sqrt{213}\right)$and $\mathbb{Q}\left(\sqrt{-<\#comment/>2289}\right)$. To make this procedure work, we determine all of the finitely many quadratic points on the modular curves $X_0\left(125\right)$and $X_0\left(169\right)$, which may be of independent interest. 

   more » « less