More Like this

1. The 𝑚=2 amplituhedron and the hypersimplex: Signs, clusters, tilings, Eulerian numbers

   https://doi.org/10.1090/cams/23  

   Parisi, Matteo; Sherman-Bennett, Melissa; Williams, Lauren (July 2023, Communications of the American Mathematical Society)

   The hypersimplex ${\mathrm{\Delta <\#comment/>}}_{k+1,n}$is the image of the positive Grassmannian $G{r}_{k+1,n}^{\ge <\#comment/>0}$under the moment map. It is a polytope of dimension $n-<\#comment/>1$in ${\mathbb{R}}^n$. Meanwhile, the amplituhedron ${\mathcal{A}}_{n,k,2}\left(Z\right)$is the projection of the positive Grassmannian $G{r}_{k,n}^{\ge <\#comment/>0}$into the Grassmannian $G{r}_{k,k+2}$under a map $\stackrel{~<\#comment/>}{Z}$induced by a positive matrix $Z\in <\#comment/>Ma{t}_{n,k+2}^{>0}$. Introduced in the context ofscattering amplitudes, it is not a polytope, and has full dimension $2k$inside $G{r}_{k,k+2}$. Nevertheless, there seem to be remarkable connections between these two objects viaT-duality, as conjectured by Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]. In this paper we use ideas from oriented matroid theory, total positivity, and the geometry of the hypersimplex and positroid polytopes to obtain a deeper understanding of the amplituhedron. We show that the inequalities cutting outpositroid polytopes—images of positroid cells of $G{r}_{k+1,n}^{\ge <\#comment/>0}$under the moment map—translate into sign conditions characterizing the T-dualGrasstopes—images of positroid cells of $G{r}_{k,n}^{\ge <\#comment/>0}$under $\stackrel{~<\#comment/>}{Z}$. Moreover, we subdivide the amplituhedron intochambers, just as the hypersimplex can be subdivided into simplices, with both chambers and simplices enumerated by the Eulerian numbers. We use these properties to prove the main conjecture of Łukowski, Parisi, and Williams [Int. Math. Res. Not. (2023)]: a collection of positroid polytopes is a tiling of the hypersimplex if and only if the collection of T-dual Grasstopes is a tiling of the amplituhedron ${\mathcal{A}}_{n,k,2}\left(Z\right)$for all $Z$. Moreover, we prove Arkani-Hamed–Thomas–Trnka’s conjectural sign-flip characterization of ${\mathcal{A}}_{n,k,2}$, and Łukowski–Parisi–Spradlin–Volovich’s conjectures on $m=2$cluster adjacencyand onpositroid tilesfor ${\mathcal{A}}_{n,k,2}$(images of $2k$-dimensional positroid cells which map injectively into ${\mathcal{A}}_{n,k,2}$). Finally, we introduce new cluster structures in the amplituhedron. 

   more » « less
2. On the Size of the Singular Set of Minimizing Harmonic Maps

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

   Mazowiecka, Katarzyna; Miśkiewicz, Michał; Schikorra, Armin (October 2024, Memoirs of the American Mathematical Society)

   We consider minimizing harmonic maps $u$from $\mathrm{\Omega <\#comment/>}\subset <\#comment/>{\mathbb{R}}^n$into a closed Riemannian manifold $\mathcal{N}$and prove: 1. an extension to $n\ge <\#comment/>4$of Almgren and Lieb’s linear law. That is, if the fundamental group of the target manifold $\mathcal{N}$is finite, we have\[ ${\mathcal{H}}^{n-<\#comment/>3}(\mathrm{sing}<\#comment/>u)\le <\#comment/>C{\int <\#comment/>}_{\mathrm{\partial <\#comment/>}\mathrm{\Omega <\#comment/>}}|{\mathrm{\nabla <\#comment/>}}_{T}u{|}^{n-<\#comment/>1}\mathrm{d}{\mathcal{H}}^{n-<\#comment/>1};$\]2. an extension of Hardt and Lin’s stability theorem. Namely, assuming that the target manifold is $\mathcal{N}={\mathbb{S}}^2$we obtain that the singular set of $u$is stable under small $W^{1,n-<\#comment/>1}$-perturbations of the boundary data. In dimension $n=3$both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space $W^{s,p}$with $s\in <\#comment/>(\frac{1}{2},1]$and $p\in <\#comment/>[2,\mathrm{\infty <\#comment/>})$satisfying $sp\ge <\#comment/>2$. We also discuss sharpness. 

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