Showing 1–38 of 38 results for author: Voronov, A A

The Neveu-Schwarz group and Schwarz's extended super Mumford form

Authors: Katherine A. Maxwell, Alexander A. Voronov

Abstract: In 1987, Albert Schwarz suggested a formula which extends the super Mumford form from the moduli space of super Riemann surfaces into the super Sato Grassmannian. His formula is a remarkably simple combination of super tau functions. We compute the Neveu-Schwarz action on super tau functions, and show that Schwarz's extended Mumford form is invariant under the the super Heisenberg-Neveu-Schwarz ac… ▽ More In 1987, Albert Schwarz suggested a formula which extends the super Mumford form from the moduli space of super Riemann surfaces into the super Sato Grassmannian. His formula is a remarkably simple combination of super tau functions. We compute the Neveu-Schwarz action on super tau functions, and show that Schwarz's extended Mumford form is invariant under the the super Heisenberg-Neveu-Schwarz action, which strengthens Schwarz's proposal that a locus within the Grassmannian can serve as a universal moduli space with applications to superstring theory. Along the way, we construct the Neveu-Schwarz, super Witt, and super Heisenberg formal groups. △ Less

Submitted 11 June, 2025; v1 submitted 24 December, 2024; originally announced December 2024.

Comments: 46 pages, minor edits to cocycle arguments

Report number: MPIM-Bonn-2022 MSC Class: 81T30 (Primary); 81R10; 81R12 (Secondary)

Toward the Universal Mumford form on Sato Grassmannians

Authors: Katherine A. Maxwell, Alexander A. Voronov

Abstract: We construct a local universal Mumford form on a product of Sato Grassmannians using the flow of the Virasoro algebra. The existence of this universal Mumford form furthers the proposal that the Sato Grassmannian provides a universal moduli space with applications to string theory. Our approach using the Virasoro flow is an alternative to using the KP flow, which in particular allows for a bosonic… ▽ More We construct a local universal Mumford form on a product of Sato Grassmannians using the flow of the Virasoro algebra. The existence of this universal Mumford form furthers the proposal that the Sato Grassmannian provides a universal moduli space with applications to string theory. Our approach using the Virasoro flow is an alternative to using the KP flow, which in particular allows for a bosonic universal Mumford form to be constructed. Applying the same method, we construct a local universal super Mumford form on a product of super Sato Grassmannians using the flow of the Neveu-Schwarz algebra. △ Less

Submitted 11 June, 2025; v1 submitted 24 December, 2024; originally announced December 2024.

Comments: 19 pages, minor edits to Lie algebra basis vectors

Report number: MPIM-Bonn-2022 MSC Class: 81T30 (Primary); 17B68; 14D21 (Secondary)

Mysterious Triality and the Exceptional Symmetry of Loop Spaces

Authors: Hisham Sati, Alexander A. Voronov

Abstract: In previous work, we introduced Mysterious Triality, extending the Mysterious Duality of Iqbal, Neitzke, and Vafa between physics and algebraic geometry to include algebraic topology in the form of rational homotopy theory. Starting with the rational Sullivan minimal model of the 4-sphere $S^4$, capturing the dynamics of M-theory via Hypothesis H, this progresses to the dimensional reduction of M-… ▽ More In previous work, we introduced Mysterious Triality, extending the Mysterious Duality of Iqbal, Neitzke, and Vafa between physics and algebraic geometry to include algebraic topology in the form of rational homotopy theory. Starting with the rational Sullivan minimal model of the 4-sphere $S^4$, capturing the dynamics of M-theory via Hypothesis H, this progresses to the dimensional reduction of M-theory on torus $T^k$, $k \ge 1$, with its dynamics described via the iterated cyclic loop space $\mathcal{L}_c^k S^4$ of the 4-sphere. From this, we also extracted data corresponding to the maximal torus/Cartan subalgebra and the Weyl group of the exceptional Lie group/algebra of type $E_k$. In this paper, we discover much richer symmetry by extending the data of the Cartan subalgebra to a maximal parabolic subalgebra $\mathfrak{p}_k^{k(k)}$ of the split real form $\mathfrak{e}_{k(k)}$ of the exceptional Lie algebra of type $E_k$ by exhibiting an action, in rational homotopy category, of $\mathfrak{p}_k^{k(k)}$ on the slightly more symmetric than $\mathcal{L}_c^k S^4$ toroidification $\mathcal{T}^k S^4$. This action universally represents symmetries of the equations of motion of supergravity in the reduction of M-theory to $11-k$ dimensions. Along the way, we identify the minimal model of the toroidification $\mathcal{T}^k S^4$, generalizing the results of Vigué-Poirrier, Sullivan, and Burghelea, and establish an algebraic toroidification/totalization adjunction. △ Less

Submitted 23 August, 2024; originally announced August 2024.

Comments: 29 pages

MSC Class: 55P62 (Primary) 83E50; 81T30 (Secondary)

Rational Homotopy Theory

Authors: Alexander A. Voronov

Abstract: This is a survey of Rational Homotopy Theory, intended for a Mathematical Physics readership. This is a survey of Rational Homotopy Theory, intended for a Mathematical Physics readership. △ Less

Submitted 21 January, 2025; v1 submitted 1 April, 2024; originally announced April 2024.

Comments: 20 pages. In the version updated upon publication, material on the nerve of an $L_\infty$-algebra is added, along with some minor updates

Report number: IPMU24-0012 MSC Class: 55P62 (Primary) 18N40 (Secondary)

