Showing 1–32 of 32 results for author: Hinich, V

Key lemma and universal localization

Authors: Vladimir Hinich

Abstract: We study localizations of infinity categories that remain localizations after any base change. We study localizations of infinity categories that remain localizations after any base change. △ Less

Submitted 25 October, 2024; originally announced October 2024.

Comments: 5 pages

MSC Class: 18N60; 18N55

Matsumoto theorem for skeleta

Authors: Maria Gorelik, Vladimir Hinich, Vera Serganova

Abstract: We present a proof of a generalization of the theorem of H.~Matsumoto on Coxeter groups. Our generalized version is applicable to "graphs admitting geometric realization". The original version of the theorem for Coxeter groups is a special case when applied to the Cayley graph and the geometric representation of a Coxeter group. Our version of Matsumoto theorem is also applicable to skeleta, graph… ▽ More We present a proof of a generalization of the theorem of H.~Matsumoto on Coxeter groups. Our generalized version is applicable to "graphs admitting geometric realization". The original version of the theorem for Coxeter groups is a special case when applied to the Cayley graph and the geometric representation of a Coxeter group. Our version of Matsumoto theorem is also applicable to skeleta, graphs that were defined in the recent paper by the authors on root Lie superalgebras. △ Less

Submitted 13 May, 2024; v1 submitted 20 October, 2023; originally announced October 2023.

Comments: 10 pages, minor change in ntroduction

MSC Class: 20F55; 51F15; 17B22; 17B67

On diagrams of algebras

Authors: Vladimir Hinich

Abstract: We present a proof of the formula (given in Lurie's Higher Algebra) for the operad governing diagrams of operad algebras. We believe that our proof corrects a flaw in the original argument. 2nd version: a corrected proof given. We present a proof of the formula (given in Lurie's Higher Algebra) for the operad governing diagrams of operad algebras. We believe that our proof corrects a flaw in the original argument. 2nd version: a corrected proof given. △ Less

Submitted 3 June, 2025; v1 submitted 12 April, 2023; originally announced April 2023.

Comments: 2 version: 5 pages

MSC Class: 18N70

Galois cohomology of reductive groups over global fields

Authors: Mikhail Borovoi, Tasho Kaletha, Vladimir Hinich

Abstract: We give closed formulas for the abelian Galois cohomology groups H^1_{ab}(F,G) and H^2_{ab}(F,G) of a connected reductive group G over a global field F in terms of the algebraic fundamental group π_1(G) introduced earlier by one of us (M.B.). We further give closed formulas for the effects of restriction, corestriction, and localization, in terms of these formulas and the analogous known formulas… ▽ More We give closed formulas for the abelian Galois cohomology groups H^1_{ab}(F,G) and H^2_{ab}(F,G) of a connected reductive group G over a global field F in terms of the algebraic fundamental group π_1(G) introduced earlier by one of us (M.B.). We further give closed formulas for the effects of restriction, corestriction, and localization, in terms of these formulas and the analogous known formulas in the case of local fields. Building on this, we give formulas, suitable for computer computations, for the first nonabelian Galois cohomology set H^1(F,G) of G and for the second Galois cohomology group H^2(F,T) of an F-torus T. As a preparation for the derivation of our formulas, we review the interpretation of Tate cohomology of a finite group in terms of the stable derived category of Z[Γ]-modules due to Buchweitz, and relate it to the explicit definition via cochains due to Kottwitz-Shelstad. We use this to construct the Tate-Nakayama isomorphisms for bounded complexes of tori over local and global fields, whose specialization to complexes of length 2 is then applied to obtain the desired formulas. △ Less

Submitted 7 May, 2025; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: V1,2: 43 pages. V3: 58 pages. V4: 88 pages. V5: 101 pages. v6: 109 pages. v7: 120 pages

MSC Class: 11E72; 20G10; 20G25; 20G30

Root groupoid and related Lie superalgebras

