*Mathematical Reviews* is a great place to work. You get to do something important and useful. You would also be working with great people. A list of the current editors is here. And here is a picture of some of us observing the eclipse in August 2017.

If you have any questions, drop me a line.

]]>I just came back from the Mathematical Congress of the Americas in Montreal. It was an intense week of mathematics. Besides having excellent invited and plenary lectures, there were 70 special sessions! There were five plenary lectures: Manuel del Pino (Universidad de Chile); Shafrira Goldwasser (MIT); Peter Ozsvath (Princeton University); Yuval Peres (Microsoft Research); and Kannan Soundararajan (Stanford University). Erik Demaine (Massachusetts Institute of Technology) and Étienne Ghys (École Normale Supérieure de Lyon) gave well-received public lectures. The list of invited speakers is here.

Demaine advocated for collaboration, pointing out that he had written papers with 429 different people. Not all of those papers are mathematical, but here is the list of his 299 co-authors in MathSciNet. In case you are wondering, MathSciNet’s collaboration distance between the two public lecturers is 4:

Erik D. Demaine | coauthored with | Noga Alon | MR3040956 |

Noga Alon | coauthored with | Alexander Lubotzky | MR1948752 |

Alexander Lubotzky | coauthored with | Rostislav I. Grigorchuk | MR2367034 |

Rostislav I. Grigorchuk | coauthored with | Étienne Ghys | MR3267516 |

One slide from Jeremy Kahn‘s invited lecture neatly sums up the Virtual Haken Conjecture:

I witnessed a new use of MathSciNet at the MCA. While sitting in one of the invited lectures, a person in front of me was researching the speaker on MathSciNet:

**The MCA prize winners were:**

**The Americas Prize**: José Antonio de la Peña – Universidad Nacional Autónoma de México.**The Solomon Lefschetz Medal**: Monica Clapp – Universidad Nacional Autónoma de México and Gunther Uhlmann – University of Washington.**The MCA Prize**: Héctor H. Pastén Vásquez – Harvard University; Vlad Vicol – Princeton University; Pablo Shmerkin – Torcuato Di Tella University and CONICET; Umberto Hryniewicz – Universidade Federal do Rio de Janeiro; Robert Morris – Instituto de Matemática Pura e Aplicada (IMPA).

The winner of the MathSciNet drawing was Matias Moya Giusti, from Villa Maria, Cordoba, Argentina, who was also the recipient of a travel grant from the AMS.

The AMS exhibit saw a lot of traffic, especially in the mornings. Many people stopped to look at the AMS books, find out about membership, or finish up some details with their travel grants. I talked with lots of people about MathSciNet. It was nice to see how many attendees not only used MathSciNet, but were also reviewers. One day at lunch, I happened to sit next to Hsian-Hua Tseng, who has written over 300 reviews!

The next MCA will be in Buenos Aires in 2021. I hope to see you there!

]]>Maryam Mirzakhani is known for her work on moduli spaces of Riemann surfaces. Some of her most cited work looks at the moduli space of a genus $g$ Riemann surface with $n$ geodesic boundary components. In two of her papers, she computes the volume of these moduli spaces, with respect to the Weil-Petersson metric (see below). In another, she provides a means for counting the number of simple closed geodesics of length at most $L$. Mirzakhani is also known for her work on billiards (see the review of her paper with Eskin and Mohammadi below), a subject closely related to moduli space questions. Teichmüller theory and the geometry of moduli spaces are famously deep subjects. Making progress requires mastering large areas of analysis, dynamical systems, differential geometry, algebraic geometry, and topology. I can only appreciate Mirzakhani’s work superficially, as I have not mastered those subjects. Instead, some reviews of her work are reproduced below.

**Notes:
1.** One of her biggest projects, joint work with Eskin studying the action of SL(2,R) on moduli space, is not published yet. So there is no item in MathSciNet for it. You can read the latest version on the arXiv.

**2.** Mirzakhani published three papers as an undergraduate: MR1366852, MR1386951, MR1615548. The second of these is regularly cited by combinatorists. The third paper was in the *Monthly. *

**3. **I started writing this post back in March, when I was highlighting the work of some remarkable mathematicians. It was delayed because describing her work is not simple: it is substantial and uses deep and difficult tools from several areas. Her papers are quite well written, with accessible introductions. However, the genius is in the details, which require real commitment to understand. The video produced for the ICM where she won her Fields Medal allows her to present something of her work. Amie Wilkinson describes Mirzakhani’s working style in this article in the NY Times. In a recent blog post, Terry Tao comments on how Mirzakhani was able to see disparate mathematical results through the lens of the mathematics she was developing herself.

**4**. Thank you to Tom Ward who spotted an inequality that was reversed in the original version of this post.

**MR2264808**

Mirzakhani, Maryam

Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces.

*Invent. Math.* 167 (2007), no. 1, 179–222.

32G15 (14H15)

For $L:= (L_1,\dots , L_n)\in \Bbb{R}_+^n$ one can define the moduli space $M_{g,n}(L)=M_{g,n}(L_1,\dots ,L_n)$ of hyperbolic Riemann surfaces of genus $g$ with $n$ geodesic boundary components of lengths $L_1,\dots ,L_n$. $M_{g,n}(L)$ carries a symplectic form called the Weil-Petersson symplectic form. The main object of study of the paper under review is the volume $V_{g,n}(L)=V_{g,n}(L_1,\dots ,L_n)$ of $M_{g,n}(L)$ calculated with respect to the volume form associated to the Weil-Petersson symplectic form. The main result of this paper is an explicit recursive formula (Section 5) for $V_{g,n}(L_1,\dots ,L_n)$ that allows one to effectively calculate $V_{g,n}(L_1,\dots ,L_n)$ from bottom-up. As an application, the author proves the following polynomial behavior of $V_{g,n}(L)$ (Theorem 1.1): $$V_{g,n}(L_1,\dots ,L_n)=\sum_{\alpha=(\alpha_1,\dots ,\alpha_n)\in \Bbb{Z}_+^n,\, \sum_{i=1}^n\alpha_i\leq 3g-3+n}C_\alpha \prod_{i=1}^nL_i^{2\alpha_i},$$ where $C_\alpha$ are some rational multiples of $\pi^{6g-6+2n-\sum_{i=1}^n2\alpha_i}$. In another work [J. Amer. Math. Soc. 20 (2007), no. 1, 1–23 (electronic); MR2257394] the author gave another proof of this result using symplectic reduction techniques. She also found a relation between $C_\alpha$ and intersection numbers on moduli spaces of Riemann surfaces.

The author’s approach to the recursive formula for $V_{g,n}(L)$ begins with a generalization of McShane’s identity [G. McShane, Invent. Math. 132 (1998), no. 3, 607–632; MR1625712]. We summarize this result (Theorem 1.3) as follows. Let $X$ be a hyperbolic Riemann surface with $n$ geodesic boundary components $\beta_1,\dots ,\beta_n$ of lengths $L_1,\dots ,L_n$. Then the following holds: $$ \sum_{\{\gamma_1,\gamma_2\}}\scr{D}(L_1,l_{\gamma_1}(X), l_{\gamma_2}(X))+\sum_{i=2}^n\sum_\gamma \scr{R}(L_1,L_i, l_\gamma(X))=L_1.\tag1 $$ The ingredients of this formula are explained below:

- for a geodesic $\gamma\subset X$, its length is denoted by $l_\gamma(X)$;
- the first sum is over all unordered pairs of simple closed geodesics $\{\gamma_1, \gamma_2\}$ bounding a pair of pants with $\beta_1$;
- the second sum is over all simple closed geodesics $\gamma$ bounding a pair of pants with $\beta_1,\beta_i$.
- the functions $\scr{D}, \scr{R}\colon \Bbb{R}_+^3\to \Bbb{R}_+$ are defined in terms of the geometry of a pair of pants (see Section 3). These functions can be explicitly calculated (Lemma 3.1): $$\scr{D}(x,y,z)=2\log\left(\frac{e^{\frac{x}{2}}+e^{\frac{y+z}{2}}} {e^{\frac{-x}{2}}+e^{\frac{y+z}{2}}}\right),$$ $$\scr{R}(x,y,z)=x-\log \left(\frac{\cosh(\frac{y}{2})+\cosh (\frac{x+z}{2})}{\cosh(\frac{y}{2})+\cosh(\frac{x-z}{2})} \right).$$

