arXiv research

Study BV operators on holomorphic polyvector fields on toric varieties.

We construct a functor from the derived category of homotopy Gerstenhaber algebras with finite-dimensional cohomology to the purely geometric category of so-called $F_{\infty}$-manifolds. The latter contains Frobenius manifolds as a subcategory (so that a pointed Frobenius manifold is itself a homotopy Gerstenhaber alg…

This article provides a complete description of the differential Gerstenhaber algebras of all nilpotent complex structures on any real six-dimensional nilpotent algebra. As an application, we classify all pseudo-Kählerian complex structures on six-dimensional nilpotent algebras such that the differential Gerstenhaber a…

Paper constructs observables using multisymplectic geometry and algebraic methods.

The purpose of this paper is to establish an explicit correspondence between various geometric structures on a vector bundle with some well-known algebraic structures such as Gerstenhaber algebras and BV-algebras. Some applications are discussed. In particular, we found an explicit connection between the Koszul-Brylins…

Let $A=A^0+A^1+A^2+...$ be a Gerstenhaber algebra generated by $A^0$ and $A^1$. Given a degree -1 operator $D$ on $A^0 + A^1$, we find the condition on $D$ that makes $A$ a BV-algebra. Subsequently, we apply it to the Gerstenhaber or BV algebra associated to a Lie algebroid and obtain a global proof of the corresponden…

For a Lie-Rinehart algebra (A,L) such that, as an A-module, L is finitely generated and projective of finite constant rank, the relationship between generators of the Gerstenhaber bracket and connections on the highest A-exterior power of L given in an earlier paper arises from the canonical pairing between the exterio…

Let $C$ be a differential graded coalgebra, $\barΩC$ the Adams cobar construction and $C^\vee$ the dual algebra. We prove that for a large class of coalgebras $C$ there is a natural isomorphism of Gerstenhaber algebras between the Hochschild cohomologies $HH^\ast (C^\vee, C ^\vee)$ and $HH^\ast (\barΩC ; \barΩC)$. Thi…

Study reveals GAGA phenomenon in Poisson cohomology for plane structures with isolated singularities.

For a Lie-Rinehart algebra (A,L), generators for the Gerstenhaber algebra Λ_A L correspond bijectively to right (A,L)-connections on A in such a way that B-V structures correspond to right (A,L)-module structures on A. When L is projective as an A-module, given an exact generator \partial, the homology of the B-V algeb…

Associated to every generalized complex structure is a differential Gerstenhaber algebra (DGA). When the generalized complex structure deforms, so does the associated DGA. In this paper, we identify the infinitesimal conditions when the DGA is invariant as the generalized complex structure deforms. We prove that the in…

Higher homotopy generalizations of Lie-Rinehart algebras, Gerstenhaber-, and Batalin-Vilkovisky algebras are explored. These are defined in terms of various antisymmetric bilinear operations satisfying weakened versions of the Jacobi identity, as well as in terms of operations involving more than two variables of the L…

We construct a differential Gerstenhaber-Batalin-Vilkovisky algebra from Dolbeault complex of any close Kaehler manifold, and a Frobenius manifold structure on Dolbeault cohomology.

New algebraic tools solve Poisson and Lie bialgebra problems.

We show that the Gerstenhaber algebra of the 1-jet Lie algebroid of a Jacobi manifold has a canonical exact generator, and discuss duality between its homology and the Lie algebroid cohomology. We also discuss a new example of a Lie bialgebroid on Poisson manifolds.

One of the methods to obtain Frobenius manifold structures is via DGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebra construction. An important problem is how to identify Frobenius manifold structures constructed from two different DGBV algebras. For DGBV algebras with suitable conditions, we show the functori…

The polysymplectic $(n+1)$-form is introduced as an analogue of the symplectic form for the De Donder-Weyl polymomentum Hamiltonian formulation of field theory. The corresponding Poisson brackets on differential forms are constructed. The analogues of the Poisson algebra are shown to be generalized (non-commutative and…

Using the symmetry properties of two-dmensional sigma models, we introduce a notion of the Beltrami-Courant differential, so that there is a natural homotopy Gerstenhaber algebra related to it. We conjecture that the generalized Maurer-Cartan equation for the corresponding $L_{\infty}$ subalgebra gives solutions to the…

To any $\mathfrak{g}$-manifold $M$ are associated two dglas $\operatorname{tot}\big(Λ^{\bullet} \mathfrak{g}^\vee \otimes_{\Bbbk} T_{\operatorname{poly}}^{\bullet} \big)$ and $\operatorname{tot} \big(Λ^{\bullet} \mathfrak{g}^\vee\otimes_{\Bbbk} D_{\operatorname{poly}}^{\bullet} \big)$, whose cohomologies $H_{\operatorn…

We describe some recent development on the theory of formal Frobenius manifolds via a construction from differential Gerstenhaber-Batalin-Vilkovisk (DGBV) algebras and formulate a version of mirror symmetry conjecture: the extended deformation problems of the complex structure and the Poisson structure are described by…

We define hom-Lie algebroids, a definition that may seem cumbersome at first, but which is justified, first, by a one-to-one corespondence with hom-Gerstenhaber algebras, a notion that we also introduce, and several examples, including hom-Poisson structures.

Consider the space of `long knots' in R^n, K_{n,1}. This is the space of knots as studied by V. Vassiliev. Based on previous work of the authors, it follows that the rational homology of K_{3,1} is free Gerstenhaber-Poisson algebra. A partial description of a basis is given here. In addition, the mod-p homology of this…

We explain how deformation theories of geometric objects such as complex structures, Poisson structures and holomorphic bundle structures lead to differential Gerstenhaber or Poisson algebras. We use homological perturbation theory to obtain $A_{\infty}$ algebra structures and some canonically defined deformations of s…

The associator of a non-associative algebra is the curvature of the Hochschild quasi-complex. The relationship ``curvature-associator'' is investigated. Based on this generic example, we extend the geometric language of vector fields to a purely algebraic setting, similar to the context of Gerstenhaber algebras. We int…

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; …

It is proved that on nilmanifolds with abelian complex structure, there exists a canonically constructed non-trivial holomorphic Poisson structure. We identify the necessary and sufficient condition for its associated cohomology to be isomorphic to the cohomology associated to trivial (zero) holomorphic Poisson structu…

This work is devoted to an intrinsic cohomology theory of Koszul-Vinberg algebras and their modules. Our results may be regarded as improvements of the attempt by Albert Nijenhuis in [NA]. The relationships between the cohomology theory developed here and some classical problems are pointed out, e.g. extensions of alge…

In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplicatio…

Explicit Taylor series for the volume of tubes in Lie groups

The existence of a flat torsion-free connection, or left symmetric algebra structure on a Lie algebra g gives rise to a canonically defined complex structure on g+g and a symplectic structure on g+g^*. We verify that the associated differential Gerstenhaber algebras controlling the deformation theories of the complex a…

Let $M$ be a compact oriented $d$-dimensional smooth manifold. Chas and Sullivan have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM)$. Extending work of Cohen, Jones and Yan, we compute this Batalin-Vilkovisky algebra structure when $M$ is a sphere $S^d$, $d\geq 1$. In particular, we show that $…

We identify two Frobenius manifolds obtained from two different differential Gerstenhaber-Batalin-Vilkovisky algebras on a compact Kaehler manifold. One is constructed on the Dolbeault cohomology, and the other on the de Rham cohomology. Our result can be considered as a generalization of the identification of the Dolb…

We show that if a generator of a differential Gerstenhaber algebra satisfies certain Cartan-type identities, then the corresponding Lie bracket is formal. Geometric examples include the shifted de Rham complex of a Poisson manifold and the subcomplex of differential forms on a symplectic manifold vanishing on a Lagrang…

A few generalizations of a Poisson algebra to field theory canonically formulated in terms of the polymomentum variables are discussed. A graded Poisson bracket on differential forms and an $(n+1)$-ary bracket on functions are considered. The Poisson bracket on differential forms gives rise to various generalizations o…

The theory of the last multipliers as solutions of the Liouville's transport equation, previously developed for vector fields, is extended here to general multivectors. Characterizations in terms of Witten and Marsden differentials are reobtained as well as the algebraic structure of the set of multivectors with a comm…

We exploit the Fedosov-Weinstein-Xu (FWX) resolution proposed in q-alg/9709043 to establish an isomorphism between the ring of Hochschild cohomology of the quantum algebra of functions on a symplectic manifold M and the ring H(M, C((h))) of De Rham cohomology of M with the coefficient field C((h)) without making use of…

We compute the Hochschild-Kostant-Rosenberg decomposition of the Hochschild cohomology of generalised Grassmannians, i.e. partial flag varieties associated to maximal parabolic subgroups in a simple algebraic group. We explain how the decomposition is concentrated in global sections for so-called (co)minuscule and (co)…

Given a smooth oriented manifold $M$ with non-empty boundary, we study the Pontryagin algebra $A=H_\ast(Ω)$ where $Ω$ is the space of loops in $M$ based at a distinguished point of $\partial M$. Using the ideas of string topology of Chas-Sullivan, we define a linear map $\{\{-,-\}\}: A \otimes A \to A\otimes A$ which…

Let $M$ be an oriented manifold and let $\frak N$ be a set consisting of oriented closed manifolds of the same odd dimension. We consider the topological space $G_{\frak N, M}$ of commutative diagrams. Each commutative diagram consists of a few manifolds from $\frak N$ that are mapped to $M$ and a few one point spaces …

A complex symplectic structure on a Lie algebra $\lie h$ is an integrable complex structure $J$ with a closed non-degenerate $(2,0)$-form. It is determined by $J$ and the real part $Ω$ of the $(2,0)$-form. Suppose that $\lie h$ is a semi-direct product $\lie g\ltimes V$, and both $\lie g$ and $V$ are Lagrangian with re…

Given a double vector bundle $D\to M$, we define a bigraded `Weil algebra' $\mathcal{W}(D)$, which `realizes' the algebra of smooth functions on the supermanifold $D[1,1]$. We describe in detail the relations between the Weil algebras of $D$ and those of the double vector bundles $D',\ D"$ obtained by duality operation…

A garland based on a manifold $P$ is a finite set of manifolds homeomorphic to $P$ with some of them glued together at marked points. Fix a manifold $M$ and consider a space $\NN$ of all smooth mappings of garlands based on $P$ into $M$. We construct operations $\bullet$ and $[-,-]$ on the bordism groups $\bor_*(\NN)$ …

We investigate the properties of principal elements of Frobenius Lie algebras, following the work of M. Gerstenhaber and A. Giaquinto. We prove that any Lie algebra with a left symmetric algebra structure can be embedded, in a natural way, as a subalgebra of some sl(m,K), for K= R or C. Hence, the work of Belavin and D…

Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any $G\_\infty$-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy structure) on $\g\_2$, and any $C\_\infty$-morphism $φ$ ({\rm i.e.} morphism of co…

$\newcommand{\poly}{_{\operatorname{poly}}^{\bullet}}\newcommand{\td}{(\operatorname{td}_{L/A}^{\nabla})^{\frac{1}{2}}}\newcommand{\cx}[1]{\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{#1}\poly\big)}\newcommand{\cy}[1]{\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{#1}\poly)}$Kontsevich's formality the…

We study the shifted analogue of the "Lie--Poisson" construction for $L_\infty$ algebroids and we prove that any $L_\infty$ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures from a purely algebraic perspective and, in particular, we establish a homotopy …

We use the supergeometric formalism, more precisely, the so-called "big bracket" (for which brackets and anchors are encoded by functions on some graded symplectic manifold) to address the theory of Jacobi algebroids and bialgebroids (following mainly Iglesias-Marrero and Grabowski-Marmo as a guideline). This formalism…

We show that a model of chain complex of the free loop space of a $C^\infty$-manifold, which is proposed in arxiv:1404.0153, admits an action of a certain dg operad. This is a chain level structure under the Chas-Sullivan BV structure on loop space homology. Our dg operad is a variant of the cacti operad, and we introd…