Search

It is known that, for any positive non-square integer multiplier $k$, there is an infinity of multiples of triangular numbers which are triangular numbers. We analyze the congruence properties of the indices $\xi$ of triangular numbers that are multiples of other triangular numbers. We show that the remainders in the congruence relations of $\xi$ modulo k come always in pairs whose sum always equal $\left(k-1\right)$, always include 0 and $\left(k-1\right)$, and only 0 and $\left(k-1\right)$ if $k$ is prime, or an odd power of a prime, or an even square plus one or an odd square minus one or minus two. If the multiplier $k$ is twice the triangular number of $n$, the set of remainders includes also $n$ and $\left(n^{2}-1\right)$ and if $k$ has integer factors, the set of remainders include multiples of a factor following certain rules. Finally, algebraic expressions are found for remainders in function of $k$ and its factors. Several exceptions are noticed and superseding rules exist between various rules and expressions of remainders. This approach allows to eliminate in numerical searches those $\left(k-\upsilon\right)$ values of $\xi_{i}$ that are known not to provide solutions, where $\upsilon$ is the even number of remainders. The gain is typically in the order of $k/\upsilon$, with $\upsilon\ll k$ for large values of $k$., Comment: 9 pages. arXiv admin note: text overlap with arXiv:2102.13494

Let $f(x)\in\mathbb{Z}[x]$ be a nonconstant polynomial. Let $n, k$ and $c$ be integers such that $n\ge 1$ and $k\ge 2$. An integer $a$ is called an $f$-exunit in the ring $\mathbb{Z}_n$ of residue classes modulo $n$ if $\gcd(f(a),n)=1$. In this paper, we use the principle of cross-classification to derive an explicit formula for the number ${\mathcal N}_{k,f,c}(n)$ of solutions $(x_1,...,x_k)$ of the congruence $x_1+...+x_k\equiv c\pmod n$ with all $x_i$ being $f$-exunits in the ring $\mathbb{Z}_n$. This extends a recent result of Anand {\it et al.} [On a question of $f$-exunits in $\mathbb{Z}/{n\mathbb{Z}}$, {\it Arch. Math. (Basel)} {\bf 116} (2021), 403-409]. We derive a more explicit formula for ${\mathcal N}_{k,f,c}(n)$ when $f(x)$ is linear or quadratic., Comment: 8 pages. Final version

Congruence modular and congruence distributive varieties can be characterized by the existence of sequences of Gumm and J\'onsson terms, respectively. Such sequences have variable lengths, in general. It is immediate from the above paragraph that there is a variety with Gumm terms but without J\'onsson terms. We prove the quite unexpected result that, on the other hand, if some variety has both kinds of terms, then the minimal lengths of the sequences differ at most by $1$. It follows that every $r$-modular congruence distributive variety is $r^2-r+2$-distributive., Comment: v2: a few improvements + an appendix with some additional proofs v3: a generalization in the appendix

We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice congruence permute. Along the way, we find several new monoid varieties with the distributive subvariety lattice (only a few examples of varieties with such a property are known so far)., Comment: 41 pages

In this paper, we are interested in the interplay between integral ternary quadratic forms and class numbers. This is partially motivated by a question of Petersson., Comment: GP/Pari code used for this paper may be found at https://hkumath.hku.hk/~bkane/papers/PeterssonQF/polygonal-Petersson.gp

We obtain pullback formulas for Klingen Eisenstein series with arbitrary levels, with respect to both Siegel congruence and paramodular subgroups, in degree two. Pullback results are used, along with the Fourier series expansion of Klingen Eisenstein series given by Mizumoto, to prove certain identities involving critical values of $ L$-functions attached to normalized elliptic modular forms of weight $ k $ and full level., Comment: To appear in The Ramanujan Journal

For numerical semigroups with a specified list of (not necessarily minimal) generators, we describe the asymptotic distribution of factorization lengths with respect to an arbitrary modulus. In particular, we prove that the factorization lengths are equidistributed across all congruence classes that are not trivially ruled out by modular considerations., Comment: 13 pages

