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. 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. 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
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. 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