Picard-Fuchs equations - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T19:00:35Z http://mathoverflow.net/feeds/question/5684 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/5684/picard-fuchs-equations Picard-Fuchs equations Csar Lozano Huerta 2009-11-16T09:05:10Z 2009-11-16T18:04:03Z <p>If I have the periods $$\pi_1(\lambda)=\int_0^1\frac{dx}{\sqrt{x(x-1)(x-\lambda)}}$$ and $\pi_2(\lambda)$ similarly defined of the cubic curve $$y^2z=z(x-z)(x-\lambda z)$$ Such functions will be holomorphic on $\lambda \in \mathbb{C}-{0,1}$. Then the sum $\pi(\lambda)=\pi_1(\lambda)+\pi_2(\lambda)$, as well as each $\pi_i$, satisfy the differential equation called <strong>Picard-Fuchs</strong> equation $$0=\tfrac{1}{4}\pi+(2\lambda-1)\pi'+\lambda(\lambda-1)\pi''$$ derivation with respect to $\lambda$.</p> <p>My questions are the following. Where does such a differential equation come from? why is it important for? has it something to do with Gromov-Witten Theory? </p> <p>I'll appreciate any kind of comment related with such an equation.</p> http://mathoverflow.net/questions/5684/picard-fuchs-equations/5686#5686 Answer by Thomas Riepe for Picard-Fuchs equations Thomas Riepe 2009-11-16T10:02:56Z 2009-11-16T10:20:00Z <p>There exist many beautifull texts on that, on the basics about and the startling arithmetic application of the Picard-Fuch eq., I recommend to look into Clemens' "Scrap book of complex curve theory" and Katz' articles, esp. "On the differential equations satisfied by period matrices" (probably in numdam). General infos are in Brieskorn's "plane algebraic curves" and in Griffiths-Harris. I don't know about a connection to Gromov-Witten theory. The curiosity in Periods of algebraic varieties comes probably from that they are special numbers like pi or e coming from a natural process, satisfying some set of relations and having transcentality properties. Then, Manin showed that the diff.-eq. they satisfy encodes arithmetic infos too (via "Gaus-Manin connection"). Further one wonders if one can produce with periods like with e and pi interesting algebraic numbers. There is a very beautifull article by Zagier "Periods" on the web somewhere. </p> http://mathoverflow.net/questions/5684/picard-fuchs-equations/5695#5695 Answer by Kevin Lin for Picard-Fuchs equations Kevin Lin 2009-11-16T13:00:21Z 2009-11-16T18:04:03Z <p>Here is a very rough outline:</p> <p>Take your family $E$ of elliptic curves over $B := \mathbb{C} - \{0,1\}$. Then take the associated "(co)homology bundle" over $B$, whose fibre over $\lambda$ is the (singular) (co)homology of the elliptic curve $E_\lambda$. To be rigorous, the $i$-th cohomology bundle is $R^i \pi_\ast\mathbb{C}$, where $\pi$ is the map $E \to B$ and $\mathbb{C}$ is the constant sheaf (let us work in the analytic topology). Actually to be precise I should say that $R^i\pi_\ast\mathbb{C}$ is a (locally constant) sheaf of $\mathbb{C}$ vector spaces, and the corresponding vector bundle is $R^i\pi_\ast\mathbb{C} \otimes_\mathbb{C} \mathcal{O}_B$. It is a fact that these cohomology bundles come with flat (Gauss-Manin) connections $\nabla$. One way to see that the vector bundles are flat is to observe that there are integral lattices $R^i\pi_\ast \mathbb{Z} \subset R^i\pi_\ast\mathbb{C}$.</p> <p>Let $\omega$ be a 1-form on the family $E$. Note that the 1st cohomology of an elliptic curve is rank 2, so the cohomology bundle $R^1\pi_\ast \mathbb{C}$ is rank 2, thus if we have 3 sections, then they will be (fiber-wise) linearly dependent. So here are 3 sections: $\omega, \nabla_{d/d\lambda}\omega, (\nabla_{d/d\lambda})^2 \omega$. The Picard-Fuchs equation is essentially just the equation which expresses that these sections are linearly dependent. Your equation involving "$\pi$" (not the same as what I am calling "$\pi$") and its derivatives comes from taking this linear dependence equation and "plugging in" (i.e. integrating along) homology classes extended by parallel transport.</p> <p>The story that I've described above generalizes to arbitrary families of smooth compact varieties.</p> <p>Thomas Riepe's answer explains some of the more classical reasons why we might be interested in period integrals and Picard-Fuchs equations, so let me say a few words about the relation to Gromov-Witten theory.</p> <p>The relation to GW theory arises from mirror symmetry, which is a duality between type IIA and type IIB string theories. One of the reasons why mathematicians first became interested in mirror symmetry was because of the prediction of the physicists Candelas-de la Ossa-Green-Parkes in the early 90s that the genus 0 GW invariants of a quintic threefold (type IIA theory) could be computed via an analysis of period integrals and Picard-Fuchs equations coming from a "mirror" family of Calabi-Yau manifolds (type IIB theory). This is a general principle of mirror symmetry: that GW invariants of certain manifolds can be computed via completely different methods on the "mirror manifold". Usually, studying the mirror manifold is "easier" than trying to study the GW theory of the original manifold directly; although by now our knowledge of GW theory has grown considerably, so this is less true than it used to be.</p> <p>A very nice introductory paper on this material is "Picard-Fuchs equations and mirror maps for hypersurfaces" by David Morrison: <a href="http://arxiv.org/abs/alg-geom/9202026" rel="nofollow">http://arxiv.org/abs/alg-geom/9202026</a></p> <p>If you're interested in reading further, you should check out the book "Mirror symmetry and algebraic geometry" by Cox-Katz, which covers all of this material in detail and explains the proofs (due to Givental and Lian-Liu-Yau) of the Candelas-et. al. prediction.</p>