Uniform congruence counting for Schottky semigroups in SL2(𝐙)
Abstract Let Γ be a Schottky semigroup in {\mathrm{SL}_{2}(\mathbf{Z})} ,and for {q\in\mathbf{N}} , let {\Gamma(q):=\{\gamma\in\Gamma:\gamma=e~{}(\mathrm{mod}~{}q)\}} be its congruence subsemigroupof level q . Let δ denote the Hausdorff dimension of the limit set of Γ.We prove the following uniform congruence counting theoremwith respect to the family of Euclidean norm balls {B_{R}} in {M_{2}(\mathbf{R})} of radius R :for all positive integer q with no small prime factors, \#(\Gamma(q)\cap B_{R})=c_{\Gamma}\frac{R^{2\delta}}{\#(\mathrm{SL}_{2}(%\mathbf{Z}/q\mathbf{Z}))}+O(q^{C}R^{2\delta-\epsilon}) as {R\to\infty} for some {c_{\Gamma}>0,C>0,\epsilon>0} which are independent of q .Our technique also applies to give a similar counting result for the continued fractions semigroup of {\mathrm{SL}_{2}(\mathbf{Z})} ,which arises in the study of Zaremba’s conjecture on continued fractions.
Authors:
; ;
Award ID(s):
Publication Date:
NSF-PAR ID:
10143896
Journal Name:
Journal für die reine und angewandte Mathematik (Crelles Journal)
Volume:
2019
Issue:
753
Page Range or eLocation-ID:
89 to 135
ISSN:
0075-4102
3. Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}:G_{F}\rightarrow \text{GL}_{2}(\overline{\mathbf{F}}_{p})$ be a modular Galois representation that satisfies the Taylor–Wiles hypotheses and is tamely ramified and generic at a place $v$ above $p$ . Let $\mathfrak{m}$ be the corresponding Hecke eigensystem. We describe the $\mathfrak{m}$ -torsion in the $\text{mod}\,p$ cohomology of Shimura curves with full congruence level at $v$ as a $\text{GL}_{2}(k_{v})$ -representation. In particular, it only depends on $\overline{r}|_{I_{F_{v}}}$ and its Jordan–Hölder factors appear with multiplicity one. The main ingredients are a description of the submodule structure for generic $\text{GL}_{2}(\mathbf{F}_{q})$ -projective envelopes and the multiplicity one results of Emerton, Gee and Savitt [Lattices in the cohomology of Shimura curves, Invent. Math.   200 (1) (2015), 1–96].
4. Abstract A measurement of the $$B_{s}^{0} \rightarrow J/\psi \phi$$ B s 0 → J / ψ ϕ decay parameters using $$80.5\, \mathrm {fb^{-1}}$$ 80.5 fb - 1 of integrated luminosity collected with the ATLAS detector from 13  $$\text {Te}\text {V}$$ Te proton–proton collisions at the LHC is presented. The measured parameters include the CP -violating phase $$\phi _{s}$$ ϕ s , the width difference $$\Delta \Gamma _{s}$$ Δ Γ s between the $$B_{s}^{0}$$ B s 0 meson mass eigenstates and the average decay width $$\Gamma _{s}$$ Γ s . The values measured for the physical parameters are combined with those from $$19.2\, \mathrm {fb^{-1}}$$ 19.2 fb - 1 of 7 and 8  $$\text {Te}\text {V}$$ Te data, leading to the following: \begin{aligned} \phi _{s}= & {} -0.087 \pm 0.036 ~\mathrm {(stat.)} \pm 0.021 ~\mathrm {(syst.)~rad} \\ \Delta \Gamma _{s}= & {} 0.0657 \pm 0.0043 ~\mathrm {(stat.)}\pm 0.0037 ~\mathrm {(syst.)~ps}^{-1} \\ \Gamma _{s}= & {} 0.6703 \pm 0.0014 ~\mathrm {(stat.)}\pm 0.0018 ~\mathrm {(syst.)~ps}^{-1} \end{aligned} ϕ s = - 0.087 ± 0.036 ( stat . ) ± 0.021 ( syst . ) rad Δ Γ s = 0.0657 ± 0.0043 ( stat .more »
Given a sequence $\{Z_d\}_{d\in \mathbb{N}}$ of smooth and compact hypersurfaces in ${\mathbb{R}}^{n-1}$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^n$ such that each manifold $Z_d$ is diffeomorphic to a component of the zero set on $\Gamma$ of some polynomial of degree $d$. (This is in sharp contrast with the case when $\Gamma$ is semialgebraic, where for example the homological complexity of the zero set of a polynomial $p$ on $\Gamma$ is bounded by a polynomial in $\deg (p)$.) More precisely, given the above sequence of hypersurfaces, we construct a regular, compact, semianalytic hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^{n}$ containing a subset $D$ homeomorphic to a disk, and a family of polynomials $\{p_m\}_{m\in \mathbb{N}}$ of degree $\deg (p_m)=d_m$ such that $(D, Z(p_m)\cap D)\sim ({\mathbb{R}}^{n-1}, Z_{d_m}),$ i.e. the zero set of $p_m$ in $D$ is isotopic to $Z_{d_m}$ in ${\mathbb{R}}^{n-1}$. This says that, up to extracting subsequences, the intersection of $\Gamma$ with a hypersurface of degree $d$ can be as complicated as we want. We call these ‘pathological examples’. In particular, we show that for every $0 \leq k \leq n-2$ and every sequence of natural numbers $a=\{a_d\}_{d\in \mathbb{N}}$ there is a regular, compact semianalyticmore »