Showing 1–15 of 15 results for author: Festi, D

Examples of real stable bundles on K3 surfaces

Authors: Dino Festi, Daniel Platt, Ragini Singhal, Yuuji Tanaka

Abstract: Motivated by gauge theory on manifolds with exceptional holonomy, we construct examples of stable bundles on K3 surfaces that are invariant under two involutions: one is holomorphic; and the other is anti-holomorphic. These bundles are obtained via the monad construction, and stability is examined using the Generalised Hoppe Criterion of Jardim-Menet-Prata-Sá Earp, which requires verifying an arit… ▽ More Motivated by gauge theory on manifolds with exceptional holonomy, we construct examples of stable bundles on K3 surfaces that are invariant under two involutions: one is holomorphic; and the other is anti-holomorphic. These bundles are obtained via the monad construction, and stability is examined using the Generalised Hoppe Criterion of Jardim-Menet-Prata-Sá Earp, which requires verifying an arithmetic condition for elements in the Picard group of the surfaces. We establish this by using computer aid in two critical steps: first, we construct K3 surfaces with small Picard group-one branched double cover of $\mathbb{P}^1 \times \mathbb{P}^1$ with Picard rank $2$ using a new method which may be of independent interest; and second, we verify the arithmetic condition for carefully chosen elements of the Picard group, which provides a systematic approach for constructing further examples. △ Less

Submitted 4 March, 2025; originally announced March 2025.

Comments: 19 pages

MSC Class: 14J28

Polarized K3 surfaces with an automorphism of order 3 and low Picard number

Authors: Dino Festi

Abstract: In this paper, for each $d>0$, we study the minimum integer $h_{3,2d}\in \mathbb{N}$ for which there exists a complex polarized K3 surface $(X,H)$ of degree $H^2=2d$ and Picard number $ρ(X):=\textrm{rank } \textrm{Pic } X = h_{3,2d}$ admitting an automorphism of order $3$. We show that $h_{3,2}\in\{ 4,6\}$ and $h_{3,2d}=2$ for $d>1$. Analogously, we study the minimum integer… ▽ More In this paper, for each $d>0$, we study the minimum integer $h_{3,2d}\in \mathbb{N}$ for which there exists a complex polarized K3 surface $(X,H)$ of degree $H^2=2d$ and Picard number $ρ(X):=\textrm{rank } \textrm{Pic } X = h_{3,2d}$ admitting an automorphism of order $3$. We show that $h_{3,2}\in\{ 4,6\}$ and $h_{3,2d}=2$ for $d>1$. Analogously, we study the minimum integer $h^*_{3,2d}\in \mathbb{N}$ for which there exists a complex polarized K3 surface $(X,H)$ as above plus the extra condition that the automorphism acts as the identity on the Picard lattice of $X$. We show that $h^*_{3,2d}$ is equal to $2$ if $d>1$ and equal to $6$ if $d=1$. We provide explicit examples of K3 surfaces defined over $\mathbb{Q}$ realizing these bounds. △ Less

Submitted 25 March, 2024; v1 submitted 30 June, 2023; originally announced June 2023.

Comments: 7 pages, 1 table. Comments welcome. Main result changed due to a mistake in the previous version. To appear on J. Math. Soc. Japan

MSC Class: 14J28; 14J50; 14J10

K3 surfaces with two involutions and low Picard number

Authors: Dino Festi, Wim Nijgh, Daniel Platt

Abstract: Let $X$ be a complex algebraic K3 surface of degree $2d$ and with Picard number $ρ$. Assume that $X$ admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, $ρ\geq 1$ when $d=1$ and $ρ\geq 2$ when $d \geq 2$. For $d=1$, the first example defined over $\mathbb{Q}$ with $ρ=1$ was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also… ▽ More Let $X$ be a complex algebraic K3 surface of degree $2d$ and with Picard number $ρ$. Assume that $X$ admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, $ρ\geq 1$ when $d=1$ and $ρ\geq 2$ when $d \geq 2$. For $d=1$, the first example defined over $\mathbb{Q}$ with $ρ=1$ was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over $\mathbb{Q}$, can be used to realise the minimum $ρ=2$ for all $d\geq 2$. In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum $ρ=2$ for $d=2,3,4$. We also show that a nodal quartic surface can be used to realise the minimum $ρ=2$ for infinitely many different values of $d$. Finally, we strengthen a result of Morrison by showing that for any even lattice $N$ of rank $1\leq r \leq 10$ and signature $(1,r-1)$ there exists a K3 surface $Y$ defined over $\mathbb{R}$ such that $\textrm{Pic} Y_\mathbb{C}=\textrm{Pic} Y \cong N$. △ Less

