首页 > 最新文献

Journal of Topology最新文献

英文 中文
A characterization of heaviness in terms of relative symplectic cohomology 用相对交映同调表征重度
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2024-03-09 DOI: 10.1112/topo.12327
Cheuk Yu Mak, Yuhan Sun, Umut Varolgunes

For a compact subset K$K$ of a closed symplectic manifold (M,ω)$(M, omega)$, we prove that K$K$ is heavy if and only if its relative symplectic cohomology over the Novikov field is nonzero. As an application, we show that if two compact sets are not heavy and Poisson commuting, then their union is also not heavy. A discussion on superheaviness together with some partial results is also included.

对于封闭交映流形 ( M , ω ) $(M, omega)$ 的紧凑子集 K $K$ ,我们证明当且仅当 K $K$ 在诺维科夫场上的相对交映同调非零时,K $K$ 是重的。作为应用,我们证明了如果两个紧凑集不重且泊松换向,那么它们的联合也不重。此外,我们还讨论了超重性以及一些局部结果。
{"title":"A characterization of heaviness in terms of relative symplectic cohomology","authors":"Cheuk Yu Mak,&nbsp;Yuhan Sun,&nbsp;Umut Varolgunes","doi":"10.1112/topo.12327","DOIUrl":"https://doi.org/10.1112/topo.12327","url":null,"abstract":"<p>For a compact subset <math>\u0000 <semantics>\u0000 <mi>K</mi>\u0000 <annotation>$K$</annotation>\u0000 </semantics></math> of a closed symplectic manifold <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>M</mi>\u0000 <mo>,</mo>\u0000 <mi>ω</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(M, omega)$</annotation>\u0000 </semantics></math>, we prove that <math>\u0000 <semantics>\u0000 <mi>K</mi>\u0000 <annotation>$K$</annotation>\u0000 </semantics></math> is heavy if and only if its relative symplectic cohomology over the Novikov field is nonzero. As an application, we show that if two compact sets are not heavy and Poisson commuting, then their union is also not heavy. A discussion on superheaviness together with some partial results is also included.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"17 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12327","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140069758","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Some rational homology computations for diffeomorphisms of odd-dimensional manifolds 奇维流形差分同调的一些理性同调计算
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2024-01-31 DOI: 10.1112/topo.12324
Johannes Ebert, Jens Reinhold
<p>We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds <math> <semantics> <mrow> <msubsup> <mi>U</mi> <mrow> <mi>g</mi> <mo>,</mo> <mn>1</mn> </mrow> <mi>n</mi> </msubsup> <mo>:</mo> <mo>=</mo> <msup> <mo>#</mo> <mi>g</mi> </msup> <mrow> <mo>(</mo> <msup> <mi>S</mi> <mi>n</mi> </msup> <mo>×</mo> <msup> <mi>S</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>)</mo> </mrow> <mo>∖</mo> <mi>int</mi> <mrow> <mo>(</mo> <msup> <mi>D</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>)</mo> </mrow> </mrow> <annotation>$U_{g,1}^n:= #^g(S^n times S^{n+1})setminus mathrm{int}(D^{2n+1})$</annotation> </semantics></math>, for large <math> <semantics> <mi>g</mi> <annotation>$g$</annotation> </semantics></math> and <math> <semantics> <mi>n</mi> <annotation>$n$</annotation> </semantics></math>, up to degree <math> <semantics> <mrow> <mi>n</mi> <mo>−</mo> <mn>3</mn> </mrow> <annotation>$n-3$</annotation> </semantics></math>. The answer is that it is a free graded commutative algebra on an appropriate set of Miller–Morita–Mumford classes. Our proof goes through the classical three-step procedure: (a) compute the cohomology of the homotopy automorphisms, (b) use surgery to compare this to block diffeomorphisms, and (c) use pseudoisotopy theory and algebraic <math> <semantics> <mi>K</mi> <annotation>$K$</annotation>
我们计算流形差分群分类空间的有理同调 U g , 1 n : = # g ( S n × S n + 1 ) ∖ int ( D 2 n + 1 ) $U_{g,1}^n:= #^g(S^n times S^{n+1})setminus mathrm{int}(D^{2n+1})$,对于大g $g$和n $n$,直到度数n - 3 $n-3$。答案是,它是一个在适当的米勒-莫里塔-蒙福德类集合上的自由分级交换代数。我们的证明经历了经典的三步程序:(a) 计算同调自形体的同调;(b) 利用外科手术将其与块差形体进行比较;(c) 利用伪拟态理论和代数 K $K$ 理论得到实际的差形群。
{"title":"Some rational homology computations for diffeomorphisms of odd-dimensional manifolds","authors":"Johannes Ebert,&nbsp;Jens Reinhold","doi":"10.1112/topo.12324","DOIUrl":"https://doi.org/10.1112/topo.12324","url":null,"abstract":"&lt;p&gt;We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;msubsup&gt;\u0000 &lt;mi&gt;U&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;g&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;/msubsup&gt;\u0000 &lt;mo&gt;:&lt;/mo&gt;\u0000 &lt;mo&gt;=&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mo&gt;#&lt;/mo&gt;\u0000 &lt;mi&gt;g&lt;/mi&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;×&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;mo&gt;+&lt;/mo&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;mo&gt;∖&lt;/mo&gt;\u0000 &lt;mi&gt;int&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;D&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;mo&gt;+&lt;/mo&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$U_{g,1}^n:= #^g(S^n times S^{n+1})setminus mathrm{int}(D^{2n+1})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, for large &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;g&lt;/mi&gt;\u0000 &lt;annotation&gt;$g$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; and &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;annotation&gt;$n$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, up to degree &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;mo&gt;−&lt;/mo&gt;\u0000 &lt;mn&gt;3&lt;/mn&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$n-3$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. The answer is that it is a free graded commutative algebra on an appropriate set of Miller–Morita–Mumford classes. Our proof goes through the classical three-step procedure: (a) compute the cohomology of the homotopy automorphisms, (b) use surgery to compare this to block diffeomorphisms, and (c) use pseudoisotopy theory and algebraic &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;K&lt;/mi&gt;\u0000 &lt;annotation&gt;$K$&lt;/annotation&gt;\u0000 ","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"17 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12324","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139655252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Iteration of Cox rings of klt singularities klt 奇点考克斯环的迭代
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2024-01-31 DOI: 10.1112/topo.12321
Lukas Braun, Joaquín Moraga
<p>In this article, we study the iteration of Cox rings of klt singularities (and Fano varieties) from a topological perspective. Given a klt singularity <math> <semantics> <mrow> <mo>(</mo> <mi>X</mi> <mo>,</mo> <mi>Δ</mi> <mo>;</mo> <mi>x</mi> <mo>)</mo> </mrow> <annotation>$(X,Delta;x)$</annotation> </semantics></math>, we define the iteration of Cox rings of <math> <semantics> <mrow> <mo>(</mo> <mi>X</mi> <mo>,</mo> <mi>Δ</mi> <mo>;</mo> <mi>x</mi> <mo>)</mo> </mrow> <annotation>$(X,Delta;x)$</annotation> </semantics></math>. The first result of this article is that the iteration of Cox rings <math> <semantics> <mrow> <msup> <mi>Cox</mi> <mrow> <mo>(</mo> <mi>k</mi> <mo>)</mo> </mrow> </msup> <mrow> <mo>(</mo> <mi>X</mi> <mo>,</mo> <mi>Δ</mi> <mo>;</mo> <mi>x</mi> <mo>)</mo> </mrow> </mrow> <annotation>${rm Cox}^{(k)}(X,Delta;x)$</annotation> </semantics></math> of a klt singularity stabilizes for <math> <semantics> <mi>k</mi> <annotation>$k$</annotation> </semantics></math> large enough. The second result is a boundedness one, we prove that for an <math> <semantics> <mi>n</mi> <annotation>$n$</annotation> </semantics></math>-dimensional klt singularity <math> <semantics> <mrow> <mo>(</mo> <mi>X</mi> <mo>,</mo> <mi>Δ</mi> <mo>;</mo> <mi>x</mi> <mo>)</mo> </mrow> <annotation>$(X,Delta;x)$</annotation> </semantics></math>, the iteration of Cox rings stabilizes for <math> <semantics> <mrow> <mi>k</mi> <mo>⩾</mo> <mi>c</mi> <mo>(</mo> <mi>n</mi> <mo>)</mo> </mrow> <annotation>$kgeqslant c(n)$</annotation> </semantics></math>, where <math> <semantics> <mrow> <mi>c</mi> <mo>(</mo> <mi>n</mi>
本文从拓扑学的角度研究 klt 奇点(和法诺变种)的考克斯环的迭代。给定一个 klt 奇点 ( X , Δ ; x ) $(X,Delta;x)$ ,我们定义 ( X , Δ ; x ) $(X,Delta;x)$ 的迭代 Cox 环。本文的第一个结果是,当 k $k$ 足够大时,klt 奇点的迭代 Cox 环 Cox ( k ) ( X , Δ ; x ) ${rm Cox}^{(k)}(X,Delta;x)$ 趋于稳定。第二个结果是有界性结果,我们证明对于一个 n $n$ -dimensional klt 奇异性 ( X , Δ ; x ) $(X,Delta;x)$, Cox rings 的迭代在 k ⩾ c ( n ) $kgeqslant c(n)$ 时稳定,其中 c ( n ) $c(n)$ 只取决于 n $n$ 。然后,我们利用考克斯环来建立 klt 奇点的简单连接因子典范(或 scfc)盖的存在性,一般纤维是代数环对有限群的扩展。scfc 盖概括了通用盖和考克斯环的迭代。我们证明了 scfc 盖支配着奇点的任何准泰勒有限盖和还原性非良性准托马斯序列。我们描述了当考克斯环的迭代是光滑的和当 scfc 盖是光滑的时的特征。我们还描述了当迭代的谱与 scfc 盖重合时的特征。最后,我们给出了区域基群、考克斯环迭代和复杂度为一的 klt 奇点的 scfc 盖的完整描述。我们所有定理的类似版本也证明了法诺型变形。为了将结果扩展到这一环境,我们证明了乔丹性质在范诺型态的区域基群中成立。
{"title":"Iteration of Cox rings of klt singularities","authors":"Lukas Braun,&nbsp;Joaquín Moraga","doi":"10.1112/topo.12321","DOIUrl":"https://doi.org/10.1112/topo.12321","url":null,"abstract":"&lt;p&gt;In this article, we study the iteration of Cox rings of klt singularities (and Fano varieties) from a topological perspective. Given a klt singularity &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;X&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;Δ&lt;/mi&gt;\u0000 &lt;mo&gt;;&lt;/mo&gt;\u0000 &lt;mi&gt;x&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$(X,Delta;x)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, we define the iteration of Cox rings of &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;X&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;Δ&lt;/mi&gt;\u0000 &lt;mo&gt;;&lt;/mo&gt;\u0000 &lt;mi&gt;x&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$(X,Delta;x)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. The first result of this article is that the iteration of Cox rings &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;Cox&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;k&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;X&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;Δ&lt;/mi&gt;\u0000 &lt;mo&gt;;&lt;/mo&gt;\u0000 &lt;mi&gt;x&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;${rm Cox}^{(k)}(X,Delta;x)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; of a klt singularity stabilizes for &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;k&lt;/mi&gt;\u0000 &lt;annotation&gt;$k$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; large enough. The second result is a boundedness one, we prove that for an &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;annotation&gt;$n$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;-dimensional klt singularity &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;X&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;Δ&lt;/mi&gt;\u0000 &lt;mo&gt;;&lt;/mo&gt;\u0000 &lt;mi&gt;x&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$(X,Delta;x)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, the iteration of Cox rings stabilizes for &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;k&lt;/mi&gt;\u0000 &lt;mo&gt;⩾&lt;/mo&gt;\u0000 &lt;mi&gt;c&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$kgeqslant c(n)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, where &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;c&lt;/mi&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 ","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"17 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139655253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The second variation of the Hodge norm and higher Prym representations 霍奇规范的第二种变化和更高的普赖姆表征
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2024-01-30 DOI: 10.1112/topo.12322
Vladimir Marković, Ognjen Tošić
<p>Let <math> <semantics> <mrow> <mi>χ</mi> <mo>∈</mo> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo>(</mo> <msub> <mi>Σ</mi> <mi>h</mi> </msub> <mo>,</mo> <mi>Q</mi> <mo>)</mo> </mrow> </mrow> <annotation>$chi in H^1(Sigma _h,mathbb {Q})$</annotation> </semantics></math> denote a rational cohomology class, and let <math> <semantics> <msub> <mo>H</mo> <mi>χ</mi> </msub> <annotation>$operatorname{H}_chi$</annotation> </semantics></math> denote its Hodge norm. We recover the result that <math> <semantics> <msub> <mo>H</mo> <mi>χ</mi> </msub> <annotation>$operatorname{H}_chi$</annotation> </semantics></math> is a plurisubharmonic function on the Teichmüller space <math> <semantics> <msub> <mi>T</mi> <mi>h</mi> </msub> <annotation>${mathcal {T}}_h$</annotation> </semantics></math>, and characterize complex directions along which the complex Hessian of <math> <semantics> <msub> <mo>H</mo> <mi>χ</mi> </msub> <annotation>$operatorname{H}_chi$</annotation> </semantics></math> vanishes. Moreover, we find examples of <math> <semantics> <mrow> <mi>χ</mi> <mo>∈</mo> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo>(</mo> <msub> <mi>Σ</mi> <mi>h</mi> </msub> <mo>,</mo> <mi>Q</mi> <mo>)</mo> </mrow> </mrow> <annotation>$chi in H^1(Sigma _{h},mathbb {Q})$</annotation> </semantics></math> such that <math> <semantics> <msub> <mo>H</mo> <mi>χ</mi> </msub> <annotation>$operatorname{H}_chi$</annotation> </semantics></math> is not strictly plurisubharmonic. As part of this construction, we find an unbranched covering <math> <semantics> <mrow> <mi>π</mi> <mo>:</mo> <msub> <mi>Σ</mi
让 χ∈ H 1 ( Σ h , Q ) $chiin H^1(Sigma _h,mathbb{Q})$表示一个有理同调类,让 H χ $operatorname{H}_chi$ 表示它的霍奇规范。我们恢复了 H χ $operatorname{H}_chi$ 是泰赫米勒空间 T h ${mathcal {T}}_h$ 上的复次谐函数这一结果,并描述了 H χ $operatorname{H}_chi$ 的复 Hessian 沿其消失的复方向的特征。此外,我们在 H^1(Sigma _{h},mathbb {Q})$中找到了 χ ∈ H 1 ( Σ h , Q ) $chi in H^1(Sigma _{h},mathbb {Q})$的例子,这样 H χ $operatorname{H}_chi$ 就不是严格的全次谐波。作为这个构造的一部分,我们找到了一个无分支覆盖 π : Σ h → Σ 2 $pi:Sigma _{h}rightarrow Sigma _2$,使得 H 1 ( Σ h , Q ) $H_1(Sigma _{h},mathbb {Q})$ 由来自 Σ 2 $Sigma _2$的简单曲线的提升所产生的子群严格包含在 H 1 ( Σ h , Q ) $H_1(Sigma _{h},mathbb {Q})$ 中。最后,结合特征定理、黎曼-罗赫(Riemann-Roch)和李-尤(Li-Yau)[发明数学 69 (1982),第 2 期,269-291] 单调性估计,我们证明了 Σ g $Sigma _g$ 的几何均匀盖满足普特曼-维兰德猜想(Putman-Wieland Conjecture about the induced Higher Prym representations)。
{"title":"The second variation of the Hodge norm and higher Prym representations","authors":"Vladimir Marković,&nbsp;Ognjen Tošić","doi":"10.1112/topo.12322","DOIUrl":"https://doi.org/10.1112/topo.12322","url":null,"abstract":"&lt;p&gt;Let &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;χ&lt;/mi&gt;\u0000 &lt;mo&gt;∈&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;H&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;Σ&lt;/mi&gt;\u0000 &lt;mi&gt;h&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;Q&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$chi in H^1(Sigma _h,mathbb {Q})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; denote a rational cohomology class, and let &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msub&gt;\u0000 &lt;mo&gt;H&lt;/mo&gt;\u0000 &lt;mi&gt;χ&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;annotation&gt;$operatorname{H}_chi$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; denote its Hodge norm. We recover the result that &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msub&gt;\u0000 &lt;mo&gt;H&lt;/mo&gt;\u0000 &lt;mi&gt;χ&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;annotation&gt;$operatorname{H}_chi$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is a plurisubharmonic function on the Teichmüller space &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;T&lt;/mi&gt;\u0000 &lt;mi&gt;h&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;annotation&gt;${mathcal {T}}_h$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, and characterize complex directions along which the complex Hessian of &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msub&gt;\u0000 &lt;mo&gt;H&lt;/mo&gt;\u0000 &lt;mi&gt;χ&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;annotation&gt;$operatorname{H}_chi$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; vanishes. Moreover, we find examples of &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;χ&lt;/mi&gt;\u0000 &lt;mo&gt;∈&lt;/mo&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;H&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;Σ&lt;/mi&gt;\u0000 &lt;mi&gt;h&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;Q&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$chi in H^1(Sigma _{h},mathbb {Q})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; such that &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msub&gt;\u0000 &lt;mo&gt;H&lt;/mo&gt;\u0000 &lt;mi&gt;χ&lt;/mi&gt;\u0000 &lt;/msub&gt;\u0000 &lt;annotation&gt;$operatorname{H}_chi$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is not strictly plurisubharmonic. As part of this construction, we find an unbranched covering &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;π&lt;/mi&gt;\u0000 &lt;mo&gt;:&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;Σ&lt;/mi","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"17 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139655308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Almost strict domination and anti-de Sitter 3-manifolds 几乎严格的支配与反德西特3-漫游
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2024-01-30 DOI: 10.1112/topo.12323
Nathaniel Sagman
<p>We define a condition called almost strict domination for pairs of representations <math> <semantics> <mrow> <msub> <mi>ρ</mi> <mn>1</mn> </msub> <mo>:</mo> <msub> <mi>π</mi> <mn>1</mn> </msub> <mrow> <mo>(</mo> <msub> <mi>S</mi> <mrow> <mi>g</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo>)</mo> </mrow> <mo>→</mo> <mi>PSL</mi> <mrow> <mo>(</mo> <mn>2</mn> <mo>,</mo> <mi>R</mi> <mo>)</mo> </mrow> </mrow> <annotation>$rho _1:pi _1(S_{g,n})rightarrow textrm {PSL}(2,mathbb {R})$</annotation> </semantics></math>, <math> <semantics> <mrow> <msub> <mi>ρ</mi> <mn>2</mn> </msub> <mo>:</mo> <msub> <mi>π</mi> <mn>1</mn> </msub> <mrow> <mo>(</mo> <msub> <mi>S</mi> <mrow> <mi>g</mi> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo>)</mo> </mrow> <mo>→</mo> <mi>G</mi> </mrow> <annotation>$rho _2:pi _1(S_{g,n})rightarrow G$</annotation> </semantics></math>, where <math> <semantics> <mi>G</mi> <annotation>$G$</annotation> </semantics></math> is the isometry group of a Hadamard manifold, and prove that it holds if and only if one can find a <math> <semantics> <mrow> <mo>(</mo> <msub> <mi>ρ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>ρ</mi> <mn>2</mn> </msub> <mo>)</mo> </mrow> <annotation>$(rho _1,rho _2)$</annotation> </semantics></math>-equivariant spacelike maximal surface in a certain pseudo-Riemannian manifold, unique up to fixing some parameters. The proof amounts to setting up and solving an interesting variati
我们为ρ 1 : π 1 ( S g , n ) → PSL ( 2 , R ) $rho _1:pi _1(S_{g,n})rightarrow textrm {PSL}(2,n) → PSL ( 2 , R ) $rho _1:pi _1(S_{g,n})rightarrow textrm {PSL}(2,mathbb {R})$ , ρ 2 : π 1 ( S g , n ) → G $rho _2:pi _1(S_{g,n})rightarrow G$ ,其中 G $G$ 是哈达玛流形的等距群,并证明当且仅当我们能在某个伪黎曼流形中找到一个 ( ρ 1 , ρ 2 ) $(rho _1,rho _2)$ 的等距最大曲面时,它才成立,而且在固定某些参数之前是唯一的。这个证明相当于建立并解决了一个涉及无限能量谐波映射的有趣的变分问题。根据索洛赞(Tholozan)的构造,我们构建了所有此类表示,并对变形空间进行了参数化。当 G = PSL ( 2 , R ) $G=textrm{PSL}(2,mathbb{R})$时,几乎严格的支配对等价于具有特定性质的反德西特 3-manifold的数据。关于最大曲面的结果提供了这样的 3-manifolds变形空间的参数,即 PSL ( 2 , R ) × PSL ( 2 , R ) $textrm {PSL}(2,mathbb {R})times textrm {PSL}(2,mathbb {R})$ 相对表象多样性中的分量的联合。
{"title":"Almost strict domination and anti-de Sitter 3-manifolds","authors":"Nathaniel Sagman","doi":"10.1112/topo.12323","DOIUrl":"https://doi.org/10.1112/topo.12323","url":null,"abstract":"&lt;p&gt;We define a condition called almost strict domination for pairs of representations &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;ρ&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;:&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;π&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;g&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;mo&gt;→&lt;/mo&gt;\u0000 &lt;mi&gt;PSL&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;R&lt;/mi&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$rho _1:pi _1(S_{g,n})rightarrow textrm {PSL}(2,mathbb {R})$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;ρ&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;:&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;π&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mi&gt;g&lt;/mi&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;mo&gt;→&lt;/mo&gt;\u0000 &lt;mi&gt;G&lt;/mi&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$rho _2:pi _1(S_{g,n})rightarrow G$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;, where &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;G&lt;/mi&gt;\u0000 &lt;annotation&gt;$G$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; is the isometry group of a Hadamard manifold, and prove that it holds if and only if one can find a &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;(&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;ρ&lt;/mi&gt;\u0000 &lt;mn&gt;1&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;,&lt;/mo&gt;\u0000 &lt;msub&gt;\u0000 &lt;mi&gt;ρ&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msub&gt;\u0000 &lt;mo&gt;)&lt;/mo&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$(rho _1,rho _2)$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;-equivariant spacelike maximal surface in a certain pseudo-Riemannian manifold, unique up to fixing some parameters. The proof amounts to setting up and solving an interesting variati","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"17 1","pages":""},"PeriodicalIF":1.1,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139655309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Algebraic theories of power operations 幂运算的代数理论
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2023-12-05 DOI: 10.1112/topo.12318
William Balderrama

We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for E$mathbb {E}_infty$ ring spectra. In particular, we consider Quillen cohomology in the context of algebras over algebraic theories, plethories, and Koszul resolutions for algebras over additive theories. By combining this general algebra with obstruction-theoretic machinery, we obtain tools for computing with E$mathbb {E}_infty$ algebras over Fp$mathbb {F}_p$ and over Lubin–Tate spectra. As an application, we demonstrate the existence of E$mathbb {E}_infty$ periodic complex orientations at heights h2$hleqslant 2$.

我们开发并展示了一些一般代数,用于处理稳定同伦理论中出现的某些代数结构,例如编码E∞$mathbb {E}_infty$环谱的幂运算的良好理论。特别地,我们考虑了代数在代数理论上的Quillen上同调,完备论,以及代数在加性理论上的Koszul决议。通过将这种一般代数与阻碍理论机制相结合,我们获得了F p $mathbb {F}_p$和Lubin-Tate谱上的E∞$mathbb {E}_infty$代数的计算工具。作为应用,我们证明了在高度h≥2 $hleqslant 2$处E∞$mathbb {E}_infty$周期复取向的存在性。
{"title":"Algebraic theories of power operations","authors":"William Balderrama","doi":"10.1112/topo.12318","DOIUrl":"https://doi.org/10.1112/topo.12318","url":null,"abstract":"<p>We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>E</mi>\u0000 <mi>∞</mi>\u0000 </msub>\u0000 <annotation>$mathbb {E}_infty$</annotation>\u0000 </semantics></math> ring spectra. In particular, we consider Quillen cohomology in the context of algebras over algebraic theories, plethories, and Koszul resolutions for algebras over additive theories. By combining this general algebra with obstruction-theoretic machinery, we obtain tools for computing with <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>E</mi>\u0000 <mi>∞</mi>\u0000 </msub>\u0000 <annotation>$mathbb {E}_infty$</annotation>\u0000 </semantics></math> algebras over <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>F</mi>\u0000 <mi>p</mi>\u0000 </msub>\u0000 <annotation>$mathbb {F}_p$</annotation>\u0000 </semantics></math> and over Lubin–Tate spectra. As an application, we demonstrate the existence of <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>E</mi>\u0000 <mi>∞</mi>\u0000 </msub>\u0000 <annotation>$mathbb {E}_infty$</annotation>\u0000 </semantics></math> periodic complex orientations at heights <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>h</mi>\u0000 <mo>⩽</mo>\u0000 <mn>2</mn>\u0000 </mrow>\u0000 <annotation>$hleqslant 2$</annotation>\u0000 </semantics></math>.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 4","pages":"1543-1640"},"PeriodicalIF":1.1,"publicationDate":"2023-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12318","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138485142","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Trace embeddings from zero surgery homeomorphisms 从零手术同胚跟踪嵌入
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2023-12-05 DOI: 10.1112/topo.12319
Kai Nakamura
<p>Manolescu and Piccirillo (2023) recently initiated a program to construct an exotic <math> <semantics> <msup> <mi>S</mi> <mn>4</mn> </msup> <annotation>$S^4$</annotation> </semantics></math> or <math> <semantics> <mrow> <mo>#</mo> <mi>n</mi> <msup> <mi>CP</mi> <mn>2</mn> </msup> </mrow> <annotation>$# n mathbb {CP}^2$</annotation> </semantics></math> by using zero surgery homeomorphisms and Rasmussen's <math> <semantics> <mi>s</mi> <annotation>$s$</annotation> </semantics></math>-invariant. They find five knots that if any were slice, one could construct an exotic <math> <semantics> <msup> <mi>S</mi> <mn>4</mn> </msup> <annotation>$S^4$</annotation> </semantics></math> and disprove the Smooth 4-dimensional Poincaré conjecture. We rule out this exciting possibility and show that these knots are not slice. To do this, we use a zero surgery homeomorphism to relate slice properties of two knots <i>stably</i> after a connected sum with some 4-manifold. Furthermore, we show that our techniques will extend to the entire infinite family of zero surgery homeomorphisms constructed by Manolescu and Piccirillo. However, our methods do not completely rule out the possibility of constructing an exotic <math> <semantics> <msup> <mi>S</mi> <mn>4</mn> </msup> <annotation>$S^4$</annotation> </semantics></math> or <math> <semantics> <mrow> <mo>#</mo> <mi>n</mi> <msup> <mi>CP</mi> <mn>2</mn> </msup> </mrow> <annotation>$# n mathbb {CP}^2$</annotation> </semantics></math> as Manolescu and Piccirillo proposed. We explain the limits of these methods hoping this will inform and invite new attempts to construct an exotic <math> <semantics> <msup> <mi>S</mi> <mn>4</mn> </msup> <annotation>$S^4$</annotation> </semantics></math> or <math> <semantics> <mrow> <mo>#</mo> <mi>n</mi> <msup> <mi>CP</mi> <mn>2</mn> </msup> </mrow> <annotation>$# n mathbb {CP}^2$</annotation> </semantics></math>. We also show that a family of homotopy spheres constructed by Manolescu and Picc
Manolescu和Piccirillo(2023)最近发起了一个程序,利用零手术同胚和Rasmussen S构造一个奇异的S $S^4$或# n CP 2$ # n mathbb {CP}^2$$ s $ - 不变的。他们发现了5个节,如果其中任何一个是片状的,就可以构造一个奇异的S^4,从而推翻平滑四维庞卡罗猜想。我们排除了这种令人兴奋的可能性,并证明这些结不是切片的。为了做到这一点,我们使用零手术同胚来稳定地联系两个结点与某个4流形的连通和后的切片性质。此外,我们证明我们的技术将扩展到由Manolescu和Piccirillo构造的整个零手术同胚的无限族。然而,我们的方法并没有完全排除像Manolescu和Piccirillo提出的那样构造一个奇异的S 4$ S^4$或# n CP 2$ # n mathbb {CP}^2$的可能性。我们解释了这些方法的局限性,希望这将告知并邀请新的尝试来构造一个奇异的s4 $S^4$或# n CP 2$ # n mathbb {CP}^2$。我们还证明了Manolescu和Piccirillo用带结的环扭构造的同伦球族都是标准的。
{"title":"Trace embeddings from zero surgery homeomorphisms","authors":"Kai Nakamura","doi":"10.1112/topo.12319","DOIUrl":"https://doi.org/10.1112/topo.12319","url":null,"abstract":"&lt;p&gt;Manolescu and Piccirillo (2023) recently initiated a program to construct an exotic &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mn&gt;4&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$S^4$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; or &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;#&lt;/mo&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;CP&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$# n mathbb {CP}^2$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; by using zero surgery homeomorphisms and Rasmussen's &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mi&gt;s&lt;/mi&gt;\u0000 &lt;annotation&gt;$s$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;-invariant. They find five knots that if any were slice, one could construct an exotic &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mn&gt;4&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$S^4$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; and disprove the Smooth 4-dimensional Poincaré conjecture. We rule out this exciting possibility and show that these knots are not slice. To do this, we use a zero surgery homeomorphism to relate slice properties of two knots &lt;i&gt;stably&lt;/i&gt; after a connected sum with some 4-manifold. Furthermore, we show that our techniques will extend to the entire infinite family of zero surgery homeomorphisms constructed by Manolescu and Piccirillo. However, our methods do not completely rule out the possibility of constructing an exotic &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mn&gt;4&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$S^4$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; or &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;#&lt;/mo&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;CP&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$# n mathbb {CP}^2$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; as Manolescu and Piccirillo proposed. We explain the limits of these methods hoping this will inform and invite new attempts to construct an exotic &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;S&lt;/mi&gt;\u0000 &lt;mn&gt;4&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;annotation&gt;$S^4$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt; or &lt;math&gt;\u0000 &lt;semantics&gt;\u0000 &lt;mrow&gt;\u0000 &lt;mo&gt;#&lt;/mo&gt;\u0000 &lt;mi&gt;n&lt;/mi&gt;\u0000 &lt;msup&gt;\u0000 &lt;mi&gt;CP&lt;/mi&gt;\u0000 &lt;mn&gt;2&lt;/mn&gt;\u0000 &lt;/msup&gt;\u0000 &lt;/mrow&gt;\u0000 &lt;annotation&gt;$# n mathbb {CP}^2$&lt;/annotation&gt;\u0000 &lt;/semantics&gt;&lt;/math&gt;. We also show that a family of homotopy spheres constructed by Manolescu and Picc","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 4","pages":"1641-1664"},"PeriodicalIF":1.1,"publicationDate":"2023-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138485143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Asymptotic and Assouad–Nagata dimension of finitely generated groups and their subgroups 有限生成群及其子群的渐近维数和副长维数
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2023-12-03 DOI: 10.1112/topo.12314
Levi Sledd

We prove that for all k,m,nN{}$k,m,n in mathbb {N} cup lbrace infty rbrace$ with 4kmn$4 leqslant k leqslant m leqslant n$, there exists a finitely generated group G$G$ with a finitely generated subgroup H$H$ such that asdim(G)=k$operatorname{asdim}(G) = k$, asdimAN(G)=m$operatorname{asdim}_{textnormal {AN}}(G) = m$, and asdimAN(H)=n$operatorname{asdim}_{textnormal {AN}}(H)=n$. This simultaneously answers two open questions in asymptotic dimension theory.

我们向所有k m证明,n ∈ N ∪ { ∞ } $ k, m, n在杯赛mathbb {n} lbrace infty rbrace $ 一起散步 4 ⩽ k ⩽ m ⩽ n $ 4 leqslant k leqslant m leqslant n $ ,在一个有限的G美元集团中存在着一个有限的G美元子集团H美元H这样的asdim (G)asdim AN (G)和asdim AN (H)这实际上是两个在异步维度问题的答案。
{"title":"Asymptotic and Assouad–Nagata dimension of finitely generated groups and their subgroups","authors":"Levi Sledd","doi":"10.1112/topo.12314","DOIUrl":"https://doi.org/10.1112/topo.12314","url":null,"abstract":"<p>We prove that for all <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>k</mi>\u0000 <mo>,</mo>\u0000 <mi>m</mi>\u0000 <mo>,</mo>\u0000 <mi>n</mi>\u0000 <mo>∈</mo>\u0000 <mi>N</mi>\u0000 <mo>∪</mo>\u0000 <mo>{</mo>\u0000 <mi>∞</mi>\u0000 <mo>}</mo>\u0000 </mrow>\u0000 <annotation>$k,m,n in mathbb {N} cup lbrace infty rbrace$</annotation>\u0000 </semantics></math> with <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mn>4</mn>\u0000 <mo>⩽</mo>\u0000 <mi>k</mi>\u0000 <mo>⩽</mo>\u0000 <mi>m</mi>\u0000 <mo>⩽</mo>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 <annotation>$4 leqslant k leqslant m leqslant n$</annotation>\u0000 </semantics></math>, there exists a finitely generated group <math>\u0000 <semantics>\u0000 <mi>G</mi>\u0000 <annotation>$G$</annotation>\u0000 </semantics></math> with a finitely generated subgroup <math>\u0000 <semantics>\u0000 <mi>H</mi>\u0000 <annotation>$H$</annotation>\u0000 </semantics></math> such that <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>asdim</mo>\u0000 <mo>(</mo>\u0000 <mi>G</mi>\u0000 <mo>)</mo>\u0000 <mo>=</mo>\u0000 <mi>k</mi>\u0000 </mrow>\u0000 <annotation>$operatorname{asdim}(G) = k$</annotation>\u0000 </semantics></math>, <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mo>asdim</mo>\u0000 <mrow>\u0000 <mi>A</mi>\u0000 <mi>N</mi>\u0000 </mrow>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>G</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <mi>m</mi>\u0000 </mrow>\u0000 <annotation>$operatorname{asdim}_{textnormal {AN}}(G) = m$</annotation>\u0000 </semantics></math>, and <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mo>asdim</mo>\u0000 <mrow>\u0000 <mi>A</mi>\u0000 <mi>N</mi>\u0000 </mrow>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>H</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <mi>n</mi>\u0000 </mrow>\u0000 <annotation>$operatorname{asdim}_{textnormal {AN}}(H)=n$</annotation>\u0000 </semantics></math>. This simultaneously answers two open questions in asymptotic dimension theory.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 4","pages":"1509-1542"},"PeriodicalIF":1.1,"publicationDate":"2023-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138480904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A lower bound in the problem of realization of cycles 圆的实现问题的下界
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2023-11-28 DOI: 10.1112/topo.12320
Vasilii Rozhdestvenskii

We consider the classical Steenrod problem on realization of integral homology classes by continuous images of smooth oriented manifolds. Let k(n)$k(n)$ be the smallest positive integer such that any integral n$n$-dimensional homology class becomes realizable in the sense of Steenrod after multiplication by k(n)$k(n)$. The best known upper bound for k(n)$k(n)$ was obtained independently by Brumfiel and Buchstaber in 1969. All known lower bounds for k(n)$k(n)$ were very far from this upper bound. The main result of this paper is a new lower bound for k(n)$k(n)$ that is asymptotically equivalent to the Brumfiel–Buchstaber upper bound (in the logarithmic scale). For n<24$n<24$, we prove that our lower bound is exact. Also, we obtain analogous results for the case of realization of integral homology classes by continuous images of smooth stably complex manifolds.

研究光滑定向流形连续像实现整同调类的经典Steenrod问题。设k(n)$ k(n)$是最小的正整数,使得任何积分n$ n$维的同调类在乘以k(n)后都可以在Steenrod意义上实现$ k (n )$ .k(n)$ k(n)$的上界是由brunfield和Buchstaber在1969年独立得到的。所有已知的k(n)$ k(n)$的下界都离这个上界很远。本文的主要结果是k(n)$ k(n)$的一个新的下界,它渐近地等价于brumfield - buchstaber上界(在对数尺度上)。对于n <24$ n<24$,我们证明下界是精确的。在光滑稳定复流形的连续像实现整同调类的情况下,也得到了类似的结果。
{"title":"A lower bound in the problem of realization of cycles","authors":"Vasilii Rozhdestvenskii","doi":"10.1112/topo.12320","DOIUrl":"https://doi.org/10.1112/topo.12320","url":null,"abstract":"<p>We consider the classical Steenrod problem on realization of integral homology classes by continuous images of smooth oriented manifolds. Let <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>k</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$k(n)$</annotation>\u0000 </semantics></math> be the smallest positive integer such that any integral <math>\u0000 <semantics>\u0000 <mi>n</mi>\u0000 <annotation>$n$</annotation>\u0000 </semantics></math>-dimensional homology class becomes realizable in the sense of Steenrod after multiplication by <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>k</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$k(n)$</annotation>\u0000 </semantics></math>. The best known upper bound for <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>k</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$k(n)$</annotation>\u0000 </semantics></math> was obtained independently by Brumfiel and Buchstaber in 1969. All known lower bounds for <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>k</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$k(n)$</annotation>\u0000 </semantics></math> were very far from this upper bound. The main result of this paper is a new lower bound for <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>k</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$k(n)$</annotation>\u0000 </semantics></math> that is asymptotically equivalent to the Brumfiel–Buchstaber upper bound (in the logarithmic scale). For <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>&lt;</mo>\u0000 <mn>24</mn>\u0000 </mrow>\u0000 <annotation>$n&lt;24$</annotation>\u0000 </semantics></math>, we prove that our lower bound is exact. Also, we obtain analogous results for the case of realization of integral homology classes by continuous images of smooth stably complex manifolds.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 4","pages":"1475-1508"},"PeriodicalIF":1.1,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138454698","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Elliptic bihamiltonian structures from relative shifted Poisson structures 相对位移泊松结构的椭圆型双哈密顿结构
IF 1.1 2区 数学 Q2 MATHEMATICS Pub Date : 2023-11-22 DOI: 10.1112/topo.12315
Zheng Hua, Alexander Polishchuk

In this paper, generalizing our previous construction, we equip the relative moduli stack of complexes over a Calabi–Yau fibration (possibly with singular fibers) with a shifted Poisson structure. Applying this construction to the anticanonical linear systems on surfaces, we get examples of compatible Poisson brackets on projective spaces extending Feigin–Odesskii Poisson brackets. Computing explicitly the corresponding compatible brackets coming from Hirzebruch surfaces, we recover the brackets defined by Odesskii–Wolf.

在本文中,推广我们之前的构造,我们在Calabi-Yau纤维(可能有奇异纤维)上配置了移位泊松结构的配合物的相对模堆栈。将此构造应用于曲面上的反正则线性系统,得到了投影空间上由Feigin-Odesskii泊松括号扩展而来的相容泊松括号的例子。通过显式计算来自Hirzebruch曲面的相应兼容括号,我们恢复了Odesskii-Wolf定义的括号。
{"title":"Elliptic bihamiltonian structures from relative shifted Poisson structures","authors":"Zheng Hua,&nbsp;Alexander Polishchuk","doi":"10.1112/topo.12315","DOIUrl":"https://doi.org/10.1112/topo.12315","url":null,"abstract":"<p>In this paper, generalizing our previous construction, we equip the relative moduli stack of complexes over a Calabi–Yau fibration (possibly with singular fibers) with a shifted Poisson structure. Applying this construction to the anticanonical linear systems on surfaces, we get examples of compatible Poisson brackets on projective spaces extending Feigin–Odesskii Poisson brackets. Computing explicitly the corresponding compatible brackets coming from Hirzebruch surfaces, we recover the brackets defined by Odesskii–Wolf.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 4","pages":"1389-1422"},"PeriodicalIF":1.1,"publicationDate":"2023-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138431991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
期刊
Journal of Topology
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1