arXiv subjects

Florian Bouyer

Publications and source records attributed to Florian Bouyer.

4 recordsLinked to original sources

arXiv2018

On the arithmetic of a family of degree-two K3 surfaces

Let $\mathbb{P}$ denote the weighted projective space with weights $(1,1,1,3)$ over the rationals, with coordinates $x,y,z,$ and $w$; let $\mathcal{X}$ be the generic element of the family of surfaces in $\mathbb{P}$ given by \begin{equation*} X\colon w^2=x^6+y^6+z^6+tx^2y^2z^2. \end{equation*} The surface $\mathcal{X}$ is a K3 surface over the function field $\mathbb{Q}(t)$. In this paper, we explicitly compute the geometric Picard lattice of $\mathcal{X}$, together with its Galois module structure, as well as derive more results on the arithmetic of $\mathcal{X}$ and other elements of the family $X$.

math.NT↗

arXiv2017

The Picard Group of Various Families of $(\mathbb{Z}/2\mathbb{Z})^{4}$-invariant Quartic K3 Surfaces

The subject of this paper is the study of various families of quartic K3 surfaces which are invariant under a certain $(\mathbb{Z}/2\mathbb{Z})^{4}$ action. In particular, we describe families whose general member contains $8,16,24$ or $32$ lines as well as the $320$ conics found by Eklund (some of which degenerate into the mentioned lines). The second half of this paper is dedicated to finding the Picard group of a general member of each of these families, and describing it as a lattice. It turns out that for each family the Picard group of a very general surface is generated by the lines and conics lying on said surface.

math.AG↗

arXiv2015

On the Monodromy and Galois Group of Conics Lying on Heisenberg Invariant Quartic K3 Surfaces

In "Curves on Heisenberg invariant quartic surfaces in projective 3-space", Eklund showed that a general $(\mathbb{Z}/2\mathbb{Z})^{4}$-invariant quartic K3 surface contains at least $320$ conics. In this paper we analyse the field of definition of those conics as well as their Monodromy group. As a result, we prove that the moduli space $(\mathbb{Z}/2\mathbb{Z})^{4}$-invariant quartic K3 surface with a marked conic has $10$ irreducible components.

math.AG↗

arXiv2015

Examples of CM curves of genus two defined over the reflex field

In "Proving that a genus 2 curve has complex multiplication", van Wamelen lists 19 curves of genus two over $\mathbf{Q}$ with complex multiplication (CM). For each of the 19 curves, the CM-field turns out to be cyclic Galois over $\mathbf{Q}$. The generic case of non-Galois quartic CM-fields did not feature in this list, as the field of definition in that case always contains a real quadratic field, known as the real quadratic subfield of the reflex field. We extend van Wamelen's list to include curves of genus two defined over this real quadratic field. Our list therefore contains the smallest "generic" examples of CM curves of genus two. We explain our methods for obtaining this list, including a new height-reduction algorithm for arbitrary hyperelliptic curves over totally real number fields. Unlike Van Wamelen, we also give a proof of our list, which is made possible by our implementation of denominator bounds of Lauter and Viray for Igusa class polynomials.

math.NT↗