Authors: Maria Gorelik, Vladimir Hinich, Vera Serganova

Abstract: We introduce a notion of a root groupoid as a replacement of the notion of Weyl group for (Kac-Moody) Lie superalgebras. The objects of the root groupoid classify certain root data, the arrows are defined by generators and relations. As an abstract groupoid the root groupoid has many connected components and we show that to some of them one can associate an interesting family of Lie superalgebras… ▽ More We introduce a notion of a root groupoid as a replacement of the notion of Weyl group for (Kac-Moody) Lie superalgebras. The objects of the root groupoid classify certain root data, the arrows are defined by generators and relations. As an abstract groupoid the root groupoid has many connected components and we show that to some of them one can associate an interesting family of Lie superalgebras which we call root superalgebras. We classify root superalgebras satisfying some additional assumptions. To each root groupoid component we associate a graph (called skeleton) generalizing the Cayley graph of the Weyl group. We establish the Coxeter property of the skeleton generalizing in this way the fact that the Weyl group of a Kac-Moody Lie algebra is Coxeter. △ Less

Submitted 8 July, 2024; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: 4th version: accepted to Annals in Representation Theory. Warning: the numbering of subsections and theorems in the arXiv version has remained as we like it, whereas it has changed according to the journal's requirements in the Journal version

MSC Class: 17B22; 17B67; 17B99

On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads

Authors: Vladimir Hinich, Ieke Moerdijk

Abstract: In this paper we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie's book on Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections made and exposition slightly altered. In this paper we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie's book on Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections made and exposition slightly altered. △ Less

Submitted 9 October, 2024; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 31 pages, the final version, accepted for publication by Journal of Topology

MSC Class: 18N70

Colimits in enriched $\infty$-categories and Day convolution

Authors: Vladimir Hinich

Abstract: For a monoidal $\infty$-category $\mathcal{M}$ with colimits, we study colimits of $\mathcal{M}$-functors $\mathcal{A}\to\mathcal{B}$ where $\mathcal{B}$ is left-tensored over $\mathcal{M}$ and $\mathcal{A}$ is an $\mathcal{M}$-enriched category. We prove that the enriched Yoneda embedding $Y:\mathcal{A}\to P_{\mathcal{M}}(\mathcal{A})$ yields a universal $\mathcal{M}$-functor and, in the case whe… ▽ More For a monoidal $\infty$-category $\mathcal{M}$ with colimits, we study colimits of $\mathcal{M}$-functors $\mathcal{A}\to\mathcal{B}$ where $\mathcal{B}$ is left-tensored over $\mathcal{M}$ and $\mathcal{A}$ is an $\mathcal{M}$-enriched category. We prove that the enriched Yoneda embedding $Y:\mathcal{A}\to P_{\mathcal{M}}(\mathcal{A})$ yields a universal $\mathcal{M}$-functor and, in the case when $\mathcal{A}$ has a certain monoidal structure, the category of enriched presheaves $P_{\mathcal{M}}(\mathcal{A})$ inherits the same monoidal structure. △ Less

Submitted 6 January, 2023; v1 submitted 23 January, 2021; originally announced January 2021.

Comments: 2nd version: A number of errors corrected. 60 pages

MSC Class: 18D20; 18N60; 18N70

So, what is a derived functor?

Authors: V. Hinich

Abstract: In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair (LF,RG). In particular, canonicity of this passage becomes obvious. 2nd version: added comparison to Deligne's definition (SGA4) and a discussion of diagrams of… ▽ More In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair (LF,RG). In particular, canonicity of this passage becomes obvious. 2nd version: added comparison to Deligne's definition (SGA4) and a discussion of diagrams of derived functors. Introduction rewritten and references added. 3rd version: description of Kan extensions in terms of correspondences more detailed. 4th version: the final version accepted to HHA. △ Less

Submitted 24 March, 2020; v1 submitted 29 November, 2018; originally announced November 2018.

Comments: 12 pages, Version 3: 16 pages

