-
Local Zeta Functions of Multiparameter Calabi-Yau Threefolds from the Picard-Fuchs Equations
Authors:
Philip Candelas,
Xenia de la Ossa,
Pyry Kuusela
Abstract:
The deformation approach of arXiv:2104.07816 for computing zeta functions of one-parameter Calabi-Yau threefolds is generalised to cover also multiparameter manifolds. Consideration of the multiparameter case requires the development of an improved formalism. This allows us, among other things, to make progress on some issues left open in previous work, such as the treatment of apparent and conifo…
▽ More
The deformation approach of arXiv:2104.07816 for computing zeta functions of one-parameter Calabi-Yau threefolds is generalised to cover also multiparameter manifolds. Consideration of the multiparameter case requires the development of an improved formalism. This allows us, among other things, to make progress on some issues left open in previous work, such as the treatment of apparent and conifold singularities and changes of coordinates. We also discuss the efficient numerical computation of the zeta functions. As examples, we compute the zeta functions of the two-parameter mirror octic, a non-symmetric split of the quintic threefold also with two parameters, and the $S_5$ symmetric five-parameter Hulek-Verrill manifolds. These examples allow us to exhibit the several new types of geometries for which our methods make practical computations possible. They also act as consistency checks, as our results reproduce and extend those of arXiv:hep-th/0409202 and arXiv:math/0304169. To make the methods developed here more approachable, a Mathematica package "CY3Zeta" for computing the zeta functions of Calabi-Yau threefolds, which is attached to this paper, is presented.
△ Less
Submitted 19 March, 2025; v1 submitted 13 May, 2024;
originally announced May 2024.
-
A Calabi-Yau-to-Curve Correspondence for Feynman Integrals
Authors:
Hans Jockers,
Sören Kotlewski,
Pyry Kuusela,
Andrew J. McLeod,
Sebastian Pögel,
Maik Sarve,
Xing Wang,
Stefan Weinzierl
Abstract:
It has long been known that the maximal cut of the equal-mass four-loop banana integral is a period of a family of Calabi-Yau threefolds that depends on the kinematic variable $z=m^2/p^2$. We show that it can also be interpreted as a period of a family of genus-two curves. We do this by introducing a general Calabi-Yau-to-curve correspondence, which in this case locally relates the original period…
▽ More
It has long been known that the maximal cut of the equal-mass four-loop banana integral is a period of a family of Calabi-Yau threefolds that depends on the kinematic variable $z=m^2/p^2$. We show that it can also be interpreted as a period of a family of genus-two curves. We do this by introducing a general Calabi-Yau-to-curve correspondence, which in this case locally relates the original period of the family of Calabi-Yau threefolds to a period of a family of genus-two curves that varies holomorphically with the kinematic variable $z$. In addition to working out the concrete details of this correspondence for the equal-mass four-loop banana integral, we outline when we expect a correspondence of this type to hold.
△ Less
Submitted 10 January, 2025; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Modular Calabi-Yau Fourfolds and Connections to M-Theory Fluxes
Authors:
Hans Jockers,
Sören Kotlewski,
Pyry Kuusela
Abstract:
In this work, we study the local zeta functions of Calabi-Yau fourfolds. This is done by developing arithmetic deformation techniques to compute the factor of the zeta function that is attributed to the horizontal four-form cohomology. This, in turn, is sensitive to the complex structure of the fourfold. Focusing mainly on examples of fourfolds with a single complex structure parameter, it is demo…
▽ More
In this work, we study the local zeta functions of Calabi-Yau fourfolds. This is done by developing arithmetic deformation techniques to compute the factor of the zeta function that is attributed to the horizontal four-form cohomology. This, in turn, is sensitive to the complex structure of the fourfold. Focusing mainly on examples of fourfolds with a single complex structure parameter, it is demonstrated that the proposed arithmetic techniques are both applicable and consistent. We present a Calabi-Yau fourfold for which a factor of the horizontal four-form cohomology further splits into two pieces of Hodge type $(4,0)+(2,2)+(0,4)$ and $(3,1)+(1,3)$. The latter factor corresponds to a weight-3 modular form, which allows expressing the value of the periods in terms of critical values of the L-function of this modular form, in accordance with Deligne's conjecture. The arithmetic considerations are related to M-theory Calabi-Yau fourfold compactifications with background four-form fluxes. We classify such background fluxes according to their Hodge type. For those fluxes associated to modular forms, we express their couplings in the low-energy effective action in terms of L-function values.
△ Less
Submitted 11 October, 2024; v1 submitted 11 December, 2023;
originally announced December 2023.
-
Reflections in the Mirror: Studying Infinite Coxeter Groups of GV-Invariants
Authors:
Pyry Kuusela,
Joseph McGovern
Abstract:
We study the problem of computing Gopakumar-Vafa invariants for multiparameter families of symmetric Calabi-Yau threefolds admitting flops to diffeomorphic manifolds. There are infinite Coxeter groups, generated by permutations and flops, that act as symmetries on the GV-invariants of these manifolds. We describe how these groups are related to symmetries in GLSMs and the existence of multiple mir…
▽ More
We study the problem of computing Gopakumar-Vafa invariants for multiparameter families of symmetric Calabi-Yau threefolds admitting flops to diffeomorphic manifolds. There are infinite Coxeter groups, generated by permutations and flops, that act as symmetries on the GV-invariants of these manifolds. We describe how these groups are related to symmetries in GLSMs and the existence of multiple mirrors. Some representation theory of these Coxeter groups is also discussed. The symmetries provide an infinite number of relations between the GV-invariants for each fixed genus. This remarkable fact is of assistance in obtaining higher-genus invariants via the BCOV recursion. This proceedings article is based on joint work with Philip Candelas and Xenia de la Ossa.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Flux Vacua and Modularity for $\mathbb{Z}_2$ Symmetric Calabi-Yau Manifolds
Authors:
Philip Candelas,
Xenia de la Ossa,
Pyry Kuusela,
Joseph McGovern
Abstract:
We find continuous families of supersymmetric flux vacua in IIB Calabi-Yau compactifications for multiparameter manifolds with an appropriate $\mathbb{Z}_2$ symmetry. We argue, supported by extensive computational evidence, that the numerators of the local zeta functions of these compactification manifolds have quadratic factors. These factors are associated with weight-two modular forms, and thes…
▽ More
We find continuous families of supersymmetric flux vacua in IIB Calabi-Yau compactifications for multiparameter manifolds with an appropriate $\mathbb{Z}_2$ symmetry. We argue, supported by extensive computational evidence, that the numerators of the local zeta functions of these compactification manifolds have quadratic factors. These factors are associated with weight-two modular forms, and these manifolds are said to be weight-two modular. Our evidence supports the flux modularity conjecture of Kachru, Nally, and Yang. The modular forms are related to a continuous family of elliptic curves. The flux vacua can be lifted to F-theory on elliptically fibred Calabi-Yau fourfolds. If conjectural expressions for Deligne's periods are true, then these imply that the F-theory fibre is complex-isomorphic to the modular curve. In three examples, we compute the local zeta function of the internal geometry using an extension of known methods, which we discuss here and in more detail in a companion paper. With these techniques, we are able to compare the zeta function coefficients to modular form Fourier coefficients for hundreds of manifolds in three distinct families, finding agreement in all cases. Our techniques enable us to study not only parameters valued in $\mathbb{Q}$ but also in algebraic extensions of $\mathbb{Q}$, so exhibiting relations to Hilbert and Bianchi modular forms. We present in appendices the zeta function numerators of these manifolds, together with the corresponding modular forms.
△ Less
Submitted 19 July, 2023; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Mirror Symmetry for Five-Parameter Hulek-Verrill Manifolds
Authors:
Philip Candelas,
Xenia de la Ossa,
Pyry Kuusela,
Joseph McGovern
Abstract:
We study the mirrors of five-parameter Calabi-Yau threefolds first studied by Hulek and Verrill in the context of observed modular behaviour of the zeta functions for Calabi-Yau manifolds. Toric geometry allows for a simple explicit construction of these mirrors, which turn out to be familiar manifolds. These are elliptically fibred in multiple ways. By studying the singular fibres, we are able to…
▽ More
We study the mirrors of five-parameter Calabi-Yau threefolds first studied by Hulek and Verrill in the context of observed modular behaviour of the zeta functions for Calabi-Yau manifolds. Toric geometry allows for a simple explicit construction of these mirrors, which turn out to be familiar manifolds. These are elliptically fibred in multiple ways. By studying the singular fibres, we are able to identify the rational curves of low degree on the mirror manifolds. This verifies the mirror symmetry prediction obtained by studying the mirror map near large complex structure points. We undertake also an extensive study of the periods of the Hulek-Verrill manifolds and their monodromies. On the mirror, we compute the genus-zero and -one instanton numbers, which are labelled by 5 indices, as $h^{1,1}=5$. There is an obvious permutation symmetry on these indices, but in addition there is a surprising repetition of values. We trace this back to an $S_{6}$ symmetry made manifest by certain constructions of the complex structure moduli space of the Hulek-Verrill manifold. Among other consequences, we see in this way that the moduli space has six large complex structure limits. It is the freedom to expand the prepotential about any one of these points that leads to this symmetry in the instanton numbers. An intriguing fact is that the group that acts on the instanton numbers is larger than $S_6$ and is in fact an infinite hyperbolic Coxeter group, that we study. The group orbits have a 'web' structure, and with certain qualifications the instanton numbers are only nonzero if they belong to what we term 'positive webs'. This structure has consequences for instanton numbers at all genera.
△ Less
Submitted 24 January, 2023; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Relaxed Gauss-Newton methods with applications to electrical impedance tomography
Authors:
Jyrki Jauhiainen,
Petri Kuusela,
Aku Seppänen,
Tuomo Valkonen
Abstract:
As second-order methods, Gauss--Newton-type methods can be more effective than first-order methods for the solution of nonsmooth optimization problems with expensive-to-evaluate smooth components. Such methods, however, often do not converge. Motivated by nonlinear inverse problems with nonsmooth regularization, we propose a new Gauss--Newton-type method with inexact relaxed steps. We prove that t…
▽ More
As second-order methods, Gauss--Newton-type methods can be more effective than first-order methods for the solution of nonsmooth optimization problems with expensive-to-evaluate smooth components. Such methods, however, often do not converge. Motivated by nonlinear inverse problems with nonsmooth regularization, we propose a new Gauss--Newton-type method with inexact relaxed steps. We prove that the method converges to a set of disjoint critical points given that the linearisation of the forward operator for the inverse problem is sufficiently precise. We extensively evaluate the performance of the method on electrical impedance tomography (EIT).
△ Less
Submitted 12 May, 2020; v1 submitted 19 February, 2020;
originally announced February 2020.
-
Learning Complexity Dimensions for a Continuous-Time Control System
Authors:
Pirkko Kuusela,
Daniel Ocone,
Eduardo D. Sontag
Abstract:
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that input signals have only a finite number k of frequency components, and systems to be identified have dimension no greater than n. The main result establishes that the sample complexity needed for identification scales polynomially with n and logarithmically with k.
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that input signals have only a finite number k of frequency components, and systems to be identified have dimension no greater than n. The main result establishes that the sample complexity needed for identification scales polynomially with n and logarithmically with k.
△ Less
Submitted 19 December, 2000; v1 submitted 18 December, 2000;
originally announced December 2000.