{"id":1608,"date":"2017-03-18T11:02:22","date_gmt":"2017-03-18T16:02:22","guid":{"rendered":"http:\/\/blogs.ams.org\/beyondreviews\/?p=1608"},"modified":"2017-03-19T10:04:09","modified_gmt":"2017-03-19T15:04:09","slug":"karen-smith","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/beyondreviews\/2017\/03\/18\/karen-smith\/","title":{"rendered":"Karen Smith"},"content":{"rendered":"

\"Karen<\/a>Karen Smith<\/a> is a mathematician\u00a0at the University of Michigan<\/a>, which is where she also did her Ph.D. \u00a0Her thesis<\/a>\u00a0was on tight closure, an important topic in commutative algebra. \u00a0There is, of course, \u00a0a lot of overlap between commutative algebra and algebraic geometry, and Smith’s publications demonstrate this mix with about three quarters of them being in commutative algebra<\/a> and a quarter in algebraic geometry<\/a>. \u00a0Her publications are also a good demonstration of the collaborative nature of mathematics.\u00a0<\/p>\n

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

\"Cloud<\/a><\/p>\n

Smith has written two books (both with coauthors) that are listed in MathSciNet:<\/p>\n

MR2062787<\/a>
\nKoll\u00e1r, J\u00e1nos; Smith, Karen E.; Corti, Alessio
\nRational and nearly rational varieties.
\nCambridge Studies in Advanced Mathematics, 92. Cambridge University Press, Cambridge, 2004. vi+235 pp. ISBN: 0-521-83207-1<\/p>\n

MR1788561<\/a>
\nSmith, Karen E.; Kahanp\u00e4\u00e4, Lauri; Kek\u00e4l\u00e4inen, Pekka; Traves, William
\nAn invitation to algebraic geometry.
\nUniversitext. Springer-Verlag, New York, 2000. xii+155 pp. ISBN: 0-387-98980-3<\/p>\n

She has another:<\/p>\n

Johdatusta algebralliseen geometriaan <\/a>by Lauri Kahanp\u00e4\u00e4, Karen E. Smith and Pekka Kek\u00e4l\u00e4inen, which she describes as the Finnish version of\u00a0An Invitation to Algebraic Geometry<\/em>.<\/p>\n

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

In an earlier blog post<\/a>, I mentioned the cross-linking between MathSciNet and the MacTutor History of\u00a0Mathematics Archive<\/a>. \u00a0Smith is among the small group of living mathematicians to have a biography on the MacTutor site<\/a>. \u00a0The Agnes Scott site of Biographies of Women Mathematicians<\/a>\u00a0also has a biography of Smith<\/a>.<\/p>\n

Let me close with a few\u00a0reviews of Karen Smith’s work.<\/p>\n

\n

MR3352824<\/strong><\/a>
\nBenito, Ang\u00e9lica<\/a>(1-MI)<\/a><\/span>; Muller, Greg<\/a>(1-MI)<\/a><\/span>; Rajchgot, Jenna<\/a>(1-MI)<\/a><\/span>; Smith, Karen E.<\/a>(1-MI)<\/a><\/span>
\nSingularities of locally acyclic cluster algebras.<\/span>
\nAlgebra Number Theory<\/em><\/a> 9 <\/a>(2015), <\/a>no. 4,<\/a> 913\u2013936.
\n13F60 (13A35 14B05)<\/a><\/p>\n

Cluster algebras were introduced by S. Fomin and A. Zelevinsky [J. Amer. Math. Soc. 15<\/span> (2002), no. 2, 497\u2013529; MR1887642<\/a>]. Locally acyclic cluster algebras, recently introduced in [G. Muller, Adv. Math. 233<\/span> (2013), 207\u2013247; MR2995670<\/a>], are a large class of cluster algebras which include many interesting examples from representation theory and Teichm\u00fcller theory.<\/p>\n

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

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

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.<\/p>\n

Reviewed by Yichao Yang<\/a><\/span><\/p>\n

<\/div>\n
\n

MR2068967<\/strong><\/a>
\nEin, Lawrence<\/a>(1-ILCC)<\/a><\/span>; Lazarsfeld, Robert<\/a>(1-MI)<\/a><\/span>; Smith, Karen E.<\/a>(1-MI)<\/a><\/span>; Varolin, Dror<\/a>(1-IL)<\/a><\/span>
\nJumping coefficients of multiplier ideals.<\/span>
\nDuke Math. J.<\/em><\/a> 123 <\/a>(2004), <\/a>no. 3,<\/a> 469\u2013506.
\n14B05 (32S05)<\/a><\/p>\n

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

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<\/span>, Springer, Berlin, 2004; MR2095472<\/a>]. In Section 2, a result due to Koll\u00e1r and others [B. Lichtin, Ark. Mat. 27<\/span> (1989), no. 2, 283\u2013304; MR1022282<\/a>; J. Koll\u00e1r, in Algebraic geometry\u2014Santa Cruz 1995<\/span>, 221\u2013287, Proc. Sympos. Pure Math., 62, Part 1, Amer. Math. Soc., Providence, RI, 1997; MR1492525<\/a>; T. Yano, Publ. Res. Inst. Math. Sci. 14<\/span> (1978), no. 1, 111\u2013202; MR0499664<\/a>] concerning a relationship between the log canonical threshold and the Bernstein-Sato polynomial is generalized. Developing further the line of Koll\u00e1r’s argument, the authors show that if $\\xi$<\/span> is a jumping coefficient of $f \\in \\Bbb{C}[t_1, \\dots, t_d]$<\/span> lying in the interval $(0,1]$<\/span>, then $-\\xi$<\/span> is a root of the Bernstein-Sato polynomial of $f$<\/span>. In Section 3, the authors connect jumping coefficients to uniform Artin-Rees numbers, which were introduced by C. L. Huneke [Invent. Math. 107<\/span> (1992), no. 1, 203\u2013223; MR1135470<\/a>]. As a corollary, they prove that if $(f=0)$<\/span> has an isolated singularity at a point $x \\in X$<\/span> but otherwise is smooth, then $\\tau(f,x)+\\dim X$<\/span> is a uniform Artin-Rees number for $f$<\/span>, where $\\tau(f,x)$<\/span> denotes the Tyurina number of $f$<\/span> at $x$<\/span>. In the last section, the authors attach jumping coefficients to graded families ${\\mathfrak a}_{\\bullet}$<\/span> of ideals using the asymptotic multiplier ideals ${\\mathcal J}(c \\cdot{\\mathfrak a}_{\\bullet})$<\/span> 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}$<\/span> can contain cluster points, but it satisfies the DCC.<\/p>\n

