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. On a conjectural symmetric version of Ehrhard’s inequality

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

   Livshyts, Galyna (May 2024, Transactions of the American Mathematical Society)

   We formulate a plausible conjecture for the optimal Ehrhard-type inequality for convex symmetric sets with respect to the Gaussian measure. Namely, letting $J_{k-<\#comment/>1}\left(s\right)={\int <\#comment/>}_0^s{t}^{k-<\#comment/>1}{e}^{-<\#comment/>\frac{t^2}{2}}dt$and $c_{k-<\#comment/>1}=J_{k-<\#comment/>1}(+\mathrm{\infty <\#comment/>})$, we conjecture that the function $F:[0,1]\to <\#comment/>\mathbb{R}$, given by $F\left(a\right)=\underset{k=1}{\overset{n}{\sum <\#comment/>}}{1}_{a\in <\#comment/>E_k}\cdot <\#comment/>\left({\mathrm{\beta <\#comment/>}}_k{J}_{k-<\#comment/>1}^{-<\#comment/>1}\right(c_{k-<\#comment/>1}a)+{\mathrm{\alpha <\#comment/>}}_k)$(with an appropriate choice of a decomposition $[0,1]={\cup <\#comment/>}_i{E}_i$and coefficients ${\mathrm{\alpha <\#comment/>}}_i,{\mathrm{\beta <\#comment/>}}_i$) satisfies, for all symmetric convex sets $K$and $L$, and any $\mathrm{\lambda <\#comment/>}\in <\#comment/>[0,1]$, $F\left(\mathrm{\gamma <\#comment/>}\right(\mathrm{\lambda <\#comment/>}K+(1-<\#comment/>\mathrm{\lambda <\#comment/>})L\left)\right)\ge <\#comment/>\mathrm{\lambda <\#comment/>}F\left(\mathrm{\gamma <\#comment/>}\right(K\left)\right)+(1-<\#comment/>\mathrm{\lambda <\#comment/>})F\left(\mathrm{\gamma <\#comment/>}\right(L\left)\right).$We explain that this conjecture is “the most optimistic possible”, and is equivalent to the fact that for any symmetric convex set $K$, itsGaussian concavity power $p_s(K,\mathrm{\gamma <\#comment/>})$is greater than or equal to $p_s(R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k},\mathrm{\gamma <\#comment/>})$, for some $k\in <\#comment/>\{1,\dots <\#comment/>,n\}$. We call the sets $R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$round $k$-cylinders; they also appear as the conjectured Gaussian isoperimetric minimizers for symmetric sets, see Heilman [Amer. J. Math. 143 (2021), pp. 53–94]. In this manuscript, we make progress towards this question, and show that for any symmetric convex set $K$in ${\mathbb{R}}^n$, $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>\underset{F\in <\#comment/>L^2(K,\mathrm{\gamma <\#comment/>})\cap <\#comment/>Lip\left(K\right):\int <\#comment/>F=1}{sup}\left(2T_{\mathrm{\gamma <\#comment/>}}^F\right(K)-<\#comment/>Var(F\left)\right)+\frac{1}{n-<\#comment/>\mathbb{E}{X}^2},$where $T_{\mathrm{\gamma <\#comment/>}}^F\left(K\right)$is the $F-<\#comment/>$torsional rigidity of $K$with respect to the Gaussian measure.Moreover, the equality holds if and only if $K=R{B}_2^k\times <\#comment/>{\mathbb{R}}^{n-<\#comment/>k}$for some $R>0$and $k=1,\dots <\#comment/>,n$.As a consequence, we get $p_s(K,\mathrm{\gamma <\#comment/>})\ge <\#comment/>Q(\mathbb{E}|X{|}^2,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^4,\mathbb{E}\Vert <\#comment/>X{\Vert <\#comment/>}_K^2,r(K\left)\right),$where $Q$is a certain rational function of degree $2$, the expectation is taken with respect to the restriction of the Gaussian measure onto $K$, $\Vert <\#comment/>\cdot <\#comment/>{\Vert <\#comment/>}_K$is the Minkowski functional of $K$, and $r\left(K\right)$is the in-radius of $K$. The result follows via a combination of some novel estimates, the $L2$method (previously studied by several authors, notably Kolesnikov and Milman [J. Geom. Anal. 27 (2017), pp. 1680–1702; Amer. J. Math. 140 (2018), pp. 1147–1185;Geometric aspects of functional analysis, Springer, Cham, 2017; Mem. Amer. Math. Soc. 277 (2022), v+78 pp.], Kolesnikov and the author [Adv. Math. 384 (2021), 23 pp.], Hosle, Kolesnikov, and the author [J. Geom. Anal. 31 (2021), pp. 5799–5836], Colesanti [Commun. Contemp. Math. 10 (2008), pp. 765–772], Colesanti, the author, and Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139], Eskenazis and Moschidis [J. Funct. Anal. 280 (2021), 19 pp.]), and the analysis of the Gaussian torsional rigidity. As an auxiliary result on the way to the equality case characterization, we characterize the equality cases in the “convex set version” of the Brascamp-Lieb inequality, and moreover, obtain a quantitative stability version in the case of the standard Gaussian measure; this may be of independent interest. All the equality case characterizations rely on the careful analysis of the smooth case, the stability versions via trace theory, and local approximation arguments. In addition, we provide a non-sharp estimate for a function $F$whose composition with $\mathrm{\gamma <\#comment/>}\left(K\right)$is concave in the Minkowski sense for all symmetric convex sets. 

   more » « less
4. 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
5. A single-point Reshetnyak’s theorem

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

   Kangasniemi, Ilmari; Onninen, Jani (May 2025, Transactions of the American Mathematical Society)

   We prove a single-value version of Reshetnyak’s theorem. Namely, if a non-constant map $f\in W_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1,n}(\mathrm{\Omega },{\mathbb{R}}^n)$ from a domain $\mathrm{\Omega }\subset {\mathbb{R}}^n$ satisfies the estimate $\left|Df\right(x){|}^n\le K{J}_f(x)+\mathrm{\Sigma }(x\left)\right|f\left(x\right)-y_0{|}^n$ at almost every $x\in \mathrm{\Omega }$ for some $K\ge 1$, $y_0\in {\mathbb{R}}^n$ and $\mathrm{\Sigma }\in L_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1+\epsilon }\left(\mathrm{\Omega }\right)$, then $f^{-1}\left\{y_0\right\}$ is discrete, the local index $i(x,f)$ is positive in $f^{-1}\left\{y_0\right\}$, and every neighborhood of a point of $f^{-1}\left\{y_0\right\}$ is mapped to a neighborhood of $y_0$. Assuming this estimate for a fixed $K$ at every $y_0\in {\mathbb{R}}^n$ is equivalent to assuming that the map $f$ is $K$-quasiregular, even if the choice of $\mathrm{\Sigma }$ is different for each $y_0$. Since the estimate also yields a single-value Liouville theorem, it hence appears to be a good pointwise definition of $K$-quasiregularity. As a corollary of our single-value Reshetnyak’s theorem, we obtain a higher-dimensional version of the argument principle that played a key part in the solution to the Calderón problem. 

   more » « less