arXiv subjects
Lawrence Breen
Publications and source records attributed to Lawrence Breen.
Derived functors of non-additive functors and homotopy theory
We develop a functorial approach to the study of the homotopy groups of spheres and Moore spaces $M(A,n)$, based on the Curtis spectral sequence and the decomposition of Lie functors as iterates of simpler functors such as the symmetric or exterior algebra functors. The discussion takes place over the integers, and includes a functorial description of the derived functors of certain Lie algebra functors, as well as of all the main cubical functors (such as the degree 3 component $SP^3$ of the symmetric algebra functor). As an illustration of this method, we retrieve in a purely algebraic manner the 3-torsion component of the homotopy groups of the 2-sphere up to degree 14, and give a unified presentation of homotopy groups $π_i(M(A,n))$ for small values of both $n$ and $i$.
Differential Geometry of Gerbes and Differential Forms
We discuss certain aspects of the combinatorial approach to the differential geometry of non-abelian gerbes, due to W. Messing and the author (arXiv:math.AG/0106083), and give a more direct derivation of the associated cocycle equations. This leads us to a more restrictive definition of the corresponding coboundary relations. We also show that the diagrammatic proofs of certain local curving and curvature equations may be replaced by computations with differential forms.
Notes on 1- and 2-gerbes
These notes discuss in an informal manner the construction and some properties of 1- and 2-gerbes. They are mainly based on the author's previous work in this area, which is reviewed here, and to some extent improved upon. The main emphasis is on the description of the explicit manner in which one associates an appropriately defined non-abelian cocycle to a given 1- or 2-gerbe with chosen local trivializations.
Differential Geometry of Gerbes
We define in a global manner the notion of a connective structure for a gerbe on a space X. When the gerbe is endowed with trivializing data with respect to an open cover of X, we describe this connective structure in two separate ways, which extend from abelian to general gerbes the corresponding descriptions due to J.- L. Brylinski and N. Hitchin. We give a global definition of the 3-curvature of this connective structure as a 3-form on X with values in the Lie stack of the gauge stack of the gerbe. We also study this notion locally in terms of more traditional Lie algebra-valued 3-forms. The Bianchi identity, which the curvature of a connection on a principal bundle satisfies, is replaced here by a more elaborate equation.
Combinatorial Differential Forms
We extend to a scheme-theoretic context the notion of a combinatorial differential form, due to A.Kock in the framework of synthetic differential geometry. We show that group-valued combinatorial forms on a scheme may be identified, under very general hypotheses, with traditional Lie algebra-valued differential forms, and that their Lie algebra structure can be recovered from first principles. Some basic results from differential geometry (Maurer-Cartan equation, Bianchi identity), as well as a higher analogue, are obtained by exploiting this identification.
Braided n-categories and $Σ$-structures
We associate to a braided 2-stack ${\cal C}$ a torsor, endowed with a symmetric cube structure (or $Σ$-structure), whose triviality is equivalent to the existence on ${\cal C}$ of a fully symmetric monoidal structure. In order to perform the analogous construction for braided 4-stacks, it is necessary to introduce the notion of a $Γ_3$-torsor pair, which is in the same relation to cubic forms as torsors with $Σ$-structure are to quadratic ones.
Monoidal categories and multiextensions
We show that the obstruction to the existence of a strict symmetric monoidal structure on a monoidal stack $\cal C$ is determined by a commutator biextension associated to $\cal C$, and that this biextension is alternating under an additional hypothesis. The analogous construction for monoidal 2-stacks is described, together with the corresponding generalizations of the concept of a biextension.