Giovanni Inchiostro
We give an explicit description of $\overline{\mathcal{M}}_{1,2}$ as a weighted blow-up of a weighted projective stack. We use this description to compute the Brauer group of $\overline{\mathcal{M}}_{1,2;S}$ over any base scheme $S$ where 6 is invertible, and the integral Chow rings of $\overline{\mathcal{M}}_{1,2}$ and $\mathcal{M}_{1,2}$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study here the tautological rings of the moduli spaces of compact Riemann surfaces of genus 1,2,3 and 4 with marked points. The paper presents the complete descriptions of these rings by describing the groups of all degrees.
It was conjectured in \cite{Namikawa_ExtendedTorelli} that the Torelli map $M_g\to A_g$ associating to a curve its jacobian extends to a regular map from the Deligne-Mumford moduli space of stable curves $\bar{M}_g$ to the (normalization of the) Igusa blowup $\bar{A}_g^{\rm cent}$. A counterexample in genus $g=9$ was found in \cite{AlexeevBrunyate}. Here, we prove that the extended map is regular for all $g\le8$, thus completely solving the problem in every genus.
On K-stability of $\mathbb P^3$ blown up along a smooth genus $2$ curve of degree $5$
本文证明了Mukai-Mori分类中族2.19的无限多个光滑成员具有K-稳定性。
This article constructs a smooth weak Fano threefold of Picard number two with small anti-canonical morphism that arises as a blowup of a smooth curve of genus 5 and degree 8 in $\mathbb{P}^3$. While the existence of this weak Fano was known as a numerical possibility in \cite{CM13} and constructed in BL12, this paper removes the dependencies on the results in \cite{JPR11} needed in the construction of BL12 and constructs the link in the style of ACM17.
We study a generalization of Lian-Liu-Yau's notion of Euler data in genus zero and show that certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli with markings induce data satisfying the generalization. In the case of one or two markings, this data is explicitly identified in terms of hypergeometric type classes, constituting a complete extension of Lian-Liu-Yau's mirror principle in genus zero to the case of two marked points and establishing a program for the general case. We give several applications involving the Euler class of obstructio…
We construct a smooth Artin stack parameterizing the stable weighted curves of genus one with twisted fields and prove that it is isomorphic to the blowup stack of the moduli of genus one weighted curves studied by Hu and Li. This leads to a blowup-free construction of Vakil-Zinger's desingularization of the moduli of genus one stable maps to projective spaces. This construction provides the cornerstone of the theory of stacks with twisted fields, which is thoroughly studied in arXiv:2005.03384 and leads to a blowup-free resolution of the stable map moduli of genus two.
We give two recursions for computing top intersections of tautological classes on blowups of moduli spaces of genus-one curves. One of these recursions is analogous to the well-known string equation. As shown in previous papers, these numbers are useful for computing genus-one enumerative invariants of projective spaces and Gromov-Witten invariants of complete intersections.
Using the degeneration formula and absolute/relative correspondence, one studied the change of Gromov-Witten invariants under blow-up for six dimensional symplectic manifolds and obtained closed blow-up formulae for high genus Gromov-Witten invariants. Our formulae also imply some relations among generalized BPS numbers introduced by Pandharipande.
We compute Gromov-Witten invariants of any genus for del Pezzo surfaces of degree $\ge2$. The genus zero invariants have been computed a long ago, Gromov-Witten invariants of any genus for del Pezzo surfaces of degree $\ge3$ have been found by Vakil. We solve the problem in two steps: (1) we consider the plane blown up at 6 points on a conic and one more point outside this conic (weak Fano surface), and, using techniques of tropical geometry, obtain a Caporaso-Harris type formula counting curves of any divisor class and genus subject to arbitrary tangency conditions with respect to the blown u…
The locus of genus-two curves with n marked Weierstrass points has codimension n inside the moduli space of genus-two curves with n marked points, for n<=6. It is well known that the class of the closure of the divisor obtained for n=1 spans an extremal ray of the cone of effective divisor classes. We generalize this result for all n: we show that the class of the closure of the locus of genus-two curves with n marked Weierstrass points spans an extremal ray of the cone of effective classes of codimension n, for n<=6. A related construction produces extremal nef curve classes in moduli spaces …
Inside the moduli space of curves of genus 2 with 2 marked points we consider the loci of curves admitting a map to P^1 of degree d totally ramified over the two marked points, for d>= 2. Such loci have codimension two. We compute the class of their compactifications in the moduli space of stable curves. Several results will be deduced from this computation.
We prove that the moduli space of polarized $K3$ surfaces of genus eleven with $n$ marked points is unirational when $n\leq 6$ and uniruled when $n\leq7$. As a consequence, we settle a long standing but not proved assertion about the unirationality of $\cal{M}_{11,n}$ for $n\leq6$. We also prove that the moduli space of polarized $K3$ surfaces of genus eleven with $9$ marked points has non-negative Kodaira dimension.
We prove the Abelian/non-Abelian Correspondence with bundles for target spaces that are partial flag bundles, combining and generalising results by Ciocan-Fontanine-Kim-Sabbah, Brown, and Oh. From this we deduce how genus-zero Gromov-Witten invariants change when a smooth projective variety X is blown up in a complete intersection defined by convex line bundles. In the case where the blow-up is Fano, our result gives closed-form expressions for certain genus-zero invariants of the blow-up in terms of invariants of X. We also give a reformulation of the Abelian/non-Abelian Correspondence in ter…
The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2
研究二阶超椭圆曲线在余特征2下的稳定缩减结构，通过计算机代数系统对特定曲线进行分类。
We sharpen our previous results on the g and n such that the moduli space of curves of genus g with n marked points is of general type.
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…
For every $n\geq 3$, we exhibit infinitely many extremal effective divisors on the moduli space of genus one curves with $n$ marked points.
Hyperelliptic classes are rigid and extremal in genus two
本文证明了亏格二模空间上带标记 Weierstrass 点、共轭点对和自由点的超椭圆曲线轨迹类在有效锥中是刚性和极端的，推广了 Chen 和 Tarasca 的结果，并构造了任意高余维数的无限族刚性和极端类。
In this work we describe the Chen-Ruan cohomology of the moduli stacks of smooth and stable genus 2 pointed curves, and its algebraic counterpart: the stringy Chow ring. In the first half of the paper we compute the additive structure of the Chen-Ruan cohomology ring for the moduli stack of stable pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen--Ruan cohomology ring as an algebra on the ordinary cohomology.
The Chow ring of the moduli space of marked rational curves is generated by Keel's divisor classes. The top graded part of this Chow ring is isomorphic to the integers, generated by the class of a single point. In this paper, we give an algorithm for computing the intersection degree of tuples of Keel's divisor classes. This computation is a concrete but complicated algorithmic question in the field. Also, we give a simple complexity argument for the algorithm. Additionally, we introduce three identities on multinomial coefficients, as well as proofs for them.
The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. Let $M$ be monomial in this Chow group. If no two factors of $M$ fulfill a particular quadratic relation, then the monomial can be represented equivalently by a specific tree; otherwise, $M$ is mapped to zero under the stated isomorphism. Starting from this tree representation, we introduce a graphical algorithm for computing the corresponding integer for $M$ under the aforementioned isomorphism. The algorithm is linear with respect to the size of the tree.
We introduce a factorization for the map between moduli spaces of stable maps which forgets one marked point. This leads to a study of universal relations in the cohomology of stable map spaces in genus zero.
The main characters of this paper are the moduli spaces $TM_{g,n}$ of rational tropical curves of genus $g$ with $n$ marked points, with $g\geq 2$. We reduce the study of the homotopy type of these spaces to the analysis of compact spaces $X_{g,n}$, which in turn possess natural representations as a homotopy colimits of diagrams of topological spaces over combinatorially defined generalized simplicial complexes $Δ_g$, with the latter being interesting on their own right. We use these homotopy colimit representations to describe a CW complex decomposition for each $X_{g,n}$. Furthermore, we use…
We compute the class of the closure of the locus of hyperelliptic curves in the moduli space of stable genus-3 curves in terms of the tautological class $λ$ and the boundary classes $δ_0$ and $δ_1$. The expression of this class is known, but here we compute it directly, by means of Porteous Formula, without resorting to blowups or test curves.
K-stability and space sextic curves of genus three
本文研究沿亏格3光滑六次曲线吹张三维射影空间得到的法诺三维簇，构造了其新K-稳定实例，并刻画了所有可忠实作用于其上的有限群。
We present an explicit construction of a compactification of the locus of smooth curves whose symmetric Weierstrass semigroup at a marked point is odd. The construction is an extension of Stoehr's techniques using Pinkham'sequivariant deformation of monomial curves by exploring syzygies. As an application we prove the rationality of the locus for genus at most six.
Naruki gave an explicit construction of the moduli space of marked cubic surfaces, starting from a toric variety and proceeding with blow ups and contractions. Using his result, we compute the Chow groups and the Chern classes of this moduli space.As an application we relate a recent result of Freitag on the Hilbert polynomial of a certain ring of modular forms to the Riemann-Roch theorem for the moduli space.
We establish a $\mathbb{Z}[[t_1,\ldots, t_n]]$-linear derived equivalence between the relative Fukaya category of the 2-torus with $n$ distinct marked points and the derived category of perfect complexes on the $n$-Tate curve. Specialising to $t_1= \ldots =t_n=0$ gives a $\mathbb{Z}$-linear derived equivalence between the Fukaya category of the $n$-punctured torus and the derived category of perfect complexes on the standard (Néron) $n$-gon. We prove that this equivalence extends to a $\mathbb{Z}$-linear derived equivalence between the wrapped Fukaya category of the $n$-punctured torus and the…
Let $C$ be a smooth curve of genus $g \geq 1$ and let $C^{(2)}$ be its second symmetric product. In this note we prove that if $C$ is very general, then the blow-up of $C^{(2)}$ at a very general point has non-polyhedral pseudo-effective cone. The strategy is to consider first the case of hyperelliptic curves and then to show that having polyhedral pseudo-effective cone is a closed property for families of surfaces.
We prove that certain Severi varieties of nodal curves of positive genus on general blow-ups of the twofold symmetric product of a general elliptic curve are non-empty and smooth of the expected dimension. This result, besides its intrinsic value, is an important preliminary step for the proof of nonemptiness of Severi varieties on general Enriques surfaces in arXiv:2109.10735.
In this paper, we classify relatively minimal genus-$1$ holomorphic Lefschetz pencils up to smooth isomorphism. We first show that such a pencil is isomorphic to either the pencil on $\mathbb{P}^1\times \mathbb{P}^1$ of bi-degree $(2,2)$ or a blow-up of the pencil on $\mathbb{P}^2$ of degree $3$, provided that no fiber of a pencil contains an embedded sphere. (Note that one can easily classify genus-$1$ Lefschetz pencils with an embedded sphere in a fiber.) We further determine the monodromy factorizations of these pencils and show that the isomorphism class of a blow-up of the pencil on $\mat…
In this paper we give a construction of algebraic (Artin) stacks endowed with a modular map onto the moduli stack of n-pointed stable curves of genus g, for g greater than 2. These stacks are smooth, irreducible and have dimension 4g-3+n, yielding a geometrically meaningful compactification of the degree d universal Picard stack over the moduli stack of smooth curves with marked points.
We describe explicitly all hyperelliptic limits of quadrics through smooth canonical curves of genus $g$ in ${\mathbb P}^{g-1}$. Also, we construct an open embedding of the blow up of a ${\rm PGL}_g$-bundle over the moduli space of curves of genus $g$ along the hyperelliptic locus into the blow up of the canonical Hilbert scheme of ${\mathbb P}^{g-1}$ along the closure of the locus of canonical ribbons, which are certain double thickenings of rational normal curves introduced and studied by Bayer and Eisenbud.
Given a submanifold Z inside X, let Y be the blow-up of X along Z. When the normal bundle of Z in X is convex with a minor assumption, we prove that genus-zero GW-invariants of Y with cohomology insertions from X, are identical to GW-invariants of X. Under the same hypothesis, a vanishing theorem is also proved. An example to which these two theorems apply is when the normal bundle is generated by global sections. These two main theorems do not hold for arbitrary blow-ups, and counter-examples are included.
In the first part of the paper, we give an explicit algorithm to compute the (genus zero) Gromov-Witten invariants of blow-ups of an arbitrary convex projective variety in some points if one knows the Gromov-Witten invariants of the original variety. In the second part, we specialize to blow-ups of P^r and show that many invariants of these blow-ups can be interpreted as numbers of rational curves on P^r having specified global multiplicities or tangent directions in the blown-up points. We give various numerical examples, including a new easy way to determine the famous multiplicity d^{-3} fo…
We compute cohomology of the moduli space of genus three curves with level two structure and some related spaces. In particular, we determine the cohomology groups of the moduli space of plane quartics with level two structure as representations of the symplectic group on a six dimensional vector space over the field of two elements. We also make the analogous computations for some related spaces such as moduli spaces of genus three curves with a marked points and strata of the moduli space of Abelian differentials of genus three.
Polarized rational surfaces $(X, \mathcal L)$ of sectional genus two ruled in conics are studied. When they are not minimal, they are described as the blow-up of $\mathbb F_1$ at some points lying on distinct fibers. Ampleness and very ampleness of $\mathcal L$ are studied in terms of their location. When $\mathcal L$ is very ample and there is a line contained in $X$ and transverse to the fibers, the conic fibrations $(X, \mathcal L)$ are classified and a related property concerned with the inflectional locus is discussed.
Given a compact Riemann surface $X$ of genus at least $2$ with automorphism group $G$ we provide formulae that enable us to compute traces of automorphisms of X on the space of global sections of $G$-linearized line bundles defined on certain blow-ups of proyective spaces along the curve $X$. The method is an adaptation of one used by Thaddeus to compute the dimensions of those spaces. In particular we can compute the traces of automorphisms of $X$ on the Verlinde spaces corresponding to the moduli space $SU_{X}(2,ξ)$ when $ξ$ is a line bundle $G$-linearized of suitable degree.
We characterise smooth curves in P^3 whose blow-up produces a threefold with anticanonical divisor big and nef. These are curves C of degree d and genus g lying on a smooth quartic, such that (i) $4d-30 \le g\le 14$ or $(g,d) = (19,12)$, (ii) there is no 5-secant line, 9-secant conic, nor 13-secant twisted cubic to C. This generalises the classical similar situation for the blow-up of points in P^2. We describe then Sarkisov links constructed from these blow-ups, and are able to prove the existence of Sarkisov links which were previously only known as numerical possibilities.
The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points
本文证明了带$1+p$个标记点的亏格零Deligne-Mumford空间相关纤维化的Serre谱序列在$E_2$页坍塌，并据此得出其$\mathbb Z/p$-等变上同调中的挠元均为非等变元，从而确定唯一的有趣等变运算是量子Steenrod幂运算。
In this paper we study topology of moduli spaces of tropical curves of genus $g$ with $n$ marked points. We view the moduli spaces as being imbedded in a larger space, which we call the {\it moduli space of metric graphs with $n$ marked points.} We describe the shrinking bridges strong deformation retraction, which leads to a substantial simplification of all these moduli spaces. In the rest of the paper, that reduction is used to analyze the case of genus 1. The corresponding moduli space is presented as a quotient space of a torus with respect to the conjugation ${\mathbb Z}_2$-action; and f…
Tropical geometry is a relatively recent field in mathematics created as a simplified model for certain problems in algebraic geometry. We introduce the definition of abstract and planar tropical curves as well as their properties, including combinatorial type and degree. We also talk about the moduli space, a geometric object that parameterizes all possible types of abstract or planar tropical curves subject to certain conditions. Our research focuses on the moduli spaces of planar tropical curves of genus one, arbitrary degree d and any number of marked, unbounded edges. We prove that these …
We determine the rational Chow ring of the moduli space $\mathcal{H}_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$ when $n \leq 2g+6$. We also show that the Chow ring of the partial compactification $\mathcal{I}_{g,n}$, parametrizing $n$-pointed irreducible nodal hyperelliptic curves, is generated by tautological divisors. Along the way, we improve Casnati's result that $\mathcal{H}_{g,n}$ is rational for $n \leq 2g+8$ to show $\mathcal{H}_{g,n}$ is rational for $n \leq 3g+5$.
Fixed-domain curve counts for blow-ups of projective space
本文研究了射影空间吹胀中固定复结构的曲线计数问题，通过几何和虚拟计数方法分析其一致性和计算方法。
It is known that the moduli space $\overline{\mathcal{H}}_{g,n}$ of genus $g$ stable hyperelliptic curves with $n$ marked points is uniruled for $n \leq 4g+5$. In this paper we consider the complementary case. We calculate the canonical divisor of $\overline{\mathcal{H}}_{g,n}$ and show that it is effective for $n=4g+6$ and big for $n\leq 4g+7$. This leads us to conjecture that $\overline{\mathcal{H}}_{g,n}$ has non-negative Kodaira dimension for $n = 4g+6$ and is of general type for $n \geq 4g+7$.
Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that $M_{g, n}$ is not unirational for any $n \geqslant 0$ if $g \geqslant 22$. Moreover, P. Belorousski and A. Logan showed that $M_{g, n}$ is unirational for only finitely many pairs $(g, n)$ wit…
We give a combinatorial description of the rational cohomology of the moduli spaces of pointed genus 1 curves with $n$ marked points and level $N$ structures. More precisely, we explicitly describe the $E_2$ term of the Leray spectral sequence of the forgetful mapping $\EuScript{M}_{1,n}(N)\to\EuScript{M}_{1,1}(N)$ and show that the result is isomorphic to the rational cohomology of $\EuScript{M}_{1,n}(N)$ as a rational mixed Hodge structure equipped with an action of the symmetric group $\mathfrak{S}_n$. The classical moduli space $\EuScript{M}_{1,n}$ is the particular case N=1.
We study the codimension n locus of curves of genus 2 with n distinct marked Weierstrass points inside the moduli space of genus 2, n-pointed curves, for n <= 6. We give a recursive description of the classes of the closure of these loci inside the moduli space of stable curves. For n<= 4, we express these classes using a generating function over stable graphs indexing the boundary strata of moduli spaces of pointed stable curves. Similarly, we express the closure of these classes inside the moduli space of curves of compact type for all n. This is a first step in the study of the structure of…
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.
We obtain a formula for the degrees of the varieties parameterizing complex algebraic curves of any divisor class and genus on P^2_6, the projective plane blown-up at 6 generic points. Moreover, the formula computes the degrees of the varieties parameterizing curves on P^2_6 which additionally satisfy certain tangency conditions to a fixed exceptional divisor on P^2_6. Our formula contains as special cases the degrees of the analogous varieties parameterizing curves on P^2_q, for q=1,...,5, and on the quadric (P^1)^2. It is an extension of the Caporaso-Harris formula counting curves of any deg…
Marked Artin--Schelter surfaces of del Pezzo types
本文引入 del Pezzo 类型的 Artin--Schelter 曲面（非交换曲面，含 del Pezzo 曲面为特例），并证明其标记模栈与亏格 1 曲线及若干线丛元组的模栈双有理。
We study the moduli space of stable sheaves of Euler characteristic 1 supported on curves of arithmetic genus 3 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs. We classify the stable sheaves using locally free resolutions or extensions. We give a global description: the moduli space is obtained from a certain flag Hilbert scheme by performing two flips followed by a blow-down.
We introduce the $2$-nodal spherical deformation of certain singular fibers of genus $2$ fibrations, and use such deformations to construct various examples of simply connected minimal symplectic $4$-manifolds with small topology. More specifically, we construct new exotic minimal symplectic $4$-manifolds homeomorphic but not diffeomorphic to ${\mathbb{CP}}^{2}\#6({\overline{\mathbb{CP}}^{2}})$, ${\mathbb{CP}}^{2}\#7({\overline{\mathbb{CP}}^{2}})$, and $3{\mathbb{CP}}^{2}\#k({\overline{\mathbb{CP}}^{2}})$ for $k=16, 17, 18, 19$ using combinations of such deformations, symplectic blowups, and (…
In this paper we study the moduli stack ${\mathcal U}_{1,n}^{ns}$ of curves of arithmetic genus 1 with n marked points, forming a nonspecial divisor. In arXiv:1511.03797 this stack was realized as the quotient of an explicit scheme $\widetilde{\mathcal U}_{1,n}^{ns}$, affine of finite type over ${\Bbb P}^{n-1}$, by the action of ${\Bbb G}_m^n$ . Our main result is an explicit description of the corresponding GIT semistable loci in $\widetilde{\mathcal U}_{1,n}^{ns}$. This allows us to identify some of the GIT quotients with some of the modular compactifications of ${\mathcal M}_{1,n}$ defined …
Smoothability of relative stable maps to stacky curves
本文利用log几何研究了堆叠曲线上的稳定映射光滑性，并应用于平滑半双有理纤维面。
We show that the locally closed strata of the Weierstrass flags on the moduli spaces of curves of genus g and on the moduli space of curves of genus g with one marked point are almost never affine.
We construct and study the reduced, relative, genus one Gromov--Witten theory of very ample pairs. These invariants form the principal component contribution to relative Gromov--Witten theory in genus one and are relative versions of Zinger's reduced Gromov--Witten invariants. We relate the relative and absolute theories by degeneration of the tangency conditions, and the resulting formulas generalise a well-known recursive calculation scheme put forward by Gathmann in genus zero. The geometric input is a desingularisation of the principal component of the moduli space of genus one logarithmic…
We apply virtual localization to the problem of finding blowup formulae for virtual sheaf-theoretic invariants on a smooth projective surface. This leads to a general procedure that can be used to express virtual enumerative invariants on the blowup in terms of those on the original surface. We use an enhanced master space construction over the moduli spaces of $m$-stable sheaves introduced by Nakajima and Yoshioka. Our work extends their analogous results for the equivariant moduli spaces of framed sheaves on $\mathbb{P}^2$. In contrast to their work, we make no use of GIT methods and work wi…
S. Kondo has constructed a ball quotient compactification for the moduli space of non-hyperelliptic genus four curves. In this paper, we show that this space essentially coincides with a GIT quotient of the Chow variety of canonically embedded genus four curves. More specifically, we give an explicit description of this GIT quotient, and show that the birational map from this space to Kondo's space is resolved by the blow-up of a single point. This provides a modular interpretation of the points in the boundary of Kondo's space. Connections with the slope nine space in the Hassett-Keel program…
Rational Chow ring of the universal moduli space of semistable rank two bundles over genus two curves
本文确定亏格 2 曲线上秩 2 半稳定丛泛模空间的有理 Chow 环，证明其由重言类生成，并顺带得到相关泛 Jacobian 的 Chow 环。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。