Related papers: Computing class groups and gonalities of algebraic…

Group convolutions and cross-correlations, which are equivariant to the actions of group elements, are commonly used in mathematics to analyze or take advantage of symmetries inherent in a given problem setting. Here, we provide efficient…

We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's…

We extend methods of Greenberg and the author to compute in the cohomology of a Shimura curve defined over a totally real field with arbitrary class number. Via the Jacquet-Langlands correspondence, we thereby compute systems of Hecke…

We present improvements to the index-calculus algorithm for the computation of the ideal class group and regulator of a real quadratic field. Our improvements consist of applying the double large prime strategy, an improved structured…

We determine the gonality and the Clifford index for curves on a compact smooth toric surface. Moreover, it is shown that their gonality are computed by pencils on the ambient surface. From the geometrical view point, this means that the…

We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic…

Elliptic curves are planar curves which can be used to define an abelian group. The efficient computation of discrete logarithms over this group is a longstanding problem relevant to cryptography. It may be possible to efficiently compute…

We present a fundamental theory of curves in the affine plane and the affine space, equipped with the general-affine groups ${\rm GA}(2)={\rm GL}(2,{\bf R})\ltimes {\bf R}^2$ and ${\rm GA}(3)={\rm GL}(3,{\bf R})\ltimes {\bf R}^3$,…

We extend our method to compute division polynomials of Jacobians of curves over Q to curves over Q(t), in view of computing mod ell Galois representations occurring in the \'etale cohomology of surfaces over Q. Although the division…

We describe an algorithm for splitting permutation representations of finite group over fields of characteristic zero into irreducible components. The algorithm is based on the fact that the components of the invariant inner product in…

We exhibit a quantum algorithm for determining the zeta function of a genus g curve over a finite field F_q, which is polynomial in g and log(q). This amounts to giving an algorithm to produce provably random elements of the class group of…

In this paper we propose a direct and explicit realization of addition of divisors by means of an iterative reduction algorithm. Each iteration of the algorithm is the reduction of a degree $g+1$ divisor to a divisor of degree~$g$. Such an…

Invariant Lagrangians yield invariant Euler-Lagrange equations, and it was discussed in the literature how to compute those using various local methods. The focus of this paper is on global algebraic differential invariants. In this case…

In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we…

In this paper, we classify torsion groups of rational Mordell curves explicitly over cubic fields as well as over sextic fields. Also, we classify torsion groups of Mordell curves over cubic fields and for Mordell curves over sextic fields,…

We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and…

In this paper we present a novel algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from the theories of groups, automata, and inverse semigroups.…

This article extends the study of cyclic ramified covers of the projective line defined by Kummer equations. We consider the most general case of such covers, allowing arbitrary orders in the roots of the generating radicant. The primary…

The "defect" of a curve over a finite field is the difference between the number of rational points on the curve and the Weil-Serre bound for the curve. We present a construction for producing genus-4 double covers of genus-2 curves over…

The main goal of this article is to compute the class of the divisor of $\overline{\mathcal{M}}_3$ obtained by taking the closure of the image of $\Omega\mathcal{M}_3(6;-2)$ by the forgetful map. This is done using Porteous formula and the…