Source author record

Andrey Lazarev

Andrey Lazarev 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

20works
12topics
4close 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

20 published item(s)

preprint2026arXiv

Global Koszul duality

We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When the coalgebras under consideration are conilpotent and the algebras are dg, i.e. uncurved, this corresponds to the ordinary dg Koszul duality of Positselski and Keller-Lefèvre. As an application we construct global noncommutative moduli spaces for flat connections on vector bundles, holomorphic structures on almost complex vector bundles, dg modules over a dg algebra, objects in a dg category, and others.

preprint2022arXiv

Koszul duality for compactly generated derived categories of second kind

For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the differential). We prove that this closed model category is Quillen equivalent to the category of comodules over a certain, possibly nonconilpotent dg coalgebra, a so-called extended bar construction of $A$. This generalises and complements certain aspects of dg Koszul duality for associative algebras.

preprint2019arXiv

Review of deformation theory I: Concrete formulas for deformations of algebraic structures

In this review article, first we give the concrete formulas of representations and cohomologies of associative algebras, Lie algebras, pre-Lie algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy analogues. Then we recall the graded Lie algebras and graded associative algebras that characterize these algebraic structures as Maurer-Cartan elements. The corresponding Maurer-Cartan element equips the graded Lie or associative algebra with a differential. Then the deformations of the given algebraic structures are characterized as the Maurer-Cartan elements of the resulting differential graded Lie or associative algebras. We also recall the relation between the cohomologies and the differential graded Lie and associative algebras that control the deformations.

preprint2015arXiv

Unimodular homotopy algebras and Chern-Simons theory

Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the structure of an L-infinity algebra whose homotopy type is a homotopy invariant of M. We formulate necessary and sufficient conditions for this L-infinity algebra to have a quantum lift. We also obtain structural results on unimodular L-infinity algebras and introduce a doubling construction which links unimodular and cyclic L-infinity algebras.

preprint2013arXiv

Homotopy BV algebras in Poisson geometry

We define and study the degeneration property for BV-infinity algebras and show that it implies that the underlying L-infinity algebras are homotopy abelian. The proof is based on a generalisation of the well-known identity Δ(e^x)=e^x(Δ(x)+[x,x]/2) which holds in all BV algebras. As an application we show that the higher Koszul brackets on the cohomology of a manifold supplied with a generalised Poisson structure all vanish.

preprint2013arXiv

Models for classifying spaces and derived deformation theory

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison cohomology. We also investigate the algebraic structure of the Chevalley-Eilenberg complexes of L-infinity algebras and show that they possess, along with the Gerstenhaber bracket, an L-infinity structure that is homotopy abelian.

preprint2012arXiv

Curved infinity-algebras and their characteristic classes

In this paper we study a natural extension of Kontsevich's characteristic class construction for A-infinity and L-infinity algebras to the case of curved algebras. These define homology classes on a variant of his graph homology which allows vertices of valence >0. We compute this graph homology, which is governed by star-shaped graphs with odd-valence vertices. We also classify nontrivially curved cyclic A-infinity and L-infinity algebras over a field up to gauge equivalence, and show that these are essentially reduced to algebras of dimension at most two with only even-ary operations. We apply the reasoning to compute stability maps for the homology of Lie algebras of formal vector fields. Finally, we explain a generalization of these results to other types of algebras, using the language of operads.

preprint2012arXiv

L-infinity maps and twistings

We give a construction of an L-infinity map from any L-infinity algebra into its truncated Chevalley-Eilenberg complex as well as its cyclic and A-infinity analogues. This map fits with the inclusion into the full Chevalley-Eilenberg complex (or its respective analogues) to form a homotopy fiber sequence of L-infinity-algebras. Application to deformation theory and graph homology are given. We employ the machinery of Maurer-Cartan functors in L-infinity and A-infinity algebras and associated twistings which should be of independent interest.

preprint2012arXiv

Maurer-Cartan moduli and models for function spaces

We set up a formalism of Maurer-Cartan moduli sets for L-infinity algebras and associated twistings based on the closed model category structure on formal differential graded algebras (a.k.a. differential graded coalgebras). Among other things this formalism allows us to give a compact and manifestly homotopy invariant treatment of Chevalley-Eilenberg and Harrison cohomology. We apply the developed technology to construct rational homotopy models for function spaces.

preprint2008arXiv

Feynman diagrams and minimal models for operadic algebras