The author’s proof of (1) is based on a detailed analysis of geodesics and pairs of pants on $X$, carried out in Sections 3 and 4.

To prove the recursive formula for $V_{g,n}(L)$ the author develops a method to integrate functions given in terms of hyperbolic lengths. Note that the functions involved in (1) are of this kind. The author finds a way to express integrals of such functions over moduli spaces of Riemann surfaces using Weil-Petersson volumes. This is Theorem 7.1. The recursive formula for $V_{g,n}(L)$ is then obtained by integrating (1) against the Weil-Petersson volume form and applying Theorem 7.1.

Reviewed by Hsian-Hua Tseng

**MR2257394**

Mirzakhani, Maryam

Weil-Petersson volumes and intersection theory on the moduli space of curves.

*J. Amer. Math. Soc.* 20 (2007), no. 1, 1–23.

14H15 (14N35 32G15)

For $b_1,\dots,b_n\in\Bbb{R}_+$, put $b=(b_1,\dots,b_n)$ and let $M_{g,n}(b)=M_{g,n}(b_1,\dots,b_n)$ be the moduli space of hyperbolic Riemann surfaces with geodesic boundary components of lengths $b_1,\dots,b_n$. On $M_{g,n}(b)$ there is a symplectic form called the Weil-Petersson symplectic form. Let $V_{g,n}(b)=V_{g,n}(b_1,\dots,b_n)$ denote the volume of $M_{g,n}(b)$ calculated using the volume form associated to the Weil-Petersson symplectic form. The paper under review presents an explicit relationship between the Weil-Petersson volume $V_{g,n} (b)$ of $M_{g,n} (b)$ and the intersection numbers of tautological classes on the moduli space of stable curves. To achieve this, the author expresses the compactified moduli space $\overline{M}_{g,n}(b)$ as a symplectic quotient, as follows: consider the following moduli space of bordered Riemann surfaces with marked points: $$ \widehat{M_{g,n}}:=\{(X,p_1,\dots,p_n)\mid X\in\overline{M}_{g,n}(b_1,\dots,b_n),\ b_i\geq 0,\ p_i\in\tilde{\beta}_i\}. $$ Here $\tilde{\beta}_i$ is a parallel curve to the $i$-th boundary component $\beta_i\subset X$. The moduli space $\widehat{M_{g,n}}$ carries a symplectic form, naturally induced from the Weil-Petersson form. For a bordered Riemann surface $X$, denote by $l_{\beta_i}(X)$ the length of its $i$-th boundary component $\beta_i$. This gives a map $l^2/2\colon \widehat{M_{g,n}}\to \Bbb{R}_+^n$ defined by $$(l^2/2)(X, p_1,\dots,p_n) =(l_{\beta_1}(X)^2/2,\dots ,l_{\beta_n}(X)^2/2).$$ The author proves that $l^2/2$ is the moment map associated to the $T=(S^1)^n$ action on $\widehat{M_{g,n}}$ defined by rotating the points $p_1,\dots,p_n$, and that the symplectic quotient at value $(b_1,\dots,b_n)$ is symplectomorphic to $\overline{M}_{g,n}(b_1,\dots,b_n)$. Then, using the relationship between symplectic forms of reduced spaces at different values, she proves that the volume $V_{g,n}(b_1,\dots,b_n)$ is a polynomial in the $b_i$’s for $b_i$ sufficiently small, and the coefficients of this polynomial are explicitly given (see Theorem 4.4). In particular, the leading coefficients are, up to some prefactors, of the form $\int_{\overline{M}_{g,n}}\psi_1^{\alpha_1}\cdots\psi_n^{\alpha_n}$ with $\alpha_1+\dots +\alpha_n=3g-3+n$.

In a previous work [Invent. Math. 167 (2007), no. 1, 179–222; MR2264808], the author found a recursive formula for the volumes $V_{g,n}(b)$. A review of this formula is given in Section 5 of the paper under review. In the present paper the author uses this recursive formula and the result about coefficients of the volume polynomial to derive a proof of Witten’s conjecture (Kontsevich’s theorem) in the form of Virasoro constraints of a point. This is done by substituting the volume polynomials into the recursion, then extracting a recursion for the leading coefficients. By relating the coefficients with descendant integrals over $\overline{M}_{g,n}$, Virasoro constraints appear immediately.

Reviewed by Hsian-Hua Tseng

**MR2415399**

Mirzakhani, Maryam

Growth of the number of simple closed geodesics on hyperbolic surfaces.

*Ann. of Math. (2)* 168 (2008), no. 1, 97–125.

32G15

Let $X$ be a complete hyperbolic Riemann surface of genus $g$, with finite area and $n$ cusps. The paper under review studies the growth of the number $s_X(L)$ of simple closed geodesics of length at most $L$. In fact the author studies a more refined problem, as follows. Let $S_{g,n}$ be a closed surface of genus $g$ with $n$ boundary components. The mapping class group ${\rm Mod}_{g,n}$ acts on the set of isotopy classes of simple closed curves on $S_{g,n}$, and each isotopy class of a simple closed curve contains a unique simple closed geodesic on $X$. For a simple closed geodesic $\gamma$ the author considers the following counting function: $$ s_X(L,\gamma):=\#\{\alpha\in {\rm Mod}_{g,n}\cdot\gamma\,|\, l_\alpha(X)\leq L\}, $$ where $l_\alpha(X)$ is the length of $\alpha$. Note that $s_X(L)=\sum_\gamma s_X(L,\gamma)$. The definition of this counting function can be extended to multi-curves $\gamma=\sum_{i=1}^k a_i\gamma_i$. Here, by definition, multi-curves $\gamma_i$’s are disjoint, essential, nonperipheral simple closed curves which are pairwise non-homotopic, and $a_i>0$. The length of a multi-curve $\gamma$ is defined to be $l_\gamma(X):=\sum_{i=1}^k a_il_{\gamma_i}(X)$. The first main result of this paper asserts that for a rational multi-curve $\gamma=\sum_i a_i\gamma_i$ (i.e. $a_i\in \Bbb{Q}$), the limit $n_\gamma(X):=\lim_{L\to\infty}\frac{s_X(L,\gamma)}{L^{6g-6+2n}}$ defines a continuous proper function $n_\gamma\colon\scr{M}_{g,n}\to\Bbb{R}_+$.

The main tool used in this paper is the space $\scr{ML}_{g,n}$ of compactly supported measured laminations on $S_{g,n}$. There is a length function $\scr{ML}_{g,n}\to \Bbb{R}_+$ induced by the hyperbolic metric $X$ on $S_{g,n}$. The Thurston measure $B(X):=\mu_{Th}(B_X)$ of the unit ball $B_X$ with respect to this length function defines a function $B\colon \scr{M}_{g,n}\to\Bbb{R}_+$. The author proves that this function $B$ is integrable with respect to the Weil-Petersson volume form. Set $b_{g,n}:=\int_{\scr{M}_{g,n}}B(X) dX$. The next main result of this paper states that for each rational multi-curve $\gamma$ there is a number $c(\gamma)\in \Bbb{Q}_{>0}$ such that $n_\gamma(X)=\frac{c(\gamma)B(X)}{b_{g,n}}$. The proofs of these statements rely heavily on a study of measures on $\scr{ML}_{g,n}$. In fact the two main results are direct consequences of a statement about the asymptotic behavior of some discrete measures. The second main result has the following corollary: for rational multi-curves $\gamma_1,\gamma_2$ we have $\lim_{L\to\infty}\frac{s_X(L, \gamma_1)}{s_X(L,\gamma_2)}=\frac{c(\gamma_1)}{c(\gamma_2)}$. This may be rephrased as saying that the relative frequencies of different types of simple closed curves on $X$ are universal rational numbers.

Reviewed by Hsian-Hua Tseng

**MR3418528**

Eskin, Alex; Mirzakhani, Maryam; Mohammadi, Amir

Isolation, equidistribution, and orbit closures for the ${\rm SL}(2,\Bbb R)$ action on moduli space. (English summary)

*Ann. of Math. (2)* 182 (2015), no. 2, 673–721.

58D27 (22F10 32G15 37C85 37D40 60B15)