Submitted 12 February, 2024; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 25 pages, 1 figure. New constructions in sections 6 and 7. Exposition improved. To appear on Geometriae Dedicata

MSC Class: 14J28; 14C22; 11G99

A Calabi-Yau threefold coming from two black holes

Authors: Dino Festi, Bert van Geemen

Abstract: In this paper, we show that a set of six square roots of homogeneous polynomials in four variables, related to a binary system of black holes studied by Stefan Weinzierl, is not rationalizable. We prove it by showing that the variety $X$ associated to the product of four of the six square roots is not unirational. In particular, we show that the smooth model of $X$ is a Calabi-Yau threefold. In this paper, we show that a set of six square roots of homogeneous polynomials in four variables, related to a binary system of black holes studied by Stefan Weinzierl, is not rationalizable. We prove it by showing that the variety $X$ associated to the product of four of the six square roots is not unirational. In particular, we show that the smooth model of $X$ is a Calabi-Yau threefold. △ Less

Submitted 27 September, 2022; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: V.2: Section 4 edited. Conjectures 4.25 and 4.31 changed. Exposition overall (hopefully) improved. Main results untouched. Comments still welcome

MSC Class: 14J32; 14E08; 14G10

Rationalizability of field extensions with a view towards Feynman integrals

Authors: Dino Festi, Andreas Hochenegger

Abstract: In 2021, Marco Besier and the first author introduced the concept of rationalizability of square roots to simplify arguments of Feynman integrals. In this work, we generalize the definition of rationalizability to field extensions. We then show that the rationalizability of a set of quadratic field extensions is equivalent to the rationalizability of the compositum of the field extensions, providi… ▽ More In 2021, Marco Besier and the first author introduced the concept of rationalizability of square roots to simplify arguments of Feynman integrals. In this work, we generalize the definition of rationalizability to field extensions. We then show that the rationalizability of a set of quadratic field extensions is equivalent to the rationalizability of the compositum of the field extensions, providing a new strategy to prove rationalizability of sets of square roots of polynomials. △ Less

Submitted 6 May, 2022; v1 submitted 10 June, 2021; originally announced June 2021.

Comments: 13 pages, minor changes to improve the article. Same content as published version

MSC Class: 14E08; 12F05

Journal ref: Journal of Geometry and Physics, 178:104536, 2022

Enriques involutions on pencils of K3 surfaces

Authors: Dino Festi, Davide Cesare Veniani

Abstract: The three pencils of K3 surfaces of minimal discriminant whose general element covers at least one Enriques surface are Kondō's pencils I and II, and the Apéry--Fermi pencil. We enumerate and investigate all Enriques surfaces covered by their general elements. The three pencils of K3 surfaces of minimal discriminant whose general element covers at least one Enriques surface are Kondō's pencils I and II, and the Apéry--Fermi pencil. We enumerate and investigate all Enriques surfaces covered by their general elements. △ Less

Submitted 28 May, 2021; v1 submitted 12 March, 2021; originally announced March 2021.

Comments: final version accepted on Math. Nachr

Journal ref: Math. Nachr. 295 (2022), no. 7, 1312--1326

Counting elliptic fibrations on K3 surfaces

Authors: Dino Festi, Davide Cesare Veniani

Abstract: We solve the problem of counting jacobian elliptic fibrations on an arbitrary complex projective K3 surface up to automorphisms. We then illustrate our method with several explicit examples. We solve the problem of counting jacobian elliptic fibrations on an arbitrary complex projective K3 surface up to automorphisms. We then illustrate our method with several explicit examples. △ Less

Submitted 1 March, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: More examples added. 27 pages, 7 tables

MSC Class: 14J28 14J27 (14J50)

