Showing 1–34 of 34 results for author: Stasheff, J

Representations up to coherent homotopy

Authors: Tim Porter, Jim Stasheff

Abstract: Homotopy coherence has a considerable history, albeit also by other names. We provide a brief semi-historical survey providing some links that may not be common knowledge. Homotopy coherence has a considerable history, albeit also by other names. We provide a brief semi-historical survey providing some links that may not be common knowledge. △ Less

Submitted 2 October, 2022; originally announced October 2022.

Homotopy coherent representations

Authors: Tim Porter, Jim Stasheff

Abstract: Homotopy coherence has a considerable history, albeit also by other names. For this volume highlighting symmetries, the appropriate use is: Homotopy coherence of representations, at one time known as strong homotopy representations. We provide a brief semi-historical survey providing some links that may not be common knowledge. Homotopy coherence has a considerable history, albeit also by other names. For this volume highlighting symmetries, the appropriate use is: Homotopy coherence of representations, at one time known as strong homotopy representations. We provide a brief semi-historical survey providing some links that may not be common knowledge. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: Comments welcome

Brackets by any other name

Authors: Jim Stasheff

Abstract: Brackets by another name, Whitehead or Samelson products, have a history parallel to that in Kosmann-Schwarzbach's From Schouten to Mackenzie: notes on brackets. Here I sketch the development of these and some of the other brackets and products and braces within homotopy theory and homological algebra and with applications to mathematical physics. In contrast to the brackets of Schouten, Nijenhuis… ▽ More Brackets by another name, Whitehead or Samelson products, have a history parallel to that in Kosmann-Schwarzbach's From Schouten to Mackenzie: notes on brackets. Here I sketch the development of these and some of the other brackets and products and braces within homotopy theory and homological algebra and with applications to mathematical physics. In contrast to the brackets of Schouten, Nijenhuis and of Gerstenhaber, which involve a relation to another graded product, in homotopy theory many of the brackets are free standing binary operations. My path takes me through many twists and turns. The path leads beyond binary to multi-linear n-ary operations, either for a single n or for whole coherent congeries of such assembled into what is known now as an $\infty$-algebra, such as in homotopy Gerstenhaber algebras. It also leads to more subtle invariants. Along the way, attention will be called to interaction with `physics'; indeed, it has been a two-way street. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 16 pages, to appear in the Kirill Mackenzie Memorial volume of JGM

MSC Class: 01A65; 55Q15; 55S30; 16E40; 18N40

From Lie algebra crossed modules to tensor hierarchies

Authors: Sylvain Lavau, Jim Stasheff

Abstract: The present paper, though inspired by the use of tensor hierarchies in theoretical physics, establishes their mathematical credentials, especially as genetically related to Lie algebra crossed modules. Gauging procedures in supergravity rely on a pairing - the embedding tensor - between a Leibniz algebra and a Lie algebra. Two such algebras, together with their embedding tensor, form a triple call… ▽ More The present paper, though inspired by the use of tensor hierarchies in theoretical physics, establishes their mathematical credentials, especially as genetically related to Lie algebra crossed modules. Gauging procedures in supergravity rely on a pairing - the embedding tensor - between a Leibniz algebra and a Lie algebra. Two such algebras, together with their embedding tensor, form a triple called a Lie-Leibniz triple, of which Lie algebra crossed modules are particular cases. This paper is devoted to showing that any Lie-Leibniz triple induces a differential graded Lie algebra - its associated tensor hierarchy - whose restriction to the category of Lie algebra crossed modules is the canonical assignment associating to any Lie algebra crossed module its corresponding unique 2-term differential graded Lie algebra. This shows that Lie-Leibniz triples form natural generalizations of Lie algebra crossed modules and that their associated tensor hierarchies can be considered as some kind of 'lie-ization' of the former. We deem the present construction of such tensor hierarchies clearer and more straightforward than previous derivations. We stress that such a construction suggests the existence of further well-defined Leibniz gauge theories. △ Less

Submitted 11 June, 2023; v1 submitted 17 March, 2020; originally announced March 2020.

Comments: v6, 54 pages. This version differs from v5 by the inclusion of an appendix: a Corrigendum written with Jakob Palmkvist and published as J. Pure Appl. Algebra 227(12):107428, 2023

Journal ref: J. Pure Appl. Algebra, 227(6):107311, 2023

$L_\infty$ and $A_\infty$ structures: then and now

Authors: Jim Stasheff

Abstract: Looking back over 55 years of higher homotopy structures, I reminisce as I recall the early days and ponder how they developed and how I now see them. From the history of $A_\infty$-structures and later of $L_\infty$ -structures and their progeny, I hope to highlight some old results which seem not to have garnered the attention they deserve as well as some tantalizing new connections. Looking back over 55 years of higher homotopy structures, I reminisce as I recall the early days and ponder how they developed and how I now see them. From the history of $A_\infty$-structures and later of $L_\infty$ -structures and their progeny, I hope to highlight some old results which seem not to have garnered the attention they deserve as well as some tantalizing new connections. △ Less

Submitted 2 October, 2018; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: Hopefully the penultimate draft Now 41 pages 2 figures Comments and suggestions still most welcome. Don't hesitate to suggest your own work

How Dennis realized he had `invented' $L_\infty$-algebras a.k.a. strongly homotopy Lie algebras

Authors: Jim Stasheff

