Operads,configuration spaces and quantization

We review several well-known operads of compactified configuration spaces and construct several new such operads, [`(C)]\bar C, in the category of smooth manifolds with corners whose complexes of fundamental chains give us (i) the 2-coloured operad of A <sub>∞</sub>-algebras and their homotopy morphisms, (ii) the 2-coloured operad of L <sub>∞</sub>-algebras and their homotopy morphisms, and (iii) the 4-coloured operad of openclosed homotopy algebras and their homotopy morphisms. Two gadgets — a (coloured) operad of Feynman graphs and a de Rham field theory on [`(C)]\bar C — are introduced and used to construct quantized representations of the (fundamental) chain operad of [`(C)]\bar C which are given by Feynman type sums over graphs and depend on choices of propagators.     

Singular cochains and rational homotopy type

Rational homotopy types of simply connected topological spaces have been classified by weak equivalence classes of commutative cochain algebras (Sullivan) and by isomorphism classes of minimal commutative A _∞-algebras (Kadeishvili). We classify rational homotopy types of the space X by using the (noncommutative) singular cochain complex C*(X, Q), with additional structure given by the homotopies introduced by Baues, {E _1,k } and {F _p,q}. We show that if we modify the resulting B _∞-algebra structure on this algebra by requiring that its bar construction be a Hopf algebra up to a homotopy, then weak equivalence classes of such algebras classify rational homotopy types. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 43, Topology and Its Applications, 2006.     

<Emphasis Type="Italic">D</Emphasis><Subscript>∞</Subscript>-differential <Emphasis Type="Italic">E</Emphasis><Subscript>∞</Subscript>-algebras and Steenrod operations in spectral sequences

This paper is devoted to the introduction of a D _∞-differential analog of the notion of an E _∞-(co)algebra and to the construction of generalized Steenrod operations in terms of multiplicative spectral sequences. In this paper, we investigate basic homotopy properties of D _∞-differential E _∞-(co)algebras and construct a spectral sequence of a D _∞-differential E _∞-(co)algebra. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 43, Topology and Its Applications, 2006.     

Lifting homotopy T-algebra maps to strict maps

The settings for homotopical algebra—categories such as simplicial groups, simplicial rings, _A∞$A_{\infty }$ spaces, _E∞$E_{\infty }$ ring spectra, etc.—are often equivalent to categories of algebras over some monad or triple T. In such cases, T is acting on a nice simplicial model category in such a way that T descends to a monad on the homotopy category and defines a category of homotopy T-algebras. In this setting there is a forgetful functor from the homotopy category of T-algebras to the category of homotopy T-algebras.     

Gamma homology,Lie representations and <Emphasis Type="Italic">E</Emphasis><Subscript>∞</Subscript> multiplications

We prove that the stable homotopy of any Γ-module F is the homology of a bicomplex Ξ(F), in which the (q−1)st row is the two-sided bar construction ℬ(Lie^* _q ,Σ _q ,F[q]). This gives a natural homotopical cotangent bicomplex for graded commutative algebras, in a form suitable for use in a new obstruction theory for classifying E _∞ ring structures on spectra. The E _∞ structure on certain Lubin-Tate spectra is a corollary. Oblatum 15-X-2001 & 14-X-2002?Published online: 24 February 2003     

The isometric extension of the into mapping from the unit sphere S 1( E ) to S 1( l ∞(Γ))

This paper considers the isometric extension problem concerning the mapping from the unit sphere S ₁(E) of the normed space E into the unit sphere S ₁(l ^∞(Γ)). We find a condition under which an isometry from S ₁(E) into S ₁(l ^∞(Γ)) can be linearly and isometrically extended to the whole space. Since l ^∞(Γ) is universal with respect to isometry for normed spaces, isometric extension problems on a class of normed spaces are solved. More precisely, if E and F are two normed spaces, and if V ₀: S ₁(E) → S ₁(F) is a surjective isometry, where c ₀₀(Γ) ⊆ F ⊆ l ^∞(Γ), then V ₀ can be extended to be an isometric operator defined on the whole space. This work is supported by Natural Science Foundation of Guangdong Province, China (Grant No. 7300614)     

The stable mapping class group and Q(ℂP∞+)

In [T2] it was shown that the classifying space of the stable mapping class groups after plus construction ℤ×BΓ⁺ _∞ has an infinite loop space structure. This result and the tools developed in [BM] to analyse transfer maps, are used here to show the following splitting theorem. Let Σ^∞(ℂP ^∞ ₊)^∧ _p ≃E ₀∨...∨E _p-2 be the “Adams-splitting” of the p-completed suspension spectrum of ℂP ^∞ ₊. Then for some infinite loop space W _p ,?(ℤ×BΓ⁺ _∞)^∧ _p ≃Ω^∞(E ₀)×...×Ω^∞(E _p-3 )×W _p ?where Ω^∞ E _i denotes the infinite loop space associated to the spectrum E _i . The homology of Ω^∞ E _i is known, and as a corollary one obtains large families of torsion classes in the homology of the stable mapping class group. This splitting also detects all the Miller-Morita-Mumford classes. Our results suggest a homotopy theoretic refinement of the Mumford conjecture. The above p-adic splitting uses a certain infinite loop map?α_∞:ℤ×BΓ⁺ _∞?Ω^∞ℂP ^∞ _-1?that induces an isomorphims in rational cohomology precisely if the Mumford conjecture is true. We suggest that α_∞ might be a homotopy equivalence. Oblatum 2-VIII-1999 & 28-III-2001?Published online: 18 June 2001     

Imbedding of power series spaces and spaces of analytic functions

The diametral dimension of a nuclear Fréchet spaceE, which satisfies (DN) and (Ω), is related to power series spaces Λ₁(ε) and Λ_∞(ε) for some exponent sequence ε. It is proved thatE contains a complemented copy of Λ_∞(ε) provided the diametral dimensions ofE and Λ_∞(ε) are equal and ε is stable. Assuming Λ₁(ε) is nuclear, any subspace of Λ₁(ε) which satisfies (DN), can be imbedded intoE. Applications of these results to spaces of analytic functions are given. Support of Turkish Scientific and Technical Research Council is gratefully acknowledged.     

Functorial polar functions

W _∞ denotes the category of archimedean ℓ-groups with designated weak unit and complete ℓ-homomorphisms that preserve the weak unit. CmpT _2,∞ denotes the category of compact Hausdorff spaces with continuous skeletal maps. This work introduces the concept of a functorial polar function on W _∞ and its dual a functorial covering function on CmpT _2,∞.     

Structure of spaces ofC ∞-functions on nuclear spaces

LetE be a real nuclear locally convex space; we prove that the space ℰ_ub(E), of allC ^∞-functions of uniform bounded type onE, coincides with the inductive limit of the spaces ℰ_Nbc(E _v) (introduced by Nachbin-Dineen), whenV ranges over a basis of convex balanced 0-neighbourhoods inE. LetE be a real nuclear bornological vector space; we prove that the space ℰ(E) of allC ^∞-functions onE coincides with the projective limit of the spaces ℰ_Nbc(E _B), whenB is a closed convex balanced bounded subset ofE. As a consequence we obtain some density results and a version of the Paley-Wiener-Schwartz theorem. Research done during the stay of this author at the University of Bordeaux (France) in the academic year 1980–1981.     

Homotopy algebras and the inverse of the normalization functor

In this paper, we investigate multiplicative properties of the classical Dold-Kan correspondence. The inverse of the normalization functor maps commutative differential graded algebras to E_∞-algebras. We prove that it in fact sends algebras over arbitrary differential graded E_∞-operads to E_∞-algebras in simplicial modules and is part of a Quillen adjunction. More generally, this inverse maps homotopy algebras to weak homotopy algebras. We prove the corresponding dual results for algebras under the conormalization, and for coalgebra structures under the normalization resp. the inverse of the conormalization.     

D∞-differential E∞-algebras and spectral sequences of D∞-differential modules

In the present paper, we introduce the concept of a filtered E _∞-algebra, construct spectral sequences for such algebras, and apply them to multiplicative cohomological spectral sequences of bundles. The existence of the structure of D _∞-differential A _∞-algebras in cohomological spectral sequences of bundles over fields is proved and the initial multiplicative component of this structure at the second term of the spectral sequence is calculated. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 105–125, 2007.     

Maurer–Cartan moduli and models for function spaces

We set up a formalism of Maurer–Cartan moduli sets for _L∞$L_{\infty }$ 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.     

Deformation theory of objects in homotopy and derived categories I: General theory

This is the first paper in a series. We develop a general deformation theory of objects in homotopy and derived categories of DG categories. Namely, for a DG module E over a DG category we define four deformation functors Defh(E), coDefh(E), Def(E), coDef(E). The first two functors describe the deformations (and co-deformations) of E in the homotopy category, and the last two - in the derived category. We study their properties and relations. These functors are defined on the category of artinian (not necessarily commutative) DG algebras.     

On mackey convergence in locally convex spaces

After some introductory propositions, we give a dual characterization of those locally convex spaces which satisfy the Mackey convergence condition or the fast convergence condition by means of Schwartz topologies. Making use of the universal Schwartz space (l _∞ ,τ(l _∞ ,l ₁)) we prove some representation theorems for bornological and ultrabornological spaces, that is, every bornological spaceE is a dense subspace of an inductive limit lim indE _a, a∈A, ofseparable Banach spacesE _a, and every Mackey null sequence inE is a null sequence in someE _a. IfE is ultrabornological, thenE can be represented as lim indE _a,a∈A, allE _a separable Banach spaces, such that every fast null sequence inE is a null sequence in someE _a.     

Applications of perturbation theory to iterated fibrations

For a class of spaces including simply connected spaces and classifying spaces of nilpotent groups, relatively small differential graded algebras are constructed over commutative rings with 1 which are chain homotopy equivalent to the singular cochain algebra. An application to finitely generated torsion-free nilpotent groups over the integers is given.     

Piecewise-Koszul algebras

It is a small step toward the Koszul-type algebras.The piecewise-Koszul algebras are, in general,a new class of quadratic algebras but not the classical Koszul ones,simultaneously they agree with both the classical Koszul and higher Koszul algebras in special cases.We give a criteria theorem for a graded algebra A to be piecewise-Koszul in terms of its Yoneda-Ext algebra E(A),and show an A_∞-structure on E(A).Relations between Koszul algebras and piecewise-Koszul algebras are discussed.In particular,our results are related to the third question of Green-Marcos.     

A one-dimensional embedding complex

We give the first explicit computations of rational homotopy groups of spaces of “long knots” in Euclidean spaces. We define a spectral sequence which converges to these rational homotopy groups whose E¹ term is defined in terms of familiar Lie algebras. For odd k we establish a vanishing line for this spectral sequence, show the Euler characteristic of the rows of this E¹ term is zero, and make calculations of E² in a finite range.     

On the structure of a neighborhood of an isolated equilibrium of a local planar dynamical system admiting the first approximation

We show that if all parabolic sectors in the space Z _∞ are stable, then neighborhoods of the point under study in the phase planes of the spaces Z and Z _∞ have the same structure; i.e., the number and order of sectors coincide. (Parabolic sectors may degenerate into a single trajectory.) If there is no hyperbolic sector in the space Z _∞, then the spaces Z and Z _∞ are isomorphic. We present examples showing that all conditions in these assertions are essential.     

The algebra of generalized jacobifields

We study the structure of those vector fields on the tangent bundle of an arbitrary smooth manifold which commute with the geodesic vector field defined by an affine connection. The study is restricted to polylinear fields generated by a pair of symmetric pseudotensor fields of type (k, 1) and (k+1,1), k≥0, defined on the manifold. We establish an isomorphism between the space of infinitesimal automorphisms of fixed type and the space ℌ_k of the solutions of a partial differential equation generalizing the Jacobi equation for the infinitesimal automorphisms of the connection. It is shown that the spaces ℌ_k are finite-dimensional and form a graduated Lie algebra ℌ=⊕ _k=0 ^∞ ℌ_k. These algebras are classified in the case of one-dimensional manifolds. It is proved that if the geodesic vector field is complete, then so are the automorphisms corresponding to covariant constant fields of type (1, 1). Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 222–244. Translated by V. S. Kal’nitskii.