skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on May 12, 2026

Title: First order rigidity of homeomorphism groups of manifolds
For every compact, connected manifold M M , we prove the existence of a sentence ϕ<#comment/> M \phi _M in the language of groups such that the homeomorphism group of another compact manifold N N satisfies ϕ<#comment/> M \phi _M if and only if N N is homeomorphic to M M . We prove an analogous statement for groups of homeomorphisms preserving Oxtoby–Ulam probability measures.  more » « less
Award ID(s):
2349814 2002596
PAR ID:
10589776
Author(s) / Creator(s):
; ;
Publisher / Repository:
American Mathematical Society (AMS)
Date Published:
Journal Name:
Communications of the American Mathematical Society
Volume:
5
Issue:
4
ISSN:
2692-3688
Format(s):
Medium: X Size: p. 144-194
Size(s):
p. 144-194
Sponsoring Org:
National Science Foundation
More Like this
  1. In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism φ<#comment/> :<#comment/> Q →<#comment/> R \varphi \colon Q \to R , where Q Q is a local ring with maximal ideal m \mathfrak {m} . In particular, we give a precise relationship between the Poincaré series P M Q ( t ) \mathrm {P}^Q_M(t) of a finitely generated R R -module M M to P M R ( t ) \mathrm {P}^R_M(t) when the kernel of φ<#comment/> \varphi is contained in m a n n Q ( M ) \mathfrak {m}\,\mathrm {ann}_Q(M) . This generalizes a classical result of Shamash for complete intersection homomorphisms. Our proof goes through base change formulas for Poincaré series under the map of dg algebras Q →<#comment/> E Q\to E , with E E the Koszul complex on a minimal set of generators for the kernel of φ<#comment/> \varphi
    more » « less
  2. We consider, for N ≥<#comment/> 2 N \geq 2 , the system of N N competing species which are ecologically identical and having distinct diffusion rates { D i } i = 1 N \{D_i\}_{i=1}^N , in an environment with the carrying capacity m ( x , t ) m(x,t) . For a generic class of m ( x , t ) m(x,t) that varies with space and time, we show that there is a positive number D ∗<#comment/> D_* independent of N N so that if D i ≥<#comment/> D ∗<#comment/> D_i \geq D_* for all 1 ≤<#comment/> i ≤<#comment/> N 1\le i\le 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
  3. Let Γ<#comment/> \Gamma be a countable abelian group. An (abstract) Γ<#comment/> \Gamma -system X \mathrm {X} - that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of Γ<#comment/> \Gamma - is said to be aConze–Lesigne systemif it is equal to its second Host–Kra–Ziegler factor Z 2 ( X ) \mathrm {Z}^2(\mathrm {X}) . The main result of this paper is a structural description of such Conze–Lesigne systems for arbitrary countable abelian Γ<#comment/> \Gamma , namely that they are the inverse limit of translational systems G n / Λ<#comment/> n G_n/\Lambda _n arising from locally compact nilpotent groups G n G_n of nilpotency class 2 2 , quotiented by a lattice Λ<#comment/> n \Lambda _n . Results of this type were previously known when Γ<#comment/> \Gamma was finitely generated, or the product of cyclic groups of prime order. In a companion paper, two of us will apply this structure theorem to obtain an inverse theorem for the Gowers U 3 ( G ) U^3(G) norm for arbitrary finite abelian groups G G
    more » « less
  4. We prove and extend the longest-standing conjecture in ‘ q , t q,t -Catalan combinatorics,’ namely, the combinatorial formula for ∇<#comment/> m s μ<#comment/> \nabla ^m s_{\mu } conjectured by Loehr and Warrington, where s μ<#comment/> s_{\mu } is a Schur function and ∇<#comment/> \nabla is an eigenoperator on Macdonald polynomials. Our approach is to establish a stronger identity of infinite series of G L l GL_l characters involvingSchur Catalanimals; these were recently shown by the authors to represent Schur functions s μ<#comment/> [ −<#comment/> M X m , n ] s_{\mu }[-MX^{m,n}] in subalgebras Λ<#comment/> ( X m , n ) ⊂<#comment/> E \Lambda (X^{m,n})\subset \mathcal {E} isomorphic to the algebra of symmetric functions Λ<#comment/> \Lambda over Q ( q , t ) \mathbb {Q} (q,t) , where E \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 Λ<#comment/> ( X m , 1 ) \Lambda (X^{m,1}) proves the Loehr-Warrington conjecture, giving ∇<#comment/> m s μ<#comment/> \nabla ^m s_{\mu } as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. In general, for Λ<#comment/> ( X m , n ) \Lambda (X^{m,n}) our formula implies a new ( m , n ) (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 ) (m,n) Loehr-Warrington formula generalize the ( k m , k n ) (km,kn) shuffle theorem proven by Carlsson and Mellit (for n = 1 n=1 ) and Mellit. Our formula here unifies these two generalizations. 
    more » « less
  5. In this paper we consider which families of finite simple groups G G have the property that for each ϵ<#comment/> > 0 \epsilon > 0 there exists N > 0 N > 0 such that, if | G | ≥<#comment/> N |G| \ge N and S , T S, T are normal subsets of G G with at least ϵ<#comment/> | G | \epsilon |G| elements each, then every non-trivial element of G G is the product of an element of S S and an element of T 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 P S L n ( q ) \mathrm {PSL}_n(q) where q q is fixed and n →<#comment/> ∞<#comment/> n\to \infty . However, in the case S = T S=T and G G alternating this holds with an explicit bound on N N in terms of ϵ<#comment/> \epsilon . Related problems and applications are also discussed. In particular we show that, if w 1 , w 2 w_1, w_2 are non-trivial words, G G is a finite simple group of Lie type of bounded rank, and for g ∈<#comment/> G g \in G , P w 1 ( G ) , w 2 ( G ) ( g ) P_{w_1(G),w_2(G)}(g) denotes the probability that g 1 g 2 = g g_1g_2 = g where g i ∈<#comment/> w i ( G ) g_i \in w_i(G) are chosen uniformly and independently, then, as | G | →<#comment/> ∞<#comment/> |G| \to \infty , the distribution P w 1 ( G ) , w 2 ( G ) P_{w_1(G),w_2(G)} tends to the uniform distribution on G G with respect to the L ∞<#comment/> L^{\infty } norm. 
    more » « less