-
Deformations of highly symmetric Calabi-Yau Grassmannian hypersurfaces
Authors:
Adriana Salerno,
Ursula Whitcher,
Chenglong Yu
Abstract:
We use arithmetic and Hodge-theoretic techniques to study pencils of Calabi-Yau varieties realized as highly symmetric hypersurfaces in Grassmannians and their quotients, demonstrating that their geometric properties are distinct from the classical mirrors of Calabi-Yau Grassmannian hypersurfaces.
We use arithmetic and Hodge-theoretic techniques to study pencils of Calabi-Yau varieties realized as highly symmetric hypersurfaces in Grassmannians and their quotients, demonstrating that their geometric properties are distinct from the classical mirrors of Calabi-Yau Grassmannian hypersurfaces.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Higher dimensional origami constructions
Authors:
Deveena R. Banerjee,
Sara Chari,
Adriana Salerno
Abstract:
Origami is an ancient art that continues to yield both artistic and scientific insights to this day. In 2012, Buhler, Butler, de Launey, and Graham extended these ideas even further by developing a mathematical construction inspired by origami -- one in which we iteratively construct points on the complex plane (the "paper") from a set of starting points (or "seed points") and lines through those…
▽ More
Origami is an ancient art that continues to yield both artistic and scientific insights to this day. In 2012, Buhler, Butler, de Launey, and Graham extended these ideas even further by developing a mathematical construction inspired by origami -- one in which we iteratively construct points on the complex plane (the "paper") from a set of starting points (or "seed points") and lines through those points with prescribed angles (or the allowable "folds" on our paper). Any two lines with these prescribed angles through the seed points that intersect generate a new point, and by iterating this process for each pair of points formed, we generate a subset of the complex plane. We extend previously known results about the algebraic and geometric structure of these sets to higher dimensions. In the case when the set obtained is a lattice, we explore the relationship between the set of angles and the generators of the lattice and determine how introducing a new angle alters the lattice.
△ Less
Submitted 26 May, 2022; v1 submitted 15 October, 2021;
originally announced October 2021.
-
Hasse--Witt matrices and mirror toric pencils
Authors:
Adriana Salerno,
Ursula Whitcher
Abstract:
Mirror symmetry suggests unexpected relationships between arithmetic properties of distinct families of algebraic varieties. For example, Wan and others have shown that for some mirror pairs, the number of rational points over a finite field matches modulo the order of the field. In this paper, we obtain a similar result for certain mirror pairs of toric hypersurfaces. We use recent results by Hua…
▽ More
Mirror symmetry suggests unexpected relationships between arithmetic properties of distinct families of algebraic varieties. For example, Wan and others have shown that for some mirror pairs, the number of rational points over a finite field matches modulo the order of the field. In this paper, we obtain a similar result for certain mirror pairs of toric hypersurfaces. We use recent results by Huang, Lian, Yau and Yu describing the relationship between the Picard-Fuchs equations of these varieties and their Hasse--Witt matrices, which encapsulate information about the number of points. The result allows us to compute the number of points modulo the order of the field explicitly. We illustrate this by computing K3 surface examples related to hypergeometric functions.
△ Less
Submitted 2 February, 2024; v1 submitted 19 June, 2020;
originally announced June 2020.
-
Hypergeometric decomposition of symmetric K3 quartic pencils
Authors:
Charles F. Doran,
Tyler L. Kelly,
Adriana Salerno,
Steven Sperber,
John Voight,
Ursula Whitcher
Abstract:
We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in t…
▽ More
We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in terms of global L-functions. This computation gives a complete, explicit description of the motives for these pencils in terms of hypergeometric motives.
△ Less
Submitted 24 January, 2020; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Integrality properties of Böttcher coordinates for one-dimensional superattracting germs
Authors:
Adriana Salerno,
Joseph H. Silverman
Abstract:
Let $R$ be a ring of characteristic $0$ with field of fractions $K$, and let $m\ge2$. The Böttcher coordinate of a power series $\varphi(x)\in x^m + x^{m+1}R[\![x]\!]$ is the unique power series $f_\varphi(x)\in x+x^2K[\![x]\!]$ satisfying $\varphi\circ f_\varphi(x) = f_\varphi(x^m)$. In this paper we study the integrality properties of the coefficients of $f_\varphi(x)$, partly for their intrinsi…
▽ More
Let $R$ be a ring of characteristic $0$ with field of fractions $K$, and let $m\ge2$. The Böttcher coordinate of a power series $\varphi(x)\in x^m + x^{m+1}R[\![x]\!]$ is the unique power series $f_\varphi(x)\in x+x^2K[\![x]\!]$ satisfying $\varphi\circ f_\varphi(x) = f_\varphi(x^m)$. In this paper we study the integrality properties of the coefficients of $f_\varphi(x)$, partly for their intrinsic interest and partly for potential applications to $p$-adic dynamics. Results include: (1) If $p$ is prime and $R=\mathbb Z_p$ and $\varphi(x)\in x^p + px^{p+1}R[\![x]\!]$, then $f_\varphi(x)\in R[\![x]\!]$. (2) If $\varphi(x)\in x^m + mx^{m+1}R[\![x]\!]$, then $f_\varphi(x)=x\sum_{k=0}^\infty a_kx^k/k!$ with all $a_k\in R$. (3) In (2), if $m=p^2$, then $a_k\equiv-1\pmod{p}$ for all $k$ that are powers of $p$.
△ Less
Submitted 3 October, 2017; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Zeta functions of alternate mirror Calabi-Yau families
Authors:
Charles F. Doran,
Tyler L. Kelly,
Adriana Salerno,
Steven Sperber,
John Voight,
Ursula Whitcher
Abstract:
We prove that if two Calabi-Yau invertible pencils have the same dual weights, then they share a common factor in their zeta functions. By using Dwork cohomology, we demonstrate that this common factor is related to a hypergeometric Picard--Fuchs differential equation. The factor in the zeta function is defined over the rationals and has degree at least the order of the Picard--Fuchs equation. As…
▽ More
We prove that if two Calabi-Yau invertible pencils have the same dual weights, then they share a common factor in their zeta functions. By using Dwork cohomology, we demonstrate that this common factor is related to a hypergeometric Picard--Fuchs differential equation. The factor in the zeta function is defined over the rationals and has degree at least the order of the Picard--Fuchs equation. As an application, we relate several pencils of K3 surfaces to the Dwork pencil, obtaining new cases of arithmetic mirror symmetry.
△ Less
Submitted 14 February, 2018; v1 submitted 29 December, 2016;
originally announced December 2016.
-
Origami Constructions of Rings of Integers of Imaginary Quadratic Fields
Authors:
Juergen Kritschgau,
Adriana Salerno
Abstract:
In the making of origami, one starts with a piece of paper, and through a series of folds along seed points one constructs complicated three-dimensional shapes. Mathematically, one can think of the complex numbers as representing the piece of paper, and the seed points and folds as a way to generate a subset of the complex numbers. Under certain constraints, this construction can give rise to a ri…
▽ More
In the making of origami, one starts with a piece of paper, and through a series of folds along seed points one constructs complicated three-dimensional shapes. Mathematically, one can think of the complex numbers as representing the piece of paper, and the seed points and folds as a way to generate a subset of the complex numbers. Under certain constraints, this construction can give rise to a ring, which we call an origami ring. We will talk about the basic construction of an origami ring and further extensions and implications of these ideas in algebra and number theory, extending results of Buhler, et.al. In particular, in this paper we show that it is possible to obtain the ring of integers of an imaginary quadratic field through an origami construction.
△ Less
Submitted 24 October, 2016;
originally announced October 2016.
-
Mould theory and the double shuffle Lie algebra structure
Authors:
Adriana Salerno,
Leila Schneps
Abstract:
The real multiple zeta values $ζ(k_1,\ldots,k_r)$ are known to form a ${\bf Q}$-algebra; they satisfy a pair of well-known families of algebraic relations called the double shuffle relations. In order to study the algebraic properties of multiple zeta values, one can replace them by formal symbols $Z(k_1,\ldots,k_r)$ subject only to the double shuffle relations. These form a graded Hopf algebra ov…
▽ More
The real multiple zeta values $ζ(k_1,\ldots,k_r)$ are known to form a ${\bf Q}$-algebra; they satisfy a pair of well-known families of algebraic relations called the double shuffle relations. In order to study the algebraic properties of multiple zeta values, one can replace them by formal symbols $Z(k_1,\ldots,k_r)$ subject only to the double shuffle relations. These form a graded Hopf algebra over ${\bf Q}$, and quotienting this algebra by products, one obtains a vector space. A difficult theorem due to G. Racinet proves that this vector space carries the structure of a Lie coalgebra; in fact Racinet proved that the dual of this space is a Lie algebra, known as the double shuffle Lie algebra $ds$.
J. Ecalle developed a deep theory to explore combinatorial and algebraic properties of the formal multiple zeta values. His theory is sketched out in some publications. However, because of the depth and complexity of the theory, Ecalle did not include proofs of many of the most important assertions, and indeed, even some interesting results are not always stated explicitly. The purpose of the present paper is to show how Racinet's theorem follows in a simple and natural way from Ecalle's theory.This necessitates an introduction to the theory itself, which we have pared down to only the strictly necessary notions and results.
△ Less
Submitted 19 October, 2015;
originally announced October 2015.
-
The Dwork Family and Hypergeometric Functions
Authors:
Adriana Salerno
Abstract:
In his work studying the Zeta functions of families of hypersurfaces, Dwork came upon a one-parameter family of hypersurfaces (now known as \emph{the} Dwork family). These examples were not only useful to Dwork in his study of his deformation theory for computing Zeta functions of families, but they have also proven to be extremely useful to physicists working in mirror symmetry. A startling resul…
▽ More
In his work studying the Zeta functions of families of hypersurfaces, Dwork came upon a one-parameter family of hypersurfaces (now known as \emph{the} Dwork family). These examples were not only useful to Dwork in his study of his deformation theory for computing Zeta functions of families, but they have also proven to be extremely useful to physicists working in mirror symmetry. A startling result is that these families are very closely linked to hypergeometric functions. This phenomenon was carefully studied by Dwork and Candelas, de la Ossa, and Rodríguez-Villegas in a few special cases. Dwork, Candelas, et.al. observed that, for these families, the differential equation associated to the Gauss-Manin connection is in fact hypergeometric. We have developed a computer algorithm, implemented in Pari-GP, which can check this result for more cases by computing the Gauss-Manin connection and the parameters of the hypergeometric differential equation.
△ Less
Submitted 22 February, 2012;
originally announced February 2012.
-
Counting Points over Finite Fields and Hypergeometric Functions
Authors:
Adriana Salerno
Abstract:
It is a well known result that the number of points over a finite field on the Legendre family of elliptic curves can be written in terms of a hypergeometric function modulo $p$. In this paper, we extend this result, due to Igusa, to a family of monomial deformations of a diagonal hypersurface. We find explicit relationships between the number of points and generalized hypergeometric functions as…
▽ More
It is a well known result that the number of points over a finite field on the Legendre family of elliptic curves can be written in terms of a hypergeometric function modulo $p$. In this paper, we extend this result, due to Igusa, to a family of monomial deformations of a diagonal hypersurface. We find explicit relationships between the number of points and generalized hypergeometric functions as well as their finite field analogues.
△ Less
Submitted 16 January, 2012;
originally announced January 2012.
-
Igusa class polynomials, embeddings of quartic CM fields, and arithmetic intersection theory
Authors:
Helen Grundman,
Jennifer Johnson-Leung,
Kristin Lauter,
Adriana Salerno,
Bianca Viray,
Erika Wittenborn
Abstract:
Bruinier and Yang conjectured a formula for an intersection number on the arithmetic Hilbert modular surface, CM(K).T_m, where CM(K) is the zero-cycle of points corresponding to abelian surfaces with CM by a primitive quartic CM field K, and T_m is the Hirzebruch-Zagier divisors parameterizing products of elliptic curves with an m-isogeny between them. In this paper, we examine fields not covered…
▽ More
Bruinier and Yang conjectured a formula for an intersection number on the arithmetic Hilbert modular surface, CM(K).T_m, where CM(K) is the zero-cycle of points corresponding to abelian surfaces with CM by a primitive quartic CM field K, and T_m is the Hirzebruch-Zagier divisors parameterizing products of elliptic curves with an m-isogeny between them. In this paper, we examine fields not covered by Yang's proof of the conjecture. We give numerical evidence to support the conjecture and point to some interesting anomalies. We compare the conjecture to both the denominators of Igusa class polynomials and the number of solutions to the embedding problem stated by Goren and Lauter.
△ Less
Submitted 1 June, 2010;
originally announced June 2010.
