Pub Date : 2020-12-24DOI: 10.1215/00127094-2022-0027
A. Petrov
We prove that any geometrically irreducible $overline{mathbb{Q}}_p$-local system on a smooth algebraic variety over a $p$-adic field $K$ becomes de Rham after a twist by a character of the Galois group of $K$. In particular, for any geometrically irreducible $overline{mathbb{Q}}_p$-local system on a smooth variety over a number field the associated projective representation of the fundamental group automatically satisfies the assumptions of the relative Fontaine-Mazur conjecture. The proof uses $p$-adic Simpson and Riemann-Hilbert correspondences of Diao-Lan-Liu-Zhu and the Sen operator on the decompletions of those developed by Shimizu. Along the way, we observe that a $p$-adic local system on a smooth geometrically connected algebraic variety over $K$ is Hodge-Tate if its stalk at one closed point is a Hodge-Tate Galois representation. Moreover, we prove a version of the main theorem for local systems with arbitrary geometric monodromy, which allows us to conclude that the Galois action on the pro-algebraic completion of the fundamental group is de Rham.
{"title":"Geometrically irreducible p-adic local systems are de Rham up to a twist","authors":"A. Petrov","doi":"10.1215/00127094-2022-0027","DOIUrl":"https://doi.org/10.1215/00127094-2022-0027","url":null,"abstract":"We prove that any geometrically irreducible $overline{mathbb{Q}}_p$-local system on a smooth algebraic variety over a $p$-adic field $K$ becomes de Rham after a twist by a character of the Galois group of $K$. In particular, for any geometrically irreducible $overline{mathbb{Q}}_p$-local system on a smooth variety over a number field the associated projective representation of the fundamental group automatically satisfies the assumptions of the relative Fontaine-Mazur conjecture. The proof uses $p$-adic Simpson and Riemann-Hilbert correspondences of Diao-Lan-Liu-Zhu and the Sen operator on the decompletions of those developed by Shimizu. Along the way, we observe that a $p$-adic local system on a smooth geometrically connected algebraic variety over $K$ is Hodge-Tate if its stalk at one closed point is a Hodge-Tate Galois representation. Moreover, we prove a version of the main theorem for local systems with arbitrary geometric monodromy, which allows us to conclude that the Galois action on the pro-algebraic completion of the fundamental group is de Rham.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45038339","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 : 2020-11-18DOI: 10.1215/00127094-2022-0033
Shaoming Guo, Changkeun Oh, Ruixiang Zhang, Pavel Zorin-Kranich
We prove sharp $ell^q L^p$ decoupling inequalities for arbitrary tuples of quadratic forms. Our argument is based on scale-dependent Brascamp-Lieb inequalities.
对于任意二次元组,我们证明了尖锐的$ well ^q L^p$解耦不等式。我们的论点是基于尺度相关的布拉斯坎普-里布不等式。
{"title":"Decoupling inequalities for quadratic forms","authors":"Shaoming Guo, Changkeun Oh, Ruixiang Zhang, Pavel Zorin-Kranich","doi":"10.1215/00127094-2022-0033","DOIUrl":"https://doi.org/10.1215/00127094-2022-0033","url":null,"abstract":"We prove sharp $ell^q L^p$ decoupling inequalities for arbitrary tuples of quadratic forms. Our argument is based on scale-dependent Brascamp-Lieb inequalities.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":"1 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41536480","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 : 2020-11-17DOI: 10.1215/00127094-2022-0077
Jian Ding, Mateo Wirth
For the two-dimensional random field Ising model where the random field is given by i.i.d. mean zero Gaussian variables with variance $epsilon^2$, we study (one natural notion of) the correlation length, which is the critical size of a box at which the influences of the random field and of the boundary condition on the spin magnetization are comparable. We show that as $epsilon to 0$, at zero temperature the correlation length scales as $e^{epsilon^{-4/3+o(1)}}$ (and our upper bound applies for all positive temperatures). As a proof ingredient, we establish a growth rate for the two-dimensional greedy lattice animal normalized by its boundary size, which may be of independent interest.
{"title":"Correlation length of the two-dimensional random field Ising model via greedy lattice animal","authors":"Jian Ding, Mateo Wirth","doi":"10.1215/00127094-2022-0077","DOIUrl":"https://doi.org/10.1215/00127094-2022-0077","url":null,"abstract":"For the two-dimensional random field Ising model where the random field is given by i.i.d. mean zero Gaussian variables with variance $epsilon^2$, we study (one natural notion of) the correlation length, which is the critical size of a box at which the influences of the random field and of the boundary condition on the spin magnetization are comparable. We show that as $epsilon to 0$, at zero temperature the correlation length scales as $e^{epsilon^{-4/3+o(1)}}$ (and our upper bound applies for all positive temperatures). As a proof ingredient, we establish a growth rate for the two-dimensional greedy lattice animal normalized by its boundary size, which may be of independent interest.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42377842","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}
Let $S$ be a closed surface and $text{Diff}_{text{Vol}}(S)$ be the group of volume preserving diffeomorphisms of $S$. A finitely generated group $G$ is periodic of bounded exponent if there exists $k in mathbb{N}$ such that every element of $G$ has order at most $k$. We show that every periodic group of bounded exponent $G subset text{Diff}_{text{Vol}}(S)$ is a finite group.
{"title":"The Burnside problem for Diffω(S2)","authors":"Sebastián Hurtado, Alejandro Kocsard, Federico Rodríguez-Hertz","doi":"10.1215/00127094-2020-0028","DOIUrl":"https://doi.org/10.1215/00127094-2020-0028","url":null,"abstract":"Let $S$ be a closed surface and $text{Diff}_{text{Vol}}(S)$ be the group of volume preserving diffeomorphisms of $S$. A finitely generated group $G$ is periodic of bounded exponent if there exists $k in mathbb{N}$ such that every element of $G$ has order at most $k$. We show that every periodic group of bounded exponent $G subset text{Diff}_{text{Vol}}(S)$ is a finite group.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":"4 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84054124","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 : 2020-11-09DOI: 10.1215/00127094-2022-0015
Laurin Kohler-Schindler, V. Tassion
We prove a general Russo-Seymour-Welsh result valid for any invariant planar percolation process satisfying positive association. This means that the probability of crossing a rectangle in the long direction is related by a homeomorphism to the probability of crossing it in the short direction. This homeomorphism is universal in the sense that it depends only on the aspect ratio of the rectangle, and is uniform in the scale and the considered model.
{"title":"Crossing probabilities for planar percolation","authors":"Laurin Kohler-Schindler, V. Tassion","doi":"10.1215/00127094-2022-0015","DOIUrl":"https://doi.org/10.1215/00127094-2022-0015","url":null,"abstract":"We prove a general Russo-Seymour-Welsh result valid for any invariant planar percolation process satisfying positive association. This means that the probability of crossing a rectangle in the long direction is related by a homeomorphism to the probability of crossing it in the short direction. This homeomorphism is universal in the sense that it depends only on the aspect ratio of the rectangle, and is uniform in the scale and the considered model.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46918048","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 : 2020-11-01DOI: 10.1215/00127094-2020-0035
H. Darmon, Jan Vonk
A rigid meromorphic cocycle is a class in the rst cohomology of the discrete group Γ := SL2(Z[1/p]) with values in the multiplicative group of non-zero rigid meromorphic functions on the p-adic upper half plane Hp := P1(Cp) − P1(Qp). Such a class can be evaluated at the real quadratic irrationalities in Hp, which are referred to as “RM points”. Rigid meromorphic cocycles can be envisaged as the real quadratic counterparts of Borcherds’ singular theta lis: their zeroes and poles are contained in a nite union of Γ-orbits of RM points, and their RM values are conjectured to lie in ring class elds of real quadratic elds. ese RM values enjoy striking parallels with the CM values of modular functions on SL2(Z)H: in particular they seem to factor just like the dierences of classical singular moduli, as described by Gross and Zagier. A fast algorithm for computing rigid meromorphic cocycles to high p-adic accuracy leads to convincing numerical evidence for the algebraicity and factorisation of the resulting singular moduli for real quadratic elds.
{"title":"Singular moduli for real quadratic fields: A rigid analytic approach","authors":"H. Darmon, Jan Vonk","doi":"10.1215/00127094-2020-0035","DOIUrl":"https://doi.org/10.1215/00127094-2020-0035","url":null,"abstract":"A rigid meromorphic cocycle is a class in the rst cohomology of the discrete group Γ := SL2(Z[1/p]) with values in the multiplicative group of non-zero rigid meromorphic functions on the p-adic upper half plane Hp := P1(Cp) − P1(Qp). Such a class can be evaluated at the real quadratic irrationalities in Hp, which are referred to as “RM points”. Rigid meromorphic cocycles can be envisaged as the real quadratic counterparts of Borcherds’ singular theta lis: their zeroes and poles are contained in a nite union of Γ-orbits of RM points, and their RM values are conjectured to lie in ring class elds of real quadratic elds. ese RM values enjoy striking parallels with the CM values of modular functions on SL2(Z)H: in particular they seem to factor just like the dierences of classical singular moduli, as described by Gross and Zagier. A fast algorithm for computing rigid meromorphic cocycles to high p-adic accuracy leads to convincing numerical evidence for the algebraicity and factorisation of the resulting singular moduli for real quadratic elds.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45131514","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 : 2020-11-01DOI: 10.1215/00127094-2020-0065
Marco Antei, M. Emsalem, C. Gasbarri
{"title":"Erratum for “Heights of vector bundles and the fundamental group scheme of a curve”","authors":"Marco Antei, M. Emsalem, C. Gasbarri","doi":"10.1215/00127094-2020-0065","DOIUrl":"https://doi.org/10.1215/00127094-2020-0065","url":null,"abstract":"","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":"169 1","pages":"3221-3222"},"PeriodicalIF":2.5,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45595554","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 : 2020-10-07DOI: 10.1215/00127094-2022-0066
Francisco Arana-Herrera
We prove a quantitative estimate with a power saving error term for the number of points in a mapping class group orbit of Teichm"uller space that lie within a Teichm"uller metric ball of given center and large radius. Estimates of the same kind are also proved for sector and bisector counts. These estimates effectivize asymptotic counting results of Athreya, Bufetov, Eskin, and Mirzakhani.
{"title":"Effective mapping class group dynamics, I: Counting lattice points in Teichmüller space","authors":"Francisco Arana-Herrera","doi":"10.1215/00127094-2022-0066","DOIUrl":"https://doi.org/10.1215/00127094-2022-0066","url":null,"abstract":"We prove a quantitative estimate with a power saving error term for the number of points in a mapping class group orbit of Teichm\"uller space that lie within a Teichm\"uller metric ball of given center and large radius. Estimates of the same kind are also proved for sector and bisector counts. These estimates effectivize asymptotic counting results of Athreya, Bufetov, Eskin, and Mirzakhani.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46729931","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 : 2020-09-29DOI: 10.1215/00127094-2022-0041
Paul Balmer, Martin Gallauer
We prove that every finite dimensional representation of a finite group over a field of characteristic p admits a finite resolution by p-permutation modules. The proof involves a reformulation in terms of derived categories.
{"title":"Finite permutation resolutions","authors":"Paul Balmer, Martin Gallauer","doi":"10.1215/00127094-2022-0041","DOIUrl":"https://doi.org/10.1215/00127094-2022-0041","url":null,"abstract":"We prove that every finite dimensional representation of a finite group over a field of characteristic p admits a finite resolution by p-permutation modules. The proof involves a reformulation in terms of derived categories.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43816454","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 : 2020-09-11DOI: 10.1215/00127094-2022-0013
Gal Binyamini, R. Cluckers, D. Novikov
We consider the problem of counting polynomial curves on analytic or definable subsets over the field ${mathbb{C}}(!(t)!)$, as a function of the degree $r$. A result of this type could be expected by analogy with the classical Pila-Wilkie counting theorem in the archimean situation. Some non-archimedean analogs of this type have been developed in the work of Cluckers-Comte-Loeser for the field ${mathbb{Q}}_p$, but the situation in ${mathbb{C}}(!(t)!)$ appears to be significantly different. We prove that the set of polynomial curves of a fixed degree $r$ on the transcendental part of a subanalytic set over ${mathbb{C}}(!(t)!)$ is automatically finite, but give examples showing that their number may grow arbitrarily quickly even for analytic sets. Thus no analog of the Pila-Wilkie theorem can be expected to hold for general analytic sets. On the other hand we show that if one restricts to varieties defined by Pfaffian or Noetherian functions, then the number grows at most polynomially in $r$, thus showing that the analog of Wilkie's conjecture does hold in this context.
我们考虑域${mathbb{C}}(!(t)!)$上解析或可定义子集上的多项式曲线的计数问题,作为度数$r$的函数。这种类型的结果可以通过与经典的Pila-Wilkie计数定理在阿基米德情形下的类比来预期。在Cluckers Comte Loeser的工作中,已经为字段${mathbb{Q}}_p$开发了一些这种类型的非阿基米德类似物,但在${ mathbb{C}(!(t)!)$中的情况似乎明显不同。我们证明了${mathbb{C}}(!(t)!)$上的子分析集超越部分上的固定次数$r$的多项式曲线集是自动有限的,但给出的例子表明,即使对于分析集,它们的数量也可以任意快速增长。因此,Pila-Wilkie定理的任何类似物都不可能适用于一般分析集。另一方面,我们证明,如果限制由Pfafian或Noetherian函数定义的变种,那么这个数字最多以$r$的形式多项式增长,从而表明Wilkie猜想的类似物在这种情况下确实成立。
{"title":"Point counting and Wilkie’s conjecture for non-Archimedean Pfaffian and Noetherian functions","authors":"Gal Binyamini, R. Cluckers, D. Novikov","doi":"10.1215/00127094-2022-0013","DOIUrl":"https://doi.org/10.1215/00127094-2022-0013","url":null,"abstract":"We consider the problem of counting polynomial curves on analytic or definable subsets over the field ${mathbb{C}}(!(t)!)$, as a function of the degree $r$. A result of this type could be expected by analogy with the classical Pila-Wilkie counting theorem in the archimean situation. \u0000Some non-archimedean analogs of this type have been developed in the work of Cluckers-Comte-Loeser for the field ${mathbb{Q}}_p$, but the situation in ${mathbb{C}}(!(t)!)$ appears to be significantly different. We prove that the set of polynomial curves of a fixed degree $r$ on the transcendental part of a subanalytic set over ${mathbb{C}}(!(t)!)$ is automatically finite, but give examples showing that their number may grow arbitrarily quickly even for analytic sets. Thus no analog of the Pila-Wilkie theorem can be expected to hold for general analytic sets. On the other hand we show that if one restricts to varieties defined by Pfaffian or Noetherian functions, then the number grows at most polynomially in $r$, thus showing that the analog of Wilkie's conjecture does hold in this context.","PeriodicalId":11447,"journal":{"name":"Duke Mathematical Journal","volume":" ","pages":""},"PeriodicalIF":2.5,"publicationDate":"2020-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47553123","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}