Showing 1–50 of 56 results for author: Movasati, H

Ramanujan vector field

Authors: Hossein Movasati

Abstract: In this article we prove that for all primes $p\not=2,3$, the Ramanujan vector field has an invariant algebraic curve and then we give a moduli space interpretation of this curve in terms of Cartier operator acting on the de Rham cohomology of elliptic curves. The main ingredients of our study are due to Serre, Swinnerton-Dyer and Katz in 1973. We aim to generalize this for the theory of Calabi-Ya… ▽ More In this article we prove that for all primes $p\not=2,3$, the Ramanujan vector field has an invariant algebraic curve and then we give a moduli space interpretation of this curve in terms of Cartier operator acting on the de Rham cohomology of elliptic curves. The main ingredients of our study are due to Serre, Swinnerton-Dyer and Katz in 1973. We aim to generalize this for the theory of Calabi-Yau modular forms, which includes the generating function of genus $g$ Gromov-Witten invariants. The integrality of $q$-expansions of such modular forms is still a main conjecture which has been only established for special Calabi-Yau varieties, for instance those whose periods are hypergeometric functions. For this the main tools are Dwork's theorem. We present an alternative project which aims to prove such integralities using modular vector fields and Gauss-Manin connection in positive characteristic. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Grothendieck-Katz conjecture

Authors: Hossein Movasati

Abstract: In this article we prove that linear differential equations with only algebraic solutions have zero $m$-curvature modulo $p^k$ for all except a finite number of primes $p$ and all $k,m\in\mathbb N$ with ${\rm ord}_pm!\geq k$. This provides us with a reformulation of Grothendieck-Katz conjecture with stronger hypothesis. In this article we prove that linear differential equations with only algebraic solutions have zero $m$-curvature modulo $p^k$ for all except a finite number of primes $p$ and all $k,m\in\mathbb N$ with ${\rm ord}_pm!\geq k$. This provides us with a reformulation of Grothendieck-Katz conjecture with stronger hypothesis. △ Less

Submitted 9 May, 2024; v1 submitted 18 March, 2024; originally announced March 2024.

Comments: A new section is added. The exposition has been improved

On a Hodge locus

Authors: Hossein Movasati

Abstract: There are many instances such that deformation space of the homology class of an algebraic cycle as a Hodge cycle is larger than its deformation space as algebraic cycle. This phenomena can occur for algebraic cycles inside hypersurfaces, however, we are only able to gather evidences for it by computer experiments. In this article we describe one example of this for cubic hypersurfaces. The verifi… ▽ More There are many instances such that deformation space of the homology class of an algebraic cycle as a Hodge cycle is larger than its deformation space as algebraic cycle. This phenomena can occur for algebraic cycles inside hypersurfaces, however, we are only able to gather evidences for it by computer experiments. In this article we describe one example of this for cubic hypersurfaces. The verification of the mentioned phenomena in this case is proposed as the first GADEPs problem. The main goal is either to verify the (variational) Hodge conjecture in such a case or gather evidences that it might produce a counterexample to the Hodge conjecture. △ Less

Submitted 15 December, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: With an appendix by Roberto Villaflor Loyola

Computing the lines of a smooth cubic surface

Authors: Hossein Movasati

Abstract: We give an explicit formula for the $27$ lines of a smooth cubic surface near the Fermat surface. Our formula involves convergent power series with coefficients in the extension of rational numbers with the sixth root of unity. Our main tool is the Artinian Gorenstein ring of socle two attached to such lines. We give an explicit formula for the $27$ lines of a smooth cubic surface near the Fermat surface. Our formula involves convergent power series with coefficients in the extension of rational numbers with the sixth root of unity. Our main tool is the Artinian Gorenstein ring of socle two attached to such lines. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 5 pages

Smooth points of the space of plane foliations with a center

Authors: Lubomir Gavrilov, Hossein Movasati

Abstract: We prove that a logarithmic foliation corresponding to a generic line arrangement of $d+1 \geq 3$ lines in the complex plane, with pairwise natural and co-prime residues, is a smooth point of the center set of plane foliations (vector fields) of degree $d$. We prove that a logarithmic foliation corresponding to a generic line arrangement of $d+1 \geq 3$ lines in the complex plane, with pairwise natural and co-prime residues, is a smooth point of the center set of plane foliations (vector fields) of degree $d$. △ Less

Submitted 26 May, 2022; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: The introduction and the last section has been changed. Many typos are corrected

Periods of families of curves in threefolds

Authors: Hossein Movasati

Abstract: Clemens' conjecture states that the the number of rational curve in a generic quintic threefold is finite. If it is false we prove that certain periods of rational curves in such a quintic threefold must vanish. Our method is based on a generalization of a proof of Max Noether's theorem using infinitesimal variation of Hodge structures and its reformulation in terms of integrals and Gauss-Manin co… ▽ More Clemens' conjecture states that the the number of rational curve in a generic quintic threefold is finite. If it is false we prove that certain periods of rational curves in such a quintic threefold must vanish. Our method is based on a generalization of a proof of Max Noether's theorem using infinitesimal variation of Hodge structures and its reformulation in terms of integrals and Gauss-Manin connection. △ Less

Submitted 17 February, 2022; originally announced February 2022.

Gauss-Manin connection in disguise: Quasi Jacobi forms of index zero

Authors: ** Cao, Hossein Movasati, Roberto Villaflor Loyola

Abstract: We consider the moduli space of abelian varieties with two marked points and a frame of the relative de Rham cohomolgy with boundary at these points compatible with its mixed Hodge structure. Such a moduli space gives a natural algebro-geometric framework for higher genus quasi Jacobi forms of index zero and their differential equations which are given as vector fields. In the case of elliptic cur… ▽ More We consider the moduli space of abelian varieties with two marked points and a frame of the relative de Rham cohomolgy with boundary at these points compatible with its mixed Hodge structure. Such a moduli space gives a natural algebro-geometric framework for higher genus quasi Jacobi forms of index zero and their differential equations which are given as vector fields. In the case of elliptic curves we compute explicitly the Gauss-Manin connection and such vector fields. △ Less

Submitted 1 September, 2021; originally announced September 2021.

MSC Class: 14J15; 14K10; 14H52; 32G20; 11F50; 11F55

Algebraic curves and foliations

Authors: César Camacho, Hossein Movasati

