Pub Date : 2024-09-11DOI: 10.1016/j.aim.2024.109946
Stephanie Chan
We show that the total number of non-torsion integral points on the elliptic curves , where D ranges over positive squarefree integers less than N, is . The proof involves a discriminant-lowering procedure on integral binary quartic forms and an application of Heath-Brown's method on estimating the average size of the 2-Selmer groups of the curves in this family.
我们证明了椭圆曲线 ED:y2=x3-D2x 上的非扭转积分点总数为 O(N(logN)-14+ϵ),其中 D 的范围是小于 N 的无平方正整数。证明涉及积分二元四元形式的判别降维过程,以及应用希斯-布朗方法估计该族曲线的 2 塞尔默群的平均大小。
{"title":"The average number of integral points on the congruent number curves","authors":"Stephanie Chan","doi":"10.1016/j.aim.2024.109946","DOIUrl":"10.1016/j.aim.2024.109946","url":null,"abstract":"<div><p>We show that the total number of non-torsion integral points on the elliptic curves <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>:</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>−</mo><msup><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msup><mi>x</mi></math></span>, where <em>D</em> ranges over positive squarefree integers less than <em>N</em>, is <span><math><mi>O</mi><mo>(</mo><mi>N</mi><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>N</mi><mo>)</mo></mrow><mrow><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>+</mo><mi>ϵ</mi></mrow></msup><mo>)</mo></math></span>. The proof involves a discriminant-lowering procedure on integral binary quartic forms and an application of Heath-Brown's method on estimating the average size of the 2-Selmer groups of the curves in this family.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0001870824004614/pdfft?md5=e61e01dc3d1a09b4e1bf01af1246df6b&pid=1-s2.0-S0001870824004614-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142168326","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-11DOI: 10.1016/j.aim.2024.109943
Xuanji Hou , Yi Pan , Qi Zhou
We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic -cocycles.
{"title":"Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles","authors":"Xuanji Hou , Yi Pan , Qi Zhou","doi":"10.1016/j.aim.2024.109943","DOIUrl":"10.1016/j.aim.2024.109943","url":null,"abstract":"<div><p>We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic <span><math><mrow><mi>SO</mi></mrow><mo>(</mo><mn>3</mn><mo>,</mo><mi>R</mi><mo>)</mo></math></span>-cocycles.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0001870824004584/pdfft?md5=0083bfa17c98a2af5ca3df7ab4ea8b19&pid=1-s2.0-S0001870824004584-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142168329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-11DOI: 10.1016/j.aim.2024.109942
Cristina Costoya , Vicente Muñoz , Antonio Viruel
In this paper we solve in the positive the question of whether any finite set of integers, containing 0, is the mapping degree set between two oriented closed connected manifolds of the same dimension. We extend this question to the rational setting, where an affirmative answer is also given.
{"title":"Finite sets containing zero are mapping degree sets","authors":"Cristina Costoya , Vicente Muñoz , Antonio Viruel","doi":"10.1016/j.aim.2024.109942","DOIUrl":"10.1016/j.aim.2024.109942","url":null,"abstract":"<div><p>In this paper we solve in the positive the question of whether any finite set of integers, containing 0, is the mapping degree set between two oriented closed connected manifolds of the same dimension. We extend this question to the rational setting, where an affirmative answer is also given.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0001870824004572/pdfft?md5=ef51c4901c7fe1d7dbb8717264ee2948&pid=1-s2.0-S0001870824004572-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142168330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-10DOI: 10.1016/j.aim.2024.109936
Daniel Glasscock
In the topological dynamical system , a point x simultaneously approximates a point y if there exists a sequence , , …of natural numbers for which , , …, all tend to y. In 1978, Furstenberg and Weiss showed that every system possesses a point which simultaneously approximates itself (a multiply recurrent point) and deduced refinements of van der Waerden's theorem on arithmetic progressions. In this paper, we study the denseness of the set of points that are simultaneously approximated by a given point. We show that in a minimal nilsystem, all points simultaneously approximate a δ-dense set of points under a necessarily restricted set of powers of T. We tie this theorem to the multiplicative combinatorial properties of return-time sets, showing that all nil-Bohr sets and typical return-time sets in a minimal system are multiplicatively thick in a coset of a multiplicative subsemigroup of the natural numbers. This yields an inhomogeneous multiple recurrence result that generalizes Furstenberg and Weiss' theorem and leads to new enhancements of van der Waerden's theorem. This work relies crucially on continuity in the prolongation relation (the closure of the orbit-closure relation) developed by Auslander, Akin, and Glasner; the theory of rational points and polynomials on nilmanifolds developed by Leibman, Green, and Tao; and the machinery of topological characteristic factors developed recently by Glasner, Huang, Shao, Weiss, and Ye.
在拓扑动力系统(X,T)中,如果存在一个自然数序列 n1、n2、......,其中 Tnix、T2nix、......、Tknix 都趋向于 y,则点 x 同时逼近点 y。1978 年,弗斯滕伯格和魏斯证明了每个系统都有一个同时逼近自身的点(多重复点),并推导出了范德瓦登算术级数定理的细化。在本文中,我们研究了同时被给定点逼近的点集的密集性。我们证明,在最小无系统中,所有点都同时近似于 T 的幂的必然限制集下的δ密集点集。我们将这一定理与返回时间集的乘法组合性质联系起来,证明最小系统中的所有无-玻尔集和典型返回时间集在自然数的乘法子半群的余集中都是乘法密集的。这就产生了一个非均质多重递推结果,它概括了弗斯滕伯格和魏斯的定理,并带来了范德瓦登定理的新提升。这项工作主要依赖于奥斯兰德、阿金和格拉斯纳提出的延长关系(轨道闭合关系的闭合)中的连续性;莱布曼、格林和陶提出的有理点和无穷多项式理论;以及格拉斯纳、黄、邵、魏斯和叶最近提出的拓扑特征因子机制。
{"title":"Simultaneous approximation in nilsystems and the multiplicative thickness of return-time sets","authors":"Daniel Glasscock","doi":"10.1016/j.aim.2024.109936","DOIUrl":"10.1016/j.aim.2024.109936","url":null,"abstract":"<div><p>In the topological dynamical system <span><math><mo>(</mo><mi>X</mi><mo>,</mo><mi>T</mi><mo>)</mo></math></span>, a point <em>x</em> simultaneously approximates a point <em>y</em> if there exists a sequence <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>, <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>, …of natural numbers for which <span><math><msup><mrow><mi>T</mi></mrow><mrow><msub><mrow><mi>n</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msup><mi>x</mi></math></span>, <span><math><msup><mrow><mi>T</mi></mrow><mrow><mn>2</mn><msub><mrow><mi>n</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msup><mi>x</mi></math></span>, …, <span><math><msup><mrow><mi>T</mi></mrow><mrow><mi>k</mi><msub><mrow><mi>n</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msup><mi>x</mi></math></span> all tend to <em>y</em>. In 1978, Furstenberg and Weiss showed that every system possesses a point which simultaneously approximates itself (a multiply recurrent point) and deduced refinements of van der Waerden's theorem on arithmetic progressions. In this paper, we study the denseness of the set of points that are simultaneously approximated by a given point. We show that in a minimal nilsystem, all points simultaneously approximate a <em>δ</em>-dense set of points under a necessarily restricted set of powers of <em>T</em>. We tie this theorem to the multiplicative combinatorial properties of return-time sets, showing that all nil-Bohr sets and typical return-time sets in a minimal system are multiplicatively thick in a coset of a multiplicative subsemigroup of the natural numbers. This yields an inhomogeneous multiple recurrence result that generalizes Furstenberg and Weiss' theorem and leads to new enhancements of van der Waerden's theorem. This work relies crucially on continuity in the prolongation relation (the closure of the orbit-closure relation) developed by Auslander, Akin, and Glasner; the theory of rational points and polynomials on nilmanifolds developed by Leibman, Green, and Tao; and the machinery of topological characteristic factors developed recently by Glasner, Huang, Shao, Weiss, and Ye.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162102","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-10DOI: 10.1016/j.aim.2024.109941
Christian Gaetz , Yibo Gao
For w in the symmetric group, we provide an exact formula for the smallest positive power appearing in the Kazhdan–Lusztig polynomial . We also provide a tight upper bound on in simply-laced types, resolving a conjecture of Billey–Postnikov from 2002.
{"title":"On the minimal power of q in a Kazhdan–Lusztig polynomial","authors":"Christian Gaetz , Yibo Gao","doi":"10.1016/j.aim.2024.109941","DOIUrl":"10.1016/j.aim.2024.109941","url":null,"abstract":"<div><p>For <em>w</em> in the symmetric group, we provide an exact formula for the smallest positive power <span><math><msup><mrow><mi>q</mi></mrow><mrow><mi>h</mi><mo>(</mo><mi>w</mi><mo>)</mo></mrow></msup></math></span> appearing in the Kazhdan–Lusztig polynomial <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>e</mi><mo>,</mo><mi>w</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span>. We also provide a tight upper bound on <span><math><mi>h</mi><mo>(</mo><mi>w</mi><mo>)</mo></math></span> in simply-laced types, resolving a conjecture of Billey–Postnikov from 2002.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-10DOI: 10.1016/j.aim.2024.109944
Jonathan Beardsley, Tyler Lawson
We define a notion of a connectivity structure on an ∞-category, analogous to a t-structure but applicable in unstable contexts—such as spaces, or algebras over an operad. This allows us to generalize notions of n-skeleta, minimal skeleta, and cellular approximation from the category of spaces. For modules over an Eilenberg–Mac Lane spectrum, these are closely related to the notion of projective amplitude.
We apply these to ring spectra, where they can be detected via the cotangent complex and higher Hochschild homology with coefficients. We show that the spectra of chromatic homotopy theory are minimal skeleta for in the category of associative ring spectra. Similarly, Ravenel's spectra are shown to be minimal skeleta for BP in the same way, which proves that these admit canonical associative algebra structures.
我们定义了一个∞类上的连接结构概念,它类似于 t 结构,但适用于不稳定的上下文--如空间或操作数上的代数。这样,我们就可以从空间类别中概括出 n-skeleta、minimal skeleta 和 cellular approximation 等概念。对于艾伦伯格-麦克莱恩谱上的模块,这些概念与投影振幅的概念密切相关。我们将这些概念应用于环谱,通过带系数的余切复数和高霍赫希尔德同调来检测它们。我们证明了色度同调理论的谱 Y(n) 是关联环谱范畴中 HF2 的最小骨架。同样,雷文纳的谱 T(n) 也以同样的方式被证明是 BP 的最小骨架,这证明了这些谱接纳了典型的关联代数结构。
{"title":"Skeleta and categories of algebras","authors":"Jonathan Beardsley, Tyler Lawson","doi":"10.1016/j.aim.2024.109944","DOIUrl":"10.1016/j.aim.2024.109944","url":null,"abstract":"<div><p>We define a notion of a connectivity structure on an ∞-category, analogous to a <em>t</em>-structure but applicable in unstable contexts—such as spaces, or algebras over an operad. This allows us to generalize notions of n-skeleta, minimal skeleta, and cellular approximation from the category of spaces. For modules over an Eilenberg–Mac Lane spectrum, these are closely related to the notion of projective amplitude.</p><p>We apply these to ring spectra, where they can be detected via the cotangent complex and higher Hochschild homology with coefficients. We show that the spectra <span><math><mi>Y</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> of chromatic homotopy theory are minimal skeleta for <span><math><mi>H</mi><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> in the category of associative ring spectra. Similarly, Ravenel's spectra <span><math><mi>T</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> are shown to be minimal skeleta for <em>BP</em> in the same way, which proves that these admit canonical associative algebra structures.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-09DOI: 10.1016/j.aim.2024.109938
Yatir Halevi
Given an elliptic curve E over a perfect defectless henselian valued field with perfect residue field and valuation ring , there exists an integral separated smooth group scheme over with . If then one can be found over such that the definable group is the maximal generically stable subgroup of E. We also give some partial results on general Abelian varieties over F.
The construction of is by means of generating a birational group law over by the aid of a generically stable generic type of a definable subgroup of E.
给定一条在具有完美残差域 kF 和估值环 OF 的完美无缺陷亨氏有值域 (F,val) 上的椭圆曲线 E,存在一个在 OF 上的积分分离光滑群方案 E,其 E×Spec OFSpec F≅E。如果 char(kF)≠2,3,那么可以在 OFalg 上找到一个可定义群 E(O) 是 E 的最大泛型稳定子群。我们还给出了关于 F 上一般阿贝尔变体的一些部分结果。
{"title":"Models of Abelian varieties over valued fields, using model theory","authors":"Yatir Halevi","doi":"10.1016/j.aim.2024.109938","DOIUrl":"10.1016/j.aim.2024.109938","url":null,"abstract":"<div><p>Given an elliptic curve <em>E</em> over a perfect defectless henselian valued field <span><math><mo>(</mo><mi>F</mi><mo>,</mo><mrow><mi>val</mi></mrow><mo>)</mo></math></span> with perfect residue field <span><math><msub><mrow><mtext>k</mtext></mrow><mrow><mi>F</mi></mrow></msub></math></span> and valuation ring <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span>, there exists an integral separated smooth group scheme <span><math><mi>E</mi></math></span> over <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span> with <span><math><mi>E</mi><msub><mrow><mo>×</mo></mrow><mrow><mtext>Spec </mtext><msub><mrow><mi>O</mi></mrow><mrow><mi>F</mi></mrow></msub></mrow></msub><mtext>Spec </mtext><mi>F</mi><mo>≅</mo><mi>E</mi></math></span>. If <span><math><mrow><mi>char</mi></mrow><mo>(</mo><msub><mrow><mtext>k</mtext></mrow><mrow><mi>F</mi></mrow></msub><mo>)</mo><mo>≠</mo><mn>2</mn><mo>,</mo><mn>3</mn></math></span> then one can be found over <span><math><msub><mrow><mi>O</mi></mrow><mrow><msup><mrow><mi>F</mi></mrow><mrow><mi>a</mi><mi>l</mi><mi>g</mi></mrow></msup></mrow></msub></math></span> such that the definable group <span><math><mi>E</mi><mo>(</mo><mi>O</mi><mo>)</mo></math></span> is the maximal generically stable subgroup of <em>E</em>. We also give some partial results on general Abelian varieties over <em>F</em>.</p><p>The construction of <span><math><mi>E</mi></math></span> is by means of generating a birational group law over <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span> by the aid of a generically stable generic type of a definable subgroup of <em>E</em>.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-09DOI: 10.1016/j.aim.2024.109937
Zhou Gang
We study a neighborhood of generic singularities formed by mean curvature flow (MCF). For various possibilities when the singularities are modeled on , we provide a detailed description for a small, but fixed, neighborhood of singularity, including proving that a small neighborhood is mean convex, and the singularity is isolated. For the remaining possibilities, we conjecture that an entire neighborhood of the singularity becomes singular at the time of blowup, and present evidence to support it. A key technique is that, when looking for a dominating direction for the rescaled MCF, we need a normal form transformation, as a result, the rescaled MCF is parametrized over some chosen curved cylinder, instead of a standard straight one.
{"title":"On the non-degenerate and degenerate generic singularities formed by mean curvature flow","authors":"Zhou Gang","doi":"10.1016/j.aim.2024.109937","DOIUrl":"10.1016/j.aim.2024.109937","url":null,"abstract":"<div><p>We study a neighborhood of generic singularities formed by mean curvature flow (MCF). For various possibilities when the singularities are modeled on <span><math><msup><mrow><mi>S</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>×</mo><mi>R</mi></math></span>, we provide a detailed description for a small, but fixed, neighborhood of singularity, including proving that a small neighborhood is mean convex, and the singularity is isolated. For the remaining possibilities, we conjecture that an entire neighborhood of the singularity becomes singular at the time of blowup, and present evidence to support it. A key technique is that, when looking for a dominating direction for the rescaled MCF, we need a normal form transformation, as a result, the rescaled MCF is parametrized over some chosen curved cylinder, instead of a standard straight one.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-06DOI: 10.1016/j.aim.2024.109935
Kevin Coulembier, Pavel Etingof, Victor Ostrik
<div><p>A symmetric tensor category <span><math><mi>D</mi></math></span> over an algebraically closed field <strong>k</strong> is called <strong>incompressible</strong> if its objects have finite length (<span><math><mi>D</mi></math></span> is pretannakian) and every tensor functor out of <span><math><mi>D</mi></math></span> is an embedding of a tensor subcategory. E.g., the categories <span><math><mi>Vec</mi></math></span>, <span><math><mi>sVec</mi></math></span> of vector and supervector spaces are incompressible. Moreover, by Deligne's theorem <span><span>[15]</span></span>, if <span><math><mrow><mi>char</mi></mrow><mo>(</mo><mi>k</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span> then any tensor category of moderate growth uniquely fibres over <span><math><mi>sVec</mi></math></span>. This implies that <span><math><mi>Vec</mi></math></span>, <span><math><mi>sVec</mi></math></span> are the only incompressible categories over <strong>k</strong> in this class, and perhaps altogether, as we expect that all incompressible categories have moderate growth.</p><p>Similarly, in characteristic <span><math><mi>p</mi><mo>></mo><mn>0</mn></math></span>, we also have incompressible Verlinde categories <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>,</mo><msubsup><mrow><mi>Ver</mi></mrow><mrow><mi>p</mi></mrow><mrow><mo>+</mo></mrow></msubsup></math></span>, and by <span><span>[10]</span></span> any Frobenius exact category of moderate growth uniquely fibres over <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>, meaning that, in this class, the above categories are the only incompressible ones. More generally, the Verlinde categories <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow></msub></math></span>, <span><math><msubsup><mrow><mi>Ver</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow><mrow><mo>+</mo></mrow></msubsup></math></span>, <span><math><mi>n</mi><mo>≤</mo><mo>∞</mo></math></span> introduced in <span><span>[3]</span></span>, <span><span>[7]</span></span> are incompressible, and a key conjecture is that every tensor category of moderate growth uniquely fibres over <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mo>∞</mo></mrow></msup></mrow></msub></math></span>. This would make the above the only incompressible categories in this class (and perhaps altogether).</p><p>We prove a part of this conjecture, showing that every tensor category of moderate growth fibres over an incompressible one. So it remains to understand incompressible categories, and we prove several results in this direction. Namely, let <span><math><mi>D</mi></math></span>-Tann be the category of tensor categories that fibre over <span><math><mi>D</mi></math></span>. Then we say that <span><math><mi>D</mi></math></span> is <strong>subterminal</strong> if it is a terminal object o
如果一个代数闭域 k 上的对称张量范畴 D 的对象是有限长的(D 是前张量的),而且 D 的每个张量函子都是一个张量子范畴的嵌入,那么这个范畴就叫做不可压缩范畴。例如,向量空间和超向量空间的范畴 Vec、sVec 就是不可压缩的。此外,根据德利涅定理[15],如果 char(k)=0 那么任何中等增长的张量范畴都唯一地纤维于 sVec。同样,在特征 p>0 中,我们也有不可压缩的韦林德范畴 Verp,Verp+,而根据[10],任何具有适度增长的弗罗贝尼斯精确范畴都唯一地纤维于 Verp,这意味着在这一类中,上述范畴是唯一不可压缩的范畴。更一般地说,[3]、[7]中引入的韦林德范畴Verpn、Verpn+、n≤∞都是不可压缩的,而一个关键猜想是,每个适度增长的张量范畴都唯一地纤维于Verp∞。我们证明了这一猜想的一部分,证明了每一个中等增长的张量范畴都会在一个不可压缩的范畴上形成纤维。我们证明了这一猜想的一部分,证明了每一个中度增长的张量范畴都纤维于不可压缩范畴。那么,如果 D 是 D-Tann 的终端对象(即 D 的纤维函子存在时是唯一的),我们就说 D 是子终端的;如果 D-Tann 在张量函子(=阶范畴)的取像下是封闭的,我们就说 D 是贝兹鲁卡夫尼科夫范畴。显然,一个亚终端贝兹鲁卡夫尼科夫范畴是不可压缩的,我们猜想反过来也成立;例如,众所周知,Verp 的张量子范畴是亚终端的。我们进一步证明它们是贝兹鲁卡夫尼科夫范畴,这是对贝兹鲁卡夫尼科夫(Bezrukavnikov)[4] 在 Vec 范畴中的结果的推广。最后,我们证明了有限不可压缩范畴的张量子范畴是不可压缩的。也就是说,如果每个对象的对称幂的长度增长率是理论上可能的最小值,那么D就被称为最大无穷范畴。我们证明,一个有限的最大无穷范畴是不可压缩的,而且如果它满足一个附加的几何还原性条件(对于D中的每一个态X↠1,都存在n>0,而SymnX↠1是分裂的),它也是亚极限的。然后,我们验证这些条件对 Ver2n 类别的适用性,从而证明它是子终结的。
{"title":"Incompressible tensor categories","authors":"Kevin Coulembier, Pavel Etingof, Victor Ostrik","doi":"10.1016/j.aim.2024.109935","DOIUrl":"10.1016/j.aim.2024.109935","url":null,"abstract":"<div><p>A symmetric tensor category <span><math><mi>D</mi></math></span> over an algebraically closed field <strong>k</strong> is called <strong>incompressible</strong> if its objects have finite length (<span><math><mi>D</mi></math></span> is pretannakian) and every tensor functor out of <span><math><mi>D</mi></math></span> is an embedding of a tensor subcategory. E.g., the categories <span><math><mi>Vec</mi></math></span>, <span><math><mi>sVec</mi></math></span> of vector and supervector spaces are incompressible. Moreover, by Deligne's theorem <span><span>[15]</span></span>, if <span><math><mrow><mi>char</mi></mrow><mo>(</mo><mi>k</mi><mo>)</mo><mo>=</mo><mn>0</mn></math></span> then any tensor category of moderate growth uniquely fibres over <span><math><mi>sVec</mi></math></span>. This implies that <span><math><mi>Vec</mi></math></span>, <span><math><mi>sVec</mi></math></span> are the only incompressible categories over <strong>k</strong> in this class, and perhaps altogether, as we expect that all incompressible categories have moderate growth.</p><p>Similarly, in characteristic <span><math><mi>p</mi><mo>></mo><mn>0</mn></math></span>, we also have incompressible Verlinde categories <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>,</mo><msubsup><mrow><mi>Ver</mi></mrow><mrow><mi>p</mi></mrow><mrow><mo>+</mo></mrow></msubsup></math></span>, and by <span><span>[10]</span></span> any Frobenius exact category of moderate growth uniquely fibres over <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>, meaning that, in this class, the above categories are the only incompressible ones. More generally, the Verlinde categories <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow></msub></math></span>, <span><math><msubsup><mrow><mi>Ver</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow><mrow><mo>+</mo></mrow></msubsup></math></span>, <span><math><mi>n</mi><mo>≤</mo><mo>∞</mo></math></span> introduced in <span><span>[3]</span></span>, <span><span>[7]</span></span> are incompressible, and a key conjecture is that every tensor category of moderate growth uniquely fibres over <span><math><msub><mrow><mi>Ver</mi></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mo>∞</mo></mrow></msup></mrow></msub></math></span>. This would make the above the only incompressible categories in this class (and perhaps altogether).</p><p>We prove a part of this conjecture, showing that every tensor category of moderate growth fibres over an incompressible one. So it remains to understand incompressible categories, and we prove several results in this direction. Namely, let <span><math><mi>D</mi></math></span>-Tann be the category of tensor categories that fibre over <span><math><mi>D</mi></math></span>. Then we say that <span><math><mi>D</mi></math></span> is <strong>subterminal</strong> if it is a terminal object o","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S000187082400450X/pdfft?md5=7430145ca98feac2b6b24320a9ad17ce&pid=1-s2.0-S000187082400450X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142147908","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-06DOI: 10.1016/j.aim.2024.109909
Naiara V. de Paulo , Umberto Hryniewicz , Seongchan Kim , Pedro A.S. Salomão
A contact form on the tight 3-sphere is called weakly convex if the Conley-Zehnder index of every Reeb orbit is at least 2. In this article, we study Reeb flows of weakly convex contact forms on admitting a prescribed finite set of index-2 Reeb orbits, which are all hyperbolic and mutually unlinked. We present conditions so that these index-2 orbits are binding orbits of a genus zero transverse foliation whose additional binding orbits have index 3. In addition, we show in the real-analytic case that the topological entropy of the Reeb flow is positive if the branches of the stable/unstable manifolds of the index-2 orbits are mutually non-coincident.
{"title":"Genus zero transverse foliations for weakly convex Reeb flows on the tight 3-sphere","authors":"Naiara V. de Paulo , Umberto Hryniewicz , Seongchan Kim , Pedro A.S. Salomão","doi":"10.1016/j.aim.2024.109909","DOIUrl":"10.1016/j.aim.2024.109909","url":null,"abstract":"<div><p>A contact form on the tight 3-sphere <span><math><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>,</mo><msub><mrow><mi>ξ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span> is called weakly convex if the Conley-Zehnder index of every Reeb orbit is at least 2. In this article, we study Reeb flows of weakly convex contact forms on <span><math><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>,</mo><msub><mrow><mi>ξ</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>)</mo></math></span> admitting a prescribed finite set of index-2 Reeb orbits, which are all hyperbolic and mutually unlinked. We present conditions so that these index-2 orbits are binding orbits of a genus zero transverse foliation whose additional binding orbits have index 3. In addition, we show in the real-analytic case that the topological entropy of the Reeb flow is positive if the branches of the stable/unstable manifolds of the index-2 orbits are mutually non-coincident.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0001870824004249/pdfft?md5=f4345f01030ab23c2fdfe8102aa8fbb7&pid=1-s2.0-S0001870824004249-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142147907","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}