Pub Date : 2024-08-10DOI: 10.1007/s00208-024-02958-x
Kenneth Chung Tak Chiu
We give properties of the real-split retraction of the mixed weak Mumford–Tate domain and prove the Ax–Schanuel property of period mappings arising from variations of mixed Hodge structures. An ingredient in the proof is the definability of the mixed period mapping obtained by Bakker–Brunebarbe–Klingler–Tsimerman. In comparison with preceding results, in the point counting step, we count rational points on definable quotients instead.
{"title":"Ax–Schanuel for variations of mixed Hodge structures","authors":"Kenneth Chung Tak Chiu","doi":"10.1007/s00208-024-02958-x","DOIUrl":"https://doi.org/10.1007/s00208-024-02958-x","url":null,"abstract":"<p>We give properties of the real-split retraction of the mixed weak Mumford–Tate domain and prove the Ax–Schanuel property of period mappings arising from variations of mixed Hodge structures. An ingredient in the proof is the definability of the mixed period mapping obtained by Bakker–Brunebarbe–Klingler–Tsimerman. In comparison with preceding results, in the point counting step, we count rational points on definable quotients instead.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141940005","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}
Pub Date : 2024-08-08DOI: 10.1007/s00208-024-02952-3
Ian Gleason
We introduce the specialization map in Scholze’s theory of diamonds. We consider v-sheaves that “behave like formal schemes" and call them kimberlites. We attach to them: a reduced special fiber, an analytic locus, a specialization map, a Zariski site, and an étale site. When the kimberlite comes from a formal scheme, our sites recover the classical ones. We prove that unramified p-adic Beilinson–Drinfeld Grassmannians are kimberlites with finiteness and normality properties.
我们介绍舒尔茨钻石理论中的特化映射。我们考虑了 "表现得像形式方案 "的 v 谢弗,并称它们为金伯利特。我们给它们附加了:还原特殊纤维、解析位置、特化映射、扎里斯基位置和埃塔莱位置。当金伯利岩来自形式方案时,我们的位点就恢复了经典位点。我们证明了非ramified p-adic Beilinson-Drinfeld Grassmannians 是具有有限性和规范性的金伯利特。
{"title":"Specialization maps for Scholze’s category of diamonds","authors":"Ian Gleason","doi":"10.1007/s00208-024-02952-3","DOIUrl":"https://doi.org/10.1007/s00208-024-02952-3","url":null,"abstract":"<p>We introduce the specialization map in Scholze’s theory of diamonds. We consider v-sheaves that “behave like formal schemes\" and call them kimberlites. We attach to them: a reduced special fiber, an analytic locus, a specialization map, a Zariski site, and an étale site. When the kimberlite comes from a formal scheme, our sites recover the classical ones. We prove that unramified <i>p</i>-adic Beilinson–Drinfeld Grassmannians are kimberlites with finiteness and normality properties.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141940128","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}
Pub Date : 2024-08-07DOI: 10.1007/s00208-024-02935-4
Guillaume Aubrun, Alexander Müller-Hermes, Martin Plávala
A separable quantum state shared between parties A and B can be symmetrically extended to a quantum state shared between party A and parties (B_1,ldots ,B_k) for every (kin textbf{N}). Quantum states that are not separable, i.e., entangled, do not have this property. This phenomenon is known as “monogamy of entanglement”. We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones (textsf{C}_A) and (textsf{C}_B): The elements of the minimal tensor product (textsf{C}_Aotimes _{min } textsf{C}_B) are precisely the tensors that can be symmetrically extended to elements in the maximal tensor product (textsf{C}_Aotimes _{max } textsf{C}^{otimes _{max } k}_B) for every (kin textbf{N}). Equivalently, the minimal tensor product of two cones is the intersection of the nested sets of k-extendible tensors. It is a natural question when the minimal tensor product (textsf{C}_Aotimes _{min } textsf{C}_B) coincides with the set of k-extendible tensors for some finite k. We show that this is universally the case for every cone (textsf{C}_A) if and only if (textsf{C}_B) is a polyhedral cone with a base given by a product of simplices. Our proof makes use of a new characterization of products of simplices up to affine equivalence that we believe is of independent interest.
{"title":"Monogamy of entanglement between cones","authors":"Guillaume Aubrun, Alexander Müller-Hermes, Martin Plávala","doi":"10.1007/s00208-024-02935-4","DOIUrl":"https://doi.org/10.1007/s00208-024-02935-4","url":null,"abstract":"<p>A separable quantum state shared between parties <i>A</i> and <i>B</i> can be symmetrically extended to a quantum state shared between party <i>A</i> and parties <span>(B_1,ldots ,B_k)</span> for every <span>(kin textbf{N})</span>. Quantum states that are not separable, i.e., entangled, do not have this property. This phenomenon is known as “monogamy of entanglement”. We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones <span>(textsf{C}_A)</span> and <span>(textsf{C}_B)</span>: The elements of the minimal tensor product <span>(textsf{C}_Aotimes _{min } textsf{C}_B)</span> are precisely the tensors that can be symmetrically extended to elements in the maximal tensor product <span>(textsf{C}_Aotimes _{max } textsf{C}^{otimes _{max } k}_B)</span> for every <span>(kin textbf{N})</span>. Equivalently, the minimal tensor product of two cones is the intersection of the nested sets of <i>k</i>-extendible tensors. It is a natural question when the minimal tensor product <span>(textsf{C}_Aotimes _{min } textsf{C}_B)</span> coincides with the set of <i>k</i>-extendible tensors for some finite <i>k</i>. We show that this is universally the case for every cone <span>(textsf{C}_A)</span> if and only if <span>(textsf{C}_B)</span> is a polyhedral cone with a base given by a product of simplices. Our proof makes use of a new characterization of products of simplices up to affine equivalence that we believe is of independent interest.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141940007","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}
Pub Date : 2024-08-06DOI: 10.1007/s00208-024-02937-2
Nicolle González, Eugene Gorsky, José Simental
The double Dyck path algebra (mathbb {A}_{q,t}) and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra (mathbb {B}_{q,t}) was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra (mathbb {B}_{q,t}). We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.
双戴克路径代数(mathbb {A}_{q,t} )及其多项式表示最初是作为卡尔松和梅利特著名的洗牌定理证明的关键人物出现的。随后,第二位作者以及卡尔松和梅利特利用抛物线旗希尔伯特方案的 K 理论给出了等价代数 (mathbb {B}_{q,t}) 的几何表述。在本文中,我们开始系统地研究双戴克路径代数 (mathbb {B}_{q,t}) 的表示理论。我们定义了这个代数的自然扩展,并研究了它的校准表示。我们证明多项式表示是校准表示,并把它归入由满足特定条件的正集构造的校准表示大家族。我们还定义了这些表示的张量乘积和对偶,从而证明(在合适的条件下)校准表示的范畴一般是单义的。作为应用,我们证明了多项式表示的张量幂可以从抛物线吉塞克模空间的等变 K 理论中构造出来。
{"title":"Calibrated representations of the double Dyck path algebra","authors":"Nicolle González, Eugene Gorsky, José Simental","doi":"10.1007/s00208-024-02937-2","DOIUrl":"https://doi.org/10.1007/s00208-024-02937-2","url":null,"abstract":"<p>The double Dyck path algebra <span>(mathbb {A}_{q,t})</span> and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra <span>(mathbb {B}_{q,t})</span> was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra <span>(mathbb {B}_{q,t})</span>. We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141940008","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}
Pub Date : 2024-08-03DOI: 10.1007/s00208-024-02956-z
Jun Geng, Zhongwei Shen
We establish resolvent estimates in (L^q) spaces for the Stokes operator in a bounded (C^1) domain (Omega ) in (mathbb {R}^{d}). As a corollary, it follows that the Stokes operator generates a bounded analytic semigroup in (L^q(Omega ; mathbb {C}^d)) for any (1< q< infty ) and (dge 2). The case of an exterior (C^1) domain is also studied.
{"title":"Resolvent estimates for the Stokes operator in bounded and exterior $$C^1$$ domains","authors":"Jun Geng, Zhongwei Shen","doi":"10.1007/s00208-024-02956-z","DOIUrl":"https://doi.org/10.1007/s00208-024-02956-z","url":null,"abstract":"<p>We establish resolvent estimates in <span>(L^q)</span> spaces for the Stokes operator in a bounded <span>(C^1)</span> domain <span>(Omega )</span> in <span>(mathbb {R}^{d})</span>. As a corollary, it follows that the Stokes operator generates a bounded analytic semigroup in <span>(L^q(Omega ; mathbb {C}^d))</span> for any <span>(1< q< infty )</span> and <span>(dge 2)</span>. The case of an exterior <span>(C^1)</span> domain is also studied.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141886765","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}
Pub Date : 2024-08-03DOI: 10.1007/s00208-024-02954-1
Jiayu Li, Shujing Pan
In this article, we will study the isoperimetric problem by introducing a mean curvature type flow in the Riemannian manifold endowed with a non-trivial conformal vector field. This flow preserves the volume of the bounded domain enclosed by a star-shaped hypersurface and decreases the area of hypersurface under certain conditions. We will prove the long time existence and convergence of the flow. As a result, the isoperimetric inequality for such a domain is established. Especially, we solve the isoperimetric problem for the star-shaped hypersurfaces in the Riemannian manifold endowed with a closed, non-trivial conformal vector field, a wide class of warped product spaces studied by Guan, Li and Wang is included.
{"title":"The isoperimetric problem in the Riemannian manifold admitting a non-trivial conformal vector field","authors":"Jiayu Li, Shujing Pan","doi":"10.1007/s00208-024-02954-1","DOIUrl":"https://doi.org/10.1007/s00208-024-02954-1","url":null,"abstract":"<p>In this article, we will study the isoperimetric problem by introducing a mean curvature type flow in the Riemannian manifold endowed with a non-trivial conformal vector field. This flow preserves the volume of the bounded domain enclosed by a star-shaped hypersurface and decreases the area of hypersurface under certain conditions. We will prove the long time existence and convergence of the flow. As a result, the isoperimetric inequality for such a domain is established. Especially, we solve the isoperimetric problem for the star-shaped hypersurfaces in the Riemannian manifold endowed with a closed, non-trivial conformal vector field, a wide class of warped product spaces studied by Guan, Li and Wang is included.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141880496","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}
Pub Date : 2024-07-30DOI: 10.1007/s00208-024-02950-5
Baiqing Zhu
For a prime number (p>2) and a finite extension (F/mathbb {Q}_p), we explain the construction of the difference divisors on the unitary Rapoport–Zink spaces of hyperspecial level over (mathcal {O}_{breve{F}}), and the GSpin Rapoport–Zink spaces of hyperspecial level over (breve{mathbb {Z}}_{p}) associated to a minuscule cocharacter (mu ) and a basic element b. We prove the regularity of the difference divisors, find the formally smooth locus of both the special cycles and the difference divisors, by a purely deformation-theoretic approach.
{"title":"The regularity of difference divisors","authors":"Baiqing Zhu","doi":"10.1007/s00208-024-02950-5","DOIUrl":"https://doi.org/10.1007/s00208-024-02950-5","url":null,"abstract":"<p>For a prime number <span>(p>2)</span> and a finite extension <span>(F/mathbb {Q}_p)</span>, we explain the construction of the difference divisors on the unitary Rapoport–Zink spaces of hyperspecial level over <span>(mathcal {O}_{breve{F}})</span>, and the GSpin Rapoport–Zink spaces of hyperspecial level over <span>(breve{mathbb {Z}}_{p})</span> associated to a minuscule cocharacter <span>(mu )</span> and a basic element <i>b</i>. We prove the regularity of the difference divisors, find the formally smooth locus of both the special cycles and the difference divisors, by a purely deformation-theoretic approach.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872581","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}
Pub Date : 2024-07-29DOI: 10.1007/s00208-024-02949-y
Joe Kramer-Miller, James Upton
The purpose of this article is to study Newton polygons of certain abelian L-functions on curves. Let X be a smooth affine curve over a finite field (mathbb {F}_q) and let (rho :pi _1(X) rightarrow mathbb {C}_p^times ) be a finite character of order (p^n). By previous work of the first author, the Newton polygon ({{,mathrm{text {NP}},}}(rho )) lies above a ‘Hodge polygon’ ({{,mathrm{text {HP}},}}(rho )) defined using ramification invariants of (rho ). In this article we study the contact between these two polygons. We prove that ({{,mathrm{text {NP}},}}(rho )) and ({{,mathrm{text {HP}},}}(rho )) share a vertex if and only if a corresponding vertex is shared between the Newton and Hodge polygons of ‘local’ L-functions associated to each ramified point of (rho ). As a consequence, we determine a necessary and sufficient condition for the coincidence of ({{,mathrm{text {NP}},}}(rho )) and ({{,mathrm{text {HP}},}}(rho )).
{"title":"Newton polygons of sums on curves I: local-to-global theorems","authors":"Joe Kramer-Miller, James Upton","doi":"10.1007/s00208-024-02949-y","DOIUrl":"https://doi.org/10.1007/s00208-024-02949-y","url":null,"abstract":"<p>The purpose of this article is to study Newton polygons of certain abelian <i>L</i>-functions on curves. Let <i>X</i> be a smooth affine curve over a finite field <span>(mathbb {F}_q)</span> and let <span>(rho :pi _1(X) rightarrow mathbb {C}_p^times )</span> be a finite character of order <span>(p^n)</span>. By previous work of the first author, the Newton polygon <span>({{,mathrm{text {NP}},}}(rho ))</span> lies above a ‘Hodge polygon’ <span>({{,mathrm{text {HP}},}}(rho ))</span> defined using ramification invariants of <span>(rho )</span>. In this article we study the contact between these two polygons. We prove that <span>({{,mathrm{text {NP}},}}(rho ))</span> and <span>({{,mathrm{text {HP}},}}(rho ))</span> share a vertex if and only if a corresponding vertex is shared between the Newton and Hodge polygons of ‘local’ <i>L</i>-functions associated to each ramified point of <span>(rho )</span>. As a consequence, we determine a necessary and sufficient condition for the coincidence of <span>({{,mathrm{text {NP}},}}(rho ))</span> and <span>({{,mathrm{text {HP}},}}(rho ))</span>.\u0000</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":null,"pages":null},"PeriodicalIF":1.4,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872582","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}