Abstract: Consider a field $k$ of characteristic $0$, not necessarily algebraically closed, and a fixed algebraic curve $f=0$ defined by a tame polynomial $f\in k[x,y]$ with only quasi-homogeneous singularities. We prove that the space of holomorphic foliations in the plane ${mathbb A}^2_\k$ having $f=0$ as a fixed invariant curve is generated as $k[x,y]$-module by at most four elements, three of them are t… ▽ More Consider a field $k$ of characteristic $0$, not necessarily algebraically closed, and a fixed algebraic curve $f=0$ defined by a tame polynomial $f\in k[x,y]$ with only quasi-homogeneous singularities. We prove that the space of holomorphic foliations in the plane ${mathbb A}^2_\k$ having $f=0$ as a fixed invariant curve is generated as $k[x,y]$-module by at most four elements, three of them are the trivial foliations $fdx,fdy$ and $df$. Our proof is algorithmic and constructs the fourth foliation explicitly. Using Serre's GAGA and Quillen-Suslin theorem, we show that for a suitable field extension $K$ of $k$ such a module over $K[x,y]$ is actually generated by two elements, and therefore, such curves are free divisors in the sense of K. Saito. After performing Groebner basis for this module, we observe that in many well-known examples, $K=k$. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Gauss-Manin connection in disguise: Genus two curves

Authors: ** Cao, Hossein Movasati, Shing-Tung Yau

Abstract: We describe an algebra of meromorphic functions on the Siegel domain of genus two which contains Siegel modular forms for an arithmetic index six subgroup of the symplectic group and it is closed under three canonical derivations of the Siegel domain. The main ingredients of our study are the moduli of enhanced genus two curves, Gauss-Manin connection and the modular vector fields living on such m… ▽ More We describe an algebra of meromorphic functions on the Siegel domain of genus two which contains Siegel modular forms for an arithmetic index six subgroup of the symplectic group and it is closed under three canonical derivations of the Siegel domain. The main ingredients of our study are the moduli of enhanced genus two curves, Gauss-Manin connection and the modular vector fields living on such moduli spaces. △ Less

Submitted 3 February, 2020; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: Two sections are added

Journal ref: Advances in Mathematics, 2021

Special components of Noether-Lefschetz loci

Authors: Hossein Movasati

Abstract: We take a sum $C_1+r C_2,\ r\in\mathbb Q$ of a line $C_1$ and a complete intersection curve $C_2$ of type $(3,3)$ inside a smooth surface of degree $8$ and with $C_1\cap C_2=\emptyset$. We gather evidences to the fact that for all except a finite number of $r$, the Noether-Lefschetz loci attached to the cohomology classes of $C_1+ r C_2$ are distinct $31$ codimensional subvarieties intersecting ea… ▽ More We take a sum $C_1+r C_2,\ r\in\mathbb Q$ of a line $C_1$ and a complete intersection curve $C_2$ of type $(3,3)$ inside a smooth surface of degree $8$ and with $C_1\cap C_2=\emptyset$. We gather evidences to the fact that for all except a finite number of $r$, the Noether-Lefschetz loci attached to the cohomology classes of $C_1+ r C_2$ are distinct $31$ codimensional subvarieties intersecting each other in a $32$ codimensional subvariety of the ambient space. The maximum codimension for components of the Noether-Lefschetz locus in this case is $35$, and hence, we provide a conjectural description of a counterexample to a conjecture of J. Harris. The methods used in this paper also produce in a rigorous way an infinite number of general components passing through the point representing the Fermat surface of degree $\leq 9$, and many non-reduced components for such degrees. △ Less

Submitted 12 August, 2019; originally announced August 2019.

Journal ref: Rendiconti del Circolo Matematico di Palermo Series 2 volume 70, pages 861-874 (2021)

On reconstructing subvarieties from their periods

Authors: Hossein Movasati, Emre Can Sertöz

Abstract: We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with f… ▽ More We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with floating point numbers. However, if X is defined over algebraic numbers then the coefficients of the equations of subvarieties can be reconstructed as algebraic numbers. A symbolic computation then verifies the results. As an illustration of the method, we compute generators of the Picard groups of some quartic surfaces. A highlight of the method is that the Picard group computations are proved to be correct despite the fact that the Picard numbers of our examples are not extremal. △ Less

Submitted 3 October, 2020; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: 16 pages; computational aspects highlighted; reconstruction of twisted cubics in higher degree surfaces added

MSC Class: 32J25; 14Q10; 32G20

Hodge cycles for cubic hypersurfaces

Authors: Hossein Movasati

Abstract: We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic Fermat variety $X_0$ of even dimension $n\geq 4$ and with $\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m$. We take a smooth de… ▽ More We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic Fermat variety $X_0$ of even dimension $n\geq 4$ and with $\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m$. We take a smooth deformation space $\sf S$ of $X_0$ such that the triple $(X_0, {\mathbb P}^\frac{n}{2}, \check{\mathbb P}^\frac{n}{2})$ becomes rigid. For $m=\frac{n}{2}-2$ and for many examples of $N\in{\mathbb N}$ and $n$ we show that the $N$-th order Hodge locus attached to $Z_0$ is smooth and reduced of positive dimension if and only if $( r ,\check r )=(1,-1)$. In this case, the underlying algebraic cycles are conjectured to be cubic ruled cycles. For $m=\frac{n}{2}-3$ the same happens for all choices of coefficients $ r $ and $\check r $ and we do not know what kind of algebraic cycles might produce such Hodge cycles. The first case gives us a conjectural description of a component of the Hodge locus, and the second case gives us strong computer assisted evidences for the existence of new Hodge cycles for cubic hypersurfaces. Whereas the well-known construction of Hodge cycles due to D. Mumford and A. Weil for CM abelian varieties, and Y. André's motivated cycles can be described in theoretical terms, the full proof of the existence of our Hodge cycle seems to be only possible with more powerful computing machines. △ Less

Submitted 5 April, 2019; v1 submitted 2 February, 2019; originally announced February 2019.

Comments: New section is added more computer data are provided

Journal ref: Chapter 19 of the book: A Course in Hodge Theory: With Emphasis on Multiple Integrals, Somerville, MA: International Press Boston, 2021

On elliptic modular foliations, II

Authors: Hossein Movasati

Abstract: We give an example of a one dimensional foliation $\cal F$ of degree two in a Zariski open set of a four dimensional weighted projective space which has only an enumerable set of algebraic leaves. These are defined over rational numbers and are isomorphic to modular curves $X_0(d),\ d\in\Bbb B$ minus cusp points. As a by-product we get new models for modular curves for which we slightly modify an… ▽ More We give an example of a one dimensional foliation $\cal F$ of degree two in a Zariski open set of a four dimensional weighted projective space which has only an enumerable set of algebraic leaves. These are defined over rational numbers and are isomorphic to modular curves $X_0(d),\ d\in\Bbb B$ minus cusp points. As a by-product we get new models for modular curves for which we slightly modify an argument due to J. V. Pereira and give closed formulas for elements in their defining ideals. The general belief has been that such formulas do not exist and the emphasis in the literature has been on introducing faster algorithms to compute equations for small values of $d$. △ Less

Submitted 26 November, 2018; v1 submitted 5 August, 2018; originally announced August 2018.

Comments: In the second version a modern moduli space treatment of Picard's examples is included!