Journal ref: Encyclopedia of Mathematical Physics (Second Edition), volume 4, Elsevier, 2025, 24-38

Tree-Level Superstring Amplitudes: The Neveu-Schwarz Sector

Authors: Sergio Luigi Cacciatori, Samuel Grushevsky, Alexander A. Voronov

Abstract: We present a complete computation of superstring scattering amplitudes at tree level, for the case of Neveu-Schwarz insertions. Mathematically, this is to say that we determine explicitly the superstring measure on the moduli space $\mathcal{M}_{0,n,0}$ of super Riemann surfaces of genus zero with $n \ge 3$ Neveu-Schwarz punctures. While, of course, an expression for the measure was previously kno… ▽ More We present a complete computation of superstring scattering amplitudes at tree level, for the case of Neveu-Schwarz insertions. Mathematically, this is to say that we determine explicitly the superstring measure on the moduli space $\mathcal{M}_{0,n,0}$ of super Riemann surfaces of genus zero with $n \ge 3$ Neveu-Schwarz punctures. While, of course, an expression for the measure was previously known, we do this from first principles, using the canonically defined super Mumford isomorphism. We thus determine the scattering amplitudes, explicitly in the global coordinates on $\mathcal{M}_{0,n,0}$, without the need for picture changing operators or ghosts, and are also able to determine canonically the value of the coupling constant. Our computation should be viewed as a step towards performing similar analysis on $\mathcal{M}_{0,0,n}$, to derive explicit tree-level scattering amplitudes with Ramond insertions. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 25 pages

Report number: IPMU24-0008 MSC Class: 81T30 (Primary) 14H10; 14D21 (Secondary)

Mysterious Triality and M-Theory

Authors: Hisham Sati, Alexander A. Voronov

Abstract: In a previous paper, we introduced Mysterious Triality as an extension, via algebraic topology in the form of rational homotopy theory, of Mysterious Duality by Iqbal, Neitzke, and Vafa, which provides connections between physics, in the form of dimensional reduction of M-theory, and algebraic geometry, in the form of intersection theory on del Pezzo surfaces. The starting point for that connectio… ▽ More In a previous paper, we introduced Mysterious Triality as an extension, via algebraic topology in the form of rational homotopy theory, of Mysterious Duality by Iqbal, Neitzke, and Vafa, which provides connections between physics, in the form of dimensional reduction of M-theory, and algebraic geometry, in the form of intersection theory on del Pezzo surfaces. The starting point for that connection to rational homotopy theory is the description of M-theory dynamics using the 4-sphere, via Hypothesis H. This progresses to dimensional reduction of M-theory on tori $T^k$ with its dynamics described via cyclic loop spaces of the 4-sphere $\mathcal{L}_c^k S^4$, producing a series of data analogous to that given by the del Pezzo surfaces $\mathbb{B}_k$, for $k=0, \dots, 8$. With the mathematical constructions established in the previous paper, in this companion physics paper we present novel connections to M-theory that enhance the triality, including those strengthening the duality. This uncovers interesting ties between algebraic geometry, algebraic topology, and M-theory and provides tantalizing links. We further expand on the extension of the duality and triality to the Kac-Moody setting. △ Less

Submitted 9 January, 2023; v1 submitted 28 December, 2022; originally announced December 2022.

Comments: 69 pages. This is an updated version, which takes into account corrections and improvements of the final version of the mathematical companion paper arXiv:2111.14810 [hep-th]

Report number: IPMU23-0001 MSC Class: 83E50 (Primary) 55P62; 14J26; 14J45; 14J81; 81T30 (Secondary)

Mysterious Triality and Rational Homotopy Theory

Authors: Hisham Sati, Alexander A. Voronov

Abstract: Mysterious Duality was discovered by Iqbal, Neitzke, and Vafa in 2001 as a convincing, yet mysterious correspondence between certain symmetry patterns in toroidal compactifications of M-theory and del Pezzo surfaces, both governed by the root system series $E_k$. It turns out that the sequence of del Pezzo surfaces is not the only sequence of objects in mathematics that gives rise to the same… ▽ More Mysterious Duality was discovered by Iqbal, Neitzke, and Vafa in 2001 as a convincing, yet mysterious correspondence between certain symmetry patterns in toroidal compactifications of M-theory and del Pezzo surfaces, both governed by the root system series $E_k$. It turns out that the sequence of del Pezzo surfaces is not the only sequence of objects in mathematics that gives rise to the same $E_k$ symmetry pattern. We present a sequence of topological spaces, starting with the four-sphere $S^4$, and then forming its iterated cyclic loop spaces $\mathcal{L}_c^k S^4$, within which we discover the $E_k$ symmetry pattern via rational homotopy theory. For this sequence of spaces, the correspondence between its $E_k$ symmetry pattern and that of toroidal compactifications of M-theory is no longer a mystery, as each space $\mathcal{L}_c^k S^4$ is naturally related to the compactification of M-theory on the $k$-torus via identification of the equations of motion of $(11-k)$-dimensional supergravity as the defining equations of the Sullivan minimal model of $\mathcal{L}_c^k S^4$. This gives an explicit duality between algebraic topology and physics. Thereby, we extend Iqbal-Neitzke-Vafa's Mysterious Duality between algebraic geometry and physics into a triality, also involving algebraic topology. Via this triality, duality between physics and mathematics is demystified, and the mystery is transferred to the mathematical realm as duality between algebraic geometry and algebraic topology. Now the question is: Is there an explicit relation between the del Pezzo surfaces $\mathbb{B}_k$ and iterated cyclic loop spaces of $S^4$ which would explain the common $E_k$ symmetry pattern? △ Less

