Some highlights of Shenzhen conference are under the fold.
Shenzhen conference photos
July 12, 2018Shenzhen problems: zero entropy
July 11, 2018These two questions were stated by me in Shenzhen after Federico Rodriguez Hertz’s talk on flexibility of Lyapunov exponents. I stumbled into these problems after discussions with Bryce Weaver, when we unsuccessfully tried to show that certain higher dimensional geodesic flows are stably nonuniformly hyperbolic. My last mathematical discussion in January 2018 with late Anatole Katok was revolving around these questions and he was leaning towards existence of counterexamples.
Question 1
Let be a surface of genus equipped with a smooth (at least ) Riemannian (symmetric Finsler) metric. Is it true that the metric entropy of the geosedic flow with respect to the Liouville measure is positive?
Question 2
Let be an area preserving smooth (at least or ) diffeomorphism homotopic to 2111 automorphism. Is it true that the metric entropy of with respect to the area is positive?
Shenzhen problems
July 11, 2018Below the fold I record open problems from my Shenzhen lectures. These may seem quite random, however they appeared naturally in the lectures.
Transitivity of strong unstable foliation
May 12, 2018This is to give an update on problem 3 from my 2009 post. Recently Aleksey Kolmogorov, Itai Maimon and I performed high precision computer experiments which confirmed that the strong unstable manifold through the fixed point is dense in . Based on our computer experiments we conjectured that the strong unstable foliation is transitive and that there is a unique invariant measure with absolutely continuous conditionals on strong unstable leaves (Gibbs measure), which is then, of course, the SRB measure. For example the image below shows the points of intersection of the strong unstable manifold of the fixed point and a transversal for the Anosov diffeomorphism
Our first conjecture was proved by Jana Rodriguez Hertz and Raul Ures in a paper posted on arXiv yesterday. In fact, they proved a more general statement.
Theorem. Let be a hyperbolic automophism with real spectrum . Let be an Anosov diffeomorphism homotopic to A with a partially hyperbolic splitting of the unstable bundle into weak unstable and strong unstable subbundles. Then the strong unstable foliation of is transitive.
Some ingredients in the proof come from earlier results of Rodriguez HertzRodriguez HertzUres, Didier and RenGanZhang. Below the fold I record a selfcontained proof following Rodriguez HertzUres. Needless to say that all possible mistakes are due to me.
Note however that denseness of leaves through fixed or periodic points remains unknown as well as the minimality question.
Anatole Katok
May 1, 2018In this posting I will be collecting links to online materials.

Anatole’s own page at PennState contains a lot of his writings, including expository ones such as papers on history of dynamics and mathematics in general. http://personal.psu.edu/axk29/ In particular: preface to the 60th year old BD volume, which includes the 1960 Kronrod seminar picture; 1965 Humsan school; tribute to Anosov; Women in Soviet Math (joint w Svetlana); 2014 MSRI photos;
 Moscow Math Journal on the occasion of Anatole’s 60th birthday https://www.ams.org/distribution/mmj/vol442004/katokbirthday.html
 Mathnetru page gives a good idea on Anatole’s work prior to emigration http://www.mathnet.ru/php/person.phtml?personid=24724&option_lang=eng
 Pictures from 2004 conference on Svetlana’s page: http://www.personal.psu.edu/sxk37/PICTURES/Tolya60/Tolya60.html
 E.B. Dynkin interviews with Anatole and Svetlana https://ecommons.cornell.edu/handle/1813/17063, https://ecommons.cornell.edu/handle/1813/17062, https://ecommons.cornell.edu/handle/1813/17059, https://ecommons.cornell.edu/handle/1813/17058, https://ecommons.cornell.edu/handle/1813/17057,
 BIRS group photo 2014: www.birs.ca/workshops/2014/14w5058/groupphoto.jpg
 Oberwolfach photo collection: https://opc.mfo.de/person_detail?id=6987
 Kiev Mathematics Colloquium. Flexibility of entropies and Lyapunov exponents. Anatole and Svetlana visited Kiev in (May?) 2015 after the orange revolution to show support for Ukraine and Ukrainian Mathematics. https://www.youtube.com/watch?v=rpD46tPJ2uw
 Math genealogy seem to be pretty accurate with a few omissions (Satayev for example) https://www.genealogy.math.ndsu.nodak.edu/id.php?id=10482
 Memorial Website: http://anatolekatok.com
Anatole Katok, 19442018
May 1, 2018Anatole Katok, August 9, 1944 — April 30, 2018
It is really hard to believe Anatole (Tolya) passed away yesterday.
He was born in Washington D.C. in August of 1944. His parents were Soviet citizens working in the american capital in relation with LendLease Act. Then he was brought to the Soviet Union as a baby in 1945. Mathematical career of Anatole began in Moscow in the 60s with work on periodic approximations in ergodic theory joint with A. Stepin. His advisor was Ya. G. Sinai and, later, Anatole was also very much influenced by D. V. Anosov. In 1978 Anatole and Svetlana emigrated to the United States (via Vienna and Rome if I remember correctly). Anatole went on to have a distinguished career in the US. He will be remembered for his mathematics, his personality, his “bible” of dynamical systems joint with B. Hasselblatt. I am sure that once the shock subsides a lot more will be said about his life and his mathematics.
This picture reflects very well how I remember Anatole. R.I.P.
50 years of Berkeley encounter
March 20, 2018So, if all goes well, such as me securing a Chinese visa, I will be participating in the International Conference on Dynamical Systems in Shenzhen, China, in June. The occasion is somewhat unusual and romantic: it is 50 years anniversary of Berkeley encounter.
Rigidity of hyperbolic automorphisms from volume Lyapunov spectra
March 15, 2018A recent preprint of Radu Saghin and Jiagang Yang is devoted to rigidity of hyperbolic automorphisms and partially hyperbolic skew products. The authors take a perspective similar to that of A. Katok’s entropy rigidity for geodesic flows on surfaces. Recall that by entropy rigidity the Lyapunov exponent of the Liouville measure achieves its maximum value for hyperbolic surfaces, when metrics are varied in the space of metrics of negative curvature with a fixed area. Hence the Lyapunov exponent determines the hyperbolic metric up to isometry and up to Teichmuller coordinate.
The model of SaghinYang is a hyperbolic automorphism. The most basic, and already very interesting, version of their result is the following.
Theorem 1 Let be a hyperbolic automorphism with distinct Lyapunov exponents
Assume that diffeomorphism is a volume preserving perturbation of and that the volume Lyapunov exponents stay the same:
Then is conjugate to .
Aoperation
February 14, 2018I learned about the operation from Neretin’s book. The Continuum Hypothesis (CH) for Borel sets says that any Borel subset of the real line is either countable or has continuum cardinality. Indeed what a natural problem!
Luzin and the Continuum Hypothesis
February 4, 2018So I finished reading Yury Neretin’s “Nikolay Luzin, his students, adversaries, and defenders (notes on the history of Moscow mathematics, 19141936)” which is an impressive historical investigation around Luzin’s life and, of course, Luzin’s affair.
Neretin performed a monumental combing through available sources and his manuscript is full of quotations. Regarding the affair per se Neretin holds an unorthodox view that Moscow mathematicians were at the origin of the attack on Luzin. This is at odds with YushkewichDemidov explanation that the affair was launched by party apparatchik Kol’man with assistance of Editor in Chief of Pravda newspaper Mekhlis. In any case, I guess, this is no way of knowing for sure who wrote the anonymous Pravda article and it is not that important anyway. Read the rest of this entry »