Abstract: This is my attempt to rediscover how Dennis realized that he had discovered/invented $L_\infty$-algebras a.k.a. strongly homotopy Lie algebras before my colleagues and I defined them. This is my attempt to rediscover how Dennis realized that he had discovered/invented $L_\infty$-algebras a.k.a. strongly homotopy Lie algebras before my colleagues and I defined them. △ Less

Submitted 24 September, 2016; originally announced September 2016.

Even symplectic supermanifolds and double field theory

Authors: Andreas Deser, Jim Stasheff

Abstract: Over many decades, the word "double" has appeared in various contexts, at times seemingly unrelated. Several have some relation to mathematical physics. Recently, this has become particularly strking in DFT (double field theory). Two 'doubles' that are particularly relevant are double vector bundles and Drinfel'd doubles. The original Drinfel'd double occurred in the contexts of quantum groups and… ▽ More Over many decades, the word "double" has appeared in various contexts, at times seemingly unrelated. Several have some relation to mathematical physics. Recently, this has become particularly strking in DFT (double field theory). Two 'doubles' that are particularly relevant are double vector bundles and Drinfel'd doubles. The original Drinfel'd double occurred in the contexts of quantum groups and of Lie bialgebras. Quoting T. Voronov: "Double Lie algebroids arose in the works on double Lie groupoids and in connection with an analog for Lie bialgebroids of the classical Drinfel'd double of Lie bialgebras...Suppose $(A,A^*)$ is a Lie bialgebroid over a base $M$... Mackenzie and Roytenberg suggested two different constructions based on the cotangent bundles $T^*A$ and $T^*ΠA$, respectively. Here $Π$ is the fibre-wise parity reversal functor." Although the approaches of Roytenberg and of Mackenzie look very different, Voronov establishes their equivalence. We have found Roytenberg's version to be quite congenial with our attempt to interpret the gauge algebra of DFT in terms of Poisson brackets on a suitable generalized Drinfel'd double. This double of a Lie bialgebroid $(A,A^*)$ provides a framework to describe the differentials of $A$ and $A^*$ on an equal footing as Hamiltonian functions on an even symplectic supermanifold. A special choice of momenta explicates the double coordinates of DFT and shows their relation to the strong constraint determining the physical fields of double field theory. △ Less

Submitted 13 June, 2014; originally announced June 2014.

Comments: 24 pages

Report number: ITP-UH-07/14

$A_\infty$-actions and Recognition of Relative Loop Spaces

Authors: Eduardo Hoefel, Muriel Livernet, Jim Stasheff

Abstract: We show that relative loop spaces are recognized by $A_\infty$-actions. A certain version of the 2-sided bar construction is used to prove such recognition theorem. The operad ${\sf Act}_\infty$ of $A_\infty$-actions is presented in terms of the Boardman-Vogt resolution of the operad ${\sf Act}$. We exhibit an operad homotopy equivalence between such resolution and the $1$-dimensional Swiss-cheese… ▽ More We show that relative loop spaces are recognized by $A_\infty$-actions. A certain version of the 2-sided bar construction is used to prove such recognition theorem. The operad ${\sf Act}_\infty$ of $A_\infty$-actions is presented in terms of the Boardman-Vogt resolution of the operad ${\sf Act}$. We exhibit an operad homotopy equivalence between such resolution and the $1$-dimensional Swiss-cheese operad $\mathcal{SC}_1$. △ Less

Submitted 26 December, 2013; originally announced December 2013.

Comments: 21 pages, 1 figure

MSC Class: 55P48; 55P35; 55R15

Deformation theory and rational homotopy type

Authors: Mike Schlessinger, Jim Stasheff

Abstract: We regard the classification of rational homotopy types as a problem in algebraic deformation theory: any space with given cohomology is a perturbation, or deformation, of the "formal" space with that cohomology. The classifying space is then a "moduli" space --- a certain quotient of an algebraic variety of perturbations. The description we give of this moduli space links it with corresponding st… ▽ More We regard the classification of rational homotopy types as a problem in algebraic deformation theory: any space with given cohomology is a perturbation, or deformation, of the "formal" space with that cohomology. The classifying space is then a "moduli" space --- a certain quotient of an algebraic variety of perturbations. The description we give of this moduli space links it with corresponding structures in homotopy theory, especially the classification of fibres spaces with fixed fibre F in terms of homotopy classes of maps of the base B into a classifying space constructed from the monoid of homotopy equivalences of F to itself. We adopt the philosophy, later promoted by Deligne in response to Goldman and Millson, that any problem in deformation theory is "controlled" by a differential graded Lie algebra, unique up to homology equivalence (quasi-isomorphism) of dg Lie algebras. Here we extend this philosophy further to control by sh-Lie-algebras. △ Less

Submitted 7 November, 2012; originally announced November 2012.

Comments: After 3 decades aborning, here it is at last.Comments most welcome. If we have missed an appropriate reference, let us know. 69 pages

MSC Class: 55P62; 55P15; 14D06; 14D20

"Parallel" transport - revisited

Authors: Jim Stasheff

Abstract: Parallel transport in a fibre bundle with respect to smooth paths in the base space B have recently been extended to representations of the smooth singular simplicial set Sing_{smooth}(B). Inspired by these extensions,I revisit the development of a notion of `parallel' transport in the topological setting of fibrations with the homotopy lifting property and then extend it to representations of S… ▽ More Parallel transport in a fibre bundle with respect to smooth paths in the base space B have recently been extended to representations of the smooth singular simplicial set Sing_{smooth}(B). Inspired by these extensions,I revisit the development of a notion of `parallel' transport in the topological setting of fibrations with the homotopy lifting property and then extend it to representations of Sing(B) on such fibrations. Closely related is the notion of (strong or `infty') homotopy action, which has variants under a variety of names. △ Less

