Applications of 3-Manifold Floer Homology Tth\

Total Page:16

File Type:pdf, Size:1020Kb

Applications of 3-Manifold Floer Homology Tth\ Applications of 3-Manifold Floer Homology by Ilya Elson Bachelor of Arts University of Pennsylvania, May 2001 Master of Arts University of Pennsylvania, May 2001 Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Master of Science at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY February 2008 @ Ilya Elson, MMVIII. All rights reserved. The author hereby grants to MIT permission to reproduce and distribute publicly paper and electronic copies of this thesis document in whole or in part. Author ..............'''''''•'' ' . i ''''':~,_ "1- .. J .... £ Ar_..L.I~~ .... .L:_"_ Department of Mathematics February 8, 2008 Certified by........................................ .............. Tomasz S. Mrowka Professor of Mathematics tTh\ Thesis Supervisor Accepted by................ .V . David S. Jerison MASSACHUSTTS INSTITUTE OF TEOHNOLOGY Chairman, Departmental Committee on Graduate Students MAR 1,0 2008 ARCHfVES LIBRARIES Applications of 3-Manifold Floer Homology by Ilya Elson Submitted to the Department of Mathematics on February 8, 2008, in partial fulfillment of the requirements for the degree of Master of Science Abstract In this thesis we give an exposition of some of the topological preliminaries neces- sary to understand 3-manifold Floer Homology constructed by Peter Kronheimer and Tomasz Mrowka in [16], along with some properties of this theory, calculations for specific manifolds, and applications to 3-manifold topology. Thesis Supervisor: Tomasz S. Mrowka Title: Professor of Mathematics Contents 1 Topological Preliminaries 1 1 Surgery 1.1.1 Handle Decompositions . 1.1.2 Surgery in any Dimension 1.1.3 Cobordism ...... .... 1.1.4 Rational Surgery on a Knot 3-manifold 1.2 Taut Foliations .... ....... 1.3 Spin Structures ........... 1.4 Plane fields . ............ 1.5 Special surgeries ........... 2 Floer Homology 24 2.1 Morse Homology ..... ... 24 2.2 Monopole Floer Homology ........ 26 2.2.1 General Definitions and Theorems 26 2.2.2 The Surgery Exact Triangle . .. 27 2.3 L-spaces . ................. 28 2.4 Some Calculations . ..... ...... 31 References . ................... 34 Chapter 1 Topological Preliminaries 1.1 Surgery 1.1.1 Handle Decompositions A detailed exposition of handle decompositions can be found in [7, Chapter 4]. Handle decompositions are highly analogous to CW-decompositions. The differ- ence is that the cells are "thickened" to have the same dimension as the manifold we are building. An n-dimensional k-handle h is simple an n-ball thought of as Dk x Dn- k . Dk x {0} is called the core, and {0} x Dn- k is called the co-core. The boundary of the core, aDk x {0} • S k - 1 x {0} is called the attaching sphere and k - {0} x aD - k = {0} x Sn- i is called the belt sphere. Suppose we have an n-manifold X with non-empty boundary, and an S k - 1 em- bedded in aX with trivial normal bundle. A choice of trivialization 7 of the normal k - bundle gives a diffeomorphism of a tubular neighborhood N of the S 1, called the attaching region, : N -- S k - 1 x Dn- k. We can then form a new manifold with boundary, X' = X ud h. There is a technicality, which is that X' is well defined as a topological space, but not as a smooth manifold with boundary because there is a "corner," in other words, X' has the structure of a manifold with boundary every- where except along the boundary of the attaching region in aX. However, there is a canonical way to smooth corners, see [24, section 7.51. Figure 1-1: Attaching a 3-dimensional 1-handle to a 0-handle The pair (S k - l, T) specified up to isotopy determines X' up to diffeomorphism. Handle decompositions arise from Morse functions, so the existence of Morse func- tions implies that every smooth, compact manifold admits a handle decomposition. See [7, Chapter 4] for a very terse overview. See [19, Part I, §1-3] for more details, though, in this reference everything is formulated in terms of cells rather than handles, the modifications are obvious. More precisely, the following are elementary facts, which altogether can be called the fundamental preliminary lemma of Morse theory. The proof of these occupies a number of pages in [19], but the proof is nothing more than some vector calculus. Every closed, smooth n-dimensional manifold admits a smooth function f : M -- [-1, n] such that the critical points, i.e. points where df = 0, are isolated and non- degenerate, i.e. 0 is not an eigenvalue of Hess f, where Hess f is the Hessian of f, which is well-defined at a critical point. The number of negative eigenvalues of Hess f is called the index of a critical point. Such a function is called a Morse function. Further, there exists a Morse function, such that the critical values are 0, 1,..., n and f- 1({k}) are the critical points of index k. Such a Morse function is called self- indexing. Finally, around a critical point Pk e M of index k,there exist coordinates (Xl,...,Xn), p = (0, ... , 0), such that f(xI, ... ,x) = f(p) - EI X2 + E k+l: This innocuous statement, which is absolutely elementary to prove, allows one to conclude that f -1(-1, k + 1/2) is just f-l(-1l, k - 1/2) u k-handles. 1.1.2 Surgery in any Dimension See [7, Sections 5.2] and [22, Theorem 3.12] for details. Suppose we have Sk embed- ded in some n-dimensional manifold M with trivial normal bundle v. A choice of trivialization 7 of v is called a framing, and gives a diffeomorphism q of a tubular neighborhood of the embedded Sk in M, which we call N, with S k x Dn- k . We can then form a new manifold M' by excising N and gluing in D k+1 x Sn- k- 1, since the two have diffeomorphic boundaries, 9!a) : N - a (sk x Dn-k) a (Dk+1 x Sn-k-1) M' = M\N IJ0N Dk+1 x Sn-k-1 . The manifold M' is said to be obtained from M by surgery on Sk with framing T. Note that the framing plays a crucial role; a different choice of framing will generally yield a different manifold. Note also that the class in 7Fk(M) represented by the embedded Sk is killed in M'. Thus, surgery can be used to successively simplify a manifold. The normal bundle v is canonically trivial over the two disks Dk and Dk which are glued along S k- 1 to form the Sk along which the surgery is performed. Hence, the difference between any two trivializations of v gives rise to a map S k - 1 -- GL(n - k), and so to an element of 7 k-1 (SO (n - k)). The notion of surgery is one of the most powerful in differential topology, and allows a sort of classification of manifolds of dimension greater than 4. The classic references for this topic, [1, 29], are very difficult to read, but the first triumphs of surgery theory, the Smale's h-cobordism theorem as explained in [22], and the Kervaire-Milnor classification of homotopy spheres in high dimension, [12] are very readable. Also, [27] is an accessible introduction to the subject; in particular, in that Chapter 13 of [27] one can find the classical surgery exact sequence, which is reminiscent of the surgery exact sequence for Floer Homology (2.6). Surgery was introduced by Milnor in [21] and independently by Wallace, who called it "spherical modification" in [30]. 1.1.3 Cobordism Two n-dimensional manifolds M1 and M2 are said to be cobordant if there exists an n + 1-dimensional manifold W such that aW = Mr1 _ M 2. Cobordism is clearly an equivalence relation, since W = M x [0, 1] is a cobordism of M with itself, and if W1 is a cobordism between M 1 and M 2 and W2 is a cobordism from M 2 to M 3,then W = W1 IHM2 2 is a cobordism from M 1 to M 3. Further, with the empty manifold as the neutral element and disjoint union as the addition the set of equivalence classes of manifolds upto cobordism becomes an abelian group Qn. We can actually further equip the union Q = Un Qn with the structure of a ring by using ordinary cartesian product as the multiplication. Indeed, if W1 is a cobordism from M 1 to M3 and W2 is a cobordism from M2 to M 4,then W1 x M 2 IHMxM3 2 M 3 x W2 is a cobordism from M 1 x M 2 to M 3 x M 4.The cobordism ring Q is known to be generated by CP', n > 2. A refinement of the notion of cobordism is the notion of oriented cobordism. Namely, an oriented cobordism between oriented manifolds M 1 and M2 , is an ori- ented manifold W, such that aW = M1 H[ M 2 and the orientation induced from W on M 1 agrees with the orientation of M1, while the orientation induced on M2 is the opposite orientation. A crucial, though trivial, point is that two manifolds related by surgery are cobor- dant. Indeed, if M' is obtained from M by performing surgery on some embedded Sk with some framing T, then we can form W = M x [0, 1] and attach an n + 1- dimensional k + 1-handle h along this Sk embedded in M x {1} with the specified framing. Then W usk h is a cobordism from M to M'. Conversely, two manifolds are cobordant if and only if they are related by a finite number of surgeries.
Recommended publications
  • Manifolds at and Beyond the Limit of Metrisability 1 Introduction
    ISSN 1464-8997 125 Geometry & Topology Monographs Volume 2: Proceedings of the Kirbyfest Pages 125–133 Manifolds at and beyond the limit of metrisability David Gauld Abstract In this paper we give a brief introduction to criteria for metris- ability of a manifold and to some aspects of non-metrisable manifolds. Bias towards work currently being done by the author and his colleagues at the University of Auckland will be very evident. Wishing Robion Kirby a happy sixtieth with many more to follow. AMS Classification 57N05, 57N15; 54E35 Keywords Metrisability, non-metrisable manifold 1 Introduction By a manifold we mean a connected, Hausdorff topological space in which each point has a neighbourhood homeomorphic to some euclidean space Rn .Thus we exclude boundaries. Although the manifolds considered here tend, in a sense, to be large, it is straightforward to show that any finite set of points in a manifold lies in an open subset homeomorphic to Rn ; in particular each finite set lies in an arc. Set Theory plays a major role in the study of large manifolds; indeed, it is often the case that the answer to a particular problem depends on the Set Theory involved. On the other hand Algebraic Topology seems to be of less use, at least so far, with [16, Section 5] and [5] being among the few examples. Perhaps it is not surprising that Set Theory is of major use while Algebraic Topology is of minor use given that the former is of greater significance when the size of the sets involved grows, while the latter is most effective when we are dealing with compact sets.
    [Show full text]
  • Department of Mathematics
    Department of Mathematics The Department of Mathematics seeks to maintain its top ranking in mathematics research and education in the United States. The department is a key part of MIT’s educational mission at both the undergraduate and graduate levels and produces the most sought-after young researchers. Key to the department’s success is recruitment of the best faculty members, postdoctoral associates, and graduate students in an ever more competitive environment. The department strives to be diverse at all levels in terms of race, gender, and ethnicity. It continues to serve the varied needs of its graduate students, undergraduate students majoring in mathematics, and the broader MIT community. Awards and Honors The faculty received numerous distinctions this year. Professor Victor Kac received the Leroy P. Steele Prize for Lifetime Achievement, for “groundbreaking contributions to Lie Theory and its applications to Mathematics and Mathematical Physics.” Larry Guth (together with Netz Katz of the California Institute of Technology) won the Clay Mathematics Institute Research Award. Tomasz Mrowka was elected as a member of the National Academy of Sciences and William Minicozzi was elected as a fellow of the American Academy of Arts and Sciences. Alexei Borodin received the 2015 Loève Prize in Probability, given by the University of California, Berkeley, in recognition of outstanding research in mathematical probability by a young researcher. Alan Edelman received the 2015 Babbage Award, given at the IEEE International Parallel and Distributed Processing Symposium, for exceptional contributions to the field of parallel processing. Bonnie Berger was elected vice president of the International Society for Computational Biology.
    [Show full text]
  • Helmut Hofer Publication List
    Helmut Hofer Publication List Journal Articles: (1) A multiplicity result for a class of nonlinear problems with ap- plications to a nonlinear wave equation. Jour. of Nonlinear Analysis, Theory, Methods and Applications, 5, No. 1 (1981), 1-11 (2) Existence and multiplicity result for a class of second order el- liptic equations. Proc. of the Royal Society of Edinburgh, 88A (1981), 83-92 (3) A new proof for a result of Ekeland and Lasry concerning the number of periodic Hamiltonian trajectories on a prescribed energy surface. Bolletino UMI 6, 1-B (1982), 931-942 (4) A variational approach to a wave equation problem at resonance. Metodi asintoctici e topologici in problemi differenziali non lin- eari; ed. L. Boccardo, A.M. Micheletti, Collano Atti di Con- gressi, Pitagora Editrice, Bologna (1981), 187-200 (5) On the range of a wave operator with nonmonotone nonlinear- ity. Math. Nachrichten 106 (1982), 327-340 (6) Variational and topological methods in partially ordered Hilbert spaces. Math. Annalen 261 (1982), 493-514 (7) On strongly indefinite funtionals with applications. Transactions of the AMS 275, No. 1 (1983), 185-213 (8) A note on the topological degree at a critical point of moun- tainpass-type. Proc. of the AMS 90, No. 2 (1984), 309-315 (9) Homoclinic, heteroclinic and periodic orbits for indefinite Hamil- tonian systems (with J. Toland). Math. Annalen 268 (1984), 387-403 (10) The topological degree at a critical point of mountainpasstype. AMS Proceedings of Symposia in Pure Math. 45, Part 1 (1986) 501-509 (11) A geometric description of the neighborhood of a critical point given by the mountainpass-theorem.
    [Show full text]
  • Holomorphic Disks and Genus Bounds Peter Ozsvath´ Zoltan´ Szabo´
    ISSN 1364-0380 (on line) 1465-3060 (printed) 311 Geometry & Topology G T GG T T T Volume 8 (2004) 311–334 G T G T G T G T Published: 14 February 2004 T G T G T G T G T G G G G T T Holomorphic disks and genus bounds Peter Ozsvath´ Zoltan´ Szabo´ Department of Mathematics, Columbia University New York, NY 10025, USA and Institute for Advanced Study, Princeton, New Jersey 08540, USA and Department of Mathematics, Princeton University Princeton, New Jersey 08544, USA Email: [email protected] and [email protected] Abstract We prove that, like the Seiberg–Witten monopole homology, the Heegaard Floer homology for a three-manifold determines its Thurston norm. As a consequence, we show that knot Floer homology detects the genus of a knot. This leads to new proofs of certain results previously obtained using Seiberg–Witten monopole Floer homology (in collaboration with Kronheimer and Mrowka). It also leads to a purely Morse-theoretic interpretation of the genus of a knot. The method of proof shows that the canonical element of Heegaard Floer homology associated to a weakly symplectically fillable contact structure is non-trivial. In particular, for certain three-manifolds, Heegaard Floer homology gives obstructions to the existence of taut foliations. AMS Classification numbers Primary: 57R58, 53D40 Secondary: 57M27, 57N10 Keywords: Thurston norm, Dehn surgery, Seifert genus, Floer homology, contact structures Proposed:RobionKirby Received:3December2003 Seconded: JohnMorgan,RonaldStern Revised: 12February2004 c Geometry & Topology Publications 312 Peter Ozsv´ath and Zolt´an Szab´o 1 Introduction The purpose of this paper is to verify that the Heegaard Floer homology of [27] determines the Thurston semi-norm of its underlying three-manifold.
    [Show full text]
  • Arxiv:Math/0610131V1 [Math.GT] 3 Oct 2006 Omlter.Let Theory
    A CONTROLLED-TOPOLOGY PROOF OF THE PRODUCT STRUCTURE THEOREM Frank Quinn September 2006 Abstract. The controlled end and h-cobrodism theorems (Ends of maps I, 1979) are used to give quick proofs of the Top/PL and PL/DIFF product structure theorems. 1. Introduction The “Hauptvermutung” expressed the hope that a topological manifold might have a unique PL structure, and perhaps analogously a PL manifold might have a unique differentiable structure. This is not true so the real theory breaks into two pieces: a way to distinguish structures; and the proof that this almost always gives the full picture. Milnor’s microbundles [M] are used to distinguish structures. This is a relatively formal theory. Let M ⊂ N denote two of the manifold classes DIFF ⊂ PL ⊂ TOP. An N manifold N has a stable normal (or equivalently, tangent) N microbundle, and an M structure on N provides a refinement to an M microbundle. The theory is set up so that this automatically gives a bijective correspondence between stable refinements of the bundle and stable structures, i.e. M structures on the N manifold N × Rk, for large k. Microbundles can be described using classifying spaces. This shows, for instance, that if N is a topological manifold then M × Rk has a smooth structure (for large k) exactly when the stable tangent (or normal) microbundle N → BTOP has a (ho- motopy) lift to BDIFF, and stable equivalence classes of such structures correspond to homotopy classes of lifts. The homotopy type of the classifying spaces can be completely described modulo the usual mystery of stable homotopy of spheres.
    [Show full text]
  • Fighting for Tenure the Jenny Harrison Case Opens Pandora's
    Calendar of AMS Meetings and Conferences This calendar lists all meetings and conferences approved prior to the date this issue insofar as is possible. Instructions for submission of abstracts can be found in the went to press. The summer and annual meetings are joint meetings with the Mathe­ January 1993 issue of the Notices on page 46. Abstracts of papers to be presented at matical Association of America. the meeting must be received at the headquarters of the Society in Providence, Rhode Abstracts of papers presented at a meeting of the Society are published in the Island, on or before the deadline given below for the meeting. Note that the deadline for journal Abstracts of papers presented to the American Mathematical Society in the abstracts for consideration for presentation at special sessions is usually three weeks issue corresponding to that of the Notices which contains the program of the meeting, earlier than that specified below. Meetings Abstract Program Meeting# Date Place Deadline Issue 890 t March 18-19, 1994 Lexington, Kentucky Expired March 891 t March 25-26, 1994 Manhattan, Kansas Expired March 892 t April8-10, 1994 Brooklyn, New York Expired April 893 t June 16-18, 1994 Eugene, Oregon April4 May-June 894 • August 15-17, 1994 (96th Summer Meeting) Minneapolis, Minnesota May 17 July-August 895 • October 28-29, 1994 Stillwater, Oklahoma August 3 October 896 • November 11-13, 1994 Richmond, Virginia August 3 October 897 • January 4-7, 1995 (101st Annual Meeting) San Francisco, California October 1 December March 4-5, 1995
    [Show full text]
  • Instantons, Knots and Knotted Graphs
    Annual McKnight-Zame Lecture INSTANTONS, KNOTS AND KNOTTED GRAPHS Thursday February 27th, 2020 5:30 PM Newman Alumni Center 6200 San Amaro Drive Coral Gables, FL 33146 RSVP ummcknight-zame2020.eventbrite.com Tomasz Mrowka, Ph.D. Professor of Mathematics, MIT Member of the National Academy of Sciences Fellow of the American Academy of Arts & Sciences 2007 Veblen Prize in Geometry Recipient Over the past four decades, input from geometry and analysis has been central to progress in the ield of low-dimensional topology. This talk will focus on one aspect of these developments, namely, the use of Yang-Mills theory, or gauge theory. These techniques were pioneered by Simon Donaldson in his work on 4-manifolds beginning in 1982. The past ten years have seen new applications of gauge theory and new interactions with more recent threads in the subject, particularly in 3-dimensional topology and knot theory. In our exploration of this subject, a recurring question will be, "How can we detect knottedness?" Many mathematical techniques have found application to this question, but gauge theory in particular has provided its own collection of answers, both directly and through its connection with other tools. Beyond classical knots, we will also take a look at the nearby but less-explored world of spatial graphs. Hosted by Department of Mathematics UNIVERSITY OF MIAMI The McKnight-Zame Distinguished Lecture Series is made possible by a COLLEGE of generous donation from Dr. Jery Fuqua (Ph.D., UM, 1972). These annual lectures ARTS & SCIENCES are named in honor of Professor James McKnight, who directed Dr.
    [Show full text]
  • The Circle Squared, Beyond Refutation MAA Committee on Participation of Women Sponsors Panel On
    Volume 9, Number 2 THE NEWSLETTER OF THE MATHEMATICAL ASSOCIATION OF AMERICA March-April 1989 The Circle Squared, MAA Committee on Participation of Beyond Refutation Women Sponsors Panel on "How to Stan Wagon Break into Print in Mathematics" Frances A. Rosamond The circle has finally been squared! No, I do not mean that some­ one has found a flaw in the century-old proof that 7r is transcen­ This panel at the Phoenix meeting was intended to provide en­ dental and that a straightedge and compass construction of 7r ex­ couragement for women mathematicians, but its "how to" lessons ists. I am instead referring to a famous problem that Alfred Tarski will be useful to all mathematicians. The essentials of writing a posed in 1925: Is it possible to partition a circle (with interior) into research paper, expository article, or book from first conception finitely many sets that can be rearranged (using isometries) so that to final acceptance were discussed by authors and editors. Panel they form a partition of a square? In short, Tarski's modern circle­ members were: Doris W. Schattschneider, Moravian College; Joan squaring asks whether a circle is equidecomposable to a square. P. Hutchinson, Smith College; Donald J. Albers, Menlo College; A proof that the circle can indeed be squared in Tarski's sense has and Linda W. Brinn. Marjorie L. Stein of the US Postal Service was just been announced by Mikl6s Laczkovich (Eotvos t.orand Univer­ moderator. The organizer was Patricia C. Kenschaft, Chair of the sity, Budapest). MAA Committee on the Participation of Women.
    [Show full text]
  • Reflections on Trisection Genus
    Reflections on trisection genus Michelle Chu and Stephan Tillmann Abstract The Heegaard genus of a 3–manifold, as well as the growth of Heegaard genus in its finite sheeted cover spaces, has extensively been studied in terms of algebraic, geometric and topological properties of the 3–manifold. This note shows that analogous results concerning the trisection genus of a smooth, orientable 4–manifold have more general answers than their counterparts for 3–manifolds. In the case of hyperbolic 4–manifolds, upper and lower bounds are given in terms of volume and a trisection of the Davis manifold is described. AMS Classification 57Q15, 57N13, 51M10, 57M50 Keywords trisection, trisection genus, stable trisection genus, triangulation complexity, rank of group, Davis manifold Bounds on trisection genus Gay and Kirby’s construction of a trisection for arbitrary smooth, oriented closed 4–manifolds [5] defines a decomposition of the 4–manifold into three 4-dimensional 1–handlebodies glued along their boundaries in the following way: Each handlebody is a boundary connected sum of copies of S1 × B3, and has boundary a connected sum of copies of S1 × S2 (here, Bi denotes the i-dimensional ball and S j denotes the j-dimensional sphere). The triple intersection of the 4-dimensional 1–handlebodies is a closed orientable surface Σ, called the central surface, which divides each of their boundaries into two 3–dimensional 1–handlebodies (and hence is a Heegaard surface). These 3–dimensional 1–handlebodies are precisely the intersections of pairs of the 4–dimensional 1–handlebodies. A trisection naturally gives rise to a quadruple of non-negative integers (g;g0,g1,g2), encoding the genus g of the central surface Σ and the genera g0, g1, and g2 of the three 4–dimensional 1–handlebodies.
    [Show full text]
  • Paul Melvin: Curriculum Vitae
    Paul Melvin August 2013 Curriculum Vitae Department of Mathematics Phone: (610) 526-5353 Bryn Mawr College Email: [email protected] Bryn Mawr, PA 19010-2899 Homepage: www.brynmawr.edu/math/people/melvin/ Research Interests Low Dimensional Topology and Knot Theory Education Degrees Ph.D. in Mathematics, University of California, Berkeley, May 1977 Thesis: Blowing up and down in 4-manifolds Advisor: Robion Kirby B.A. in Mathematics, Haverford College, May 1971 Fellowships Woodrow Wilson 1971-72 (honorary graduate fellowship) National Science Foundation 1971-74 (graduate fellowship) Employment Bryn Mawr College Professor 1992–present On the Hale Chair 2000–08 Department Chair 2011–present, 2005–06, 1998–99, 1993–96 Associate Professor 1987–92 Assistant Professor 1981–87 U.C. Santa Barbara Visiting Assistant Professor 1979–81 U.W. Madison Assistant Professor 1977–79 Visiting Positions Math. Sci. Research Institute Research Member 2009–10 (Berkeley) Research Professor 1996–97 Institute for Advanced Study Member 2003 (Spring) (Princeton) Visitor 2002 (Fall) Stanford University Visiting Scholar 1994 (Summer) (Palo Alto) Visiting Associate Professor 1988–89 Newton Institute SERC Fellow 1992 (Fall) (Cambridge, England) U.C. Berkeley Research Associate 1989 (Spring) University of Pennsylvania Visiting Scholar 1985–86 Paul Melvin 2 Grants National Science Foundation Research Grants: Topological invariants of 3 and 4-manifolds (FRG: 2003–06) Quantum invariants of 3-manifolds (1992–95) 3-manifold invariants from quantum theory (1991–92) Transformation
    [Show full text]
  • January 2007 Prizes and Awards
    January 2007 Prizes and Awards 4:25 P.M., Saturday, January 6, 2007 MATHEMATICAL ASSOCIATION OF AMERICA DEBORAH AND FRANKLIN TEPPER HAIMO AWARDS FOR DISTINGUISHED COLLEGE OR UNIVERSITY TEACHING OF MATHEMATICS In 1991, the Mathematical Association of America instituted the Deborah and Franklin Tepper Haimo Awards for Distinguished College or University Teaching of Mathematics in order to honor college or university teachers who have been widely recognized as extraordinarily successful and whose teaching effectiveness has been shown to have had influence beyond their own institutions. Deborah Tepper Haimo was president of the Association, 1991–1992. Citation Jennifer Quinn Jennifer Quinn has a contagious enthusiasm that draws students to mathematics. The joy she takes in all things mathematical is reflected in her classes, her presentations, her publications, her videos and her on-line materials. Her class assignments often include nonstandard activities, such as creating time line entries for historic math events, or acting out scenes from the book Proofs and Refutations. One student created a children’s story about prime numbers and another produced a video documentary about students’ perceptions of math. A student who had her for six classes says, “I hope to become a teacher after finishing my master’s degree and I would be thrilled if I were able to come anywhere close to being as great a teacher as she is.” Jenny developed a variety of courses at Occidental College. Working with members of the physics department and funded by an NSF grant, she helped develop a combined yearlong course in calculus and mechanics. She also developed a course on “Mathematics as a Liberal Art” which included computer discussions, writing assignments, and other means to draw technophobes into the course.
    [Show full text]
  • Instanton and the Depth of Taut Foliations
    Instanton and the depth of taut foliations Zhenkun Li Abstract Sutured instanton Floer homology was introduced by Kronheimer and Mrowka in [8]. In this paper, we prove that for a taut balanced sutured man- ifold with vanishing second homology, the dimension of the sutured instanton Floer homology provides a bound on the minimal depth of all possible taut foliations on that balanced sutured manifold. The same argument can be adapted to the monopole and even the Heegaard Floer settings, which gives a partial answer to one of Juhasz’s conjectures in [5]. Using the nature of instanton Floer homology, on knot complements, we can construct a taut foliation with bounded depth, given some information on the representation varieties of the knot fundamental groups. This indicates a mystery relation between the representation varieties and some small depth taut foliations on knot complements, and gives a partial answer to one of Kronheimer and Mrowka’s conjecture in [8]. 1 Introduction Sutured manifolds and sutured manifold hierarchies were introduced by Gabai in 1983 in [2] and subsequent papers. They are powerful tools in the study of 3-dimensional topology. A sutured manifold is a compact oriented 3-manifold with boundary, together with an oriented closed 1-submanifold γ on BM, which is called the suture. If S Ă M is a properly embedded surface inside M, which satisfies some milt conditions, then we can perform a decomposition of pM, γq along S and obtain a new sutured manifold pM 1, γ1q. We call this process a sutured manifold decomposition and write S 1 1 arXiv:2003.02891v1 [math.GT] 5 Mar 2020 pM, γq pM , γ q.
    [Show full text]