Let $\mathcal{M}=\Gamma\backslash\mathbb{H}^{d+1}$ be a geometrically finite hyperbolic manifold with critical exponent exceeding $d/2$. We obtain a precise asymptotic expansion of the matrix coefficients for the geodesic flow in $L^2(\mathrm{T}^1(\mathcal{M}))$, with exponential error term essentially as good as the one given by the spectral gap for the Laplace operator on $L^2(\mathcal{M})$ due to Lax and Phillips. Combined with the work of Bourgain, Gamburd, and Sarnak and its generalization by Golsefidy and Varju on expanders, this implies uniform exponential mixing for congruence covers of $\mathcal{M}$ when $\Gamma$ is a Zariski dense subgroup contained in an arithmetic subgroup of $\mathrm{SO}^{\circ}(d+1,1)$., Comment: to appear in Duke Math. J

Let $B_{n}(t)$ be the $n$th Stern polynomial, i.e., the $n$th term of the sequence defined recursively as $B_{0}(t)=0, B_{1}(t)=1$ and $B_{2n}(t)=tB_{n}(t), B_{2n+1}(t)=B_{n}(t)+B_{n-1}(t)$ for $n\in\N$. It is well know that $i$th coefficient in the polynomial $B_{n}(t)$ counts the number of hyperbinary representations of $n-1$ containing exactly $i$ digits 1. In this note we investigate the existence of odd solutions of the congruence \begin{equation*} B_{n}(t)\equiv 1+rt\frac{t^{e(n)}-1}{t-1}\pmod{m}, \end{equation*} where $m\in\N_{\geq 2}$ and $r\in\{0,\ldots,m-1\}$ are fixed and $e(n)=\op{deg}B_{n}(t)$. We prove that for $m=2$ and $r\in\{0,1\}$ and for $m=3$ and $r=0$, there are infinitely many odd numbers $n$ satisfying the above congruence. We also present results of some numerical computations., Comment: revised version will appear in Publ. Math. Debrecen

We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions we prove the joint equidistribution of conjugate rational points in the two-torus and the modular surface., Comment: Fixed a few typos and improved the exposition of some of the more technical discussions

For a real parameter $r$, the RSA integers are integers which can be written as the product of two primes $pq$ with $p, Comment: 28 pages

In [1], Bennett, Hart, Iosevich, Pakianathan, and Rudnev found an exponent $sd$ case, fixing all pairs of distnaces leads to an overdetermined system, so $q^{\binom{k+1}{2}}$ is no longer the correct number of congruence classes. We determine the correct number, and prove that $|E|\gtrsim q^s$ still determines a positive proportion of all congruence classes, for the same $s$ as in the $k\leq d$ case.

We establish some supercongruences related to a supercongruence of Van Hamme, such as \begin{align*} \sum_{k=0}^{(p+1)/2} (-1)^k (4k-1)\frac{(-\frac{1}{2})_k^3}{k!^3} &\equiv p(-1)^{(p+1)/2}+p^3(2-E_{p-3})\pmod{p^{4}},\\ \sum_{k=0}^{(p+1)/2} (4k-1)^5 \frac{(-\frac{1}{2})_k^4}{k!^4} &\equiv 16p\pmod{p^{4}}, \end{align*} where $p$ is an odd prime and $E_{p-3}$ is the $(p-3)$-th Euler number. Our proof uses some congruences of Z.-W. Sun, the Wilf--Zeilberger method, Whipple's $_7F_6$ transformation, and the software package {\tt Sigma} developed by Schneider. We also put forward two related conjectures., 10 pages

In this paper, we study totally real minimal surfaces in the quaternionic projective space H P n \mathbb {H}P^n . We prove that the linearly full totally real flat minimal surfaces of isotropy order n n in H P n \mathbb {H}P^n are two surfaces in C P n \mathbb {C}P^n , one of which is the Clifford solution, up to symplectic congruence.

