Effective Divisors Research Articles

Slope inequality for an arbitrary divisor

Let [Formula: see text] be a surjective morphism with connected fibers from a smooth complex projective surface [Formula: see text] to a smooth complex projective curve [Formula: see text] with general fiber [Formula: see text]. In this paper, we develop a more general version of the slope inequality for data [Formula: see text], where [Formula: see text] is an arbitrary relatively effective divisor on [Formula: see text] and [Formula: see text] is a locally free sub-sheaf of [Formula: see text]. We see how the speciality of [Formula: see text], restricted to the general fiber, plays a role in the results. Moreover, we compute some natural examples and provide applications.

Root stacks and periodic decompositions

For an effective Cartier divisor D on a scheme X we may form an nth\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${n}^{\ ext {th}}$$\\end{document} root stack. Its derived category is known to have a semiorthogonal decomposition with components given by D and X. We show that this decomposition is 2n\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$2n$$\\end{document}-periodic. For n=2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n=2$$\\end{document} this gives a purely triangulated proof of the existence of a known spherical functor, namely the pushforward along the embedding of D. For n>2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n > 2$$\\end{document} we find a higher spherical functor in the sense of recent work of Dyckerhoff et al. (N-spherical functors and categorification of Euler’s continuants. arXiv:2306.13350, 2023). We use a realization of the root stack construction as a variation of GIT, which may be of independent interest.

Lefschetz-type theorems for the effective cone on Hyperkähler varieties

In this paper we show some Lefschetz-type theorems for the effective cone of Hyperkähler varieties. In particular we are able to show that the inclusion of any smooth ample divisor induces an isomorphism of effective cones. Moreover we deduce a similar statement for some effective exceptional divisors, which yields the computation of the effective cone of e.g. projectivized cotangent bundles or some projectivized Lazarsfeld–Mukai bundles.

Lie algebroid connections, twisted Higgs bundles and motives of moduli spaces

Let L=(L,[⋅,⋅],δ) be an algebraic Lie algebroid over a smooth projective curve X of genus g≥2 such that L is a line bundle whose degree is less than 2−2g. Let r and d be coprime numbers. We prove that the motivic class of the moduli space of L-connections of rank r and degree d over X does not depend on the Lie algebroid structure [⋅,⋅] and δ of L and neither on the line bundle L itself, but only on the degree of L (and of course on r, d and X). In particular it is equal to the motivic class of the moduli space of KX(D)-twisted Higgs bundles of rank r and degree d, for D any effective divisor with the appropriate degree. As a consequence, similar results (actually slightly stronger) are obtained for the corresponding E-polynomials. Some applications of these results are then deduced.

The W(E6)$W(E_6)$‐invariant birational geometry of the moduli space of marked cubic surfaces

AbstractThe moduli space of marked cubic surfaces is one of the most classical moduli spaces in algebraic geometry, dating back to the nineteenth‐century work of Cayley and Salmon. Modern interest in was restored in the 1980s by Naruki's explicit construction of a ‐equivariant smooth projective compactification of , and in the 2000s by Hacking, Keel, and Tevelev's construction of the Kollár–Shepherd‐Barron–Alexeev (KSBA) stable pair compactification of as a natural sequence of blowups of . We describe generators for the cones of ‐invariant effective divisors and curves of both and . For Naruki's compactification , we further obtain a complete stable base locus decomposition of the ‐invariant effective cone, and as a consequence find several new ‐equivariant birational models of . Furthermore, we fully describe the log minimal model program for the KSBA compactification , with respect to the divisor , where is the boundary and is the sum of the divisors parameterizing marked cubic surfaces with Eckardt points.

On the moduli space curvature at infinity

We analyse the scalar curvature of the vector multiplet moduli space MXVM\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {\\mathcal{M}}_X^{\ extrm{VM}} $$\\end{document} of type IIA string theory compactified on a Calabi-Yau manifold X. While the volume of MXVM\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {\\mathcal{M}}_X^{\ extrm{VM}} $$\\end{document} is known to be finite, cases have been found where the scalar curvature diverges positively along trajectories of infinite distance. We classify the asymptotic behaviour of the scalar curvature for all large volume limits within MXVM\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {\\mathcal{M}}_X^{\ extrm{VM}} $$\\end{document}, for any choice of X, and provide the source of the divergence both in geometric and physical terms. Geometrically, there are effective divisors whose volumes do not vary along the limit. Physically, the EFT subsector associated to such divisors is decoupled from gravity along the limit, and defines a rigid N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathcal{N} $$\\end{document} = 2 field theory with a non-vanishing moduli space curvature Rrigid. We propose that the relation between scalar curvature divergences and field theories decoupled from gravity is a common trait of moduli spaces compatible with quantum gravity.

