{"title":"The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables","authors":"M. Bialy, A. Mironov","doi":"10.4007/annals.2022.196.1.2","DOIUrl":"https://doi.org/10.4007/annals.2022.196.1.2","url":null,"abstract":"In this paper we prove the Birkhoff-Poritsky conjecture for centrally-symmetric $C^2$-smooth convex planar billiards. We assume that the domain $mathcal A$ between the invariant curve of $4$-periodic orbits and the boundary of the phase cylinder is foliated by $C^0$-invariant curves. Under this assumption we prove that the billiard curve is an ellipse. Other versions of Birkhoff-Poritsky conjecture follow from this result. For the original Birkhoff-Poritsky formulation we show that if a neighborhood of the boundary of billiard domain has a $C^1$-smooth foliation by convex caustics of rotation numbers in the interval (0; 1/4] then the boundary curve is an ellipse. In the language of first integrals one can assert that {if the billiard inside a centrally-symmetric $C^2$-smooth convex curve $gamma$ admits a $C^1$-smooth first integral which is not singular on $mathcal A$, then the curve $gamma$ is an ellipse. } \u0000The main ingredients of the proof are : (1) the non-standard generating function for convex billiards discovered in [8], [10]; (2) the remarkable structure of the invariant curve consisting of $4$-periodic orbits; and (3) the integral-geometry approach initiated in [6], [7] for rigidity results of circular billiards. Surprisingly, we establish a Hopf-type rigidity for billiard in ellipse.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44514204","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}
{"title":"Pointwise ergodic theorems for non-conventional bilinear polynomial averages","authors":"Ben Krause, Mariusz Mirek, T. Tao","doi":"10.4007/annals.2022.195.3.4","DOIUrl":"https://doi.org/10.4007/annals.2022.195.3.4","url":null,"abstract":"We establish convergence in norm and pointwise almost everywhere for the non-conventional (in the sense of Furstenberg) bilinear polynomial ergodic averages [ A_N(f,g)(x) := frac{1}{N} sum_{n =1}^N f(T^nx) g(T^{P(n)}x)] as $N to infty$, where $T colon X to X$ is a measure-preserving transformation of a $sigma$-finite measure space $(X,mu)$, $P(mathrm{n}) in mathbb Z[mathrm{n}]$ is a polynomial of degree $d geq 2$, and $f in L^{p_1}(X), g in L^{p_2}(X)$ for some $p_1,p_2 > 1$ with $frac{1}{p_1} + frac{1}{p_2} leq 1$. We also establish an $r$-variational inequality for these averages (at lacunary scales) in the optimal range $r > 2$. We are also able to ``break duality'' by handling some ranges of exponents $p_1,p_2$ with $frac{1}{p_1}+frac{1}{p_2} > 1$, at the cost of increasing $r$ slightly. \u0000This gives an affirmative answer to Problem 11 from Frantzikinakis' open problems survey for the Furstenberg--Weiss averages (with $P(mathrm{n})=mathrm{n}^2$), which is a bilinear variant of Question 9 considered by Bergelson in his survey on Ergodic Ramsey Theory from 1996. Our methods combine techniques from harmonic analysis with the recent inverse theorems of Peluse and Prendiville in additive combinatorics. At large scales, the harmonic analysis of the adelic integers $mathbb A_{mathbb Z}$ also plays a role.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48469027","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}
{"title":"Chow groups and $L$-derivatives of automorphic motives for unitary groups","authors":"Chao Li, Yifeng Liu","doi":"10.4007/annals.2021.194.3.6","DOIUrl":"https://doi.org/10.4007/annals.2021.194.3.6","url":null,"abstract":"In this article, we study the Chow group of the motive associated to a tempered global $L$-packet $pi$ of unitary groups of even rank with respect to a CM extension, whose global root number is $-1$. We show that, under some restrictions on the ramification of $pi$, if the central derivative $L'(1/2,pi)$ is nonvanishing, then the $pi$-nearly isotypic localization of the Chow group of a certain unitary Shimura variety over its reflex field does not vanish. This proves part of the Beilinson--Bloch conjecture for Chow groups and $L$-functions, which generalizes the Birch and Swinnerton-Dyer conjecture. Moreover, assuming the modularity of Kudla's generating functions of special cycles, we explicitly construct elements in a certain $pi$-nearly isotypic subspace of the Chow group by arithmetic theta lifting, and compute their heights in terms of the central derivative $L'(1/2,pi)$ and local doubling zeta integrals. This confirms the conjectural arithmetic inner product formula proposed by one of us, which generalizes the Gross--Zagier formula to higher dimensional motives.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49324603","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}
{"title":"Smooth mixing Anosov flows in dimension three are exponentially mixing","authors":"M. Tsujii, Zhiyuan Zhang","doi":"10.4007/annals.2023.197.1.2","DOIUrl":"https://doi.org/10.4007/annals.2023.197.1.2","url":null,"abstract":"We show that a topologically mixing $C^infty$ Anosov flow on a 3 dimensional compact manifold is exponential mixing with respect to any equilibrium measure with Holder potential.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48441808","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}
{"title":"The Hasse principle for random Fano hypersurfaces","authors":"T. Browning, Pierre Le Boudec, W. Sawin","doi":"10.4007/annals.2023.197.3.3","DOIUrl":"https://doi.org/10.4007/annals.2023.197.3.3","url":null,"abstract":"It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least $3$ over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thelene that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least $3$. This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41393535","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}
{"title":"Rigid local systems and the multiplicative eigenvalue problem","authors":"P. Belkale","doi":"10.4007/annals.2022.195.3.3","DOIUrl":"https://doi.org/10.4007/annals.2022.195.3.3","url":null,"abstract":"We give a construction which produces irreducible complex rigid local systems on $Bbb{P}_{Bbb{C}}^1-{p_1,dots,p_s}$ via quantum Schubert calculus and strange duality. These local systems are unitary and arise from a study of vertices in the polytopes controlling the multiplicative eigenvalue problem for the special unitary groups $operatorname{SU}(n)$ (i.e., determination of the possible eigenvalues of a product of unitary matrices given the eigenvalues of the matrices). Roughly speaking, we show that the strange duals of the simplest vertices of these polytopes give (all) possible unitary irreducible rigid local systems. As a consequence we obtain that the ranks of unitary irreducible rigid local systems (including those with finite global monodromy) on $Bbb{P}^1-S$ are bounded above if we fix the cardinality of the set $S={p_1,dots,p_s}$ and require that the local monodromies have orders which divide $n$, for a fixed $n$. Answering a question of N. Katz, we show that there are no irreducible rigid local systems of rank greater than one, with finite global monodromy, all of whose local monodromies have orders dividing $n$, when $n$ is a prime number. \u0000We also show that all unitary irreducible rigid local systems on $Bbb{P}^1_{Bbb{C}} -S$ with finite local monodromies arise as solutions to the Knizhnik-Zamalodchikov equations on conformal blocks for the special linear group. Along the way, generalising previous works of the author and J. Kiers, we give an inductive mechanism for determining all vertices in the multiplicative eigenvalue problem for $operatorname{SU}(n)$.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42682066","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}
{"title":"The rectangular peg problem","authors":"J. Greene, A. Lobb","doi":"10.4007/annals.2021.194.2.4","DOIUrl":"https://doi.org/10.4007/annals.2021.194.2.4","url":null,"abstract":"For every smooth Jordan curve $gamma$ and rectangle $R$ in the Euclidean plane, we show that there exists a rectangle similar to $R$ whose vertices lie on $gamma$. The proof relies on Shevchishin's theorem that the Klein bottle does not admit a smooth Lagrangian embedding in $mathbb{C}^2$.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46354561","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}
{"title":"Special subvarieties of non-arithmetic ball quotients and Hodge theory","authors":"G. Baldi, E. Ullmo","doi":"10.4007/annals.2023.197.1.3","DOIUrl":"https://doi.org/10.4007/annals.2023.197.1.3","url":null,"abstract":"Let $Gamma subset operatorname{PU}(1,n)$ be a lattice, and $S_Gamma$ the associated ball quotient. We prove that, if $S_Gamma$ contains infinitely many maximal totally geodesic subvarieties, then $Gamma$ is arithmetic. We also prove an Ax-Schanuel Conjecture for $S_Gamma$, similar to the one recently proven by Mok, Pila and Tsimerman. One of the main ingredients in the proofs is to realise $S_Gamma$ inside a period domain for polarised integral variations of Hodge structures and interpret totally geodesic subvarieties as unlikely intersections.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41275591","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}
{"title":"There is no Enriques surface over the integers","authors":"S. Schröer","doi":"10.4007/annals.2023.197.1.1","DOIUrl":"https://doi.org/10.4007/annals.2023.197.1.1","url":null,"abstract":"We show that there is no family of Enriques surfaces over the ring of integers. This extends non-existence results of Minkowski for families of finite etale schemes, of Tate and Ogg for families of elliptic curves, and of Fontaine for families of abelian varieties and more general smooth proper schemes with certain restrictions on Hodge numbers. Our main idea is to study the local system of numerical classes of invertible sheaves. Among other things, our result also hinges on the Weil Conjectures, Lang's classification of rational elliptic surfaces in characteristic two, the theory of exceptional Enriques surfaces due to Ekedahl and Shepherd-Barron, some recent results on the base of their versal deformation, Shioda's theory of Mordell--Weil lattices, and an extensive combinatorial study for the pairwise interaction of genus-one fibrations.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46944521","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}
{"title":"Rademacher type and Enflo type coincide","authors":"P. Ivanisvili, R. Handel, A. Volberg","doi":"10.4007/annals.2020.192.2.8","DOIUrl":"https://doi.org/10.4007/annals.2020.192.2.8","url":null,"abstract":"A nonlinear analogue of the Rademacher type of a Banach space was introduced in classical work of Enflo. The key feature of Enflo type is that its definition uses only the metric structure of the Banach space, while the definition of Rademacher type relies on its linear structure. We prove that Rademacher type and Enflo type coincide, settling a long-standing open problem in Banach space theory. The proof is based on a novel dimension-free analogue of Pisier's inequality on the discrete cube.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":null,"pages":null},"PeriodicalIF":4.9,"publicationDate":"2020-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46680999","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}