Jonathan Wise
We calculate the hyperelliptic Hodge integral lambda_g lambda_{g-1} / (1 - psi) for use in arXiv:math/0702219. The proof uses the WDVV equations for the genus zero Gromov--Witten invariants of P(1,1,2).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We provide a closed form expression for linear Hodge integrals on the hyperelliptic locus. Specifically, we find a succinct combinatorial formula for all intersection numbers on the hyperelliptic locus with one $λ$-class, and powers of a $ψ$-class pulled back along the branch map. This is achieved by using Atiyah-Bott localization on a stack of stable maps into the orbifold $[\mathbb{P}^1/\mathbb{Z}_2]$.
In this paper we give a geometrical interpretation of an extension of mixed Hodge structures (MHS) obtained from the canonical MHS on the group ring of the fundamental group of a hyperelliptic curve modulo the fourth power of its augmentation ideal. We show that the class of this extension coincides with the regulator image of a canonical higher cycle in a hyperelliptic jacobian. This higher cycle was introduced and studied by Collino.
We study the stable hyperelliptic locus, i.e. the closure, in the Deligne- Mumford moduli space of stable curves, of the locus of smooth hyperelliptic curves. Working on a suitable blowup of the relative Hilbert scheme (of degree 2) associated to a family of stable curves, we construct a bundle map ('degree-2 Brill-Noether') from a modification of the Hodge bundle to a tautological bundle, whose degeneracy locus is the natural lift of the stable hyperelliptic locus plus a simple residual scheme. Using intersection theory on Hilbert schemes and Fulton-Macpherson residual intersection theory, th…
Using Atiyah-Bott localization on the space of stable maps to the stack quotient $[\mathbb{P}^1/\mathbb{Z}_2]$, we find recursions that determine all Hodge integrals with descendent insertions at one marked point on the hyperelliptic locus $\overline{\mathcal{H}}_{g, 2g + 2} \subseteq \overline{\mathcal{M}}_{g, 2g + 2}$. The initial conditions required for our recursions are gravitational descendents at one marked point, which are known to be $\frac{1}{2}$. We discover a new structure concerning these intersection numbers: for a fixed monomial of $λ$-classes, the resulting family of hyperellip…
The mixed Hodge structure on the fundamental groups of the Collino surfaces
研究Collino表面开集根本群的混合Hodge结构，揭示第二延伸类与阿贝尔-雅各布不变量及标记点的关系。
Let $n=2g+2$ be a positive even integer, $f(x)$ a degree $n$ complex polynomial without multiple roots and $C_f: y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over the field $\C$ of complex numbers. Let a $(g-1)$-dimensional complex abelian variety $P$ be a Prym variety of $C_f$ that corresponds to a unramified double cover of $C_f$. Suppose that there exists a subfield $K$ of $\C$ such that $f(x)$ lies in $K[x]$, is irreducible over $K$ and its Galois group is the full symmetric group. Assuming that $g>2$, we prove that $End(P)$ is either the ring of integers $Z$ or the direct sum…
On some hyperelliptic Hurwitz-Hodge integrals
本文针对超椭圆轨迹上的 Hurwitz-Hodge 单后裔积分，利用自旋结构 Chern 类与 Eynard-Orantin 拓扑递归关系，给出其为 Stirling 数的简洁新证明，并指出三类推广方向。
We prove that the moduli space of Calabi-Yau 3-folds coming from eight planes of $P^3$ in general positions is not modular. In fact we show the stronger statement that the Zariski closure of the monodromy group is actually the whole $Sp(20,R)$. We construct an interesting submoduli, which we call \emph{hyperelliptic locus}, over which the weight 3 $Q$-Hodge structure is the third wedge product of the weight 1 $Q$-Hodge structure on the corresponding hyperelliptic curve. The non-extendibility of the hyperelliptic locus inside the moduli space of a genuine Shimura subvariety is proved.
Let $g$ be an even positive integer. In this paper we compute the integral Chow ring of the stack of smooth hyperelliptic curves of genus $g$.
In this paper we give a complete description of the integral Chow ring of the stack $\mathscr{H}_{g,1}$ of 1-pointed hyperelliptic curves, lifting relations and generators from the Chow ring of $\mathscr{H}_g$. We also give a geometric interpretation for the generators.
We compute the integral Chow ring of the stack of smooth, non-hyperelliptic curves of genus three. We obtain this result by computing the integral Chow ring of the stack of smooth plane quartics, by means of equivariant intersection theory.
Consider a hyperelliptic integral $I=\int P/(Q\sqrt{S}) dx$, $P,Q,S\in\mathbb{K}[x]$, with $[\mathbb{K}:\mathbb{Q}]<\infty$. When $S$ is of degree $\leq 4$, such integral can be calculated in terms of elementary functions and elliptic integrals of three kinds $\mathcal{F},\mathcal{E},Π$. When $S$ is of higher degree, it is typically non elementary, but it is sometimes possible to obtain an expression of $I$ using also elliptic integrals when the Jacobian of $y^2=S(x)$ has elliptic factors. We present an algorithm searching for elliptic factors and a modular criterion for their existence. Then,…
A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained. The calculation utilizes the homeomorphism between the moduli space of curves $\mathcal{M}_{g,1}$ and the combinatorial moduli space $\mathcal{M}^{comb}_{g,1}$, a PL-orbifold whose cells are enumerated by fatgraphs. This cell decomposition can be used to naturally construct combinatorial PL-cycles $W_a\subset\mathcal{M}^{comb}_{g,1}$ whose…
The integral Chow rings of the stacks of hyperelliptic Weierstrass points
本文计算了参数化带有 $n$ 个标记 Weierstrass 点的超椭圆曲线叠的整 Chow 环，并证明其作为代数可由任意 $Ψ$-类生成，所有关系均存在于 1 次中。
Despite the failure of the integral Hodge conjecture, we show that the rational Hodge conjecture implies an integral version (modulo torsion) of the absolute Hodge conjecture.
If X is a smooth projective complex threefold, the Hodge conjecture holds for degree 4 rational Hodge classes on X. Kollar gave examples where it does not hold for integral Hodge classes of degree 4, that is integral Hodge classes need not be classes of algebraic 1-cycles with integral coefficients. We show however that the Hodge conjecture holds for integral Hodge classes of degree 4 on a uniruled or a Calabi-Yau threefold.
In this paper, we show an inequality between the degrees of the conductor and the Hodge fiber of a hyperelliptic curve above a discrete valuation ring. For that we have to show theorems about the lifting of $p$-cyclic covers in order to obtain informations on the edge of the moduli space of hyperelliptic stable curves. The inequality then comes from the geometry of this last space.
The Integral Chow Ring of the Stack of Pointed Hyperelliptic Curves
本文研究了参数化n个标记光滑超椭圆曲线的堆栈H_{g,n}的积分Chow环，对n=1,2完全计算，n≥3时至多计算二阶类的加法阶数，并在n=2g+3时获得部分结果，特别当g=2时，结果适用于M_{2,n}的Chow环。
Starting from the ELSV formula, we derive a number of new equations on the generating functions for Hodge integrals over the moduli space of complex curves. This gives a new simple and uniform treatment of certain known results on Hodge integrals like Witten's conjecture, Virasoro constrains, Faber's lambda_g conjecture etc. Among other results we show that a properly arranged generating function for Hodge integrals satisfies the equations of the KP hierarchy.
In this paper, we define a generalized arithmetic-geometric mean $μ_g$ among $2^g$ terms motivated by $2τ$-formulas of theta constants. By using Thomae's formula, we give two expressions of $μ_g$ when initial terms satisfy some conditions. One is given in terms of period integrals of a hyperelliptic curve $C$ of genus $g$. The other is by a period integral of a certain Calabi-Yau $g$-fold given as a double cover of the $g$-dimensional projective space $\mathbf{P}^g$.
In this paper we discuss an obstruction to the integral Hodge conjecture, which arises from certain behavior of vanishing cycles. This allows us to construct new counter-examples to the integral Hodge conjecture. One typical such counter-example is the product of a very general hypersurface of odd dimension and an Enriques surface. Our approach generalizes the degeneration argument of Benoist-Ottem.
We define a map $\mathcal{P}_M$ attached to any polarized Hodge module $M$ such that the restriction of $\mathcal{P}_M$ to a locus on which $M$ is a variation of Hodge structures induces the usual period integral pairing for this variation of Hodge structures. In the case that $M$ is the minimal extension of a simple polarized variation of Hodge structures $V$, we show that the homotopy image of $\mathcal{P}_M$ is the minimal extension of the graph morphism of the usual period integral map for $V$.
For all k>0 integer, we consider the regularised I-function of the family of del Pezzo surfaces of degree 8k+4 in P(2,2k+1,2k+1, 4k+1), first constructed by Johnson and Kollár. We show that this function, which is of hypergeometric type, is a period of an explicit pencil of curves. Thus the pencil is a candidate LG mirror of the family of del Pezzo surfaces. The main feature of these surfaces, which makes the mirror construction especially interesting, is that the anticanonical system is empty: because of this, our mirrors are not covered by any other construction known to us. We discuss conne…
We prove some combinatorial results related to a formula on Hodge integrals conjectured by Mariño and Vafa. These results play important roles in the proof and applications of this formula by the author jointly with Chiu-Chu Melissa Liu and Kefeng Liu. We also compare with some related results on Hurwitz numbers and obtain some closed expressions for the generating series of Hurwitz numbers and the related Hodge integrals.
We show that the generating series of some Hodge integrals involving one or two partitions are tau-functions of the KP hierarchy or the 2-Toda hierarchy respectively. We also formulate a conjecture on the connection between relative invariants and integrable hierarchies. The conjecture is verified in some examples.
This paper initiates a study of Hodge integrals on moduli spaces of pseudostable curves. We prove an explicit comparison formula that allows one to effectively compute any pseudostable Hodge integral in terms of intersection numbers on moduli spaces of stable curves, and we use this comparison to prove that pseudostable Hodge integrals are equal to their stable counterparts when they are linear in lambda classes, but not when they are nonlinear. This suggests that pseudostable Gromov-Witten invariants are equal to usual Gromov-Witten invariants for target curves, but not for higher-dimensional…
Hodge integrals on admissible covers and tautological projections of Prym classes
本文提出一种算法，利用可容许覆盖模空间上三个Hodge丛的比较公式，计算Prym轨迹类的tautological投影，并应用于计算Prym映射次数及证明低亏格下雅可比类的不可整除性。
We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, any product of Jacobians of smooth projective curves over the complex numbers satisfies the integral Hodge conjecture for one-cycles. The main ingredient is a lift of the Fourier transform to integral Chow groups. Similarly, we prove the integral Tate conjecture for one-cycles on the Jacobian of a proper curve of compact type over the separable closure of a finitely generated field. Furthermore, abelian varieties satisfying such a conjecture …
We prove the Gopakumar-Marino-Vafa formula for special cubic Hodge integrals. The GMV formula arises from Chern-Simons/string duality applied to the unknot in the three sphere. The GMV formula is a q-analog of the ELSV formula for linear Hodge integrals. We find a system of bilinear localization equations relating linear and special cubic Hodge integrals. The GMV formula then follows easily from the ELSV formula. An operator form of the GMV formula is presented in the last section of the paper.
Relations for quadratic Hodge integrals via stable maps
该研究遵循Faber-Pandharipande方法，利用到$ \mathbb{P}^1 $的稳定映射模空间虚局部化公式计算霍奇积分关系，证明其某些生成函数为多项式，为二次霍奇积分研究提供新结果。
We prove that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira dimension zero for which the integral Hodge conjecture fails, and the first examples of non-algebraic torsion cohomology classes of degree 4 on smooth projective complex threefolds.
In this paper we find an explicit formula for the number of topologically different ramified coverings $C\to\CP^1$ (C is a compact Riemann surface of genus g) with only one complicated branching point in terms of Hodge integrals over the moduli space of genus g curves with marked points.
On the integral Hodge conjecture for varieties with trivial Chow group
本文构造了全周群有限秩却违反整 Hodge 猜想的复光滑射影簇，并证明此类反例也可定义在数域上。
We prove a closed formula for integrals of the cotangent line classes against the top Chern class of the Hodge bundle on the moduli space of stable pointed curves. These integrals are computed via relations obtained from virtual localization in Gromov-Witten theory. An analysis of several natural matrices indexed by partitions is required.
We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi-Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi-Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of int…
We establish the real integral Hodge conjecture for 1-cycles on various classes of uniruled threefolds (conic bundles, Fano threefolds with no real point, some del Pezzo fibrations) and on conic bundles over higher-dimensional bases which themselves satisfy the real integral Hodge conjecture for 1-cycles. In addition, we show that rationally connected threefolds over non-archimedean real closed fields do not satisfy the real integral Hodge conjecture in general and that over such fields, Bröcker's EPT theorem remains true for simply connected surfaces of geometric genus zero but fails for some…
The Wirtinger-type integral for a genus two curve
本文研究了二型双曲曲线上的Wirtinger型积分，通过双曲曲线的involution和交变形式探讨了相关扭曲同调和上同调群的性质。
We prove that there exists a pencil of Enriques surfaces defined over $\mathbb{Q}$ with non-algebraic integral Hodge classes of non-torsion type. This gives the first example of a threefold with the trivial Chow group of zero-cycles on which the integral Hodge conjecture fails. As an application, we construct a fourfold which gives the negative answer to a classical question of Murre on the universality of the Abel-Jacobi maps in codimension three.
In the present paper we solve the following different but interrelated problems: (a) the moment problem on Riemann surfaces, (b) the vanishing problem of polynomial Abelian integrals of dimension zero on the projective plane, (c) the vanishing problem of polynomial hyperelliptic Abelian integrals.
Hodge classes on the moduli space of admissible covers with monodromy group G are associated to irreducible representations of G. We evaluate all linear Hodge integrals over moduli spaces of admissible covers with abelian monodromy in terms of multiplication in an associated wreath group algebra. In case G is cyclic and the representation is faithful, the evaluation is in terms of double Hurwitz numbers. In case G is trivial, the formula specializes to the well-known result of Ekedahl-Lando-Shapiro-Vainshtein for linear Hodge integrals over the moduli space of curves in terms of single Hurwitz…
We exhibit a set of recursive relations that completely determine all equivariant Gromov-Witten invariants of the quotient orbifold C^3/Z_3. We interpret such invariants as G-Hodge Integrals, and produce relations among them via Atiyah-Bott localization on moduli spaces of twisted stable maps to gerbes over the projective line.
Ekedahl, Lando, Shapiro, and Vainshtein announced a remarkable formula expressing Hurwitz numbers (counting covers of the projective line with specified simple branch points, and specified branching over one other point) in terms of Hodge integrals. We give a proof of this formula using virtual localization on the moduli space of stable maps, and describe how the proof could be simplified by the proper algebro-geometric definition of a "relative space".
We compute the $\integ/\ell$ and $\integ_\ell$ monodromy of every irreducible component of the moduli spaces of hyperelliptic and trielliptic curves. In particular, we provide a proof that the $\integ/\ell$ monodromy of the moduli space of hyperelliptic curves of genus $g$ is the symplectic group $\sp_{2g}(\integ/\ell)$. We prove that the $\integ/\ell$ monodromy of the moduli space of trielliptic curves with signature $(r,s)$ is the special unitary group $\su_{(r,s)}(\integ/\ell\tensor\integ[ζ_3])$.
In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser fo…
We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly in cubic hypersurfaces of low dimensions. For example, we show that if a generic cubic fourfold is stably rational then the Beauville--Bogomolov form on its variety of lines, viewed as an integral Hodge class on the self product of its variety of lines, is algebraic. In dimension $3$ and $5$, we relate stable rationality with the geometry of the associated i…
We study higher genus Fan--Jarvis--Ruan--Witten theory of any chain polynomial with any group of symmetries. Precisely, we give an explicit way to compute the cup product of Polishchuk and Vaintrob's virtual class with the top Chern class of the Hodge bundle. Our formula for this product holds in any genus and without any assumption on the semi-simplicity of the underlying cohomological field theory.
We discuss the space of sections and certain bisections on a quadric surfaces bundle $X$ over a smooth curve. The Abel-Jacobi from these spaces to the intermediate Jacobian will be shown to be dominant with rationally connected fibers. As an application, we prove that the integral Hodge conjecture holds for degree four integral Hodge classes of fourfolds fibered by quadric bundles over a smooth curve. This gives an alternative proof of a result of Colliot-Th{é}l{è}ne and Voisin.
In this paper we describe explicit generating functions for a large class of Hurwitz-Hodge integrals. These are integrals of tautological classes on moduli spaces of admissible covers, a (stackily) smooth compactification of the Hurwitz schemes. Admissible covers and their tautological classes are interesting mathematical objects on their own, but recently they have proved to be a useful tool for the study of the tautological ring of the moduli space of curves, and the orbifold Gromov-Witten theory of DM stacks. Our main tool is Atiyah-Bott localization: its underlying philosophy is to transla…
Universal equations for higher genus Gromov-Witten invariants from Hodge integrals
本文通过研究曲线模空间上Hodge丛的陈特征与陈类，建立了靶流形高亏格Gromov-Witten不变量的新普适方程，并由此导出稳定曲线模空间上的新前推关系。
We formulate the "real integral Hodge conjecture", a version of the integral Hodge conjecture for real varieties, and raise the question of its validity for cycles of dimension 1 on uniruled and Calabi-Yau threefolds and on rationally connected varieties. We relate it to the problem of determining the image of the Borel-Haefliger cycle class map for 1-cycles, with the problem of deciding whether a real variety with no real point contains a curve of even geometric genus and with the problem of computing the torsion of the Chow group of 1-cycles of real threefolds. New results about these proble…
Genus drop involving non-hyperelliptic curves in Feynman integrals
本文探讨了非超椭圆曲线在费曼积分中的亏格下降现象，通过双覆盖机制解释了亏格变化，并指出存在无明显亏格下降的非超椭圆费曼积分。
Nori motives (and mixed Hodge modules) with integral coefficients
本文构建了具有整数系数的Nori动机sheaves的abelian范畴，研究了Nori动机的派生范畴，并构造了étale motives的代数，提供了混合Hodge模在实数方案上的类似构造。
We give a formula for the component at p of the p-adic height pairing of a divisor of degree 0 on a hyperelliptic curve. We use this to give a Chabauty-like method for finding p-adic approximations to p-integral points on such curves when the Mordell-Weil rank of the Jacobian equals the genus. In this case we get an explicit bound for the number of such p-integral points, and we are able to use the method in explicit computation. An important aspect of the method is that it only requires a basis of the Mordell-Weil group tensored with the rationals.
Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Ma…
Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Ma…
Degenerate contributions to higher genus Gromov-Witten invariants of Calabi-Yau 3-folds are computed via Hodge integrals. The vanishing of contributions of covers of elliptic curves conjectured by Gopakumar and Vafa is proven. A formula for degree 1 covers for all genus pairs is computed in agreement with M-theoretic calculations of Gopakumar and Vafa. Finally, these results lead to a proof of a formula in the tautological ring of the moduli space of curves previously conjectured by Faber.
On the integral Hodge conjecture for real abelian threefolds
本文证明了若干类实阿贝尔三维流形（如实轨迹连通或可分解为阿贝尔曲面与椭圆曲线之积的情形）的实整霍奇猜想，并证明所有实阿贝尔三维流形在模去挠群时均满足该猜想，将一般情形归约为雅可比情形。
We study Hodge Integrals on Moduli Spaces of Admissible Covers. Motivation for this work comes from Bryan and Pandharipande's recent work on the local GW theory of curves, where analogouos intersection numbers, computed on Moduli Spaces of Relative Stable Maps, are the structure coefficients for a Topological Quantum Field Theory. Admissible Covers provide an alternative compactification of the Moduli Space of Maps, that is smooth and doesn't contain boundary components of excessive dimension. A parallel, yet different, TQFT, can then be constructed. In this paper we compute, using localizatio…
We describe an algorithm to compute the local component at p of the Coleman-Gross p-adic height pairing on divisors on hyperelliptic curves. As the height pairing is given in terms of a Coleman integral, we also provide new techniques to evaluate Coleman integrals of meromorphic differentials and present our algorithms as implemented in Sage.
Let G be the group A_4 or Z_2xZ_2. We compute the integral of λ_g on the Hurwitz locus H_G\subset M_g of curves admitting a degree 4 cover of P^1 having monodromy group G. We compute the generating functions for these integrals and write them as a trigonometric expression summed over the positive roots of the E_6 and D_4 root systems respectively. As an application, we prove the Crepant Resolution Conjecture for the orbifolds [C^3/A_4] and [C^3/(Z_2xZ_2)].
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。