Related papers: An algorithm to compute Selmer groups via resoluti…
In the study of the arithmetic structure of elliptic modular groups which are the fundamental groups of compactified modular curves, these truncated group algebras and their direct sums are considered to construct elliptic modular motives.…
Given a finitely presented group $G$, Hopf's formula expresses the second integral homology of $G$ in terms of generators and relators. We give an algorithm that exploits Hopf's formula to estimate $H_2(G;k)$, with coefficients in a finite…
We address several seemingly disparate problems in arithmetic geometry: the statistical behaviour of the Galois module structure of Mordell--Weil groups of a fixed elliptic curve over varying quadratic extensions; the frequency of failure…
The aim of this paper is to present an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. An implementation of the algorithm is available to download from [19]. The exposition is…
For any abelian variety J over a global field k and an isogeny phi: J -> J, the Selmer group Sel^phi(J,k) is a subgroup of the Galois cohomology group H^1(Gal(ksep/k), J[phi]), defined in terms of local data. When J is the Jacobian of a…
Using combinatorial properties of symmetric polynomials, we compute explicitly the Soergel modules for some permutations whose corresponding Schubert varieties are rationally smooth. We build from them diagram algebras whose module…
Let $G$ denote a linear algebraic group over $\mathbf{Q}$ and $K$ and $L$ two number fields. Assume that there is a group isomorphism of points on $G$ over the finite adeles of $K$ and $L$, respectively. We establish conditions on the group…
The computation of the normaliser of a permutation group in the full symmetric group is an important and hard problem in computational group theory. This article reports on an algorithm that builds a descending chain of overgroups to…
We compute the Selberg trace formula for Hecke operators (also called the trace formula for modular correspondences) in the context of cocompact Kleinian groups with finite-dimentional unitary representations. We give some applications to…
Let F be a real quadratic field with ring of integers O and with class number 1. Let Gamma be a congruence subgroup of GL_2 (O). We describe a technique to compute the action of the Hecke operators on the cohomology H^3 (Gamma; C). For F…
We construct a family of exact functors from the BGG category of representations of the Lie algebra sl to the category of finite-dimensional representations of the degenerate (or graded) affine Hecke algebra H of GL. These functors…
The question whether there exists an integral solution to the system of linear equations with non-negative constraints, $A\x = \b, \, \x \ge 0$, where $A \in \Z^{m\times n}$ and ${\mathbf b} \in \Z^m$, finds its applications in many areas,…
The article presents several methods for the arithmetic of finite abelian groups. We introduce a tool - already used by Delsarte in [1] as I found out later - analogous to Dirichlet's convolution to obtain combinatorial results on these…
If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$…
We describe an algorithm for obtaining generators of the unit group of the integral group ring ZG of a finite abelian group G. We used our implementation in Magma of this algorithm to compute the unit groups of ZG for G of order up to 110.…
We present new computational results for symplectic monodromy groups of hypergeometric differential equations. In particular, we compute the arithmetic closure of each group, sometimes justifying arithmeticity. The results are obtained by…
Let $p\geq 5$ be a prime. We construct modular Galois representations for which the $\mathbb{Z}_p$-corank of the $p$-primary Selmer group (i.e., $\lambda$-invariant) over the cyclotomic $\mathbb{Z}_p$-extension is large. More precisely, for…
We present a general algorithm for constructing a free resolution for unit groups of orders in semisimple rational algebras. The approach is based on computing a contractible $G$-complex employing the theory of minimal classes of quadratic…
We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $\sigma$ that is either a shift $\sigma:x\mapsto x+1$, $q$-dilation $\sigma:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root…
This paper studies the number of monic integer polynomials $f$ of height at most $H$ whose Galois group, endowed with the action on the roots, is isomorphic to a prescribed permutation group $(G,\Omega)$. New upper bounds are obtained for…