Showing 1–3 of 3 results for author: Seol, S

The Atiyah class of dg manifolds of amplitude $+1$

Authors: Seokbong Seol

Abstract: A dg manifold of amplitude +1 in $C^\infty$-context can be thought of as a derived intersection of a section $s$ and the zero section of a vector bundle $E$. In this paper, we compute the Atiyah class of dg manifolds of amplitude $+1$. In particular, we prove that the Atiyah class of a dg manifold of amplitude $+1$ vanishes if and only if the intersection of $s$ and the zero section is a clean int… ▽ More A dg manifold of amplitude +1 in $C^\infty$-context can be thought of as a derived intersection of a section $s$ and the zero section of a vector bundle $E$. In this paper, we compute the Atiyah class of dg manifolds of amplitude $+1$. In particular, we prove that the Atiyah class of a dg manifold of amplitude $+1$ vanishes if and only if the intersection of $s$ and the zero section is a clean intersection. As an example, given two submanifolds $X$ and $Y$ of $W$, we investigate the Atiyah class of a dg manifold which can be thought of as a model for the derived intersection of $X$ and $Y$ in the sense of Behrend--Liao--Xu. △ Less

Submitted 6 February, 2024; v1 submitted 27 December, 2023; originally announced December 2023.

Comments: 24 pages, added a section for an example of derived intersection

Keller admissible triples and Duflo theorem

Authors: Hsuan-Yi Liao, Seokbong Seol

Abstract: The present paper is devoted to the study of Keller admissible triples. We prove that a Keller admissible triple induces an isomorphism of Gerstenhaber algebras between the Hochschild cohomologies of direct-sum type of the pair of differential graded algebras bound to one another by the admissible triple. As an application, we give a new concrete proof of the Duflo--Kontsevich theorem for finite-d… ▽ More The present paper is devoted to the study of Keller admissible triples. We prove that a Keller admissible triple induces an isomorphism of Gerstenhaber algebras between the Hochschild cohomologies of direct-sum type of the pair of differential graded algebras bound to one another by the admissible triple. As an application, we give a new concrete proof of the Duflo--Kontsevich theorem for finite-dimensional Lie algebras. △ Less

Submitted 14 March, 2023; v1 submitted 13 September, 2021; originally announced September 2021.

Comments: 37 pages. Updated references. Fix typos. To appear in Journal de Mathématiques Pures et Appliquées

Journal ref: J. Math. Pures Appl. (9) 174 (2023)

Dg manifolds, formal exponential maps and homotopy Lie algebras

Authors: Seokbong Seol, Mathieu Stiénon, Ping Xu

Abstract: This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal exponential map' exists if and only if the Atiyah class vanishes. Inspired by Kapranov's construction of a homotopy Lie algebra associated with the holomorphic… ▽ More This paper is devoted to the study of the relation between `formal exponential maps,' the Atiyah class, and Kapranov $L_\infty[1]$ algebras associated with dg manifolds in the $C^\infty$ context. Given a dg manifold, we prove that a `formal exponential map' exists if and only if the Atiyah class vanishes. Inspired by Kapranov's construction of a homotopy Lie algebra associated with the holomorphic tangent bundle of a complex manifold, we prove that the space of vector fields on a dg manifold admits an $L_\infty[1]$ algebra structure, unique up to isomorphism, whose unary bracket is the Lie derivative w.r.t. the homological vector field, whose binary bracket is a 1-cocycle representative of the Atiyah class, and whose higher multibrackets can be computed by a recursive formula. For the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ arising from a complex manifold $X$, we prove that this $L_\infty[1]$ algebra structure is quasi-isomorphic to the standard $L_\infty[1]$ algebra structure on the Dolbeault complex $Ω^{0,\bullet}(T^{1,0}_X)$. △ Less

Submitted 19 November, 2021; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: Minor improvement; to appear in Communications in Mathematical Physics