Search

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a point of $X$ in fact globally comes from a point of $X$. We show that $X/\mathbb{Q}$ satisfies this version of the Section Conjecture if it satisfies Kim's Conjecture for almost all choices of auxiliary prime $p$, and give the appropriate generalisation to $S$-integral points on hyperbolic curves. This gives a new "computational" strategy for proving instances of this variant of the Section Conjecture, which we carry out for the thrice-punctured line over $\mathbb{Z}[1/2]$.

Kontsevich's 1997 formula for the deformation quantization of Poisson brackets is a Feynman expansion involving volume integrals over moduli spaces of marked disks. We develop a systematic theory of integration on these moduli spaces via suitable algebras of polylogarithms, and use it to prove that Kontsevich's integrals can be expressed as integer-linear combinations of multiple zeta values. Our proof gives a concrete algorithm for calculating the integrals, which we have used to produce the first software package for the symbolic calculation of Kontsevich's formula., Comment: 71 pages; software available at http://bitbucket.org/bpym/starproducts/ and https://bitbucket.org/PanzerErik/kontsevint/

We compute the rational points on the Atkin-Lehner quotient $X^+_0(125)$ using the quadratic Chabauty method. Our work completes the study of exceptional rational points on the curves $X^+_0(N)$ of genus between 2 and 6. Together with the work of several authors, this completes the proof of a conjecture of Galbraith.

We solve two related Gauss problems. In the arithmetic setting, we consider genera of maximal $O$-lattices, where $O$ is the maximal order in a definite quaternion $\mathbb{Q}$-algebra, and we list all cases where they have class number $1$. We also prove a unique orthogonal decomposition result for more general $O$-lattices. In the geometric setting, we study the Siegel modular variety $\mathcal{A}_g \otimes \overline{\mathbb{F}}_p$ of genus $g$, and we list all $x$ in $\mathcal{A}_g \otimes \overline{\mathbb{F}}_p$ for which the corresponding central leaf $\mathcal{C}(x)$ consists of one point, that is, such that $x$ is the unique point in the locus consisting of the points whose associated polarised $p$-divisible groups are isomorphic to that of $x$. The solution to the second Gauss problem involves mass formulae, computations of automorphism groups, and a careful analysis of Ekedahl-Oort strata in genus $g = 4$.

Feynman integrals are central to all calculations in perturbative Quantum Field Theory. They often give rise to iterated integrals of dlog-forms with algebraic arguments, which in many cases can be evaluated in terms of multiple polylogarithms. This has led to certain folklore beliefs in the community stating that all such integrals evaluate to polylogarithms. Here we discuss a concrete example of a double iterated integral of two dlog-forms that evaluates to a period of a cusp form. The motivic versions of these integrals are shown to be algebraically independent from all multiple polylogarithms evaluated at algebraic arguments. From a mathematical perspective, we study a mixed elliptic Hodge structure arising from a simple geometric configuration in $\mathbb{P}^2$, consisting of a modular plane elliptic curve and a set of lines which meet it at torsion points, which may provide an interesting worked example from the point of view of periods, extensions of motives, and L-functions., 25 pages, 4 figures. To appear in the proceedings of "Mathemamplitudes", held in Padova in December 2019

Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ dimensional abelian varieties defined over $\mathbb{F}_q$ which fail this condition is $1 - Q(2g + 2)/2^g$ as $q\to\infty$ ranges over odd prime powers, where $Q(n)$ denotes the number of partitions of $n$ into odd parts.

A new approach has been recently developed to study the arithmetic of hyperelliptic curves $y^2=f(x)$ over local fields of odd residue characteristic via combinatorial data associated to the roots of $f$. Since its introduction, numerous papers have used this machinery of "cluster pictures" to compute a plethora of arithmetic invariants associated to these curves. The purpose of this user's guide is to summarise and centralise all of these results in a self-contained fashion, complemented by an abundance of examples., Minor changes. To appear in the Bulletin of the London Mathematical Society

We show that an orthogonal root number of a tempered L-parameter decomposes as the product of two other numbers: the orthogonal root number of the principal parameter and the value on a certain involution of Langlands's central character for the parameter. The formula resolves a conjecture of Gross and Reeder and computes root numbers of Weil-Deligne representations arising in the work of Hiraga, Ichino, and Ikeda on the Plancherel measure., Comment: 31 pages. Comments welcome!

Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ dimensional abelian varieties defined over $\mathbb{F}_q$ which fail this condition is $1 - Q(2g + 2)/2^g$ as $q\to\infty$ ranges over odd prime powers, where $Q(n)$ denotes the number of partitions of $n$ into odd parts.

We define a variant of real-analytic polylogarithms that are single-valued and that satisfy ''clean'' functional relations that do not involve any products of lower weight functions. We discuss the basic properties of these functions and, for depths one and two, we present some explicit formulas and results. We also give explicit formulas for the single-valued and clean single-valued version attached to the Nielsen polylogarithms $S_{n,2}(x)$, and we show how the clean single-valued functions give new evaluations of multiple polylogarithms at certain algebraic points., Special Issue on Algebraic Structures in Perturbative Quantum Field Theory in honor of Dirk Kreimer for his 60th birthday

In this paper, we improve the algorithms of Lauder-Wan \cite{LW} and Harvey \cite{Ha} to compute the zeta function of a system of $m$ polynomial equations in $n$ variables over the finite field $\FF_q$ of $q$ elements, for $m$ large. The dependence on $m$ in the original algorithms was exponential in $m$. Our main result is a reduction of the exponential dependence on $m$ to a polynomial dependence on $m$. As an application, we speed up a doubly exponential time algorithm from a software verification paper \cite{BJK} (on universal equivalence of programs over finite fields) to singly exponential time. One key new ingredient is an effective version of the classical Kronecker theorem which (set-theoretically) reduces the number of defining equations for a "large" polynomial system over $\FF_q$ when $q$ is suitably large.