Submitted 9 January, 2023; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 39 pages. Dedicated to our teachers Igor V. Dolgachev and Yuri I. Manin. This is the final version accepted to Commun. Math. Phys. A few minor errors are corrected and presentation improved

Report number: IPMU21-0084 MSC Class: 83E50 (Primary) 55P62; 14J26; 14J45; 14J81; 81T30 (Secondary)

On the BV structure on the cohomology of moduli space

Authors: Sümeyra Sakallı, Alexander A. Voronov

Abstract: The question of vanishing of the BV operator on the cohomology of the moduli space of Riemann surfaces is investigated. The BV structure, which comprises a BV operator and an antibracket, is identified, vanishing theorems are proven, and a counterexample is provided. The question of vanishing of the BV operator on the cohomology of the moduli space of Riemann surfaces is investigated. The BV structure, which comprises a BV operator and an antibracket, is identified, vanishing theorems are proven, and a counterexample is provided. △ Less

Submitted 30 December, 2019; originally announced December 2019.

Comments: 19 pages, dedicated to Kyoji Saito on the occasion of his 75th birthday

Report number: IPMU19-0190 MSC Class: 14H15 (Primary) 14F17; 32G15 (Secondary)

The supermoduli space of genus zero SUSY curves with Ramond punctures

Authors: Nadia Ott, Alexander A. Voronov

Abstract: We give an explicit quotient construction of the supermoduli space $\mathfrak{M}_{0, n_R}$ of genus zero super Riemann surfaces with $n_R \ge 4$ Ramond punctures and prove it is a Deligne-Mumford superstack. We also make an explicit quotient construction of the moduli space of genus zero supercurves without a SUSY structure and thereby prove it is an algebraic superstack. We give an explicit quotient construction of the supermoduli space $\mathfrak{M}_{0, n_R}$ of genus zero super Riemann surfaces with $n_R \ge 4$ Ramond punctures and prove it is a Deligne-Mumford superstack. We also make an explicit quotient construction of the moduli space of genus zero supercurves without a SUSY structure and thereby prove it is an algebraic superstack. △ Less

Submitted 12 March, 2024; v1 submitted 12 October, 2019; originally announced October 2019.

Report number: IPMU19-0189 MSC Class: 14M30 (Primary) 14D23; 14H10 (Secondary)

Quantizing deformation theory II

Authors: Alexander A. Voronov

Abstract: A quantization of classical deformation theory, based on the Maurer-Cartan Equation $dS + \frac{1}{2}[S,S] = 0$ in dg-Lie algebras, a theory based on the Quantum Master Equation $dS + \hbar ΔS + \frac{1}{2} \{S,S\} = 0$ in dg-BV-algebras, is proposed. Representability theorems for solutions of the Quantum Master Equation are proven. Examples of "quantum" deformations are presented. A quantization of classical deformation theory, based on the Maurer-Cartan Equation $dS + \frac{1}{2}[S,S] = 0$ in dg-Lie algebras, a theory based on the Quantum Master Equation $dS + \hbar ΔS + \frac{1}{2} \{S,S\} = 0$ in dg-BV-algebras, is proposed. Representability theorems for solutions of the Quantum Master Equation are proven. Examples of "quantum" deformations are presented. △ Less

Submitted 6 July, 2018; v1 submitted 28 June, 2018; originally announced June 2018.

Comments: 20 pages, for the collection dedicated to Yuri I. Manin on the occasion of his 80th birthday; the new version adds a few references and expands on examples

Report number: IPMU18-0117 MSC Class: 18G55 (Primary) 14M30; 16E45; 58A50; 81S22 (Secondary)

On homotopy Lie bialgebroids

Authors: Denis Bashkirov, Alexander A. Voronov

Abstract: A well-known result of A. Vaintrob characterizes Lie algebroids and their morphisms in terms of homological vector fields on supermanifolds. We give an interpretation of Lie bialgebroids and their morphisms in terms of odd symplectic dg-manifolds, building on the approach of D. Roytenberg. This extends naturally to the homotopy Lie case and leads to the notion of $L_\infty$-bialgebroids and… ▽ More A well-known result of A. Vaintrob characterizes Lie algebroids and their morphisms in terms of homological vector fields on supermanifolds. We give an interpretation of Lie bialgebroids and their morphisms in terms of odd symplectic dg-manifolds, building on the approach of D. Roytenberg. This extends naturally to the homotopy Lie case and leads to the notion of $L_\infty$-bialgebroids and $L_\infty$-morphisms between them. △ Less

Submitted 16 August, 2017; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: 21 pages, 1 figure; the new version is significantly revised

Report number: IPMU16-0198 MSC Class: 53D17 (Primary); 16E45; 18G55; 58A50 (Secondary)

The MV formalism for ${\rm IBL}_\infty$- and ${\rm BV}_\infty$-algebras

Authors: Martin Markl, Alexander A. Voronov

