arXiv subjects
Publications and source records attributed to Jitendra Bajpai.
The main objective of this article is to study the exponential sums associated to Fourier coefficients of modular forms supported at numbers having a fixed set of prime factors. This is achieved by establishing an improvement on Shparlinski's bound for exponential sums attached to certain recurrence sequences over finite fields.
In this article, Eisenstein cohomology of the arithmetic group $G_2(\mathbb{Z})$ with coefficients in any finite dimensional highest weight irreducible representation has been determined. We accomplish this by studying the cohomology of the boundary of the Borel-Serre compactification.
Our computations show that there is a total of $40$ pairs of degree six coprime polynomials $f,g$ where $f(x)=(x-1)^6$, $g$ is a product of cyclotomic polynomials, $g(0)=1$ and $f,g$ form a primitive pair. The aim of this article is to determine whether the corresponding $40$ symplectic hypergeometric groups with a maximally unipotent monodromy follow the same dichotomy between arithmeticity and thinness that holds for the $14$ symplectic hypergeometric groups corresponding to the pairs of degree four polynomials $f,g$ where $f(x)=(x-1)^4$ and $g$ is as described above. As a result we prove that at least $18$ of these $40$ groups are arithmetic in $\mathrm{Sp}(6)$. In addition, we extend our search to all degree six symplectic hypergeometric groups. We find that there is a total of $458$ pairs of polynomials (up to scalar shifts) corresponding to such groups. For $211$ of them, the absolute values of the leading coefficients of the difference polynomials $f-g$ are at most $2$ and the arithmeticity of the corresponding groups follows from Singh and Venkataramana, while the arithmeticity of one more hypergeometric group follows from Detinko, Flannery and Hulpke. In this article, we show the arithmeticity of $160$ of the remaining $246$ hypergeometric groups.
The existence and construction of vector-valued modular forms (vvmf) for any arbitrary Fuchsian group $\mathrm{G}$, for any representation $ρ:\mathrm{G} \longrightarrow \mathrm{GL}_{d}(\mathbb{C})$ of finite image can be established by lifting scalar-valued modular forms of the finite index subgroup $Ker(ρ)$ of $\mathrm{G}$. In this article vvmf are explicitly constructed for any admissible multiplier (representation) $ρ$, see Section 3 for the definition of admissible multiplier. In other words, the following question has been partially answered: For which representations $ρ$ of a given $\mathrm{G}$, is there a vvmf with at least one nonzero component ?
In this article, several cohomology spaces associated to the arithmetic groups $\mathrm{SL}_3(\mathbb{Z})$ and $\mathrm{GL}_3(\mathbb{Z})$ with coefficients in any highest weight representation $\mathcal{M}_λ$ have been computed, where $λ$ denotes their highest weight. Consequently, we obtain detailed information of their Eisenstein cohomology with coefficients in $\mathcal{M}_λ$. When $\mathcal{M}_λ$ is not self dual, the Eisenstein cohomology coincides with the cohomology of the underlying arithmetic group with coefficients in $\mathcal{M}_λ$. In particular, for such a large class of representations we can explicitly describe the cohomology of these two arithmetic groups. We accomplish this by studying the cohomology of the boundary of the Borel-Serre compactification and their Euler characteristic with coefficients in $\mathcal{M}_λ$. At the end, we employ our study to discuss the existence of ghost classes.
A computation shows that there are 77 (up to scalar shifts) possible pairs of integer coefficient polynomials of degree five, having roots of unity as their roots, and satisfying the conditions of Beukers and Heckman [1], so that the Zariski closures of the associated monodromy groups are either finite or the orthogonal groups of non-degenerate and non-positive quadratic forms. Following the criterion of Beukers and Heckman [1], it is easy to check that only 4 of these pairs correspond to finite monodromy groups and only 17 pairs correspond to monodromy groups, for which, the Zariski closures have real rank one. There are remaining 56 pairs, for which, the Zariski closures of the associated monodromy groups have real rank two. It follows from Venkataramana [16] that 11 of these 56 pairs correspond to arithmetic monodromy groups and the arithmeticity of 2 other cases follows from Singh [11]. In this article, we show that 23 of the remaining 43 rank two cases correspond to arithmetic groups.
Let us be given two graphs $Γ_1$, $Γ_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $Γ_1$ to $Γ_2$ can be identified with a coset $H\cdotπ$ inside the symmetric group on $n$ elements. How do we find $π$ and a set of generators of $H$? The challenge of giving an always efficient algorithm answering these questions remained open for a long time. Babai has recently shown how to solve these problems -- and others linked to them -- in quasi-polynomial time, i.e. in time $\exp\left(O(\log n)^{O(1)}\right)$. His strategy is based in part on the algorithm by Luks (1980/82), who solved the case of graphs of bounded degree.
We compute invariants of quadratic forms associated to orthogonal hypergeometric groups of degree five. This allows us to determine some commensurabilities between these groups, as well as to say when some thin groups cannot be conjugate to each other.