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 November 15, 2025

Title: Mapping class groups of exotic tori and actions by 𝑆𝐿_{𝑑}(𝐙)
We determine for which exotic tori T \mathcal {T} of dimension d ≠<#comment/> 4 d\neq 4 the homomorphism from the group of isotopy classes of orientation-preserving diffeomorphisms of T \mathcal {T} to S L d ( Z ) \mathrm {SL}_d(\mathbf {Z}) 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 T \mathcal {T} that are obtained from the standard torus by a connected sum with an exotic sphere. Moreover, we show that any nontrivial S L d ( Z ) \mathrm {SL}_d(\mathbf {Z}) -action on T \mathcal {T} agrees on homology with the standard action, up to an automorphism of S L d ( Z ) \mathrm {SL}_d(\mathbf {Z}) . When combined, these results in particular show that many exotic tori do not admit any nontrivial differentiable action by S L d ( Z ) \mathrm {SL}_d(\mathbf {Z}) more » « less
Award ID(s):
2104346
PAR ID:
10635810
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Transactions of the American Mathematical Society, Series B
Volume:
11
Issue:
39
ISSN:
2330-0000
Page Range / eLocation ID:
1316 to 1349
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We show that if L 1 \mathcal {L}_1 and L 2 \mathcal {L}_2 are linear transformations from Z d \mathbb {Z}^d to Z d \mathbb {Z}^d satisfying certain mild conditions, then, for any finite subset A A of Z d \mathbb {Z}^d , | L 1 A + L 2 A | ≥<#comment/> ( | det ( L 1 ) | 1 / d + | det ( L 2 ) | 1 / d ) d | A | −<#comment/> o ( | A | ) . \begin{equation*} |\mathcal {L}_1 A+\mathcal {L}_2 A|\geq \left ( |\det (\mathcal {L}_1)|^{1/d}+|\det (\mathcal {L}_2)|^{1/d} \right )^d|A|- o(|A|). \end{equation*} 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 L 1 \mathcal {L}_1 and L 2 \mathcal {L}_2 . As an application, we prove a lower bound for | A + λ<#comment/> ⋅<#comment/> A | |A + \lambda \cdot A| when A A is a finite set of real numbers and λ<#comment/> \lambda is an algebraic number. In particular, when λ<#comment/> \lambda is of the form ( p / q ) 1 / d (p/q)^{1/d} for some p , q , d ∈<#comment/> N p, q, d \in \mathbb {N} , each taken as small as possible for such a representation, we show that | A + λ<#comment/> ⋅<#comment/> A | ≥<#comment/> ( p 1 / d + q 1 / d ) d | A | −<#comment/> o ( | A | ) . \begin{equation*} |A + \lambda \cdot A| \geq (p^{1/d} + q^{1/d})^d |A| - o(|A|). \end{equation*} This is again best possible up to the lower-order term and extends a recent result of Krachun and Petrov which treated the case λ<#comment/> = 2 \lambda = \sqrt {2}
    more » « less
  2. We consider minimizing harmonic maps u u from Ω<#comment/> ⊂<#comment/> R n \Omega \subset \mathbb {R}^n into a closed Riemannian manifold N \mathcal {N} and prove: 1. an extension to n ≥<#comment/> 4 n \geq 4 of Almgren and Lieb’s linear law. That is, if the fundamental group of the target manifold N \mathcal {N} is finite, we have\[ H n −<#comment/> 3 ( sing ⁡<#comment/> u ) ≤<#comment/> C ∫<#comment/> ∂<#comment/> Ω<#comment/> | ∇<#comment/> T u | n −<#comment/> 1 d H n −<#comment/> 1 ; \mathcal {H}^{n-3}(\operatorname {sing} u) \le C \int _{\partial \Omega } |\nabla _T u|^{n-1} \,\mathrm {d}\mathcal {H}^{n-1}; \]2. an extension of Hardt and Lin’s stability theorem. Namely, assuming that the target manifold is N = S 2 \mathcal {N}=\mathbb {S}^2 we obtain that the singular set of u u is stable under small W 1 , n −<#comment/> 1 W^{1,n-1} -perturbations of the boundary data. In dimension n = 3 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 W^{s,p} with s ∈<#comment/> ( 1 2 , 1 ] s \in (\frac {1}{2},1] and p ∈<#comment/> [ 2 , ∞<#comment/> ) p \in [2,\infty ) satisfying s p ≥<#comment/> 2 sp \geq 2 . We also discuss sharpness. 
    more » « less
  3. We introduce a topological intersection number for an ordered pair of SL 3 \operatorname {SL}_3 -webs on a decorated surface. Using this intersection pairing between reduced ( SL 3 , A ) (\operatorname {SL}_3,\mathcal {A}) -webs and a collection of ( SL 3 , X ) (\operatorname {SL}_3,\mathcal {X}) -webs associated with the Fock–Goncharov cluster coordinates, we provide a natural combinatorial interpretation of the bijection from the set of reduced ( SL 3 , A ) (\operatorname {SL}_3,\mathcal {A}) -webs to the tropical set A PGL 3 , S ^<#comment/> + ( Z t ) \mathcal {A}^+_{\operatorname {PGL}_3,\hat {S}}(\mathbb {Z}^t) , as established by Douglas and Sun in [Forum Math. Sigma 12 (2024), p. e5, 55]. We provide a new proof of the flip equivariance of the above bijection, which is crucial for proving the Fock–Goncharov duality conjecture of higher Teichmüller spaces for SL 3 \operatorname {SL}_3
    more » « less
  4. 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 ∞<#comment/> \infty -category of non- A 1 \mathbb {A}^1 -invariant motivic spectra, which turns out to be equivalent to the ∞<#comment/> \infty -category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this ∞<#comment/> \infty -category satisfies P 1 \mathbb {P}^1 -homotopy invariance and weighted A 1 \mathbb {A}^1 -homotopy invariance, which we use in place of A 1 \mathbb {A}^1 -homotopy invariance to obtain analogues of several key results from A 1 \mathbb {A}^1 -homotopy theory. These allow us in particular to define a universal oriented motivic E ∞<#comment/> \mathbb {E}_\infty -ring spectrum M G L \mathrm {MGL} . We then prove that the algebraic K-theory of a qcqs derived scheme X X can be recovered from its M G L \mathrm {MGL} -cohomology via a Conner–Floyd isomorphism\[ M G L ∗<#comment/> ∗<#comment/> ( X ) ⊗<#comment/> L Z [ β<#comment/> ±<#comment/> 1 ] ≃<#comment/> K ∗<#comment/> ∗<#comment/> ( X ) , \mathrm {MGL}^{**}(X)\otimes _{\mathrm {L}{}}\mathbb {Z}[\beta ^{\pm 1}]\simeq \mathrm {K}{}^{**}(X), \]where L \mathrm {L}{} is the Lazard ring and K p , q ( X ) = K 2 q −<#comment/> p ( X ) \mathrm {K}{}^{p,q}(X)=\mathrm {K}{}_{2q-p}(X) . Finally, we prove a Snaith theorem for the periodized version of M G L \mathrm {MGL}
    more » « less
  5. 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