MSC Class: 18G10; 18G55

Yoneda lemma for enriched infinity categories

Authors: V. Hinich

Abstract: We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of enriched quivers. We prove that, in case the monoidal structure in the basic category M comes from direct product, our definition is essentially equivalent to the appr… ▽ More We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of enriched quivers. We prove that, in case the monoidal structure in the basic category M comes from direct product, our definition is essentially equivalent to the approach via Segal objects. Furthermore, we compare our notion with the notion of category left-tensored over M, and prove a version of Yoneda lemma in this context. Version 2: An error in 2.6.2 corrected. Version 3: a few minor corrections. Version 4: Section 8 added, describing correspondences of enriched categories. In case the basic monoidal category M is a prototopos with a cartesian structure, we prove that the category of correspondences is equivalent to the category of enriched categories over [1]. Version 5: terminology changed (former bicartesian fibrations became bifibrations), a few misprints corrected. Version 6: Section 2.11 added, dealing with operadic sieves. A number of corrections and clarifications made per referee's request. Version 7: final version, accepted to Advances in Math. Version 8: a minor correction of 2.8.9-2.8.10. △ Less

Submitted 5 July, 2021; v1 submitted 19 May, 2018; originally announced May 2018.

Comments: 113 pages

MSC Class: 18D20; 18D99; 18G55

Lectures on infinity categories

Authors: Vladimir Hinich

Abstract: These are lecture notes of the course in infinity categories given in the fall 2016 at Weizmann Institute. These are lecture notes of the course in infinity categories given in the fall 2016 at Weizmann Institute. △ Less

Submitted 4 November, 2018; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 125 pages. Small corrections in 9.6 and 9.8

MSC Class: 18-01; 18D99

Deligne categories and the limit of categories $Rep(GL(m|n))$

Authors: Inna Entova-Aizenbud, Vladimir Hinich, Vera Serganova

Abstract: For each integer $t$ a tensor category $V_t$ is constructed, such that exact tensor functors $V_t \longrightarrow C$ classify dualizable $t$-dimensional objects in $C$ not annihilated by any Schur functor. This means that $V_t$ is the "abelian envelope" of the Deligne category $Rep(GL_t)$. Any tensor functor $Rep(GL_t)\longrightarrow C$ is proved to factor either through $V_t$ or through one of th… ▽ More For each integer $t$ a tensor category $V_t$ is constructed, such that exact tensor functors $V_t \longrightarrow C$ classify dualizable $t$-dimensional objects in $C$ not annihilated by any Schur functor. This means that $V_t$ is the "abelian envelope" of the Deligne category $Rep(GL_t)$. Any tensor functor $Rep(GL_t)\longrightarrow C$ is proved to factor either through $V_t$ or through one of the classical categories $Rep(GL(m|n))$ with $m-n=t$. The universal property of $V_t$ implies that it is equivalent to the categories $Rep_{Rep(GL_{t_1})\otimes Rep(GL_{t_2})}(GL(X),ε)$, ($t=t_1+t_2$, $t_1$ not integer) suggested by Deligne as candidates for the role of abelian envelope. △ Less

Submitted 30 July, 2022; v1 submitted 24 November, 2015; originally announced November 2015.

Comments: v3: lemma added to section 9, v4: some typos fixed, v5: fixed support acknowledgement, v6: minor fix in definition of abelian envelope, v7: fixed typo in preliminaries

Enriched Yoneda Lemma

Authors: V. Hinich

Abstract: We present a version of enriched Yoneda lemma for conventional (not infinity-) categories. We require the base monoidal category to have colimits, but do not require it to be closed or symmetric monoidal. We present a version of enriched Yoneda lemma for conventional (not infinity-) categories. We require the base monoidal category to have colimits, but do not require it to be closed or symmetric monoidal. △ Less

Submitted 31 August, 2016; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: 7 pages; In v.2 a reference added and some minor changes done. Accepted to TAC