Abstract: We develop a new formalism for the Quantum Master Equation $Δe^{S/\hbar} = 0$ and the category of ${\rm IBL}_\infty$-algebras and simplify some homotopical algebra arising in the context of oriented surfaces with boundary. We introduce and study a category of MV-algebras, which, on the one hand, contains such important categories as those of ${\rm IBL}_\infty$-algebras and ${\rm L}_\infty$-algebra… ▽ More We develop a new formalism for the Quantum Master Equation $Δe^{S/\hbar} = 0$ and the category of ${\rm IBL}_\infty$-algebras and simplify some homotopical algebra arising in the context of oriented surfaces with boundary. We introduce and study a category of MV-algebras, which, on the one hand, contains such important categories as those of ${\rm IBL}_\infty$-algebras and ${\rm L}_\infty$-algebras, and on the other hand, is homotopically trivial, in particular allowing for a simple solution of the quantum master equation. We also present geometric interpretation of our results. △ Less

Submitted 27 February, 2017; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: 26 pages; this is a version accepted for publication in Lett. Math. Phys.; a new section on algebras of types other than commutative is added, a few minor changes made

Report number: IPMU15-0215 MSC Class: 08C05; 18G55 (Primary); 16E45; 58A50 (Secondary)

Categorification of Dijkgraaf-Witten Theory

Authors: Amit Sharma, Alexander A. Voronov

Abstract: The goal of the paper is to categorify Dijkgraaf-Witten theory, aiming at providing foundation for a direct construction of Dijkgraaf-Witten theory as an Extended Topological Quantum Field Theory. The main tool is cohomology with coefficients in a Picard groupoid, namely the Picard groupoid of hermitian lines. The goal of the paper is to categorify Dijkgraaf-Witten theory, aiming at providing foundation for a direct construction of Dijkgraaf-Witten theory as an Extended Topological Quantum Field Theory. The main tool is cohomology with coefficients in a Picard groupoid, namely the Picard groupoid of hermitian lines. △ Less

Submitted 9 February, 2016; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: 28 pages; submitted version containing minor modifications

Report number: IPMU15-0216 MSC Class: 81T45; 81T13; 57R56

r$_\infty$-Matrices, triangular L$_\infty$-bialgebras, and quantum$_\infty$ groups

Authors: Denis Bashkirov, Alexander A. Voronov

Abstract: A homotopy analogue of the notion of a triangular Lie bialgebra is proposed with a goal of extending the basic notions of theory of quantum groups to the context of homotopy algebras and, in particular, introducing a homotopical generalization of the notion of a quantum group, or quantum$_\infty$-group. A homotopy analogue of the notion of a triangular Lie bialgebra is proposed with a goal of extending the basic notions of theory of quantum groups to the context of homotopy algebras and, in particular, introducing a homotopical generalization of the notion of a quantum group, or quantum$_\infty$-group. △ Less

Submitted 26 February, 2016; v1 submitted 7 December, 2014; originally announced December 2014.

Comments: 9 pages; published version: an example added, references updated

Report number: IPMU14-0354 MSC Class: 17B37; 17B62 (Primary); 17B63; 18G55; 58A50 (Secondary)

Journal ref: Geometric Methods in Physics. XXXIII Workshop 2014, 39-47, Trends in Mathematics, Birkhaeuser Boston, Inc., Boston, MA, 2015

The BV formalism for L$_\infty$-algebras

Authors: Denis Bashkirov, Alexander A. Voronov

Abstract: Functorial properties of the correspondence between commutative BV$_\infty$-algebras and L$_\infty$-algebras are investigated. The category of L$_\infty$-algebras with L$_\infty$-morphisms is characterized as a certain category of pure BV$_\infty$-algebras with pure BV$_\infty$-morphisms. The functor assigning to a commutative BV$_\infty$-algebra the L$_\infty$-algebra given by higher derived brac… ▽ More Functorial properties of the correspondence between commutative BV$_\infty$-algebras and L$_\infty$-algebras are investigated. The category of L$_\infty$-algebras with L$_\infty$-morphisms is characterized as a certain category of pure BV$_\infty$-algebras with pure BV$_\infty$-morphisms. The functor assigning to a commutative BV$_\infty$-algebra the L$_\infty$-algebra given by higher derived brackets is also shown to have a left adjoint. Cieliebak-Fukaya-Latschev's machinery of IBL$_\infty$- and BV$_\infty$-morphisms is further developed with introducing the logarithm of a map. △ Less

Submitted 31 January, 2016; v1 submitted 23 October, 2014; originally announced October 2014.

Comments: 20 pages; a version, containing minor changes, to be published in Journal of Homotopy and Related Structures

Report number: IHES/M/14/36 MSC Class: 16E45; 18G55 (Primary); 08C05; 17B63; 53D17; 58A50 (Secondary)

A higher category of cobordisms and topological quantum field theory

Authors: Mark Feshbach, Alexander A. Voronov

