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 February 6, 2026

Title: The unbounded denominators conjecture
We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of SL 2 ⁡<#comment/> ( Z ) \operatorname {SL}_2(\mathbf {Z}) . Our result includes also Mason’s generalization of the original conjecture to the setting of vector-valued modular forms, thereby supplying a new path to the congruence property in rational conformal field theory. The proof involves a new arithmetic holonomicity bound of a potential-theoretic flavor, together with Nevanlinna second main theorem, the congruence subgroup property of SL 2 ⁡<#comment/> ( Z [ 1 / p ] ) \operatorname {SL}_2(\mathbf {Z}[1/p]) , and a close description of the Fuchsian uniformization D ( 0 , 1 ) / Γ<#comment/> N D(0,1)/\Gamma _N of the Riemann surface C ∖<#comment/> μ<#comment/> N \mathbf {C} \smallsetminus \mu _N more » « less
Award ID(s):
2231958 2001097 1926686
PAR ID:
10593199
Author(s) / Creator(s):
; ;
Publisher / Repository:
the American Mathematical Society
Date Published:
Journal Name:
Journal of the American Mathematical Society
Volume:
38
Issue:
3
ISSN:
0894-0347
Page Range / eLocation ID:
627 to 702
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. 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
  2. We introduce the notions of symmetric and symmetrizable representations of SL 2 ⁡<#comment/> ( Z ) {\operatorname {SL}_2(\mathbb {Z})} . The linear representations of SL 2 ⁡<#comment/> ( Z ) {\operatorname {SL}_2(\mathbb {Z})} arising from modular tensor categories are symmetric and have congruence kernel. Conversely, one may also reconstruct modular data from finite-dimensional symmetric, congruence representations of SL 2 ⁡<#comment/> ( Z ) {\operatorname {SL}_2(\mathbb {Z})} . By investigating a Z / 2 Z \mathbb {Z}/2\mathbb {Z} -symmetry of some Weil representations at prime power levels, we prove that all finite-dimensional congruence representations of SL 2 ⁡<#comment/> ( Z ) {\operatorname {SL}_2(\mathbb {Z})} are symmetrizable. We also provide examples of unsymmetrizable noncongruence representations of SL 2 ⁡<#comment/> ( Z ) {\operatorname {SL}_2(\mathbb {Z})} that are subrepresentations of a symmetric one. 
    more » « less
  3. This is the first of our papers on quasi-split affine quantum symmetric pairs ( U ~<#comment/> ( g ^<#comment/> ) , U ~<#comment/> ı<#comment/> ) \big (\widetilde {\mathbf U}(\widehat {\mathfrak g}), \widetilde {{\mathbf U}}^\imath \big ) , focusing on the real rank one case, i.e., g = s l 3 \mathfrak g = \mathfrak {sl}_3 equipped with a diagram involution. We construct explicitly a relative braid group action of type A 2 ( 2 ) A_2^{(2)} on the affine ı<#comment/> \imath quantum group U ~<#comment/> ı<#comment/> \widetilde {{\mathbf U}}^\imath . Real and imaginary root vectors for U ~<#comment/> ı<#comment/> \widetilde {{\mathbf U}}^\imath are constructed, and a Drinfeld type presentation of U ~<#comment/> ı<#comment/> \widetilde {{\mathbf U}}^\imath is then established. This provides a new basic ingredient for the Drinfeld type presentation of higher rank quasi-split affine ı<#comment/> \imath quantum groups in the sequels. 
    more » « less
  4. 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
  5. 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