Related papers: Explicit Coleman integration for curves
We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gr\"obner basis…
We calculate the tropical Dolbeault cohomology for the analytifications of the projective line and Mumford curves over non-archimedean fields. We show that the cohomology satisfies Poincar\'e duality and behaves analogously to the…
The aim of this paper is to compute the Frobenius structures of some cohomological operators of arithmetic $\ms{D}$-modules. To do this, we calculate explicitly an isomorphism between canonical sheaves defined abstractly. Using this…
We describe a polynomial-time algorithm to compute a (tight) geodesic between two curves in the curve graph. As well as enabling us to compute the distance between a pair of curves, this has several applications to mapping classes. For…
We generalize Siegel's theorem on integral points on affine curves to integral points of bounded degree, giving a complete characterization of affine curves with infinitely many integral points of degree d or less over some number field.…
We introduce real-valued $(p,q)$-forms on weighted metric graphs with boundary similar to Lagerberg forms on polyhedral spaces. We compute the Dolbeault cohomology and prove Poincar\'e duality. Using Thuillier's thesis, the skeleton of a…
The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…
In this paper, we construct a $p$-adic path integral via $p$-adic multiple integrals. This integral describes the evolution of a wave function $\Psi(x)$, which is defined as a map from a domain in $\mathbb{C}_{p}$ to $\mathbb{C}_{p}$. We…
We review certain classes of iterated integrals that appear in the computation of Feynman integrals that involve elliptic functions. These functions generalise the well-known class of multiple polylogarithms to elliptic curves and are…
New approach to systems of polynomial recursions is developed based on the Carleman linearization procedure. The article is divided into two main sections: firstly, we focus on the case of uni-variable depth-one polynomial recurrences.…
In this, the last of three papers about $C_2$-equivariant complex quadrics, we complete the calculation of the equivariant ordinary cohomology of smooth symmetric quadrics in the cases where the fixed sets have more than two components.…
In recent years, differential equations have become the method of choice to compute multi-loop Feynman integrals. Whenever they can be cast into canonical form, their solution in terms of special functions is straightforward. Recently,…
In the 1960s, Dwork developed a p-adic cohomology theory of de Rham type for varieties over finite fields, based on a trace formula for the action of a Frobenius operator on certain spaces of p-adic analytic functions. One can consider a…
We compute the cohomological invariants with coefficients in $\mathbb{Z}/p\mathbb{Z}$ of the stack $\mathscr{H}_3$ of hyperelliptic curves of genus $3$ over an algebraically closed field.
We introduce a simple procedure to integrate differential forms with arbitrary holomorphic poles on Riemann surfaces. It gives rise to an intrinsic regularization of such singular integrals in terms of the underlying conformal geometry.…
We introduce operations with p-adic integer coefficients, associated to idempotents in the quantum cohomology of a monotone symplectic manifold, and apply them to the structure of the quantum connection.
For affine algebraic plane curves we reduce a calculation of its invariants to calculation of the intersection of kernels of some derivations.
It is well known that the validity of the so called Lenard-Magri scheme of integrability of a bi-Hamiltonian PDE can be established if one has some precise information on the corresponding 1st variational Poisson cohomology for one of the…
The Andr\'e-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on K\"ahler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure…
A plane algebraic curve whose Newton polygone contains d lattice points can be given by d points it passes through. Then the coefficients of its equation Poisson commute having been regarded as functions of coordinates of those points. It…