Source author record

Sinan Yalin

Sinan Yalin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
3topics
1close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2016arXiv

Deformation theory of bialgebras, higher Hochschild cohomology and formality

A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented $E_2$-algebras which consists in an appropriate "cobar" construction. Then we prove that the (derived) formal moduli problem of homotopy bialgebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of $E_2$-algebra structures on this "cobar" construction. We show consequently that the $E_3$-algebra structure on the higher Hochschild complex of this cobar construction, given by the solution to the higher Deligne conjecture, controls the deformation theory of this bialgebra. This implies the existence of an $E_3$-structure on the deformation complex of a dg bialgebra, solving a long-standing conjecture of Gerstenhaber-Schack. On this basis we solve a long-standing conjecture of Kontsevich, by proving the $E_3$-formality of the deformation complex of the symmetric bialgebra. This provides as a corollary a new proof of Etingof-Kazdhan deformation quantization of Lie bialgebras which extends to homotopy dg Lie bialgebras and is independent from the choice of an associator. Along the way, we establish new general results of independent interest about the deformation theory of algebraic structures, which shed a new light on various deformation complexes and cohomology theories studied in the literature.

preprint2016arXiv

Function spaces and classifying spaces of algebras over a prop

The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a function space of props to define the moduli space of algebra structures over this prop on an object of the base category. Then we mainly prove that this moduli space is the homotopy fiber of a forgetful map of classifying spaces, generalizing to the prop setting a theorem of Rezk. The crux of our proof lies in the construction of certain universal diagrams in categories of algebras over a prop. We introduce a general method to carry out such constructions in a functorial way.

preprint2016arXiv

Moduli spaces of (bi)algebra structures in topology and geometry

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define an "up to homotopy version" of algebraic structures which is coherent (in the sense of $\infty$-category theory) at a high level of generality. To understand the classification and deformation theory of these structures on a given object, a relevant idea inspired by geometry is to gather them in a moduli space with nice homotopical and geometric properties. Derived geometry provides the appropriate framework to describe moduli spaces classifying objects up to weak equivalences and encoding in a geometrically meaningful way their deformation and obstruction theory. As an instance of the power of such methods, I will describe several results of a joint work with Gregory Ginot related to longstanding conjectures in deformation theory of bialgebras, $E_n$-algebras and quantum group theory.

preprint2016arXiv

Realization spaces of algebraic structures on cochains

Given an algebraic structure on the homology of a chain complex, we define its realization space as a Kan complex whose vertices are the structures up to homotopy realizing this structure at the homology level. Our algebraic structures are parametrised by props and thus include various kinds of bialgebras. We give a general formula to compute subsets of equivalences classes of realizations as quotients of automorphism groups, and determine the higher homotopy groups via the cohomology of deformation complexes. As a motivating example, we compute subsets of equivalences classes of realizations of Poincaré duality for several examples of manifolds.

preprint2015arXiv

Maurer-Cartan spaces of filtered L-infinity algebras

We study several homotopical and geometric properties of Maurer-Cartan spaces for L-infinity algebras which are not nilpotent, but only filtered in a suitable way. Such algebras play a key role especially in the deformation theory of algebraic structures. In particular, we prove that the Maurer-Cartan simplicial set preserves fibrations and quasi-isomorphisms. Then we present an algebraic geometry viewpoint on Maurer-Cartan moduli sets, and we compute the tangent complex of the associated algebraic stack.

preprint2015arXiv

Moduli stacks of algebraic structures and deformation theory

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate diagram category form affine stacks in the sense of Toen-Vezzosi's homotopical algebraic geometry. This includes simplicial moduli spaces of algebraic structures over a given object (for instance a cochain complex). When these algebraic structures are parametrised by properads, the tangent complexes give the known cohomology theory for such structures and there is an associated obstruction theory for infinitesimal, higher order and formal deformations. The methods are general enough to be adapted for more general kinds of algebraic structures.

preprint2014arXiv

Classifying spaces of algebras over a prop

We prove that a weak equivalence between cofibrant props induces a weak equivalence between the associated classifying spaces of algebras. This statement generalizes to the prop setting a homotopy invariance result which is well known in the case of algebras over operads. The absence of model category structure on algebras over a prop leads us to introduce new methods to overcome this difficulty. We also explain how our result can be extended to algebras over colored props in any symmetric monoidal model category tensored over chain complexes.

preprint2014arXiv

Simplicial localization of homotopy algebras over a prop

We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base change implies that the homotopy category of homotopy algebras over a prop P does not depend on the choice of a cofibrant resolution of P, and gives thus a coherence to the notion of algebra up to homotopy in this setting. The result is established more generally for algebras in combinatorial monoidal dg categories.

preprint2013arXiv

The homotopy theory of bialgebras over pairs of operads

We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in two steps. In the first step, we equip coalgebras over an operad with a cofibrantly generated model category structure. In the second one we use the adjunction between bialgebras and coalgebras via the free algebra functor. This result allows us to do classical homotopical algebra in various categories such as associative bialgebras, Lie bialgebras or Poisson bialgebras in chain complexes.