纤维品种在低斜度曲线上,在三维空间上有明显的界限

IF 0.9 1区 数学 Q2 MATHEMATICS
Yong Hu, Tongde Zhang
{"title":"纤维品种在低斜度曲线上,在三维空间上有明显的界限","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":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2018-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"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\":null,\"pages\":null},\"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}","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

摘要

本文首先构造任意维数n>2n>2的低斜率纤维上曲线的变种。这些例子违反了Barja和Stoppino的推测斜率不等式[Springer Proc.Math.Stat.71(2014),pp.1-40]。在他们的推测的引导下,我们专注于在n=3 n=3时寻找可能的最低斜率。基于特征p>0 p>0的方法,我们证明了纤维3 3-折叠在曲线上的斜率的尖锐下限为4/3 4/3,并且只有当一般纤维是(1,2)(1,2中)表面时才会出现。否则,尖锐的下限为2 2。我们还得到了曲线上一般类型曲面族的Cornalba-Harris-Sao型斜率不等式,它比所有已知结果都更尖锐,没有额外的假设。作为斜率边界的应用,我们推导出一个尖锐的Noether-Severi型不等式,即对于不具有(1,2)面Albanese fibration的一般型的不规则极小3 3倍X X,KX3≥2χ(X,ωX)K_X^3\ge2\chi(X,\omega_X)。它回答了[Canad.J.Math.67(2015),pp.696-720]中的一个问题,从而完成了一般类型的不规则3/3-折叠的完全Severi型不等式。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Fibered varieties over curves with low slope and sharp bounds in dimension three

In this paper, we first construct varieties of any dimension n > 2 n>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 = 3 n=3 . Based on a characteristic p > 0 p > 0 method, we prove that the sharp lower bound of the slope of fibered 3 3 -folds over curves is 4 / 3 4/3 , and it occurs only when the general fiber is a ( 1 , 2 ) (1, 2) -surface. Otherwise, the sharp lower bound is 2 2 . 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 K X 3 2 χ ( X , ω X ) K_X^3 \ge 2\chi (X, \omega _X) for an irregular minimal 3 3 -fold X X 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 3 3 -folds of general type.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
2.70
自引率
5.60%
发文量
23
审稿时长
>12 weeks
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信