On vanishing of Abelian integrals and contraction of genus two curves

On the Schottky problem for genus five Jacobians with a vanishing theta null

We give a solution to the weak Schottky problem for genus five Jacobians with a vanishing theta null, answering a question of Grushevsky and Salvati Manni. More precisely, we show that if a principally polarized abelian variety of dimension five has a vanishing theta null with a quadric tangent cone of rank at most three, then it is in the Jacobian locus, up to extra irreducible components. We employ a degeneration argument, together with a study of the ramification loci for the Gauss map of a theta divisor.

Stability of genus five canonical curves

We analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to projective equivalence. Since a general net of quadrics defines a canonically embedded smooth curve of genus five, the resulting GIT quotient gives a birational model of the moduli space of genus 5 curves. We study the geometry of the associated contraction and prove that the constructed GIT quotient is the final step of the log minimal model program for the moduli space of genus 5 curves.

On the vanishing of higher syzygies of curves. II

We verify Green's conjecture for a generic $k$-gonal curve of genus $g$, for $g\geq k(k-1)/2$.

Contractions of subcurves of families of log curves

Let $C$ be a nodal curve, and let $E$ be a union of semistable subcurves of $C$. We consider the problem of contracting the connected components of $E$ to singularities in a way that preserves the genus of $C$ and makes sense in families, so that this contraction may induce maps between moduli spaces of curves. In order to do this, we introduce the notion of mesa curve, a nodal curve $C$ with a logarithmic structure and a piecewise linear function $\overlineλ$ on the tropicalization of $C$. This piecewise linear function determines a subcurve $E$. We then construct a contraction of $E$ inside …

The moduli space of genus 4 even spin curves is rational

By the technique of 3-fold Mori theory, we prove that the moduli space whose general point parameterizes a couple of a smooth curve of genus 4 and a halfcanonical divisor with vanishing global section is rational.

A vanishing theorem for threefolds in characteristic $p>5$ and applications

In this note we show a Kawamata-Viehweg vanishing theorem for pl-contractions on threefolds in characteristic $p>5$. We deduce several applications for klt threefolds: the vanishing of higher direct images of structure sheaves of Mori fibre spaces, Kollár's result on local vanishing and the rationality of the singularities of the base of a conic bundle.

Characteristic classes for curves of genus one

We compute the cohomology of the stack M_1 with coefficients in Z[1/2], and in low degrees with coefficients in Z. Cohomology classes on M_1 give rise to characteristic classes, cohomological invariants of families of curves of genus one. We prove a number of vanishing results for those characteristic classes, and give explicit examples of families with non-vanishing characteristic classes.

On Certain Vanishing Identities For Gromov-Witten Invariants

In this paper, we study some vanishing identities for Gromov-Witten invariants conjectured by K. Liu and H. Xu. We will prove these conjectures in the case that the summation range is large compare to genus. In fact, in such cases, we can obtain a vanishing identity which is stronger than their conjectures. Moreover we will also prove their conjectures in low genus cases.

无效 spin 亏格 4 thetanull 轨迹的有理性

The rationality of ineffective spin genus-4 thetanull loci

本文证明了由亏格4且thetanull消失的曲线C与无效thetacharacteristic θ构成的对[C,θ]所给出的除子是有理簇，并得出Prym模空间中的类似除子也是有理的。

The superstring cosmological constant and the Schottky form in genus 5

Combining certain identities for modular forms due to Igusa with Schottky-Jung relations, we study the cosmological constant for the recently proposed ansatz for the chiral superstring measure in genus 5. The vanishing of this cosmological constant turns out to be equivalent to the long-conjectured vanishing of a certain explicit modular form of genus 5 on the moduli of curves M_5, and we disprove this conjecture, thus showing that the cosmological constant for the proposed ansatz does not vanish identically. We exhibit an easy modification of the genus 5 ansatz satisfying factorization constr…

Green's canonical syzygy conjecture for generic curves of odd genus

We prove the Green conjecture for generic curves of odd genus. That is we prove the vanishing $K_{k,1}(X,K_X)=0$ for $X$ generic of genus $2k+1$. The curves we consider are smooth curves $X$ on a K3 surface whose Picard group has rank 2. This completes our previous work, where the Green conjecture for generic curves of genus $g$ with fixed gonality $d$ was proved in the range $d\geq g/3$, with the possible exception of the generic curves of odd genus.

Xiao 亏格二纤维化在次数 3、4 和 5 下的单值性

The monodromy of Xiao's genus-two fibrations in degrees 3, 4 and 5

本文通过平铺基空间和分支覆盖方法，确定了 Xiao 亏格二纤维化在次数 3、4、5 下的消失循环，并给出了新的正分解。

