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.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Big images of two-dimensional pseudorepresentations
Bellaïche has recently applied Pink-Lie theory to prove that, under mild conditions, the image of a continuous 2-dimensional pseudorepresentation ρ of a profinite group on a local pro- p domain A contains a nontrivial congruence subgroup of SL2(B) for a certain subring B of A. We enlarge Bellaïche’s ring and give this new B a conceptual interpretation both in terms of conjugate self-twists of ρ, symmetries that constrain its image, and in terms of the adjoint trace ring of ρ, which we show is both more natural and the optimal ring for these questions in general. Finally, we use our purely algebraic result to recover and extend a variety of arithmetic big-image results for GL2-Galois representations arising from elliptic, Hilbert, and Bianchi modular forms and p-adic Hida or Coleman families of elliptic and Hilbert modular forms.  more » « less
Award ID(s):
1703834
PAR ID:
10319140
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Mathematische Annalen
ISSN:
0025-5831
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; (, Research in Number Theory)
    Abstract The Hilbert class polynomial has as roots the j -invariants of elliptic curves whose endomorphism ring is a given imaginary quadratic order. It can be used to compute elliptic curves over finite fields with a prescribed number of points. Since its coefficients are typically rather large, there has been continued interest in finding alternative modular functions whose corresponding class polynomials are smaller. Best known are Weber’s functions, which reduce the size by a factor of 72 for a positive density subset of imaginary quadratic discriminants. On the other hand, Bröker and Stevenhagen showed that no modular function will ever do better than a factor of 100.83. We introduce a generalization of class polynomials, with reduction factors that are not limited by the Bröker–Stevenhagen bound. We provide examples matching Weber’s reduction factor. For an infinite family of discriminants, their reduction factors surpass those of all previously known modular functions by a factor at least 2. 
    more » « less
  2. ; ; ; (, Proceedings of the National Academy of Sciences)
    This article builds on recent work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation. Number theoretic applications include the construction of canonical lines in certain Galois cohomology groups arising from adjoint motives of Hilbert modular forms. 
    more » « less
  3. ; (, Journal of the London Mathematical Society)
    Abstract We consider the generating series of special cycles on , with full level structure, valued in the cohomology of degree . The modularity theorem of Kudla–Millson for locally symmetric spaces implies that these series are modular. When , the images of these loci in are the ‐elliptic Noether–Lefschetz loci, which are conjectured to be modular. In the Appendix, it is shown that the resulting modular forms are nonzero for when and . 
    more » « less
  4. ; ; (, Journal of Topology)
    Abstract We develop tools to analyze and compare the Brauer groups of spectra such as periodic complex and real ‐theory and topological modular forms, as well as the derived moduli stack of elliptic curves. In particular, we prove that the Brauer group of is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Our main computational focus is on the subgroup of the Brauer group consisting of elements trivialized by some étale extension, which we call the local Brauer group. Essential information about this group can be accessed by a thorough understanding of the Picard sheaf and its cohomology. We deduce enough information about the Picard sheaf of and the (derived) moduli stack of elliptic curves to determine the structure of their local Brauer groups away from the prime 2. At 2, we show that they are both infinitely generated and agree up to a potential error term that is a finite 2‐torsion group. 
    more » « less
  5. ; ; (, Progress of Theoretical and Experimental Physics)
    Abstract The theory of topological modular forms (TMF) predicts that elliptic genera of physical theories satisfy a certain divisibility property, determined by the theory’s gravitational anomaly. In this note we verify this prediction in Duncan’s supermoonshine module, as well as in tensor products and orbifolds thereof. Along the way we develop machinery for computing the elliptic genera of general alternating orbifolds and discuss the relation of this construction to the elusive “periodicity class” of TMF. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email