Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110038
Jonas Stelzig
We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting theory naturally accomodates higher operations involving double primitives. As applications, we obtain various refinements of the homotopy groups, sensitive to the complex structure. Under a simple connectedness assumption, one obtains minimal models which are unique up to isomorphism and allow for explicit computations of the new invariants.
{"title":"Pluripotential homotopy theory","authors":"Jonas Stelzig","doi":"10.1016/j.aim.2024.110038","DOIUrl":"10.1016/j.aim.2024.110038","url":null,"abstract":"<div><div>We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting theory naturally accomodates higher operations involving double primitives. As applications, we obtain various refinements of the homotopy groups, sensitive to the complex structure. Under a simple connectedness assumption, one obtains minimal models which are unique up to isomorphism and allow for explicit computations of the new invariants.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110038"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110040
Wentao Cao , László Székelyhidi Jr.
We prove a version of Whitney's strong embedding theorem for isometric embeddings within the general setting of the Nash-Kuiper h-principle. More precisely, we show that any n-dimensional smooth compact manifold admits infinitely many global isometric embeddings into 2n-dimensional Euclidean space, of Hölder class with for and for . The proof is performed by Nash-Kuiper's convex integration construction and applying the gluing technique of the authors on short embeddings with small amplitude.
我们证明了惠特尼强嵌入定理的一个版本,即在纳什-柯伊伯 h 原则的一般环境中的等距嵌入。更确切地说,我们证明了任何 n 维光滑紧凑流形都有无穷多个全局等距嵌入到 2n 维欧几里得空间中,其中荷尔德类 C1,θ 在 n=2 时为 θ<1/3,在 n≥3 时为 θ<(n+2)-1。证明是通过纳什-柯伊伯的凸积分构造和作者对小振幅短嵌入的胶合技术进行的。
{"title":"On the isometric version of Whitney's strong embedding theorem","authors":"Wentao Cao , László Székelyhidi Jr.","doi":"10.1016/j.aim.2024.110040","DOIUrl":"10.1016/j.aim.2024.110040","url":null,"abstract":"<div><div>We prove a version of Whitney's strong embedding theorem for isometric embeddings within the general setting of the Nash-Kuiper h-principle. More precisely, we show that any <em>n</em>-dimensional smooth compact manifold admits infinitely many global isometric embeddings into 2<em>n</em>-dimensional Euclidean space, of Hölder class <span><math><msup><mrow><mi>C</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>θ</mi></mrow></msup></math></span> with <span><math><mi>θ</mi><mo><</mo><mn>1</mn><mo>/</mo><mn>3</mn></math></span> for <span><math><mi>n</mi><mo>=</mo><mn>2</mn></math></span> and <span><math><mi>θ</mi><mo><</mo><msup><mrow><mo>(</mo><mi>n</mi><mo>+</mo><mn>2</mn><mo>)</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>. The proof is performed by Nash-Kuiper's convex integration construction and applying the gluing technique of the authors on short embeddings with small amplitude.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110040"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723194","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110035
Michael K. Brown , Prashanth Sridhar
A landmark theorem of Orlov relates the singularity category of a graded Gorenstein algebra to the derived category of the associated noncommutative projective scheme. We generalize this theorem to the setting of differential graded algebras. As an application, we obtain new cases of the Lattice Conjecture in noncommutative Hodge theory.
{"title":"Orlov's theorem for dg-algebras","authors":"Michael K. Brown , Prashanth Sridhar","doi":"10.1016/j.aim.2024.110035","DOIUrl":"10.1016/j.aim.2024.110035","url":null,"abstract":"<div><div>A landmark theorem of Orlov relates the singularity category of a graded Gorenstein algebra to the derived category of the associated noncommutative projective scheme. We generalize this theorem to the setting of differential graded algebras. As an application, we obtain new cases of the Lattice Conjecture in noncommutative Hodge theory.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110035"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110046
Si-Qi Liu , Zhe Wang , Youjin Zhang
For any semisimple Frobenius manifold, we prove that a tau-symmetric bihamiltonian deformation of its Principal Hierarchy admits an infinite family of linearizable Virasoro symmetries if and only if all the central invariants of the corresponding deformation of the bihamiltonian structure are equal to . As an important application of this result, we prove that the Dubrovin-Zhang hierarchy associated with the semisimple Frobenius manifold possesses a bihamiltonian structure which can be represented in terms of differential polynomials.
{"title":"Linearization of Virasoro symmetries associated with semisimple Frobenius manifolds","authors":"Si-Qi Liu , Zhe Wang , Youjin Zhang","doi":"10.1016/j.aim.2024.110046","DOIUrl":"10.1016/j.aim.2024.110046","url":null,"abstract":"<div><div>For any semisimple Frobenius manifold, we prove that a tau-symmetric bihamiltonian deformation of its Principal Hierarchy admits an infinite family of linearizable Virasoro symmetries if and only if all the central invariants of the corresponding deformation of the bihamiltonian structure are equal to <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mn>24</mn></mrow></mfrac></math></span>. As an important application of this result, we prove that the Dubrovin-Zhang hierarchy associated with the semisimple Frobenius manifold possesses a bihamiltonian structure which can be represented in terms of differential polynomials.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110046"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723195","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110026
Ara Basmajian , Hugo Parlier , Ser Peow Tan
We prove and explore a family of identities relating lengths of curves and orthogeodesics of hyperbolic surfaces. These identities hold over a large space of metrics including ones with hyperbolic cone points, and in particular, show how to extend a result of the first author to surfaces with cusps. One of the main ingredients in the approach is a partition of the set of orthogeodesics into sets depending on their dynamical behavior, which can be understood geometrically by relating them to geodesics on orbifold surfaces. These orbifold surfaces turn out to be exactly on the boundary of the space in which the underlying identity holds.
{"title":"Prime orthogeodesics, concave cores and families of identities on hyperbolic surfaces","authors":"Ara Basmajian , Hugo Parlier , Ser Peow Tan","doi":"10.1016/j.aim.2024.110026","DOIUrl":"10.1016/j.aim.2024.110026","url":null,"abstract":"<div><div>We prove and explore a family of identities relating lengths of curves and orthogeodesics of hyperbolic surfaces. These identities hold over a large space of metrics including ones with hyperbolic cone points, and in particular, show how to extend a result of the first author to surfaces with cusps. One of the main ingredients in the approach is a partition of the set of orthogeodesics into sets depending on their dynamical behavior, which can be understood geometrically by relating them to geodesics on orbifold surfaces. These orbifold surfaces turn out to be exactly on the boundary of the space in which the underlying identity holds.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110026"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110047
Eduardo García-Juárez , Susanna V. Haziot
In this paper, we study the two dimensional Peskin problem with general elasticity law. Specifically, we prove global regularity for small perturbations, in suitable critical spaces, of the circle solution, possibly containing corners. For such initial data we prove asymptotic stability in the sense that as , the solution converges to a translated and rotated disk.
{"title":"Critical well-posedness for the 2D Peskin problem with general tension","authors":"Eduardo García-Juárez , Susanna V. Haziot","doi":"10.1016/j.aim.2024.110047","DOIUrl":"10.1016/j.aim.2024.110047","url":null,"abstract":"<div><div>In this paper, we study the two dimensional Peskin problem with general elasticity law. Specifically, we prove global regularity for small perturbations, in suitable critical spaces, of the circle solution, possibly containing corners. For such initial data we prove asymptotic stability in the sense that as <span><math><mi>t</mi><mo>→</mo><mo>∞</mo></math></span>, the solution converges to a translated and rotated disk.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110047"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723292","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper we paralinearize the contour dynamics equation for sharp-fronts of α-SQG, for any , close to a circular vortex. This turns out to be a quasi-linear Hamiltonian PDE. The key idea relies on a novel desingularization of the Hamiltonian vector field which is a convolution integral operator with nonlinear singular kernel. After deriving the asymptotic expansion of the linear frequencies of oscillations at the vortex disk and verifying the absence of three wave interactions, we prove that, in the most singular cases , any initial vortex patch which is ε-close to the disk exists for a time interval of size at least . This quadratic lifespan result relies on a paradifferential Birkhoff normal form reduction and exploits cancellations arising from the Hamiltonian nature of the equation. This is the first normal form long time existence result of sharp fronts.
{"title":"Paralinearization and extended lifespan for solutions of the α-SQG sharp front equation","authors":"Massimiliano Berti , Scipio Cuccagna , Francisco Gancedo , Stefano Scrobogna","doi":"10.1016/j.aim.2024.110034","DOIUrl":"10.1016/j.aim.2024.110034","url":null,"abstract":"<div><div>In this paper we paralinearize the contour dynamics equation for sharp-fronts of <em>α</em>-SQG, for any <span><math><mi>α</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>∪</mo><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, close to a circular vortex. This turns out to be a quasi-linear Hamiltonian PDE. The key idea relies on a novel desingularization of the Hamiltonian vector field which is a convolution integral operator with nonlinear singular kernel. After deriving the asymptotic expansion of the linear frequencies of oscillations at the vortex disk and verifying the absence of three wave interactions, we prove that, in the most singular cases <span><math><mi>α</mi><mo>∈</mo><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>, any initial vortex patch which is <em>ε</em>-close to the disk exists for a time interval of size at least <span><math><mo>∼</mo><msup><mrow><mi>ε</mi></mrow><mrow><mo>−</mo><mn>2</mn></mrow></msup></math></span>. This quadratic lifespan result relies on a paradifferential Birkhoff normal form reduction and exploits cancellations arising from the Hamiltonian nature of the equation. This is the first normal form long time existence result of sharp fronts.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110034"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723198","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110039
Demi Allen , Simon Baker , Balázs Bárány
Let be a topologically mixing shift of finite type, let be the usual left-shift, and let μ be the Gibbs measure for a Hölder continuous potential that is not cohomologous to a constant. In this paper we study recurrence rates for the dynamical system that hold μ-almost surely. In particular, given a function we are interested in the following set
We provide sufficient conditions for and sufficient conditions for . As a corollary of these results, we discover a new critical threshold where the measure of transitions from zero to one. This threshold was previously unknown even in the special case of a non-uniform Bernoulli measure defined on the full shift. The proofs of our results combine ideas from Probability Theory and Thermodynamic Formalism. In our final section we apply our results to the study of dynamics on self-similar sets.
{"title":"Recurrence rates for shifts of finite type","authors":"Demi Allen , Simon Baker , Balázs Bárány","doi":"10.1016/j.aim.2024.110039","DOIUrl":"10.1016/j.aim.2024.110039","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>Σ</mi></mrow><mrow><mi>A</mi></mrow></msub></math></span> be a topologically mixing shift of finite type, let <span><math><mi>σ</mi><mo>:</mo><msub><mrow><mi>Σ</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>→</mo><msub><mrow><mi>Σ</mi></mrow><mrow><mi>A</mi></mrow></msub></math></span> be the usual left-shift, and let <em>μ</em> be the Gibbs measure for a Hölder continuous potential that is not cohomologous to a constant. In this paper we study recurrence rates for the dynamical system <span><math><mo>(</mo><msub><mrow><mi>Σ</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>,</mo><mi>σ</mi><mo>)</mo></math></span> that hold <em>μ</em>-almost surely. In particular, given a function <span><math><mi>ψ</mi><mo>:</mo><mi>N</mi><mo>→</mo><mi>N</mi></math></span> we are interested in the following set<span><span><span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>ψ</mi></mrow></msub><mo>=</mo><mo>{</mo><mi>i</mi><mo>∈</mo><msub><mrow><mi>Σ</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>:</mo><mspace></mspace><msub><mrow><mi>i</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>…</mo><msub><mrow><mi>i</mi></mrow><mrow><mi>n</mi><mo>+</mo><mi>ψ</mi><mo>(</mo><mi>n</mi><mo>)</mo><mo>+</mo><mn>1</mn></mrow></msub><mo>=</mo><msub><mrow><mi>i</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>…</mo><msub><mrow><mi>i</mi></mrow><mrow><mi>ψ</mi><mo>(</mo><mi>n</mi><mo>)</mo></mrow></msub><mspace></mspace><mspace></mspace><mtext>for infinitely many</mtext><mspace></mspace><mi>n</mi><mo>∈</mo><mi>N</mi><mo>}</mo><mo>.</mo></math></span></span></span></div><div>We provide sufficient conditions for <span><math><mi>μ</mi><mo>(</mo><msub><mrow><mi>R</mi></mrow><mrow><mi>ψ</mi></mrow></msub><mo>)</mo><mo>=</mo><mn>1</mn></math></span> and sufficient conditions for <span><math><mi>μ</mi><mo>(</mo><msub><mrow><mi>R</mi></mrow><mrow><mi>ψ</mi></mrow></msub><mo>)</mo><mo>=</mo><mn>0</mn></math></span>. As a corollary of these results, we discover a new critical threshold where the measure of <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>ψ</mi></mrow></msub></math></span> transitions from zero to one. This threshold was previously unknown even in the special case of a non-uniform Bernoulli measure defined on the full shift. The proofs of our results combine ideas from Probability Theory and Thermodynamic Formalism. In our final section we apply our results to the study of dynamics on self-similar sets.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110039"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723190","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110041
Daniel Bartl , Shahar Mendelson
<div><div>Let <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> be independent copies of the standard gaussian random vector in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span>. We show that there is an absolute constant <em>c</em> such that for any <span><math><mi>A</mi><mo>⊂</mo><msup><mrow><mi>S</mi></mrow><mrow><mi>d</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span>, with probability at least <span><math><mn>1</mn><mo>−</mo><mn>2</mn><mi>exp</mi><mo></mo><mo>(</mo><mo>−</mo><mi>c</mi><mi>Δ</mi><mi>m</mi><mo>)</mo></math></span>, for every <span><math><mi>t</mi><mo>∈</mo><mi>R</mi></math></span>,<span><span><span><math><munder><mi>sup</mi><mrow><mi>x</mi><mo>∈</mo><mi>A</mi></mrow></munder><mo></mo><mrow><mo>|</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>m</mi></mrow></mfrac><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><msub><mrow><mn>1</mn></mrow><mrow><mo>{</mo><mo>〈</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><mi>x</mi><mo>〉</mo><mo>≤</mo><mi>t</mi><mo>}</mo></mrow></msub><mo>−</mo><mi>P</mi><mo>(</mo><mo>〈</mo><mi>G</mi><mo>,</mo><mi>x</mi><mo>〉</mo><mo>≤</mo><mi>t</mi><mo>)</mo><mo>|</mo></mrow><mo>≤</mo><mi>Δ</mi><mo>+</mo><mi>σ</mi><mo>(</mo><mi>t</mi><mo>)</mo><msqrt><mrow><mi>Δ</mi></mrow></msqrt><mo>.</mo></math></span></span></span> Here <span><math><mi>σ</mi><mo>(</mo><mi>t</mi><mo>)</mo></math></span> is the variance of <span><math><msub><mrow><mn>1</mn></mrow><mrow><mo>{</mo><mo>〈</mo><mi>G</mi><mo>,</mo><mi>x</mi><mo>〉</mo><mo>≤</mo><mi>t</mi><mo>}</mo></mrow></msub></math></span> and <span><math><mi>Δ</mi><mo>≥</mo><msub><mrow><mi>Δ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, where <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> is determined by an unexpected complexity parameter of <em>A</em> that captures the set's geometry (Talagrand's <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> functional). The bound, the probability estimate, and the value of <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> are all (almost) optimal.</div><div>We use this fact to show that if <span><math><mi>Γ</mi><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></msubsup><mo>〈</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><mi>x</mi><mo>〉</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is the random matrix that has <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> as its rows, then the structure of <span><math><mi>Γ</mi><mo>(</mo><mi>A</mi><mo>)</
{"title":"Empirical approximation of the gaussian distribution in Rd","authors":"Daniel Bartl , Shahar Mendelson","doi":"10.1016/j.aim.2024.110041","DOIUrl":"10.1016/j.aim.2024.110041","url":null,"abstract":"<div><div>Let <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> be independent copies of the standard gaussian random vector in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span>. We show that there is an absolute constant <em>c</em> such that for any <span><math><mi>A</mi><mo>⊂</mo><msup><mrow><mi>S</mi></mrow><mrow><mi>d</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span>, with probability at least <span><math><mn>1</mn><mo>−</mo><mn>2</mn><mi>exp</mi><mo></mo><mo>(</mo><mo>−</mo><mi>c</mi><mi>Δ</mi><mi>m</mi><mo>)</mo></math></span>, for every <span><math><mi>t</mi><mo>∈</mo><mi>R</mi></math></span>,<span><span><span><math><munder><mi>sup</mi><mrow><mi>x</mi><mo>∈</mo><mi>A</mi></mrow></munder><mo></mo><mrow><mo>|</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>m</mi></mrow></mfrac><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><msub><mrow><mn>1</mn></mrow><mrow><mo>{</mo><mo>〈</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><mi>x</mi><mo>〉</mo><mo>≤</mo><mi>t</mi><mo>}</mo></mrow></msub><mo>−</mo><mi>P</mi><mo>(</mo><mo>〈</mo><mi>G</mi><mo>,</mo><mi>x</mi><mo>〉</mo><mo>≤</mo><mi>t</mi><mo>)</mo><mo>|</mo></mrow><mo>≤</mo><mi>Δ</mi><mo>+</mo><mi>σ</mi><mo>(</mo><mi>t</mi><mo>)</mo><msqrt><mrow><mi>Δ</mi></mrow></msqrt><mo>.</mo></math></span></span></span> Here <span><math><mi>σ</mi><mo>(</mo><mi>t</mi><mo>)</mo></math></span> is the variance of <span><math><msub><mrow><mn>1</mn></mrow><mrow><mo>{</mo><mo>〈</mo><mi>G</mi><mo>,</mo><mi>x</mi><mo>〉</mo><mo>≤</mo><mi>t</mi><mo>}</mo></mrow></msub></math></span> and <span><math><mi>Δ</mi><mo>≥</mo><msub><mrow><mi>Δ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, where <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> is determined by an unexpected complexity parameter of <em>A</em> that captures the set's geometry (Talagrand's <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> functional). The bound, the probability estimate, and the value of <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> are all (almost) optimal.</div><div>We use this fact to show that if <span><math><mi>Γ</mi><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></msubsup><mo>〈</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><mi>x</mi><mo>〉</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is the random matrix that has <span><math><msub><mrow><mi>G</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> as its rows, then the structure of <span><math><mi>Γ</mi><mo>(</mo><mi>A</mi><mo>)</","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110041"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-26DOI: 10.1016/j.aim.2024.110044
Nathan Geer, Matthew B. Young
We introduce an unrolled quantization of the complex Lie superalgebra and use its categories of weight modules to construct and study new three dimensional non-semisimple topological quantum field theories. These theories are defined on categories of cobordisms which are decorated by ribbon graphs and cohomology classes and take values in categories of graded super vector spaces. Computations in these theories are enabled by a detailed study of the representation theory of . We argue that by restricting to subcategories of integral weight modules we obtain topological quantum field theories which are mathematical models of Chern–Simons theories with gauge supergroups and coupled to background flat -connections, as studied in the physics literature by Rozansky–Saleur and Mikhaylov. In particular, we match Verlinde formulae and mapping class group actions on state spaces of non-generic tori with results in the physics literature. We also obtain explicit descriptions of state spaces of generic surfaces, including their graded dimensions, which go beyond results in the physics literature.
{"title":"Three dimensional topological quantum field theory from Uq(gl(1|1)) and U(1|1) Chern–Simons theory","authors":"Nathan Geer, Matthew B. Young","doi":"10.1016/j.aim.2024.110044","DOIUrl":"10.1016/j.aim.2024.110044","url":null,"abstract":"<div><div>We introduce an unrolled quantization <span><math><msubsup><mrow><mi>U</mi></mrow><mrow><mi>q</mi></mrow><mrow><mi>E</mi></mrow></msubsup><mo>(</mo><mrow><mi>gl</mi></mrow><mo>(</mo><mn>1</mn><mo>|</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span> of the complex Lie superalgebra <span><math><mrow><mi>gl</mi></mrow><mo>(</mo><mn>1</mn><mo>|</mo><mn>1</mn><mo>)</mo></math></span> and use its categories of weight modules to construct and study new three dimensional non-semisimple topological quantum field theories. These theories are defined on categories of cobordisms which are decorated by ribbon graphs and cohomology classes and take values in categories of graded super vector spaces. Computations in these theories are enabled by a detailed study of the representation theory of <span><math><msubsup><mrow><mi>U</mi></mrow><mrow><mi>q</mi></mrow><mrow><mi>E</mi></mrow></msubsup><mo>(</mo><mrow><mi>gl</mi></mrow><mo>(</mo><mn>1</mn><mo>|</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span>. We argue that by restricting to subcategories of integral weight modules we obtain topological quantum field theories which are mathematical models of Chern–Simons theories with gauge supergroups <span><math><mrow><mi>psl</mi></mrow><mo>(</mo><mn>1</mn><mo>|</mo><mn>1</mn><mo>)</mo></math></span> and <span><math><mi>U</mi><mo>(</mo><mn>1</mn><mo>|</mo><mn>1</mn><mo>)</mo></math></span> coupled to background flat <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>×</mo></mrow></msup></math></span>-connections, as studied in the physics literature by Rozansky–Saleur and Mikhaylov. In particular, we match Verlinde formulae and mapping class group actions on state spaces of non-generic tori with results in the physics literature. We also obtain explicit descriptions of state spaces of generic surfaces, including their graded dimensions, which go beyond results in the physics literature.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"460 ","pages":"Article 110044"},"PeriodicalIF":1.5,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142723481","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}