MSC Class: 18D20

Formality theorem and bialgebra deformations

Authors: V. Hinich, D. Lemberg

Abstract: In this paper we prove formality of the exterior algebra on V+V* endowed with the big bracket considered as a graded Poisson algebra. We also discuss connection of this result to bialgebra deformations of the symmetric algebra of V considered as bialgebra. In this paper we prove formality of the exterior algebra on V+V* endowed with the big bracket considered as a graded Poisson algebra. We also discuss connection of this result to bialgebra deformations of the symmetric algebra of V considered as bialgebra. △ Less

Submitted 10 August, 2015; v1 submitted 8 October, 2014; originally announced October 2014.

Comments: 12 pages, Formulation of Conjecture 2 corrected

MSC Class: 18G15 14D15

Rectification of algebras and modules

Authors: V. Hinich

Abstract: Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be interpreted as a "rectification" result for Lurie operad algebras. A similar result is obtained for modules over operad algebras, as well as for algebras over t… ▽ More Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be interpreted as a "rectification" result for Lurie operad algebras. A similar result is obtained for modules over operad algebras, as well as for algebras over topological PROPs. △ Less

Submitted 18 September, 2015; v1 submitted 17 November, 2013; originally announced November 2013.

Comments: References corrected. The final version; accepted to Documenta Mathematica

MSC Class: 18G55; 18D05; 18D50

Dwyer-Kan localization revisited

Authors: V. Hinich

Abstract: A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven that a Quillen pair of model categories gives rise to an adjoint pair of the DK localizations. Also a result on localization of a family of infinity-categories is… ▽ More A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven that a Quillen pair of model categories gives rise to an adjoint pair of the DK localizations. Also a result on localization of a family of infinity-categories is proven. This, in particular, is applied to localization of symmetric monoidal infinity-categories, where some (partial) results are obtained. △ Less

Submitted 18 September, 2015; v1 submitted 17 November, 2013; originally announced November 2013.

Comments: 24 pages, the final version, accepted to "Homology, Homotopy and Applications"

MSC Class: 18D05; 18D20; 18E35

On the equivalence between Lurie's model and the dendroidal model for infinity-operads

Authors: Gijs Heuts, Vladimir Hinich, Ieke Moerdijk

Abstract: We compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over the nerve of Segal's category Gamma. In this paper we prove that for operads without const… ▽ More We compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over the nerve of Segal's category Gamma. In this paper we prove that for operads without constants these two theories are equivalent, in the precise sense of the existence of a zig-zag of Quillen equivalences between the respective model categories. △ Less

Submitted 29 January, 2015; v1 submitted 15 May, 2013; originally announced May 2013.

Noncommutative unfolding of hypersurface singularity

Authors: Vladimir Hinich, Dan Lemberg

Abstract: A version of Kontsevich Formality theorem is proven for smooth DG algebras. As an application of this, it is proven that any quasiclassical datum of noncommutative unfolding of an isolated surface singularity can be quantized. A version of Kontsevich Formality theorem is proven for smooth DG algebras. As an application of this, it is proven that any quasiclassical datum of noncommutative unfolding of an isolated surface singularity can be quantized. △ Less

Submitted 23 April, 2016; v1 submitted 26 July, 2012; originally announced July 2012.

Comments: 19 pages; Version 3: an error in the version published in "Noncommutative Geometry" is corrected

MSC Class: 18G55; 14B07

Subcanonical coordinate rings are Gorenstein

Authors: V. Hinich, V. Schechtman

Abstract: Using a classical result of Avramov-Golod we strengthen a recent result of Gorodentsev, Khoroshkin and Rudakov on syzygies of highest weight orbit closure. Using a classical result of Avramov-Golod we strengthen a recent result of Gorodentsev, Khoroshkin and Rudakov on syzygies of highest weight orbit closure. △ Less

Submitted 4 March, 2009; originally announced March 2009.

Comments: 6 pages