In this paper, we establish the following two congruences: \begin{gather*} \sum_{k=0}^{(p+1)/2}(3k-1)\frac{\left(-\frac{1}{2}\right)_k^2\left(\frac{1}{2}\right)_k4^k}{k!^3}\equiv p-6p^3\left(\frac{-1}{p}\right)+2p^3\left(\frac{-1}{p}\right)E_{p-3}\pmod{p^4},\\ \sum_{k=0}^{p-1}(3k-1)\frac{\left(-\frac{1}{2}\right)_k^2\left(\frac{1}{2}\right)_k4^k}{k!^3}\equiv p-2p^3\pmod{p^4}, \end{gather*} where $p>3$ is a prime, $E_{p-3}$ is the $(p-3)$-th Euler number and $\left(-\right)$ is the Legendre symbol. The first congruence modulo $p^3$ was conjectured by Guo and Schlosser recently., 11 pages

A convenient approach to analyze spatial infinity is to use a cylinder representation $I$ and impose a gauge based on a congruence of conformal geodesics. This so-called conformal Gauss gauge comes along with the freedom to specify initial data for the conformal geodesics. Such a gauge has been constructed from an ordinary Cauchy surface and from past null infinity $\mathcal{J}^-$, respectively. The purpose of this note is to compare these gauges near the critical set $I^-$, where $I$ "touches" $\mathcal{J}^-$, as it turns out that they are related in a somewhat unexpected intricate way., Comment: 38 pages

We prove a version of the Khinchin–Groshev theorem for Diophantine approximation of matrices subject to a congruence condition. The proof relies on an extension of the Dani correspondence to the quotient by a congruence subgroup. This correspondence together with a multiple ergodic theorem are used to study rational approximations in several congruence classes simultaneously. The result in this part holds in the generality of weighted approximation but is restricted to simple approximation functions.

Let $X$ be a locally symmetric space defined by a simple Chevalley group $G$ and a congruence subgroup of $G(\mathbb Q)$. In this generality, the Weyl law for $X$ was proved by Lindenstrauss--Venkatesh. In the case where $G$ is simply connected, we sharpen their result by giving a power saving estimate for the remainder term.

We develop the theory of the higher commutator for Taylor varieties. A new higher commutator operation called the hypercommutator is defined using a type of invariant relation called a higher dimensional congruence. The hypercommutator is shown to be symmetric and satisfy an inequality relating nested terms. For a Taylor algebra the term condition higher commutator and the hypercommutator are equal when evaluated at a constant tuple, and it follows that every supernilpotent Taylor algebra is nilpotent. We end with a characterization of congruence meet-semidistributive varieties in terms of the neutrality of the higher commutator., Comment: 49 pages, 10 figures

Based on a $q$-congruence of the author and Petrov, we set up a $q$-analogue of Sun--Tauraso's congruence for sums of Catalan numbers, which extends a $q$-congruence due to Tauraso.

In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) = 4a^2-2p mod p, if p = a^2+b^2 (where a is odd). Later, Zagier found some generalizations of Apery numbers, so called sporadic sequences, and recently Osburn and Straub proved similar congruences for all but one of the six Zagier's sporadic sequences (three cases were already known to be true) and conjectured the congruence for the sixth sequence. In this paper we prove that remaining congruence by studying Atkin and Swinnerton-Dyer congruences between Fourier coefficients of certain cusp form for non-congurence subgroup., 9 pages

Let ${\mathcal C}_n$ be the set of all permutation cycles of length $n$ over $\{1,2,\ldots,n\}$. Let $${\mathfrak f}_n(q):=\sum_{\sigma\in{\mathcal C}_{n+1}}q^{{\mathrm maj}\,\sigma} $$ be a $q$-analogue of the factorial $n!$, where ${\mathrm maj}$ denotes the major index. We prove a $q$-analogue of Wilson's congruence $$ {\mathfrak f}_{n-1}(q)\equiv\mu(n)\pmod{\Phi_n(q)}, $$ where $\mu$ denotes the M\"obius function and $\Phi_n(q)$ is the $n$-th cyclotomic polynomial., Comment: This is a preliminary draft