Compact moduli of K3 surfaces with a nonsymplectic automorphism

We construct a modular compactification via stable slc pairs for the moduli spaces of K3 surfaces with a nonsymplectic group of automorphisms under the assumption that some combination of the fixed loci of automorphisms defines an effective big divisor, and prove that it is semitoroidal.

Nonvarying, affine and extremal geometry of strata of differentials

AbstractWe prove that the nonvarying strata of abelian and quadratic differentials in low genus have trivial tautological rings and are affine varieties. We also prove that strata of k-differentials of infinite area are affine varieties for all k. Vanishing of homology in degree higher than the complex dimension follows as a consequence for these affine strata. Moreover we prove that the stratification of the Hodge bundle for abelian and quadratic differentials of finite area is extremal in the sense that merging two zeros in each stratum leads to an extremal effective divisor in the boundary. A common feature throughout these results is a relation of divisor classes in strata of differentials as well as its incarnation in Teichmüller dynamics.

Semi-continuity of conductors, and ramification bound of nearby cycles

Abstract For a constructible étale sheaf on a smooth variety of positive characteristic ramified along an effective divisor, the largest slope in Abbes and Saito’s ramification theory of the sheaf gives a divisor with rational coefficients called the conductor divisor. In this article, we prove decreasing properties of the conductor divisor after pull-backs. The main ingredient behind is the construction of étale sheaves with pure ramifications. As applications, we first prove a lower semi-continuity property for conductors of étale sheaves on relative curves in the equal characteristic case, which supplement Deligne and Laumon’s lower semi-continuity property of Swan conductors ([33]) and is also an ℓ {\ell} -adic analogue of André’s semi-continuity result of Poincaré–Katz ranks for meromorphic connections on complex relative curves. ([6]). Secondly, we give a ramification bound for the nearby cycle complex of an étale sheaf ramified along the special fiber of a regular scheme semi-stable over an equal characteristic henselian trait, which extends a main result in a joint work with Teyssier ([20]) and answers a conjecture of Leal ([35]) in a geometric situation.

Effective divisors on projectivized Hodge bundles and modular Forms

AbstractWe construct vector‐valued modular forms on moduli spaces of curves and abelian varieties using effective divisors in projectivized Hodge bundles over moduli of curves. Cycle relations tell us the weight of these modular forms. In particular, we construct basic modular forms for genus 2 and 3. We also discuss modular forms on the moduli of hyperelliptic curves. In that case, the relative canonical bundle is a pull back of a line bundle on a ‐bundle over the moduli of hyperelliptic curves and we extend that line bundle to a compactification so that its push down is (close to) the Hodge bundle and use this to construct modular forms. In the Appendix, we use our method to calculate divisor classes in the dual projectivized k‐Hodge bundle determined by Gheorghita–Tarasca and by Korotkin–Sauvaget–Zograf.

A Hilbert Irreducibility Theorem for Integral Points on del Pezzo Surfaces

Abstract We prove that the integral points are potentially Zariski dense in the complement of a reduced effective singular anticanonical divisor in a smooth del Pezzo surface, with the exception of ${{\mathbb {P}}}^{2}$ minus three concurrent lines (for which potential density does not hold). This answers positively a question raised by Hassett and Tschinkel and, combined with previous results, completes the proof of the potential density of integral points for complements of anticanonical divisors in smooth del Pezzo surfaces. We then classify the complements that are simply connected and for these we prove that the set of integral points is potentially not thin, as predicted by a conjecture of Corvaja and Zannier.

Maximal disjoint Schubert cycles in rational homogeneous varieties

AbstractIn this paper, we study properties of the Chow ring of rational homogeneous varieties of classical type, more concretely, effective zero divisors of low codimension, and a related invariant called effective good divisibility. This information is then used to study the question of (non)existence of nonconstant maps among these varieties, generalizing previous results for projective spaces and Grassmannians.

Effective divisors and Newton-Okounkov bodies of Hilbert schemes of points on toric surfaces

We compute the (unbounded) Newton-Okounkov body of the Hilbert scheme of points on C2. We obtain an upper bound for the Newton-Okounkov body of the Hilbert scheme of points on any smooth toric surface. We conjecture that this upper bound coincides with the exact Newton-Okounkov body for the Hilbert schemes of points on P2,P1×P1, and Hirzebruch surfaces. These results imply upper bounds for the effective cones of these Hilbert schemes, which are also conjecturally sharp in the above cases.

