Higher Topos Theory in Physics

Urs Schreiber

2023-11-18

Abstract:A brief exposition of the point of higher topos theory in (mathematical) physics, commissioned for the Encyclopedia of Mathematical Physics 2nd ed.

Mathematical Physics,High Energy Physics - Theory,Algebraic Topology,Category Theory,Differential Geometry

What problem does this paper attempt to address?

Topos Methods in the Foundations of Physics

Chris J. Isham

DOI: https://doi.org/10.48550/arXiv.1004.3564

2010-04-21

Abstract:This article gives a conceptual introduction to the topos approach to the formulation of physical theories.

Quantum Physics,General Relativity and Quantum Cosmology,Mathematical Physics
An Introduction to Topos Physics

Marios Tsatsos

DOI: https://doi.org/10.48550/arXiv.0803.2361

2008-03-17

Abstract:The basic notion of how topoi can be utilized in physics is presented here. Topos and category theory serve as valuable tools which extend our ordinary set-theoretical conceptions, can further the study of quantum logic and give rise to new and 'neo-realistic' descriptions of quantum physics, i.e. make possible the construction of a general scheme for quantum physics, which 'looks like' the classical one. A novel way of writing theories of physics, by representing a formal language of a physical system, into an appropriate topos, is analyzed here. This novel approach is initiated by C.J. Isham and A. Doering and the major part of this paper comes from there; however there has been an effort in simplifying the basic ideas and do this work accessible to 'less experts' of the field. A minor, but not less important, part of this paper is devoted to resuming, in a concise way the background knowledge of logic, quantum logic and category theory, that is necessary for anyone who wishes to follow the whole topos approach.

Mathematical Physics
Higher categories

Rune Haugseng

2024-01-26

Abstract:Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and $(\infty,n)$-categories.

Category Theory,Algebraic Topology
Higher geometry in physics

Luigi Alfonsi

2023-12-21

Abstract:This survey article is an invited contribution to the Encyclopedia of Mathematical Physics, 2nd edition. We provide an accessible overview on relevant applications of higher and derived geometry to theoretical physics, including higher gauge theory, higher geometric quantization and Batalin-Vilkovisky formalism.

High Energy Physics - Theory,Mathematical Physics,Algebraic Topology
Higher Gauge Theory

Leron Borsten,Mehran Jalali Farahani,Branislav Jurco,Hyungrok Kim,Jiri Narozny,Dominik Rist,Christian Saemann,Martin Wolf

2024-01-11

Abstract:This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of higher gauge theories, i.e. connections on higher principal bundles. We also summarise the most important applications and dynamical principles that have appeared in the literature, and we close with comments on related areas.

High Energy Physics - Theory,Mathematical Physics,Differential Geometry
Topos Models for Physics and Topos Theory

Sander A.M. Wolters

DOI: https://doi.org/10.1063/1.4892100

2013-09-23