Here we survey on the growth of systoles of arithmetic locally symmetric spaces under the congruence covering and give simple proofs for the best possible constants of Gromov for several important classes of symmetric spaces., Comment: 10 pages

We give a simple and a more explicit proof of a mod $4$ congruence for a series involving the little $q$-Jacobi polynomials which arose in a recent study of a certain restricted overpartition function., Comment: 3 pages, submitted for publication

The semigroup $\mathbf{I}\mathbb{N}_{\infty}$ of all partial co-finite isometries of positive integers is studied. We describe Green's relations on the semigroup $\mathbf{I}\mathbb{N}_{\infty}$, its band and proved that $\mathbf{I}\mathbb{N}_{\infty}$ is a simple $E$-unitary $F$-inverse semigroup. We described the least group congruence $\mathfrak{C}_{\mathbf{mg}}$ on $\mathbf{I}\mathbb{N}_{\infty}$ and proved that the quotient-semigroup $\mathbf{I}\mathbb{N}_{\infty}/\mathfrak{C}_{\mathbf{mg}}$ is isomorphic to the additive group of integers. An example of a non-group congruence on the semigroup $\mathbf{I}\mathbb{N}_{\infty}$ is presented. Also we proved that a congruence on the semigroup $\mathbf{I}\mathbb{N}_{\infty}$ is a group congruence if and only if its restriction onto an isomorphic copy of the bicyclic semigroup in $\mathbf{I}\mathbb{N}_{\infty}$ is a group congruence., Comment: 10 pages. in Ukrainian

The rank of partitions play an important role in the combinatorial interpretations of several Ramanujan's famous congruence formulas. In 2005 and 2008, the $D$-rank and $M_2$-rank of an overpartition were introduced by Lovejoy, respectively. Let $\overline{N}(m,n)$ and $\overline{N2}(m,n)$ denote the number of overpartitions of $n$ with $D$-rank $m$ and $M_2$-rank $m$, respectively. In 2014, Chan and Mao proposed a conjecture on monotonicity properties of $\overline{N}(m,n)$ and $\overline{N2}(m,n)$. In this paper, we prove the Chan-Mao monotonicity conjecture. To be specific, we show that for any integer $m$ and nonnegative integer $n$, $\overline{N2}(m,n)\leq \overline{N2}(m,n+1)$; and for $(m,n)\neq (0,4)$ with $n\neq\, |m| +2$, we have $\overline{N}(m,n)\leq \overline{N}(m,n+1)$. Furthermore, when $m$ increases, we prove that $\overline{N}(m,n)\geq \overline{N}(m+2,n)$ and $\overline{N2}(m,n)\geq \overline{N2}(m+2,n)$ for any $m,n\geq 0$, which is an analogue of Chan and Mao's result for partitions., Comment: 16 pages

The scissors congruence conjecture for the unimodular group is an analogue of Hilbert's third problem, for the equidecomposability of polytopes. Liu and Osserman studied the Ehrhart quasi-polynomials of polytopes naturally associated to graphs whose vertices have degree one or three. In this paper, we prove the scissors congruence conjecture, posed by Haase and McAllister, for this class of polytopes. The key ingredient in the proofs is the nearest neighbor interchange on graphs and a naturally arising piecewise unimodular transformation., Comment: 17 pages, with 10 figures, and a table

