Clark Barwick

Last updated
Clark Barwick
Born (1980-01-09) January 9, 1980 (age 44)
NationalityAmerican
Alma mater University of North Carolina at Chapel Hill (BS)
University of Pennsylvania (PhD)
Known forTheorem of the Heart
Unicity of the Homotopy Theory of Higher Categories
Awards Fulbright Visiting Professorship (2015)
Berwick Prize (2019)
Scientific career
Fields Mathematics
Institutions University of Edinburgh
MIT
Thesis (∞,n)-Cat as a closed model category  (2005)
Doctoral advisor Tony Pantev
Website www.maths.ed.ac.uk/~cbarwick/

Clark Edward Barwick (born January 9, 1980) is an American mathematician and professor of pure mathematics at the University of Edinburgh. His research is centered around homotopy theory, algebraic K-theory, higher category theory, and related areas.

Contents

Early life and education

Barwick grew up in North Carolina, and in 2001 completed his BS in mathematics at the University of North Carolina at Chapel Hill. [1] [2] Barwick was then a graduate student at the University of Pennsylvania, and received his PhD in mathematics in 2005 under the direction of Tony Pantev.

Career

Barwick held postdoctoral fellowships at the Mathematisches Institut Göttingen (2005–2006) and at the Matematisk Institutt, Universitetet i Oslo (2006–2007). [2] Barwick spent the year 2007–2008 at the Institute for Advanced Study, and from 2008–2010 was a Benjamin Peirce Lecturer at Harvard. In 2010 Barwick became an assistant professor at MIT, and in 2013 he became the Cecil and Ida Green Career Development Assistant Professor of Mathematics. In 2015 Barwick was a Fulbright visiting professor at the University of Glasgow and was promoted to Cecil and Ida Green Career Development Associate Professor of Mathematics at MIT, a position which he held until he became a reader at the University of Edinburgh in 2017. [3] [4] In 2020, Barwick was promoted to a professor at the University of Edinburgh. [5]

Research and notable works

A theme in Barwick's work is the homotopy theory of higher categories. In his early career, he frequently collaborated with Dan Kan; much of their work was concerned with models for the homotopy theory of homotopy theories. In his joint work with Chris Schommer-Pries, Barwick and Schommer-Pries proved a unicity theorem for the homotopy theory of (∞,n)-categories.

Barwick has also made contributions to algebraic K-theory. In particular, Barwick defined higher-categorical generalizations of Waldhausen categories and Waldhausen's S-construction and used these to extend Waldhausen's K-theory to the setting of (∞,1)-categories. Using this new theory, he proved the Theorem of the Heart for Waldhausen K-theory. In joint work with John Rognes, he generalized Quillen's Q-construction to the higher-categorical setting, providing higher-categorical generalizations of Quillen's Theorem B as well as Quillen's dévissage argument in the process. Much of his recent work has concerned equivariant algebraic K-theory and equivariant homotopy theory. Barwick won the 2019 Berwick Prize of the London Mathematical Society for his paper "On the algebraic K-theory of higher categories" where he "proves that Waldhausen's algebraic K-theory is the universal homology theory for ∞-categories, and uses this universality to reprove the major fundamental theorems of the subject in this new context." [6] [7]


In 2019 Barwick with his student Haine introduced the theory of pyknotic objects. Which was published coincidentally and is very closely related to that of condensed sets, with the main differences being set-theoretic in nature: pyknotic theory depends on a choice of Grothendieck universes, whereas condensed mathematics can be developed strictly within ZFC. [8]

Related Research Articles

<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">Pierre Deligne</span> Belgian mathematician

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.

Daniel Gray 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.

In mathematics, a simplicial set is an object composed of simplices in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and categories. Formally, a simplicial set may be defined as a contravariant functor from the simplex category to the category of sets. Simplicial sets were introduced in 1950 by Samuel Eilenberg and Joseph A. Zilber.

In mathematics, homotopical algebra is a collection of concepts comprising the nonabelian aspects of homological algebra, and possibly the abelian aspects as special cases. The homotopical nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in nonabelian algebraic topology, and in particular the theory of closed model categories.

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 the fundamental weak ∞-groupoid.