Abstract: The goal of this work is to describe a categorical formalism for (Extended) Topological Quantum Field Theories (TQFTs) and present them as functors from a suitable category of cobordisms with corners to a linear category, generalizing 2d open-closed TQFTs to higher dimensions. The approach is based on the notion of an n-fold category by C. Ehresmann, weakened in the spirit of monoidal categories (… ▽ More The goal of this work is to describe a categorical formalism for (Extended) Topological Quantum Field Theories (TQFTs) and present them as functors from a suitable category of cobordisms with corners to a linear category, generalizing 2d open-closed TQFTs to higher dimensions. The approach is based on the notion of an n-fold category by C. Ehresmann, weakened in the spirit of monoidal categories (associators, interchangers, Mac Lane's pentagons and hexagons), in contrast with the simplicial (weak Kan and complete Segal) approach of Jacob Lurie. We show how different Topological Quantum Field Theories, such as gauge, Chern-Simons, Yang-Mills, WZW, Seiberg-Witten, Rozansky-Witten, and AKSZ theories, as well as sigma model, may be described as functors from the pseudo n-fold category of cobordisms to a pseudo n-fold category of sets. △ Less

Submitted 25 August, 2011; v1 submitted 16 August, 2011; originally announced August 2011.

Comments: 37 pages, 5 figures; In Version 2 a few misprints corrected, references added

Report number: IPMU11-0143 MSC Class: 18D05; 18D10; 57R56; 81T45

Open-closed moduli spaces and related algebraic structures

Authors: Eric Harrelson, Alexander A. Voronov, J. Javier Zuniga

Abstract: We set up a Batalin-Vilkovisky Quantum Master Equation for open-closed string theory and show that the corresponding moduli spaces give rise to a solution, a generating function for their fundamental chains. The equation encodes the topological structure of the compactification of the moduli space of bordered Riemann surfaces. The moduli spaces of bordered J-holomorphic curves are expected to sa… ▽ More We set up a Batalin-Vilkovisky Quantum Master Equation for open-closed string theory and show that the corresponding moduli spaces give rise to a solution, a generating function for their fundamental chains. The equation encodes the topological structure of the compactification of the moduli space of bordered Riemann surfaces. The moduli spaces of bordered J-holomorphic curves are expected to satisfy the same equation, and from this viewpoint, our paper treats the case of the target space equal to a point. We also introduce the notion of a symmetric Open-Closed Topological Conformal Field Theory and study the L_\infty and A_\infty algebraic structures associated to it. △ Less

Submitted 5 June, 2008; v1 submitted 25 September, 2007; originally announced September 2007.

Comments: 21 pages, LaTeX, 4 figures; section on algebraic structures revised

Report number: IHES/M/08/40 MSC Class: 14D21; 81T40

Graph homology: Koszul and Verdier duality

Authors: A. Lazarev, A. A. Voronov

Abstract: We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit com… ▽ More We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to Koszul operads corresponds to Koszul duality of operads. This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit computation of dualizing sheaves on spaces of metric graphs, thus characterizing to which extent these spaces are different from oriented orbifolds. We also provide a relation between the cohomology of the space of metric ribbon graphs, known to be homotopy equivalent to the moduli space of Riemann surfaces, and the cohomology of a certain sheaf on the space of usual metric graphs. △ Less

Submitted 12 February, 2007; originally announced February 2007.

Comments: 13 pages

MSC Class: 55N30; 55U30; 18D50

Notes on string topology

Authors: Ralph L. Cohen, Alexander A. Voronov

Abstract: This paper is an exposition of the new subject of String Topology. We present an introduction to this exciting new area, as well as a survey of some of the latest developments, and our views about future directions of research. We begin with reviewing the seminal paper of Chas and Sullivan, which started String Topology by introducing a BV-algebra structure on the homology of a loop space of a m… ▽ More This paper is an exposition of the new subject of String Topology. We present an introduction to this exciting new area, as well as a survey of some of the latest developments, and our views about future directions of research. We begin with reviewing the seminal paper of Chas and Sullivan, which started String Topology by introducing a BV-algebra structure on the homology of a loop space of a manifold, then discuss the homotopy theoretic approach to String Topology, using the Thom-Pontrjagin construction, the cacti operad, and fat graphs. We review quantum field theories and indicate how string topology fits into the general picture. Other topics include an open-closed version of string topology, a Morse theoretic interpretation, relation to Gromov-Witten invariants, and "brane'' topology, which deals with sphere spaces. The paper is a joint account of the lecture series given by each of us at the 2003 Summer School on String Topology and Hochschild Homology in Almeria, Spain. △ Less

Submitted 27 March, 2005; originally announced March 2005.

Comments: 95 pages

MSC Class: 57R19; 55P35; 57R56; 57R58; 55P25; 18D50; 55P48; 58D15

Yet another delooping machine

Authors: Bernard Badzioch, Kuerak Chung, Alexander A. Voronov

Abstract: We suggest a new delooping machine, which is based on recognizing an n-fold loop space by a collection of operations acting on it, like the traditional delooping machines of Stasheff, May, Boardman-Vogt, Segal, and Bousfield. Unlike in the traditional delooping machines, which carefully select a nice space of such operations, we consider all natural operations on n-fold loop spaces, resulting in… ▽ More We suggest a new delooping machine, which is based on recognizing an n-fold loop space by a collection of operations acting on it, like the traditional delooping machines of Stasheff, May, Boardman-Vogt, Segal, and Bousfield. Unlike in the traditional delooping machines, which carefully select a nice space of such operations, we consider all natural operations on n-fold loop spaces, resulting in the algebraic theory Map (V_. S^n, V_. S^n). The advantage of this new approach is that the delooping machine is universal in a certain sense, the proof of the recognition principle is more conceptual, works the same way for all values of n, and does not need the test space to be connected. △ Less

Submitted 4 March, 2004; originally announced March 2004.

Comments: 11 pages, 1 figure

MSC Class: 55P48 (Primary); 18C10 (Secondary)

On Kontsevich's Hochschild cohomology conjecture

Authors: P. Hu, I. Kriz, A. A. Voronov

Abstract: Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors. Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors. △ Less

Submitted 7 January, 2005; v1 submitted 22 September, 2003; originally announced September 2003.

Comments: 29 pages; final version, to appear in Compos. Math

MSC Class: 16E40; 18D50 (Primary) 17A30; 17A42; 18C15; 55P48 (Secondary)

PROPped up graph cohomology

Authors: Martin Markl, Alexander A. Voronov

Abstract: We consider graph complexes with a flow and compute their cohomology. More specifically, we prove that for a PROP generated by a Koszul dioperad, the corresponding graph complex gives a minimal model of the PROP. We also give another proof of the existence of a minimal model of the bialgebra PROP from math.AT/0209007. These results are based on the useful notion of a 1/2 PROP introduced by Konts… ▽ More We consider graph complexes with a flow and compute their cohomology. More specifically, we prove that for a PROP generated by a Koszul dioperad, the corresponding graph complex gives a minimal model of the PROP. We also give another proof of the existence of a minimal model of the bialgebra PROP from math.AT/0209007. These results are based on the useful notion of a 1/2 PROP introduced by Kontsevich in an e-mail message to the first author. △ Less

Submitted 12 April, 2007; v1 submitted 7 July, 2003; originally announced July 2003.

Comments: 33 pages; this is a final version to appear in Maninfest; some corrections made, including adding a condition of connectedness of the differential

Report number: IHES/M/03/47 MSC Class: 18D50 (primary); 55P48 (secondary)

Notes on universal algebra

Authors: Alexander A. Voronov

Abstract: These are notes of a mini-course given at Dennisfest in June 2001. The goal of these notes is to give a self-contained survey of deformation quantization, operad theory, and graph homology. Some new results related to "String Topology" and cacti are announced in Section 2.7. These are notes of a mini-course given at Dennisfest in June 2001. The goal of these notes is to give a self-contained survey of deformation quantization, operad theory, and graph homology. Some new results related to "String Topology" and cacti are announced in Section 2.7. △ Less

Submitted 6 December, 2001; v1 submitted 1 November, 2001; originally announced November 2001.

Comments: 22 pages, 10 figures; In the revised version, a few minor errors are corrected, including some signs for the A_infty operad and algebras

MSC Class: 18D50 (primary); 14H10; 53D55; 55P48; 58D15 (secondary)

Homotopy Gerstenhaber algebras

Authors: Alexander A. Voronov

Abstract: The goal of this paper is to complete Getzler-Jones' proof of Deligne's Conjecture, thereby establishing an explicit relationship between the geometry of configurations of points in the plane and the Hochschild complex of an associative algebra. More concretely, it is shown that the $B_\infty$-operad, which is generated by multilinear operations known to act on the Hochschild complex, is a quotien… ▽ More The goal of this paper is to complete Getzler-Jones' proof of Deligne's Conjecture, thereby establishing an explicit relationship between the geometry of configurations of points in the plane and the Hochschild complex of an associative algebra. More concretely, it is shown that the $B_\infty$-operad, which is generated by multilinear operations known to act on the Hochschild complex, is a quotient of a certain operad associated to the compactified configuration spaces. Different notions of homotopy Gerstenhaber algebras are discussed: one of them is a $B_\infty$-algebra, another, called a homotopy G-algebra, is a particular case of a $B_\infty$-algebra, the others, a $G_\infty$-algebra, an $\bar E^1$-algebra, and a weak $G_\infty$-algebra, arise from the geometry of configuration spaces. Corrections to the paper arXiv:q-alg/9602009 of Kimura, Zuckerman, and the author related to the use of a nonextant notion of a homotopy Gerstenhaber algebra are made. △ Less

Submitted 6 April, 2016; v1 submitted 10 August, 1999; originally announced August 1999.

Comments: 22 pages, 7 figures. A minor error in the description of Tamarkin's counterexample is corrected, Conference Moshe Flato 1999 (G. Dito and D. Sternheimer, eds.), vol. 2. Kluwer Academic Publishers, the Netherlands, 2000, pp. 307-331

Report number: IHES/M/99/65 MSC Class: 16E40; 18C99; 55P99; 14H10; 17A30; 17A42

The Swiss-Cheese Operad

Authors: Alexander A. Voronov

Abstract: We introduce a new operad, which we call the Swiss-cheese operad. It mixes naturally the little disks and the little intervals operads. The Swiss-cheese operad is related to the configuration spaces of points on the upper half-plane and points on the real line, considered by Kontsevich for the sake of deformation quantization. This relation is similar to the relation between the little disks ope… ▽ More We introduce a new operad, which we call the Swiss-cheese operad. It mixes naturally the little disks and the little intervals operads. The Swiss-cheese operad is related to the configuration spaces of points on the upper half-plane and points on the real line, considered by Kontsevich for the sake of deformation quantization. This relation is similar to the relation between the little disks operad and the configuration spaces of points on the plane. The Swiss-cheese operad may also be regarded as a finite-dimensional model of the moduli space of genus-zero Riemann surfaces appearing in the open-closed string theory studied recently by Zwiebach. We describe algebras over the homology of the Swiss-cheese operad. △ Less

Submitted 8 July, 1998; originally announced July 1998.

Comments: 9 pages, 2 figures

Report number: MIT-98 MSC Class: 55P99; 18C99 (Primary) 14H10; 17A30; 17A42; 81T40 (Secondary)

Cohomology of Conformal Algebras

Authors: Bojko Bakalov, Victor G. Kac, Alexander A. Voronov

Abstract: Conformal algebra is an axiomatic description of the operator product expansion of chiral fields in conformal field theory. On the other hand, it is an adequate tool for the study of infinite-dimensional Lie algebras satisfying the locality property. The main examples of such Lie algebras are those ``based'' on the punctured complex plane, like the Virasoro algebra and loop algebras. In the pres… ▽ More Conformal algebra is an axiomatic description of the operator product expansion of chiral fields in conformal field theory. On the other hand, it is an adequate tool for the study of infinite-dimensional Lie algebras satisfying the locality property. The main examples of such Lie algebras are those ``based'' on the punctured complex plane, like the Virasoro algebra and loop algebras. In the present paper we develop a cohomology theory of conformal algebras with coefficients in an arbitrary module. It possesses standard properties of cohomology theories; for example, it describes extensions and deformations. We offer explicit computations for most of the important examples. △ Less

Submitted 25 November, 1998; v1 submitted 6 March, 1998; originally announced March 1998.

Comments: 46 pp., AMSLaTeX, uses epsfig, amssymb, amscd

Journal ref: Commun.Math.Phys. 200 (1999) 561-598

Stability of the Rational Homotopy Type of Moduli Spaces

Authors: Alexander A. Voronov

Abstract: We show that for g > 2k+2 the k-rational homotopy type of the moduli space M_{g,n} of algebraic curves of genus g with n punctures is independent of g, and the space M_{g,n} is k-formal. This implies the existence of a limiting rational homotopy type of M_{g,n} as g goes to infinity and the formality of it. We show that for g > 2k+2 the k-rational homotopy type of the moduli space M_{g,n} of algebraic curves of genus g with n punctures is independent of g, and the space M_{g,n} is k-formal. This implies the existence of a limiting rational homotopy type of M_{g,n} as g goes to infinity and the formality of it. △ Less

Submitted 22 August, 1997; originally announced August 1997.

Comments: 7 pages, 1 figure

Report number: RIMS-1157 MSC Class: 14H10 (Primary) 32G15; 55P62 (Secondary)

Semi-Infinite Induction and Wakimoto Modules

Authors: Alexander A. Voronov

Abstract: The purpose of this paper is to suggest the construction and study properties of semi-infinite induction, which relates to semi-infinite cohomology the same way induction relates to homology and coinduction to cohomology. We prove a version of the Shapiro Lemma, relating the semi-infinite cohomology of a module with that of the semi-infinitely induced module. A practical outcome of our construct… ▽ More The purpose of this paper is to suggest the construction and study properties of semi-infinite induction, which relates to semi-infinite cohomology the same way induction relates to homology and coinduction to cohomology. We prove a version of the Shapiro Lemma, relating the semi-infinite cohomology of a module with that of the semi-infinitely induced module. A practical outcome of our construction is a simple construction of Wakimoto modules, highest-weight modules used in double-sided BGG resolutions of irreducible modules. △ Less

Submitted 20 March, 2002; v1 submitted 29 April, 1997; originally announced April 1997.

Comments: 13 pages; an error in the proof of the Semi-infinite Shapiro Lemma corrected

Report number: IHES/M/97/36 MSC Class: 17B65 (Primary) 81R10 (Secondary)

Journal ref: Amer. J. Math. 121 (1999), no. 5, 1079-1094

Quantizing Poisson Manifolds

Authors: Alexander A. Voronov

Abstract: This paper extends Kontsevich's ideas on quantizing Poisson manifolds. A new differential is added to the Hodge decomposition of the Hochschild complex, so that it becomes a bicomplex, even more similar to the classical Hodge theory for complex manifolds. This paper extends Kontsevich's ideas on quantizing Poisson manifolds. A new differential is added to the Hodge decomposition of the Hochschild complex, so that it becomes a bicomplex, even more similar to the classical Hodge theory for complex manifolds. △ Less

Submitted 16 January, 1997; originally announced January 1997.

Comments: 7 pages, LaTeX file, submitted to the proceedings of the 1996 Joint Summer Research Conference on Quantization

MSC Class: 16S80; 16E40 (Primary) 81S10; 55P62 (Secondary)

Semiquantum Geometry

Authors: Nicolai Reshetikhin, Alexander A. Voronov, Alan Weinstein

Abstract: In this paper we study associative algebras with a Poisson algebra structure on the center acting by derivations on the rest of the algebra. These structures, which we call Poisson fibred algebras, appear in the study of quantum groups at roots of 1 and related algebras, as well as in the representation theory of affine Lie algebras at the critical level. Poisson fibred algebras lead to a genera… ▽ More In this paper we study associative algebras with a Poisson algebra structure on the center acting by derivations on the rest of the algebra. These structures, which we call Poisson fibred algebras, appear in the study of quantum groups at roots of 1 and related algebras, as well as in the representation theory of affine Lie algebras at the critical level. Poisson fibred algebras lead to a generalization of Poisson geometry, which we develop in the paper. We also take up the general study of noncommutative spaces which are close to enough commutative ones so that they contain enough points to have interesting commutative geometry. One of the most striking uses of our noncommutative spaces is the quantum Borel-Weil-Bott Theorem for quantum sl_q (2) at a root of unity, which comes as a calculation of the cohomology of actual sheaves on actual topological spaces. △ Less

Submitted 5 June, 1996; originally announced June 1996.

Comments: 21 pages, LaTeX

Homotopy Gerstenhaber algebras and topological field theory

Authors: Takashi Kimura, Alexander A. Voronov, Gregg J. Zuckerman

Abstract: We prove that the BRST complex of a topological conformal field theory is a homotopy Gerstenhaber algebra, as conjectured by Lian and Zuckerman in 1992. We also suggest a refinement of the original conjecture for topological vertex operator algebras. We illustrate the usefulness of our main tools, operads and "string vertices" by obtaining new results on Vassiliev invariants of knots and double… ▽ More We prove that the BRST complex of a topological conformal field theory is a homotopy Gerstenhaber algebra, as conjectured by Lian and Zuckerman in 1992. We also suggest a refinement of the original conjecture for topological vertex operator algebras. We illustrate the usefulness of our main tools, operads and "string vertices" by obtaining new results on Vassiliev invariants of knots and double loop spaces. △ Less

Submitted 18 March, 1996; v1 submitted 2 February, 1996; originally announced February 1996.

Comments: 29 pages, to appear in "Operads: Proceedings of Renaissance Conferences", J.-L. Loday, J. Stasheff, and A.A. Voronov, eds., Contemp. Math., AMS, Providence, RI (1996). In the resubmitted version, a few inaccuracies corrected

Report number: IHES/96

Cohomology and Deformation of Leibniz Pairs

Authors: M. Flato, M. Gerstenhaber, A. A. Voronov

Abstract: Cohomology and deformation theories are developed for Poisson algebras starting with the more general concept of a Leibniz pair, namely of an associative algebra $A$ together with a Lie algebra $L$ mapped into the derivations of $A$. A bicomplex (with both Hochschild and Chevalley-Eilenberg cohomologies) is essential. Cohomology and deformation theories are developed for Poisson algebras starting with the more general concept of a Leibniz pair, namely of an associative algebra $A$ together with a Lie algebra $L$ mapped into the derivations of $A$. A bicomplex (with both Hochschild and Chevalley-Eilenberg cohomologies) is essential. △ Less

Submitted 5 February, 1995; originally announced February 1995.

Comments: 15 pages

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

The Cohomology of Algebras over Moduli Spaces

Authors: Takashi Kimura, Alexander A. Voronov

Abstract: The purpose of this paper is to introduce the cohomology of various algebras over an operad of moduli spaces including the cohomology of conformal field theories (CFT's) and vertex operator algebras (VOA's). This cohomology theory produces a number of invariants of CFT's and VOA's, one of which is the space of their infinitesimal deformations. The purpose of this paper is to introduce the cohomology of various algebras over an operad of moduli spaces including the cohomology of conformal field theories (CFT's) and vertex operator algebras (VOA's). This cohomology theory produces a number of invariants of CFT's and VOA's, one of which is the space of their infinitesimal deformations. △ Less

Submitted 7 November, 1994; v1 submitted 15 October, 1994; originally announced October 1994.

Comments: 29 pages, including figures (A few inaccuracies corrected, the reference list expanded)

Homotopy G-algebras and moduli space operad

Authors: Murray Gerstenhaber, Alexander A. Voronov

Abstract: This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy graded Poisson) algebra; (2) the singular cochain complex is naturally an operad; (3) the operad of decorated moduli spaces acts naturally on the de Rham complex… ▽ More This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy graded Poisson) algebra; (2) the singular cochain complex is naturally an operad; (3) the operad of decorated moduli spaces acts naturally on the de Rham complex $Ω^\bullet X$ of a Kähler manifold $X$, thereby yielding the most general type of homotopy G-algebra structure on $Ω^\bullet X$. △ Less