Submitted 23 November, 2011; originally announced November 2011.

Comments: 12 pages,4 figures, submitted to Proceedings: Second Latin Congress on Symmetries in Geometry and Physics, comments most welcome

MSC Class: 55R05; 55P35; 53C05

Cech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction

Authors: Domenico Fiorenza, Urs Schreiber, Jim Stasheff

Abstract: What are called secondary characteristic classes in Chern-Weil theory are a refinement of ordinary characteristic classes of principal bundles from cohomology to differential cohomology. We consider the problem of refining the construction of secondary characteristic classes from cohomology sets to cocycle spaces; and from Lie groups to higher connected covers of Lie groups by smooth infinity-grou… ▽ More What are called secondary characteristic classes in Chern-Weil theory are a refinement of ordinary characteristic classes of principal bundles from cohomology to differential cohomology. We consider the problem of refining the construction of secondary characteristic classes from cohomology sets to cocycle spaces; and from Lie groups to higher connected covers of Lie groups by smooth infinity-groups, i.e., by smooth groupal A-infinity-spaces. Namely, we realize differential characteristic classes as morphisms from infinity-groupoids of smooth principal infinity-bundles with connections to infinity-groupoids of higher U(1)-gerbes with connections. This allows us to study the homotopy fibers of the differential characteristic maps thus obtained and to show how these describe differential obstruction problems. This applies in particular to the higher twisted differential spin structures called twisted differential string structures and twisted differential fivebrane structures. △ Less

Submitted 8 July, 2011; v1 submitted 22 November, 2010; originally announced November 2010.

Comments: 90 pages. Added discussion of computations of homotopy fibers of the infinity-Chern-Weil homomorphism. As an application a section on higher twisted differential spin structures added; in particular twisted string structures and twisted fivebrane structures are briefly discussed. Expanded introduction. References added

Journal ref: Adv. Theor. Math. Phys. 16 (2012) 149-250

Twisted differential String and Fivebrane structures

Authors: Hisham Sati, Urs Schreiber, Jim Stasheff

Abstract: In the background effective field theory of heterotic string theory, the Green-Schwarz anomaly cancellation mechanism plays a key role. Here we reinterpret it and its magnetic dual version in terms of differential twisted String- and differential twisted Fivebrane-structures that generalize the notion of Spin-structures and Spin-lifting gerbes and their differential refinement to smooth Spin-conne… ▽ More In the background effective field theory of heterotic string theory, the Green-Schwarz anomaly cancellation mechanism plays a key role. Here we reinterpret it and its magnetic dual version in terms of differential twisted String- and differential twisted Fivebrane-structures that generalize the notion of Spin-structures and Spin-lifting gerbes and their differential refinement to smooth Spin-connections. We show that all these structures can be encoded in terms of nonabelian cohomology, twisted nonabelian cohomology, and differential twisted nonabelian cohomology, extending the differential generalized abelian cohomology as developed by Hopkins and Singer and shown by Freed to formalize the global description of anomaly cancellation problems in higher gauge theories arising in string theory. We demonstrate that the Green-Schwarz mechanism for the H_3-field, as well as its magnetic dual version for the H_7-field define cocycles in differential twisted nonabelian cohomology that may be called, respectively, differential twisted Spin(n)-, String(n)- and Fivebrane(n)-structures on target space, where the twist in each case is provided by the obstruction to lifting the classifying map of the gauge bundle through a higher connected cover of U(n) or O(n). We show that the twisted Bianchi identities in string theory can be captured by the (nonabelian) L-infinity-algebra valued differential form data provided by the differential refinements of these twisted cocycles. △ Less

Submitted 7 January, 2012; v1 submitted 21 October, 2009; originally announced October 2009.

Comments: 39 pages, major improvements, material added, other removed to be discussed more completely elsewhere; to appear in CMP

Journal ref: Commun. Math. Phys. 315 (2012), 169-213

A twisted tale of cochains and connections

Authors: Jim Stasheff

Abstract: Early in the history of higher homotopy algebra, it was realized that Massey products are homotopy invariants in a special sense, but it was the work of Tornike Kadeisvili that showed they were but a shadow of an A-infinity-structure on the homology of a differential graded algebra. Here we relate his work to that of Victor Gugenheim and K.T. (Chester) Chen. This paper is a personal tribute to… ▽ More Early in the history of higher homotopy algebra, it was realized that Massey products are homotopy invariants in a special sense, but it was the work of Tornike Kadeisvili that showed they were but a shadow of an A-infinity-structure on the homology of a differential graded algebra. Here we relate his work to that of Victor Gugenheim and K.T. (Chester) Chen. This paper is a personal tribute to Tornike and the Georgian school of homotopy theory as well as to Gugenheim and Chen, who unfortunately are not with us to appreciate this convergence. △ Less

Submitted 25 February, 2009; originally announced February 2009.

Comments: 17 pages, in honor of the 60-th birthday of Tornike Kadeishvilli

Fivebrane Structures

Authors: Hisham Sati, Urs Schreiber, Jim Stasheff