The results in this paper are analogous to the theory of unipotent flows and concern orbit closures and equidistribution for the $\textrm{SL}(2,\Bbb R)$-action on the moduli space of compact Riemann surfaces. Their number is such that a review can only give an impressionistic sampling. The proofs rely on the measure-classification theorem from [A. Eskin and M. Mirzakhani, “Invariant and stationary measures for the $\textrm{SL}(2,{\Bbb R})$ action on moduli space”, preprint, arXiv:1302.3320], which is a partial analogue of M. Ratner’s measure-classification theorem in the theory of unipotent flows [Ann. of Math. (2) 134 (1991), no. 3, 545–607; MR1135878], which was in turn motivated by the Raghunathan Conjecture [S. G. Dani, Invent. Math. 64 (1981), no. 2, 357–385; MR0629475; G. A. Margulis, in Number theory, trace formulas and discrete groups (Oslo, 1987), 377–398, Academic Press, Boston, MA, 1989; MR0993328]. The second major ingredient is the main technical result of this paper (Proposition 2.13), an isolation property of closed $\textrm{SL}(2,\Bbb R)$-invariant manifolds, whose proof takes up of Sections 4–10.

The proofs of the principal results are in Section 3; these are actually simpler than the proofs of the analogous results in the theory of unipotent flows, due in no small part to the fact (Proposition 2.16, a consequence of the isolation property) that there are at most countably many affine invariant submanifolds in each stratum, while unipotent flows may have continuous families of invariant manifolds (which involve the centralizer and normalizer of the acting group). The proof of the isolation property in turn is based on the recurrence properties of the $\textrm{SL}(2,\Bbb R)$-action from [J. S. Athreya, Geom. Dedicata 119 (2006), 121–140; MR2247652] and on the uniform hyperbolicity in compact sets of the Teichmüller geodesic flow [G. Forni, Ann. of Math. (2) 155 (2002), no. 1, 1–103 (Corollary 2.1); MR1888794].

Some terminology to give formal statements: $H(\alpha)$ denotes a stratum of Abelian differentials, i.e., the space of pairs $(M,\omega)$ where $M$ is a Riemann surface and $\omega$ is a holomorphic 1-form on $M$ whose zeros have multiplicities $\alpha_1\cdots\alpha_n$ with $\sum\alpha_i=\chi(M)\ge0$. The form $\omega$ defines a canonical flat metric on $M$ with cone points at the zeros of $\omega$, i.e., a flat surface or translation surface [A. Zorich, in Frontiers in number theory, physics, and geometry. I, 437–583, Springer, Berlin, 2006; MR2261104]. The space $H(\alpha)$ admits an action of $\textrm{SL}(2,\Bbb R)$ which generalizes the action of $\textrm{SL}(2,\Bbb R)$ on the space $\textrm{GL}(2,\Bbb R)/\textrm{SL}(2,\Bbb Z)$ of flat tori. A “unit hyperboloid” $H_1(\alpha)$ is defined as a subset of translation surfaces in $H(\alpha)$ of area one: $\frac i2\int_M\omega\wedge\overline\omega=1$.

The aforementioned measure-classification result of [A. Eskin and M. Mirzakhani, op. cit.] is: A probability measure on $H_1(\alpha)$ that is invariant under $P:=\left\{\left(\begin{array}{cc}*&*\\ 0&*\end{array}\right)\right\}\subset\textrm{SL}(2,\Bbb R)$ is $\textrm{SL}(2,\Bbb R)$-invariant and affine (i.e., supported on an immersed submanifold and compatible with Lebesgue measure in a particular way; the submanifold is then also said to be affine).

With $a_t:=\textrm{diag}(e^t,e^{-t})$ and $r_\theta:=\left(\begin{array}{cc}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{array}\right)$ we can now state the main isolation property of this paper.

If $\varnothing\subseteqq M\subset H_1(\alpha)$ is an affine invariant submanifold, then there is an $\textrm{SO}(2)$-invariant $f\colon H_1(\alpha)\to[1,\infty]$ such that:

- $M=f^{-1}(\infty)$.
- $f$ is bounded on compact subsets of $H_1(\alpha)\smallsetminus M$.
- $\overline{f^{-1}([1,\ell])}$ is compact for all $\ell$.
- $\exists b$ (depending only on the “complexity” of $M$) $\forall c\in(0,1)$ $\exists T>0$ $$ (A_tf)(x):=\frac1{2\pi}\int_0^{2\pi}f(a_tr_\theta x)\,d\theta\le cf(x)+b $$ whenever $x\in H_1(\alpha)\smallsetminus M$ and $t>T$.
- There is $\sigma>1$ such that $\sigma^{-1}f(x)\le f(gx)\le\sigma f(x)$ for all $x\in H_1(\alpha)$ and $g\in\textrm{SL}(2,\Bbb R)$ near the identity.

Here is an overview of the many consequences derived here.

Orbit closures in $H_1(\alpha)$ are affine invariant submanifolds (the unipotent counterpart is in [M. Ratner, Duke Math. J. 63 (1991), no. 1, 235–280; MR1106945]) and any closed $P$-invariant subset of $H_1(\alpha)$ is a finite union of affine invariant manifolds.

The space of ergodic $P$-invariant probability measures on $H_1(\alpha)$ is weak*-compact (the unipotent counterpart is in [S. Mozes and N. A. Shah, Ergodic Theory Dynam. Systems 15 (1995), no. 1, 149–159; MR1314973]).

Equidistribution for sectors, random walks and Følner sets (the first of which implies that for any $x\in H_1(\alpha)$ there is a unique affine invariant manifold of minimal dimension that contains $x$); uniform versions of the equidistribution results (Theorems 2.7, 2.9) are analogous to [S. G. Dani and G. A. Margulis, in I. M. Gelʹfand Seminar, 91–137, Adv. Soviet Math., 16, Part 1, Amer. Math. Soc., Providence, RI, 1993 (Theorem 3); MR1237827], which plays a key role in applications of the theory.

Orbit counting in rational billiards: Let $N(Q,T)$ denote the number of cylinders of periodic trajectories of length at most $T$ for the billiard flow on a rational polygon $Q$. It is known that this grows quadratically [H. A. Masur, Ergodic Theory Dynam. Systems 10 (1990), no. 1, 151–176; MR1053805; in Holomorphic functions and moduli, Vol. I (Berkeley, CA, 1986), 215–228, Math. Sci. Res. Inst. Publ., 10, Springer, New York, 1988; MR0955824]: $N(Q,e^t)e^{-2t}$ is bounded above and away from 0 for $t>1$. The uniform equidistribution result for sectors implies that

$$ \frac1t\int_0^tN(Q,e^s)e^{-2s}\,ds\underset{t\to\infty}\rightarrow c,

$$

where $c$ is the Siegel-Veech constant [W. A. Veech, Ann. of Math. (2) 148 (1998), no. 3, 895–944; MR1670061; A. Eskin, H. A. Masur and A. Zorich, Publ. Math. Inst. Hautes Études Sci. No. 97 (2003), 61–179; MR2010740] associated to the affine invariant submanifold $M = \textrm{SL}(2,\Bbb R)S$ with $S$ the flat surface obtained by unfolding $Q$. The authors find it natural to conjecture that in fact $N(Q,e^t)e^{-2t}\,ds\underset{t\to\infty}\rightarrow c$, but this seems beyond current methods (yet is known in special cases [A. Eskin, H. A. Masur and M. Schmoll, Duke Math. J. 118 (2003), no. 3, 427–463; MR1983037; A. Eskin, J. Marklof and D. W. Morris, Ergodic Theory Dynam. Systems 26 (2006), no. 1, 129–162; MR2201941; K. Calta and K. Wortman, Ergodic Theory Dynam. Systems 30 (2010), no. 2, 379–398; MR2599885; M. Bainbridge, Geom. Funct. Anal. 20 (2010), no. 2, 299–356; MR2671280]).

Reviewed by Boris Hasselblatt

]]>You can trace Saint-Raymond’s work in MathSciNet, with its persistent themes, such as the Boltzmann equation and limiting phenomena in statistical mechanics. Her work has inspired several long reviews in MathSciNet, including MR2683475, MR1952079, and MR3157048. In an earlier post, I mentioned that Cédric Villani’s review of her paper with François Golse on the Navier-Stokes limit of the Boltzmann equation “verges on being a short course.” The text of Nader Masmoudi’s long review of her volume in *Lecture Notes in Mathematics* is below.

