Related papers: Simplicial properadic homotopy
We prove that the morphisms from a minimal Sullivan algebra $\Lambda V$ to $A_{PL}(|\Lambda V|)$, the algebra of polynomial differential forms on its realization, can be quasi-isomorphic if and only if the cohomology $H(\Lambda V)$ is of…
We study properties of a group, abelian group, ring, or monoid $B$ which (a) guarantee that every homomorphism from an infinite direct product $\prod_I A_i$ of objects of the same sort onto $B$ factors through the direct product of finitely…
We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…
We consider algebras defined over a complete, local and noetherian ground ring. They are gentle algebras in case the ground ring is a field. The unbounded homotopy category of complexes of projective modules is considered. Complexes with…
We describe a collection of higher homotopy operations which determine the rational homotopy type of a simply-connected space X. These are described in terms of simplicial resolutions of successive approximations (L^k,\alpha} to the Quillen…
We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an…
In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements…
We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy. We show that these three generalizations are not…
We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets…
In paper arXiv:1109.6031 the author introduced stable formality quasi-isomorphisms and described the set of its homotopy classes. This result can be interpreted as a complete description of formal quantization procedures. In this note we…
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…
We undertake a systematic study of the notion of fibration in the setting of abstract simplicial complexes, where the concept of `homotopy' has been replaced by that of `contiguity'. Then a fibration will be a simplicial map satisfying the…
In this paper we look at the notion of cohomological triviality of fibrations of homogeneous spaces of affine algebraic groups defined over $\mathbb{C}$ and use topological methods, primarily the theory of covering spaces. This is made…
We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N-infinity operads, equivariant generalizations of E-infinity operads. Algebras in equivariant spectra over an N-infinity operad…
We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…
We define the notion of a relative matrad and realize the free relative matrad as a free H_\infty-bimodule structure on cellular chains of bimultiplihedra JJ={JJ_{n,m} = JJ_{m,n}}. We define a morphism G:A => B of A_\infty-bialgebras as a…
This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.
The purpose of this foundational paper is to introduce various notions and constructions in order to develop the homotopy theory for differential graded operads over any ring. The main new idea is to consider the action of the symmetric…
We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…