In mathematics, a Waldhausen category is a category C equipped with some additional data, which makes it possible to construct the K-theory spectrum of C using a so-called S-construction. It's named after Friedhelm Waldhausen, who introduced this notion to extend the methods of algebraic K-theory to categories not necessarily of algebraic origin, for example the category of topological spaces.

The Atiyah–Segal completion theorem is a theorem in mathematics about equivariant K-theory in homotopy theory. Let G be a compact Lie group and let X be a G-CW-complex. The theorem then states that the projection map

Friedhelm Waldhausen is a German mathematician known for his work in algebraic topology. He made fundamental contributions in the fields of 3-manifolds and (algebraic) K-theory.

<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.

<span class="mw-page-title-main">Ronald Brown (mathematician)</span>

Ronald Brown FLSW is an English mathematician. Emeritus Professor in the School of Computer Science at Bangor University, he has authored many books and more than 160 journal articles.

In mathematics, more specifically category theory, a quasi-category is a generalization of the notion of a category. The study of such generalizations is known as higher category theory.

Pursuing Stacks is an influential 1983 mathematical manuscript by Alexander Grothendieck. It consists of a 12-page letter to Daniel Quillen followed by about 600 pages of research notes.

In category theory and homotopy theory the Burnside category of a finite group G is a category whose objects are finite G-sets and whose morphisms are spans of G-equivariant maps. It is a categorification of the Burnside ring of G.

In algebra, Quillen's Q-construction associates to an exact category an algebraic K-theory. More precisely, given an exact category C, the construction creates a topological space so that is the Grothendieck group of C and, when C is the category of finitely generated projective modules over a ring R, for , is the i-th K-group of R in the classical sense. One puts

In topology, a branch of mathematics, Quillen's Theorem A gives a sufficient condition for the classifying spaces of two categories to be homotopy equivalent. Quillen's Theorem B gives a sufficient condition for a square consisting of classifying spaces of categories to be homotopy Cartesian. The two theorems play central roles in Quillen's Q-construction in algebraic K-theory and are named after Daniel Quillen.

In algebraic K-theory, the K-theory of a categoryC (usually equipped with some kind of additional data) is a sequence of abelian groups Ki(C) associated to it. If C is an abelian category, there is no need for extra data, but in general it only makes sense to speak of K-theory after specifying on C a structure of an exact category, or of a Waldhausen category, or of a dg-category, or possibly some other variants. Thus, there are several constructions of those groups, corresponding to various kinds of structures put on C. Traditionally, the K-theory of C is defined to be the result of a suitable construction, but in some contexts there are more conceptual definitions. For instance, the K-theory is a 'universal additive invariant' of dg-categories and small stable ∞-categories.

In mathematics, nonabelian algebraic topology studies an aspect of algebraic topology that involves higher-dimensional algebras.

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is learned as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories).

References

  1. ↑ "Clark Barwick | School of Mathematics". www.maths.ed.ac.uk. Retrieved 2018-04-18.
  2. 1 2 Barwick, Clark. "Curriculum Vitæ of Clark Barwick" (PDF). Retrieved 2018-04-18.
  3. ↑ "University of Glasgow – Schools – School of Mathematics & Statistics – About us – Information for current students and staff – Newsletter Archive – October 15 – Meet Fulbright Professor Clark Barwick". www.glasgowheart.org. Archived from the original on 2018-04-21. Retrieved 2018-04-18.
  4. ↑ "US-UK Fulbright Commission". 188.65.115.112. Archived from the original on 2018-04-21. Retrieved 2018-04-18.
  5. ↑ The University of Edinburgh Senatus Academicus, 27 May 2020. www.ed.ac.uk/files/atoms/files/20200527agendapapers.pdf. Retrieved 2021-03-03
  6. ↑ "LMS Prize Winners 2019 – London Mathematical Society". 2019-06-28. Retrieved 2019-06-29.
  7. ↑ Barwick, Clark (2016). "On the algebraic K-theory of higher categories". Journal of Topology . 9 (1): 245–347. arXiv: 1204.3607 . doi:10.1112/jtopol/jtv042. MR   3465850. S2CID   119160499.
  8. ↑ "Pyknotic sets". nLab.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.