Meanwhile, IMPA has videos of Saint-Raymond giving a mini-course on some of her work: Class 1, Class 2, and Class 3.

MR2683475

Saint-Raymond, Laure (F-ENS-DAM)

Hydrodynamic limits of the Boltzmann equation.

Lecture Notes in Mathematics, 1971. Springer-Verlag, Berlin, 2009. xii+188 pp. ISBN: 978-3-540-92846-1

From a physical point of view, we expect that a gas can be described by a fluid equation when the mean free path (Knudsen number) goes to zero. In his sixth problem, on the occasion of the International Congress of Mathematicians held in Paris in 1900, Hilbert asked for a full mathematical justification of these derivations. During the last two decades this problem has attracted a lot of interest.

Let us first give some background about this problem (see Chapters 1 and 2 in the book). The molecules of a gas can be modeled by spheres that move according to the laws of classical mechanics. However, due to the enormous number of molecules to be considered, it is hopeless to describe the state of the gas by giving the position and velocity of each individual particle. Hence, we must use some statistics and instead of giving the position and velocity of each particle, we specify the density of particles $F(x,v)$ at each point $x$ and velocity $v$. Under some assumptions (rarefied gas, etc.), it was proved by Boltzmann (and Lanford for a rigorous proof in the hard sphere case) that this density is governed by the Boltzmann equation (B): $$ \partial_t F + v\cdot \nabla_{x} F = B(F,F). $$ To derive fluid equations from the Boltzmann equation, one has to introduce several dimensionless parameters: the Knudsen number ${\rm Kn}$ (which is related to the mean free path), the Mach number ${\rm Ma}$ and the Strouhal number ${\rm St}$ (which is a time rescaling). With these parameters, one can rewrite the Boltzmann equation as $$ {\rm St}\cdot \partial_t F + v\cdot \nabla_{x} F = \frac1{\rm Kn} B(F,F) $$ with $F = M (1 + {\rm Ma}\cdot f)$ where $M$ is a fixed Maxwellian. It is worth noting that the Reynolds number ${\rm Re}$ is completely determined by the relation ${\rm Ma} = {\rm Kn}\cdot {\rm Re}$. Several fluid equations can be derived that depend on these dimensionless parameters: Compressible Euler system, acoustic waves, Incompressible Navier-Stokes-Fourier system, Stokes-Fourier system, Incompressible Euler system, etc. There are several approaches to deal with this problem: the weak compactness method initiated by C. Bardos, F. Golse and C. D. Levermore, asymptotic expansions [see A. De Masi, R. Esposito and J. L. Lebowitz, Comm. Pure Appl. Math. 42 (1989), no. 8, 1189–1214; MR1029125], the energy method [Y. Guo, Comm. Pure Appl. Math. 59 (2006), no. 5, 626–687; MR2172804; erratum, Comm. Pure Appl. Math. 60 (2007), no. 2, 291–293; MR2275331], etc.

This book gives an overview of some of these results and mainly the derivation of the Incompressible Navier-Stokes [F. Golse and L. Saint-Raymond, Invent. Math. 155 (2004), no. 1, 81–161; MR2025302] and Incompressible Euler [L. Saint-Raymond, Arch. Ration. Mech. Anal. 166 (2003), no. 1, 47–80; MR1952079] systems.

After the construction of the renormalized solutions to the Boltzmann equation by R. J. DiPerna and P.-L. Lions [Ann. of Math. (2) 130 (1989), no. 2, 321–366; MR1014927], there was a program initiated by Bardos, Golse and Levermore [J. Statist. Phys. 63 (1991), no. 1-2, 323–344; MR1115587; Comm. Pure Appl. Math. 46 (1993), no. 5, 667–753; MR1213991] to derive incompressible models from the Boltzmann equation. In particular the main objective was to recover the Leray [J. Leray, Acta Math. 63 (1934), no. 1, 193–248; MR1555394; JFM 60.0726.05] global weak solutions of the incompressible Navier-Stokes system starting from the DiPerna-Lions solutions.

There were five main assumptions in their first work:

(1) Because of a problem coming from the rapid time-oscillations of acoustic waves, only the time independent case was considered.

(2) Local conservation laws were assumed even though these are not known to hold for the renormalized solutions.

(3) The lack of high-order moment estimates required the restriction of the discussion to the momentum equation and no heat equation was derived.

(4) A key equi-integrability estimate was assumed on the solutions of the Boltzmann equation. This is due to the fact that the natural space for the Boltzmann equation is $L\log L$ whereas for the Navier-Stokes system the natural space is $L^2$.

(5) Due to a technical estimate for the inverse of the linearized Boltzmann kernel, only very particular collision kernels were considered.

These five assumptions have been removed one by one in the past two decades:

(1) In [P.-L. Lions and N. Masmoudi, Arch. Ration. Mech. Anal. 158 (2001), no. 3, 173–193, 195–211; MR1842343] the time-oscillating acoustic waves were treated using a compensated compactness type argument coming from the compressible-incompressible limit [P.-L. Lions and N. Masmoudi, C. R. Acad. Sci. Paris Sér. I Math. 329 (1999), no. 5, 387–392; MR1710123].

(2)–(3) In [P.-L. Lions and N. Masmoudi, op. cit., MR1842343 (pp. 195–211)], the assumption on the local conservation in the momentum equation was removed, and in [Comm. Pure Appl. Math. 55 (2002), no. 3, 336–393; MR1866367], Golse and Levermore were able to derive the Stokes-Fourier system. The main idea is to recover the moment conservation laws at the limit.

(4) The main breakthrough of [F. Golse and L. Saint-Raymond, op. cit.; MR2025302] was a new $L^1$ averaging lemma that allows one to prove the key equi-integrability estimate.

(5) In [F. Golse and L. Saint-Raymond, J. Math. Pures Appl. (9) 91 (2009), no. 5, 508–552; MR2517786] the result was extended to hard cutoff potentials satisfying Grad’s cutoff assumption and in [C. D. Levermore and N. Masmoudi, Arch. Ration. Mech. Anal. 196 (2010), no. 3, 753–809; MR2644440] it was also extended to both hard and soft potentials. Another important extension was done by D. Arsénio [“From Boltzmann’s equation to the incompressible Navier-Stokes-Fourier system with long-range interactions”, Arch. Ration. Mech. Anal., to appear], who treated the non-cutoff case.

We also note that the case where the problem is considered in a bounded domain was treated in [N. Masmoudi and L. Saint-Raymond, Comm. Pure Appl. Math. 56 (2003), no. 9, 1263–1293; MR1980855] where Navier and Dirichlet boundary conditions were derived starting from the Maxwell boundary condition.

Chapter 3 of this book presents the main mathematical tools used in dealing with the hydrodynamic limit. In particular several estimates coming from the entropy, the entropy dissipation and Darrozès-Guiraud information are presented. Also the new $L^1$averaging lemma is proved.

Chapter 4 deals with the incompressible Navier-Stokes limit using the weak compactness method. In particular the author shows how to combine the ideas from [N. Masmoudi and L. Saint-Raymond, op. cit.; MR1980855] to treat the case of a bounded domain with Maxwell boundary conditions.

Chapter 5 deals with the incompressible Euler limit using the relative entropy method [L. Saint-Raymond, op. cit.; MR1952079].

Finally, Chapter 6 gives a survey of the known results about the compressible Euler limit. It is worth noting that if we are interested in starting from the renormalized solutions then none of the methods used in the incompressible case can be adapted. The author gives some open problems and perspectives.

Reviewed by Nader Masmoudi

Yves Meyer has been selected to win the 2017 Abel Prize. The citation is “for his pivotal role in the development of the mathematical theory of wavelets”. His work is certainly well known within mathematics, especially within harmonic analysis and in its important applications in image processing, data compression, signal analysis, and many other modern settings.

There are announcements of the prize in various places:

I will defer to these other sources for general information about the prize and about Meyer’s work. Here I would like to bring out a few aspects of his work with the help of *Mathematical Reviews*. First of all, at the time of this writing, there are 8448 items in MathSciNet with the word “wavelet” or “wavelets” in the title. Looking for either “wavelet” or “wavelets” anywhere in our records for items produces 13705 matches. The earliest is