Journal ref: Moscow Mathematical Journal, 2022

Product formulas for weight two newforms

Authors: Hossein Movasati, Younes Nikdelan

Abstract: For a weight two newform $f$ attached to an elliptic curve $E$ defined over rational numbers we write $f=q\prod_{n=1}^\infty (1-q^n)^{g_n}, \ g_n\in\Z$ and we observe that for some special elliptic curves $g_n$ is an increasing sequence of positive integers. For a weight two newform $f$ attached to an elliptic curve $E$ defined over rational numbers we write $f=q\prod_{n=1}^\infty (1-q^n)^{g_n}, \ g_n\in\Z$ and we observe that for some special elliptic curves $g_n$ is an increasing sequence of positive integers. △ Less

Submitted 4 March, 2018; originally announced March 2018.

Comments: Just an announcement of an experiment

Journal ref: Cadernos de IME, No. 14, pages 1-7, 2020

Integral Hodge conjecture for Fermat varieties

Authors: Enzo Aljovin, Hossein Movasati, Roberto Villaflor Loyola

Abstract: We describe an algorithm which verifies whether linear algebraic cycles of the Fermat variety generate the lattice of Hodge cycles. A computer implementation of this confirms the integral Hodge conjecture for quartic and quintic Fermat fourfolds. Our algorithm is based on computation of the list of elementary divisors of both the lattice of linear algebraic cycles, and the lattice of Hodge cycles… ▽ More We describe an algorithm which verifies whether linear algebraic cycles of the Fermat variety generate the lattice of Hodge cycles. A computer implementation of this confirms the integral Hodge conjecture for quartic and quintic Fermat fourfolds. Our algorithm is based on computation of the list of elementary divisors of both the lattice of linear algebraic cycles, and the lattice of Hodge cycles written in terms of vanishing cycles, and observing that these two lists are the same. △ Less

Submitted 27 March, 2019; v1 submitted 7 November, 2017; originally announced November 2017.

Comments: 7 pages

Journal ref: Journal of Symbolic Computation, 2019

Manifold Ways to Darboux-Halphen System

Authors: John Alexander Cruz Morales, Hossein Movasati, Younes Nikdelan, Raju Roychowdhury, Marcus A. C. Torres

Abstract: Many distinct problems give birth to Darboux-Halphen system of differential equations and here we review some of them. The first is the classical problem presented by Darboux and later solved by Halphen concerning finding infinite number of double orthogonal surfaces in $\mathbb{R}^3$. The second is a problem in general relativity about gravitational instanton in Bianchi IX metric space. The third… ▽ More Many distinct problems give birth to Darboux-Halphen system of differential equations and here we review some of them. The first is the classical problem presented by Darboux and later solved by Halphen concerning finding infinite number of double orthogonal surfaces in $\mathbb{R}^3$. The second is a problem in general relativity about gravitational instanton in Bianchi IX metric space. The third problem stems from the new take on the moduli of enhanced elliptic curves called Gauss-Manin connection in disguise developed by one of the authors and finally in the last problem Darboux-Halphen system emerges from the associative algebra on the tangent space of a Frobenius manifold. △ Less

Submitted 8 January, 2018; v1 submitted 27 September, 2017; originally announced September 2017.

Journal ref: SIGMA 14 (2018), 003, 14 pages

Periods of linear algebraic cycles

Authors: Hossein Movasati, Roberto Villaflor Loyola

Abstract: In this article we use a theorem of Carlson and Griffiths and compute periods of linear algebraic cycles inside the Fermat variety of even dimension $n$ and degree $d$. As an application, for examples of $n$ and $d$ we prove that the locus of hypersurfaces containing two linear cycles whose intersection is of low dimension, is a reduced component of the Hodge locus in the underlying parameter spac… ▽ More In this article we use a theorem of Carlson and Griffiths and compute periods of linear algebraic cycles inside the Fermat variety of even dimension $n$ and degree $d$. As an application, for examples of $n$ and $d$ we prove that the locus of hypersurfaces containing two linear cycles whose intersection is of low dimension, is a reduced component of the Hodge locus in the underlying parameter space. We also check the same statement for hypersurfaces containing a complete intersection algebraic cycle. Our result confirms the Hodge conjecture for Hodge cycles obtained by the monodromy of the homology class of such algebraic cycles. This is known as the variational Hodge conjecture. △ Less

Submitted 12 September, 2019; v1 submitted 28 April, 2017; originally announced May 2017.

Comments: 10 pages

Journal ref: Pure and Applied Mathematics Quarterly, 2019

Convolution of Picard-Fuchs equations

Authors: Hossein Movasati, Stefan Reiter

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

Submitted 26 September, 2019; v1 submitted 5 April, 2016; originally announced April 2016.

Comments: 17 pages

Journal ref: Michigan Mathematical Journal, 2022

Gauss-Manin Connection in Disguise: Dwork Family

Authors: Hossein Movasati, Younes Nikdelan

Abstract: We study the moduli space $\textsf{T}$ of the Calabi-Yau $n$-folds arising from the Dwork family and enhanced with bases of the $n$-th de Rham cohomology with constant cup product and compatible with Hodge filtration. We also describe a unique vector field $\textsf{R}$ in $\textsf{T}$ which contracted with the Gauss-Manin connection gives an upper triangular matrix with some non-constant entries w… ▽ More We study the moduli space $\textsf{T}$ of the Calabi-Yau $n$-folds arising from the Dwork family and enhanced with bases of the $n$-th de Rham cohomology with constant cup product and compatible with Hodge filtration. We also describe a unique vector field $\textsf{R}$ in $\textsf{T}$ which contracted with the Gauss-Manin connection gives an upper triangular matrix with some non-constant entries which are natural generalizations of Yukawa couplings. For $n=1,2$ we compute explicit expressions of $\textsf{R}$ and give a solution of $\textsf{R}$ in terms of quasi-modular forms. The moduli space $\textsf{T}$ is an affine variety and for $n=4$ we give explicit coordinate system for $\textsf{T}$ and compute the vector field $\textsf{R}$ and the $q$-expnasion of its solution. △ Less

Submitted 3 November, 2021; v1 submitted 30 March, 2016; originally announced March 2016.

Comments: 21 pages

MSC Class: 14J15; 14J32; 11Y55

Why should one compute periods of algebraic cycles?

Authors: Hossein Movasati

Abstract: In this article we show how the data of integrals of algebraic differential forms over algebraic cycles can be used in order to prove that algebraic and Hodge cycle deformations of a given algebraic cycle are equivalent. As an example, we prove that most of the Hodge and algebraic cycles of the Fermat sextic fourfold cannot be deformed in the underlying parameter space. We then take a difference o… ▽ More In this article we show how the data of integrals of algebraic differential forms over algebraic cycles can be used in order to prove that algebraic and Hodge cycle deformations of a given algebraic cycle are equivalent. As an example, we prove that most of the Hodge and algebraic cycles of the Fermat sextic fourfold cannot be deformed in the underlying parameter space. We then take a difference of two linear cycles inside the Fermat variety, and gather evidences that the Hodge locus corresponding to this is smooth and reduced. This implies the existence of new algebraic cycles in the Fermat variety whose existence is predicted by the Hodge conjecture for all hypersurfaces, but not the Fermat variety itself. △ Less

