More Like this

1. Products of normal subsets

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

   Larsen, Michael; Shalev, Aner; Tiep, Pham (February 2024, Transactions of the American Mathematical Society)

   In this paper we consider which families of finite simple groups $G$have the property that for each $\mathrm{ϵ<\#comment/>}>0$there exists $N>0$such that, if $|G|\ge <\#comment/>N$and $S,T$are normal subsets of $G$with at least $\mathrm{ϵ<\#comment/>}|G|$elements each, then every non-trivial element of $G$is the product of an element of $S$and an element of $T$. We show that this holds in a strong and effective sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{P}\mathrm{S}\mathrm{L}}_n\left(q\right)$where $q$is fixed and $n\to <\#comment/>\mathrm{\infty <\#comment/>}$. However, in the case $S=T$and $G$alternating this holds with an explicit bound on $N$in terms of $\mathrm{ϵ<\#comment/>}$. Related problems and applications are also discussed. In particular we show that, if $w_1,w_2$are non-trivial words, $G$is a finite simple group of Lie type of bounded rank, and for $g\in <\#comment/>G$, $P_{w_1\left(G\right),w_2\left(G\right)}\left(g\right)$denotes the probability that $g_1{g}_2=g$where $g_i\in <\#comment/>w_i\left(G\right)$are chosen uniformly and independently, then, as $|G|\to <\#comment/>\mathrm{\infty <\#comment/>}$, the distribution $P_{w_1\left(G\right),w_2\left(G\right)}$tends to the uniform distribution on $G$with respect to the $L^{\mathrm{\infty <\#comment/>}}$norm. 

   more » « less
2. A Plethora of Cluster Structures on 𝐺𝐿_{𝑛}

   https://doi.org/10.1090/memo/1486  

   Gekhtman, M; Shapiro, M; Vainshtein, A (May 2024, Memoirs of the American Mathematical Society)

   We continue the study of multiple cluster structures in the rings of regular functions on $G{L}_n$, $S{L}_n$and $Ma{t}_n$that are compatible with Poisson–Lie and Poisson-homogeneous structures. According to our initial conjecture, each class in the Belavin–Drinfeld classification of Poisson–Lie structures on a semisimple complex group $\mathcal{G}$corresponds to a cluster structure in $\mathcal{O}\left(\mathcal{G}\right)$. Here we prove this conjecture for a large subset of Belavin–Drinfeld (BD) data of $A_n$type, which includes all the previously known examples. Namely, we subdivide all possible $A_n$type BD data into oriented and non-oriented kinds. We further single out BD data satisfying a certain combinatorial condition that we call aperiodicity and prove that for any oriented BD data of this kind there exists a regular cluster structure compatible with the corresponding Poisson–Lie bracket. In fact, we extend the aperiodicity condition to pairs of oriented BD data and prove a more general result that establishes an existence of a regular cluster structure on $S{L}_n$compatible with a Poisson bracket homogeneous with respect to the right and left action of two copies of $S{L}_n$equipped with two different Poisson-Lie brackets. Similar results hold for aperiodic non-oriented BD data, but the analysis of the corresponding regular cluster structure is more involved and not given here. If the aperiodicity condition is not satisfied, a compatible cluster structure has to be replaced with a generalized cluster structure. We will address these situations in future publications. 

   more » « less
3. The principal Floquet bundle and the dynamics of fast diffusing communities

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

   Lam, King-Yeung; Lou, Yuan (October 2023, Transactions of the American Mathematical Society)

   We consider, for $N\ge <\#comment/>2$, the system of $N$competing species which are ecologically identical and having distinct diffusion rates $\{D_i{\}}_{i=1}^N$, in an environment with the carrying capacity $m(x,t)$. For a generic class of $m(x,t)$that varies with space and time, we show that there is a positive number $D_{\ast <\#comment/>}$independent of $N$so that if $D_i\ge <\#comment/>D_{\ast <\#comment/>}$for all $1\le <\#comment/>i\le <\#comment/>N$, then the slowest diffusing species is able to competitively exclude all other species. In the case when the environment is temporally constant or temporally periodic, our result provides some further evidence in the affirmative direction regarding the conjecture by Dockery et al. [J. Math. Biol. 37 (1998), pp. 61–83]. The main tool is the theory of the principal Floquet bundle for linear parabolic equations. 

   more » « less
4. Mapping class groups of exotic tori and actions by 𝑆𝐿_{𝑑}(𝐙)

   https://doi.org/10.1090/btran/207  

   Bustamante, Mauricio; Krannich, Manuel; Kupers, Alexander; Tshishiku, Bena (November 2024, Transactions of the American Mathematical Society, Series B)

   We determine for which exotic tori $\mathcal{T}$of dimension $d\ne <\#comment/>4$the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of $\mathcal{T}$to ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$given by the action on the first homology group is split surjective. As part of the proof we compute the mapping class group of all exotic tori $\mathcal{T}$that are obtained from the standard torus by a connected sum with an exotic sphere. Moreover, we show that any nontrivial ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$-action on $\mathcal{T}$agrees on homology with the standard action, up to an automorphism of ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$. When combined, these results in particular show that many exotic tori do not admit any nontrivial differentiable action by ${\mathrm{S}\mathrm{L}}_d\left(\mathbf{Z}\right)$. 

   more » « less
5. 𝐿₁-distortion of Wasserstein metrics: A tale of two dimensions

   https://doi.org/10.1090/btran/143  

   Baudier, F.; Gartland, C.; Schlumprecht, Th. (August 2023, Transactions of the American Mathematical Society, Series B)

   By discretizing an argument of Kislyakov, Naor and Schechtman proved that the 1-Wasserstein metric over the planar grid $\{0,1,\dots <\#comment/>,n{\}}^2$has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log <\#comment/>n}$. We provide a new “dimensionality” interpretation of Kislyakov’s argument, showing that if $\{G_n{\}}_{n=1}^{\mathrm{\infty <\#comment/>}}$is a sequence of graphs whose isoperimetric dimension and Lipschitz-spectral dimension equal a common number $\mathrm{\delta <\#comment/>}\in <\#comment/>[2,\mathrm{\infty <\#comment/>})$, then the 1-Wasserstein metric over $G_n$has $L_1$-distortion bounded below by a constant multiple of $(\log <\#comment/>|G_n|{)}^{\frac{1}{\mathrm{\delta <\#comment/>}}}$. We proceed to compute these dimensions for $\oslash <\#comment/>$-powers of certain graphs. In particular, we get that the sequence of diamond graphs $\{{\mathsf{D}}_n{\}}_{n=1}^{\mathrm{\infty <\#comment/>}}$has isoperimetric dimension and Lipschitz-spectral dimension equal to 2, obtaining as a corollary that the 1-Wasserstein metric over ${\mathsf{D}}_n$has $L_1$-distortion bounded below by a constant multiple of $\sqrt{\log <\#comment/>|{\mathsf{D}}_n|}$. This answers a question of Dilworth, Kutzarova, and Ostrovskii and exhibits only the third sequence of $L_1$-embeddable graphs whose sequence of 1-Wasserstein metrics is not $L_1$-embeddable. 

   more » « less