The jumping coefficients are closely related to several other invariants and shed a new light on singularity theory.<\/p>\n

Reviewed by Shunsuke Takagi<\/a><\/span><\/p>\n

\n

MR1826369<\/strong><\/a>
\nEin, Lawrence<\/a>(1-ILCC)<\/a><\/span>; Lazarsfeld, Robert<\/a>(1-MI)<\/a><\/span>; Smith, Karen E.<\/a>(1-MI)<\/a><\/span>
\nUniform bounds and symbolic powers on smooth varieties.<\/span>
\nInvent. Math.<\/em><\/a> 144 <\/a>(2001), <\/a>no. 2,<\/a> 241\u2013252.
\n13A10 (13H05 14Q20)<\/a><\/p>\n

\n

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$<\/span> is a non-singular quasi-projective variety defined over the complex numbers and $Z$<\/span> is a reduced subscheme of $X$<\/span>, let ${\\mathfrak q}$<\/span> be the ideal sheaf of $Z$<\/span>. If all the irreducible components of $Z$\u00a0<\/span>have codimension at\u00a0most $e$<\/span> in $X$<\/span>, then the authors prove that for all $n \\ge 1$, ${\\mathfrak q}^{(ne)}\\subseteq{\\mathfrak q}^n$<\/span>. 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<\/span> (2000), 137\u2013156; MR1786484<\/a>].<\/p>\n

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<\/span> (2000), no. 12, 5915\u20135929 MR1808611<\/a> ].)<\/p>\n

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

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\\}$<\/span> satisfying ${\\mathfrak a}_n\\cdot{\\mathfrak a}_m \\subseteq{\\mathfrak a}_{n+m}$<\/span> for all $n,m\\ge1$<\/span>. A special case is when ${\\mathfrak a}_n$<\/span> is the contraction of the $n$<\/span>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<\/span> (1985), no. 4, 719\u2013735; MR0817161<\/a>], [D. Rees, in Commutative algebra (Berkeley, CA, 1987)<\/span>, 407\u2013416, Springer, New York, 1989; MR1015531<\/a>], or [R. H\u00fcbl and I. Swanson, J. Pure Appl. Algebra 161<\/span>(2001), no. 1-2,\u00a0145\u2013166 MR1834082<\/a> ].<\/p>\n

Reviewed by Irena Swanson<\/a><\/span><\/p>\n

 <\/p>\n<\/div>\n

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

Karen Smith is a mathematician\u00a0at the University of Michigan, which is where she also did her Ph.D. \u00a0Her thesis\u00a0was on tight closure, an important topic in commutative algebra. \u00a0There is, of course, \u00a0a lot of overlap between commutative algebra and … Continue reading →<\/span><\/a><\/p>\n

<\/div>\n","protected":false},"author":86,"featured_media":1610,"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":true,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[8],"tags":[],"class_list":["post-1608","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-mathematicians"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/beyondreviews\/files\/2017\/03\/KarenSmith-1c.jpeg","jetpack_shortlink":"https:\/\/wp.me\/p6C2KK-pW","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/1608","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=1608"}],"version-history":[{"count":22,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/1608\/revisions"}],"predecessor-version":[{"id":1633,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/1608\/revisions\/1633"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media\/1610"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media?parent=1608"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/categories?post=1608"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/tags?post=1608"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}