Submitted 11 April, 2018; v1 submitted 21 February, 2016; originally announced February 2016.

Comments: The fourth version, containing more results on reduced and non-reduced Hodge loci. More cases are added

Journal ref: Cahpter 18 of the book: A Course in Hodge Theory: With Emphasis on Multiple Integrals, Somerville, MA: International Press Boston, 2021

Remarks on a theorem of Perron

Authors: Cesar Camacho, Hossein Movasati

Abstract: For a linear differential equation with a mild condition on its singularities, we discuss generalized continued fractions converging to expressions in its solutions and their derivatives. In the case of an order two linear differential equation, this is the logarithmic derivative of the holomorphic solution near a singularity. For a linear differential equation with a mild condition on its singularities, we discuss generalized continued fractions converging to expressions in its solutions and their derivatives. In the case of an order two linear differential equation, this is the logarithmic derivative of the holomorphic solution near a singularity. △ Less

Submitted 10 November, 2015; originally announced November 2015.

Journal ref: J. Differential Equations, 260, (2016), 1465--1471

Calabi-Yau modular forms in limit: Elliptic Fibrations

Authors: Babak Haghighat, Hossein Movasati, Shing-Tung Yau

Abstract: We study the limit of Calabi-Yau modular forms, and in particular, those resulting in classical modular forms. We then study two parameter families of elliptically fibred Calabi-Yau fourfolds and describe the modular forms arising from the degeneracy loci. In the case of elliptically fibred Calabi-Yau threefolds our approach gives a mathematical proof of many observations about modularity properti… ▽ More We study the limit of Calabi-Yau modular forms, and in particular, those resulting in classical modular forms. We then study two parameter families of elliptically fibred Calabi-Yau fourfolds and describe the modular forms arising from the degeneracy loci. In the case of elliptically fibred Calabi-Yau threefolds our approach gives a mathematical proof of many observations about modularity properties of topological string amplitudes starting with the work of Candelas, Font, Katz and Morrison. In the case of Calabi-Yau fourfolds we derive new identities not computed before. △ Less

Submitted 4 November, 2015; originally announced November 2015.

Comments: 24 pages

Gauss-Manin connection in disguise: Noether-Lefschetz and Hodge loci

Authors: Hossein Movasati

Abstract: We give a classification of components of the Hodge locus in any parameter space of smooth projective varieties. This is done using determinantal varieties constructed from the infinitesimal variation of Hodge structures (IVHS) of the underlying family. As a corollary we prove that the minimum codimension for the components of the Hodge locus in the parameter space of $m$-dimensional hypersurfaces… ▽ More We give a classification of components of the Hodge locus in any parameter space of smooth projective varieties. This is done using determinantal varieties constructed from the infinitesimal variation of Hodge structures (IVHS) of the underlying family. As a corollary we prove that the minimum codimension for the components of the Hodge locus in the parameter space of $m$-dimensional hypersurfaces of degree $d$ with $d\geq 2+\frac{4}{m}$ and in a Zariski neighborhood of the point representing the Fermat variety, is obtained by the locus of hypersurfaces passing through an $\frac{m}{2}$-dimensional linear projective space. In the particular case of surfaces in the projective space of dimension three, this is a theorem of Green and Voisin. In this case our classification under a computational hypothesis on IVHS implies a weaker version of the Harris-Voisin conjecture which says that the set of special components of the Noether-Lefschetz locus is not Zariski dense in the parameter space. △ Less

Submitted 30 April, 2016; v1 submitted 6 November, 2014; originally announced November 2014.

Comments: To appear in Asian Journal of Mathematics

Gauss-Manin connection in disguise: Calabi-Yau threefolds

Authors: Murad Alim, Hossein Movasati, Emanuel Scheidegger, Shing-Tung Yau

Abstract: We describe a Lie Algebra on the moduli space of Calabi-Yau threefolds enhanced with differential forms and its relation to the Bershadsky-Cecotti-Ooguri-Vafa holomorphic anomaly equation. In particular, we describe algebraic topological string partition functions $F_g^{alg}, g\geq 1$, which encode the polynomial structure of holomorphic and non-holomorphic topological string partition functions.… ▽ More We describe a Lie Algebra on the moduli space of Calabi-Yau threefolds enhanced with differential forms and its relation to the Bershadsky-Cecotti-Ooguri-Vafa holomorphic anomaly equation. In particular, we describe algebraic topological string partition functions $F_g^{alg}, g\geq 1$, which encode the polynomial structure of holomorphic and non-holomorphic topological string partition functions. Our approach is based on Grothendieck's algebraic de Rham cohomology and on the algebraic Gauss-Manin connection. In this way, we recover a result of Yamaguchi-Yau and Alim-Länge in an algebraic context. Our proofs use the fact that the special polynomial generators defined using the special geometry of deformation spaces of Calabi-Yau threefolds correspond to coordinates on such a moduli space. We discuss the mirror quintic as an example. △ Less

Submitted 7 October, 2014; originally announced October 2014.

Comments: 25 pages

MSC Class: 14N35; 14J15; 32G20

Automorphic forms for triangle groups: Integrality properties

Authors: Hossein Movasati, Khosro M. Shokri

Abstract: We classify all primes appearing in the denominators of the Hauptmodul $J$ and modular forms for non-arithmetic triangle groups with a cusp. These primes have a congruence condition in terms of the order of the generators of the group. As a corollary we show that for the Hecke group of type $(2,m,\infty)$, the prime $p$ does not appear in the denominator of $J$ if and only if… ▽ More We classify all primes appearing in the denominators of the Hauptmodul $J$ and modular forms for non-arithmetic triangle groups with a cusp. These primes have a congruence condition in terms of the order of the generators of the group. As a corollary we show that for the Hecke group of type $(2,m,\infty)$, the prime $p$ does not appear in the denominator of $J$ if and only if $p\equiv \pm 1\pmod m$. △ Less

Submitted 13 July, 2014; originally announced July 2014.

Comments: To appear in Journal of Number Theory

Automorphic forms for triangle groups

Authors: Charles F. Doran, Terry Gannon, Hossein Movasati, Khosro Monsef Shokri