Let $p$ be a fixed odd prime number, $\mu$ be a Hida family over the Iwasawa algebra of one variable, $\rho_{\mu}$ its Galois representation, $\mathbb{Q}_\infty/\mathbb{Q}$ the $p$-cyclotomic tower and $S$ the variable of the cyclotomic Iwasawa algebra. We compare, for $n\leq 4$ and under certain assumptions, the characteristic power series $L(S)$ of the dual of Selmer groups $\mathrm{Sel}(\mathbb{Q}_{\infty},\mathrm{Sym}^{2n}\otimes\mathrm{det}^{-n}\rho_{\mu})$ to certain congruence ideals. The case $n=1$ has been treated by H.Hida. In particular, we express the first term of the Taylor expansion at the trivial zero $S=0$ of $L(S)$ in terms of an $\mathcal{L}$-invariant and a congruence number. We conjecture the non-vanishing of this $\mathcal{L}$-invariant; this implies therefore that these Selmer groups are cotorsion. We also show that our $\mathcal{L}$-invariants coincide with Greenberg's $\mathcal{L}$-invariants calculated by R.Harron and A.Jorza.

The simplices and the complexes arsing form the grading of the fundamental (desymmetrized) domain of arithmetical groups and non-arithmetical groups, as well as their extended (symmetrized) ones are described also for oriented manifolds in dim greater than 2. The conditions for the definition of fibers are summarized after Hamiltonian analysis, the latters can in some cases be reduced to those for sections for graded groups, such as the Picard groups and the Vinberg group.The cases for which modular structures rather than modular-groupstructure measures can be analyzed for non-arithmetic groups, i.e. also in the cases for which Gelfand triples (rigged spaces) have to be substituted by Hecke couples, as, for Hecke groups, the existence of intertwining operators after the calculation of the second commutator within the Haar measures for the operators of the correspondingly-generated C-[star] algebras is straightforward. The results hold also for (also non-abstract) groups with measures on (manifold) boundaries. The Poincar\'e invariance of the representation of Wigner-Bargmann (spin 1/2) particles is analyzed within the Fock-space interaction representation. The well-posed-ness of initial conditions and boundary ones for the connected (families of) equations is discussed. As an example, Picard-related equations can be classified according to the genus of the modular curve(s) attached to the solutions(s). From the Hamiltonian analysis, further results in the contraction of the congruence (extended sub-)groups for non-arithmetical groups for the construction of tori is provided as an alternative to the free diffeomorphism group. In addition, the presence of Poincar\'e complexes is found compatible with non-local interactions, i.e. both lattices interactions or spin-like ones., Comment: 10 pages, 11 figures; Proceeding for the conference The 32nd International Colloquium on Group Theoretical Methods in Physics (Group32), 9-13 July 2018, Czech Technical University, Prague, Czech Republic; to appear in the IOP Conference Series: Journal of Physics Conference Series (JPCS)

We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $\Gamma_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $\Gamma_0(N)$ as the stabilisers of couples of projective lattices in a two-dimensional vector space gives an interpretation of the quotient set $\Gamma_0(N)\backslash\mathrm{PSL}_2(\mathbb{R})$ as the projective lattices $N$-hyperdistant from a reference one, and hence as the projective line over the ring $\mathbb{Z}/N\mathbb{Z}$. The natural action of $\mathrm{PSL}_2(\mathbb{R})$ on the lattices defines a dessin d'enfant structure, allowing for a combinatorial approach to features of the classical modular curves, such as the torsion points and the cusps. We tabulate the dessins d'enfants associated with the $15$ Hecke congruence subgroups of genus zero, which arise in Moonshine for the Monster sporadic group., Comment: 57 pages, 27 figures

For a finite point set $E\subset \mathbb{R}^d$ and a connected graph $G$ on $k+1$ vertices, we define a $G$-framework to be a collection of $k + 1$ points in E such that the distance between a pair of points is specified if the corresponding vertices of $G$ are connected by an edge. We consider two frameworks the same if the specified edge-distances are the same. We find tight bounds on such distinct-distance drawings for rigid graphs in the plane, deploying the celebrated result of Guth and Katz. We introduce a congruence relation on the wider set of graphs, which behaves nicely in both the real-discrete and continuous settings. We provide a sharp bound on the number of such congruence classes. We then make a conjecture that the tight bound on rigid graphs should apply to all graphs. This appears to be a hard problem even in the case of the non-rigid 2-chain. However we provide evidence to support the conjecture by demonstrating that if the Erd\H os pinned-distance conjecture holds in dimension $d$ then the result for all graphs in dimension $d$ follows., Comment: arXiv admin note: text overlap with arXiv:1708.05919