MR0001894 Baker, Bevan B.; Copson, E. T. *The Mathematical Theory of Huygens’ Principle*. Oxford University Press, New York, (1939). vii+155 pp.

where “spherical wavelets” are mentioned in the review. (I suspect that these are not the same thing we normally think of as wavelets.)

Secondly, since citations are a big thing these days, let me point out that in MathSciNet, Meyer is cited 4834 times by 3262 authors. His most highly cited work is, not surprisingly, about wavelets:

MR1228209 Meyer, Yves. *Wavelets and operators*. Translated from the 1990 French original by D. H. Salinger. Cambridge Studies in Advanced Mathematics, 37. Cambridge University Press, Cambridge, 1992. xvi+224 pp. ISBN: 0-521-42000-8; 0-521-45869-2

This is the first part of a multi-part book. The second part was published as

MR1456993 Meyer, Yves; Coifman, Ronald. *Wavelets. Calderón-Zygmund and multilinear operators*. Translated from the 1990 and 1991 French originals by David Salinger. Cambridge Studies in Advanced Mathematics, 48. Cambridge University Press, Cambridge, 1997. xx+315 pp. ISBN: 0-521-42001-6; 0-521-79473-0

The book was published in two parts in English, but in three parts in French:

MR1085487 Meyer, Yves. *Ondelettes et opérateurs. I. Ondelettes*. Actualités Mathématiques. Hermann, Paris, 1990.

MR1085488 Meyer, Yves. *Ondelettes et opérateurs. II. Opérateurs de Calderón-Zygmund*. Actualités Mathématiques. Hermann, Paris, 1990.

MR1160989 Meyer, Yves; Coifman, R. R. *Ondelettes et opérateurs. III. Opérateurs multilinéaires*. Actualités Mathématiques. Hermann, Paris, 1991

Meyer and Coifman have 37 joint publications listed in MathSciNet. The earliest is a paper on singular integrals published in the *Transactions of the AMS*. Their most frequently cited joint work is on pseudodifferential operators, and was published as a volume in the esteemed series *Astérisque* from the Société Mathématique de France*.*

Meyer has published three books with the American Mathematical Society:

MR1342019 Jaffard, Stéphane; Meyer, Yves. *Wavelet methods for pointwise regularity and local oscillations of functions*. Mem. Amer. Math. Soc. 123 (1996), no. 587, x+110 pp.

MR1483896 Meyer, Yves. *Wavelets, vibrations and scalings*. With a preface in French by the author. CRM Monograph Series, 9. American Mathematical Society, Providence, RI, 1998. x+133 pp. ISBN: 0-8218-0685-8

MR1852741 Meyer, Yves. *Oscillating patterns in image processing and nonlinear evolution equations*. The fifteenth Dean Jacqueline B. Lewis memorial lectures. University Lecture Series, 22. American Mathematical Society, Providence, RI, 2001. x+122 pp. ISBN: 0-8218-2920-3

There was a story last year about a recent result of Meyer’s. Meyer was looking at variations on the Poisson formula as given in the work of Nir Lev and Alexander Olevskii, Quasicrystals with discrete support and spectrum. *Rev. Mat. Iberoam.* 32 (2016), no. 4, 1341–1352 [MR3593527]. After lecturing several times on the result, Meyer came up with a simpler proof of the result. Like any good researcher, before sending off the paper to a journal, he checked the existing literature. In the references to the Lev and Olevskii paper, he found a paper by Guinand:

MR0107784 Guinand, A. P. Concordance and the harmonic analysis of sequences. *Acta Math*. 101 1959 235–271.

Meyer dug up a copy of the paper and was surprised to find that Guinand had the same solution as his own. But no one had noticed this. Lev and Olevskii had not. Nor, apparently, had Salomon Bochner, who made no mention of it in his review of the paper in Mathematical Reviews. Meyer adjusted his paper accordingly, giving priority to Guinand, and it was published in the Proceedings of the National Academy of Science USA:

MR3482845 Meyer, Yves F. Measures with locally finite support and spectrum. *Proc. Natl. Acad. Sci. USA* 113 (2016), no. 12, 3152–3158.

In the section labeled *Significance*, Meyer wrote, “Our new Poisson’s formulas were hidden inside an old and almost forgotten paper published in 1959 by A. P. Guinand.”

Wavelet image by JonMcLoone – Own work, CC BY-SA 3.0, Link

]]>Smith seems to enjoy the communal aspects of mathematics. She has organized conferences and two special years at MSRI. She also has an excellent reputation as a teacher — to date, she has supervised 16 Ph.D. students — and as a speaker. This is a photograph of her as she gave a lively invited address at an AMS meeting in Albuquerque. It is one of the few where she is not so animated as to be out of focus. Smith is an active collaborator, having written papers and books with 32 different coauthors. This is her coauthor cloud diagram on MathSciNet:

Smith has written two books (both with coauthors) that are listed in MathSciNet:

MR2062787

Kollár, János; Smith, Karen E.; Corti, Alessio

Rational and nearly rational varieties.

Cambridge Studies in Advanced Mathematics, 92. Cambridge University Press, Cambridge, 2004. vi+235 pp. ISBN: 0-521-83207-1

MR1788561

Smith, Karen E.; Kahanpää, Lauri; Kekäläinen, Pekka; Traves, William

An invitation to algebraic geometry.

Universitext. Springer-Verlag, New York, 2000. xii+155 pp. ISBN: 0-387-98980-3

She has another:

Johdatusta algebralliseen geometriaan by Lauri Kahanpää, Karen E. Smith and Pekka Kekäläinen, which she describes as the Finnish version of *An Invitation to Algebraic Geometry*.

The second book is aptly titled, as the writing is engaging and, as our reviewer wrote, it “will recruit new enthusiasts” to the subject.

In an earlier blog post, I mentioned the cross-linking between MathSciNet and the MacTutor History of Mathematics Archive. Smith is among the small group of living mathematicians to have a biography on the MacTutor site. The Agnes Scott site of Biographies of Women Mathematicians also has a biography of Smith.

Let me close with a few reviews of Karen Smith’s work.

**MR3352824**

Benito, Angélica(1-MI); Muller, Greg(1-MI); Rajchgot, Jenna(1-MI); Smith, Karen E.(1-MI)

Singularities of locally acyclic cluster algebras.

*Algebra Number Theory* 9 (2015), no. 4, 913–936.

13F60 (13A35 14B05)

Cluster algebras were introduced by S. Fomin and A. Zelevinsky [J. Amer. Math. Soc. 15 (2002), no. 2, 497–529; MR1887642]. Locally acyclic cluster algebras, recently introduced in [G. Muller, Adv. Math. 233 (2013), 207–247; MR2995670], are a large class of cluster algebras which include many interesting examples from representation theory and Teichmüller theory.

In this paper, the authors focus on the properties of singularities of locally acyclic cluster algebras over an arbitrary field $k$. Let ${\mathcal A}$ be a locally acyclic cluster algebra. The main theorem is that ${\mathcal A}$ over an $F$-finite field $k$ of prime characteristic is strongly $F$-regular and ${\mathcal A}$ over a field $k$ of characteristic zero has $($at worst$)$ canonical singularities, where $F$ is the Frobenius endomorphism. In addition, they also show that the upper cluster algebra ${\mathcal U}$ determined by ${\mathcal A}$ is always Frobenius split.

On the other hand, when ${\mathcal A}$ is nonlocally acyclic, the authors prove the following result: If ${\mathcal A}$ is strongly $F$-regular then ${\mathcal U}$ is strongly $F$-regular. Moreover, they also provide examples which demonstrate that in this case the strong $F$-regularity of ${\mathcal U}$ is still possible, though not necessary.

Finally, the authors claim that the lower bound algebra is also Frobenius split and investigate the canonical modules of upper cluster algebras in the Appendix.

Reviewed by Yichao Yang

**MR2068967**

Ein, Lawrence(1-ILCC); Lazarsfeld, Robert(1-MI); Smith, Karen E.(1-MI); Varolin, Dror(1-IL)

Jumping coefficients of multiplier ideals.

*Duke Math. J.* 123 (2004), no. 3, 469–506.

14B05 (32S05)

