Jack Morava

Last updated
Jack Morava
Jack and Ellen Yoho BC 1971.jpg
Jack Morava and his wife Ellen Contini-Morava near the Burgess Shale, 1971
Born (1944-08-06) 6 August 1944 (age 78)
Alma mater Rice University
Scientific career
Fieldsalgebraic topology
Institutions Johns Hopkins University
Institute for Advanced Study
University of Oxford

Jack Johnson Morava is an American homotopy theorist at Johns Hopkins University.

Contents

Education

Of Czech and Appalachian descent, he was raised in Texas' lower Rio Grande valley. An early interest in topology was strongly encouraged by his parents. He enrolled at Rice University in 1962 as a physics major, but (with the help of Jim Douglas) entered the graduate mathematics program in 1964. His advisor Eldon Dyer arranged, with the support of Michael Atiyah, a one-year fellowship at the University of Oxford, followed by a year in Princeton at the Institute for Advanced Study.

Work

Morava brought ideas from arithmetic geometry into the realm of algebraic topology. Under Atiyah's tutelage Morava concentrated on the relation between K-theory and cobordism, and when Daniel Quillen's work on that subject appeared he saw that ideas of Sergei Novikov implied close connections between the stable homotopy category and the derived category of quasicoherent sheaves on the moduli stack of one-dimensional formal groups; in particular, that the category of spectra is naturally stratified by height. Using work of Dennis Sullivan, he focused attention on certain ring-spectra parametrized by one-dimensional formal group laws over a field, which generalize classical topological K-theory. From a modern point of view (i.e., since Ethan Devinatz, Michael J. Hopkins, and Jeffrey H. Smith's proof of Douglas Ravenel's nilpotence conjecture), it is natural to think of these cohomology theories as the geometric points associated to the prime ideals of the stable homotopy category. Their groups of multiplicative automorphisms are essentially the units in certain p-adic division algebras, and thus have deep connections to local class field theory.

He joined the Johns Hopkins University faculty in 1979, and was involved in organizing the Japan-US Mathematics Institute there. Much of his later work involves the application of cobordism categories to mathematical physics, as well as Tannakian descent theory in homotopy categories (posted mostly on the ArXiv). From roughly 2006 to 2010 he was active in DARPA's fundamental questions of biology initiative.

Personal life

In 1970 he and the linguistic anthropologist Ellen Lee Contini married; they have two children, Aili and Michael. They spent a year at the Steklov Institute of Mathematics in Moscow on a US National Academy of Sciences fellowship, where he was influenced by contact with Vladimir Arnold, Israel Gelfand, Yuri I. Manin, and Novikov.

See also

Related Research Articles

<span class="mw-page-title-main">Michael Atiyah</span> British-Lebanese mathematician (1929–2019)

Sir Michael Francis Atiyah was a British-Lebanese mathematician specialising in geometry. His contributions include the Atiyah–Singer index theorem and co-founding topological K-theory. He was awarded the Fields Medal in 1966 and the Abel Prize in 2004.

<span class="mw-page-title-main">Algebraic topology</span> Branch of mathematics

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.

<span class="mw-page-title-main">Cobordism</span>

In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds of the same dimension are cobordant if their disjoint union is the boundary of a compact manifold one dimension higher.

Daniel Gray "Dan" Quillen was an American mathematician. He is known for being the "prime architect" of higher algebraic K-theory, for which he was awarded the Cole Prize in 1975 and the Fields Medal in 1978.

Algebraic K-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called K-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the K-groups of the integers.

<span class="mw-page-title-main">Sergei Novikov (mathematician)</span> Soviet and Russian mathematician

Sergei Petrovich Novikov is a Soviet and Russian mathematician, noted for work in both algebraic topology and soliton theory. In 1970, he won the Fields Medal.

<span class="mw-page-title-main">Simon Donaldson</span> English mathematician

Sir Simon Kirwan Donaldson is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. He is currently a permanent member of the Simons Center for Geometry and Physics at Stony Brook University in New York, and a Professor in Pure Mathematics at Imperial College London.

In stable homotopy theory, a branch of mathematics, Morava K-theory is one of a collection of cohomology theories introduced in algebraic topology by Jack Morava in unpublished preprints in the early 1970s. For every prime number p (which is suppressed in the notation), it consists of theories K(n) for each nonnegative integer n, each a ring spectrum in the sense of homotopy theory. Johnson & Wilson (1975) published the first account of the theories.

In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute.

In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory

,

In mathematics, the Thom space,Thom complex, or Pontryagin–Thom construction of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space.

In category theory, a discipline within mathematics, the nerveN(C) of a small category C is a simplicial set constructed from the objects and morphisms of C. The geometric realization of this simplicial set is a topological space, called the classifying space of the categoryC. These closely related objects can provide information about some familiar and useful categories using algebraic topology, most often homotopy theory.

<span class="mw-page-title-main">Victor Buchstaber</span> Soviet and Russian mathematician

Victor Matveevich Buchstaber is a Soviet and Russian mathematician known for his work on algebraic topology, homotopy theory, and mathematical physics.

In mathematics, topological modular forms (tmf) is the name of a spectrum that describes a generalized cohomology theory. In concrete terms, for any integer n there is a topological space , and these spaces are equipped with certain maps between them, so that for any topological space X, one obtains an abelian group structure on the set of homotopy classes of continuous maps from X to . One feature that distinguishes tmf is the fact that its coefficient ring, (point), is almost the same as the graded ring of holomorphic modular forms with integral cusp expansions. Indeed, these two rings become isomorphic after inverting the primes 2 and 3, but this inversion erases a lot of torsion information in the coefficient ring.

In mathematics, elliptic cohomology is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms.

In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.

<span class="mw-page-title-main">Michael J. Hopkins</span> American mathematician

Michael Jerome Hopkins is an American mathematician known for work in algebraic topology.

In mathematics, assembly maps are an important concept in geometric topology. From the homotopy-theoretical viewpoint, an assembly map is a universal approximation of a homotopy invariant functor by a homology theory from the left. From the geometric viewpoint, assembly maps correspond to 'assemble' local data over a parameter space together to get global data.

In mathematics, a highly structured ring spectrum or -ring is an object in homotopy theory encoding a refinement of a multiplicative structure on a cohomology theory. A commutative version of an -ring is called an -ring. While originally motivated by questions of geometric topology and bundle theory, they are today most often used in stable homotopy theory.

<span class="mw-page-title-main">Douglas Ravenel</span> American mathematician

Douglas Conner Ravenel is an American mathematician known for work in algebraic topology.

References