On group actions on Riemann-Roch spaces of curves

Let G be a group acting on a compact Riemann surface X and D be a G-invariant divisor on X. The action of G on X induces a linear representation LG(D) of G on the Riemann-Roch space associated to D.In this paper we give some results on the decomposition of LG(D) as sum of complex irreducible representations of G, for D an effective non-special G-invariant divisor. In particular, we give explicit formulae for the multiplicity of each complex irreducible factor in LG(D). We work out some examples on well known families of curves.

Finite Abelian Groups of K3 Surfaces with Smooth Quotient

The quotient space of a K3 surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on smooth rational surfaces, the author will study finite groups which act faithfully on K3 surfaces such that the quotient space are smooth. In particular, he will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a K3 surface to a Hirzebrunch surface such that the branch divisor is that effective divisor. Furthermore, he will decide the Galois group and give the way to construct that Abelian cover from an effective divisor on a Hirzebruch surface. Subsequently, he studies the same theme for Enriques surfaces.

A Remark on Nefness of Divisors on Surfaces of General Type

Let X be an irreducible complex projective variety of dimension n ≥ 1. Let D be a Cartier divisor on X such that Hi(X, OX (mD)) = 0 for m > 0 and for all i > 0, then it is not true in general that D is a nef divisor (cf. [4]). Also, in general, effective divisors on smooth surfaces are not necessarily nef (they are nef provided they are semiample). In this article, we show that, if X is a smooth surface of general type and C is a smooth hyperplane section of it, then for any non-zero effective divisor D on X satisfying H1(X, OX (mD)) = 0 for all m > C.KX, D is a nef divisor.

Superpotentials from singular divisors

We study Euclidean D3-branes wrapping divisors D in Calabi-Yau orientifold compactifications of type IIB string theory. Witten’s counting of fermion zero modes in terms of the cohomology of the structure sheaf {mathcal{O}}_D applies when D is smooth, but we argue that effective divisors of Calabi-Yau threefolds typically have singularities along rational curves. We generalize the counting of fermion zero modes to such singular divisors, in terms of the cohomology of the structure sheaf {mathcal{O}}_{overline{D}} of the normalization overline{D} of D. We establish this by detailing compactifications in which the singularities can be unwound by passing through flop transitions, giving a physical incarnation of the normalization process. Analytically continuing the superpotential through the flops, we find that singular divisors whose normalizations are rigid can contribute to the superpotential: specifically, {h}_{+}^{bullet}left({mathcal{O}}_{overline{D}}right)=left(1,0,0right) and {h}_{-}^{bullet}left({mathcal{O}}_{overline{D}}right)=left(0,0,0right) give a sufficient condition for a contribution. The examples that we present feature infinitely many isomorphic geometric phases, with corresponding infinite-order monodromy groups Γ. We use the action of Γ on effective divisors to determine the exact effective cones, which have infinitely many generators. The resulting nonperturbative superpotentials are Jacobi theta functions, whose modular symmetries suggest the existence of strong-weak coupling dualities involving inversion of divisor volumes.

Cycle class maps for Chow groups of zero-cycles with modulus

For a smooth scheme X of pure dimension d over a field k and an effective Cartier divisor D⊂X whose support is a simple normal crossing divisor, we construct a cycle class mapcycX|D:CH0(X|D)→HNisd(X,KdM(OX,ID)) from the Chow group of zero-cycles with modulus to the cohomology of the relative Milnor K-sheaf.

Moduli Spaces of Shtukas over the Projective Line

We provide explicit equations for moduli spaces of Drinfeld shtukas over the projective line with $\Gamma(N)$, $\Gamma_1(N)$ and $\Gamma_0(N)$ level structures, where $N$ is an effective divisor on $\mathbb{P}^1$. If the degree of $N$ is high enough, these moduli spaces are relative surfaces. We study some invariants of the moduli space of shtukas with $\Gamma_0(N)$ level structure for several degree $4$ divisors on $\mathbb{P}^1$.

Numerical properties of exceptional divisors of birational morphisms of smooth surfaces

We make a very detailed analysis of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka’s inequality on the number of canonical singularities on a projective normal surface with non-negative Kodaira dimension to the non minimal case, obtaining a slightly better result than known extensions by Megyesi and Langer.