Pub Date : 2024-07-11DOI: 10.1007/s00209-024-03549-x
Tobias Dyckerhoff, Mikhail Kapranov, Vadim Schechtman, Yan Soibelman
We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable ({infty })-categories. We study the relative Waldhausen S-construction (S_bullet (F)) of the spherical functor F and show that it has a natural paracyclic structure (“rotation symmetry”). This fulfills a part of the general program of perverse schobers which are conjectural categorical upgrades of perverse sheaves. If we view a spherical functor as defining a schober on a disk, then each component (S_n(F)) of the S-construction gives a categorification of the cohomology of a perverse sheaf on a disk with support in a union of ((n+1)) closed arcs in the boundary. In other words, (S_n(F)) can be interpreted as the Fukaya category of the disk with coefficients in the schober and with support (“stops”) at the boundary arcs. The importance of the paracyclic structure is that it allows us to naturally associate the above data to disks on oriented surfaces. The action of the paracyclic rotation is a categorical analog of the monodromy of a perverse sheaf.
我们在稳定({infty })范畴的框架内发展了半正交分解和球形函子的理论。我们研究了球形函子 F 的相对瓦尔德豪森 S 构建(S_bullet (F)),并证明了它有一个自然的旁环结构("旋转对称性")。这就完成了反向舍伯尔一般计划的一部分,反向舍伯尔是反向剪子的猜想分类升级。如果我们把球面函子看作是定义了一个圆盘上的schober,那么S构造的每个分量(S_n(F))都给出了一个圆盘上的反向剪子的同调分类,这个反向剪子的支撑在边界上的((n+1))闭弧的联合中。换句话说,(S_n(F))可以被解释为具有肖伯尔系数并在边界弧上具有支持("止点")的圆盘的富卡亚范畴。准环结构的重要性在于,它允许我们把上述数据自然地与定向表面上的圆盘联系起来。准环旋转的作用是反剪单色性的分类类似物。
{"title":"Spherical adjunctions of stable $$infty $$ -categories and the relative S-construction","authors":"Tobias Dyckerhoff, Mikhail Kapranov, Vadim Schechtman, Yan Soibelman","doi":"10.1007/s00209-024-03549-x","DOIUrl":"https://doi.org/10.1007/s00209-024-03549-x","url":null,"abstract":"<p>We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable <span>({infty })</span>-categories. We study the relative Waldhausen S-construction <span>(S_bullet (F))</span> of the spherical functor <i>F</i> and show that it has a natural paracyclic structure (“rotation symmetry”). This fulfills a part of the general program of perverse schobers which are conjectural categorical upgrades of perverse sheaves. If we view a spherical functor as defining a schober on a disk, then each component <span>(S_n(F))</span> of the S-construction gives a categorification of the cohomology of a perverse sheaf on a disk with support in a union of <span>((n+1))</span> closed arcs in the boundary. In other words, <span>(S_n(F))</span> can be interpreted as the Fukaya category of the disk with coefficients in the schober and with support (“stops”) at the boundary arcs. The importance of the paracyclic structure is that it allows us to naturally associate the above data to disks on oriented surfaces. The action of the paracyclic rotation is a categorical analog of the monodromy of a perverse sheaf.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"13 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141613707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-09DOI: 10.1007/s00209-024-03558-w
David Damanik, Gang Meng, Meirong Zhang, Zhe Zhou
We introduce a new class of almost periodic measures, and consider one-dimensional almost periodic Schrödinger operators with measure-valued potentials. For operators of this kind we introduce a rotation number in the spirit of Johnson and Moser.
{"title":"The rotation number for the Schrödinger operator with $$alpha $$ -norm almost periodic measures","authors":"David Damanik, Gang Meng, Meirong Zhang, Zhe Zhou","doi":"10.1007/s00209-024-03558-w","DOIUrl":"https://doi.org/10.1007/s00209-024-03558-w","url":null,"abstract":"<p>We introduce a new class of almost periodic measures, and consider one-dimensional almost periodic Schrödinger operators with measure-valued potentials. For operators of this kind we introduce a rotation number in the spirit of Johnson and Moser.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"37 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141571862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-08DOI: 10.1007/s00209-024-03541-5
Peng Gao
We study the 2k-th moment of central values of the family of Dirichlet L-functions to a fixed prime modulus. We establish sharp lower bounds for all real (k ge 0) and sharp upper bounds for k in the range (0 le k le 1).
我们研究了迪里夏特 L 函数族到固定素模的中心值的第 2k-th 矩。我们建立了所有实数 (k ge 0) 的尖锐下限和 k 在 (0 le k le 1) 范围内的尖锐上限。
{"title":"Bounds for moments of Dirichlet L-functions to a fixed modulus","authors":"Peng Gao","doi":"10.1007/s00209-024-03541-5","DOIUrl":"https://doi.org/10.1007/s00209-024-03541-5","url":null,"abstract":"<p>We study the 2<i>k</i>-th moment of central values of the family of Dirichlet <i>L</i>-functions to a fixed prime modulus. We establish sharp lower bounds for all real <span>(k ge 0)</span> and sharp upper bounds for <i>k</i> in the range <span>(0 le k le 1)</span>.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"54 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141571861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-03DOI: 10.1007/s00209-024-03531-7
Naoki Fujita, Yuta Nishiyama
An approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Using the polytope ring of the Gelfand–Tsetlin polytopes, Kiritchenko–Smirnov–Timorin realized each Schubert class as a sum of reduced Kogan faces. The first named author introduced a generalization of reduced Kogan faces to symplectic Gelfand–Tsetlin polytopes using a semi-toric degeneration of a Schubert variety, and extended the result of Kiritchenko–Smirnov–Timorin to type C case. In this paper, we introduce a combinatorial model to this type C generalization using a kind of pipe dream with self-crossings. As an application, we prove that the type C generalization can be constructed by skew mitosis operators.
舒伯特微积分的一种方法是将舒伯特类实现为具体的组合对象,如舒伯特多项式。基里琴科-斯米尔诺夫-季莫林(Kiritchenko-Smirnov-Timorin)利用格尔芬-策林多面体的多面体环,把每个舒伯特类看作是还原科根面的总和。第一位作者利用舒伯特多面体的半oric退化,将还原科根面推广到交点格尔芬-策林多面体,并将基里琴科-斯米尔诺夫-季莫林的结果推广到 C 型情况。在本文中,我们利用一种带有自交叉的管道梦,为这种 C 型广义引入了一个组合模型。作为应用,我们证明了 C 型广义可以用偏斜有丝分裂算子来构造。
{"title":"Combinatorics of semi-toric degenerations of Schubert varieties in type C","authors":"Naoki Fujita, Yuta Nishiyama","doi":"10.1007/s00209-024-03531-7","DOIUrl":"https://doi.org/10.1007/s00209-024-03531-7","url":null,"abstract":"<p>An approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Using the polytope ring of the Gelfand–Tsetlin polytopes, Kiritchenko–Smirnov–Timorin realized each Schubert class as a sum of reduced Kogan faces. The first named author introduced a generalization of reduced Kogan faces to symplectic Gelfand–Tsetlin polytopes using a semi-toric degeneration of a Schubert variety, and extended the result of Kiritchenko–Smirnov–Timorin to type <i>C</i> case. In this paper, we introduce a combinatorial model to this type <i>C</i> generalization using a kind of pipe dream with self-crossings. As an application, we prove that the type <i>C</i> generalization can be constructed by skew mitosis operators.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"137 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141522685","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-02DOI: 10.1007/s00209-024-03530-8
András Némethi, Gergő Schefler
Consider a complex normal surface singularity and its three plurigenera, the m-th (L^2)–plurigenus of Watanabe, the m-th plurigenus of Knöller and the m-th log-plurigenus of Morales. For any of these invariants we construct a double graded (mathbb {Z}[U])–module, whose Euler characteristic is the chosen plurigenus. The three outputs are compared with the analytic lattice cohomology of the germ, whose Euler characteristic is the classical geometric genus.
{"title":"Categorification of the plurigenera of Gorenstein normal surface singularities","authors":"András Némethi, Gergő Schefler","doi":"10.1007/s00209-024-03530-8","DOIUrl":"https://doi.org/10.1007/s00209-024-03530-8","url":null,"abstract":"<p>Consider a complex normal surface singularity and its three plurigenera, the <i>m</i>-th <span>(L^2)</span>–plurigenus of Watanabe, the <i>m</i>-th plurigenus of Knöller and the <i>m</i>-th log-plurigenus of Morales. For any of these invariants we construct a double graded <span>(mathbb {Z}[U])</span>–module, whose Euler characteristic is the chosen plurigenus. The three outputs are compared with the analytic lattice cohomology of the germ, whose Euler characteristic is the classical geometric genus.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"4 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141522763","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1007/s00209-024-03516-6
Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker
We study a Dirichlet series in two variables which counts primitive three-term arithmetic progressions of squares. We show that this multiple Dirichlet series has meromorphic continuation to (mathbb {C}^2) and use Tauberian methods to obtain counts for arithmetic progressions of squares and rational points on (x^2+y^2=2).
{"title":"Arithmetic progressions of squares and multiple Dirichlet series","authors":"Thomas A. Hulse, Chan Ieong Kuan, David Lowry-Duda, Alexander Walker","doi":"10.1007/s00209-024-03516-6","DOIUrl":"https://doi.org/10.1007/s00209-024-03516-6","url":null,"abstract":"<p>We study a Dirichlet series in two variables which counts primitive three-term arithmetic progressions of squares. We show that this multiple Dirichlet series has meromorphic continuation to <span>(mathbb {C}^2)</span> and use Tauberian methods to obtain counts for arithmetic progressions of squares and rational points on <span>(x^2+y^2=2)</span>.\u0000</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"28 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141509137","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-28DOI: 10.1007/s00209-024-03537-1
Dimitri Dine, Ryo Ishizuka
For a perfectoid ring R of characteristic 0 with tilt (R^{flat }), we introduce and study a tilting map ((-)^{flat }) from the set of p-adically closed ideals of R to the set of ideals of (R^{flat }) and an untilting map ((-)^{sharp }) from the set of radical ideals of (R^{flat }) to the set of ideals of R. The untilting map ((-)^{sharp }) is defined purely algebraically and generalizes the analytically defined untilting map on closed radical ideals of a perfectoid Tate ring of characteristic p introduced in the first author’s previous work. We prove that the two maps
define an inclusion-preserving bijection between the set of ideals J of R such that the quotient R/J is perfectoid and the set of (p^{flat })-adically closed radical ideals of (R^{flat }), where (p^{flat }in R^{flat }) corresponds to a compatible system of p-power roots of a unit multiple of p in R. Finally, we prove that the maps ((-)^{flat }) and ((-)^{sharp }) send (closed) prime ideals to prime ideals and thus define a homeomorphism between the subspace of ({{,textrm{Spec},}}(R)) consisting of prime ideals (mathfrak {p}) of R such that (R/mathfrak {p}) is perfectoid and the subspace of ({{,textrm{Spec},}}(R^{flat })) consisting of (p^{flat })-adically closed prime ideals of (R^{flat }). In particular, we obtain a generalization and a new proof of the main result of the first author’s previous work which concerned prime ideals in perfectoid Tate rings.
对于特性为 0 且具有倾斜度 (R^{flat }) 的完形环 R,我们引入并研究了从 R 的 p-adically 闭合理想集合到 (R^{flat } 的理想集合的倾斜图 ((-)^{flat }),以及从 (R^{flat } 的基理想集合到 R 的理想集合的直到图 ((-)^{sharp })。直到图 ((-)^{sharp }) 是纯代数定义的,它概括了第一作者在前人的研究中引入的关于特征 p 的完形泰特环的闭根理想的解析定义的直到图。我们证明了两个映射 $$begin{aligned}J映射到J^{/flat }~文{and}~I映射到I^{/sharp }end{aligned}$$define an inclusion-preserving bijection between the set of ideals J of R such that the quotient R/J is perfectoid and the set of (p^{flat })-adically closed radical ideals of (R^{/flat }),其中 (p^{flat }in R^{flat }) corresponds to a compatible system of p-power roots of a unit multiple of p in R.最后,我们证明映射 ((-)^{flat }) 和 ((-)^{sharp }) 把(封闭的)素理想送到素理想,因此定义了 ({{,textrm{Spec}) 的子空间之间的同构、(R))的子空间与 (R^{flat }) 的 (p^{flat }) -adically closed prime ideals 组成的 ({{,textrm{Spec},}}(R^{flat })的子空间之间的同构。特别是,我们得到了第一作者之前关于完形泰特环中素数理想的主要结果的概括和新证明。
{"title":"Tilting and untilting for ideals in perfectoid rings","authors":"Dimitri Dine, Ryo Ishizuka","doi":"10.1007/s00209-024-03537-1","DOIUrl":"https://doi.org/10.1007/s00209-024-03537-1","url":null,"abstract":"<p>For a perfectoid ring <i>R</i> of characteristic 0 with tilt <span>(R^{flat })</span>, we introduce and study a tilting map <span>((-)^{flat })</span> from the set of <i>p</i>-adically closed ideals of <i>R</i> to the set of ideals of <span>(R^{flat })</span> and an untilting map <span>((-)^{sharp })</span> from the set of radical ideals of <span>(R^{flat })</span> to the set of ideals of <i>R</i>. The untilting map <span>((-)^{sharp })</span> is defined purely algebraically and generalizes the analytically defined untilting map on closed radical ideals of a perfectoid Tate ring of characteristic <i>p</i> introduced in the first author’s previous work. We prove that the two maps </p><span>$$begin{aligned} Jmapsto J^{flat }~text {and}~Imapsto I^{sharp } end{aligned}$$</span><p>define an inclusion-preserving bijection between the set of ideals <i>J</i> of <i>R</i> such that the quotient <i>R</i>/<i>J</i> is perfectoid and the set of <span>(p^{flat })</span>-adically closed radical ideals of <span>(R^{flat })</span>, where <span>(p^{flat }in R^{flat })</span> corresponds to a compatible system of <i>p</i>-power roots of a unit multiple of <i>p</i> in <i>R</i>. Finally, we prove that the maps <span>((-)^{flat })</span> and <span>((-)^{sharp })</span> send (closed) prime ideals to prime ideals and thus define a homeomorphism between the subspace of <span>({{,textrm{Spec},}}(R))</span> consisting of prime ideals <span>(mathfrak {p})</span> of <i>R</i> such that <span>(R/mathfrak {p})</span> is perfectoid and the subspace of <span>({{,textrm{Spec},}}(R^{flat }))</span> consisting of <span>(p^{flat })</span>-adically closed prime ideals of <span>(R^{flat })</span>. In particular, we obtain a generalization and a new proof of the main result of the first author’s previous work which concerned prime ideals in perfectoid Tate rings.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"155 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141531715","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-27DOI: 10.1007/s00209-024-03536-2
Toshinori Kobayashi, Shunya Saito
Let R be a commutative noetherian ring and denote by ({{,mathrm{textsf{mod}},}}R) the category of finitely generated R-modules. In this paper, we study KE-closed subcategories of ({{,mathrm{textsf{mod}},}}R), that is, additive subcategories closed under kernels and extensions. We first give a characterization of KE-closed subcategories: a KE-closed subcategory is a torsion-free class in a torsion-free class. As an immediate application of the dual statement, we give a conceptual proof of Stanley-Wang’s result about narrow subcategories. Next, we classify the KE-closed subcategories of ({{,mathrm{textsf{mod}},}}R) when (dim R le 1) and when R is a two-dimensional normal domain. More precisely, in the former case, we prove that KE-closed subcategories coincide with torsion-free classes in ({{,mathrm{textsf{mod}},}}R). Moreover, this condition implies (dim R le 1) when R is a homomorphic image of a Cohen-Macaulay ring (e.g. a finitely generated algebra over a regular ring). Thus, we give a complete answer for the title.
让 R 是交换无醚环,用 ({{,mathrm{textsf{mod}},}}R 表示有限生成的 R 模块范畴。本文研究的是({{,mathrm{textsf{mod}},}}R) 的 KE 闭合子类,也就是在内核和扩展下闭合的可加子类。我们首先给出 KE 闭合子类的特征:KE 闭合子类是无扭类中的无扭类。作为对偶声明的直接应用,我们给出了斯坦利-王关于窄子类结果的概念证明。接下来,当 (dim R le 1) 和 R 是二维法域时,我们对 ({{,mathrm{textsf{mod}},}}R) 的 KE-closed 子类进行分类。更确切地说,在前一种情况下,我们证明 KE 闭合子类与 ({{,mathrm{textsf{mod}},}}R) 中的无扭类重合。此外,当 R 是一个科恩-麦考莱环(比如正则环上的有限生成代数)的同态映像时,这个条件意味着 ( (dim R le 1 )。因此,我们给出了题目的完整答案。
{"title":"When are KE-closed subcategories torsion-free classes?","authors":"Toshinori Kobayashi, Shunya Saito","doi":"10.1007/s00209-024-03536-2","DOIUrl":"https://doi.org/10.1007/s00209-024-03536-2","url":null,"abstract":"<p>Let <i>R</i> be a commutative noetherian ring and denote by <span>({{,mathrm{textsf{mod}},}}R)</span> the category of finitely generated <i>R</i>-modules. In this paper, we study KE-closed subcategories of <span>({{,mathrm{textsf{mod}},}}R)</span>, that is, additive subcategories closed under kernels and extensions. We first give a characterization of KE-closed subcategories: <i>a KE-closed subcategory is a torsion-free class in a torsion-free class</i>. As an immediate application of the dual statement, we give a conceptual proof of Stanley-Wang’s result about narrow subcategories. Next, we classify the KE-closed subcategories of <span>({{,mathrm{textsf{mod}},}}R)</span> when <span>(dim R le 1)</span> and when <i>R</i> is a two-dimensional normal domain. More precisely, in the former case, we prove that KE-closed subcategories coincide with torsion-free classes in <span>({{,mathrm{textsf{mod}},}}R)</span>. Moreover, this condition implies <span>(dim R le 1)</span> when <i>R</i> is a homomorphic image of a Cohen-Macaulay ring (e.g. a finitely generated algebra over a regular ring). Thus, we give a complete answer for the title.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"19 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141522686","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-27DOI: 10.1007/s00209-024-03524-6
Albert Chau, Adam Martens
Lai (Geom Topol 25:3629–3690, 2021) used singular Ricci flows, introduced by Kleiner and Lott (Acta Math 219(1):65–134, 2017), to construct a nonnegative Ricci curvature Ricci flow g(t) emerging from an arbitrary 3D complete noncompact Riemannian manifold ((M^3, g_0)) with nonnegative Ricci curvature. We show g(t) is complete for positive times provided (g_0) satisfies a volume ratio lower bound that approaches zero at spatial infinity. Our proof combines a pseudolocality result of Lai (2021) for singular flows, together with a pseudolocality result of Hochard (Short-time existence of the Ricci flow on complete, non-collapsed 3-manifolds with Ricci curvature bounded from below, 2016. arXiv:1603.08726) and Simon and Topping (J Differ Geom 122(3):467–518, 2022) for nonsingular flows. We also show that the construction of complete nonnegative complex sectional curvature flows by Cabezas-Rivas and Wilking (J Eur Math Soc (JEMS) 17(12):3153–3194, 2015) can be adapted here to show g(t) is complete for positive times provided (g_0) is a compactly supported perturbation of a nonnegative sectional curvature metric.
Lai (Geom Topol 25:3629-3690, 2021)利用Kleiner和Lott (Acta Math 219(1):65-134, 2017)引入的奇异利玛窦流,构造了一个从任意三维完整非紧密黎曼流形((M^3, g_0)) 出现的非负利玛窦曲率利玛窦流g(t)。我们证明,只要 (g_0) 满足空间无穷大时趋近于零的体积比下限,g(t) 对于正时间就是完整的。我们的证明结合了 Lai (2021) 针对奇异流的伪位置性结果,以及 Hochard (Short-time existence of the Ricci flow on complete, non-collapsed 3-manifolds with Ricci curvature bounded from below, 2016. arXiv:1603.08726)和 Simon 与 Topping (J Differ Geom 122(3):467-518, 2022) 针对非奇异流的伪位置性结果。我们还证明,卡贝萨斯-里瓦斯和威尔金(J Eur Math Soc (JEMS) 17(12):3153-3194, 2015)对完整非负复截面曲率流的构造可以在此进行调整,以证明只要 (g_0) 是非负截面曲率度量的紧凑支撑扰动,g(t) 对于正时间就是完整的。
{"title":"Pseudolocality and completeness for nonnegative Ricci curvature limits of 3D singular Ricci flows","authors":"Albert Chau, Adam Martens","doi":"10.1007/s00209-024-03524-6","DOIUrl":"https://doi.org/10.1007/s00209-024-03524-6","url":null,"abstract":"<p>Lai (Geom Topol 25:3629–3690, 2021) used singular Ricci flows, introduced by Kleiner and Lott (Acta Math 219(1):65–134, 2017), to construct a nonnegative Ricci curvature Ricci flow <i>g</i>(<i>t</i>) emerging from an arbitrary 3D complete noncompact Riemannian manifold <span>((M^3, g_0))</span> with nonnegative Ricci curvature. We show <i>g</i>(<i>t</i>) is complete for positive times provided <span>(g_0)</span> satisfies a volume ratio lower bound that approaches zero at spatial infinity. Our proof combines a pseudolocality result of Lai (2021) for singular flows, together with a pseudolocality result of Hochard (Short-time existence of the Ricci flow on complete, non-collapsed 3-manifolds with Ricci curvature bounded from below, 2016. arXiv:1603.08726) and Simon and Topping (J Differ Geom 122(3):467–518, 2022) for nonsingular flows. We also show that the construction of complete nonnegative complex sectional curvature flows by Cabezas-Rivas and Wilking (J Eur Math Soc (JEMS) 17(12):3153–3194, 2015) can be adapted here to show <i>g</i>(<i>t</i>) is complete for positive times provided <span>(g_0)</span> is a compactly supported perturbation of a nonnegative sectional curvature metric.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"37 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141509139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-27DOI: 10.1007/s00209-024-03518-4
Jeremy R. B. Brightbill, Vanessa Miemietz
A well-known theorem of Buchweitz provides equivalences between three categories: the stable category of Gorenstein projective modules over a Gorenstein algebra, the homotopy category of acyclic complexes of projectives, and the singularity category. To adapt this result to N-complexes, one must find an appropriate candidate for the N-analogue of the stable category. We identify this “N-stable category” via the monomorphism category and prove Buchweitz’s theorem for N-complexes over a Grothendieck abelian category. We also compute the Serre functor on the N-stable category over a self-injective algebra and study the resultant fractional Calabi–Yau properties.
布赫维茨(Buchweitz)的一个著名定理提供了三个范畴之间的等价性:戈伦斯坦代数上的戈伦斯坦射影模块的稳定范畴、射影无环复数的同调范畴和奇点范畴。为了将这一结果应用于 N 复数,我们必须为稳定范畴的 N 类似范畴找到一个合适的候选范畴。我们通过单态范畴确定了这个 "N-稳定范畴",并证明了布赫维茨关于格罗内迪克阿贝尔范畴上 N-复数的定理。我们还计算了在自注入代数上的 N-稳定范畴的 Serre 函数,并研究了由此产生的分数 Calabi-Yau 属性。
{"title":"The N-stable category","authors":"Jeremy R. B. Brightbill, Vanessa Miemietz","doi":"10.1007/s00209-024-03518-4","DOIUrl":"https://doi.org/10.1007/s00209-024-03518-4","url":null,"abstract":"<p>A well-known theorem of Buchweitz provides equivalences between three categories: the stable category of Gorenstein projective modules over a Gorenstein algebra, the homotopy category of acyclic complexes of projectives, and the singularity category. To adapt this result to <i>N</i>-complexes, one must find an appropriate candidate for the <i>N</i>-analogue of the stable category. We identify this “<i>N</i>-stable category” via the monomorphism category and prove Buchweitz’s theorem for <i>N</i>-complexes over a Grothendieck abelian category. We also compute the Serre functor on the <i>N</i>-stable category over a self-injective algebra and study the resultant fractional Calabi–Yau properties.</p>","PeriodicalId":18278,"journal":{"name":"Mathematische Zeitschrift","volume":"93 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141509138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}