MSC Class: 13D02; 14B05; 14F05

Augmented Teichmuller Spaces and Orbifolds

Authors: Vladimir Hinich, Arkady Vaintrob

Abstract: We study complex-analytic properties of the augmented Teichmuller spaces ATS introduced by Lipman Bers. These spaces are obtained by adding to the classical Teichmuller space TS the points corresponding to nodal Riemann surfaces. Unlike TS, the space ATS is not a complex manifold (it is not even locally compact). We prove however that the quotient of ATS by any finite index subgroup of the Teichmu… ▽ More We study complex-analytic properties of the augmented Teichmuller spaces ATS introduced by Lipman Bers. These spaces are obtained by adding to the classical Teichmuller space TS the points corresponding to nodal Riemann surfaces. Unlike TS, the space ATS is not a complex manifold (it is not even locally compact). We prove however that the quotient of ATS by any finite index subgroup of the Teichmuller modular group has a canonical structure of a complex orbifold. Using this structure we construct natural maps from ATS to stacks of admissible coverings of stable Riemann surfaces. This result is important for understanding the cup-product in stringy orbifold cohomology. We also establish some new technical results from the general theory of orbifolds which may be of independent interest. △ Less

Submitted 20 April, 2011; v1 submitted 20 May, 2007; originally announced May 2007.

Comments: 92 pages; rewritten introduction, improved exposition; accepted for publication in Selecta Mathematica. A gap in the proof of Theorem 3.2.12 fixed

MSC Class: 32G15; 57R18; 55N32; 22A22

Homotopy coherent nerve in Deformation theory

Authors: V. Hinich

Abstract: In this note we explain that homotopy coherent simplicial nerve has to used intead of the standard definition in the author's papers on formal deformation theory. A convenient version of the notion of fibered category is presented which is useful once one works with simplicial categories. In this note we explain that homotopy coherent simplicial nerve has to used intead of the standard definition in the author's papers on formal deformation theory. A convenient version of the notion of fibered category is presented which is useful once one works with simplicial categories. △ Less

Submitted 2 July, 2015; v1 submitted 19 April, 2007; originally announced April 2007.

Comments: Title fixed. Title changed (the old title was "Another simplicial nerve") Slightly revised

MSC Class: 18G30; 18G55; 13D10

Plumbing coordinates on Teichmueller space: a counterexample

Authors: V. Hinich

Abstract: We present an example showing that a family of Riemann surfaces obtained by a general plumbing construction does not necessarily give local coordinates on the Teichmueller space. We present an example showing that a family of Riemann surfaces obtained by a general plumbing construction does not necessarily give local coordinates on the Teichmueller space. △ Less

Submitted 13 July, 2008; v1 submitted 10 June, 2006; originally announced June 2006.

Comments: 5 pages, Title and presentation slightly changed. The final version accepted to Israel J. Math

MSC Class: 32G15; 30F60; 14H15; 14D15

Drinfeld double for orbifolds

Authors: V. Hinich

Abstract: We prove that the Drinfeld double of the category of sheaves on an orbifold is equivalent to the category of sheves on the corresponding inertia orbifold. We prove that the Drinfeld double of the category of sheaves on an orbifold is equivalent to the category of sheves on the corresponding inertia orbifold. △ Less

Submitted 18 November, 2005; originally announced November 2005.

Comments: 16 pages

MSC Class: 18D10; 18F20

Deformations of sheaves of algebras

Authors: Vladimir Hinich

Abstract: A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the description of deformatins of a scheme and equivariant deformations are considered. The construction is based upon a model structure on the category of presheaves whi… ▽ More A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the description of deformatins of a scheme and equivariant deformations are considered. The construction is based upon a model structure on the category of presheaves which should be of an independent interest. △ Less

Submitted 12 October, 2003; v1 submitted 8 October, 2003; originally announced October 2003.

Comments: 57 pages, references added

Erratum to "Homological algebra of homotopy algebras"