Abstract: For triangle groups, the (quasi-)automorphic forms are known just as explicitly as for the modular group SL$(2,\bbZ)$. We collect these expressions here, and then interpret them using the Halphen differential equation. We study the arithmetic properties of their Fourier coefficients at cusps and Taylor coefficients at elliptic fixed-points --- in both cases integrality is related to the arithmetic… ▽ More For triangle groups, the (quasi-)automorphic forms are known just as explicitly as for the modular group SL$(2,\bbZ)$. We collect these expressions here, and then interpret them using the Halphen differential equation. We study the arithmetic properties of their Fourier coefficients at cusps and Taylor coefficients at elliptic fixed-points --- in both cases integrality is related to the arithmeticity of the triangle group. As an application of our formulas, we provide an explicit modular interpretation of periods of 14 families of Calabi-Yau threefolds over the thrice-punctured sphere. △ Less

Submitted 16 July, 2013; originally announced July 2013.

Comments: 32 pages

Modular-type functions attached to Calabi-Yau varieties: integrality properties

Authors: Hossein Movasati, Khosro Monsef Shokri

Abstract: We study the integrality properties of the coefficients of the mirror map attached to the generalized hypergeometric function $_{n}F_{n-1}$ with rational parameters and with a maximal unipotent monodromy. We present a conjecture on the $p$-integrality of the mirror map which can be verified experimentally. We prove its consequence on the $N$-integrality of the mirror map for the particular cases… ▽ More We study the integrality properties of the coefficients of the mirror map attached to the generalized hypergeometric function $_{n}F_{n-1}$ with rational parameters and with a maximal unipotent monodromy. We present a conjecture on the $p$-integrality of the mirror map which can be verified experimentally. We prove its consequence on the $N$-integrality of the mirror map for the particular cases $1\leq n\leq 4$. For $n=2$ we obtain the Takeuchi's classification of arithmetic triangle groups with a cusp, and for $n=4$ we prove that $14$ examples of hypergeometric Calabi-Yau equations are the full classification of hypergeometric mirror maps with integral coefficients. As a by-product we get the integrality of the corresponding algebra of modular-type functions. These are natural generalizations of the algebra of classical modular and quasi-modular forms in the case $n=2$. △ Less

Submitted 13 July, 2014; v1 submitted 24 June, 2013; originally announced June 2013.

Comments: This paper will appear as an appendix in a monograph of the first author

Quasi-modular forms attached to elliptic curves: Hecke operators

Authors: Hossein Movasati

Abstract: In this article we introduce Hecke operators on the differential algebra of geometric quasi-modular forms. As an application for each natural number $d$ we construct a vector field in six dimensions which determines uniquely the polynomial relations between the Eisenstein series of weight 2,4 and 6 and their transformation under multiplication of the argument by $d$, and in particular, it determin… ▽ More In this article we introduce Hecke operators on the differential algebra of geometric quasi-modular forms. As an application for each natural number $d$ we construct a vector field in six dimensions which determines uniquely the polynomial relations between the Eisenstein series of weight 2,4 and 6 and their transformation under multiplication of the argument by $d$, and in particular, it determines uniquely the modular curve of degree $d$ isogenies between elliptic curves. △ Less

Submitted 10 May, 2012; originally announced May 2012.

Comments: 15 pages

Modular-type functions attached to mirror quintic Calabi-Yau varieties

Authors: Hossein Movasati

Abstract: In this article we study a differential algebra of modular-type functions attached to the periods of a one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of quintic threefolds. Such an algebra is generated by seven functions satisfying functional and differential equations in parallel to the modular functional equations of classical Eisenstein series and the… ▽ More In this article we study a differential algebra of modular-type functions attached to the periods of a one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of quintic threefolds. Such an algebra is generated by seven functions satisfying functional and differential equations in parallel to the modular functional equations of classical Eisenstein series and the Ramanujan differential equation. Our result is the first example of automorphic-type functions attached to varieties whose period domain is not Hermitian symmetric. It is a reformulation and realization of a problem of Griffiths around seventies on the existence of automorphic functions for the moduli of polarized Hodge structures. △ Less

Submitted 23 June, 2012; v1 submitted 1 November, 2011; originally announced November 2011.

Embedded Curves and Foliations

Authors: Hossein Movasati, Paulo Sad

Abstract: We prove the existence of regular foliations with a prescribed tangency divisor in neighborhoods of negatively embedded holomorphic curves; this is related to a linearization theorem due to Grauert. We give also examples of neighborhoods which can not be linearized. We prove the existence of regular foliations with a prescribed tangency divisor in neighborhoods of negatively embedded holomorphic curves; this is related to a linearization theorem due to Grauert. We give also examples of neighborhoods which can not be linearized. △ Less

Submitted 17 October, 2011; originally announced October 2011.

Comments: Pub. Mat. 55, 2011

Foliated neighborhoods of exceptional submanifolds

Authors: Cesar Camacho, Hossein Movasati

Abstract: The present article is a study of germs of regular foliations transverse to an embedded strongly exceptional submanifold of a complex manifold. Cohomological conditions are given on this embedding for the existence of these foliations and their classification is established. One dimensional foliations singular at the submanifold and a generalization of a linearization theorem of Poincaré for these… ▽ More The present article is a study of germs of regular foliations transverse to an embedded strongly exceptional submanifold of a complex manifold. Cohomological conditions are given on this embedding for the existence of these foliations and their classification is established. One dimensional foliations singular at the submanifold and a generalization of a linearization theorem of Poincaré for these foliations, are used in this study. As a consequence of our approach, we obtain a refinement of the embedding theorem of Grauert. △ Less

Submitted 17 October, 2011; originally announced October 2011.

Quasi-modular forms attached to elliptic curves, I

Authors: Hossein Movasati

Abstract: In the present text we give a geometric interpretation of quasi-modular forms using moduli of elliptic curves with marked elements in their de Rham cohomologies. In this way differential equations of modular and quasi-modular forms are interpreted as vector fields on such moduli spaces and they can be calculated from the Gauss-Manin connection of the corresponding universal family of elliptic curv… ▽ More In the present text we give a geometric interpretation of quasi-modular forms using moduli of elliptic curves with marked elements in their de Rham cohomologies. In this way differential equations of modular and quasi-modular forms are interpreted as vector fields on such moduli spaces and they can be calculated from the Gauss-Manin connection of the corresponding universal family of elliptic curves. For the full modular group such a differential equation is calculated and it turns out to be the Ramanujan differential equation between Eisenstein series. We also explain the notion of period map constructed from elliptic integrals. This turns out to be the bridge between the algebraic notion of a quasi-modular form and the one as a holomorphic function on the upper half plane. In this way we also get another interpretation, essentially due to Halphen, of the Ramanujan differential equation in terms of hypergeometric functions. The interpretation of quasi-modular forms as sections of jet bundles and some related enumerative problems are also presented. △ Less

Submitted 17 October, 2011; originally announced October 2011.

Comments: 51 pages

Quasi-modular forms attached to Hodge structures

Authors: Hossein Movasati