We construct an explicit minimal model for an algebra over the cobar-construction of a differential graded operad. The structure maps of this minimal model are expressed in terms of sums over decorated trees. We introduce the appropriate notion of a homotopy equivalence of operadic algebras and show that our minimal model is homotopy equivalent to the original algebra. All this generalizes and gives a conceptual explanation of well-known results for A-infinity algebras. Further, we show that these results carry over to the case of algebras over modular operads; the sums over trees get replaced by sums over general Feynman graphs. As a by-product of our work we prove gauge-independence of Kontsevich's `dual construction' producing graph cohomology classes from contractible differential graded Frobenius algebras.

preprint2007arXiv

Cohomology theories for homotopy algebras and noncommutative geometry

This paper builds a general framework in which to study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras. This framework is based on noncommutative geometry as expounded by Connes and Kontsevich. The developed machinery is then used to establish a general form of Hodge decomposition of Hochschild and cyclic cohomology of $C_\infty$-algebras. This generalizes and puts in a conceptual framework previous work by Loday and Gerstenhaber-Schack.

preprint2006arXiv

Dieudonné modules and $p$-divisible groups associated with Morava $K$-theory of Eilenberg-Mac Lane spaces

We study the structure of the formal groups associated to the Morava $K$-theories of integral Eilenberg-Mac Lane spaces. The main result is that every formal group in the collection $\{K(n)^*K({\mathbb Z}, q), q=2,3,...\}$ for a fixed $n$ enters in it together with its Serre dual, an analogue of a principal polarization on an abelian variety. We also identify the isogeny class of each of these formal groups over an algebraically closed field. These results are obtained with the help of the Dieudonné correspondence between bicommutative Hopf algebras and Dieudonné modules. We extend P. Goerss's results on the bilinear products of such Hopf algebras and corresponding Dieudonné modules.

preprint2004arXiv

Topological Hochschild cohomology and generalized Morita equivalence

We explore two constructions in homotopy category with algebraic precursors in the theory of noncommutative rings and homological algebra, namely the Hochschild cohomology of ring spectra and Morita theory. The present paper provides an extension of the algebraic theory to include the case when $M$ is not necessarily a progenerator. Our approach is complementary to recent work of Dwyer and Greenlees and of Schwede and Shipley. A central notion of noncommutative ring theory related to Morita equivalence is that of central separable or Azumaya algebras. For such an Azumaya algebra A, its Hochschild cohomology HH^*(A,A) is concentrated in degree 0 and is equal to the center of A. We introduce a notion of topological Azumaya algebra and show that in the case when the ground S-algebra R is an Eilenberg-Mac Lane spectrum of a commutative ring this notion specializes to classical Azumaya algebras. A canonical example of a topological Azumaya R-algebra is the endomorphism R-algebra F_R(M,M) of a finite cell R-module. We show that the spectrum of mod 2 topological K-theory KU/2 is a nontrivial topological Azumaya algebra over the 2-adic completion of the K-theory spectrum widehat{KU}_2. This leads to the determination of THH(KU/2,KU/2), the topological Hochschild cohomology of KU/2. As far as we know this is the first calculation of THH(A,A) for a noncommutative S-algebra A.

preprint2001arXiv

On the Adams Spectral Sequence for R-modules

We discuss the Adams Spectral Sequence for R-modules based on commutative localized regular quotient ring spectra over a commutative S-algebra R in the sense of Elmendorf, Kriz, Mandell, May and Strickland. The formulation of this spectral sequence is similar to the classical case and the calculation of its E_2-term involves the cohomology of certain `brave new Hopf algebroids' E^R_*E. In working out the details we resurrect Adams' original approach to Universal Coefficient Spectral Sequences for modules over an R ring spectrum. We show that the Adams Spectral Sequence for S_R based on a commutative localized regular quotient R ring spectrum E=R/I[X^{-1}] converges to the homotopy of the E-nilpotent completion pi_*hat{L}^R_ES_R=R_*[X^{-1}]^hat_{I_*}. We also show that when the generating regular sequence of I_* is finite, hatL^R_ES_R is equivalent to L^R_ES_R, the Bousfield localization of S_R with respect to E-theory. The spectral sequence here collapses at its E_2-term but it does not have a vanishing line because of the presence of polynomial generators of positive cohomological degree. Thus only one of Bousfield's two standard convergence criteria applies here even though we have this equivalence. The details involve the construction of an I-adic tower R/I <-- R/I^2 <-- ... <-- R/I^s <-- R/I^{s+1} <-- ... whose homotopy limit is hatL^R_ES_R. We describe some examples for the motivating case R=MU.