Abstract: We study the cohomological physics of fivebranes in type II and heterotic string theory. We give an interpretation of the one-loop term in type IIA, which involves the first and second Pontrjagin classes of spacetime, in terms of obstructions to having bundles with certain structure groups. Using a generalization of the Green-Schwarz anomaly cancelation in heterotic string theory which demands t… ▽ More We study the cohomological physics of fivebranes in type II and heterotic string theory. We give an interpretation of the one-loop term in type IIA, which involves the first and second Pontrjagin classes of spacetime, in terms of obstructions to having bundles with certain structure groups. Using a generalization of the Green-Schwarz anomaly cancelation in heterotic string theory which demands the target space to have a String structure, we observe that the "magnetic dual" version of the anomaly cancelation condition can be read as a higher analog of String structure, which we call Fivebrane structure. This involves lifts of orthogonal and unitary structures through higher connected covers which are not just 3- but even 7-connected. We discuss the topological obstructions to the existence of Fivebrane structures. The dual version of the anomaly cancelation points to a relation of String and Fivebrane structures under electric-magnetic duality. △ Less

Submitted 9 April, 2009; v1 submitted 5 May, 2008; originally announced May 2008.

Comments: 34 pages, presentation improved, minor changes

Journal ref: Rev.Math.Phys.21:1197-1240,2009

L-infinity algebra connections and applications to String- and Chern-Simons n-transport

Authors: Hisham Sati, Urs Schreiber, Jim Stasheff

Abstract: We give a generalization of the notion of a Cartan-Ehresmann connection from Lie algebras to L-infinity algebras and use it to study the obstruction theory of lifts through higher String-like extensions of Lie algebras. We find (generalized) Chern-Simons and BF-theory functionals this way and describe aspects of their parallel transport and quantization. It is known that over a D-brane the Kal… ▽ More We give a generalization of the notion of a Cartan-Ehresmann connection from Lie algebras to L-infinity algebras and use it to study the obstruction theory of lifts through higher String-like extensions of Lie algebras. We find (generalized) Chern-Simons and BF-theory functionals this way and describe aspects of their parallel transport and quantization. It is known that over a D-brane the Kalb-Ramond background field of the string restricts to a 2-bundle with connection (a gerbe) which can be seen as the obstruction to lifting the PU(H)-bundle on the D-brane to a U(H)-bundle. We discuss how this phenomenon generalizes from the ordinary central extension U(1) -> U(H) -> PU(H) to higher categorical central extensions, like the String-extension BU(1) -> String(G) -> G. Here the obstruction to the lift is a 3-bundle with connection (a 2-gerbe): the Chern-Simons 3-bundle classified by the first Pontrjagin class. For G = Spin(n) this obstructs the existence of a String-structure. We discuss how to describe this obstruction problem in terms of Lie n-algebras and their corresponding categorified Cartan-Ehresmann connections. Generalizations even beyond String-extensions are then straightforward. For G = Spin(n) the next step is "Fivebrane structures" whose existence is obstructed by certain generalized Chern-Simons 7-bundles classified by the second Pontrjagin class. △ Less

Submitted 15 February, 2008; v1 submitted 23 January, 2008; originally announced January 2008.

Comments: 100 pages, references and clarifications added; correction to section 5.1 and further example to 9.3.1 added

MSC Class: 51P05; 81T30; 55R40; 55U99

Journal ref: Quantum Field Theory, (2009) 303-424

Homotopy Transition Cocycles

Authors: James Wirth, Jim Stasheff