Journal ref: J. Math. Soc. Japan 75 (2023), no. 4, 1195--1225

Rationalizability of square roots

Authors: Marco Besier, Dino Festi

Abstract: Feynman integral computations in theoretical high energy particle physics frequently involve square roots in the kinematic variables. Physicists often want to solve Feynman integrals in terms of multiple polylogarithms. One way to obtain a solution in terms of these functions is to rationalize all occurring square roots by a suitable variable change. In this paper, we give a rigorous definition of… ▽ More Feynman integral computations in theoretical high energy particle physics frequently involve square roots in the kinematic variables. Physicists often want to solve Feynman integrals in terms of multiple polylogarithms. One way to obtain a solution in terms of these functions is to rationalize all occurring square roots by a suitable variable change. In this paper, we give a rigorous definition of rationalizability for square roots of ratios of polynomials. We show that the problem of deciding whether a single square root is rationalizable can be reformulated in geometrical terms. Using this approach, we give easy criteria to decide rationalizability in most cases of square roots in one and two variables. We also give partial results and strategies to prove or disprove rationalizability of sets of square roots. We apply the results to many examples from actual computations in high energy particle physics. △ Less

Submitted 30 December, 2020; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: 21 pages; minor changes in notation, bibliography updated, some remarks shortened. Final version, to appear on Journal of Symbolic Computations

MSC Class: 14E08

Arithmetic and geometry of a K3 surface emerging from virtual corrections to Drell--Yan scattering

Authors: Marco Besier, Dino Festi, Michael Harrison, Bartosz Naskrecki

Abstract: We study a K3 surface, which appears in the two-loop mixed electroweak-quantum chromodynamic virtual corrections to Drell--Yan scattering. A detailed analysis of the geometric Picard lattice is presented, computing its rank and discriminant in two independent ways: first using explicit divisors on the surface and then using an explicit elliptic fibration. We also study in detail the elliptic fibra… ▽ More We study a K3 surface, which appears in the two-loop mixed electroweak-quantum chromodynamic virtual corrections to Drell--Yan scattering. A detailed analysis of the geometric Picard lattice is presented, computing its rank and discriminant in two independent ways: first using explicit divisors on the surface and then using an explicit elliptic fibration. We also study in detail the elliptic fibrations of the surface and use them to provide an explicit Shioda--Inose structure. Moreover, we point out the physical relevance of our results. △ Less

Submitted 11 June, 2020; v1 submitted 2 August, 2019; originally announced August 2019.

Comments: Revised version. 38 pages, 3 figures. To appear on Communication in Number Theory and Physics. Comments welcome

MSC Class: 14C22; 11G50; 14J81; 14J28; 11G05

Bhabha Scattering and a special pencil of K3 surfaces

Authors: Dino Festi, Duco van Straten

Abstract: We study a pencil of K3 surfaces that appeared in the $2$-loop diagrams in Bhabha scattering. By analysing in detail the Picard lattice of the general and special members of the pencil, we identify the pencil with the celebrated Apéry--Fermi pencil, that was related to Apéry's proof of the irrationality of $ζ(3)$ through the work of F. Beukers, C. Peters and J. Stienstra. The same pencil appears m… ▽ More We study a pencil of K3 surfaces that appeared in the $2$-loop diagrams in Bhabha scattering. By analysing in detail the Picard lattice of the general and special members of the pencil, we identify the pencil with the celebrated Apéry--Fermi pencil, that was related to Apéry's proof of the irrationality of $ζ(3)$ through the work of F. Beukers, C. Peters and J. Stienstra. The same pencil appears miraculously in different and seemingly unrelated physical contexts. △ Less

Submitted 24 October, 2018; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: Minor changes. Comments and suggestions of the referee implemented. 16 pages, 8 figures. Comments very welcome!

MSC Class: 14C22; 14J28; 34L25; 14J81

A practical algorithm to compute the geometric Picard lattice of K3 surfaces of degree $2$

Authors: Dino Festi

Abstract: Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over $k$ of degree $2$, i.e., a double cover of the projective plane over $k$ ramified above a smooth sextic curve. The algorithm might not terminate, but if it terminates then it returns a proven correct ans… ▽ More Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over $k$ of degree $2$, i.e., a double cover of the projective plane over $k$ ramified above a smooth sextic curve. The algorithm might not terminate, but if it terminates then it returns a proven correct answer. △ Less

