Related papers: A point counting algorithm using cohomology with c…
This paper is concerned with the computation of representation matrices for the action of Frobenius to the cohomology groups of algebraic varieties. Specifically we shall give an algorithm to compute the matrices for arbitrary algebraic…
We propose a method for calculating cohomology operations for finite simplicial complexes. Of course, there exist well--known methods for computing (co)homology groups, for example, the reduction algorithm consisting in reducing the…
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…
We compute rational points on genus $3$ odd degree hyperelliptic curves $C$ over $\mathbb{Q}$ that have Jacobians of Mordell-Weil rank $0$. The computation applies the Chabauty-Coleman method to find the zero set of a certain system of…
We present a Kedlaya-style point counting algorithm for cyclic covers $y^r = f(x)$ over a finite field $\mathbb{F}_{p^n}$ with $p$ not dividing $r$, and $r$ and $\deg{f}$ not necessarily coprime. This algorithm generalizes the…
We compute quantum cohomology ring of elliptic $\mathbb{P}^1$ orbifolds via orbi-curve counting. The main technique is the classification theorem which relates holomorphic orbi-curves with certain orbifold coverings. The countings of…
We make cohomological computations related to the moduli space of genus three curves with symplectic level two structure by means of counting points over finite fields. In particular, we determine the cohomology groups of the quartic locus…
As a part of our program for Geometric Arithmetic, we develop an arithmetic cohomology theory for number fields using theory of locally compact groups.
We exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time--space complexity is roughly quadratic in the logarithm of the…
Let E_G be a family of hyperelliptic curves over F2^(alg cl) with general Weierstrass equation given over a very small field F. We describe in this paper an algorithm to compute the zeta function of E_g for g in a degree n extension field…
We present an efficient method for the computation of homogenized coefficients of divergence-form operators with random coefficients. The approach is based on a multiscale representation of the homogenized coefficients. We then implement…
Let E be an elliptic curve having complex multiplication by a given quadratic order of an imaginary quadratic field K. The field of definition of E is the ring class field Omega of the order. If the prime p splits completely in Omega, then…
This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision,…
In this paper we propose a novel efficient algorithm for calculating winding numbers, aiming at counting the number of roots of a given polynomial in a convex region on the complex plane. This algorithm can be used for counting and…
Topological data analysis has emerged as a powerful tool for analyzing large-scale data. An abstract simplicial complex, in principle, can be built from data points, and by using tools from homology, topological features could be…
In this paper we prove an explicit version of a function field analogue of a classical result of Odoni about norms in number fields in the case of a cyclic Galois extensions. In the particular case of a quadratic extension, we recover the…
De Rham cohomology with spacelike compact and timelike compact supports has recently been noticed to be of importance for understanding the structure of classical and quantum Maxwell theory on curved spacetimes. Similarly causally…
We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by P. Deligne in the context of the mixed…
Cohomology operations (including the cohomology ring) of a geometric object are finer algebraic invariants than the homology of it. In the literature, there exist various algorithms for computing the homology groups of simplicial complexes…
Using Semaev's summation polynomials, we derive a new equation for the $\mathbb{F}_q$-rational points of the trace zero variety of an elliptic curve defined over $\mathbb{F}_q$. Using this equation, we produce an optimal-size representation…