{"id":2685,"date":"2020-03-19T00:04:33","date_gmt":"2020-03-19T04:04:33","guid":{"rendered":"http:\/\/blogs.ams.org\/beyondreviews\/?p=2685"},"modified":"2020-03-19T10:01:34","modified_gmt":"2020-03-19T14:01:34","slug":"hillel-furstenberg-grigorii-margulis-win-abel-prize","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/beyondreviews\/2020\/03\/19\/hillel-furstenberg-grigorii-margulis-win-abel-prize\/","title":{"rendered":"Hillel Furstenberg & Grigori\u012d Margulis win Abel Prize"},"content":{"rendered":"

\""AbelHillel Furstenberg<\/a> and Grigori\u012d Margulis<\/a> have been announced as the winners of the 2020 Abel Prize.\u00a0 You can read the official announcement here<\/a>.\u00a0 \u00a0There is a news item about the prize on the AMS website<\/a>.\u00a0 Needless to say, they have made tremendous contributions to mathematics. In this post, I will point out a few things about Furstenberg and Margulis from MathSciNet.<\/p>\n

Note<\/strong>: Terry Tao has a short post on his blog<\/a>, which points to other, longer posts he has made mentioning Furstenberg or Margulis.<\/p>\n

Note (added 3\/19\/2020)<\/strong>:\u00a0 Kenneth Chang<\/a> has an informative article in the New York Times<\/a> about the Abel Prize and this year’s prize winners.<\/p>\n

First, playfully, we can see that the MR collaboration distance between them is 3:<\/p>\n\n\n\n\n\n
Grigori\u012d Aleksandrovich Margulis<\/a><\/td>\ncoauthored with<\/a><\/td>\nAnatoli\u012d Moiseevich Vershik<\/a><\/td>\nMR1422247<\/a><\/td>\n<\/tr>\n
Anatoli\u012d Moiseevich Vershik<\/a><\/td>\ncoauthored with<\/a><\/td>\nHarry Kesten<\/a><\/td>\nMR2292144<\/a><\/td>\n<\/tr>\n
Harry Kesten<\/a><\/td>\ncoauthored with<\/a><\/td>\nHillel Furstenberg<\/a><\/td>\nMR0121828<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

So Furstenberg has a Margulis number of 3, and, symmetrically, Margulis has a Furstenberg number of 3.\u00a0 The path between them is not unique:<\/p>\n\n\n\n\n\n
Hillel Furstenberg<\/a><\/td>\ncoauthored with<\/a><\/td>\nVitaly Bergelson<\/a><\/td>\nMR1417769<\/a><\/td>\n<\/tr>\n
Vitaly Bergelson<\/a><\/td>\ncoauthored with<\/a><\/td>\nManfred Leopold Einsiedler<\/a><\/td>\nMR3430267<\/a><\/td>\n<\/tr>\n
Manfred Leopold Einsiedler<\/a><\/td>\ncoauthored with<\/a><\/td>\nGrigori\u012d Aleksandrovich Margulis<\/a><\/td>\nMR2507639<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n

Hillel Furstenberg<\/h3>\n

According to the Mathematics Genealogy Project<\/a>, Furstenberg has 20 students and 171 descendants so far.\u00a0 He was, himself, a student of Salomon Bochner<\/a> at Princeton.\u00a0 In MathSciNet, Furstenberg has 67 publications<\/a> and 3,460 citations<\/a>.\u00a0 He has 17 coauthors<\/a>, the most frequent of which are Yitzhak Katznelson<\/a> and Benjamin Weiss<\/a>.<\/p>\n

Furstenberg’s most cited work in MathSciNet is his book based on his Porter Lectures at Rice University in 1978, published as<\/p>\n

MR0603625<\/strong><\/a>\u00a0\u00a0<\/b><\/span>
\nFurstenberg, H.<\/a>
\nRecurrence in ergodic theory and combinatorial number theory.<\/span>
\nM. B. Porter Lectures.\u00a0Princeton University Press, Princeton, N.J.,<\/em>\u00a01981.\u00a0xi<\/span>+203 pp. ISBN: 0-691-08269-3<\/p>\n

His most cited paper is<\/p>\n

MR0213508<\/strong><\/a>\u00a0\u00a0<\/b><\/span>
\nFurstenberg, Harry<\/a>
\nDisjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation.<\/span>
\nMath. Systems Theory<\/em><\/a>\u00a01\u00a0<\/strong>1967 1\u201349.<\/p>\n

Furstenberg gave a series of CBMS Lectures at Kent State University in 2011, which were published as<\/p>\n

MR3235463<\/strong><\/a>
\nFurstenberg, Hillel<\/a>
\nErgodic theory and fractal geometry.<\/span>
\nCBMS Regional Conference Series in Mathematics, 120.<\/a>\u00a0American Mathematical Society, Providence, RI,<\/em>\u00a02014. x+69 pp. ISBN: 978-1-4704-1034-6<\/p>\n

My favorite paper by Furstenberg is<\/p>\n

MR0068566<\/strong>\u00a0<\/a>
\nFurstenberg, Harry<\/a>
\nOn the infinitude of primes.<\/strong>
\nAmer. Math. Monthly<\/em><\/a>\u00a062\u00a0<\/a>(1955),\u00a0<\/a>353.<\/p>\n

There is no review in MathSciNet, but whatever we could have said would have been longer than the paper, which is a one paragraph proof of the infinitude of primes using topology!<\/p>\n

\n

Grigori\u012d\u00a0Margulis<\/h3>\n

According to the Mathematics Genealogy Project<\/a>, Margulis has 19 students and 56 descendants so far.\u00a0 He was a student of Yakov Sina\u012d<\/a>, another winner of the Abel Prize.\u00a0 In MathSciNet, Margulis has 113 publications<\/a> and 3,740 citations<\/a>.\u00a0 He has 48 coauthors<\/a>, the most frequent of which has been Dmitry Kleinbock<\/a>.\u00a0 Margulis is famous for various things, the first of which may be his proof of the Oppenheim conjecture:<\/p>\n

MR0882782<\/strong><\/a>
\nMargulis, Gregori Aleksandrovitch<\/a>(2-AOS-IT)<\/a><\/span>
\nFormes quadratriques ind\u00e9finies et flots unipotents sur les espaces homog\u00e8nes.<\/span>\u00a0(French summary)<\/span>\u00a0[Indefinite quadratic forms and unipotent flows on homogeneous spaces]
\nC. R. Acad. Sci. Paris S\u00e9r. I Math.<\/em><\/a>\u00a0304\u00a0<\/a>(1987),\u00a0<\/a>no. 10,<\/a> 249\u2013253.<\/p>\n

Margulis’s book<\/p>\n

MR1090825\u00a0<\/strong><\/a>
\n<\/strong>Margulis, G. A.<\/a>(RS-AOS-IT)<\/a>
\nDiscrete subgroups of semisimple Lie groups.
\n<\/strong>Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 17.<\/a>\u00a0Springer-Verlag, Berlin,<\/em> 1991.\u00a0x+388 pp. ISBN: 3-540-12179-X<\/p>\n

is a true classic.\u00a0 Besides this book, Margulis’s most cited works in MathSciNet are<\/p>\n

MR0939574<\/strong><\/a>\u00a0\u00a0<\/b><\/span>
\nMargulis, G. A.<\/a>
\nExplicit group-theoretic constructions of combinatorial schemes and their applications in the construction of expanders and concentrators.<\/span>\u00a0(Russian)<\/strong>
\nProblemy Peredachi Informatsii<\/em><\/a>\u00a024\u00a0<\/strong>(1988),\u00a0no. 1,<\/a>\u00a051\u201360;\u00a0translation in<\/em>
\nProblems Inform. Transmission<\/em><\/a>\u00a024\u00a0<\/strong>(1988),\u00a0no. 1,<\/a> 39\u201346<\/p>\n

and<\/p>\n

MR1652916<\/strong><\/a>\u00a0\u00a0<\/b><\/span>
\nKleinbock, D. Y.<\/a>(1-IASP)<\/a><\/span>;\u00a0Margulis, G. A.<\/a>(1-YALE)<\/a><\/span>
\nFlows on homogeneous spaces and Diophantine approximation on manifolds.<\/span>\u00a0(English summary)<\/span>
\nAnn. of Math. (2)<\/em><\/a>\u00a0148\u00a0<\/a>(1998),\u00a0<\/a>no. 1,<\/a>\u00a0339\u2013360.<\/p>\n

\n

Some reviews of Hillel Furstenberg’s work.<\/h4>\n

MR0603625<\/strong>\u00a0\u00a0<\/b><\/span>
\nFurstenberg, H.<\/a>
\nRecurrence in ergodic theory and combinatorial number theory.<\/span>
\nM. B. Porter Lectures.\u00a0Princeton University Press, Princeton, N.J.,<\/em>\u00a01981.\u00a0xi<\/span>+203 pp. ISBN: 0-691-08269-3
\n28D05 (10K10 10L10 54H20)<\/a><\/p>\n

This very readable book discusses some recent applications, due principally to the author, of dynamical systems and ergodic theory to combinatorics and number theory. It is divided into three parts. In Part I, entitled “Recurrence and uniform recurrence in compact spaces”, the author gives an introduction to recurrence in topological dynamical systems, and then proves the multiple Birkhoff recurrence theorem: If\u00a0$T_1,\\cdots,T_l$<\/span>\u00a0are commuting maps of a compact metric space to itself, then there exist a point\u00a0$x$<\/span>\u00a0of the space and a sequence\u00a0$n_r$<\/span>\u00a0of integers tending to infinity such that\u00a0$\\lim_{r\\rightarrow\\infty}T_i^{n_r}x=x$<\/span>\u00a0for\u00a0$1\\leq i\\leq l$<\/span>. From this theorem a multidimensional version of van der Waerden’s theorem on arithmetic progressions is deduced, and applications to Diophantine inequalities are given.<\/p>\n

Part II carries the title “Recurrence in measure preserving systems”. After a short introduction to the relevant part of measure-theoretic ergodic theory, this section is devoted to a proof of the multiple recurrence theorem: If\u00a0$T_1,T_2,\\cdots,T_l$<\/span>\u00a0are commuting measure-preserving transformations of a finite measure space\u00a0$(X,B,\\mu)$<\/span>\u00a0and if\u00a0$A\\in B$<\/span>\u00a0with\u00a0$\\mu(A)>0$<\/span>, then\u00a0$$ \\liminf_{N\\rightarrow\\infty}\\frac 1{N}\\sum_{n=1}^N\\mu(T_1^{-n}A\\cap T_2^{-n}A\\cap\\cdots\\cap T_l^{-n}A)>0 $$<\/span>\u00a0(and hence\u00a0$\\mu(T_1^{-n}A\\cap\\cdots\\cap T_l^{-n}A)>0$<\/span>\u00a0for some\u00a0$n\\geq 1$<\/span>). From this result the author deduces a multidimensional version of Szemer\u00e9di’s theorem on the existence of arbitrarily long arithmetic progressions in sequences of integers with positive density.<\/p>\n

Part III, called “Dynamics and large sets of integers”, investigates the connections between recurrence in topological dynamics and combinatorial results concerning finite partitions of the integers (e.g., Hindman’s theorem, Rado’s theorem). Here the notion of proximality plays a central role.
\nIn reading this book, the reviewer found that the first part tickled his imagination and made him want to continue, the second part provided a good deal of work and tested his technical ability, while the last part led him to imagine the future possibilities for research. An excellent work!<\/p>\n

Reviewed by\u00a0Michael Keane<\/a><\/span><\/p>\n

MR0213508<\/strong>\u00a0\u00a0<\/b><\/span>
\nFurstenberg, Harry<\/a>
\nDisjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation.<\/span>
\nMath. Systems Theory<\/em><\/a>\u00a01\u00a0<\/strong>1967 1\u201349.
\n28.70 (10.00)<\/a><\/p>\n

The approach to ergodic theory in this remarkable paper is complementary to the one developed, mainly by the Russian school, associated with numerical and group invariants. In fact, the relationship investigated here between two measure-preserving transformations (processes) and between two continuous maps (flows) is disjointness, an extreme form of non-isomorphism. The concept seems rich enough to warrant quite a few papers, and these papers will no doubt be largely stimulated by the present one. An interesting aspect of the paper, apart from the new results it contains, is the entirely novel demonstration of a number of established theorems. The paper is divided into four parts: (I) Disjoint processes; (II) Disjoint flows; (III) Properties of minimal sets; (IV) A problem in diophantine approximation. Two processes\u00a0$X,Y$<\/span>\u00a0are said to be disjoint\u00a0$(X\\perp Y)$<\/span>\u00a0if whenever they are homomorphic images (factors) of the same process\u00a0$Z$<\/span>, then there is a homomorphism of\u00a0$Z$<\/span>\u00a0onto\u00a0$X\\times Y$<\/span>\u00a0which, when composed with the projections of\u00a0$X\\times Y$<\/span>\u00a0to\u00a0$X,Y$<\/span>, yields the given homomorphisms. (The commutativity in the diagram of this definition is essential, as a quick examination of a process\u00a0$X$<\/span>\u00a0which is isomorphic to\u00a0$X\\times X$<\/span>\u00a0will reveal.) An equivalent definition insists that the inverse images of the two Borel fields be independent. The disjointness of two flows is defined similarly (but of course there is no analogous second definition). Two processes (flows) are co-prime if they have no non-trivial common factor. Disjointness implies co-primeness. Definitions are given of Bernoulli processes\u00a0$\\scr B$<\/span>, Pinsker processes\u00a0$\\scr P$<\/span>\u00a0(with completely positive entropy), deterministic processes\u00a0$\\scr D$<\/span>\u00a0(with zero entropy) without reference to entropy. A particularly interesting class is the class\u00a0$\\scr W$<\/span>\u00a0of Weyl processes, which, in view of the author’s structural theorem [Amer. J. Math.\u00a085<\/span>\u00a0(1963), 477\u2013515;\u00a0MR0157368<\/a>], is a measure-theoretic analogue of the class of distal flows. {In this connection the reviewer is a little puzzled by the omission of the condition that\u00a0$\\scr W$<\/span>\u00a0be closed under inverse limits, for it seems that such a definition would still yield the result “Mixing processes are disjoint from Weyl processes” and would provide yet another proof of L. M. Abramov’s result [Izv. Akad. Nauk SSSR Ser. Mat.\u00a026<\/span>\u00a0(1962), 513\u2013530;\u00a0MR0143040<\/a>; translated in Amer. Math. Soc. Transl. (2)\u00a039<\/span>\u00a0(1964), 37\u201356; see\u00a0MR0160698<\/a>] that processes with quasi-discrete spectrum have zero entropy.} Disjointness relations are established between the various classes, but M. S. Pinsker’s result [Dokl. Akad. Nauk SSSR\u00a0133<\/span>\u00a0(1960), 1025\u20131026; translated as Soviet Math. Dokl.\u00a01<\/span>\u00a0(1960), 937\u2013938;\u00a0MR0152628<\/a>]\u00a0$\\scr P\\perp\\scr D$<\/span>\u00a0is not proved. Two processes with positive entropy are not disjoint, in fact are not co-prime. This is a consequence of Sina\u012d’s weak isomorphism theorem, but it is good to see a proof which does not depend upon such a deep result. Part I ends with a discussion of the relationship between disjointness and a problem of filtering.<\/p>\n

In Part II analogues of weak mixing\u00a0$\\scr W$<\/span>\u00a0and ergodicity\u00a0$\\scr E$<\/span>\u00a0are defined for flows. Distal flows\u00a0$\\scr D$<\/span>\u00a0are those such that\u00a0$T^{m_n}x\\rightarrow z$<\/span>,\u00a0$T^{m_n}y\\rightarrow z$<\/span>\u00a0imply\u00a0$x=y$<\/span>. Flows\u00a0$T$<\/span>\u00a0with a dense set of periodic points and such that\u00a0$T^n\\ (n\\neq 0)$<\/span>\u00a0is ergodic, are denoted by\u00a0$\\scr F$<\/span>. The main results: If two flows are disjoint, one must be minimal\u00a0$(\\scr M)$<\/span>;\u00a0$\\scr F\\perp\\scr M$<\/span>;\u00a0$\\scr W\\times\\scr M\\subset\\scr E$<\/span>;\u00a0$\\scr W\\perp\\scr D\\cap\\scr M$<\/span>.
\nPart III is devoted to an analysis of the smallness of minimal sets for endomorphisms of compact abelian groups, with special emphasis on the circle group and the endomorphism\u00a0$Tz=z^n\\ (n\\neq 0)$<\/span>. In fact this endomorphism is an\u00a0$\\scr F$<\/span>\u00a0flow and as such every minimal set is “restricted” and therefore cannot be a basis for the group. If\u00a0$A$<\/span>\u00a0is a\u00a0$T$<\/span>\u00a0invariant (closed) subset of the circle, then the topological entropy of\u00a0$T$<\/span>\u00a0restricted to\u00a0$A$<\/span>\u00a0is the Hausdorff dimension of\u00a0$A$<\/span>\u00a0multiplied by\u00a0$\\log n$<\/span>. {A reference to P. Billingsley [e.g.,\u00a0Ergodic theory and information<\/span>, Wiley, New York, 1965;\u00a0MR0192027<\/a>] and other authors would have been appropriate here.}<\/p>\n

An example of a minimal set with positive topological entropy is given (cf. F. Hahn and Y. Katznelson [Trans. Amer. Math. Soc.\u00a0126<\/span>\u00a0(1967), 335\u2013360;\u00a0MR0207959<\/a>] for a sharper result). The main result of the final Part IV says that if\u00a0$\\Sigma$<\/span>\u00a0is a non-lacunary (multiplicative) semi-group of integers and if\u00a0$\\alpha$<\/span>\u00a0is irrational, then\u00a0$\\{n\\alpha\\ \\text{mod}\\,1\\colon n\\in\\Sigma\\}$<\/span>\u00a0is dense in the unit interval.<\/p>\n

Reviewed by\u00a0W. Parry<\/a><\/span><\/p>\n

MR0498471<\/strong>
\nFurstenberg, Harry<\/a>
\nErgodic behavior of diagonal measures and a theorem of Szemer\u00e9di on arithmetic progressions.<\/span>
\nJ. Analyse Math.<\/em><\/a>\u00a031\u00a0<\/a>(1977),\u00a0<\/a>204\u2013256.
\n10L10 (10K10 28A65)<\/a><\/p>\n

\n

L’article est consacr\u00e9 \u00e0 la d\u00e9monstration du th\u00e9or\u00e8me suivant d’apparence anodine: Si\u00a0$(X,\\scr B,\\mu\\,T)$<\/span>\u00a0est un syst\u00e8me dynamique et si\u00a0$B\\in\\scr B$<\/span>\u00a0est de\u00a0$\\text{mesure}>0$<\/span>, pour tout entier\u00a0$k$<\/span>\u00a0il existe un entier\u00a0$n$<\/span>\u00a0tel que\u00a0$\\mu(B\\cap T^nB\\cap\\cdots\\cap T^{(k-1)n}B)\\geq 0$<\/span>. La d\u00e9monstration en est relativement ais\u00e9e lorsque la transformation\u00a0$T$<\/span>\u00a0est faiblement de type m\u00e9lang\u00e9 (weakly mixing). Mais il en va tout autrement dans le cas g\u00e9n\u00e9ral. Et c’est l’occasion pour l’auteur de d\u00e9velopper des techniques dont le champ d’application d\u00e9passe tr\u00e8s largement la d\u00e9monstration du th\u00e9or\u00e8me ci-dessus. Citons en particulier (i) la construction de la suite distale d’un syst\u00e8me dynamique permettant de repr\u00e9senter un syst\u00e8me dynamique comme un fibr\u00e9 dont la base est presque-p\u00e9riodique et les fibres faiblement de type m\u00e9lang\u00e9. La base admet d’autre part une suite de composition (donn\u00e9e par la s\u00e9rie distale) dont les quotients sont des espaces homog\u00e8nes de groupes compacts, (ii) l’\u00e9tude de la d\u00e9composition ergodique des mesures invariantes sur un syst\u00e8me dynamique produit d’une famille finie de syst\u00e8mes dynamiques, \u00e0 l’aide de la notion de mesure produit conditionnel sur un quotient: en gros on cherche une d\u00e9sint\u00e9gration de la mesure donn\u00e9e en mesures produits.<\/p>\n

Ces quelques indications ne sauraient rendre compte de toute la richesse de cet article dont la lecture s’impose tout d’abord pour les r\u00e9sultats d\u00e9montr\u00e9s mais plus encore pour les moyens d’analyse mis en oeuvre.<\/p>\n

Reviewed by\u00a0Fran\u00e7ois Aribaud<\/a><\/span><\/p>\n<\/div>\n

<\/div>\n
\n

Some reviews of Grigori\u012d Margulis’s work.<\/h4>\n

MR1090825<\/strong>\u00a0\u00a0<\/b><\/span>
\nMargulis, G. A.<\/a>(RS-AOS-IT)<\/a><\/span>
\nDiscrete subgroups of semisimple Lie groups.<\/span>
\nErgebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 17.<\/a>\u00a0Springer-Verlag, Berlin,<\/em>\u00a01991.\u00a0x<\/span>+388 pp. ISBN: 3-540-12179-X
\n22E40 (20Hxx 22-02 22D40)<\/a><\/p>\n

\n

In 1972, when M. S. Raghunathan’s book\u00a0Discrete subgroups of Lie groups<\/span>\u00a0appeared [Springer, New York, 1972;\u00a0MR0507234<\/a>], the theory of lattices (i.e. discrete subgroups of finite covolume) in nilpotent and solvable Lie groups was pretty well understood (most of the important results being due to A. I. Mal\u02b9tsev, G. D. Mostow, H.-C. Wang and L. Auslander). Thanks to the work of H. Minkowski, C. L. Siegel, A. Borel and Harish-Chandra, many important aspects of arithmetic subgroups of arbitrary groups were also well understood: Godement’s compactness criterion had been proved and a nice fundamental domain for such lattices had been constructed by Borel and Harish-Chandra and then an intrinsic one by Borel. However, the study of arbitrary lattices in semisimple groups had just begun with the rigidity results of A. Selberg and A. Weil. The next important development in the area was the proof by D. Kazhdan and the author of Siegel’s hypothesis which says that given a real semisimple Lie group\u00a0$G$<\/span>\u00a0and a fixed Haar measure on it, there is a constant\u00a0$c>0$<\/span>\u00a0such that with respect to the given Haar measure, the covolume of any lattice in\u00a0$G$<\/span>\u00a0is at least\u00a0$c$<\/span>; and of Selberg’s conjecture which asserts that a noncocompact lattice in a real linear semisimple Lie group contains a nontrivial unipotent element. Raghunathan’s book gave an elegant treatment of all the above results except the construction of fundamental domains for arithmetic subgroups in arbitrary semisimple groups. The latter was described in Borel’s\u00a0Introduction aux groupes arithm\u00e9tiques<\/span>\u00a0[Hermann, Paris, 1969;\u00a0MR0244260<\/a>].<\/p>\n

Since the appearance of Raghunathan’s book, there have been several very profound developments in the theory of lattices in semisimple groups and most of these developments are due to the author of the book under review. Among these are the proof of super-rigidity and\u00a0$S$<\/span>-arithmeticity of irreducible lattice in any group of the form\u00a0$G=\\prod^n_{i=1}G_i$<\/span>, where\u00a0$G_i$<\/span>\u00a0is the group of rational points of a semisimple algebraic group\u00a0$G_i$<\/span>\u00a0defined over a nondiscrete locally compact field\u00a0$k_i$<\/span>\u00a0and\u00a0$\\sum k_i-{\\rm rank}\\,G_i\\geq 2$<\/span>, and also the proof of finiteness of the index of any noncentral normal subgroup of a lattice in such a\u00a0$G$<\/span>. The author set himself the task of presenting a complete and reasonably self-contained account of these results in the book under review. He has admirably succeeded in his task. The proofs of results on super-rigidity, arithmeticity and the noncentral normal subgroups of lattices in real semisimple Lie groups are also given in a monograph by R. J. Zimmer [Ergodic theory and semisimple groups<\/span>, Birkh\u00e4user, Basel, 1984;\u00a0MR0776417<\/a>]. However, in the present book these results are proved in the most natural general setting, the only exception being the proof of arithmeticity of lattices, where the author assumes that in case\u00a0$k_i$<\/span>\u00a0is of positive characteristic,\u00a0$G_i$<\/span>\u00a0is “admissible”. T. N. Venkataramana, adapting the author’s proof to arbitrary characteristic, gave a proof of arithmeticity without any restrictions on the\u00a0$G_i$<\/span>. This proof became available a little too late to be included in the book.<\/p>\n

The book includes a chapter on density and ergodicity theorems which contains proofs of various generalizations of Borel’s density theorem, the strong approximation property and Mautner’s lemma. There is also a chapter devoted to Kazhdan’s property (T) which gives a detailed account, with complete proofs, of results on groups with property (T). Two chapters of the book are devoted to the existence theorems for equivariant measurable maps, including a basic theorem in this direction due to H. Furstenberg. These existence theorems are vital for the proof of super-rigidity.
\nThe book is carefully written and the reviewer did not spot any gaps or errors in the proofs.<\/p>\n

Reviewed by\u00a0Gopal Prasad<\/a><\/span><\/p>\n<\/div>\n

MR1652916<\/strong>\u00a0\u00a0<\/b><\/span>
\nKleinbock, D. Y.<\/a>(1-IASP)<\/a><\/span>;\u00a0Margulis, G. A.<\/a>(1-YALE)<\/a><\/span>
\nFlows on homogeneous spaces and Diophantine approximation on manifolds.<\/span>\u00a0(English summary)<\/span>
\nAnn. of Math. (2)<\/em><\/a>\u00a0148\u00a0<\/a>(1998),\u00a0<\/a>no. 1,<\/a>\u00a0339\u2013360.
\n11J83 (22E40)<\/a><\/p>\n

FEATURED REVIEW.
\nThis important paper settles conjectures of Baker and Sprindzhuk in the theory of Diophantine approximation on manifolds formulated in the 1970s. We adopt the following notations: for\u00a0${\\mathbf x}\\in\\mathbf R^n$<\/span>\u00a0let\u00a0$\\|\\mathbf x\\|=\\max_{1\\le i\\le n} |x_i|, \\Pi(\\mathbf x)=\\prod_{i=1}^n |x_i|$<\/span>. One says that a vector\u00a0$\\mathbf x\\in\\mathbf R^n$<\/span>\u00a0is very well approximated (VWA) if for some\u00a0$\\epsilon>0$<\/span>\u00a0there are infinitely many\u00a0$q\\in\\mathbf Z$<\/span>\u00a0and\u00a0$\\mathbf p\\in\\mathbf Z^n$<\/span>\u00a0such that\u00a0$\\|q\\mathbf x+\\mathbf p\\|^n\\cdot |q|\\le|q|^{-\\epsilon}$<\/span>. Similarly, a vector\u00a0$\\mathbf x\\in\\mathbf R^n$<\/span>\u00a0is very well multiplicatively approximated (VWMA) if for some\u00a0$\\epsilon>0$<\/span>\u00a0there are infinitely many\u00a0$q\\in\\mathbf Z$<\/span>\u00a0and\u00a0$\\mathbf p\\in\\mathbf Z^n$<\/span>\u00a0such that\u00a0$\\Pi(q\\mathbf x+\\mathbf p)\\cdot |q|\\le|q|^{-\\epsilon}$<\/span>.<\/p>\n

Clearly, a vector is VWMA whenever it is VWA. One can also show that almost every\u00a0$\\mathbf x\\in\\mathbf R^n$<\/span>\u00a0is not VWMA. A much more difficult problem arises if one restricts one’s attention to a proper submanifold\u00a0$M\\subset\\mathbf R^n$<\/span>. In the 1930s Mahler conjectured that almost all points on the curve\u00a0$M_0=\\{(t,t^2,\\cdots,t^n), t\\in\\mathbf R\\}\\subset\\mathbf R^n$<\/span>\u00a0are not VWA. This was settled by V. G. Sprindzhuk [Dokl. Akad. Nauk SSSR\u00a0155<\/span>\u00a0(1964), 54\u201356;\u00a0MR0158868<\/a>]. Later, Sprindzhuk in [Uspekhi Mat. Nauk\u00a035<\/span>\u00a0(1980), no. 4(214), 3\u201368, 248;\u00a0MR0586190<\/a>] conjectured the following. Let\u00a0$f_1,\\cdots,f_n$<\/span>\u00a0be real-analytic functions in\u00a0$\\mathbf x\\in U$<\/span>,\u00a0$U$<\/span>\u00a0being a domain in\u00a0$\\mathbf R^d$<\/span>, which together with\u00a0$1$<\/span>\u00a0are linearly independent over\u00a0$\\mathbf R$<\/span>. Then almost all points of\u00a0$M$<\/span>\u00a0(in the sense of the natural measure on\u00a0$M$<\/span>) are not VWA.<\/p>\n

The case\u00a0$n=2$<\/span>\u00a0of the conjecture was settled by W. M. Schmidt [Monatsh. Math.\u00a068<\/span>\u00a0(1964), 154\u2013166;\u00a0MR0171753<\/a>], and recently V. V. Beresnevich and V. I. Bernik [Acta Arith.\u00a075<\/span>\u00a0(1996), no. 3, 219\u2013233;\u00a0MR1387861<\/a>] proved it for\u00a0$n=3$<\/span>.<\/p>\n

A stronger conjecture (also formulated by Sprindzhuk) states that almost all points of\u00a0$M$<\/span>\u00a0are not VWMA. It has not been proved even for the curve\u00a0$M_0$<\/span>\u00a0as above (this particular case is known as Baker’s conjecture) except for the case\u00a0$n=2$<\/span>\u00a0[V. G. Sprindzhuk,\u00a0Metric theory of Diophantine approximations<\/span>, Translated from the Russian and edited by Richard A. Silverman, Winston, Washington, D.C., 1979;\u00a0MR0548467<\/a>].<\/p>\n

In the paper under review the authors prove a very general result which settles both of the conjectures of Sprindzhuk and Baker. Let\u00a0$M=\\{\\mathbf f(\\mathbf x)\\colon\\ \\mathbf x\\in U\\}$<\/span>, where\u00a0$U$<\/span>\u00a0is open in\u00a0$\\mathbf R^d$<\/span>\u00a0and\u00a0$\\mathbf f=(f_1,\\cdots, f_n)$<\/span>\u00a0is a\u00a0$C^m$<\/span>\u00a0embedding of\u00a0$U$<\/span>\u00a0into\u00a0$\\mathbf R^n$<\/span>. One says that a point\u00a0$\\mathbf y=\\mathbf f(\\mathbf x)$<\/span>\u00a0of the manifold\u00a0$M$<\/span>\u00a0is nondegenerate if for some\u00a0$l\\le m$<\/span>\u00a0the space\u00a0$\\mathbf R^n$<\/span>\u00a0is spanned by partial derivatives of\u00a0$\\mathbf f$<\/span>\u00a0at\u00a0$\\mathbf x$<\/span>\u00a0of order up to\u00a0$l$<\/span>\u00a0(this is an infinitesimal version of not lying in any proper affine hyperplane). Assume now that almost every point of\u00a0$M$<\/span>\u00a0is nondegenerate. Then almost all points of\u00a0$M$<\/span>\u00a0are not VWMA.<\/p>\n

The proof makes use of the ergodic theory of homogeneous actions on the space\u00a0$\\scr L_{n+1}={\\rm SL}_{n+1}(\\mathbf R)\/{\\rm SL}_{n+1}(\\mathbf Z)$<\/span>\u00a0(which is just the space of unimodular lattices in\u00a0$\\mathbf R^{n+1}$<\/span>). More precisely, given $\\mathbf y\\in\\mathbf R^n$<\/span>\u00a0let\u00a0$\\Lambda_{\\bf y}=\\left(\\begin{array}{ccc} 1&\\mathbf y^{\\top}\\\\ 0&I_n\\end{array}\\right)\\mathbf Z^{n+1}$<\/span>\u00a0be a unimodular lattice in\u00a0$\\mathbf R^{n+1}$<\/span>. For\u00a0$\\mathbf t=(t_1,\\cdots,t_n), t_i\\ge 0$<\/span>, define\u00a0$t=\\sum_{i=1}^n t_i\\text{ and } g_\\mathbf t={\\rm diag}(e^t,e^{-t_1},\\cdots,e^{-t_n})\\in {\\rm SL}_{n+1}(\\mathbf R).$<\/span>\u00a0Finally, one introduces a function\u00a0$\\delta$<\/span>\u00a0on\u00a0$\\scr L_{n+1}$<\/span>\u00a0by\u00a0$\\delta(\\Lambda)=\\inf_{\\mathbf v\\in\\Lambda-\\{0\\}}\\|v\\|$<\/span>.<\/p>\n

It is easy to prove that for any\u00a0$\\mathbf y\\in\\mathbf R^{n}$<\/span>\u00a0which is VWMA there exist\u00a0$\\gamma>0$<\/span>\u00a0and infinitely many\u00a0$\\mathbf t\\in\\mathbf Z_+^n$<\/span>\u00a0such that\u00a0$\\delta(g_\\mathbf t\\Lambda_\\mathbf y)\\le e^{-\\gamma t}$<\/span>. Thus, in view of Borel-Cantelli, it is enough to prove that for any nondegenerate point\u00a0$\\mathbf y_0=\\mathbf f(\\mathbf x_0)\\in M$<\/span>\u00a0there is a neighbourhood\u00a0$B$<\/span>\u00a0of\u00a0$\\mathbf x_0\\in U$<\/span>\u00a0such that given\u00a0$\\gamma>0$<\/span>, one has\u00a0$\\sum_{\\mathbf t\\in\\mathbf Z^n_+}|E_\\mathbf t|<\\infty$<\/span>, where\u00a0$E_\\mathbf t=\\{\\mathbf x\\in B\\colon \\delta(g_\\mathbf t\\Lambda_{\\mathbf f(\\mathbf x)})\\le e^{-\\gamma t}\\}$<\/span>\u00a0and\u00a0$|\\cdot|$<\/span>\u00a0stands for the Lebesgue measure.<\/p>\n

This is an immediate corollary of the following nontrivial estimate: (1)\u00a0$|E_\\mathbf t|\\le Ce^{-\\gamma t\/{dl}}|B|$<\/span>\u00a0for some ball\u00a0$B$<\/span>\u00a0centered at\u00a0$\\mathbf x_0$<\/span>, some\u00a0$C>0$<\/span>\u00a0and all\u00a0$\\mathbf t\\in\\mathbf Z_+^n$<\/span>\u00a0with large enough\u00a0$t$<\/span>\u00a0(here\u00a0$l\\le m$<\/span>\u00a0is taken from the nondegeneracy condition for\u00a0$\\mathbf y_0$<\/span>). The estimate is obtained by refining proofs of earlier important results on nondivergence of unipotent flows on the space of lattices.<\/p>\n

Namely, let\u00a0$\\{u_x, x\\in\\mathbf R\\}\\subset {\\rm SL}_k(\\mathbf R)$<\/span>\u00a0be a one-parameter subgroup all of whose entries are polynomials in\u00a0$x$<\/span>\u00a0(such a subgroup is called unipotent). A remarkable result of Margulis [in\u00a0Lie groups and their representations (Proc. Summer School, Bolyai, J\u00e1nos Math. Soc., Budapest, 1971)<\/span>, 365\u2013370, Halsted, New York, 1975;\u00a0MR0470140<\/a>] states that no orbit of the action of\u00a0$u_\\mathbf R$<\/span>\u00a0on\u00a0$\\scr L_{k}$<\/span>\u00a0goes to infinity. By Mahler’s criterion, this is equivalent to saying that given any\u00a0$\\Lambda\\in\\scr L_{k}$<\/span>, one has\u00a0$\\delta(u_x\\Lambda)\\not\\to 0$<\/span>\u00a0as\u00a0$x\\to\\infty$<\/span>. Later, S. G. Dani [Ergodic Theory Dynam. Systems\u00a06<\/span>\u00a0(1986), no. 2, 167\u2013182;\u00a0MR0857195<\/a>] proved more: For any\u00a0$c>0$<\/span>\u00a0and any\u00a0$\\Lambda\\in\\scr L_{k}$<\/span>\u00a0there exists\u00a0$\\epsilon>0$<\/span>\u00a0such that given any unipotent subgroup\u00a0$u_\\mathbf R\\subset {\\rm SL}_k(\\mathbf R)$<\/span>, one has (2)\u00a0$|\\{x\\in [0,T]\\colon \\delta(u_x\\Lambda)<\\epsilon\\}|\\le cT.$<\/span>\u00a0Similar estimates were found by N. A. Shah [Duke Math. J.\u00a075<\/span>\u00a0(1994), no. 3, 711\u2013732;\u00a0MR1291701<\/a>] for any polynomial map\u00a0$\\mathbf R^d\\to {\\rm SL}_k(\\mathbf R)$<\/span>\u00a0in place of the polynomial homomorphism\u00a0$u\\colon \\mathbf R\\to {\\rm SL}_k(\\mathbf R)$<\/span>.<\/p>\n

Here the authors establish a quantitative relation between\u00a0$c$<\/span>\u00a0and\u00a0$\\epsilon$<\/span>\u00a0in (2), thus sharpening the result of Dani: it turns out that\u00a0$c=c_1(k)\\epsilon^{1\/k^2}$<\/span>. The proof uses the notion of\u00a0$(C,\\alpha)$<\/span>-good functions introduced by A. Eskin, S. Mozes and Shah [Geom. Funct. Anal.\u00a07<\/span>\u00a0(1997), no. 1, 48\u201380;\u00a0MR1437473<\/a>], and the fact that polynomials of degree at most\u00a0$k$<\/span>\u00a0are\u00a0$(C_k,1\/k)$<\/span>\u00a0good. In a similar way they obtain (1) using the fact that in a neighbourhood of a nondegenerate point, linear combinations of\u00a0$1,f_1,\\cdots,f_n$<\/span>\u00a0are\u00a0$(C,1\/dl)$<\/span>-good.<\/p>\n

Finally, the authors note that the methods of their paper can help in solving related problems on Diophantine approximations in the\u00a0$p$<\/span>-adic case.<\/p>\n

Reviewed by\u00a0Alexander Starkov<\/a><\/span><\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

Hillel Furstenberg and Grigori\u012d Margulis have been announced as the winners of the 2020 Abel Prize.\u00a0 You can read the official announcement here.\u00a0 \u00a0There is a news item about the prize on the AMS website.\u00a0 Needless to say, they have … Continue reading →<\/span><\/a><\/p>\n

<\/div>\n","protected":false},"author":86,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[44],"tags":[],"class_list":["post-2685","post","type-post","status-publish","format-standard","hentry","category-prizes-and-awards"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p6C2KK-Hj","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/2685","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/users\/86"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/comments?post=2685"}],"version-history":[{"count":30,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/2685\/revisions"}],"predecessor-version":[{"id":2715,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/2685\/revisions\/2715"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media?parent=2685"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/categories?post=2685"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/tags?post=2685"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}