The authors introduce new invariants, which are generalizations of the log canonical threshold in a natural way: Let $X$ be a smooth complex algebraic variety and let $x \in X$ be a fixed point. Given an effective divisor $A$ on $X$, for any rational number $c>0$, one can define the multiplier ideal ${\mathcal J}(X, c\cdot A) \subseteq{\mathcal O}_X$. Then there exists an increasing sequence$$0=\xi_0(A;x)<\xi_1(A;x)<\xi_2(A;x)< \cdots$$ of rational numbers $\xi_i=\xi_i(A;x)$ characterized by the following properties: ${\mathcal J}(X, c \cdot A)_x ={\mathcal J}(X, \xi_i \cdot A)_x$ for $c \in [\xi_i, \xi_{i+1})$, while $${\mathcal J}(X, \xi_{i+1} \cdot A)_x \neq{\mathcal J}(X,\xi_{i} \cdot A)_x$$ for every $i$. Here $\xi_1$ is the log canonical threshold of $A$ at $x$. The authors call these rational numbers $\xi_i(A;x)$ the jumping coefficients or jumping numbers of $A$ at $x$. The paper under review develops the theory of jumping coefficients and gives a number of applications.

In Section 1, several formal properties of jumping coefficients are established by taking advantage of geometric properties of multiplier ideals which the reader can find in R. K. Lazarsfeld’s book [Positivity in algebraic geometry. II, Springer, Berlin, 2004; MR2095472]. In Section 2, a result due to Kollár and others [B. Lichtin, Ark. Mat. 27 (1989), no. 2, 283–304; MR1022282; J. Kollár, in Algebraic geometry—Santa Cruz 1995, 221–287, Proc. Sympos. Pure Math., 62, Part 1, Amer. Math. Soc., Providence, RI, 1997; MR1492525; T. Yano, Publ. Res. Inst. Math. Sci. 14 (1978), no. 1, 111–202; MR0499664] concerning a relationship between the log canonical threshold and the Bernstein-Sato polynomial is generalized. Developing further the line of Kollár’s argument, the authors show that if $\xi$ is a jumping coefficient of $f \in \Bbb{C}[t_1, \dots, t_d]$ lying in the interval $(0,1]$, then $-\xi$ is a root of the Bernstein-Sato polynomial of $f$. In Section 3, the authors connect jumping coefficients to uniform Artin-Rees numbers, which were introduced by C. L. Huneke [Invent. Math. 107 (1992), no. 1, 203–223; MR1135470]. As a corollary, they prove that if $(f=0)$ has an isolated singularity at a point $x \in X$ but otherwise is smooth, then $\tau(f,x)+\dim X$ is a uniform Artin-Rees number for $f$, where $\tau(f,x)$ denotes the Tyurina number of $f$ at $x$. In the last section, the authors attach jumping coefficients to graded families ${\mathfrak a}_{\bullet}$ of ideals using the asymptotic multiplier ideals ${\mathcal J}(c \cdot{\mathfrak a}_{\bullet})$ and establish a few results on them. These invariants are not necessarily rational and they point out that the collection of jumping coefficient of ${\mathfrak a}_{\bullet}$ can contain cluster points, but it satisfies the DCC.

The jumping coefficients are closely related to several other invariants and shed a new light on singularity theory.

Reviewed by Shunsuke Takagi

**MR1826369**

Ein, Lawrence(1-ILCC); Lazarsfeld, Robert(1-MI); Smith, Karen E.(1-MI)

Uniform bounds and symbolic powers on smooth varieties.

*Invent. Math.* 144 (2001), no. 2, 241–252.

13A10 (13H05 14Q20)

The authors use the theory of multiplier ideals to prove several uniform bounds, the most remarkable of which are the uniform bounds for symbolic powers on smooth varieties. Namely, if $X$ is a non-singular quasi-projective variety defined over the complex numbers and $Z$ is a reduced subscheme of $X$, let ${\mathfrak q}$ be the ideal sheaf of $Z$. If all the irreducible components of $Z$ have codimension at most $e$ in $X$, then the authors prove that for all $n \ge 1$, ${\mathfrak q}^{(ne)}\subseteq{\mathfrak q}^n$. The key ingredients in this remarkable constructive result are the asymptotic multiplier ideals and the subadditivity property of multiplier ideals, the latter proved by J.-P. Demailly, L. M. H. Ein and R. K. Lazarsfeld [Michigan Math. J. 48 (2000), 137–156; MR1786484].

Inspired by the results of this paper, Hochster and Huneke extended this symbolic powers result to arbitrary Noetherian regular rings containing a field [M. Hochster and C. Huneke, “Comparison of symbolic and ordinary powers of ideals”, preprint, 2000; per bibl.]. Hochster and Huneke used the theory of tight closure, pointing to yet another connection between multiplier ideals and tight closure. (For other such connections [see, e.g., K. E. Smith, Comm. Algebra 28 (2000), no. 12, 5915–5929 MR1808611 ].)

The reviewer had proved that (under fewer assumptions) there exists an integer $l$ such that for all $n$, ${\mathfrak q}^{(nl)}\subseteq{\mathfrak q}^n$ [Math. Z. 234 (2000), no. 4, 755–775; MR1778408], but the construction there does not produce the integer $l$ even with the extra restrictions of either the paper under review or of the paper of Hochster and Huneke.

Ein, Lazarsfeld and Smith also prove the analogous uniform bounds when the family of symbolic powers of a radical ideal is generalized to any countable graded family of nonzero ideals $\{{\mathfrak a}_n\}$ satisfying ${\mathfrak a}_n\cdot{\mathfrak a}_m \subseteq{\mathfrak a}_{n+m}$ for all $n,m\ge1$. A special case is when ${\mathfrak a}_n$ is the contraction of the $n$th power of the maximal ideal of a Rees valuation (i.e., a prime divisor of the first kind), giving a constructive improvement of a restricted case of Izumi’s theorem [S. Izumi, Publ. Res. Inst. Math. Sci. 21 (1985), no. 4, 719–735; MR0817161], [D. Rees, in Commutative algebra (Berkeley, CA, 1987), 407–416, Springer, New York, 1989; MR1015531], or [R. Hübl and I. Swanson, J. Pure Appl. Algebra 161(2001), no. 1-2, 145–166 MR1834082 ].

Reviewed by Irena Swanson

*Quanta* has an interview by Siobhan Roberts with Sylvia Serfaty, a mathematician at the Courant Institute who work in analysis, PDEs, and mathematical physics. Serfaty is by any measure a successful mathematician. She publishes three or four articles per year in good journals. She has written a successful book with Étienne Sandier. She has won some great prizes. Yet Serfaty does not consider herself a genius. Moreover, she disputes the idea that you need to be a genius or a prodigy to do mathematics. While there are geniuses in mathematics, they are rare. She correctly points out that you don’t have to be in that thin slice to do interesting mathematics. Rather, to be successful you have to be curious and persistent. Serfaty says, “You enjoy solving a problem if you have difficulty solving it. The fun is in the struggle with a problem that resists.”^{1}

Serfaty is not alone in this point of view. Terry Tao wrote on his blog:

Does one have to be a genius to do mathematics?

The answer is an emphatic **NO**. In order to make good and useful contributions to mathematics, one does need to work hard, learn one’s field well, learn other fields and tools, ask questions, talk to other mathematicians, and think about the “big picture”. And yes, a reasonable amount of intelligence, patience, and maturity is also required. But one does **not** need some sort of magic “genius gene” that spontaneously generates *ex nihilo* deep insights, unexpected solutions to problems, or other supernatural abilities.

Tao cites an article in *New Scientist *magazine that makes the same point: most people who do incredible work are not necessarily mutants. Rather, for the most part, they find something that interests them deeply, then work very hard to make progress.

In the spirit of using MathSciNet to dig more deeply into an article in *Quanta*, below is a copy of the review of the book by Serfaty and Sandier mentioned in the interview. In the meantime, I recommend *Quanta* for its articles on mathematics — and other things.

– – – – –

** ^{1}** When my students used to complain that something was hard, I would tell them, “It wouldn’t be fun if it wasn’t hard.” This went down better with the graduate students than the undergrads.

**MR2279839**

Sandier, Etienne(F-PARIS12); Serfaty, Sylvia(1-NY-X)

Vortices in the magnetic Ginzburg-Landau model.

Progress in Nonlinear Differential Equations and their Applications, 70. *Birkhäuser Boston, Inc., Boston, MA,* 2007. xii+322 pp. ISBN: 978-0-8176-4316-4; 0-8176-4316-8

