arXiv research

Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.

Proves formality conjecture for Hamiltonian actions using equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism.

We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an intransitive Lie algebra with each intransitive linear Lie equation, and from the…

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original p…

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…

The paper studies formal geometry of dg manifolds and proves isomorphism of their calculi.

Develops thermodynamic formalism for quasimorphisms on negatively curved spaces.

We explore homotopies in quantum field theory formalism.

$\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 prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y_1, ..., y_d]] proposed in paper math.QA/0010321 by Shoikhet. This result …

Classifies $(T)$-structures over 2D F-manifolds under formal isomorphisms.

The paper explores the formality of low-dimensional manifolds using algebraic structures.

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…

The base space of a semi-universal unfolding of a hypersurface singularity carries a rich geometric structure, which was axiomatized as a CDV-structure by C. Hertling. For any CDV-structure on a Frobenius manifold M, the pull-back of the (1,0)-tangent bundle of M to the product of M by the complex line carries two natu…

Quantizes functions on Kähler manifolds without formal deformation.

The paper explores connections between dg manifolds and homotopy Lie algebras.

For an oriented 2-dimensional manifold $Σ$ of genus $g$ with $n$ boundary components the space $\mathbb{C}π_1(Σ)/[\mathbb{C}π_1(Σ), \mathbb{C}π_1(Σ)]$ carries the Goldman-Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded (under the natural filtratio…

We use rational formality of configuration spaces and the bar construction to study the cohomology of the space of braids in dimension four or greater. We provide a diagram complex for braids and a quasi-isomorphism to the de Rham cochains on the space of braids. The quasi-isomorphism is given by a configuration space …

Let G be a compact, simple and simply connected Lie group and $\A$ be an equivariant Dixmier-Douady bundle over G. For any fixed level k, we can define a G-C*-algebra $C_{\A^{k+h}}(G)$ as all the continuous sections of the tensor power $\A^{k+h}$ vanishing at infinity. A deep theorem by Freed-Hopkins-Teleman showed tha…

We propose a formally completely integrable extension of heat hierarchy based on the space of symmetries isomorphic to the Weyl algebra $\mathcal{A}_1$. The extended heat hierarchy will be the basic model for the analysis of the extension of KP hierarchy, and other integrable equations.

The paper studies graded manifolds and their functorial relationship.

Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism. Solutions of the so called quantum master equation satisfying certain boundary conditions are proven to be in 1-1 correspondence with representations of …

We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid group of n points on a surface and an explicitly presented Lie algebra t_{g,n} …

For a compact complex manifold, we introduce holomorphic foliations associated with certain abelian subgroups of the automorphism group. Such foliations are generalizations of holomorphic principal torus bundles. If there exists a transverse Kähler structure on such a foliation, then we obtain a nice differential grade…

A classical theorem of Riemannian geometry, due in its original form to Cartan, states that the Taylor expansion of the metric in geodesic normal coordinates is a universal formal power series involving only the symmetrizations of the iterated covariant derivatives of the curvature tensor; this is known as the jet isom…

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 construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices…

We show that the Hochschild cohomology of the algebra obtained by formal deformation quantization on a symplectic manifold is isomorphic to the formal series with coefficients in the de Rham cohomology of the manifold. The cohomology class obtained by differentiating the star-product with respect to the deformation par…

A well-known theorem of Kapranov states that the Atiyah class of the tangent bundle $TX$ of a complex manifold $X$ makes the shifted tangent bundle $TX[-1]$ into a Lie algebra object in the derived category $D(X)$. Moreover, he showed that there is an $L_\infty$-algebra structure on the Dolbeault resolution of $TX[-1]$…

kth-order invariant graph networks are as powerful as kth-order WL in distinguishing graphs.

An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative gradient flow are compactified in a suitable way, such that gluing them appropriatel…

We study generalized electric/magnetic duality in Abelian gauge theory by combining techniques from locally covariant quantum field theory and Cheeger-Simons differential cohomology on the category of globally hyperbolic Lorentzian manifolds. Our approach generalizes previous treatments using the Hamiltonian formalism …

Nontrivial Massey products found on compact Kähler manifolds.

This paper realises the Khovanov homology of a link in the 3-sphere as a Lagrangian Floer cohomology group, establishing a conjecture of Seidel and the second author. The starting point is the previously established formality theorem for the symplectic arc algebra over a field k of characteristic zero. Here we prove th…

We define a family of formal Khovanov brackets of a colored link depending on two parameters. The isomorphism classes of these brackets are invariants of framed colored links. The Bar-Natan functors applied to these brackets produce Khovanov and Lee homology theories categorifying the colored Jones polynomial. Further,…

Classifies kinematical and aristotelian Lie superalgebras and their superspaces.

New proof connects Kashiwara-Vergne equations to Goldman-Turaev Lie bialgebra.

The complex of "stable forms" on supermanifolds is studied. Stable forms on $M$ are represented by certain Lagrangians of "copaths" (formal systems of equations, which may or may not specify actual surfaces) on $M\times\mathbb R^D$. Changes of $D$ give rise to stability isomorphisms. The Cartan--de Rham complex made of…

This paper provides details of the construction, properties and some applications of the ambient metric associated to a conformal class of metrics on a smooth manifold. Existence and uniqueness of formal expansions defining such metrics are considered. Equivalence with the expansions of associated Poincare metrics is e…

This paper reinterprets Khovanov-Sano symmetries using BV formalism.

2-compatible Lie algebras are quadratic deformations of Lie algebras with specific constraints.

Compute Dolbeault and Bott-Chern cohomologies of complex solvmanifolds.

I present in this paper some tools in Symplectic and Poisson Geometry in view of their applications in Geometric mechanics and Mathematical Physics. After a short discussion of the Lagrangian and Hamiltonian formalisms, including the use of symmetry groups, and a presentation of the Tulczyjew's isomorphisms (which expl…

Let X be a pseudomanifold. In this text, we use a simplicial blow-up to define a cochain complex whose cohomology with coefficients in a field, is isomorphic to the intersection cohomology of X, introduced by M. Goresky and R. MacPherson. We do it simplicially in the setting of a filtered version of face sets, also cal…

We recall the definitions of two independently defined elliptic versions of the Kashiwara-Vergne Lie algebra $\frak{krv}$, namely the Lie algebra $\frak{krv}^{(1,1)}$ constructed by A.Alekseev, N.Kawazumi, Y.Kuno and F.Naef arising from the study of graded formality isomorphisms associated to topological fundamental gr…

The deformation theory of a Dirac structure is controlled by a differential graded Lie algebra which depends on the choice of an auxiliary transversal Dirac structure; if the transversal is not involutive, one obtains an $L_\infty$ algebra instead. We develop a simplified method for describing this $L_\infty$ algebra a…

Let M be a compact Riemannian manifold equipped with a parallel differential form ω. We prove a version of Kaehler identities in this setting. This is used to show that the de Rham algebra of M is weakly equivalent to its subquotient $(H^*_c(M), d)$, called {\bf the pseudocohomology} of M. When M is compact and Kaehler…

We prove a cyclic cohomological analogue of Haefliger's van Est-type theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential operators on that groupoid, which is shown to carry an intrinsic Hopf algebraic…