Inverse graph semigroups were defined by Ash and Hall in 1975. They found necessary and sufficient conditions for the semigroups to be congruence free. In this paper we give a description of congruences on a graph inverse semigroup in terms of the underlying graph. As a consequence, we show that the inverse graph semigroup of a finite graph is congruence Noetherian., Comment: 13 pages

For a totally real field $F$, a finite extension $\mathbf{F}$ of $\mathbf{F}_p$ and a Galois character $\chi: G_F \to \mathbf{F}^{\times}$ unramified away from a finite set of places $\Sigma \supset \{\mathfrak{p} \mid p\}$ consider the Bloch-Kato Selmer group $H:=H^1_{\Sigma}(F, \chi^{-1})$. In an earlier paper of the authors it was proved that the number $d$ of isomorphism classes of (non-semisimple, reducible) residual representations $\overline{\rho}$ giving rise to lines in $H$ which are modular by some $\rho_f$ (also unramified outside $\Sigma$) satisfies $d \geq n:= \dim_{\mathbf{F}} H$. This was proved under the assumption that the order of a congruence module is greater than or equal to that of a divisible Selmer group. We show here that if in addition the relevant local Eisenstein ideal $J$ is non-principal, then $d >n$. When $F=\mathbf{Q}$ we prove the desired bounds on the congruence module and the Selmer group. We also formulate a congruence condition implying the non-principality of $J$ that can be checked in practice, allowing us to furnish an example where $d>n$., Comment: 20 pages

We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups., Comment: 40 pages, 1 figure

We generalize the work of Ohta on the congruence modules attached to elliptic Eisenstein series to the setting of Hilbert modular forms. Our work involves three parts. In the first part, we construct Eisenstein series adelically and compute their constant terms by computing local integrals. In the second part, we prove a control theorem for one-variable ordinary $\Lambda$-adic Hilbert modular forms following Hida's work on the space of multivariable ordinary $\Lambda$-adic Hilbert cusp forms. In part three, we compute congruence modules related to Hilbert Eisenstein series through an analog of Ohta's methods., Comment: Final version. To appear in Math. Zeit

Two questions are investigated by looking successively at classical mechanics, special relativity, and relativistic gravity: first, how is space related with spacetime? The proposed answer is that each given reference fluid, that is a congruence of reference trajectories, defines a physical space. The points of that space are formally defined to be the world lines of the congruence. That space can be endowed with a natural structure of 3-D differentiable manifold, thus giving rise to a simple notion of spatial tensor --- namely, a tensor on the space manifold. The second question is: does the geometric structure of the spacetime determine the physics, in particular, does it determine its relativistic or preferred-frame character? We find that it does not, for different physics (either relativistic or not) may be defined on the same spacetime structure --- and also, the same physics can be implemented on different spacetime structures. Keywords: Affine space; classical mechanics; special relativity; relativistic gravity; reference fluid., Comment: 25 pages

We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is projective if and only if it has every minimal algebra as its homomorphic image. Using this criterion of projectivity, we describe the primitive subquasivarieties of discriminator varieties that have a finite minimal algebra which embeds in every nontrivial algebra from this variety. In particular, we describe the primitive quasivarieties of discriminator varieties of monadic Heyting algebras, Heyting algebras with regular involution, Heyting algebras with dual pseudocomplement, and double-Heyting algebras.