This book presents a detailed and comprehensive account of the rigorous mathematical analysis of the Ginzburg-Landau model of superconductivity in two dimensions. In the planar Ginzburg-Landau model, the state of a superconductor with cross-section $\Omega\subset\Bbb R^2$ is described by a complex order parameter, $u\in H^1(\Omega;\Bbb C)$ and magnetic vector potential $A\in H^1(\Omega; \Bbb R^2)$, so that the magnetic field $h=\nabla \times A$ is oriented orthogonally to the plane. Assuming the superconductor is exposed to an external magnetic field of constant intensity $h_{\rm ex}$, the physically observable configurations $(u,A)$ should minimize, $$ G_\epsilon (u,A) = \int_\Omega \left\{ \frac12 |(\nabla – iA)u|^2 + {1\over 4\epsilon^2}(|u|^2-1)^2 + \frac12 (h-h_{\rm ex})^2\right\} dx. $$ Here $\epsilon>0$ is the reciprocal of the Ginzburg-Landau parameter. Most results in this book concern the singular limit $\epsilon\to 0$.

The largest part of the book concerns the structure of energy minimizers for external fields $h_{\rm ex}$ nearby the “lower critical field” $H_{c_1}\sim |\ln\epsilon|$, the smallest value of the external field at which vortices are observed. In fact, the book illustrates how complex and interesting the $\epsilon\to 0$ limit actually is, with different types of minimizers appearing depending on the order of $h_{\rm ex}-H_{c_1}$.

For $h_{\rm ex}$ close to $H_{c_1}$, $h_{\rm ex}- H_{c_1}=O(\ln|\ln\epsilon|)$, they prove that minimizers have finitely many vortices, the number being bounded in $\epsilon$. As $\epsilon\to 0$ these vortices will accumulate at specific points in the domain, determined by the minimum of $h$ for vortexless configurations. This result was first proven by the authors in [Calc. Var. Partial Differential Equations 17 (2003), no. 1, 17–28; MR1979114], but here they refine their result by blowing up around the limiting points. They obtain an asymptotic expansion of the critical fields at which additional vortices are produced, as well as a renormalized energy to determine the configuration of the vortices around the concentration point.

If $h_{\rm ex}-H_{c_1}=O(|\ln\epsilon|)$, they show that minimizers will have an unbounded number of vortices as $\epsilon\to 0$, and these vortices will spread out over the sample $\Omega$. They present the result of [E. Sandier and S. Serfaty, Ann. Sci. École Norm. Sup. (4) 33 (2000), no. 4, 561–592; MR1832824], proving that the suitably normalized vorticity measure and magnetic field $h$ converge to a solution to an obstacle problem for $h$. The result is presented here in the framework of gamma convergence.

The book presents some original, previously unpublished results for the regime where $\ln|\ln\epsilon| \ll h_{\rm ex}- H_{c_1} \ll |\ln\epsilon|$. In this limit, minimizers have an unbounded number of vortices which nevertheless accumulate at points, as in the first case above. After blowing up around these points, the authors prove that the normalized vortex interaction energy $\Gamma$-converges to a classical Gauss variation problem from potential theory.

Many other results are also presented, including a study of bifurcation branches of local minimizers with fixed numbers of vortices and some new results on vorticity measures for nonminimizing solutions of the Ginzburg–Landau equations.

Several new techniques (and improvements on recent methods) are introduced. The methods used in proof are based on sharp matching upper and lower bounds on the energy. Most results depend on improving lower bounds on the energy, and the authors derive new sharp versions of the “vortex ball” constructions (see [E. Sandier, J. Funct. Anal. 152 (1998), no. 2, 379–403; MR1607928] or [R. L. Jerrard, SIAM J. Math. Anal. 30 (1999), no. 4, 721–746 (electronic); MR1684723].) Another new technique introduced in the book combines the vortex ball construction with the Pohozaev identity to obtain a finer analysis of vortices. The Pohozaev balls method is instrumental in the analysis of configurations with finitely many vortices, and leads to a sharpening and simplification of classical results of F. Bethuel, H. R. Brezis and F. Hélein [Ginzburg-Landau vortices, Birkhäuser Boston, Boston, MA, 1994; MR1269538].

Given the prevalence of Ginzburg-Landau-type models in condensed matter physics, these techniques are likely to find many applications and extensions in other singularly perturbed problems with quantized singularities, such as Bose-Einstein condensates, gauge field theories (such as Chern-Simons-Higgs), ferromagnetism, and liquid crystals.

Reviewed by Stanley A. Alama

]]>Plenty. Citation counts depend on matching algorithms. The algorithms try to pair an item in the reference list of an article with a known item in a database. Usually, you want to have matches or near matches on multiple points: author name, title, year of publication, page range, source (name of the journal). However, bibliographic styles are not consistent. And some authors make mistakes or take shortcuts, providing too little information. Some journals enforce telegraphic reference styles. Here is an example I chose at random from a respected physics journal:

- R. Yang and Z. Q. Wu,
*Earth Planet. Sci. Lett.***404**, 14 (2014). - J. C. Crowhurst, J. M. Brown, A. F. Goncharov, and S. D. Jacobsen,
*Science***319**, 451 (2008). - H. Marquardt, S. Speziale, H. J. Reichmann, D. J. Frost, and F. R. Schilling,
*Earth Planet. Sci. Lett.***287**, 345 (2009).

Note that there are no titles. Also, a page range isn’t given, just a starting page. This style makes it hard for the matching algorithm, but it is a standard style in the physics literature, not just this journal.

Some old-school citations are almost impossible for an algorithm to find. Here’s an old old-school example, from an old paper by Lefschetz in the Annals of Mathematics in 1920 .

• • • • •

The references are given almost as prose, but heavily abbreviated. My copy of Whittaker and Watson is full of citations as footnotes. (And I can only imagine how many times that book is referenced the way I just did, by the authors’ names, not by the title.¹) Such citations are rarer now, but they still occur.

Errors in citations can propagate. When I wrote my PhD thesis, an important result that I used was the Borel-Weil-Bott Theorem. Bott’s paper is

MR0089473

Bott, Raoul

Homogeneous vector bundles.

*Ann. of Math. (2)* **66** (1957), 203–248.

However, I found that many papers cited it incorrectly. Moreover, I could see that some authors copied the citation to Bott’s paper from the references in another paper. If one paper had it incorrect, then subsequent articles make the same mistake. I don’t remember exactly which ones I encountered way back in grad school, but examples are easy to find. For instance, one paper has the year and pages correct, but has the volume number as 56. Another puts the volume number at 60. (Getting warmer!) Kostant’s paper establishing his famous formula for the multiplicity of a weight gets everything right except the page range. In his paper on Lie algebra cohomology and the Borel-Weil-Bott Theorem (published two years later), Kostant has a complete and correct citation.

Citations to books can be troublesome. Often, the citation is spare, giving the author, title, and year. Here is a citation from a paper published in 2016 to a famous book by Dautray and Lions:

21. Dautray R, Lions JL. *Mathematical Analysis and Numerical Methods for Sciences and Technology*. Springer: Berlin, 1990.

We matched that to

**MR1036731**

Dautray, Robert(F-POLY); Lions, Jacques-Louis(F-CDF)

Mathematical analysis and numerical methods for science and technology. Vol. 1.

Physical origins and classical methods. With the collaboration of Philippe Bénilan, Michel Cessenat, André Gervat, Alain Kavenoky and Hélène Lanchon. Translated from the French by Ian N. Sneddon. With a preface by Jean Teillac. *Springer-Verlag, Berlin,* 1990. xviii+695 pp. ISBN: 3-540-50207-6; 3-540-66097-6.

But it could also have been Volume 3 or Volume 4, which were also published in 1990:

**MR1064315**

Dautray, Robert(F-POLY); Lions, Jacques-Louis(F-CDF)

Mathematical analysis and numerical methods for science and technology. Vol. 3.

Spectral theory and applications. With the collaboration of Michel Artola and Michel Cessenat. Translated from the French by John C. Amson. *Springer-Verlag, Berlin,* 1990. x+515 pp. ISBN: 3-540-50208-4; 3-540-66099-2

**MR1081946**

Dautray, Robert(F-POLY); Lions, Jacques-Louis(F-CDF)