Abstract: For locally homotopy trivial fibrations, one can define transition functions $$ g\dab : U\da\cap U\db \to H = H(F)$$ where $H$ is the monoid of homotopy equivalences of $F$ to itself but, instead of the cocycle condition, one obtains only that $g\dab g\dbgam$ is homotopic to $g\dagam$ as a map of $U\da\cap U\db\cap U\dgam$ into $H$. Moreover on multiple intersections, higher homotopies arise and… ▽ More For locally homotopy trivial fibrations, one can define transition functions $$ g\dab : U\da\cap U\db \to H = H(F)$$ where $H$ is the monoid of homotopy equivalences of $F$ to itself but, instead of the cocycle condition, one obtains only that $g\dab g\dbgam$ is homotopic to $g\dagam$ as a map of $U\da\cap U\db\cap U\dgam$ into $H$. Moreover on multiple intersections, higher homotopies arise and are relevant to classifying the fibration. The full theory was worked out by the first author in his 1965 Notre Dame thesis \cite{wirth:diss}. Here we present it using language that has been developed in the interim. We also show how this points a direction `on beyond gerbes'. △ Less

Submitted 11 September, 2006; v1 submitted 7 September, 2006; originally announced September 2006.

Comments: 14 pages, 4 figures

MSC Class: 55R35; 55R15; 55R10; 55R05; 55P65; 55P99

Homotopy algebra of open-closed strings

Authors: Hiroshige Kajiura, Jim Stasheff

Abstract: This paper is a survey of our previous works on open-closed homotopy algebras, together with geometrical background, especially in terms of compactifications of configuration spaces (one of Fred's specialities) of Riemann surfaces, structures on loop spaces, etc. We newly present Merkulov's geometric A_infty-structure [Internat. Math. Res. Notices (1999) 153--164, arxiv:math/0001007] as a specia… ▽ More This paper is a survey of our previous works on open-closed homotopy algebras, together with geometrical background, especially in terms of compactifications of configuration spaces (one of Fred's specialities) of Riemann surfaces, structures on loop spaces, etc. We newly present Merkulov's geometric A_infty-structure [Internat. Math. Res. Notices (1999) 153--164, arxiv:math/0001007] as a special example of an OCHA. We also recall the relation of open-closed homotopy algebras to various aspects of deformation theory. △ Less

Submitted 5 April, 2009; v1 submitted 30 June, 2006; originally announced June 2006.

Comments: This is the version published by Geometry & Topology Monographs on 22 February 2008

MSC Class: 18G55; 81T18

Journal ref: Geom. Topol. Monogr. 13 (2008) 229-259

Open-closed homotopy algebra in mathematical physics

Authors: Hiroshige Kajiura, Jim Stasheff

Abstract: In this paper we discuss various aspects of open-closed homotopy algebras (OCHAs) presented in our previous paper, inspired by Zwiebach's open-closed string field theory, but that first paper concentrated on the mathematical aspects. Here we show how an OCHA is obtained by extracting the tree part of Zwiebach's quantum open-closed string field theory. We clarify the explicit relation of an OCHA… ▽ More In this paper we discuss various aspects of open-closed homotopy algebras (OCHAs) presented in our previous paper, inspired by Zwiebach's open-closed string field theory, but that first paper concentrated on the mathematical aspects. Here we show how an OCHA is obtained by extracting the tree part of Zwiebach's quantum open-closed string field theory. We clarify the explicit relation of an OCHA with Kontsevich's deformation quantization and with the B-models of homological mirror symmetry. An explicit form of the minimal model for an OCHA is given as well as its relation to the perturbative expansion of open-closed string field theory. We show that our open-closed homotopy algebra gives us a general scheme for deformation of open string structures ($A_\infty$-algebras) by closed strings ($L_\infty$-algebras). △ Less

Submitted 30 June, 2006; v1 submitted 14 October, 2005; originally announced October 2005.

Comments: 38 pages, 4 figures; v2: published version

Report number: YITP-05-62

Journal ref: J.Math.Phys.47:023506,2006

Homotopy algebras inspired by classical open-closed string field theory

Authors: Hiroshige Kajiura, Jim Stasheff

Abstract: We define a homotopy algebra associated to classical open-closed strings. We call it an open-closed homotopy algebra (OCHA). It is inspired by Zwiebach's open-closed string field theory and also is related to the situation of Kontsevich's deformation quantization. We show that it is actually a homotopy invariant notion; for instance, the minimal model theorem holds. Also, we show that our open-c… ▽ More We define a homotopy algebra associated to classical open-closed strings. We call it an open-closed homotopy algebra (OCHA). It is inspired by Zwiebach's open-closed string field theory and also is related to the situation of Kontsevich's deformation quantization. We show that it is actually a homotopy invariant notion; for instance, the minimal model theorem holds. Also, we show that our open-closed homotopy algebra gives us a general scheme for deformation of open string structures (A(infinity)-algebras) by closed strings (L(infinity)-algebras). △ Less

Submitted 30 June, 2006; v1 submitted 12 October, 2004; originally announced October 2004.

Comments: 30 pages, 14 figures; v2: added an appendix by M.Markl, ambiguous terminology fixed, minor corrections; v3: published version

Report number: YITP-05-62 MSC Class: 18G55; 81T18; 81T30

Journal ref: Commun.Math.Phys. 263 (2006) 553-581

Noether's variational theorem II and the BV formalism

Authors: Ron Fulp, Tom Lada, Jim Stasheff

Abstract: We review the basics of the Lagrangian approach to field theory and recast Noether's Second Theorem formulated in her language of dependencies using a slight modernization of terminology and notation. We then present the Cattaneo-Felder sigma model and work out the Noether identities or dependencies for this model. We review the description of the Batalin-Vilkovisky formalism and show explicitly… ▽ More We review the basics of the Lagrangian approach to field theory and recast Noether's Second Theorem formulated in her language of dependencies using a slight modernization of terminology and notation. We then present the Cattaneo-Felder sigma model and work out the Noether identities or dependencies for this model. We review the description of the Batalin-Vilkovisky formalism and show explicitly how the anti-ghosts encode the Noether identities in this example. △ Less

Submitted 7 April, 2002; originally announced April 2002.

Comments: 15 pages, submitted to the Proceedings of the 2002 Winter School ``Geometry and Physics'', Srni, Czech Republic

MSC Class: 18G10; 81T70; 18G55; 81R10; 81T40

Sh-Lie algebras Induced by Gauge Transformations

Authors: Ron Fulp, Tom Lada, Jim Stasheff

Abstract: The physics of ``particles of spin $\leq 2$'' leads to representations of a Lie algebra $Ξ$ of gauge parameters on a vector space $Φ$ of fields. Attempts to develop an analogous theory for spin $>2$ have failed; in fact, there are claims that such a theory is impossible (though we have been unable to determine the hypotheses for such a `no-go' theorem). This led BBvD [burgers:diss,BBvd:three,BBv… ▽ More The physics of ``particles of spin $\leq 2$'' leads to representations of a Lie algebra $Ξ$ of gauge parameters on a vector space $Φ$ of fields. Attempts to develop an analogous theory for spin $>2$ have failed; in fact, there are claims that such a theory is impossible (though we have been unable to determine the hypotheses for such a `no-go' theorem). This led BBvD [burgers:diss,BBvd:three,BBvD:probs] to generalize to `field dependent parameters' in a setting where some analysis in terms of smooth functions is possible. Having recognized the resulting structure as that of an sh-lie algebra ($L_\infty$-algebra), we have now reproduced their structure entirely algebraically, hopefully shedding some light on what is going on. △ Less

Submitted 15 December, 2001; v1 submitted 13 December, 2000; originally announced December 2000.

Comments: Now 24 pages, LaTeX, no figures Extensively revised in terms of the applications and on shell aspects. In particular, a new section 8 analyzes Ikeda's 2D example from our perspective. His bracket is revealed as a generalized Kirillov-Kostant bracket. Additional references

MSC Class: 18G55 (Primary) 81T13 (Secondary)

Invitation to composition

Authors: L. Kluge, E. Paal, J. Stasheff

Abstract: In 1963 [Ann. of Math. {\bf 78}, 267-288], Gerstenhaber invented a \emph{comp(osition)} calculus in the Hochschild complex of an associative algebra. In this paper, the first steps of the Gerstenhaber theory are exposed in an abstract (comp system) setting. In particular, as in the Hochschild complex, a graded Lie algebra and a pre-coboundary operator can be associated to every comp system. A de… ▽ More In 1963 [Ann. of Math. {\bf 78}, 267-288], Gerstenhaber invented a \emph{comp(osition)} calculus in the Hochschild complex of an associative algebra. In this paper, the first steps of the Gerstenhaber theory are exposed in an abstract (comp system) setting. In particular, as in the Hochschild complex, a graded Lie algebra and a pre-coboundary operator can be associated to every comp system. A derivation deviation of the pre-coboundary operator over the total composition is calculated in two ways, (the long) one of which is essentially new and can be seen as an example and elaboration of the auxiliary variables method proposed by Gerstenhaber in the early days of the comp calculus. △ Less

Submitted 16 January, 2001; v1 submitted 16 August, 1999; originally announced August 1999.

Comments: 18 pages, AMSLaTeX

MSC Class: 18D50

Journal ref: Comm. Algebra, 28 (3), 1405-1422 (2000)

Algebra Structures on Hom(C,L)

Authors: G. Barnich, R. Fulp, T. Lada, J. Stasheff

Abstract: We consider the space of linear maps from a coassociative coalgebra C into a Lie algebra L. Unless C has a cocommutative coproduct, the usual symmetry properties of the induced bracket on Hom(C,L) fail to hold. We define the concept of twisted domain (TD) algebras in order to recover the symmetries and also construct a modified Chevalley-Eilenberg complex in order to define the cohomology of suc… ▽ More We consider the space of linear maps from a coassociative coalgebra C into a Lie algebra L. Unless C has a cocommutative coproduct, the usual symmetry properties of the induced bracket on Hom(C,L) fail to hold. We define the concept of twisted domain (TD) algebras in order to recover the symmetries and also construct a modified Chevalley-Eilenberg complex in order to define the cohomology of such algebras. △ Less

Submitted 23 June, 1999; originally announced June 1999.

Journal ref: Communications in Algebra, 28(11), 5481-5501 (2000)

Formal solution of the master equation via HPT and deformation theory

Authors: Johannes Huebschmann, Jim Stasheff

Abstract: We construct a solution of the master equation by means of standard tools from homological perturbation theory under just the hypothesis that the ground field be of characteristic zero, thereby avoiding the formality assumption of the relevant Lie algebra. To this end we endow the homology H(g) of any differential graded Lie algebra g with an sh-Lie structure such that g and H(g) are sh-equivale… ▽ More We construct a solution of the master equation by means of standard tools from homological perturbation theory under just the hypothesis that the ground field be of characteristic zero, thereby avoiding the formality assumption of the relevant Lie algebra. To this end we endow the homology H(g) of any differential graded Lie algebra g with an sh-Lie structure such that g and H(g) are sh-equivalent. We discuss our solution of the master equation in the context of deformation theory. Given the extra structure appropriate to the extended moduli space of complex structures on a Calabi-Yau manifold, the known solutions result as a special case. △ Less

Submitted 21 February, 2002; v1 submitted 6 June, 1999; originally announced June 1999.

Comments: AMSTeX 2.1, 21 pages

MSC Class: 13D10 14B12 14J32 16W30 16S80 17B55 17B56 17B65 17B66 17B70 17B81 18G10 32G05 55P62 55R15 81T7

Journal ref: Forum Mathematicum 14 (2002), 847-868

Grafting Boardman's Cherry Trees to Quantum Field Theory

Authors: Jim Stasheff

Abstract: Michael Boardman has been a major contributor to the theory of infinite loop spaces and higher homotopy algebra. Indeed Boardman was the first to refer to `homotopy everything'. One particular contribution which has had major progeny is his use of `geometric' trees, combinatorial tress with lengths attached to edges. Here is a modified version of the talk given to honor Mike on the occassion of… ▽ More Michael Boardman has been a major contributor to the theory of infinite loop spaces and higher homotopy algebra. Indeed Boardman was the first to refer to `homotopy everything'. One particular contribution which has had major progeny is his use of `geometric' trees, combinatorial tress with lengths attached to edges. Here is a modified version of the talk given to honor Mike on the occassion of his 60th birthday. It is an idiosyncratic survey of parts of homotopy algebra from Poincaré to the present day, with emphasis on Boardman's original ideas, starting with his cubical subdivision of the associahedra through recent applications in mathematical physics via compactifications of moduli spaces. △ Less