Abstract: The space $D$ of Hodge structures on a fixed polarized lattice is known as Griffiths period domain and its quotient by the isometry group of the lattice is the moduli of polarized Hodge structures of a fixed type. When $D$ is a Hermition symmetric domain then we have automorphic forms on $D$, which according to Baily-Borel theorem, they give an algebraic structure to the mentioned moduli space. In… ▽ More The space $D$ of Hodge structures on a fixed polarized lattice is known as Griffiths period domain and its quotient by the isometry group of the lattice is the moduli of polarized Hodge structures of a fixed type. When $D$ is a Hermition symmetric domain then we have automorphic forms on $D$, which according to Baily-Borel theorem, they give an algebraic structure to the mentioned moduli space. In this article we slightly modify this picture by considering the space $U$ of polarized lattices in a fixed complex vector space with a fixed Hodge filtration and polarization. It turns out that the isometry group of the filtration and polarization, which is an algebraic group, acts on $U$ and the quotient is again the moduli of polarized Hodge structures. This formulation leads us to the notion of quasi-automorphic forms which generalizes quasi-modular forms attached to elliptic curves. △ Less

Submitted 10 April, 2012; v1 submitted 25 September, 2010; originally announced September 2010.

Comments: 16 pages; Fields Communication Series, 2012

Eisenstein type series for Calabi-Yau varieties

Authors: Hossein Movasati

Abstract: In this article we introduce an ordinary differential equation associated to the one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of smooth quintic three folds. It is satisfied by seven functions written in the $q$-expansion form and the Yukawa coupling turns out to be rational in these functions. This is a generalization of the Ramanujan differential equat… ▽ More In this article we introduce an ordinary differential equation associated to the one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of smooth quintic three folds. It is satisfied by seven functions written in the $q$-expansion form and the Yukawa coupling turns out to be rational in these functions. This is a generalization of the Ramanujan differential equation satisfied by three Eisenstein series. △ Less

Submitted 19 September, 2010; v1 submitted 23 July, 2010; originally announced July 2010.

Comments: 22 pages

Heun equations coming from geometry

Authors: Hossein Movasati, Stefan Reiter

Abstract: We give a list of Heun equations which are Picard-Fuchs associated to families of algebraic varieties. Our list is based on the classification of families of elliptic curves with four singular fibers done by Herfurtner. We also show that pullbacks of hypergeometric functions by rational Belyi functions with restricted ramification data give rise to Heun equations. We give a list of Heun equations which are Picard-Fuchs associated to families of algebraic varieties. Our list is based on the classification of families of elliptic curves with four singular fibers done by Herfurtner. We also show that pullbacks of hypergeometric functions by rational Belyi functions with restricted ramification data give rise to Heun equations. △ Less

Submitted 17 April, 2012; v1 submitted 4 February, 2009; originally announced February 2009.

Comments: 14 pages

MSC Class: 33E30; 33C05

On elliptic modular foliations

Authors: Hossein Movasati

Abstract: In this article we consider the three parameter family of elliptic curves $E_t: y^2-4(x-t_1)^3+t_2(x-t_1)+t_3=0, t\in\C^3$ and study the modular holomorphic foliation $\F_ω$ in $\C^3$ whose leaves are constant locus of the integration of a 1-form $ω$ over topological cycles of $E_t$. Using the Gauss-Manin connection of the family $E_t$, we show that $\F_ω$ is an algebraic foliation. In the case… ▽ More In this article we consider the three parameter family of elliptic curves $E_t: y^2-4(x-t_1)^3+t_2(x-t_1)+t_3=0, t\in\C^3$ and study the modular holomorphic foliation $\F_ω$ in $\C^3$ whose leaves are constant locus of the integration of a 1-form $ω$ over topological cycles of $E_t$. Using the Gauss-Manin connection of the family $E_t$, we show that $\F_ω$ is an algebraic foliation. In the case $ω=\frac{xdx}{y}$, we prove that a transcendent leaf of $\F_ω$ contains at most one point with algebraic coordinates and the leaves of $\F_ω$ corresponding to the zeros of integrals, never cross such a point. Using the generalized period map associated to the family $E_t$, we find a uniformization of $\F_ω$ in $T$, where $T\subset \C^3$ is the locus of parameters $t$ for which $E_t$ is smooth. We find also a real first integral of $\F_ω$ restricted to $T$ and show that $\F_ω$ is given by the Ramanujan relations between the Eisenstein series. △ Less

Submitted 24 June, 2008; originally announced June 2008.

Painlevé VI equations with algebraic solutions and family of curves

Authors: Hossein Movasati, Stefan Reiter

Abstract: In families of Painlevé VI differential equations having common algebraic solutions we classify all the members which come from geometry, i.e. the corresponding linear differential equations which are Picard-Fuchs associated to families of algebraic varieties. In our case, we have one family with zero dimensional fibers and all others are families of curves. We use the classification of families… ▽ More In families of Painlevé VI differential equations having common algebraic solutions we classify all the members which come from geometry, i.e. the corresponding linear differential equations which are Picard-Fuchs associated to families of algebraic varieties. In our case, we have one family with zero dimensional fibers and all others are families of curves. We use the classification of families of elliptic curves with four singular fibers done by Herfurtner in 1992 and generalize the results of Doran in 2001 and Ben Hamed and Gavrilov in 2005. △ Less

Submitted 6 June, 2008; originally announced June 2008.

Comments: 15 pages

MSC Class: 34M55

On the non-persistence of Hamiltonian identity cycles

Authors: Lubomir Gavrilov, Hossein Movasati, Issao Nakai

Abstract: We study the leading term of the holonomy map of a perturbed plane polynomial Hamiltonian foliation. The non-vanishing of this term implies the non-persistence of the corresponding Hamiltonian identity cycle. We prove that this does happen for generic perturbations and cycles, as well for cycles which are commutators in Hamiltonian foliations of degree two. Our approach relies on the Chen's theo… ▽ More We study the leading term of the holonomy map of a perturbed plane polynomial Hamiltonian foliation. The non-vanishing of this term implies the non-persistence of the corresponding Hamiltonian identity cycle. We prove that this does happen for generic perturbations and cycles, as well for cycles which are commutators in Hamiltonian foliations of degree two. Our approach relies on the Chen's theory of iterated path integrals which we briefly resume. △ Less

Submitted 30 May, 2008; originally announced June 2008.

Comments: 17 pages

MSC Class: 37F75

Journal ref: J. Differential Equations 246 (2009) 2706-2723

Moduli of polarized Hodge structures

Authors: Hossein Movasati