Mathematical analysis and numerical methods for science and technology. Vol. 4.

Integral equations and numerical methods. With the collaboration of Michel Artola, Philippe Bénilan, Michel Bernadou, Michel Cessenat, Jean-Claude Nédélec, Jacques Planchard and Bruno Scheurer. Translated from the French by John C. Amson. *Springer-Verlag, Berlin,* 1990. x+465 pp. ISBN: 3-540-50209-2; 3-540-66100-X

Volume 2 was published in 1988. Volume 5 was 1992, and Volume 6 was 1993.

Formats vary greatly, with some including the city of publication, some including series information (such as *Ergebnisse* or maybe *Ergebnisse der Mathematik* or *Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge*). If the series information is given, a volume number might be included. In checking changes in citations after releasing the new features for MathSciNet, we realized that there were instances of a citation to a book in a series mixing up the volume number and the year of publication. (We fixed them.)

The propagation of the errors with citations to Bott’s paper described above was partly due to authors taking a shortcut. Few people wanted to figure out the appropriate abbreviation for the *Annals of Mathematics* or where to put the volume number versus the publication year. So many of us looked at the references in another paper to sort that out. With some of the tools built into MathSciNet, such shortcuts are no longer necessary. At Mathematical Reviews, we work very hard to make sure we have complete and accurate bibliographic information for the entries in MathSciNet. We also work hard to make it easy for you to use that information. My earlier post References and Citations tells you ways to do that, including obtaining the information in BibTeX format.

If you use the bibliographic data from MathSciNet in your references, then everybody’s matching algorithms will have a much easier time pairing those references with the paper in their databases. This helps people count. And you will have an easier time writing up the paper!

¹ This is related to the problem of *Alice’s Restaurant*. Sometimes what we call a thing is not the name of the thing. There is a song called *Alice’s Restaurant*, which is about Alice’s restaurant. But “Alice’s Restaurant” is not the name of the restaurant – it’s just the name of the song *about* the restaurant.

**We have given MathSciNet some upgrades.**

As of January 3rd, 2017, MathSciNet will be running on new software, which has allowed us to add some great new features, with more to come in February 2017. This post provides some highlights of how MathSciNet is bigger, better, faster, more.

And please visit the AMS Booth at the JMM in Atlanta to see demonstrations of the new features of MathSciNet, as well as to meet some of the Editors from Mathematical Reviews. There will be free access to MathSciNet at JMM!

Lists of search results will be sortable in a number of different ways, including chronologically, reverse chronologically, and by citations.

Here are the results of a search for publications with Anywhere=(fundamental lemma), sorted three different ways:

**Classic sort: Newest First**

**Oldest First**

**Sorted by Number of Citations**

Previously, searches in MathSciNet assumed you were looking for a phrase. Now, searches in MathSciNet insert Boolean **AND** between terms by default. Thus, the search

will return all items where the word **fundamental** and the word **lemma** both occur somewhere. They need not be adjacent.

The search

will search for the phrase **fundamental lemma** anywhere in our listing of the item. The two words will need to be adjacent to each other.

Here is what the results of the second search, for “fundamental lemma”, look like:

Notice that the number of matches has dropped from 2510 to 512, which is to be expected.

Here are the results sorted by citations:

Lists of search results will now include facets that allow users to filter and refine searches. These are the choices listed in the sidebar on the left. The possible refinements here are item type, author, institution, primary classification, journal, and year. Returning to the example just listed (searching for the phrase “fundamental lemma”), we can refine the search by choosing an author:

These matches are based on the author identification (author disambiguation) that goes into creating the Mathematical Reviews author database. (See Who Wrote That? for more on our author identification.) The numbers in parentheses tell how many matches there are: 14 matches for Báo Châu Ngô, 13 for Yuval Z. Flicker, 13 for Jean-Loup Waldspurger, and so on.

Clicking on **Laumon, Gérard** produces

Notice that the refined results are still sorted by number of citations. The choice of sorting follows along with the refining process.

In this screen shot, notice that the first two items have a light blue background:

That is because the two items are related. Indeed, they are Parts I and II. We gather them together, even though they were published as two separate books. Indeed, they have one joint review, written by Jonathan David Rogawski.

We can further refine the search by making a choice of Primary Classification.

We see that there are just two choices: Number Theory (MSC=11) with 6 items and Topological groups, Lie groups (MSC=22) with 4 items. Let’s look at the 4 items with primary classification Topological groups, Lie groups:

Notice that the results are still sorted by “Citations”.

Another way to refine these results further is to enter a new search term in the “Search within results” box. This adds the new search term and looks for it anywhere in our record for the item: Author, Title, Journal, Review Text, etc. This example is left as an exercise to the reader…

**[This section was updated 2017 March 03 to reflect some refinements to Author Searches]**

The results of an Author Search now display with more information. Let’s use the Fields Medalist Wendelin Werner as an example, pretending that we don’t remember his first name. Navigating to the **Authors** tab, we enter “Werner” in the search field.

The results look vastly different now:

There is plenty of extra information to help choose the Werner we were actually looking for. In this case, there are 104 matches. My screen shot only allows us to see the first 12, sorted by Profile Name. **Note** that the search is looking for “Werner” only as a last name. (An earlier version of New MathSciNet looked in both first name and last name.) By default, the results are listed alphabetically by Profile Name (the name that appears in the Author Profile). We can re-sort by Citations:

There are a few matches with lots of citations. One of them has 1548 citations. We can also see that this Werner started publishing at around the right time to have recently won a Fields Medal. Clicking on Werner, Wendelin brings us to his Author Profile page on MathSciNet

An alternative way to have found Wendelin Werner, assuming we knew something of his mathematics, would have been to refine by Primary Classification. That is to say, to select the classification in which he has published most frequently. In Werner’s case, that is Probability Theory and Stochastic Processes (MSC=60). Note that 6 of these authors have this class as their most frequently occurring MSC.

Selecting Probability Theory and Stochastic Processes yields

Note that, again, the sorting by Citations has followed us as we have refined the search. Wendelin Werner, the Fields Medalist, is still the top result. Clicking on his name leads us again to his Author Profile page

These are just a few highlights of what can be done with the new features of MathSciNet. You can watch a demo video of some of the sorting and faceting improvements. (The video was made when the new features were still prototypes – so some things will look slightly different.) But, the best thing is to try them out — after January 3rd!

And keep watch for more new features that will come later in 2017:

**Search Result Alerts:**Users will be able to log in and create email alerts that will send them any new results for queries that they create. This will allow users to be notified when, for example, an author’s citations count changes, or a new issue is added to a journal.**Autosuggest for Journals and Author Search Boxes:**MathSciNet’s journals and author search boxes will now suggest useful search strings for journal titles and author names.

I would be remiss if I didn’t thank **Erol Ozil**. He is the head of IT at Mathematical Reviews and is the mastermind behind these new features. To begin with, he set the stage for the upgrades by initiating the change in our search software. He then did an amazing job of getting the changes coded in the new environment. As database experts know, this requires restructuring the underlying databases to take advantage of the new code. There were a thousand issues, both large and small, that came up along the way. Erol dealt with them all.

Thank you, Erol.

]]>

Here is a list of the prizewinners that have been announced so far, with links to their Author Profiles on MathSciNet and to the news announcements of the prizes. (A list of all AMS Prizes and Awards is available here.) From the Author Profiles, you can explore the award-winning work of these mathematicians.

- James G. Arthur to receive 2017 AMS Steele Prize for Lifetime Achievement
- Leon Simon to receive 2017 AMS Steele Prize for Seminal Contribution to Research
- Dusa McDuff and Dietmar Salamon to receive 2017 AMS Steele Prize for Exposition
- András Vasy to receive 2017 AMS Bôcher Prize
- Henri Darmon to receive 2017 AMS Cole Prize in Number Theory
- Laura DeMarco to receive 2017 AMS Satter Prize
- László Erdős and Horng-Tzer Yau to receive 2017 AMS Eisenbud Prize
- John Friedlander and Henryk Iwaniec to receive 2017 AMS Doob Prize
- David Bailey, Jonathan Borwein, Andrew Mattingly, and Glenn Wightwick to receive 2017 AMS Conant Prize
- David H. Yang to Receive 2017 AMS-MAA-SIAM Morgan Prize.

Congratulations!

]]>