Authors: V. Hinich

Abstract: Theorem 6.1.1 of [H.A.H.A.] on the existence of a model structure on the category of operads is not valid in the generality claimed. We present here a counter-example (due to B. Fresse) and a corrected version of the theorem. Theorem 6.1.1 of [H.A.H.A.] on the existence of a model structure on the category of operads is not valid in the generality claimed. We present here a counter-example (due to B. Fresse) and a corrected version of the theorem. △ Less

Submitted 12 October, 2003; v1 submitted 28 September, 2003; originally announced September 2003.

Comments: 5 pages; explained that the error discussed has no implications on the usage of cofibrant resolutions of operads (in particular, of the Eilenberg-Zilber operad). A remark on the paper of Berger-Moerdijk fixed

Cyclic operads and algebra of chord diagrams

Authors: Vladimir Hinich, Arkady Vaintrob

Abstract: We prove that the algebra $\cal{A}$ of chord diagrams, the dual to the associated graded algebra of Vassiliev knot invariants, is isomorphic to the universal enveloping algebra of a Casimir Lie algebra in a certain tensor category (the PROP for Casimir Lie algebras). This puts on a firm ground a known statement that the algebra $\cal{A}$ ``looks and behaves like a universal enveloping algebra''.… ▽ More We prove that the algebra $\cal{A}$ of chord diagrams, the dual to the associated graded algebra of Vassiliev knot invariants, is isomorphic to the universal enveloping algebra of a Casimir Lie algebra in a certain tensor category (the PROP for Casimir Lie algebras). This puts on a firm ground a known statement that the algebra $\cal{A}$ ``looks and behaves like a universal enveloping algebra''. An immediate corollary of our result is the conjecture of Bar-Natan, Garoufalidis, Rozansky, and Thurston on the Kirillov-Duflo isomorphism for algebras of chord diagrams. Our main tool is a general construction of a functor from the category $\mathtt{CycOp}$ of cyclic operads to the category $\mathtt{ModOp}$ of modular operads which is left adjoint to the ``tree part'' functor $\mathtt{ModOp} \to \mathtt{CycOp}$. The algebra of chord diagrams arises when this construction is applied to the operad for Lie algebras. Another example of this construction is Kontsevich's graph complex that corresponds to the operad for homotopy Lie algebras. △ Less

Submitted 19 May, 2000; originally announced May 2000.

Comments: 49 pages

Tamarkin's proof of Kontsevich formality theorem

Authors: Vladimir Hinich

Abstract: In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of Tamarkin's result. In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of Tamarkin's result. △ Less

Submitted 9 March, 2000; originally announced March 2000.

Comments: 20 pages

Virtual operad algebras and realization of homotopy types

Authors: Vladimir Hinich