Submitted 31 March, 1998; originally announced March 1998.

Comments: 8 pages, 9 figures

The (secret?) homological algebra of the Batalin-Vilkovisky approach

Authors: Jim Stasheff

Abstract: This is a survey of `Cohomological Physics', a phrase that first appeared in the context of anomalies in gauge theory. Differential forms were implicit in physics at least as far back as Gauss (1833) (cf. his electro-magnetic definition of the linking number), and more visibly in Dirac's magnetic monopole (1931). The magnetic charge was given by the first Chern number. Thus were characteristic c… ▽ More This is a survey of `Cohomological Physics', a phrase that first appeared in the context of anomalies in gauge theory. Differential forms were implicit in physics at least as far back as Gauss (1833) (cf. his electro-magnetic definition of the linking number), and more visibly in Dirac's magnetic monopole (1931). The magnetic charge was given by the first Chern number. Thus were characteristic classes (and by implication the cohomology of Lie algebras and of Lie groups) introduced into physics. The `ghosts' introduced by Fade'ev and Popov were incorporated into what came to be known as BRST cohomology. Later the ghosts were reinterpreted as generators of the Chevalley-Eilenberg complex for Lie algebra cohomology. Cohomological physics also makes use of group theoretic cohomology, algebraic deformation theory and especially a novel extension of homological algebra, combining Lie algebra cohomology with the Koszul-Tate resolution, the major emphasis of the talk. This synergistic combination of both kinds of cohomology appeared in the Batalin-Fradkin-Vilkovisky approach to the cohomological reduction of constrained Poisson algebras. An analogous `odd' version was developed in the Batalin-Vilkovisky approach to quantizing particle Lagrangians and Lagrangians of string field theory. A revisionist view of the Batalin- Vilkovisky machinery recognizes parts of it as a reconstruction of homological algebra with some powerful new ideas undreamt of in that discipline. △ Less