Vanishing thetanulls and hyperelliptic curves

Let $\mathcal{M}_{g,2}$ be the moduli space of curves of genus $g$ with a level-2 structure. We prove here that there is always a non hyperelliptic element in the intersection of four thetanull divisors in $\mathcal{M}_{6,2}$. We prove also that for all $g\geqslant3$, each component of the hyperelliptic locus in $\mathcal{M}_{g,2}$ is a connected component of the intersection of $g-2$ thetanull divisors.

The Cohomological Excess of Certain Moduli Spaces of Curves of Genus $g$

The open subvariety $\overline{M}_g^{\leq k}$ of $\overline{M}_g$ parametrizes stable curves of genus $g$ having at most $k$ rational components. By the work of Looijenga, one expects that the cohomological excess of $\overline{M}_g^{\leq k}$ is at most $g-1+k$. In this paper we show that when $k=0$, the conjectured upper bound is sharp by showing that there is a constructible sheaf on $\overline{H}_g^{\leq k}$ (the hyperelliptic locus) which has non-vanishing cohomology in degree $3g-2$.

Quadratic forms and singularities of genus one or two

We study singularities obtained by the contraction of the maximal divisor in compact (non kaehlerian) surfaces which contain global spherical shells. These singularities are of genus 1 or 2, may be Q-Gorenstein, numerically Gorenstein or Gorenstein. A family of polynomials depending on the configuration of the curves computes the discriminant of the quadratic forms of these singularities. We introduce a multiplicative branch topological invariant which determines the twisting of a non-vanishing holomorphic 1-form on the complement of the singular point.

Surfaces with $p_g=q=3$

We classify minimal complex surfaces of general type with $p_g=q=3$. More precisely, we show that such a surface is either the symmetric product of a curve of genus 3 or a free $\Z_2-$quotient of the product of a curve of genus 2 and a curve of genus 3. Our main tools are the generic vanishing theorems of Green and Lazarsfeld and Fourier--Mukai transforms. The same result has been obtained independently at the same time by G. Pirola using different methods.

Geometric aspects on Humbert-Edge's curves of type 5, Kummer surfaces and hyperelliptic curves of genus 2

