Hypercommutative operad as a homotopy quotient of BV (Q358804): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: A. S. Khoroshkin / rank | |||
Property / author | |||
Property / author: Nikita Markarian / rank | |||
Property / author | |||
Property / author: A. S. Khoroshkin / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Nikita Markarian / rank | |||
Normal rank | |||
Property / review text | |||
The hypercommutative operad considered in the title of this article is the operad in graded modules \(\mathsf{Hycomm}\) defined by the homology of the moduli spaces of stable point curves \(\overline{\mathcal{M}}_{n+1}\), \(n\geq 1\). This operad admits a simple presentation with a generating operation \(m_n = m_n(x_1,\dots,x_n)\) corresponding to the fundamental class of the moduli spaces \([\overline{\mathcal{M}}_{n+1}]\) in each arity \(n\geq 2\) together with relations modelling higher associativity and commutativity constraints. The second operad considered in the article, the Batalin-Vilkovsky operad (the BV operad for short) denoted by \(\mathsf{BV}\), governs structures associated with double loop spaces endowed with a circle action. This operad is generated by a two-ary associative and commutative multiplication operation \(\mu = \mu(x_1,x_2)\) together with a one-ary operator \(\Delta\), referred to as the BV-operator, which sastisfies the relation of a differential operator of order two with respect to the multiplication. The BV-operad is also identified with the homology of an operad in topological spaces, the operad of framed little \(2\)-discs. Recently, \textit{G. C. Drummond-Cole} [Homotopically trivializing the circle in the framed little disks, preprint \url{arXiv:1112.1129}, to appear in J. Topol.] proved that the topological operad of the moduli spaces of stable point curves is weakly-equivalent to the operad obtained by homotopically trivializing the action of the circle on framed little \(2\)-discs. The authors of the paper under review study a homological counterpart of this weak-equivalence of topological operads. They consider an operad in chain complexes \(\mathsf{BV}/\Delta\) governing BV-algebras equipped with linear endomorphisms that trivialize the action of the BV-operator in homology. The main result of the paper is an explicit definition of a quasi-isomorphism from the hypercommutative operad \(\mathsf{Hycomm}\) towards the operad \(\mathsf{BV}/\Delta\). The authors actually give two approaches for the construction of this quasi-isomorphism. The first approach relies on a diagram of operadic resolutions. The second approach relies on an operadic interpretation of the Givental loop group action. | |||
Property / review text: The hypercommutative operad considered in the title of this article is the operad in graded modules \(\mathsf{Hycomm}\) defined by the homology of the moduli spaces of stable point curves \(\overline{\mathcal{M}}_{n+1}\), \(n\geq 1\). This operad admits a simple presentation with a generating operation \(m_n = m_n(x_1,\dots,x_n)\) corresponding to the fundamental class of the moduli spaces \([\overline{\mathcal{M}}_{n+1}]\) in each arity \(n\geq 2\) together with relations modelling higher associativity and commutativity constraints. The second operad considered in the article, the Batalin-Vilkovsky operad (the BV operad for short) denoted by \(\mathsf{BV}\), governs structures associated with double loop spaces endowed with a circle action. This operad is generated by a two-ary associative and commutative multiplication operation \(\mu = \mu(x_1,x_2)\) together with a one-ary operator \(\Delta\), referred to as the BV-operator, which sastisfies the relation of a differential operator of order two with respect to the multiplication. The BV-operad is also identified with the homology of an operad in topological spaces, the operad of framed little \(2\)-discs. Recently, \textit{G. C. Drummond-Cole} [Homotopically trivializing the circle in the framed little disks, preprint \url{arXiv:1112.1129}, to appear in J. Topol.] proved that the topological operad of the moduli spaces of stable point curves is weakly-equivalent to the operad obtained by homotopically trivializing the action of the circle on framed little \(2\)-discs. The authors of the paper under review study a homological counterpart of this weak-equivalence of topological operads. They consider an operad in chain complexes \(\mathsf{BV}/\Delta\) governing BV-algebras equipped with linear endomorphisms that trivialize the action of the BV-operator in homology. The main result of the paper is an explicit definition of a quasi-isomorphism from the hypercommutative operad \(\mathsf{Hycomm}\) towards the operad \(\mathsf{BV}/\Delta\). The authors actually give two approaches for the construction of this quasi-isomorphism. The first approach relies on a diagram of operadic resolutions. The second approach relies on an operadic interpretation of the Givental loop group action. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P48 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22E67 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 81T40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 81T70 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6197106 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hypercommutative operad | |||
Property / zbMATH Keywords: Hypercommutative operad / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Batalin-Vilkovsky operad | |||
Property / zbMATH Keywords: Batalin-Vilkovsky operad / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Givental loop group action | |||
Property / zbMATH Keywords: Givental loop group action / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Benoit Fresse / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3105322622 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1206.3749 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cohomology ring of the colored braid group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kodaira-Spencer theory of gravity and exact results for quantum string amplitudes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quillen homology for operads via Gröbner bases / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: De Rham cohomology and homotopy Frobenius manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Givental graphs and inversion symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopically trivializing the circle in the framed little disks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The minimal model for the Batalin-Vilkovisky operad / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy Batalin-Vilkovisky algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-dimensional topological gravity and equivariant cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Batalin-Vilkovisky algebras and two-dimensional topological field theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operads and moduli spaces of genus $0$ Riemann surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operads and motives in deformation quantization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formality of the framed little 2-discs operad and semidirect products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5465208 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On operad structures of moduli spaces and string theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hodge theoretic aspects of mirror symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intersection Theory of Moduli Space of Stable N-Pointed Curves of Genus Zero / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariance of tautological equations II: Gromov-Witten theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic Operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From Zwiebach invariants to Getzler relation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4259439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distributive laws and Koszulness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of iterated loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characteristic Classes. (AM-76) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Framed Discs Operads and Batalin-Vilkovisky Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formality of the chain operad of framed little disks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BCOV theory via Givental group action on cohomological field theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formality of chain operad of little discs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of 2D semi-simple field theories / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:38, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hypercommutative operad as a homotopy quotient of BV |
scientific article |
Statements
Hypercommutative operad as a homotopy quotient of BV (English)
0 references
9 August 2013
0 references
The hypercommutative operad considered in the title of this article is the operad in graded modules \(\mathsf{Hycomm}\) defined by the homology of the moduli spaces of stable point curves \(\overline{\mathcal{M}}_{n+1}\), \(n\geq 1\). This operad admits a simple presentation with a generating operation \(m_n = m_n(x_1,\dots,x_n)\) corresponding to the fundamental class of the moduli spaces \([\overline{\mathcal{M}}_{n+1}]\) in each arity \(n\geq 2\) together with relations modelling higher associativity and commutativity constraints. The second operad considered in the article, the Batalin-Vilkovsky operad (the BV operad for short) denoted by \(\mathsf{BV}\), governs structures associated with double loop spaces endowed with a circle action. This operad is generated by a two-ary associative and commutative multiplication operation \(\mu = \mu(x_1,x_2)\) together with a one-ary operator \(\Delta\), referred to as the BV-operator, which sastisfies the relation of a differential operator of order two with respect to the multiplication. The BV-operad is also identified with the homology of an operad in topological spaces, the operad of framed little \(2\)-discs. Recently, \textit{G. C. Drummond-Cole} [Homotopically trivializing the circle in the framed little disks, preprint \url{arXiv:1112.1129}, to appear in J. Topol.] proved that the topological operad of the moduli spaces of stable point curves is weakly-equivalent to the operad obtained by homotopically trivializing the action of the circle on framed little \(2\)-discs. The authors of the paper under review study a homological counterpart of this weak-equivalence of topological operads. They consider an operad in chain complexes \(\mathsf{BV}/\Delta\) governing BV-algebras equipped with linear endomorphisms that trivialize the action of the BV-operator in homology. The main result of the paper is an explicit definition of a quasi-isomorphism from the hypercommutative operad \(\mathsf{Hycomm}\) towards the operad \(\mathsf{BV}/\Delta\). The authors actually give two approaches for the construction of this quasi-isomorphism. The first approach relies on a diagram of operadic resolutions. The second approach relies on an operadic interpretation of the Givental loop group action.
0 references
Hypercommutative operad
0 references
Batalin-Vilkovsky operad
0 references
Givental loop group action
0 references