Submitted 8 October, 2018; v1 submitted 1 August, 2018; originally announced August 2018.

Comments: A remark about an application of the algorithm to quartc surfaces with a node. Proposition 5.1 corrected. Acknowledgements and bibliography updated. Few typos corrected. 14 pages, 1 figure. Comments still welcome!

MSC Class: 14J28; 14C22; 11G99; 65G20

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

Authors: Florian Bouyer, Edgar Costa, Dino Festi, Christopher Nicholls, Mckenzie West

Abstract: 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 e… ▽ More 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$. △ Less

Submitted 24 February, 2018; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 20 pages; v2 with some all additions and clarifications suggested by the referee

MSC Class: 11G35; 14J28

Unirationality of del Pezzo surfaces of degree two over finite fields

Authors: Dino Festi, Ronald van Luijk

Abstract: We prove that every del Pezzo surface of degree two over a finite field is unirational, building on the work of Manin and an extension by Salgado, Testa, and Várilly-Alvarado, who had proved this for all but three surfaces. Over general fields of characteristic not equal to two, we state sufficient conditions for a del Pezzo surface of degree two to be unirational. We prove that every del Pezzo surface of degree two over a finite field is unirational, building on the work of Manin and an extension by Salgado, Testa, and Várilly-Alvarado, who had proved this for all but three surfaces. Over general fields of characteristic not equal to two, we state sufficient conditions for a del Pezzo surface of degree two to be unirational. △ Less

Submitted 5 May, 2015; originally announced May 2015.

Comments: This is a short version (5 pages) of arXiv:1408.0269; the longer version contains more details and more general results

MSC Class: 14J26; 14G15

Unirationality of del Pezzo surfaces of degree two over finite fields (extended version)

Authors: Dino Festi, Ronald van Luijk

Abstract: We prove that every del Pezzo surface of degree two over a finite field is unirational, building on the work of Manin and an extension by Salgado, Testa, and Várilly-Alvarado, who had proved this for all but three surfaces. Over general fields, we state several sufficient conditions for a del Pezzo surface of degree two to be unirational. We prove that every del Pezzo surface of degree two over a finite field is unirational, building on the work of Manin and an extension by Salgado, Testa, and Várilly-Alvarado, who had proved this for all but three surfaces. Over general fields, we state several sufficient conditions for a del Pezzo surface of degree two to be unirational. △ Less

Submitted 5 May, 2015; v1 submitted 1 August, 2014; originally announced August 2014.

Comments: Some minor changes, including the title. We have posted a shorter version with the original title and we have called this the extended version. 21 pages; a file with magma code verifying some computational claims can be obtained by downloading the source

MSC Class: 14J26; 14G15

The Cayley-Oguiso automorphism of positive entropy on a K3 surface

Authors: Dino Festi, Alice Garbagnati, Bert van Geemen, Ronald van Luijk

Abstract: Recently Oguiso showed the existence of K3 surfaces that admit a fixed point free automorphism of positive entropy. The K3 surfaces used by Oguiso have a particular rank two Picard lattice. We show, using results of Beauville, that these surfaces are therefore determinantal quartic surfaces. Long ago, Cayley constructed an automorphism of such determinantal surfaces. We show that Cayley's automorp… ▽ More Recently Oguiso showed the existence of K3 surfaces that admit a fixed point free automorphism of positive entropy. The K3 surfaces used by Oguiso have a particular rank two Picard lattice. We show, using results of Beauville, that these surfaces are therefore determinantal quartic surfaces. Long ago, Cayley constructed an automorphism of such determinantal surfaces. We show that Cayley's automorphism coincides with Oguiso's free automorphism. We also exhibit an explicit example of a determinantal quartic whose Picard lattice has exactly rank two and for which we thus have an explicit description of the automorphism. △ Less

Submitted 11 December, 2012; v1 submitted 5 August, 2012; originally announced August 2012.

Comments: 22 pages, 1 figure. We added several improvements, as well as a figure. A smaller pdf file with the figure in lower resolution (faster on most viewers) is available by downloading the source under "Other formats"