Abstract: Around 1970 Griffiths introduced the moduli of polarized Hodge structures/the period domain $D$ and described a dream to enlarge $D$ to a moduli space of degenerating polarized Hodge structures. Since in general $D$ is not a Hermitian symmetric domain, he asked for the existence of a certain automorphic cohomology theory for $D$, generalizing the usual notion of automorphic forms on symmetric He… ▽ More Around 1970 Griffiths introduced the moduli of polarized Hodge structures/the period domain $D$ and described a dream to enlarge $D$ to a moduli space of degenerating polarized Hodge structures. Since in general $D$ is not a Hermitian symmetric domain, he asked for the existence of a certain automorphic cohomology theory for $D$, generalizing the usual notion of automorphic forms on symmetric Hermitian domains. Since then there have been many efforts in the first part of Griffith's dream but the second part still lives in darkness. The objective of the present text is two-folded. First, we give an exposition of the subject. Second, we give another formulation of the Griffiths problem, based on the classical Weierstrass uniformization theorem. △ Less

Submitted 21 February, 2008; originally announced February 2008.

MSC Class: 14D99

Commuting holonomies and rigidity of holomorphic foliations

Authors: Hossein Movasati, Isao Nakai

Abstract: In this article we study deformations of a holomorphic foliation with a generic non-rational first integral in the complex plane. We consider two vanishing cycles in a regular fiber of the first integral with a non-zero self intersection and with vanishing paths which intersect each other only at their start points. It is proved that if the deformed holonomies of such vanishing cycles commute th… ▽ More In this article we study deformations of a holomorphic foliation with a generic non-rational first integral in the complex plane. We consider two vanishing cycles in a regular fiber of the first integral with a non-zero self intersection and with vanishing paths which intersect each other only at their start points. It is proved that if the deformed holonomies of such vanishing cycles commute then the deformed foliation has also a first integral. Our result generalizes a similar result of Ilyashenko on the rigidity of holomorphic foliations with a persistent center singularity. The main tools of the proof are Picard-Lefschetz theory and the theory of iterated integrals for such deformations. △ Less

Submitted 21 February, 2008; originally announced February 2008.

Comments: 6 pages

MSC Class: 57R30; 14D99; 32G34

C^*- Actions on Stein analytic spaces with isolated singularities

Authors: Cesar Camacho, Hossein Movasati, Bruno Scardua

Abstract: Let $V$ be an irreducible complex analytic space of dimension two with normal singularities and $\vr:\mathbb{C^*}\times V\to V$ a holomorphic action of the group $\mathbb{C^*}$ on $V$. Denote by $\fa_\vr$ the foliation on $V$ induced by $\vr$. The leaves of this foliation are the one-dimensional orbits of $\vr$. %and its singularities are the fixed points of $\vr$. We will assume that there exis… ▽ More Let $V$ be an irreducible complex analytic space of dimension two with normal singularities and $\vr:\mathbb{C^*}\times V\to V$ a holomorphic action of the group $\mathbb{C^*}$ on $V$. Denote by $\fa_\vr$ the foliation on $V$ induced by $\vr$. The leaves of this foliation are the one-dimensional orbits of $\vr$. %and its singularities are the fixed points of $\vr$. We will assume that there exists a \emph{dicritical} singularity $p\in V$ for the $\bc^*$-action, i.e. for some neighborhood $p\in W\subset V$ there are infinitely many leaves of $\mathcal {F}_\vr|_{W}$ accumulating only at $p$. The closure of such a local leaf is an invariant local analytic curve called a \emph{separatrix} of $\mathcal{F}_\vr$ through $p$. In \cite{Orlik} Orlik and Wagreich studied the 2-dimensional affine algebraic varieties embedded in $\mathbb{C}^{n+1}$, with an isolated singularity at the origin, that are invariant by an effective action of the form $σ_Q(t,(z_{0},...,z_{n}))=(t^{q_{0}}z_{0},..., t^{q_{n}}z_{n})$ where $Q=(q_0,...,q_n) \in\mathbb N^{n+1}$, i.e. all $q_{i}$ are positive integers. Such actions are called \emph{good} actions. In particular they classified the algebraic surfaces embedded in $\mathbb{C}^{3}$ endowed with such an action. It is easy to see that any good action on a surface embedded in $\mathbb{C}^{n+1}$ has a dicritical singularity at $0\in\mathbb{C}^{n+1}$. Conversely, it is the purpose of this paper to show that good actions are the models for analytic $\mathbb{C^*}$-actions on Stein analytic spaces of dimension two with a dicritical singularity. △ Less

Submitted 4 September, 2007; originally announced September 2007.

MSC Class: 32S65; 32M25

Differential modular forms and some analytic relations between Eisenstein series

Authors: Hossein Movasati

Abstract: In the present article we define the algebra of differential modular forms and we prove that it is generated by Eisenstein series of weight $2,4$ and 6. We define Hecke operators on them, find some analytic relations between these Eisenstein series and obtain them in a natural way as coefficients of a family of elliptic curves. The fact that a complex manifold over the moduli of polarized Hodge… ▽ More In the present article we define the algebra of differential modular forms and we prove that it is generated by Eisenstein series of weight $2,4$ and 6. We define Hecke operators on them, find some analytic relations between these Eisenstein series and obtain them in a natural way as coefficients of a family of elliptic curves. The fact that a complex manifold over the moduli of polarized Hodge structures in the case $h^{10}=h^{01}=1$ has an algebraic structure with an action of an algebraic group plays a basic role in all of the proofs. △ Less

Submitted 27 October, 2006; originally announced October 2006.

Comments: To appear in Ramanujan Journal

Center conditions for polynomial differential equations: discussion of some problems

Authors: Hossein Movasati

Abstract: Classifications of irreducible components of the set of polynomial differential equations with a fixed degree and with at least one center singularity lead to some other new problems on Picard-Lefschetz theory and Brieskorn modules of polynomials. In this article we explain these problems and their connections to such classifications. Classifications of irreducible components of the set of polynomial differential equations with a fixed degree and with at least one center singularity lead to some other new problems on Picard-Lefschetz theory and Brieskorn modules of polynomials. In this article we explain these problems and their connections to such classifications. △ Less

Submitted 15 December, 2005; originally announced December 2005.

Comments: 7-pages

MSC Class: 32L30-14D05

Journal ref: Research Institute for Mathematical Sciences Kokyuroku 1447, 2005

Hypergeometric series and Hodge cycles of four dimensional cubic hypersurfaces

Authors: Hossein Movasati, Stefen Reiter

Abstract: In this article we find connections between the values of Gauss hypergeometric functions and the dimension of the vector space of Hodge cycles of four dimensional cubic hypersurfaces. Since the Hodge conjecture is well-known for those varieties we calculate values of Hypergeometric series on certain $CM$ points. Our methods is based on the calculation of the Picard-Fuchs equations in higher dime… ▽ More In this article we find connections between the values of Gauss hypergeometric functions and the dimension of the vector space of Hodge cycles of four dimensional cubic hypersurfaces. Since the Hodge conjecture is well-known for those varieties we calculate values of Hypergeometric series on certain $CM$ points. Our methods is based on the calculation of the Picard-Fuchs equations in higher dimensions, reducing them to the Gauss equation and then applying the Abelian Subvariety Theorem to the corresponding hypergeometric abelian varieties. △ Less

