Here's a list of forthcoming talks... and some
other stuff I plan to do.
You can also see transparencies and/or videos of
talks I've given, and a more detailed
description of my earlier travels and talks.
Different numbers have different personalities, and 8 is one of my
favorites. The number 8 plays a special role in mathematics due to
the "octonions", an 8-dimensional number system where one can add,
multiply, subtract and divide, but multiplication is noncommutative
and nonassociative. The octonions were discovered by Hamilton's friend
John Graves in 1843 after Hamilton told him about the "quaternions".
While much neglected, they stand at the crossroads of many interesting
branches of mathematics and physics. For example, superstring theory
works in 10 dimensions because 10 = 8+2, where 8 is the dimension of
the octonions. Also, the densest known packing of spheres in 8 dimensions
occurs when the spheres are centered at certain "integer octonions", which
form the root lattice of the exceptional Lie group E8. The octonions also
explain the curious way in which topology in dimension n resembles topology
in dimension n+8.
Higher gauge theory is a generalization of gauge theory that
describes the parallel transport not just of particles, but also
strings or higher-dimensional branes. To handle strings, one
can categorify familiar notions from gauge theory and consider
"principal 2-bundles" with a given "structure 2-group". These
are a slight generalization of nonabelian gerbes. We focus
on examples related to the 2-group Stringk(G) associated to
any compact simple Lie group G. We describe how this 2-group
is built using the level-k central extension of the loop group
of G, and how it is related to the "string group". Finally,
we discuss 2-bundles with Stringk(G) as structure 2-group,
and characteristic classes for these 2-bundles.
There is a systematic process that turns groupoids into vector spaces and
spans of groupoids into linear operators. "Groupoidification" is the
attempt to reverse this process, taking familiar structures from linear
algebra and enhancing them to obtain structures involving groupoids.
Like quantization, groupoidification is not entirely systematic. However,
examples show that it is a good thing to try! For example, groupoidifying
the quantum harmonic oscillator yields combinatorial structures associated
to the groupoid of finite sets. We can also groupoidify mathematics
related to quantum groups - for example, Hecke algebras and Hall algebras.
It turns out that we obtain structures related to algebraic groups defined
over finite fields. After reviewing the basic idea of groupoidification,
we shall describe as many examples as time permits.
Categorifying the concept of topological group, one obtains the notion of a
topological 2-group. This in turn allows a theory of "principal 2-bundles"
generalizing the usual theory of principal bundles. It is well-known that
under mild conditions on a topological group G and a space M, principal
G-bundles over M are classified by either the Cech cohomology
H1(M,G) or the set of homotopy classes [M,BG], where BG
is the classifying space of G. Here we review work by Bartels, Jurco,
Baas-Bökstedt-Kro, Stevenson and myself generalizing this result
to topological 2-groups. We explain various viewpoints on topological
2-groups and the Cech cohomology H^1(M,G) with coefficients in
a topological 2-group G, also known as "nonabelian cohomology".
Then we sketch a proof that under mild conditions on M and G
there is a bijection between H1(M,G) and
[M,B|G|], where B|G| is the classifying space of
the geometric realization of the nerve of G.
Also, a talk at the special session on
Categorification and Link Homology, run by Aaron Lauda
and Mikhail Khovanov:
There is a systematic process that turns groupoids into vector spaces and
spans of groupoids into linear operators. "Groupoidification" is the attempt
to reverse this process, taking familiar structures from linear algebra and
enhancing them to obtain structures involving groupoids. Like quantization,
groupoidification is not entirely systematic. However, examples show that
it is a good thing to try! For example, groupoidifying the quantum harmonic
oscillator yields combinatorial structures associated to the groupoid of
finite sets, while groupoidifying the q-deformed oscillator yields
structures associated to finite-dimensional vector spaces over the field with
q elements. Starting with flag varieties defined over the field
with q elements, we can also groupoidify Hecke and Hall algebras.
"Scattering for Classical Yang-Mills Fields," Conference on the
Construction
of Quantized Gauge Fields, Cornell University, May 1988.
"Conformally Invariant Nonlinear Wave Equations," Partial
Differential Equations Seminar, Brown University, October 1988.
"Scattering in Nonlinear Classical Field Theories," Theoretical
Physics Seminar, Yale University, October 1988.
"Completely Integrable Field Theories in Four Dimensions," University of
California, Irvine, May 1989.
"Schwinger Terms and Bosonization," Massachusetts Institute of Technology,
July 1989.
"Completely Integrable Field Theories in Four Dimensions," Seminaire de
Physique des Particules, Universite de Geneve,
September 1989.
"Wilson Loops in Two-dimensional Yang-Mills Theory," Southern
California Seminar on Witten Theory, Pomona College, May 1990.
"The Hyperbolic Yang-Mills Equations," Caltech Gauge Theory/Topology
Conference, May 1990.
"Semiclassical Estimates Through Functional Integration," Massachusetts
Institute of Technology, October 1990.
"Braided Geometry," Harvard University, February 1992.
"Quantum Gravity and the Algebra of Tangles," Syracuse University,
July 1992.
"Quantum Gravity and the Algebra of Tangles," University of Utah,
November 1992.
"Link Invariants, Holonomy Algebras and Functional Integration,"
University of California at San Diego, January 1993.
"Quantum Gravity and the Algebra of Tangles," Pacific Coast Gravity Meeting,
U. C. Santa Barbara, March 1993.
"Link Invariants, Holonomy Algebras and Functional Integration,"
Concordia University, March 1993.
"Tangles, Categories, and Quantum Gravity," McGill University, March
1993.
"Diffeomorphism-invariant generalized measures
on the space of connections modulo gauge transformations,"
Conference on Quantum Topology, Kansas State University, March 1993.
"Strings, Loops, Knots and Gauge Fields," Center for Gravitational
Physics and Geometry, Pennsylvania State University, September 1993.
"Higher Algebraic Structures in Gauge Theory," Knot Theory,
Low-Dimensional Topology and Quantum Groups Conference, University of
Southern Alabama, February 1994.
"Knots and Quantum Gravity," Georgia Institute of Technology, March
1994.
"Higher Algebraic Structures in Gauge Theory," American Mathematical
Society Meeting, Kansas State University, March 1994.
"Knots and Quantum Gravity: Progress and Prospects," Seventh Marcel
Grossman Meeting on General Relativity, July 1994.
"Higher-dimensional Algebra and Topological Quantum Field Theories,"
Center for Gravitational Physics and Geometry, Pennsylvania State
University, September 1994.
"Higher-dimensional Algebra," Mathematics Department, University of
Ottawa, October 1994.
"Higher-dimensional Category Theory and Physics," Lambda Calculus
Jumelage, University of Ottawa, October 1994.
"Higher-dimensional Algebra," Mathematics Department, University of
Illinois at Champaign, November 1994.
"Knots and Quantum Gravity," Physics Department,
University of California at Davis, December 1994.
"Spin Networks in Nonperturbative Quantum Gravity," AMS Short Course,
San Francisco, January 1995.
"Spin Networks in Gauge Theory" and "Knots and Quantum Gravity,"
Universidad Autonoma Metropolitana, Iztapalapa, Mexico, January 1995.
"Higher-dimensional Algebra and Topological Quantum Field Theory,"
Mathematics Department,
University of Munich, 1-month lecture series, February 1995.
"Knots and Quantum Gravity, Spin Networks in Gauge Theory," and
"Higher-dimensional Algebra," Physics and Mathematics Departments,
University of Milan, March 1995.
"Higher-dimensional Algebra and Topological Quantum Field Theory,"
ICTP, Trieste, March 1995.
"Higher-dimensional Algebra and Topological Quantum Field Theory,"
Department of Mathematics, University of Wales, Bangor, April 1995.
"Gauge-invariance and Diffeomorphism-invariance in Canonical
Quantum Gravity," Workshop on Canonical and Quantum Gravity, Stephan Banach
International Mathematical Center, Warsaw, May 1995.
"Spin Networks in Gauge Theory," Department of Physics, University
of Nottingham, June 1995.
"Higher-dimensional Algebra and Topological Quantum Field Theory" (3
lectures) and "Spin Networks in Gauge Theory," IVth Oporto Meeting on Knot
Theory and Physics, Portugal, June 1995.
"Spin Networks in Gauge Theory," Department of Physics, Imperial
College, London, July 1995.
"Higher-dimensional Algebra and Topological Quantum Field Theory"
and "Generalizing the Quantum Double Construction," Department of
Mathematics, University of Arizona, October 1995.
"n-Categories in Logic, Topology and Physics,"
workshop on New Connections between Mathematics and Computer Science,
Isaac Newton Institute, Cambridge, November 1995.
"Quantum Gravity and BF Theory in Four Dimensions,"
Department of Physics, U. C. Santa Barbara,
December 1995.
"What is Quantum Gravity?" Sacramento Area Physics and Astronomy
Colloquium, February 1996.
"A Brief History of Knots," Department of Mathematics, California
State University, Fullerton, February 1996.
"Higher-dimensional Algebra and Physics," Department of Mathematics,
California State University, San Bernardino, March 1996.
"Four-dimensional Algebra, Topology and Geometry," Department of
Mathematics, and "Quantum Gravity and BF Theory in Four Dimensions,"
Center for Gravitational Physics and Geometry, Pennsylvania State
University, March 1996.
"Quantum Gravity and BF Theory in Four Dimensions," 11th Geometry
Festival, University of Maryland, April 1996.
"Topological Quantum Field Theory" and "Entropy of 2-Part
Systems," Mathematical Problems of Quantum Gravity workshop,
Erwin Schroedinger Institute, Vienna, July 1996.
"The Ladder of Dimensions," Bard College, September 1996.
"The Ladder of Dimensions," Pomona College, October 1996.
"n-Categories in Topology and Physics", Department of Mathematics,
and "Spacetime Aspects of the Loop Representation of Quantum
Gravity" (2 lectures), Center for Gravitational Physics and Geometry,
Pennsyvlania State University, February 1997.
"Weak n-Categories", Workshop on Higher Category Theory and
Physics, Northwestern University, March 1997.
"Spin Foam Models" (3 lectures), Workshop on Canonical and Quantum
Gravity II, Stephan Banach International Mathematical Center, Warsaw,
May 1997.
"An Algebraic Approach to Discrete Mechanics",
Center for Computational Science Center, Boston University, August
1997.
"An Algebraic Approach to Discrete Mechanics",
Physics of Computation Seminar, Massachusetts Institute of
Technology, August 1997.
"An Introduction to n-Categories",
7th Conference on Category Theory and Computer Science, Santa
Margherita Ligure, September 1997.
"Higher-dimensional Algebra and Quantum Gravity", University of
California, Santa Cruz, October 1997.
"Higher-dimensional Algebra and Quantum Gravity", California
State University, San Bernardino, November 1997.
"Higher-dimensional Algebra and Quantum Gravity", University
of California, Irvine, November 1997.
"2-Tangles", SUNY Stony Brook, January 1998.
"Higher-dimensional Algebra and Quantum Gravity", CUNY Graduate
School and University Center, January 1998.
"Spin Networks in Gauge Theory", CUNY Graduate
School and University Center, March 1998.
"Higher-dimensional Algebra and Quantum Gravity", University
of Memphis, March 1998.
"Spin Foam Models of Quantum Gravity" (2 lectures), Center
for Gravitational Physics and Geometry, Pennsylvania State
University, April 1998.
"Higher-Dimensional Knot Theory", Johns Hopkins University,
May 1998.
"Higher-Dimensional Knot Theory", University of Chicago,
May 1998.
"Spin Foam Models of Quantum Gravity", Enrico Fermi Institute,
University of Chicago, May 1998.
"Spin Foam Models of Quantum Gravity" (3 lectures),
VIIth Oporto Meeting on Geometry, Topology and Physics,
Portugal, June 1998.
"Quantum Geometry and Black Hole Entropy", University of Arizona,
Tucson, October 1998.
"Spin Foam Models of Quantum Gravity" (3 lectures),
38th International School of Nuclear and Particle Physics,
Schladming, Austria, January 1999.
"Quantum Geometry and Black Hole Entropy", California State
Polytechnic University, Pomona, March 1999.
"Quantum Geometry and Black Hole Entropy", Institute of
Theoretical Physics, University of California, Santa Barbara,
April 1999.
"Spin Networks, Spin Foams, and Quantum Gravity", Minnowbrook
Symposium on Space-Time Structure, Syracuse University, May
1999.
"Higher-dimensional Algebra and Planck-Scale Physics", Toward
a New Understanding of Space, Time, and Matter, conference
at the University of British Columbia, Vancouver, June 1999.
"Spin Networks, Spin Foams, and Quantum Geometry", Conference on
Physics of Strong Gravitational Fields, Institute of Theoretical
Physics, University of California, Santa Barbara, June 1999.
"n-Categories" (7 hours of lectures), School on Category Theory and
Applications, University of Coimbra, Portugal, July 1999.
"n-Categorical Physics", Category Theory 99,
University of Coimbra, Portugal, July 1999.
"The Quantum Tetrahedron in 3 and 4 Dimensions," Instituto Superior
Tecnico, Lisbon, July 1999.
"The Geometric Quantization of Geometry," Stanford University,
November 1999.
"Simplicial Quantum Geometry," CUNY Graduate
School and University Center, March 2000.
"From Finite Sets to Feynman Diagrams," University of Memphis,
April 2000.
"Quantum Geometry and Black Hole Entropy", 13th International
Congress on Mathematical Physics, Imperial College, London, July
2000.
"n-Categorical Physics", Department of Physics, University
of California, Santa Barbara, October 2000.
"n-Categorical Physics", American Mathematical Society Meeting,
San Francisco State University, October 2000.
"Spin Networks, Spin Foams and Quantum Gravity",
Department of Physics, University of Wisconsin, Milwaukee,
February 2001.
"The Meaning of Relativity",
Departments of Mathematics and Physics, University of Wisconsin, Milwaukee,
February 2001.
"Spin Networks in Canonical Quantum Gravity" and
"The Quantum Tetrahedron", Department of Mathematics,
Pennsylvania State University, March 2001.
"Lorentzian Spin Networks," Center for Gravitational
Physics and Geometry, Pennsylvania State University, March 2001.
"The Meaning of Einstein's Equation," Physics Department,
University of Texas at Brownsville, April 2001.
"Real Numbers, Complex Numbers, Quaternions and Octonions",
Mathematics Department, California State San Bernardino, May 2001.
"New Developments in Canonical Quantum Gravity",
plenary talk, 9th Canadian Conference on General
Relativity and Relativistic Astrophysics, Edmonton, Canada,
May 2001.
"Discrete Riemannian Geometry and Gauge Theory"
(4 lectures), Graphs and Patterns in
Mathematics and Theoretical Physics, a conference at
SUNY Stony Brook in honor of Dennis Sullivan's 60th birthday,
June 2001.
"Categorification and Computation", Conference
on Algebraic Topological Methods in Computer Science,
Stanford University, July 2001.
"Normed Division Algebras: A Categorical Perspective",
Category Theory Seminar, Department of Pure Mathematics and
Mathematical Statistics, Cambridge University, August 2001.
"Spin Foam Models of Quantum Gravity", conference on
Discrete Random Geometries and Quantum Gravity, Spinoza
Institute, Utrecht, October 2001.
"n-Categories in Algebraic Topology",
Algebraic Topology Seminar, Mathematics Department, University of Chicago,
March 2002.
"The World of n-Categories",
Mathematics Department, University of Chicago, March 2002.
"Quantum Riemannian Geometry and Gauge Theory" (6 hours of lectures),
Korea Institute of Advanced Studies, Seoul, March 2002.
"The World of n-Categories",
Mathematics Department, University of California, Santa Cruz, April 2002.
"n-Categories in Homology Theory", Workshop on
Nonabelian Hodge Theory and Higher Categories, Mathematical Sciences
Research Institute, April 2002.
"Categorified Gauge Theory," Joint Meeting of the
Pacific Northwest Geometry Seminar and Cascade
Topology Seminar, University of Washington, Seattle, May, 2002.
"n-Categories and Homotopy Theory" (5 lectures),
Department of Pure Mathematics and Mathematical
Statistics, Cambridge University, July, 2002.
"The Vector Cross Product in Dimensions
0, 1, 3 and 7", Department of Mathematics,
George Washington University, September 2002.
"Building Spacetime from Spin", Dirac Centenary Conference,
Baylor University, Texas, October 2002.
"Higher-Dimensional Algebra and Quantum Gravity",
Philosophy of Science Association, Milwaukee, November 2002.
"The Vector Cross Product in Dimensions
0, 1, 3 and 7", Department of Mathematics, University
of California, San Diego, December 2002.
"Categorified Lie Algebras and Lie
Groups", Algebra Mini-Conference, Department of Mathematics,
University of New South Wales, Australia, January 2003.
"A Categorical Approach to Division
Algebras", Australian Category Seminar, Department of Mathematics,
Macquarie University, Australia, January 2003.
"Categorifying Quantum Mechanics" (4 lectures),
Australian Category Seminar, Mathematics Department,
Macquarie University and University of Sydney, Australia,
February 2003.
"The Octonions", Pure Mathematics Department,
University of Adelaide, Australia, February 2003.
"Lie 2-Groups and Lie 2-Algebras", Pure Mathematics Department,
University of Adelaide, Australia, February 2003.
"From the Octonions to E8", Mathematics Department,
University of Western Ontario, London, Canada, March 2003.
"New Directions in Spin Foam Theory", Spin Foam Seminar,
Perimeter Institute of Theoretical Physics, Waterloo, Canada, March 2003.
"Categorified Gauge Theory",
Perimeter Institute of Theoretical Physics, Waterloo, Canada, March 2003.
"Quantum Geometry and Its
Applications", plenary talk at
Gravitation: a Decennial Perspective,
Center of Gravitational Physics and Geometry, Pennsylvania
State University, June 2003.
"Categorified Lie Groups, Lie Algebras, Bundles and
Connections", plenary talk at the Workshop on Higher-Order
Geometry and Categorification, Superior Tecnico, Lisbon, Portugal,
July 2003.
"Struggles with the Continuum", plenary talk at the
Young Researcher's Symposium of the ICMP,
Instituto Superior Tecnico, Lisbon, Portugal, July 2003.
"Euler Characteristic versus Homotopy Cardinality",
Fields Institute Program on Applied Homotopy Theory,
University of Western Ontario, London, Ontario, September 2003.
"Categorification",
Workshop on the Ramifications
of Category Theory, University of Florence,
Florence, Italy, November 2003.
"Spin Foam Models",
Nonperturbative Quantum Gravity: Loops and Spin Foams,
Centre Internationale de Recontres Mathématiques,
Luminy, Marseille, May 2004.
"Why n-Categories?", "What n-Categories Should
be Like", and "Space and State, Spacetime and Process",
talks at n-Categories: Foundations and Applications, IMA,
Minneapolis, June 2004.
"n-Categorical Physics", 4 lectures at the Department
of Applied Mathematics and Theoretical Physics, Cambridge University,
England, July 2004.
"Loop Quantum Gravity, Quantum Geometry and Spin Foams",
plenary talk at 17th Conference of the International Society of
General Relativity and Gravitation (GR-17), Dublin, Ireland,
July 2004.
"The Problem of Dynamics in Quantum Gravity", plenary
talk at Workshop on Quantum Gravity in the Americas,
Perimeter Institute, Waterloo, Ontario, Canada, October 2004.
"Categorified Gauge Theory",
Arithmetic, Geometry and Topology, a conference
in honor of Larry Breen's 60th birthday, Institute Galilée,
Université Paris 13, France, December 2004.
"Loop Quantum Gravity", plenary talk at
the ACM-SIAM Symposium on Discrete Algorithms (SODA),
Vancouver, British Columbia, January 2005.
"From Loop Groups to 2-Groups",
Algebra Seminar, Mathematics Department,
University of California at Irvine, May 2005.
"The Mysteries of Counting:
Euler Characteristic Versus Homotopy Cardinality",
public lecture at Categories in Algebra, Geometry and
Mathematical Physics, a conference in honor of Ross Street's
60th birthday, Sydney, Australia, July 2005.
"Higher Gauge Theory",
two talks at Categories in Algebra, Geometry and
Mathematical Physics, a conference in honor of Ross
Street's 60th birthday, Sydney and Canberra, Australia, July 2005.
"Higher Gauge Theory, Homotopy Theory and n-Categories",
four lectures at a graduate summer school on
Topics in Homotopy Theory at the Pacific Institute of Mathematical
Sciences, Calgary, Canada, August 2005.
"Higher Gauge Theory: 2-Connections", plenary talk at
the Union College Mathematics Conference, Union College,
Schenectady, New York, December 2005.
"Universal Algebra and Diagrammatic Reasoning", nine
lectures at Geometry of Computation 2006, Centre International
de Recontres Mathématiques, Marseille, France, February 2006.
"Fundamental Physics: Where We Stand Today",
Faculté des Sciences de Luminy, Marseille, France,
February 2006.
"Loop Quantum Gravity",
Physics Department of California State University,
Long Beach, March 2006.
"Higher Gauge Theory, Higher Categories", three
lectures, 24th annual Unni Namboodiri Lectures in Geometry and Topology,
University of Chicago, April 2006.
"n-Categories and Cohomology", three talks in the
Category Theory Seminar, Department of Mathematics, University
of Chicago, April 2006.
"Higher Gauge Theory", three lectures, 2006 Barrett Lectures,
University of Tennessee, Knoxville, April 2006.
"Higher-Dimensional Algebra: a Language for Quantum Spacetime",
Perimeter Institute, Waterloo, Canada, May 2006.
"Fundamental Physics: Where We Stand Today", Department of
Physics, University of Western Ontario, June 2006.
"Zooming Out in Time", Seminars on Long-Term Thinking,
San Francisco, October 2006.
"Tales of the Dodecahedron", Reese Prosser Memorial Lecture,
Mathematics Department, Dartmouth College, November 2006.
"Higher Gauge Theory", joint physics/mathematics colloquium,
Louisiana State University, November 2006.
"Higher Gauge Theory", Mathematics Department, Stanford University,
December 2006.
"The Homotopy Hypothesis", lecture at
Higher Categories and Their Applications,
Fields Institute, Toronto, January 2007.
"Quantum Quandaries: a Category-Theoretic Perspective", lecture
at Philosophical and Formal Foundations of Modern Physics, Les
Treilles, France, April 2007.
"Cartan Geometry and MacDowell-Mansouri Gravity: the Work of Derek
Wise", lecture at the AstroParticule et Cosmologie (APC) group at
Université Paris 7, July 2007.
"Why Mathematics is Boring", lecture at Mathematics
and Narrative, Delphi, July 2007.
"Higher Gauge Theory and Elliptic Cohomology", lecture
at the 2007 Abel Symposium, Oslo, August 2007.
"Higher Gauge Theory and the String Group", lecture
at Poisson Geometry and Sigma Models, Erwin Schrödinger
Institut, Vienna, August 2007.
"2-Hilbert Spaces",
London Analysis and Probability Seminar, University College, London,
September 2007.
"Higher Gauge Theory and the String Group", plenary
talk, 22nd British Topology Meeting, Sheffield University, England,
September 2007.
"Spans in Quantum Theory", keynote talk at Deep Beauty: Mathematical
Innovation and the Search for an Underlying Intelligibility of the
Quantum World, Princeton University, October 2007.
"Fundamental Physics: Where We Stand Today", James Madison
University, Harrisonburg, Virgina, November 2007.
"5", Mathematics Department, George Washington University,
Washington DC, May 2008.
"Groupoidification", Groupoids in Analysis and Geometry Seminar,
Department of Mathematics, U. C. Berkeley, May 2008.
"5", Google, Mountain View, California, May 2008.
"Topological 2-Groups and Their Classifying Spaces",
Workshop on Categorical Groups, Universitat de Barcelona, Spain,
June 2008.
"Lie 2-Algebras", two lectures, Department of
Algebra, University of Granada, Spain, June 2008.
"Groupoidification", invited lecture,
Homotopy Theory and Higher Categories 2008, Centre
de Recerca Matemàtica, Barcelona, Spain, June 2008.
"Computation and the Periodic Table", plenary talk
at Algebraic Topological Methods in Computer Science 2008,
University of Paris Diderot, Paris, July 2008.
"Classifying Spaces for Topological 2-Groups", talk
at the Instituto Superior Tecnico, Lisbon, Portugal, July 2008.
"Groupoidification", talk at the Preuves, Programmes
et Systemes group at Université Paris Diderot, Paris, July
2008.
"My Favorite Numbers", 3 talks forming the 2008
Rankin Lectures at the University of Glasgow, Scotland, September
2008.
Forthcoming or Recent Lectures
8
The second is some sort of math/physics seminar:
Higher Gauge Theory and the String Group
Groupoidification
Classifying Spaces for Topological 2-Groups
Groupoidification
Lectures Given
© 2008 John Baez
baez@math.removethis.ucr.andthis.edu
home