Submitted 16 December, 1997; originally announced December 1997.

Comments: 16 pages, 1 figure, to appear in Proceedings of the Conference Secondary Calculus and Cohomological Physics, Moscow, August 24--31, 1997

Deformation Theory and the Batalin-Vilkovisky Master Equation

Authors: Jim Stasheff

Abstract: The Batalin-Vilkovisky master equations, both classical and quantum, are precisely the integrability equations for deformations of algebras and differential algebras respectively. This is not a coincidence; the Batalin-Vilkovisky approach is here translated into the language of deformation theory. The Batalin-Vilkovisky master equations, both classical and quantum, are precisely the integrability equations for deformations of algebras and differential algebras respectively. This is not a coincidence; the Batalin-Vilkovisky approach is here translated into the language of deformation theory. △ Less

Submitted 8 February, 1997; originally announced February 1997.

Comments: AMS-Latex, 15 pages plus one figure available as .eps file,not included To appear in Proceedings of the Conference on Deformation Theory, etc. Ascona, Switzerland, June 1996

Report number: University of North Carolina preprint UNC-MATH-97-2

The sh Lie structure of Poisson brackets in field theory

Authors: G. Barnich, R. Fulp, T. Lada, J. Stasheff

Abstract: A general construction of an sh Lie algebra from a homological resolution of a Lie algebra is given. It is applied to the space of local functionals equipped with a Poisson bracket, induced by a bracket for local functions along the lines suggested by Gel'fand, Dickey and Dorfman. In this way, higher order maps are constructed which combine to form an sh Lie algebra on the graded differential al… ▽ More A general construction of an sh Lie algebra from a homological resolution of a Lie algebra is given. It is applied to the space of local functionals equipped with a Poisson bracket, induced by a bracket for local functions along the lines suggested by Gel'fand, Dickey and Dorfman. In this way, higher order maps are constructed which combine to form an sh Lie algebra on the graded differential algebra of horizontal forms. The same construction applies for graded brackets in field theory such as the Batalin-Fradkin-Vilkovisky bracket of the Hamiltonian BRST theory or the Batalin-Vilkovisky antibracket. △ Less

Submitted 25 February, 1997; originally announced February 1997.

Comments: 24 pages Latex file

Report number: CGPG-96/1-7, UNC-MATH-97/3

Homological Reduction of Constrained Poisson Algebras

Authors: Jim Stasheff

Abstract: The ``classical BRST construction'' as developed by Batalin-Fradkin-Vilkovisky is a homological construction for the reduction of the Poisson algebra $P = C^\infty (W)$ of smooth functions on a Poisson manifold $W$ by the ideal $I$ of functions which vanish on a constraint locus. This ideal is called first class if $I$ is closed under the Poisson bracket; geometers refer to the constraint locus… ▽ More The ``classical BRST construction'' as developed by Batalin-Fradkin-Vilkovisky is a homological construction for the reduction of the Poisson algebra $P = C^\infty (W)$ of smooth functions on a Poisson manifold $W$ by the ideal $I$ of functions which vanish on a constraint locus. This ideal is called first class if $I$ is closed under the Poisson bracket; geometers refer to the constraint locus as coisotropic. The physicists' model is crucially a differential Poisson algebra extension of a Poisson algebra $P$; its differential contains a piece which reinvented the Koszul complex for the ideal $I$ and a piece which looks like the Cartan-Chevalley-Eilenberg differential. The present paper is concerned purely with the homological (Poisson) algebraic structures, using the notion of ``model'' from rational homotopy theory and the techniques of homological perturbation theory to establish some of the basic results explaining the mathematical existence of the classical BRST-BFV construction. Although the usual treatment of BFV is basis dependent (individual constraints) and nominally finite dimensional, I take care to avoid assumptions of finite dimensionality and work more invariantly in terms of the ideal. In particular, the techniques are applied to the `irregular' case (the ideal is not generated by a regular sequence of constraints), although the geometric interpretation is less complete. △ Less

Submitted 24 March, 1996; originally announced March 1996.

