{"title":"Fibered varieties over curves with low slope and sharp bounds in dimension three","authors":"Yong Hu, Tongde Zhang","doi":"10.1090/jag/739","DOIUrl":null,"url":null,"abstract":"<p>In this paper, we first construct varieties of any dimension <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n greater-than 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>></mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n>2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> fibered over curves with low slopes. These examples violate the conjectural slope inequality of Barja and Stoppino [Springer Proc. Math. Stat. 71 (2014), pp. 1–40].</p>\n\n<p>Led by their conjecture, we focus on finding the lowest possible slope when <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n equals 3\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mn>3</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n=3</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Based on a characteristic <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p greater-than 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>p</mml:mi>\n <mml:mo>></mml:mo>\n <mml:mn>0</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">p > 0</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> method, we prove that the sharp lower bound of the slope of fibered <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"3\">\n <mml:semantics>\n <mml:mn>3</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">3</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-folds over curves is <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"4 slash 3\">\n <mml:semantics>\n <mml:mrow>\n <mml:mn>4</mml:mn>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>/</mml:mo>\n </mml:mrow>\n <mml:mn>3</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">4/3</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, and it occurs only when the general fiber is a <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis 1 comma 2 right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mn>2</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">(1, 2)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-surface. Otherwise, the sharp lower bound is <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2\">\n <mml:semantics>\n <mml:mn>2</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. We also obtain a Cornalba-Harris-Xiao-type slope inequality for families of surfaces of general type over curves, and it is sharper than all known results with no extra assumptions.</p>\n\n<p>As an application of the slope bound, we deduce a sharp Noether-Severi-type inequality that <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K Subscript upper X Superscript 3 Baseline greater-than-or-equal-to 2 chi left-parenthesis upper X comma omega Subscript upper X Baseline right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msubsup>\n <mml:mi>K</mml:mi>\n <mml:mi>X</mml:mi>\n <mml:mn>3</mml:mn>\n </mml:msubsup>\n <mml:mo>≥<!-- ≥ --></mml:mo>\n <mml:mn>2</mml:mn>\n <mml:mi>χ<!-- χ --></mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:msub>\n <mml:mi>ω<!-- ω --></mml:mi>\n <mml:mi>X</mml:mi>\n </mml:msub>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">K_X^3 \\ge 2\\chi (X, \\omega _X)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for an irregular minimal <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"3\">\n <mml:semantics>\n <mml:mn>3</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">3</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-fold <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X\">\n <mml:semantics>\n <mml:mi>X</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">X</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of general type not having a <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis 1 comma 2 right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mn>2</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">(1,2)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-surface Albanese fibration. It answers a question in [Canad. J. Math. 67 (2015), pp. 696–720] and thus completes the full Severi-type inequality for irregular <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"3\">\n <mml:semantics>\n <mml:mn>3</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">3</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-folds of general type.</p>","PeriodicalId":54887,"journal":{"name":"Journal of Algebraic Geometry","volume":" ","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2018-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Algebraic Geometry","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/jag/739","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 5
Abstract
In this paper, we first construct varieties of any dimension n>2n>2 fibered over curves with low slopes. These examples violate the conjectural slope inequality of Barja and Stoppino [Springer Proc. Math. Stat. 71 (2014), pp. 1–40].
Led by their conjecture, we focus on finding the lowest possible slope when n=3n=3. Based on a characteristic p>0p > 0 method, we prove that the sharp lower bound of the slope of fibered 33-folds over curves is 4/34/3, and it occurs only when the general fiber is a (1,2)(1, 2)-surface. Otherwise, the sharp lower bound is 22. We also obtain a Cornalba-Harris-Xiao-type slope inequality for families of surfaces of general type over curves, and it is sharper than all known results with no extra assumptions.
As an application of the slope bound, we deduce a sharp Noether-Severi-type inequality that KX3≥2χ(X,ωX)K_X^3 \ge 2\chi (X, \omega _X) for an irregular minimal 33-fold XX of general type not having a (1,2)(1,2)-surface Albanese fibration. It answers a question in [Canad. J. Math. 67 (2015), pp. 696–720] and thus completes the full Severi-type inequality for irregular 33-folds of general type.
期刊介绍:
The Journal of Algebraic Geometry is devoted to research articles in algebraic geometry, singularity theory, and related subjects such as number theory, commutative algebra, projective geometry, complex geometry, and geometric topology.
This journal, published quarterly with articles electronically published individually before appearing in an issue, is distributed by the American Mathematical Society (AMS). In order to take advantage of some features offered for this journal, users will occasionally be linked to pages on the AMS website.