We give an upper bound for the trace of a Hecke operator acting on the space of holomorphic cusp forms with respect to certain congruence subgroups. Such an estimate has applications to the analytic theory of elliptic curves over a finite field, going beyond the Riemann hypothesis over finite fields. As the main tool to prove our bound on traces of Hecke operators, we develop a Petersson formula for newforms for general nebentype characters., Comment: Final version; to appear in Algebra & Number Theory

In the second edition of the congruence lattice book, Problem 22.1 asks for a characterization of subsets $Q$ of a finite distributive lattice $D$ such that there is a finite lattice $L$ whose congruence lattice is isomorphic to $D$ and under this isomorphism $Q$ corresponds the the principal congruences of $L$. In this note, we prove some preliminary results.

In a previous paper, we obtained a general trace formula for double coset operators acting on modular forms for congruence subgroups, expressed as a sum over conjugacy classes. Here we specialize it to the congruence subgroups $$\Gamma _0(N)$$ and $$\Gamma _1(N)$$ , obtaining explicit formulas in terms of class numbers for the trace of a composition of Hecke and Atkin–Lehner operators. The formulas are among the simplest in the literature and hold without any restriction on the index of the operators. We give two applications of the trace formula for $$\Gamma _1(N)$$ : we determine explicit trace cusp forms for $$\Gamma _0(4)$$ with Nebentypus, and we compute the limit of the trace of a fixed Hecke operator as the level N tends to infinity.

Consider the linear congruence equation a 1 s x 1 + … + a k s x k ≡ b ( mod n s ) where a i , b ∈ Z , s ∈ N . Denote by ( a , b ) s the largest l s ∈ N which divides a and b simultaneously. Given t i | n , we seek solutions 〈 x 1 , … , x k 〉 ∈ Z k for this linear congruence with the restrictions ( x i , n s ) s = t i s . Bibak et al. [2] considered the above linear congruence with s = 1 and gave a formula for the number of solutions in terms of the Ramanujan sums. In this paper, we derive a formula for the number of solutions of the above congruence for arbitrary s ∈ N which involves the generalized Ramanujan sums defined by E. Cohen [5] .

We introduce a technique for proving quantitative representation stability theorems for sequences of representations of certain finite linear groups over a field of characteristic zero. In particular, we prove a vanishing result for higher syzygies of VIC- and SI-modules, which can be thought of as a weaker version of a regularity theorem of Church-Ellenberg in the context of FI-modules. We apply these techniques to the rational homology of congruence subgroups of mapping class groups and congruence subgroups of automorphism groups of free groups. This partially resolves a question raised by Church and Putman-Sam. We also prove new homological stability results for mapping class groups and automorphism groups of free groups with twisted coefficients., Comment: We have revised Section 4 to correct an error in the previous version. 35 pages, 6 figures. To appear in IMRN

Let $d(n;\ell_1,M_1,\ell_2,M_2)$ denote the number of factorizations $n=n_1n_2$, where each of the factors $n_i\in\mathbb{N}$ belongs to a prescribed congruence class $\ell_i\bmod M_i\,(i=1,2)$. Let $\Delta(x;\ell_1,M_1,\ell_2,M_2)$ be the error term of the asymptotic formula of $\sum\limits_{n\leqslant x}d(n;\ell_1,M_1,\ell_2,M_2)$. In this paper, we establish an asymptotic formula of the fourth power moment of $\Delta(M_1M_2x;\ell_1,M_1,\ell_2,M_2)$ and prove that \begin{equation*} \int_1^T\Delta^4(M_1M_2x;\ell_1,M_1,\ell_2,M_2)\mathrm{d}x=\frac{1}{32\pi^4}C_4\Big(\frac{\ell_1}{M_1},\frac{\ell_2}{M_2}\Big) T^2+O(T^{2-\vartheta_4+\varepsilon}), \end{equation*} with $\vartheta_4=1/8$, which improves the previous value $\theta_4=3/28$ of K. Liu., Comment: 21 pages