Comments: 16 pages, AMS-Latex,to appear in JDiffGeom, also at http://www.math.unc.edu/Faculty/jds/hrcpa.ps

Homology of moduli spaces of curves and commutative homotopy algebras

Authors: Takashi Kimura, Jim Stasheff, Alexander A. Voronov

Abstract: We propose an explicit relation between the cohomology of compactified and noncompactified moduli spaces of algebraic curves with punctures. This relationship generalizes one between commutative algebras and Lie algebras proposed by Lazard, Kontsevich and Ginzburg and Kapranov. More explicitly, we show that the cohomology of one moduli space is the graph complex decorated with the cohomology of… ▽ More We propose an explicit relation between the cohomology of compactified and noncompactified moduli spaces of algebraic curves with punctures. This relationship generalizes one between commutative algebras and Lie algebras proposed by Lazard, Kontsevich and Ginzburg and Kapranov. More explicitly, we show that the cohomology of one moduli space is the graph complex decorated with the cohomology of the other, which in its turn generalizes Getzler's result for the genus zero moduli. We also show that a certain class of algebras over the chain operad of compactified moduli spaces has a natural structure of a commutative homotopy algebra. This may be regarded as a lifting of the dot product of Lian-Zuckerman's BV algebra structure to the cochain level, thus complementing the results of an earlier paper hep-th/9307114 of the authors regarding the BV bracket. △ Less

Submitted 13 April, 1995; v1 submitted 8 February, 1995; originally announced February 1995.

Comments: Terminology corrections and minor changes made, 18 pages, AMS-LaTeX

On operad structures of moduli spaces and string theory

Authors: T. Kimura, J. Stasheff, A. A. Voronov

Abstract: Recent algebraic structures of string theory, including homotopy Lie algebras, gravity algebras and Batalin-Vilkovisky algebras, are deduced from the topology of the moduli spaces of punctured Riemann spheres. The principal reason for these structures to appear is as simple as the following. A conformal field theory is an algebra over the operad of punctured Riemann surfaces, this operad gives r… ▽ More Recent algebraic structures of string theory, including homotopy Lie algebras, gravity algebras and Batalin-Vilkovisky algebras, are deduced from the topology of the moduli spaces of punctured Riemann spheres. The principal reason for these structures to appear is as simple as the following. A conformal field theory is an algebra over the operad of punctured Riemann surfaces, this operad gives rise to certain standard operads governing the three kinds of algebras, and that yields the structures of such algebras on the (physical) state space naturally. △ Less

Submitted 14 March, 1994; v1 submitted 19 July, 1993; originally announced July 1993.

Comments: 33 pages (An elaboration of minimal area metrics and new references are added)

Report number: Preprint RIMS-936

Journal ref: Commun.Math.Phys. 171 (1995) 1-25

Closed string field theory, strong homotopy Lie algebras and the operad actions of moduli space

Authors: Jim Stasheff

Abstract: This is an expanded and updated version of a talk given at the Conference on Topics in Geometry and Physics at the University of Southern California, November 6, 1992. It is a survey talk, aimed at mathematicians AND physicists, which attempts to bring together the topics in the title without assuming much background in any of them. Closed string field theory leads to a (strong homotopy) general… ▽ More This is an expanded and updated version of a talk given at the Conference on Topics in Geometry and Physics at the University of Southern California, November 6, 1992. It is a survey talk, aimed at mathematicians AND physicists, which attempts to bring together the topics in the title without assuming much background in any of them. Closed string field theory leads to a (strong homotopy) generalization of Lie algebra, which is strongly related to the way the moduli spaces $\Cal M_{0,N+1}$ fit together as an ``operad''. The latter in turn plays an important role in the understanding of vertex operator algebras. △ Less

Submitted 15 April, 1993; originally announced April 1993.

Comments: 23 pages amstex (8 figures NOT included)

Report number: UNC-MATH-93/1

Introduction to sh Lie algebras for physicists

Authors: Tom Lada, Jim Stasheff

Abstract: Closed string field theory leads to a generalization of Lie algebra which arose naturally within mathematics in the study of deformations of algebraic structures. It also appeared in work on higher spin particles \cite{BBvD}. Representation theoretic analogs arose in the mathematical analysis of the Batalin-Fradkin-Vilkovisky approach to constrained Hamiltonians. A major goal of this paper is to… ▽ More Closed string field theory leads to a generalization of Lie algebra which arose naturally within mathematics in the study of deformations of algebraic structures. It also appeared in work on higher spin particles \cite{BBvD}. Representation theoretic analogs arose in the mathematical analysis of the Batalin-Fradkin-Vilkovisky approach to constrained Hamiltonians. A major goal of this paper is to see the relevant formulas, especially in closed string field theory, as a generalization of those for a differential graded Lie algebra, hopefully describing the mathematical essentials in terms accessible to {\it physicists}. △ Less

Submitted 24 September, 1992; originally announced September 1992.

Comments: 14 pages AMSTEX, UNC-MATH-92/2

Journal ref: Int.J.Theor.Phys. 32 (1993) 1087-1104

Homological (ghost) approach to constrained Hamiltonian systems

Authors: Jim Stasheff

Abstract: A survey of ghost techniques in mathematical physics, which can be grouped under the rubric of `cohomological physics', particularly BRST cohomology. A survey of ghost techniques in mathematical physics, which can be grouped under the rubric of `cohomological physics', particularly BRST cohomology. △ Less

Submitted 2 December, 1991; originally announced December 1991.

Comments: 14 pages