Submitted 30 August, 2006; v1 submitted 21 July, 2005; originally announced July 2005.

MSC Class: 14C30

Journal ref: International Journal of number theory, vol 2, No 6, 1--20, 2006

The infinitesimal 16th Hilbert problem in dimension zero

Authors: Lubomir Gavrilov, Hossein Movasati

Abstract: We study the analogue of the infinitesimal 16th Hilbert problem in dimension zero. Lower and upper bounds for the number of the zeros of the corresponding Abelian integrals (which are algebraic functions) are found. We study the relation between the vanishing of an Abelian integral $I(t)$ defined over $\mathbb{Q}$ and its arithmetic properties. Finally, we give necessary and sufficient condition… ▽ More We study the analogue of the infinitesimal 16th Hilbert problem in dimension zero. Lower and upper bounds for the number of the zeros of the corresponding Abelian integrals (which are algebraic functions) are found. We study the relation between the vanishing of an Abelian integral $I(t)$ defined over $\mathbb{Q}$ and its arithmetic properties. Finally, we give necessary and sufficient conditions for an Abelian integral to be identically zero. △ Less

Submitted 4 July, 2005; originally announced July 2005.

Comments: 21 pages

MSC Class: 34C07; 14K20

Journal ref: Bull. Sci. math. 131 (2007) 242--257

Differential modular forms,Elliptic curves and Ramanujan foliation

Authors: Hossein Movasati

Abstract: In this article we define the algebra of differential modular forms and we prove that it is generated by Eisenstein series of weight $2,4$ and 6. We define Hecke operators on them, find some analytic relations between these Eisenstein series and obtain them in a natural way as coefficients of a family of elliptic curves. Then we describe the relation between the dynamics of a foliation in… ▽ More In this article we define the algebra of differential modular forms and we prove that it is generated by Eisenstein series of weight $2,4$ and 6. We define Hecke operators on them, find some analytic relations between these Eisenstein series and obtain them in a natural way as coefficients of a family of elliptic curves. Then we describe the relation between the dynamics of a foliation in $\C^3$ induced by the Ramanujan relations, with vanishing of elliptic integrals. The fact that a complex manifold over the Moduli of Polarized Hodge Structures in the case $h^{10}=h^{01}=1$ has an algebraic structure with an action of an algebraic group plays a basic role in all of the proofs. △ Less

Submitted 6 June, 2005; originally announced June 2005.

MSC Class: 14

On vanishing of Abelian integrals and contraction of genus two curves

Authors: Hossein Movasati, Evelina Viada

Abstract: The paper is withdrawn. The paper is withdrawn. △ Less

Submitted 10 March, 2006; v1 submitted 17 May, 2005; originally announced May 2005.

Comments: The main Theorem is true for genus two curves (a direct consequence of AST)

Calculation of mixed Hodge structures, Gauss-Manin connections and Picard-Fuchs equations

Authors: Hossein Movasati

Abstract: In this article we introduce algorithms which compute iterations of Gauss-Manin connections, Picard-Fuchs equations of Abelian integrals and mixed Hodge structure of affine varieties of dimension $n$ in terms of differential forms. In the case $n=1$ such computations have many applications in differential equations and counting their limit cycles. For $n>3$, these computations give us an explici… ▽ More In this article we introduce algorithms which compute iterations of Gauss-Manin connections, Picard-Fuchs equations of Abelian integrals and mixed Hodge structure of affine varieties of dimension $n$ in terms of differential forms. In the case $n=1$ such computations have many applications in differential equations and counting their limit cycles. For $n>3$, these computations give us an explicit definition of Hodge cycles. △ Less

Submitted 13 December, 2004; originally announced December 2004.

Comments: 14 pages

MSC Class: 14C30

Mixed Hodge structure of affine hypersurfaces

Authors: Hossein Movasati

Abstract: In this article we introduce the mixed Hodge structure of the Brieskorn module of a polynomial $f$ in $\C^{n+1}$, where $f$ satisfies a certain regularity condition at infinity (and hence has isolated singularities). We give an algorithm which produces a basis of a localization of the Brieskorn module which is compatible with its mixed Hodge structure. As an application we show that the notion o… ▽ More In this article we introduce the mixed Hodge structure of the Brieskorn module of a polynomial $f$ in $\C^{n+1}$, where $f$ satisfies a certain regularity condition at infinity (and hence has isolated singularities). We give an algorithm which produces a basis of a localization of the Brieskorn module which is compatible with its mixed Hodge structure. As an application we show that the notion of a Hodge cycle in regular fibers of $f$ is given in terms of the vanishing of integrals of certain polynomial $n$-forms in $\C^{n+1}$ over topological $n$-cycles on the fibers of $f$. Since the $n$-th homology of a regular fiber is generated by vanishing cycles, this leads us to study Abelian integrals over them. Our result generalizes and uses the arguments of J. Steenbrink 1977 for quasi-homogeneous polynomials. △ Less

Submitted 30 August, 2006; v1 submitted 5 July, 2004; originally announced July 2004.

Comments: 22 pages, minor corrections, To appear in Ann. Ins. Fourier

MSC Class: 14C30; 32S35

Transfer operators for $Γ_0(n)$ and the Hecke operators for the period functions for $PSL(2,Z)$

Authors: J. Hilgert, D. Mayer, H. Movasati

Abstract: In this article we report on a surprising relation between the transfer operators for the congruence subgroups $Γ_{0}(n)$ and the Hecke operators on the space of period functions for the modular group $\PSL (2,\mathbb{Z})$. For this we study special eigenfunctions of the transfer operators with eigenvalues $\mp 1$, which are also solutions of the Lewis equations for the groups $Γ_{0}(n)$ and whi… ▽ More In this article we report on a surprising relation between the transfer operators for the congruence subgroups $Γ_{0}(n)$ and the Hecke operators on the space of period functions for the modular group $\PSL (2,\mathbb{Z})$. For this we study special eigenfunctions of the transfer operators with eigenvalues $\mp 1$, which are also solutions of the Lewis equations for the groups $Γ_{0}(n)$ and which are determined by eigenfunctions of the transfer operator for the modular group $\PSL (2,\mathbb{Z})$. In the language of the Atkin-Lehner theory of old and new forms one should hence call them old eigenfunctions or old solutions of Lewis equation. It turns out that the sum of the components of these old solutions for the group $Γ_{0}(n)$ determine for any $n$ a solution of the Lewis equation for the modular group and hence also an eigenfunction of the transfer operator for this group. △ Less

Submitted 20 March, 2003; originally announced March 2003.

Comments: 33 pages

MSC Class: 11F25;11F67;37C40