The Gauss-Manin connection on the Hodge structures
Pour tout schéma simplicial $X_{\bullet}$ il existe une application canonique $\nabla:H^{\ast}(X_{\bullet})\longrightarrow Ω^1_{{\mathbb C}/{\mathbb Q}}\otimes H^{\ast}(X_{\bullet})$,appelée la connections de Gaujiang-Manin.我们的montrons qu'il existe one unique connectors fonctorielle sur toute structure de Hodge-Tate mixte ayant certaines propriétés de la connectors de Gaujiang-Manin.这一点在一般意义上是不可分的,而不可分也是霍奇几何结构的一个重要条件。在一些特殊的例子中,我给出了在霍奇结构条件下,${\mathbb C}$上各种代数的同调关系的Gauss-Manin公式。
In this note we study families of Gauss-Manin systems arising from Laurent polynomials with parametric coefficients under projection to the parameter space. For suitable matrices of exponent vectors, we exhibit a natural four-term exact sequence for which we then give an interpretation via generalized A-hypergeometric systems. We determine the extension groups from the parameter sheaf to the middle term of this sequence and show that the four-term sequence does not split. Auxiliary results include the computation of Ext and Tor groups of A-hypergeometric systems against the parameter sheaf.
We study differential forms on the universal vector extension $A^\natural$ of an abelian scheme $A$ in characteristic zero, and derive a new construction of the $D$-group scheme structure on $A^\natural$. This gives, in particular, a rather simple description of the Gauss--Manin connection on the de Rham cohomology of $A$ in terms of global algebraic differential forms on $A^\natural$. The key ingredient is the computation of the coherent cohomology of $A^{\natural}$, due to Coleman and Laumon.
Harvard University(哈佛大学);Dartmouth College(达特茅斯学院);Leibniz Universität Hannover(汉诺威莱布尼茨大学)
The Gauss-Manin connection of a family of hypersurfaces governs the change of the period matrix along the family. This connection can be complicated even when the equations defining the family look simple. When this is the case, it is computationally expensive to compute the period matrices of varieties in the family via homotopy continuation. We train neural networks that can quickly and reliably guess the complexity of the Gauss-Manin connection of a pencil of hypersurfaces. As an application, we compute the periods of 96% of smooth quartic surfaces in projective 3-space whose defining equat…
Critical set of the master function and characteristic variety of the associated Gauss-Manin differential equations
本文考虑$k$维仿射空间中的一类加权$n$超迁移超平面,并描述了相应超几何积分的Gauss-Manin微分方程的特征簇.特征簇是Laurent多项式的零点集,其系数由Grassmannian Gr $(k,n)$中的权和结合点决定.罗朗多项式是对合的。一个中间对象之间的微分方程和特征品种是代数上的临界集的相关主功能的功能。我们构造了Gauss-Manin微分方程的向量空间与函数代数之间的线性同构。同构使我们能够描述特征多样性。它还允许我们定义一个积分结构的向量空间的代数和相关的(组合)连接家庭等代数。
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.
We derive the complete list of singularities of propagators in theories with arbitrary (complex) masses and for arbitrary diagram. We derive in a closed form differential equations for the propagator as a function of the momentum and masses.
Originally conjectured unpublished by Grothendieck, then formulated precisely by Katz, the $p$-curvature conjecture is a local-global principle for algebraic differential equations. It is at present open, though various cases are known. Katz subsequently proved this conjecture in a wide range of cases, for differential equations corresponding to the Gauss-Manin connection on algebraic de Rham cohomology. This dissertation addresses the non-abelian analogue of Katz' theorem, in the sense of Simpson's non-abelian Hodge theory, surveyed by Simpson and later developed in characteristic $p$ by Ogus…
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.
We study mirror symmetry of families of elliptic K3 surfaces with elliptic fibers of type $E_6,~E_7$ and $E_8$. We consider a moduli space $\mathsf{T}$ of the mirror K3 surfaces enhanced with the choice of differential forms. We show that coordinates on $\mathsf{T}$ are given by the ring of quasi modular forms in two variables, with modular groups adapted to the fiber type. We furthermore introduce an algebraic group $\mathsf{G}$ which acts on $\mathsf{T}$ from the right and construct its Lie algebra $\mathrm{Lie}(\mathsf{G})$. We prove that the extended Lie algebra generated by $\mathrm{Lie}(…
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 …
Let $A$ be a $d$ by $n$ integer matrix. Gel'fand et al. proved that most $A$-hypergeometric systems have an interpretation as a Fourier--Laplace transform of a direct image. The set of parameters for which this happens was later identified by Schulze and Walther as the set of not strongly resonant parameters of $A$. A similar statement relating $A$-hypergeometric systems to exceptional direct images was proved by Reichelt. In this article, we consider a hybrid approach involving neighborhoods $U$ of the torus of $A$ and consider compositions of direct and exceptional direct images. Our main re…