首页 > 最新文献

Forum of Mathematics Sigma最新文献

英文 中文
Relative rank and regularization 相对等级和正则化
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-03-06 DOI: 10.1017/fms.2024.15
Amichai Lampert, Tamar Ziegler
<p>We introduce a new concept of rank – <span>relative rank</span> associated to a filtered collection of polynomials. When the filtration is trivial, our relative rank coincides with <span>Schmidt rank</span> (also called <span>strength</span>). We also introduce the notion of <span>relative bias</span>. The main result of the paper is a relation between these two quantities over finite fields (as a special case, we obtain a new proof of the results in [21]). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is of high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is <span>polynomial</span> in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry, and algebra. For example, we prove that any collection of polynomials <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline1.png"><span data-mathjax-type="texmath"><span>$mathcal P=(P_i)_{i=1}^c$</span></span></img></span></span> of degrees <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline2.png"><span data-mathjax-type="texmath"><span>$le d$</span></span></img></span></span> in a polynomial ring over an algebraically closed field of characteristic <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline3.png"><span data-mathjax-type="texmath"><span>$>d$</span></span></img></span></span> is contained in an ideal <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline4.png"><span data-mathjax-type="texmath"><span>$mathcal I({mathcal Q})$</span></span></img></span></span>, generated by a collection <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline5.png"><span data-mathjax-type="texmath"><span>${mathcal Q}$</span></span></img></span></span> of polynomials of degrees <span><span><img data-mimesubtype="png" data-type="" src="https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline6.png"><span data-mathjax-type="texmath"><span>$le d$</spa
我们引入了一个新的秩概念--与多项式滤波集合相关的相对秩。当过滤是微不足道时,我们的相对秩与施密特秩(也称为强度)重合。我们还引入了相对偏置的概念。本文的主要结果是有限域上这两个量之间的关系(作为特例,我们获得了 [21] 中结果的新证明)。通过这一关系,我们可以精确估计由高相对秩的多项式集合给出的仿射集合上的点数(定理 3.2)。相对秩的主要优势在于,它允许我们执行一个有效的正则化过程,而这个过程是初始多项式数量的多项式(施密特秩的正则化过程远不如塔指数)。在组合学、代数几何和代数学的许多关键应用中,主要结果允许我们用相对秩代替施密特秩。例如,我们证明在特征为 $>;d$ 包含在一个理想$mathcal I({mathcal Q})$中,这个理想是由一个度数为$le d$的多项式集合${mathcal Q}$产生的,这些多项式组成了一个规则序列,并且${mathcal Q}$的大小为$le A c^{A}$,其中$A=A(d)$与变量的个数无关。
{"title":"Relative rank and regularization","authors":"Amichai Lampert, Tamar Ziegler","doi":"10.1017/fms.2024.15","DOIUrl":"https://doi.org/10.1017/fms.2024.15","url":null,"abstract":"&lt;p&gt;We introduce a new concept of rank – &lt;span&gt;relative rank&lt;/span&gt; associated to a filtered collection of polynomials. When the filtration is trivial, our relative rank coincides with &lt;span&gt;Schmidt rank&lt;/span&gt; (also called &lt;span&gt;strength&lt;/span&gt;). We also introduce the notion of &lt;span&gt;relative bias&lt;/span&gt;. The main result of the paper is a relation between these two quantities over finite fields (as a special case, we obtain a new proof of the results in [21]). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is of high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is &lt;span&gt;polynomial&lt;/span&gt; in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry, and algebra. For example, we prove that any collection of polynomials &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline1.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$mathcal P=(P_i)_{i=1}^c$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; of degrees &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline2.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$le d$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; in a polynomial ring over an algebraically closed field of characteristic &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline3.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$&gt;d$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; is contained in an ideal &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline4.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$mathcal I({mathcal Q})$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, generated by a collection &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline5.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;${mathcal Q}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; of polynomials of degrees &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240305102827475-0522:S205050942400015X:S205050942400015X_inline6.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$le d$&lt;/spa","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"2 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140045999","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
Nef cones of fiber products and an application to the cone conjecture 纤维制品的内锥及内锥猜想的应用
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-03-05 DOI: 10.1017/fms.2024.22
Cécile Gachet, Hsueh-Yung Lin, Long Wang

We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their Néron–Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties, which are the higher-dimensional analogues of the Calabi–Yau threefolds constructed by Schoen. Schoen varieties give rise to Calabi–Yau pairs, and in each dimension at least three, there exist Schoen varieties with nonpolyhedral nef cone. We prove the Kawamata–Morrison–Totaro cone conjecture for the nef cones of Schoen varieties, which generalizes the work by Grassi and Morrison.

我们证明了曲线上光滑纤维乘积内锥的分解定理,其必要条件是它们的内龙-塞维里(Néron-Severi)空间分解。我们应用它来描述所谓的 Schoen varieties 的 nef cone,Schoen varieties 是 Schoen 构造的 Calabi-Yau 三折的高维类似物。Schoen 变体产生 Calabi-Yau 对,并且在每个维度(至少三维)上都存在非多面体 nef 锥的 Schoen 变体。我们证明了关于 Schoen 变体 nef 锥的 Kawamata-Morrison-Totaro 锥猜想,它推广了 Grassi 和 Morrison 的工作。
{"title":"Nef cones of fiber products and an application to the cone conjecture","authors":"Cécile Gachet, Hsueh-Yung Lin, Long Wang","doi":"10.1017/fms.2024.22","DOIUrl":"https://doi.org/10.1017/fms.2024.22","url":null,"abstract":"<p>We prove a decomposition theorem for the nef cone of smooth fiber products over curves, subject to the necessary condition that their Néron–Severi space decomposes. We apply it to describe the nef cone of so-called Schoen varieties, which are the higher-dimensional analogues of the Calabi–Yau threefolds constructed by Schoen. Schoen varieties give rise to Calabi–Yau pairs, and in each dimension at least three, there exist Schoen varieties with nonpolyhedral nef cone. We prove the Kawamata–Morrison–Totaro cone conjecture for the nef cones of Schoen varieties, which generalizes the work by Grassi and Morrison.</p>","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"152 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140034360","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
Dirac geometry II: coherent cohomology 狄拉克几何 II:相干同调
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-27 DOI: 10.1017/fms.2024.2
Lars Hesselholt, Piotr Pstrągowski
Dirac rings are commutative algebras in the symmetric monoidal category of $mathbb {Z}$ -graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger $infty $ -category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to $operatorname {MU}$ and $mathbb {F}_p$ in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves.
狄拉克环是$mathbb {Z}$ 等级无性群的对称单项式范畴中的交换代数,其对称同构中带有科斯祖符号。在本文的前传中,我们发展了狄拉克环的交换代数,并定义了狄拉克方案范畴。在这里,我们将这一范畴嵌入到更大的狄拉克栈(也包含形式狄拉克方案)的$infty $范畴中,并发展了狄拉克栈的相干同调。我们将一般理论应用于稳定同调理论,并使用奎伦关于复共线性的定理和米尔诺关于对偶斯泰恩德代数的定理,根据点的函数来识别与 $operatorname {MU}$ 和 $mathbb {F}_p$ 相对应的狄拉克栈。最后,我们在附录中发展了可访问预波的基本理论。
{"title":"Dirac geometry II: coherent cohomology","authors":"Lars Hesselholt, Piotr Pstrągowski","doi":"10.1017/fms.2024.2","DOIUrl":"https://doi.org/10.1017/fms.2024.2","url":null,"abstract":"Dirac rings are commutative algebras in the symmetric monoidal category of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000021_inline1.png\" /> <jats:tex-math> $mathbb {Z}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>-graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000021_inline2.png\" /> <jats:tex-math> $infty $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>-category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000021_inline3.png\" /> <jats:tex-math> $operatorname {MU}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000021_inline4.png\" /> <jats:tex-math> $mathbb {F}_p$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves.","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"127 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140005183","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
On the lack of compactness in the axisymmetric neo-Hookean model 论轴对称新胡克模型缺乏紧凑性
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-26 DOI: 10.1017/fms.2024.9
Marco Barchiesi, Duvan Henao, Carlos Mora-Corral, Rémy Rodiac

We provide a fine description of the weak limit of sequences of regular axisymmetric maps with equibounded neo-Hookean energy, under the assumption that they have finite surface energy. We prove that these weak limits have a dipole structure, showing that the singular map described by Conti and De Lellis is generic in some sense. On this map, we provide the explicit relaxation of the neo-Hookean energy. We also make a link with Cartesian currents showing that the candidate for the relaxation we obtained presents strong similarities with the relaxed energy in the context of $mathbb {S}^2$-valued harmonic maps.

在假设具有有限表面能的前提下,我们对具有等界新胡克能的正则轴对称映射序列的弱极限进行了精细描述。我们证明了这些弱极限具有偶极结构,表明孔蒂和德莱利斯描述的奇异映射在某种意义上是通用的。在这个映射上,我们提供了新胡肯能量的明确松弛。我们还将其与笛卡尔电流联系起来,表明我们得到的松弛候选值与 $mathbb {S}^2$ 值谐波映射背景下的松弛能量具有很强的相似性。
{"title":"On the lack of compactness in the axisymmetric neo-Hookean model","authors":"Marco Barchiesi, Duvan Henao, Carlos Mora-Corral, Rémy Rodiac","doi":"10.1017/fms.2024.9","DOIUrl":"https://doi.org/10.1017/fms.2024.9","url":null,"abstract":"<p>We provide a fine description of the weak limit of sequences of regular axisymmetric maps with equibounded neo-Hookean energy, under the assumption that they have finite surface energy. We prove that these weak limits have a dipole structure, showing that the singular map described by Conti and De Lellis is generic in some sense. On this map, we provide the explicit relaxation of the neo-Hookean energy. We also make a link with Cartesian currents showing that the candidate for the relaxation we obtained presents strong similarities with the relaxed energy in the context of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240223115422166-0971:S2050509424000094:S2050509424000094_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$mathbb {S}^2$</span></span></img></span></span>-valued harmonic maps.</p>","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"29 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139968035","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
On determining and breaking the gauge class in inverse problems for reaction-diffusion equations 论反应扩散方程反问题中规类的确定与突破
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-26 DOI: 10.1017/fms.2024.18
Yavar Kian, Tony Liimatainen, Yi-Hsuan Lin

We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well-known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmetry in a time-dependent anisotropic case modeled on Riemannian manifolds, and for partial data measurements on ${mathbb R}^n$.

Moreover, we present cases where it is possible to exploit the nonlinear interaction to break the gauge symmetry. This leads to full determination results of the nonlinear term. As an application, we show that it is possible to give a full resolution to classes of inverse source problems of determining a source term and nonlinear terms simultaneously. This is in strict contrast to inverse source problems for corresponding linear equations, which always have the gauge symmetry. We also consider a Carleman estimate with boundary terms based on intrinsic properties of parabolic equations.

我们研究了一个反边界值问题,即如何确定反应扩散过程的非线性规律,该过程由一般形式的半线性抛物方程建模。我们不假设这些方程的任何解都是先验已知的,在这种情况下,问题具有众所周知的规对称性。在附加假设条件下,我们确定了以黎曼流形为模型的随时间变化的各向异性情况下的半线性项,以及 ${{mathbb R}^n$ 上的部分数据测量。这导致了非线性项的完全确定结果。作为一种应用,我们展示了同时确定源项和非线性项的反源问题的完整解决方案。这与相应线性方程的逆源问题形成了鲜明对比,后者总是具有规对称性。我们还考虑了基于抛物方程内在特性的带有边界项的卡勒曼估计。
{"title":"On determining and breaking the gauge class in inverse problems for reaction-diffusion equations","authors":"Yavar Kian, Tony Liimatainen, Yi-Hsuan Lin","doi":"10.1017/fms.2024.18","DOIUrl":"https://doi.org/10.1017/fms.2024.18","url":null,"abstract":"<p>We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well-known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmetry in a time-dependent anisotropic case modeled on Riemannian manifolds, and for partial data measurements on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240223055244077-0176:S2050509424000185:S2050509424000185_inline1.png\"><span data-mathjax-type=\"texmath\"><span>${mathbb R}^n$</span></span></img></span></span>.</p><p>Moreover, we present cases where it is possible to exploit the nonlinear interaction to break the gauge symmetry. This leads to full determination results of the nonlinear term. As an application, we show that it is possible to give a full resolution to classes of inverse source problems of determining a source term and nonlinear terms simultaneously. This is in strict contrast to inverse source problems for corresponding linear equations, which always have the gauge symmetry. We also consider a Carleman estimate with boundary terms based on intrinsic properties of parabolic equations.</p>","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"71 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139968241","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
Two-Point Concentration of the Independence Number of the Random Graph 随机图独立数的两点浓度
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-23 DOI: 10.1017/fms.2024.6
Tom Bohman, Jakob Hofstad
We show that the independence number of $ G_{n,p}$ is concentrated on two values if $ n^{-2/3+ epsilon } < p le 1$ . This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on two values for $ p = o ( (log (n)/n)^{2/3} )$ . The extent of concentration of the independence number of $ G_{n,p}$ for $ omega (1/n) < p le n^{-2/3}$ remains an interesting open question.
我们证明,如果 $ n^{-2/3+ epsilon } < p le 1$,$ G_{n,p}$ 的独立数会集中在两个值上。Sah 和 Sawhney 的论证表明,在一般情况下,当 $ p = o ( (log (n)/n)^{2/3} )$ 时,独立数不会集中在两个值上。在 $ omega (1/n) < p le n^{-2/3}$ 时,$ G_{n,p}$ 的独立数的集中程度仍然是一个有趣的未决问题。
{"title":"Two-Point Concentration of the Independence Number of the Random Graph","authors":"Tom Bohman, Jakob Hofstad","doi":"10.1017/fms.2024.6","DOIUrl":"https://doi.org/10.1017/fms.2024.6","url":null,"abstract":"We show that the independence number of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000069_inline1.png\" /> <jats:tex-math> $ G_{n,p}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is concentrated on two values if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000069_inline2.png\" /> <jats:tex-math> $ n^{-2/3+ epsilon } &lt; p le 1$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on two values for <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000069_inline3.png\" /> <jats:tex-math> $ p = o ( (log (n)/n)^{2/3} )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. The extent of concentration of the independence number of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000069_inline4.png\" /> <jats:tex-math> $ G_{n,p}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> for <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000069_inline5.png\" /> <jats:tex-math> $ omega (1/n) &lt; p le n^{-2/3}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> remains an interesting open question.","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"6 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139946424","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
Minimal log discrepancies of hypersurface mirrors 超曲面镜的最小对数差异
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-19 DOI: 10.1017/fms.2024.10
Louis Esser
For certain quasismooth Calabi–Yau hypersurfaces in weighted projective space, the Berglund-Hübsch-Krawitz (BHK) mirror symmetry construction gives a concrete description of the mirror. We prove that the minimal log discrepancy of the quotient of such a hypersurface by its toric automorphism group is closely related to the weights and degree of the BHK mirror. As an application, we exhibit klt Calabi–Yau varieties with the smallest known minimal log discrepancy. We conjecture that these examples are optimal in every dimension.
对于加权投影空间中的某些类平滑 Calabi-Yau 超曲面,Berglund-Hübsch-Krawitz(BHK)镜像对称构造给出了镜像的具体描述。我们证明,这种超曲面的环自形群商数的最小对数差异与 BHK 镜像的权重和阶数密切相关。作为应用,我们展示了具有已知最小对数差异的 klt Calabi-Yau 变体。我们猜想这些例子在每个维度上都是最优的。
{"title":"Minimal log discrepancies of hypersurface mirrors","authors":"Louis Esser","doi":"10.1017/fms.2024.10","DOIUrl":"https://doi.org/10.1017/fms.2024.10","url":null,"abstract":"For certain quasismooth Calabi–Yau hypersurfaces in weighted projective space, the Berglund-Hübsch-Krawitz (BHK) mirror symmetry construction gives a concrete description of the mirror. We prove that the minimal log discrepancy of the quotient of such a hypersurface by its toric automorphism group is closely related to the weights and degree of the BHK mirror. As an application, we exhibit klt Calabi–Yau varieties with the smallest known minimal log discrepancy. We conjecture that these examples are optimal in every dimension.","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"89 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139910435","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
Combinatorial formulas for shifted dual stable Grothendieck polynomials 移位对偶稳定格罗内狄克多项式的组合公式
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-13 DOI: 10.1017/fms.2024.8
Joel Lewis, Eric Marberg
The <jats:italic>K</jats:italic>-theoretic Schur <jats:italic>P</jats:italic>- and <jats:italic>Q</jats:italic>-functions <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline1.png" /> <jats:tex-math> $Ghspace {-0.2mm}P_lambda $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline2.png" /> <jats:tex-math> $Ghspace {-0.2mm}Q_lambda $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> may be concretely defined as weight-generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual <jats:italic>K</jats:italic>-theoretic Schur <jats:italic>P</jats:italic>- and <jats:italic>Q</jats:italic>-functions <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline3.png" /> <jats:tex-math> $ghspace {-0.1mm}p_lambda $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline4.png" /> <jats:tex-math> $ghspace {-0.1mm}q_lambda $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> via a Cauchy identity involving <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline5.png" /> <jats:tex-math> $Ghspace {-0.2mm}P_lambda $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline6.png" /> <jats:tex-math> $Ghspace {-0.2mm}Q_lambda $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. They conjectured that the dual power series are weight-generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline7.png" /> <jats:tex-math> $ghspace {-0.1mm}p_lambda $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000082_inline8.png" /> <jats:tex-math> $ghspace {-0.1mm}q_lambda $ </jats:tex-math> </jats:alternatives> </jats:i
K 理论舒尔 P- 和 Q 函数 $Ghspace {-0.2mm}P_lambda $ 和 $Ghspace {-0.2mm}Q_lambda $ 可以具体定义为半标准移位集值表的权重生成函数。这些对称函数是稳定的格罗内狄克多项式的移位类似物,由池田(Ikeda)和成濑(Naruse)引入并应用于几何中。中川(Nakagawa)和成濑(Naruse)通过涉及 $Ghspace {-0.2mm}P_lambda $ 和 $Ghspace {-0.2mm}Q_lambda $ 的考奇同一性指定了对偶 K 理论舒尔 P 函数和 Q 函数的系列。他们猜想对偶幂级数是某些移位平面分区的权生函数。我们证明了这一猜想。我们还推导了对称函数环的 $omega $ 卷积下 $ghspace {-0.1mm}p_lambda $ 和 $ghspace {-0.1mm}q_lambda $ 的图像的相关生成函数公式。这证实了Chiu和第二作者的猜想。利用这些结果,我们验证了池田(Ikeda)和成濑(Naruse)的猜想,即 $Ghspace {-0.2mm}Q$ - 函数是一个环的基础。
{"title":"Combinatorial formulas for shifted dual stable Grothendieck polynomials","authors":"Joel Lewis, Eric Marberg","doi":"10.1017/fms.2024.8","DOIUrl":"https://doi.org/10.1017/fms.2024.8","url":null,"abstract":"The &lt;jats:italic&gt;K&lt;/jats:italic&gt;-theoretic Schur &lt;jats:italic&gt;P&lt;/jats:italic&gt;- and &lt;jats:italic&gt;Q&lt;/jats:italic&gt;-functions &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline1.png\" /&gt; &lt;jats:tex-math&gt; $Ghspace {-0.2mm}P_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; and &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline2.png\" /&gt; &lt;jats:tex-math&gt; $Ghspace {-0.2mm}Q_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; may be concretely defined as weight-generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual &lt;jats:italic&gt;K&lt;/jats:italic&gt;-theoretic Schur &lt;jats:italic&gt;P&lt;/jats:italic&gt;- and &lt;jats:italic&gt;Q&lt;/jats:italic&gt;-functions &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline3.png\" /&gt; &lt;jats:tex-math&gt; $ghspace {-0.1mm}p_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; and &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline4.png\" /&gt; &lt;jats:tex-math&gt; $ghspace {-0.1mm}q_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; via a Cauchy identity involving &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline5.png\" /&gt; &lt;jats:tex-math&gt; $Ghspace {-0.2mm}P_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; and &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline6.png\" /&gt; &lt;jats:tex-math&gt; $Ghspace {-0.2mm}Q_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;. They conjectured that the dual power series are weight-generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline7.png\" /&gt; &lt;jats:tex-math&gt; $ghspace {-0.1mm}p_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; and &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000082_inline8.png\" /&gt; &lt;jats:tex-math&gt; $ghspace {-0.1mm}q_lambda $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:i","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"24 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139772079","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
Local-global compatibility for regular algebraic cuspidal automorphic representations when 正则代数尖顶自动表征的局部-全局相容性,当
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-12 DOI: 10.1017/fms.2024.7
Ila Varma
We prove the compatibility of local and global Langlands correspondences for <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline2.png" /> <jats:tex-math> $operatorname {GL}_n$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne [10] and Scholze [18]. More precisely, let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline3.png" /> <jats:tex-math> $r_p(pi )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> denote an <jats:italic>n</jats:italic>-dimensional <jats:italic>p</jats:italic>-adic representation of the Galois group of a CM field <jats:italic>F</jats:italic> attached to a regular algebraic cuspidal automorphic representation <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline4.png" /> <jats:tex-math> $pi $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline5.png" /> <jats:tex-math> $operatorname {GL}_n(mathbb {A}_F)$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. We show that the restriction of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline6.png" /> <jats:tex-math> $r_p(pi )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> to the decomposition group of a place <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline7.png" /> <jats:tex-math> $vnmid p$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> of <jats:italic>F</jats:italic> corresponds up to semisimplification to <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline8.png" /> <jats:tex-math> $operatorname {rec}(pi _v)$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>, the image of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050509424000070_inline9.png" /> <jats:tex-math> $pi _v$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> under the local Langlands correspondence. Furthermore, we can show that the monodromy of the associated Weil-Deligne representation of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S2050
我们证明了由 Harris-Lan-Taylor-Thorne [10] 和 Scholze [18] 构建的伽罗瓦表示的 $operatorname {GL}_n$ 的局部和全局朗兰兹对应关系在半简化之前的兼容性。更确切地说,让 $r_p(pi )$ 表示 CM 场 F 的伽罗瓦群的 n 维 p-adic 表示,它连接到 $operatorname {GL}_n(mathbb {A}_F)$ 的正则代数尖顶自形表示 $pi $ 上。我们证明 $r_p(pi )$ 对 F 的一个位置 $vnmid p$ 的分解群的限制在半简化之前对应于 $operatorname {rec}(pi _v)$ ,即本地朗兰兹对应下 $pi _v$ 的像。此外,我们可以证明$left .r_p(pi )right |{}_{operatorname{Gal}_{F_v}}$的相关Weil-Deligne表示的单旋转比$operatorname {rec}(pi _v)$的单旋转 "更无势"。
{"title":"Local-global compatibility for regular algebraic cuspidal automorphic representations when","authors":"Ila Varma","doi":"10.1017/fms.2024.7","DOIUrl":"https://doi.org/10.1017/fms.2024.7","url":null,"abstract":"We prove the compatibility of local and global Langlands correspondences for &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline2.png\" /&gt; &lt;jats:tex-math&gt; $operatorname {GL}_n$ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne [10] and Scholze [18]. More precisely, let &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline3.png\" /&gt; &lt;jats:tex-math&gt; $r_p(pi )$ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; denote an &lt;jats:italic&gt;n&lt;/jats:italic&gt;-dimensional &lt;jats:italic&gt;p&lt;/jats:italic&gt;-adic representation of the Galois group of a CM field &lt;jats:italic&gt;F&lt;/jats:italic&gt; attached to a regular algebraic cuspidal automorphic representation &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline4.png\" /&gt; &lt;jats:tex-math&gt; $pi $ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; of &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline5.png\" /&gt; &lt;jats:tex-math&gt; $operatorname {GL}_n(mathbb {A}_F)$ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;. We show that the restriction of &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline6.png\" /&gt; &lt;jats:tex-math&gt; $r_p(pi )$ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; to the decomposition group of a place &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline7.png\" /&gt; &lt;jats:tex-math&gt; $vnmid p$ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; of &lt;jats:italic&gt;F&lt;/jats:italic&gt; corresponds up to semisimplification to &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline8.png\" /&gt; &lt;jats:tex-math&gt; $operatorname {rec}(pi _v)$ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt;, the image of &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000070_inline9.png\" /&gt; &lt;jats:tex-math&gt; $pi _v$ &lt;/jats:tex-math&gt; &lt;/jats:alternatives&gt; &lt;/jats:inline-formula&gt; under the local Langlands correspondence. Furthermore, we can show that the monodromy of the associated Weil-Deligne representation of &lt;jats:inline-formula&gt; &lt;jats:alternatives&gt; &lt;jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"15 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139772259","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
Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts 对的阿尔丁代数化及其在堆栈局部结构和费朗推出中的应用
IF 1.7 2区 数学 Q1 MATHEMATICS Pub Date : 2024-02-01 DOI: 10.1017/fms.2023.60
Jarod Alper, Jack Hall, Daniel Halpern-Leistner, David Rydh

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin–Tyomkin.

我们给出了沿着封闭子方案和封闭子包的阿尔丁代数化变体。我们的主要应用是封闭子方案和封闭子栈的étale、光滑或合成邻域的存在。特别是,我们证明了堆栈及其派生对应物的局部结构定理,以及沿着线性基本封闭子堆栈的henselizations的存在性。这些结果确立了费朗推演的存在性,正面回答了特姆金-焦姆金的一个问题。
{"title":"Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts","authors":"Jarod Alper, Jack Hall, Daniel Halpern-Leistner, David Rydh","doi":"10.1017/fms.2023.60","DOIUrl":"https://doi.org/10.1017/fms.2023.60","url":null,"abstract":"<p>We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin–Tyomkin.</p>","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":"29 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139656952","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
期刊
Forum of Mathematics Sigma
全部 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