We determine C-special subgroups of the Bianchi groups of index bounded above by 120 by effectivising the arguments of Agol-Long-Reid. These subgroups are congruence of level 2 or 4 and retract to the free group on two generators. As a consequence, we find a C-special 20-sheeted cover of the figure-eight knot complement. We also determine C-special congruence subgroups for a family of cocompact arithmetic Kleinian groups., Comment: 14 pages

We show that quandle coverings in the sense of Eisermann form a (regular epi)-reflective subcategory of the category of surjective quandle homomorphisms, both by using arguments coming from categorical Galois theory and by constructing concretely a centralization congruence. Moreover, we show that a similar result holds for normal quandle extensions., Comment: 17 pages

A vector composition of a vector $\mathbf{\ell}$ is a matrix $\mathbf{A}$ whose rows sum to $\mathbf{\ell}$. We define a weighted vector composition as a vector composition in which the column values of $\mathbf{A}$ may appear in different colors. We study vector compositions from different viewpoints: (1) We show how they are related to sums of random vectors and (2) how they allow to derive formulas for partial derivatives of composite functions. (3) We study congruence properties of the number of weighted vector compositions, for fixed and arbitrary number of parts, many of which are analogous to those of ordinary binomial coefficients and related quantities. Via the Central Limit Theorem and their multivariate generating functions, (4) we also investigate the asymptotic behavior of several special cases of numbers of weighted vector compositions. Finally, (5) we conjecture an extension of a primality criterion due to Mann and Shanks in the context of weighted vector compositions., Comment: Accepted for publication in Journal of Combinatorics

In this paper we give a description of the generators of the prime level congruence subgroups of braid groups. Also, we give a new presentation of the symplectic group over a finite field, and we calculate symmetric quotients of the prime level congruence subgroups of braid groups. Finally, we find a finite generating set for the level-3 congruence subgroup of the braid group on 3 strands., Comment: 16 pages, 6 figures

For a congruence level $H \subset \mathrm{GL}_2(\hat{\mathbb{Z}})$, the formation of the modular curve $X_H$, i.e., of the coarse moduli space of the level $H$ modular stack $\mathscr{X}_H$, is known to commute with arbitrary base change in a wide range of cases. We exhibit infinitely many $H$, for instance, $H = \Gamma_1(4)$, for which this coarse base change property fails. In our examples failure is witnessed for base change to $\mathbb{F}_2$ and for any $\mathbb{Z}_{(2)}$-fiberwise dense open substack of $\mathscr{X}_H$. These examples fill in several open entries in a table in the book of Katz and Mazur., Comment: 7 pages; final version, to appear in Algebraic Geometry

We give a classification of the Harish-Chandra modules generated by the pullback to $$\mathrm{SL}_2(\mathbb {R})$$ of harmonic Maass forms for congruence subgroups of $$\mathrm{SL}_2(\mathbb {Z})$$ with exponential growth allowed at the cusps. We assume that the weight is integral but include vector-valued forms. Due to the weak growth condition, these modules do not need to be irreducible. Elementary Lie algebra considerations imply that there are nine possibilities, and we show, by giving explicit examples, that all of them arise from harmonic Maass forms. Finally, we briefly discuss the case of forms that are not harmonic but rather are annihilated by a power of the Laplacian, where much more complicated Harish-Chandra modules can arise. We hope that our classification will prove useful in understanding harmonic Maass forms from a representation theoretic perspective and that it will illustrate in the simplest case the phenomenon of extensions occurring in the space of automorphic forms.

Let $p$ be a prime number, and let $Dist(SL_2)$ be the algebra of distributions, supported at $1$, on the algebraic group $SL_2$ over $\mathbb{F}_p$. The Frobenius map $Fr:SL_2\to SL_2$ induces a map $Fr:Dist(SL_2)\to Dist(SL_2)$ which is in particular a surjective algebra homomorphism. In this note, we construct a section of this map, whenever $p\geq 3$. The main ingredient of this construction is a certain congruence modulo $p^3$, reminiscent of the congruence $\binom{np}{p}\equiv n\mod p^3$.