Abstract:What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Doring, Heunen, Landsman, Spitters and others? In other words, what is the interplay between physical motivation for the models and the mathematical framework used in these models? Concretely, we show that the presheaf topos model of Butterfield, Isham and Doring resembles classical physics when viewed from the internal language of the presheaf topos, similar to the copresheaf topos model of Heunen, Landsman and Spitters. Both the presheaf and copresheaf models provide a `quantum logic' in the form of a complete Heyting algebra. Although these algebras are natural from a topos theoretic stance, we seek a physical interpretation for the logical operations. Finally, we investigate dynamics. In particular we describe how an automorphism on the operator algebra induces a homeomorphism (or isomorphism of locales) on the associated state spaces of the topos models, and how elementary propositions and truth values transform under the action of this homeomorphism. Also with dynamics the focus is on the internal perspective of the topos.

Mathematical Physics
Topological Aspects of Gauge Theories

R. Jackiw

DOI: https://doi.org/10.48550/arXiv.hep-th/0501178

2005-01-22

Abstract:To appear in Encyclopedia of Mathematical Physics, published by Elsevier in early 2006. Comments/corrections welcome. The article surveys topological aspects in gauge theories.

High Energy Physics - Theory,Mathematical Physics,Classical Physics
Higher order topological actions

Roman V. Buniy,Thomas W. Kephart

DOI: https://doi.org/10.1016/j.physleta.2008.05.023

2006-11-30

Abstract:In classical mechanics, an action is defined only modulo additive terms which do not modify the equations of motion; in certain cases, these terms are topological quantities. We construct an infinite sequence of higher order topological actions and argue that they play a role in quantum mechanics, and hence can be accessed experimentally.

High Energy Physics - Theory
Review of the Topos Approach to Quantum Theory

Cecilia Flori

DOI: https://doi.org/10.48550/arXiv.1106.5660

2011-06-28

Abstract:Topos theory has been suggested by Döring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular, the topos approach suggests a radical new way of thinking about what a theory of physics is and what its conceptual framework looks like. The motivation of using topos theory to express quantum theory lies in the desire to overcome certain interpretational problems inherent in the standard formulation of the theory. In particular, the topos reformulation of quantum theory overcomes the instrumentalist/Copenhagen interpretation thereby rendering the theory more realist. In the process one ends up with a multivalued/intuitionistic logic rather than a Boolean logic. In this article we shall review some of these developments.

Mathematical Physics,Quantum Physics
Topology and Higher-Dimensional Category Theory: the Rough Idea

Tom Leinster

DOI: https://doi.org/10.48550/arXiv.math/0106240

2001-06-27

Category Theory

Abstract:Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the higher-dimensional diagrams one draws to represent these structures can be taken quite literally as pieces of topology. Examples of this are the braids in a braided monoidal category, and the pentagon which appears in the definitions of both monoidal category and A_infinity space. I will try to give a Friday-afternoonish description of some of the dreams people have for higher-dimensional category theory and its interactions with topology. Grothendieck, for instance, suggested that tame topology should be the study of n-groupoids; others have hoped that an n-category of cobordisms between cobordisms between ... will provide a clean setting for TQFT; and there is convincing evidence that the whole world of n-categories is a mirror of the world of homotopy groups of spheres.
Internal higher topos theory

Louis Martini,Sebastian Wolf

2023-03-12

Abstract:We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal B$. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of $\infty$-topoi, but also a description in terms of the underlying sheaves of $\infty$-categories, and we prove a number of structural results about these objects. Furthermore, we show that the $\infty$-category of topoi internal to $\mathcal B$ is equivalent to the $\infty$-category of $\infty$-topoi over $\mathcal B$, and use this result to derive a formula for the pullback of $\infty$-topoi. Lastly, we use our theory to relate smooth geometric morphisms of $\infty$-topoi to internal locally contractible topoi.

Category Theory,Algebraic Topology
Physics of Top

C.–P. Yuan

DOI: https://doi.org/10.22323/1.024.0001

2007-01-01

Abstract:I will briefly review the physics of top quark at high energy colliders.A new discovery of singletop event at the Fermilab Tevatron is expected.At the CERN Large Hadron Collider, detailed top quark properties can be measured and new physics ideas in which top quark plays a special role can be tested.I will also discuss a few phenomenological methods for analyzing experimental data to study top quark interactions.
Lectures on Topos Quantum Theory

Cecilia Flori

DOI: https://doi.org/10.48550/arXiv.1207.1744

2012-07-07

Abstract:This is a series of lecture notes explaining topos theory and its application in physics.

Mathematical Physics
Topology in Physics

R. Jackiw

DOI: https://doi.org/10.1142/9789812772879_0003

2005-03-16

Abstract:The phenomenon of quantum number fractionalization is explained. The relevance of non-trivial phonon field topology is emphasized.

Mathematical Physics,Mesoscale and Nanoscale Physics,Classical Physics
Formal model theory and higher topology

Ivan Di Liberti

DOI: https://doi.org/10.1002/malq.202300006

2024-05-29

Mathematical Logic Quarterly

Abstract:We study the 2‐categories BIon, of (generalized) bounded ionads, and Accω , of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction and completeness‐like results. We relate abstract elementary classes to locally decidable topoi. We introduce the notion of categories of saturated objects and relate it to atomic topoi.

mathematics,logic
On Higher Topological T-duality Functors

Ashwin S. Pande

2024-02-19

Abstract:We propose a higher version of the Topological T-duality Functor $P$ of Bunke and co-workers \cite{BunkeS1}. We begin with an introduction to T-duality in string theory and Topological T-duality. We then study morphisms in the category of pairs $\C_X$ over $X$ defined in Ref.\ \cite{BunkeS1}. For every $X$ we naturally construct a simplicial complex $G(X)$ from $\C_X$ and study its homotopy properties. We calculate all the homotopy groups of $G(X).$ We show that $P$ is naturally $\pi_0(G(X)) \simeq P_0(X)$ and define $P_i$ as the higher homotopy groups of $G(X).$ We argue that the $P_i$ are invariant under the action of Topological T-duality on $\C_X.$ We argue that $G(X)$ is a way of labelling toroidally compactified vacua in string field theory with $X$ as the space of uncompactified directions. We also argue that $P_0, P_1$ may be described naturally in terms of string field theory. We study some properties of the functors $P_0,P_1.$ We show the connection between these functors and topological T-duality for triples studied in Ref.\ \cite{Pan2}. We also show that this approach to Topological T-duality gives us a natural definition of T-folds \cite{HullT}.

Mathematical Physics,High Energy Physics - Theory,Algebraic Topology
Massive star formation in 100,000 years from turbulent and pressurized molecular clouds

Christopher F. McKee,Jonathan C. Tan

DOI: https://doi.org/10.1038/416059a

2002-03-06

Abstract:Massive stars (with mass m_* > 8 solar masses) are fundamental to the evolution of galaxies, because they produce heavy elements, inject energy into the interstellar medium, and possibly regulate the star formation rate. The individual star formation time, t_*f, determines the accretion rate of the star; the value of the former quantity is currently uncertain by many orders of magnitude, leading to other astrophysical questions. For example, the variation of t_*f with stellar mass dictates whether massive stars can form simultaneously with low-mass stars in clusters. Here we show that t_*f is determined by conditions in the star's natal cloud, and is typically ~10^5 yr. The corresponding mass accretion rate depends on the pressure within the cloud - which we relate to the gas surface density - and on both the instantaneous and final stellar masses. Characteristic accretion rates are sufficient to overcome radiation pressure from ~100 solar mass protostars, while simultaneously driving intense bipolar gas outflows. The weak dependence of t_*f on the final mass of the star allows high- and low-mass star formation to occur nearly simultaneously in clusters.

Astrophysics
Field Theory via Higher Geometry I: Smooth Sets of Fields

Grigorios Giotopoulos,Hisham Sati

2024-02-07

Abstract:The physical world is fundamentally: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and last but not least: (6) non-perturbative. Tautologous as this may sound, it is remarkable that the mathematical notion of geometry which reflects all of these aspects -- namely, as we will explain: "supergeometric homotopy theory" -- has received little attention even by mathematicians and remains unknown to most physicists. Elaborate algebraic machinery is known for perturbative field theories, but in order to tackle the deep open questions of the subject, these will need to be lifted to a global geometry of physics. Our aim in this series is, first, to introduce inclined physicists to this theory, second to fill mathematical gaps in the existing literature, and finally to rigorously develop the full power of supergeometric homotopy theory and apply it to the analysis of fermionic (not necessarily super-symmetric) field theories. To warm up, in this first part we explain how classical bosonic Lagrangian field theory (variational Euler-Lagrange theory) finds a natural home in the "topos of smooth sets", thereby neatly setting the scene for the higher supergeometry discussed in later parts of the series. This introductory material will be largely known to a few experts but has never been comprehensively laid out before. A key technical point we make is to regard jet bundle geometry systematically in smooth sets instead of just its subcategories of diffeological spaces or even Fréchet manifolds -- or worse simply as a formal object. Besides being more transparent and powerful, it is only on this backdrop that a reasonable supergeometric jet geometry exists, needed for satisfactory discussion of any field theory with fermions.

Mathematical Physics,High Energy Physics - Theory,Differential Geometry
A note on the Zakharov-Shabat topological model

Andrea Pasquinucci

DOI: https://doi.org/10.1142/S0217732392002068

1992-03-11

Abstract:In this note I discuss some features of the topological theory obtained from the Zakharov-Shabat (or general sl(2,C)) hierarchy, and comment on some possible physical and/or mathematical interpretations of it.

High Energy Physics - Theory
Excitations in the Higher Lattice Gauge Theory Model for Topological Phases I: Overview

Joe Huxford,Steven H. Simon

DOI: https://doi.org/10.1103/PhysRevB.108.245132

2023-11-05

Abstract:In this series of papers, we study a Hamiltonian model for 3+1d topological phases, based on a generalisation of lattice gauge theory known as "higher lattice gauge theory". Higher lattice gauge theory has so called "2-gauge fields" describing the parallel transport of lines, just as ordinary gauge fields describe the parallel transport of points. In the Hamiltonian model this is represented by having labels on the plaquettes of the lattice, as well as the edges. In this paper we summarize our findings in an accessible manner, with more detailed results and proofs to be presented in the other papers in the series. The Hamiltonian model supports both point-like and loop-like excitations, with non-trivial braiding between these excitations. We explicitly construct operators to produce and move these excitations, and use these to find the loop-loop and point-loop braiding relations. These creation operators also reveal that some of the excitations are confined, costing energy to separate. This is discussed in the context of condensation/confinement transitions between different cases of this model. We also discuss the topological charges of the model and use explicit measurement operators to re-derive a relationship between the number of charges measured by a 2-torus and the ground-state degeneracy of the model on the 3-torus. From these measurement operators, we can see that the ground state degeneracy on the 3-torus is related to the number of types of linked loop-like excitations.

Strongly Correlated Electrons,High Energy Physics - Theory,Mathematical Physics

Higher Topos Theory in Physics

Topos Methods in the Foundations of Physics

An Introduction to Topos Physics

Higher categories

Higher geometry in physics

Higher Gauge Theory

Topos Models for Physics and Topos Theory

Topological Aspects of Gauge Theories

Higher order topological actions

Review of the Topos Approach to Quantum Theory

Topology and Higher-Dimensional Category Theory: the Rough Idea

Internal higher topos theory

Physics of Top

Lectures on Topos Quantum Theory

Topology in Physics

Formal model theory and higher topology

On Higher Topological T-duality Functors

Massive star formation in 100,000 years from turbulent and pressurized molecular clouds

Field Theory via Higher Geometry I: Smooth Sets of Fields

A note on the Zakharov-Shabat topological model

Excitations in the Higher Lattice Gauge Theory Model for Topological Phases I: Overview