We describe an algorithm for computing the Picard-Fuchs equation for a family of twists of a fixed elliptic surface. We then apply this algorithm to obtain the equation for several examples, which are coming from families of Kummer surfaces over Shimura curves, as studied in our previous work. We use this to find correspondenced between the parameter spaces of our families and Shimura curves. These correspondences can sometimes be proved rigorously.
The normal function associated to algebraic cycles in higher Chow groups defines a differential equation. This Picard-Fuchs equation defines an extension of $D$-modules as well as an extension of local systems. In this paper, we show that both extensions define the same extension of mixed Hodge modules determined by the normal function.
The thesis deals with calculating the Picard-Fuchs equation of special one-parameter families of invertible polynomials. In particular, for an invertible polynomial $g(x_1,...,x_n)$ we consider the family $f(x_1,...,x_n)=g(x_1,...,x_n)+s\cdot\prod x_i$, where $s$ denotes the parameter. For the families of hypersurfaces defined by these polynomials, we compute the Picard-Fuchs equation, i.e. the ordinary differential equation which solutions are exactly the period integrals. For the proof of the exact appearance of the Picard-Fuchs equation we use a combinatorial version of the Griffiths-Dwork …
We present a method for numerical computation of period integrals of a rigid Calabi-Yau threefold using Picard-Fuchs operator of a one-parameter smoothing. Our method gives a possibility of computing the lattice of period integrals of a rigid double octic without any explicit knowledge of its geometric properties, employing only simple facts from the theory of Fuchsian equations and computations in MAPLE with a library for differential equations. As a surprising consequence we also get approximations of additional integrals related to a singular (nodal) model of considered Calabi-Yau threefold…
Given a variation of Hodge structure over $\mathbb{P}^1$ with Hodge numbers $(1,1,\dots,1)$, we show how to compute the degrees of the Deligne extension of its Hodge bundles, following Eskin-Kontsevich-Möller-Zorich, by using the local exponents of the corresponding Picard-Fuchs equation. This allows us to compute the Hodge numbers of Zucker's Hodge structure on the corresponding parabolic cohomology groups. We also apply this to families of elliptic curves, K3 surfaces and Calabi-Yau threefolds.
We use the mixed-twist construction of Doran and Malmendier to obtain a multi-parameter family of K3 surfaces of Picard rank $ρ\ge 16$. Upon identifying a particular Jacobian elliptic fibration on its general member, we determine the lattice polarization and the Picard-Fuchs system for the family. We construct a sequence of restrictions that lead to extensions of the polarization by two-elementary lattices. We show that the Picard-Fuchs operators for the restricted families coincide with known resonant hypergeometric systems. Second, for the one-parameter mirror families of deformed Fermat hyp…
We report on $25$ families of projective Calabi-Yau threefolds that do not have a point of maximal unipotent monodromy in their moduli space. The construction is based on an analysis of certain pencils of octic arrangements that were found by C. Meyer. There are seven cases where the Picard-Fuchs operator is of order two and $18$ cases where it is of order four. The birational nature of the Picard-Fuchs operator can be used effectively to distinguish between families whose members have the same Hodge numbers.
Using Gauss-Manin derivatives of normal functions, we arrive at some remarkable results on the non-triviality of the transcendental regulator for $K_m$ of a very general projective algebraic manifold. Our strongest results are for the transcendental regulator for $K_1$ of a very general $K3$ surface. We also construct an explicit family of $K_1$ cycles on $H \oplus E_8 \oplus E_8$-polarized $K3$ surfaces, and show they are indecomposable by a direct evaluation of the real regulator. Critical use is made of natural elliptic fibrations, hypersurface normal forms, and an explicit parametrization …
Picard-Fuchs equations and mirror maps for hypersurfaces
我们描述了一种策略，用于计算汤川耦合和镜像映射，Picard-Fuchs方程的基础上。(Our策略是Candelas，de la Ossa，Green和Parkes在五次超曲面的情况下使用的方法的变体。然后，我们解释了格里菲斯的技术，可用于计算的Picard-Fuchs方程的超曲面。最后，我们对四个具体的例子进行了计算（包括Candelas等人以前完成的五次超曲面）。这产生了对加权射影空间中某些超曲面上不同度数的有理曲线的数目的预测。其中一些预言已经被代数几何中的经典技巧所证实。
The global behaviour of the normal function associated with van Geemen's family of lines on the mirror quintic is studied. Based on the associated inhomogeneous Picard-Fuchs equation, the series expansions around large complex structure, conifold, and around the open string discriminant are obtained. The monodromies are explicitly calculated from this data and checked to be integral. The limiting value of the normal function at large complex structure is an irrational number expressible in terms of the di-logarithm.
We study the variation of relative cohomology for a pair consisting of a smooth projective hypersurface and an algebraic subvariety in it. We construct an inhomogeneous Picard-Fuchs equation by applying a Picard-Fuchs operator to the holomorphic top form on a toric Calabi-Yau hypersurface, and deriving a general formula for the $d$-exact form on one side of the equation. We also derive a double residue formula, giving a purely algebraic way to compute the inhomogeneous Picard-Fuchs equations for Abel-Jacobi map, which has played an important role in recent study of D-branes [25]. Using the var…
Picard-Fuchs equations and mirror maps for hypersurfaces
我们描述了一种策略，用于计算汤川耦合和镜像映射，Picard-Fuchs方程的基础上。(Our策略是Candelas，de la Ossa，Green和Parkes在五次超曲面的情况下使用的方法的变体。然后，我们解释了格里菲斯的技术，可用于计算的Picard-Fuchs方程的超曲面。最后，我们对四个具体的例子进行了计算（包括Candelas等人以前完成的五次超曲面）。这产生了对加权射影空间中某些超曲面上不同度数的有理曲线的数目的预测。其中一些预言已经被代数几何中的经典技巧所证实。
In this paper we will study the double zeta values $ζ(k,m)$ using Picard-Fuchs equation. We will give a very efficient method to evaluate $ζ(k,1)$ (resp. $ζ(k,2)$) in terms of the products of zeta values $ζ(2),ζ(3),\cdots$ when $k$ is even (resp. odd), which admits immediate generalization to arbitrary double zeta values. Moreover, this method provides new insights into the nature of double zeta values, which further can be generalized to arbitrary multiple zeta values.
We determine explicit generators for a cohomology group constructed from a solution of a fuchsian linear differential equation and describe its relation with cohomology groups with coefficients in a local system. In the parameterized case, this yields into an algorithm which computes new fuchsian differential equations from those depending on multi-parameters. This generalizes the classical convolution of solutions of fuchsian differential equations.
We present a systematic method to derive an ordinary differential equation for any Feynman integral, where the differentiation is with respect to an external variable. The resulting differential equation is of Fuchsian type. The method can be used within fixed integer space-time dimensions as well as within dimensional regularisation. We show that finding the differential equation is equivalent to solving a linear system of equations. We observe interesting factorisation properties of the D-dimensional Picard-Fuchs operator when D is specialised to integer dimensions.
We study low-degree curves on one-parameter Calabi-Yau hypersurfaces, and their contribution to the space-time superpotential in a superstring compactification with D-branes. We identify all lines that are invariant under at least one permutation of the homogeneous variables, and calculate the inhomogeneous Picard-Fuchs equation. The irrational large volume expansions satisfy the recently discovered algebraic integrality. The bulk of our work is a careful study of the topological integrality of monodromy under navigation around the complex structure moduli space. This is a powerful method to r…
This paper discusses the overlap of the Hori-Vafa formulation of mirror symmetry with some other constructions. We focus on compact Calabi-Yau hypersurfaces \mathcal{M}_G = {G = 0} in weighted complex projective spaces. The Hori-Vafa formalism relates a family {\mathcal{M}_G \in WCP^{m-1}_{Q_1,...,Q_m}[s] | \sum_{i=1}^m Q_i = s} of such hypersurfaces to a single Landau-Ginzburg mirror theory. A technique suggested by Hori and Vafa allows the Picard-Fuchs equations satisfied by the corresponding mirror periods to be determined. Some examples in which the variety \mathcal{M}_G is crepantly resol…
Picard-Fuchs Equations of Twisted Differential forms associated to Feynman Integrals
Department of Mathematics, University of Pisa（比萨大学数学系）；University of Pisa（比萨大学）；Institut de Physique Théorique, Université Paris-Saclay, CEA, CNRS（巴黎萨克雷大学理论物理研究所，法国原子能与替代能源委员会，法国国家科学研究中心）
We propose Picard-Fuchs equations for periods of nonabelian mirrors in this paper. The number of parameters in our Picard-Fuchs equations is the rank of the gauge group of the nonabelian GLSM, which is eventually reduced to the actual number of Kähler parameters. These Picard-Fuchs equations are concise and novel. We justify our proposal by reproducing existing mathematical results, namely Picard-Fuchs equations of Grassmannians and Calabi-Yau manifolds as complete intersections in Grassmannians. Furthermore, our approach can be applied to other nonabelian GLSMs, so we compute Picard-Fuchs equ…
The largest group which occurs as the rotational symmetries of a three-dimensional reflexive polytope is the symmetric group on four elements. There are three pairs of three-dimensional reflexive polytopes with this symmetry group, up to isomorphism. We identify a natural one-parameter family of K3 surfaces corresponding to each of these pairs, show that the symmetric group on four elements acts symplectically on members of these families, and show that a general K3 surface in each family has Picard rank 19. The properties of two of these families have been analyzed in the literature using oth…
We compute the Picard group of the universal abelian variety over the moduli stack $\mathscr A_{g,n}$ of principally polarized abelian varieties over $\mathbb{C}$ with a symplectic principal level $n$-structure. We then prove that over $\mathbb{C}$ the statement of the Franchetta conjecture holds in a suitable form for $\mathscr A_{g,n}$.
In this paper, we study the set $R_g^{(p)}$ of possible Picard numbers of abelian varieties of dimension $g$ over algebraically closed fields of characteristic $p>0$. We show that many of the results for complex abelian varieties have analogues in positive characteristic: non-completeness in dimension $g \geq 2$, asymptotic completeness as $g \rightarrow +\infty$, structure results for abelian varieties of large Picard number. On the way, we highlight and discuss new characteristic $p>0$ features and pathologies: non-additivity of the range of Picard numbers, supersingularity index of an abeli…
We study the possible Picard numbers of abelian varieties of given dimension $g$. If $R_g$ denotes the set of realizable Picard numbers, then $R_g$ is bounded by $g^2$. We show that, for $g$ at least $3$, the set $R_g$ always has gaps and we analyze the nature of these gaps. We further prove that the Picard numbers are asymptotically complete in $[1,g^2]$ as $g$ goes to infinity. Finally we show that every Picard number which can be realized over the complex numbers can already be realized by an abelian variety defined over a number field.
We give an algebraic characterization of Picard-Fuchs operators attached to families of Calabi-Yau manifolds with a point of maximally unipotent monodromy and discuss possibilities for their differential Galois groups.
Let $X$ be the family of hypersurfaces in the odd-dimensional torus ${\mathbb T}^{2n+1}$ defined by a Laurent polynomial $f$ with fixed exponents and variable coefficients. We show that if $nΔ$, the dilation of the Newton polytope $Δ$ of $f$ by the factor $n$, contains no interior lattice points, then the Picard-Fuchs equation of $W_{2n}H^{2n}_{\rm DR}(X)$ has a full set of algebraic solutions (where $W_\bullet$ denotes the weight filtration on de Rham cohomology). We also describe a procedure for finding solutions of these Picard-Fuchs equations.
We describe examples of computations of Picard-Fuchs operators for families of Calabi-Yau manifolds based on the expansion of a period near a conifold point. We find examples of operators without a point of maximal unipotent monodromy, thus answering a question posed by J. Rohde.
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.
We define a tricategory T of length 3 complexes of abelian sheaves, whose hom-bigroupoids consist of weak morphisms of such complexes. We also define a 3-category 2PIC(S) of Picard 2-stacks, whose hom-2-groupoids consist of additive 2-functors. We prove that these categories are triequivalent as tricategories. As a consequence we obtain a generalization of Deligne's analogous result about Picard stacks in SGA4, Exp. XVIII.
In this expository note we discuss some arithmetic aspects of the mirror symmetry for plane cubic curves. We also explain how the Picard-Fuchs equation can be used to reveal part of these arithmetic properties. The application of Picard-Fuchs equations in studying the genus zero Gromov-Witten invariants of more general Calabi-Yau varieties and the Weil-Petersson geometry on their moduli spaces will also be discussed.
We study the geometry of a Picard modular fourfold which parametrizes abelian fourfolds of Weil type for the field of cube roots of unity. We find a projective model of this fourfold as a singular, degree ten, hypersurface X in projective 5-space. The Weyl group W(E_6) acts on X and we provide an explicit description of this action. Moreover, we describe various special subvarieties as well as the boundary of X.
We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of logarithmic abelian varieties over the moduli space of Deligne-Mumford stable curves, but does not possess an underlying algebraic stack. However, the logarithmic Picard group does have logarithmic modifications that are representable by logarithmic schemes, all of which are obtained by pullback from subdivisions of the tropical Picard group.
In this article, we show that some semi-rigid $μ$-stable sheaves on a projective K3 surface $X$ with Picard number 1 are stable in the sense of Bridgeland's stability condition. As a consequence of our work, we show that the special set $U(X) \subset \Stab (X)$ reconstructs $X$ itself. This gives a sharp contrast to the case of an abelian surface.
