James Dillon Stasheff (born January 15, 1936, New York City) [1] is an American mathematician, a professor emeritus of mathematics at the University of North Carolina at Chapel Hill. [2] He works in algebraic topology and algebra as well as their applications to physics.
Stasheff did his undergraduate studies in mathematics at the University of Michigan, graduating in 1956. [3] Stasheff then began his graduate studies at Princeton University; his notes for a 1957 course by John Milnor on characteristic classes first appeared in mimeographed form and later in 1974 in revised form book with Stasheff as a co-author. [4] After his second year at Princeton, he moved to Oxford University on a Marshall Scholarship. Two years later in 1961, with a pregnant wife, needing an Oxford degree to get reimbursed for his return trip to the US, and yet still feeling attached to Princeton, he split his thesis into two parts (one topological, the other algebraic) and earned two doctorates, a D.Phil. from Oxford under the supervision of Ioan James and a Ph.D. later the same year from Princeton under the supervision of John Coleman Moore. [3] [5] [6]
From 1961 to 1962, Stasheff was a C.L.E. Moore instructor at the Massachusetts Institute of Technology. Then in 1962 joined the faculty of University of Notre Dame as an assistant professor; he was promoted to full professor there in 1968. He visited Princeton University from 1968 to 1969 and then stayed there the next year as a Sloan Fellow. Then in 1970 he moved to Temple University, where he held a position until 1978. In 1976, he joined the UNC faculty. [3] He has also visited the Institute for Advanced Study, Lehigh University, Rutgers University, and the University of Pennsylvania.
Stasheff was an editor of the Transactions of the American Mathematical Society from 1978 to 1981, and managing editor from 1979 to 1981. [7] He has been married since 1959 and has two children.
Stasheff's research contributions include the study of associativity in loop spaces and the construction of the associahedron (also called the Stasheff polytope), ideas leading to the theory of operads; homotopy theoretic approaches to Hilbert's fifth problem on the characterization of Lie groups; and the study of Poisson algebras in mathematical physics. [3]
In the 1960s he wrote fundamental papers on higher homotopy theory and homotopy algebras. He introduced , Stasheff algebras and Stasheff polytopes.
In the 1980s he turned to the application of characteristic classes and other topological and algebraic concepts in mathematical physics, first in the algebraic structure of anomalies in quantum field theory, where he worked with among others, Tom Kephart and Paolo Cotta-Ramusino. He referred to the research field as cohomological physics.
In 2012 he became a fellow of the American Mathematical Society. [8]
In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.
John Willard Milnor is an American mathematician known for his work in differential topology, K-theory and dynamical systems. Milnor is a distinguished professor at Stony Brook University and one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize
Pierre René, Viscount Deligne is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord Prize, and 1978 Fields Medal.
In mathematics, an H-space, or a topological unital magma, is a topological space X together with a continuous map μ : X × X → X with an identity element e such that μ(e, x) = μ(x, e) = x for all x in X. Alternatively, the maps μ(e, x) and μ(x, e) are sometimes only required to be homotopic to the identity, sometimes through basepoint preserving maps. These three definitions are in fact equivalent for H-spaces that are CW complexes. Every topological group is an H-space; however, in the general case, as compared to a topological group, H-spaces may lack associativity and inverses.
In mathematics, a differentiable manifold of dimension n is called parallelizable if there exist smooth vector fields
In mathematics, an operad is concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already observed in algebras and coalgebras such as Lie algebras or Poisson algebras by modeling computational trees within the algebra. Algebras are to operads as group representations are to groups. An operad can be seen as a set of operations, each one having a fixed finite number of inputs (arguments) and one output, which can be composed one with others. They form a category-theoretic analog of universal algebra.
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as their fundamental weak ∞-groupoid.
Jack Johnson Morava is an American homotopy theorist at Johns Hopkins University.
John Coleman Moore was an American mathematician. The Borel−Moore homology and Eilenberg–Moore spectral sequence are named after him.
Michel André Kervaire was a French mathematician who made significant contributions to topology and algebra.
Jon Peter May is an American mathematician working in the fields of algebraic topology, category theory, homotopy theory, and the foundational aspects of spectra. He is known, in particular, for the May spectral sequence and for coining the term operad.
In the theory of operads in algebra and algebraic topology, an A∞-operad is a parameter space for a multiplication map that is homotopy coherently associative.
In the theory of operads in algebra and algebraic topology, an E∞-operad is a parameter space for a multiplication map that is associative and commutative "up to all higher homotopies".
This is a timeline of category theory and related mathematics. Its scope is taken as:
In mathematics, an associahedronKn is an (n − 2)-dimensional convex polytope in which each vertex corresponds to a way of correctly inserting opening and closing parentheses in a word of n letters and the edges correspond to single application of the associativity rule. Equivalently, the vertices of an associahedron correspond to the triangulations of a regular polygon with n + 1 sides and the edges correspond to edge flips in which a single diagonal is removed from a triangulation and replaced by a different diagonal. Associahedra are also called Stasheff polytopes after the work of Jim Stasheff, who rediscovered them in the early 1960s after earlier work on them by Dov Tamari.
Michael Jerome Hopkins is an American mathematician known for work in algebraic topology.
Steve Shnider is a retired professor of mathematics at Bar Ilan University. He received a PhD in Mathematics from Harvard University in 1972, under Shlomo Sternberg. His main interests are in the differential geometry of fiber bundles; algebraic methods in the theory of deformation of geometric structures; symplectic geometry; supersymmetry; operads; and Hopf algebras. He retired in 2014.
Jacob Alexander Lurie is an American mathematician who is a professor at the Institute for Advanced Study. Lurie is a 2014 MacArthur Fellow.
In geometry, the cyclohedron is a -dimensional polytope where can be any non-negative integer. It was first introduced as a combinatorial object by Raoul Bott and Clifford Taubes and, for this reason, it is also sometimes called the Bott–Taubes polytope. It was later constructed as a polytope by Martin Markl and by Rodica Simion. Rodica Simion describes this polytope as an associahedron of type B.