More Like this

1. On the Boundary Behavior of Mass-Minimizing Integral Currents

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

   De_Lellis, Camillo; De_Philippis, Guido; Hirsch, Jonas; Massaccesi, Annalisa (November 2023, Memoirs of the American Mathematical Society)

   Let $\mathrm{\Sigma <\#comment/>}$be a smooth Riemannian manifold, $\mathrm{\Gamma <\#comment/>}\subset <\#comment/>\mathrm{\Sigma <\#comment/>}$a smooth closed oriented submanifold of codimension higher than $2$and $T$an integral area-minimizing current in $\mathrm{\Sigma <\#comment/>}$which bounds $\mathrm{\Gamma <\#comment/>}$. We prove that the set of regular points of $T$at the boundary is dense in $\mathrm{\Gamma <\#comment/>}$. Prior to our theorem the existence of any regular point was not known, except for some special choice of $\mathrm{\Sigma <\#comment/>}$and $\mathrm{\Gamma <\#comment/>}$. As a corollary of our theorem we answer to a question in Almgren’sAlmgren’s big regularity paperfrom 2000 showing that, if $\mathrm{\Gamma <\#comment/>}$is connected, then $T$has at least one point $p$of multiplicity $\frac{1}{2}$, namely there is a neighborhood of the point $p$where $T$is a classical submanifold with boundary $\mathrm{\Gamma <\#comment/>}$; we generalize Almgren’s connectivity theorem showing that the support of $T$is always connected if $\mathrm{\Gamma <\#comment/>}$is connected; we conclude a structural result on $T$when $\mathrm{\Gamma <\#comment/>}$consists of more than one connected component, generalizing a previous theorem proved by Hardt and Simon in 1979 when $\mathrm{\Sigma <\#comment/>}={\mathbb{R}}^{m+1}$and $T$is $m$-dimensional. 

   more » « less
2. Dens, nests and the Loehr-Warrington conjecture

   https://doi.org/10.1090/jams/1057  

   Blasiak, J; Haiman, M; Morse, J; Pun, A; Seelinger, G (June 2025, Journal of the American Mathematical Society)

   We prove and extend the longest-standing conjecture in ‘ $q,t$-Catalan combinatorics,’ namely, the combinatorial formula for ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$conjectured by Loehr and Warrington, where $s_{\mathrm{\mu <\#comment/>}}$is a Schur function and $\mathrm{\nabla <\#comment/>}$is an eigenoperator on Macdonald polynomials. Our approach is to establish a stronger identity of infinite series of $G{L}_l$characters involvingSchur Catalanimals; these were recently shown by the authors to represent Schur functions $s_{\mathrm{\mu <\#comment/>}}[-<\#comment/>M{X}^{m,n}]$in subalgebras $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)\subset <\#comment/>\mathcal{E}$isomorphic to the algebra of symmetric functions $\mathrm{\Lambda <\#comment/>}$over $\mathbb{Q}(q,t)$, where $\mathcal{E}$is the elliptic Hall algebra of Burban and Schiffmann. We establish a combinatorial formula for Schur Catalanimals as weighted sums of LLT polynomials, with terms indexed by configurations of nested lattice paths callednests, having endpoints and bounding constraints controlled by data called aden. The special case for $\mathrm{\Lambda <\#comment/>}\left(X^{m,1}\right)$proves the Loehr-Warrington conjecture, giving ${\mathrm{\nabla <\#comment/>}}^m{s}_{\mathrm{\mu <\#comment/>}}$as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. In general, for $\mathrm{\Lambda <\#comment/>}\left(X^{m,n}\right)$our formula implies a new $(m,n)$version of the Loehr-Warrington conjecture. In the case where each nest consists of a single lattice path, the nests in a den formula reduce to our previous shuffle theorem for paths under any line. Both this and the $(m,n)$Loehr-Warrington formula generalize the $(km,kn)$shuffle theorem proven by Carlsson and Mellit (for $n=1$) and Mellit. Our formula here unifies these two generalizations. 

   more » « less
3. A partial converse ghost lemma for the derived category of a commutative Noetherian ring

   https://doi.org/10.1090/proc/16294  

   Liu, Jian; Pollitz, Josh (January 2023, Proceedings of the American Mathematical Society)

   In this article a condition is given to detect the containment among thick subcategories of the bounded derived category of a commutative noetherian ring. More precisely, for a commutative noetherian ring $R$and complexes of $R$-modules with finitely generated homology $M$and $N$, we show $N$is in the thick subcategory generated by $M$if and only if the ghost index of $N_{\mathfrak{p}}$with respect to $M_{\mathfrak{p}}$is finite for each prime $\mathfrak{p}$of $R$. To do so, we establish a “converse coghost lemma” for the bounded derived category of a non-negatively graded DG algebra with noetherian homology. 

   more » « less
4. First order rigidity of homeomorphism groups of manifolds

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

   Kim, Sang-hyun; Koberda, Thomas; de_la_Nuez_González, J. (May 2025, Communications of the American Mathematical Society)

   For every compact, connected manifold $M$, we prove the existence of a sentence ${\mathrm{\varphi <\#comment/>}}_M$in the language of groups such that the homeomorphism group of another compact manifold $N$satisfies ${\mathrm{\varphi <\#comment/>}}_M$if and only if $N$is homeomorphic to $M$. We prove an analogous statement for groups of homeomorphisms preserving Oxtoby–Ulam probability measures. 

   more » « less
5. Equivariant Infinite Loop Space Theory: The Space Level Story

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

   May, J; Merling, Mona; Osorno, Angélica (January 2025, Memoirs of the American Mathematical Society)

   We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $\mathrm{\Omega <\#comment/>}$- $G$-spectra for any topological group $G$, but our focus is on the construction of genuine $\mathrm{\Omega <\#comment/>}$- $G$-spectra when $G$is finite. We also show what is and is not true when $G$is a compact Lie group. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for classical $G$-spectra for general $G$but fails for genuine $G$-spectra. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving an illuminating direct point-set level comparison. We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving a number of corrections to results and proofs in the literature. 

   more » « less