In this work we study the Humbert-Edge's curves of type 5, defined as a complete intersection of four diagonal quadrics in $\mathbb{P}^5$. We characterize them using Kummer surfaces and using the geometry of these surfaces we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert-Edge's curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we let see how this argument can be generalized to state an isomorphism between the moduli space of hyperelliptic curves of genus $g=\frac{n-…

曲面上的稳定性条件与曲线收缩

Stability conditions on surfaces and contractions of curves

研究源自双有理态射的光滑曲面上的Bridgeland稳定性条件，在ADE或循环商奇点下构造预稳定性条件并证明支持性质，同时证明此类态射不能收缩正亏格的光滑曲线。

Concomitants of Ternary Quartics and Vector-valued Siegel and Teichmüller Modular Forms of Genus Three

We show how one can use the representation theory of ternary quartics to construct all vector-valued Siegel modular forms and Teichmüller modular forms of degree 3. The relation between the order of vanishing of a concomitant on the locus of double conics and the order of vanishing of the corresponding modular form on the hyperelliptic locus plays an important role. We also determine the connection between Teichmüller cusp forms on \overline{M}_g and the middle cohomology of symplectic local systems on M_g. In genus 3, we make this explicit in a large number of cases.

在 $\F_{64}$ 上不存在亏格为五的极大曲线

Nonexistence of maximal curves of genus five over $\F_{64}$

本文证明了在有限域 $\F_{64}$ 上不存在亏格为五的极大曲线，从而确定了该域上极大曲线的亏格谱，并给出了 $N_{64}(5)=140$ 的结果。

Formal classication of two-dimensional neighborhoods of genus g $\ge$ 2 curves with trivial normal bundle

In this paper we study the formal classication of two-dimensional neighborhoods of genus g $\ge$ 2 curves with trivial normal bundle. We first construct formal foliations on such neighborhoods with holonomy vanishing along many loops, then give the formal/analytic classication of neighborhoods equipped with two foliations, and finally put this together to obtain a description of the space of neighborhoods up to formal equivalence.

来自亏格为三的超椭圆族的两个超几何多项式公因子的模八行为

The modulo eight behavior of common factors of two hypergeometric polynomials arising from a genus three heperelliptic family

研究奇特征代数闭域上单参数亏格为三超椭圆曲线族，将超特殊性质转化为超几何多项式消失，证明其首一最大公因式无平方因子且不可约因子次数至多为二，确定其模八特征下的行为。

Decomposable theta divisors and generic vanishing

We study ample divisors X with only rational singularities on abelian varieties that decompose into a sum of two lower dimensional subvarieties, X=V+W. For instance, we prove an optimal lower bound on the degree of the corresponding addition map, and show that the minimum can only be achieved if X is a theta divisor. Conjecturally, the latter happens only on Jacobians of curves and intermediate Jacobians of cubic threefolds. As an application, we prove that nondegenerate generic vanishing subschemes of indecomposable principally polarized abelian varieties are automatically reduced and irreduc…

亏格2曲线的割线簇的Syzygy

Syzygies of secant varieties of curves of genus 2

本文利用Boij-Söderberg理论，通过计算Betti图的特殊位置确定贡献的纯图，完整计算了亏格2曲线的割线簇的Betti图，解决了权重k+1线性链长度未知的问题。

Vanishing cycles, plane curve singularities, and framed mapping class groups

Let f be an isolated plane curve singularity with Milnor fiber of genus at least 5. For all such f, we give (a) an intrinsic description of the geometric monodromy group that does not invoke the notion of the versal deformation space, and (b) an easy criterion to decide if a given simple closed curve in the Milnor fiber is a vanishing cycle or not. With the lone exception of singularities of type $A_n$ and $D_n$, we find that both are determined completely by a canonical framing of the Milnor fiber induced by the Hamiltonian vector field associated to f. As a corollary we answer a question of …

高亏格曲线上典范ribbon的合冲

Syzygies of canonical ribbons on higher genus curves

研究高亏格曲线上典范ribbon的合冲，证明一般ribbon的两种Clifford指标相等，指出分裂ribbon的指标相等与亏格猜想、Green猜想相关，并将其简化为辅助合冲模Koszul上同调群的消失问题。

稳定曲线模栈的Brauer群的消失

Vanishing of Brauer groups of moduli stacks of stable curves

本文证明了亏格$g\geq 2$的稳定曲线模栈的上同调Brauer群消失，并在特定范围内推广至带标记点版本，同时讨论了Deligne-Mumford栈的有限性结果。

Mirror curve of orbifold Hurwitz numbers

Edge-contraction operations form an effective tool in various graph enumeration problems, such as counting Grothendieck's dessins d'enfants and simple and double Hurwitz numbers. These counting problems can be solved by a mechanism known as topological recursion, which is a mirror B-model corresponding to these counting problems. We show that for the case of orbifold Hurwitz numbers, the mirror objects, i.e., the spectral curve and the differential forms on it, are constructed solely from the edge-contraction operations of the counting problem in genus $0$ and one marked point. This forms a pa…

Loci of curves with subcanonical points in low genus

Inside the moduli space of curves of genus three with one marked point, we consider the locus of hyperelliptic curves with a marked Weierstrass point, and the locus of non-hyperelliptic curves with a marked hyperflex. These loci have codimension two. We compute the classes of their closures in the moduli space of stable curves of genus three with one marked point. Similarly, we compute the class of the closure of the locus of curves of genus four with an even theta characteristic vanishing with order three at a certain point. These loci naturally arise in the study of minimal strata of Abelian…

高亏格曲线的三重 Massey 积

Triple Massey products for higher genus curves

针对数域上绝对不可约光滑射影曲线，本文构造各亏格 $g>1$ 与素数 $\ell>3$ 下的超椭圆曲线，证明存在不含 $0$ 的非空 $\mathbb{Z}/\ell$ 系数三重 Massey 积。

关于项目ive 3 折中的曲线的亏约

On the genus of a curve in a projective $3$-fold

本文在 Liu 的结果基础上，改进了 Castelnuovo 对曲线算术亏约的界，并在 Calabi-Yau 情况下推进了关于 Gopakumar-Vafa 不变量消失的猜想。

Chabauty-Coleman experiments for genus 3 hyperelliptic curves

We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to compute the zero locus of two Coleman integrals and analyze the finite set of points cut out by the vanishing of these integrals. We run the algorithm on approximately 17,000 curves from a forthcoming database of genus 3 hyperelliptic curves and discuss some interesting examples where the zero set includes global points not found in $C(\mathbb{Q})$.

Relative virtual localization and vanishing of tautological classes on moduli spaces of curves

We prove a localization formula for the moduli space of stable relative maps. As an application, we prove that all codimension i tautological classes on the moduli space of stable pointed curves vanish away from strata corresponding to curves with at least i-g+1 genus 0 components. (The proof of this result is quite short and naive.) As consequences, we prove and generalize various conjectures and theorems about various moduli spaces of curves (due to Getzler, Ionel, Faber, Looijenga, Pandharipande, Diaz, and others). This theorem appears to be the geometric content behind these results; the r…

Non-tautological Hurwitz cycles

We show that various loci of stable curves of sufficiently large genus admitting degree $d$ covers of positive genus curves define non-tautological algebraic cycles on $\overline{\mathcal{M}}_{g,N}$, assuming the non-vanishing of the $d$-th Fourier coefficient of a certain modular form. Our results build on those of Graber-Pandharipande and van Zelm for degree 2 covers of elliptic curves; the main new ingredient is a method to intersect the cycles in question with boundary strata, as developed recently by Schmitt-van Zelm and the author.

关于ELSV型公式及通过谱曲线形变得到的$\Omega$-积分之间的关系

On ELSV-type formulae and relations between $Ω$-integrals via deformations of spectral curves

本文通过结合拓扑递归、形变技术及多项式性质，推导出涉及$\Omega$-类的积分消失关系，并应用于三个谱曲线族，得到与亏格无关及依赖亏格的两类新关系。

On Hard Lefschetz Conjecture on Lawson Homology

Friedlander and Mazur proposed a conjecture of hard Lefschetz type on Lawson homology. We shall relate this conjecture to Suslin conjecture on Lawson homology. For abelian varieties, this conjecture is shown to be equivalent to a vanishing conjecture of Beauville type on Lawson homology. For symmetric products of curves, we show that this conjecture amounts to the vanishing conjecture of Beauville type for the Jacobians of the corresponding curves. As a consequence, Suslin conjecture holds for all symmetric products of curves with genus at most 2.

Twists of Mukai bundles and the geometry of the level $3$ modular variety over $\overline{\mathcal{M}}_8$

For a curve $C$ of genus $6$ or $8$ and a torsion bundle $η$ of order $\ell$ we study the vanishing of the space of global sections of the twist $E_C \otimes η$ of the rank two Mukai bundle $E_C$ of $C$. The bundle $E_C$ was used in a well-known construction of Mukai which exhibits general canonical curves of low genus as sections of Grassmannians in the Plücker embedding. Globalizing the vanishing condition, we obtain divisors on the moduli spaces $\overline{\mathcal{R}}_{6,\ell}$ and $\overline{\mathcal{R}}_{8,\ell}$ of pairs $[C, η]$. First we characterize these divisors by different condit…

Hodge integrals and degenerate contributions

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.

Heisenberg invariant quartics and SU_C(2) for a curve of genus four

If C is a curve of genus 4 without vanishing theta-nulls then there exists a unique (irreducible) Heisenberg-invariant quartic Q_C in |2Θ| = P^{15} such that Sing Q_C contains the image of SU_C(2), the moduli space of rank 2 vector bundles with trivial determinant. Moreover, in each eigen-P^7 of the Heisenberg action on |2Θ|, Q_C restricts to the classical Coble quartic of the corresponding Prym-Kummer variety. We compare Q_C with the hypersurface G_3 in |2Θ| of divisors containing a translate of C in J(C), and show that in the eigen-P^7s G_3 recovers Beauville--Debarre's quadrisecant planes o…

Xiao的亏格二纤维化：分支覆盖与辫子单值性

Xiao's Genus-Two Fibration: Branched Covers and Braid Monodromy

本文通过分支覆盖构造和辫子单值性方法，直接计算Xiao亏格二Lefschetz纤维化的几何单值性分解，得到类型$(4,3)$的有序正分解及七个因子的Artin坐标。

On the vanishing of higher syzygies of curves

The present paper is related to a conjecture made by Green and Lazarsfeld concerning 1-linear syzygies of curves embedded by complete linear systems of sufficiently large degrees. Given a smooth, irreducible, complex, projective curve $X$, we prove that the least integer $q$ for which the property $(M_q)$ fails for a line bundle $L$ on $X$ does not depend on $L$ as soon as its degree becomes sufficiently large. Consequently, this number is an invariant of the curve, and the statement of Green-Lazarsfeld's conjecture is equivalent to saying that this invariant equals the gonality of the curve. …

Syzygies of torsion bundles and the geometry of the level l modular variety over M_g

We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove …

关于代数曲线的Griffiths无穷小不变量的注记

Remarks on the Griffiths infinitesimal invariant of algebraic curves

本文研究亏格4代数曲线模空间上两个可容许正规函数（含Ceresa正规函数），并给出特定曲线族上其Griffiths无穷小不变量的消失判据。

Spectral Theory and Mirror Curves of Higher Genus

Recently, a correspondence has been proposed between spectral theory and topological strings on toric Calabi-Yau manifolds. In this paper we develop in detail this correspondence for mirror curves of higher genus, which display many new features as compared to the genus one case studied so far. Given a curve of genus g, our quantization scheme leads to g different trace class operators. Their spectral properties are encoded in a generalized spectral determinant, which is an entire function on the Calabi-Yau moduli space. We conjecture an exact expression for this spectral determinant in terms …