This content will become publicly available on February 17, 2023

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 proﬁnite 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.
Authors:
; ;
Award ID(s):
Publication Date:
NSF-PAR ID:
10319140
Journal Name:
Mathematische Annalen
ISSN:
0025-5831
2. Abstract The elliptic algebras in the title are connected graded $\mathbb {C}$ -algebras, denoted $Q_{n,k}(E,\tau )$ , depending on a pair of relatively prime integers $n>k\ge 1$ , an elliptic curve E and a point $\tau \in E$ . This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$ . When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ , we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$more »
We show that the energy conditions are not necessary for boundedness of Riesz transforms in dimension $n\geq 2$. In dimension $n=1$, we construct an elliptic singular integral operator $H_{\flat }$ for which the energy conditions are not necessary for boundedness of $H_{\flat }$. The convolution kernel $K_{\flat }\left ( x\right )$ of the operator $H_{\flat }$ is a smooth flattened version of the Hilbert transform kernel $K\left ( x\right ) =\frac{1}{x}$ that satisfies ellipticity $\vert K_{\flat }\left ( x\right ) \vert \gtrsim \frac{1}{\left \vert x\right \vert }$, but not gradient ellipticity $\vert K_{\flat }^{\prime }\leftmore » 4. Abstract We construct a$(\mathfrak {gl}_2, B(\mathbb {Q}_p))$and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at$0$of a sheaf on$\mathbb {P}^1$, landing in the compactly supported completed$\mathbb {C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest-weight vector for any overconvergent modular form of infinitesimal weight not equal to$1$. For classical weight$k\geq 2$, the Verma has an algebraic quotient$H^1(\mathbb {P}^1, \mathcal {O}(-k))\$ , and on classical forms, the pairing factors throughmore »
5. A bstract The inclusive J/ ψ elliptic ( v 2 ) and triangular ( v 3 ) flow coefficients measured at forward rapidity (2 . 5 < y < 4) and the v 2 measured at midrapidity (| y | < 0 . 9) in Pb-Pb collisions at $$\sqrt{s_{\mathrm{NN}}}$$ s NN = 5 . 02 TeV using the ALICE detector at the LHC are reported. The entire Pb-Pb data sample collected during Run 2 is employed, amounting to an integrated luminosity of 750 μ b − 1 at forward rapidity and 93 μ b − 1 at midrapidity.more »