Abstract: We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular, virtual commutative algebras can serve to an algebraic description of homotopy p-tipes as in the recent preprint of Mandell (electronic Hopf topology archive, o… ▽ More We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular, virtual commutative algebras can serve to an algebraic description of homotopy p-tipes as in the recent preprint of Mandell (electronic Hopf topology archive, october '98, see http://www.hopf.math.purdue.edu. Our main result allows one to significally simplify the proof of Mandell's theorem. △ Less

Submitted 19 July, 1999; originally announced July 1999.

Comments: 12 pages

MSC Class: 18G55; 55P99

Deformations of homotopy algebras

Authors: V. Hinich

Abstract: Let $k$ be a field of characteristic zero, $\CO$ be a dg operad over $k$ and let $A$ be an $\CO$-algebra. In this note we define formal deformations of $A$, construct the deformation functor $$\Def_A:\dgar(k)\to\simpl$$ from the category of artinian local dg algebras to the category of simplicial sets. In the case $\CO$ and $A$ are non-positively graded, we prove that $\Def_A$ is governed by the… ▽ More Let $k$ be a field of characteristic zero, $\CO$ be a dg operad over $k$ and let $A$ be an $\CO$-algebra. In this note we define formal deformations of $A$, construct the deformation functor $$\Def_A:\dgar(k)\to\simpl$$ from the category of artinian local dg algebras to the category of simplicial sets. In the case $\CO$ and $A$ are non-positively graded, we prove that $\Def_A$ is governed by the tangent Lie algebra $T_A$ (defined as derivations of a cofibrant resolution of $A$). A very easy example shows that the result does not hold without this condition. △ Less

Submitted 26 April, 1999; originally announced April 1999.

Comments: 14 pages, latex

DG coalgebras as formal stacks

Authors: V. Hinich

Abstract: The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for 2-reduced coalgebras. In our case, the notion of weak equivalence is structly stronger than that of quasi-isomorphism. A pair of adjoint functors connecting the cate… ▽ More The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for 2-reduced coalgebras. In our case, the notion of weak equivalence is structly stronger than that of quasi-isomorphism. A pair of adjoint functors connecting the category of coalgebras with the category of dg Lie algebras, induces an equivalence of the corresponding homotopy categories. The model category structure allows one to consider dg coalgebras as very general formal stacks. The corresponding Lie algebra is then interpreted as a tangent Lie algebra which defines the formal stack uniquely up to a weak equivalence. An example of the coalgebra of formal deformaions of a principal $G$-bundle on a scheme $X$ is calculated. △ Less

Submitted 6 December, 1998; originally announced December 1998.

Homological algebra of homotopy algebras

Authors: Vladimir Hinich

Abstract: We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed operad, on the category of modules over a fixed operad algebra. In Sections 2 - 6 we define the necessary structures and provide some standard comparison resu… ▽ More We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed operad, on the category of modules over a fixed operad algebra. In Sections 2 - 6 we define the necessary structures and provide some standard comparison results. In Section 7 we define cotangent complex. In Section 8 we define a canonical structure of homotopy Lie algebra on the tangent complex. △ Less

Submitted 11 February, 1997; originally announced February 1997.

Comments: AMS-LaTeX v1.2 (Compatibility mode), 39 pages

Descent of Deligne groupoids

Authors: Vladimir Hinich

Abstract: To any non-negatively graded dg Lie algebra $g$ over a field $k$ of characteristic zero we assign a functor $Σ_g: art/k \to Kan$ from the category of commutative local artinian $k$-algebras with the residue field $k$ to the category of Kan simplicial sets. There is a natural homotopy equivalence between $Σ_g$ and the Deligne groupoid corresponding to $g$. The main result of the paper claims th… ▽ More To any non-negatively graded dg Lie algebra $g$ over a field $k$ of characteristic zero we assign a functor $Σ_g: art/k \to Kan$ from the category of commutative local artinian $k$-algebras with the residue field $k$ to the category of Kan simplicial sets. There is a natural homotopy equivalence between $Σ_g$ and the Deligne groupoid corresponding to $g$. The main result of the paper claims that the functor $Σ$ commutes up to homotopy with the "total space" functors which assign a dg Lie algebra to a cosimplicial dg Lie algebra and a simplicial set to a cosimplicial simplicial set. This proves a conjecture of Schechtman which implies that if a deformation problem is described ``locally'' by a sheaf of dg Lie algebras $g$ on a topological space $X$ then the global deformation problem is described by the homotopy Lie algebra $RΓ(X,g)$. △ Less

Submitted 28 September, 1996; v1 submitted 11 June, 1996; originally announced June 1996.

Comments: Minor corrections made AMSLaTeX v 1.2 (Compatibility mode)

Deformation theory and Lie algebra homology

Authors: Vladimir Hinich, Vadim Schechtman

Abstract: A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique quasi-isomorphism) associated with a problem. A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique quasi-isomorphism) associated with a problem. △ Less

Submitted 14 September, 1994; v1 submitted 25 May, 1994; originally announced May 1994.

Comments: amslatex (Replacement of the previous version. Minor corrections are made)