Submitted 22 September, 2024; v1 submitted 12 September, 1994; originally announced September 1994.

Comments: 13 pages, weird symbols caused by an outdated version of LaTeX corrected, references updated, motivation for the sign convention clarified

MSC Class: 18M70 (Primary) 18N70; 18N40; 16E40; 16S80 (Secondary)

Journal ref: Internat. Math. Res. Notices (1995), no. 3, 141-153

Topological field theories, string backgrounds and homotopy algebras

Authors: Alexander A. Voronov

Abstract: String backgrounds are described as purely geometric objects related to moduli spaces of Riemann surfaces, in the spirit of Segal's definition of a conformal field theory. Relations with conformal field theory, topological field theory and topological gravity are studied. For each field theory, an algebraic counterpart, the (homotopy) algebra satisfied by the tree level correlators, is construct… ▽ More String backgrounds are described as purely geometric objects related to moduli spaces of Riemann surfaces, in the spirit of Segal's definition of a conformal field theory. Relations with conformal field theory, topological field theory and topological gravity are studied. For each field theory, an algebraic counterpart, the (homotopy) algebra satisfied by the tree level correlators, is constructed. △ Less

Submitted 6 January, 1994; originally announced January 1994.

Comments: 12 pages

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

Complex Divisors on Algebraic Curves and Some Applications to String Theory

Authors: A. A. Voronov

Abstract: These are notes of a talk to the International Conference on Algebra in honor of A. I. Mal'tsev, Novosibirsk, USSR, 1989 (to appear in Contemporary Mathematics). The concept of a divisor with complex coefficients on an algebraic curve is introduced. We consider families of complex divisors, or, equivalently, families of invertible sheaves and define Arakelov-type metrics on some invertible sheav… ▽ More These are notes of a talk to the International Conference on Algebra in honor of A. I. Mal'tsev, Novosibirsk, USSR, 1989 (to appear in Contemporary Mathematics). The concept of a divisor with complex coefficients on an algebraic curve is introduced. We consider families of complex divisors, or, equivalently, families of invertible sheaves and define Arakelov-type metrics on some invertible sheaves produced from them on the base. We apply this technique to obtain a formula for the measure on the moduli space that gives tachyon correlators in string theory. △ Less

Submitted 26 February, 1992; originally announced February 1992.

Comments: 8 pages, LaTeX

Journal ref: Contemp. Math. 131, part 3, 515-522 (1992)