Showing 1–10 of 10 results for author: Kadeishvili, T

Ainfinity-algebra Structure in Cohomology and its Applications

Authors: Tornike Kadeishvili

Abstract: In these lectures we present our minimality theorem by which in cohomology of a topological space appear multioperations which turn it ot Stasheff $A(\infty)$ algebra. This rich structure carries more information than just the structure of cohomology algebra, particularly it allows to define cohomologies of the loop space. We present also the notion of $C(\infty)$ algebra and the commutatitive ver… ▽ More In these lectures we present our minimality theorem by which in cohomology of a topological space appear multioperations which turn it ot Stasheff $A(\infty)$ algebra. This rich structure carries more information than just the structure of cohomology algebra, particularly it allows to define cohomologies of the loop space. We present also the notion of $C(\infty)$ algebra and the commutatitive version of the minimality theorem by which in rational cohomology algebra appear multioperations which form a $C(\infty)$ algebra structure which completely determines the rational homotopy type. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: 65 pages. arXiv admin note: text overlap with arXiv:0811.1655

Cohomology $C_{\infty}$-algebra and Rational Homotopy Type

Authors: Tornike Kadeishvili

Abstract: In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type △ Less

Submitted 11 November, 2008; originally announced November 2008.

Twisting Elements in Homotopy G-algebras

Authors: Tornike Kadeishvili

Abstract: We study the notion of twisting elements $da=a\cup_1a$ with respect to $\cup_1$ product when it is a part of homotopy Gerstenhaber algebra structure. This allows to bring to one context the two classical concepts, the theory of deformation of algebras of M. Gerstenhaber, and $A(\infty)$-algebras of J. Stasheff. We study the notion of twisting elements $da=a\cup_1a$ with respect to $\cup_1$ product when it is a part of homotopy Gerstenhaber algebra structure. This allows to bring to one context the two classical concepts, the theory of deformation of algebras of M. Gerstenhaber, and $A(\infty)$-algebras of J. Stasheff. △ Less

Submitted 19 September, 2007; originally announced September 2007.

Comments: 24 pages

On the Differentials of the Spectral Sequence of a Fibre Bundle

Authors: T. Kadeishvili

Abstract: Let $ξ=(X,p,B,G)$ be a principal $G$-bundle, $F$ be a $G$ space and $η=(E,p,B,F)$ be the associated bundle with the fiber $F$. Generally $ξ$ and the action $H_*(G)\otimes H_*(F)\to H_*(F)$ of the Pontriagin ring $H_*(G)$ on $H_*(F)$ do not define homologies of $E$. In this paper we define a two sequences of operations $\{f^i:H_*(G)^{\otimes i}\to H_*(G), i=3,4,...\}$, which we call Hochschild tw… ▽ More Let $ξ=(X,p,B,G)$ be a principal $G$-bundle, $F$ be a $G$ space and $η=(E,p,B,F)$ be the associated bundle with the fiber $F$. Generally $ξ$ and the action $H_*(G)\otimes H_*(F)\to H_*(F)$ of the Pontriagin ring $H_*(G)$ on $H_*(F)$ do not define homologies of $E$. In this paper we define a two sequences of operations $\{f^i:H_*(G)^{\otimes i}\to H_*(G), i=3,4,...\}$, which we call Hochschild twisting cochain (with respect to Gerstenhaber product), and which in fact form on $H_*(G)$ an $A(\infty$-algebra structure), and $\{\bar{f}^i:H_*(G)^{\otimes (i-1)}\otimes H*(F)\to H_*(F), i=3,4,...\}$ (which in fact form on $H_*(F)$ an $A(\infty)$-module structure over the $A(\infty)$-algebra $(H_*(G),\{f^i\})$) and show that $ξ$ and these higher structures define $H_*(E)$. △ Less

Submitted 27 September, 2006; originally announced September 2006.

Comments: This is the English version of the paper published originally in Russian where an A(infty) algebra structure in homology first show up in terms of Hochshild twisting cochains with respect to Gerstenhaber product

MSC Class: 55S30; 55R20; 55U15

Journal ref: Bulletin of the Academy of Sciences of the Georgian SSR, 82 N 2, 1976, 285-288

On the homology theory of fibre spaces

Authors: Tornike Kadeishvili

Abstract: The $A(\inft)$-algebra structure in homology of a DG-algebra is constructed. This structure is unique up to isomorphism of $A(\infty)$ algebras. Connection of this structure with Massey products is indicated. The notion of $A(\infty)$-module over an $A(\infty)$-algebra is introduced and such a structure is constructed in homology of a DG-modules over a DG-algebra. The theory of twisted tensor pr… ▽ More The $A(\inft)$-algebra structure in homology of a DG-algebra is constructed. This structure is unique up to isomorphism of $A(\infty)$ algebras. Connection of this structure with Massey products is indicated. The notion of $A(\infty)$-module over an $A(\infty)$-algebra is introduced and such a structure is constructed in homology of a DG-modules over a DG-algebra. The theory of twisted tensor products is generalized from the case of DG-algebras to the case of $A(\infty)$-algebras. These algebraic results are used to describe homology of classifying spaces, cohomology of loop spaces, and homology of fibre bundles. △ Less

Submitted 21 April, 2005; originally announced April 2005.

Comments: 8 pages. This is the English version of the paper published originally in Russian

MSC Class: 55S30; 55R20; 55U15

Journal ref: Uspekhi Mat. Nauk 35:3 (1980), 183-188

On the cobar construction of a bialgebra

Authors: Tornike Kadeishvili

Abstract: We show that the cobar construction of a DG-bialgebra is a homotopy G-algebra. This implies that the bar construction of this cobar is a DG-bialgebra as well. We show that the cobar construction of a DG-bialgebra is a homotopy G-algebra. This implies that the bar construction of this cobar is a DG-bialgebra as well. △ Less

Submitted 24 June, 2004; originally announced June 2004.

Comments: 11 pages

MSC Class: 55P48

Structure of $A(\infty)$-algebra and Hochschild and Harrison cohomology

Authors: Tornike Kadeishvili

Abstract: Stasheff's $A(\infty)$-algebra $(M,\{m_i:\otimes^iM\to M, i=1,2,3,...\})$ in fact is a DG-algebra $(M,m_1,m_2)$ with not necessarily associative product $m_2$ but this nonassociativity is measured by higher homotopies $m_{i>2}$. Nevertheless such structure arises in the strictly associative situation too, namely in the homology algebra $H(C)$ of a DG-algebra $C$ with free $H_i(C)$-s, particularl… ▽ More Stasheff's $A(\infty)$-algebra $(M,\{m_i:\otimes^iM\to M, i=1,2,3,...\})$ in fact is a DG-algebra $(M,m_1,m_2)$ with not necessarily associative product $m_2$ but this nonassociativity is measured by higher homotopies $m_{i>2}$. Nevertheless such structure arises in the strictly associative situation too, namely in the homology algebra $H(C)$ of a DG-algebra $C$ with free $H_i(C)$-s, particularly in the cohomology algebra $H^*(X,Λ)$ of a topological space $X$. It is clear that the $A(\infty)$-algebra $(H^*(X,Λ),\{m_i\})$ carries more information than the cohomology algebra $H^*(B,Λ)$. Naturally arises a question when this structure is degenerate, that is when an $A(\infty)$-algebra $(M, \{m_i\})$ is isomorphic to one with higher operations $m_i, i\geq 3$ trivial? In this paper we introduce the obstructions for such degeneracy. Namely, operations $\{m_i\}$ we interpret as Hochschild twisting cochain $m=m_3+m_4+..., m_i\in C^n(M,M)$ satisfying $δm=m\smile_1m$ where $\smile_1$ is Gerstenhabers product in $C^*(M,M)$. Using the generalized product $f\smile_1(g_1,...,g_k)$ we define perturbations of Hochschild twisting cochains (i.e. of $A(\infty)$ structures) and in particular prove that if for a graded algebra $(M,μ)$ all Hochschild cohomologies $Hoch^{n,2-n}(M,M)=0$ for $n\geq3$ then any $A(\infty)$-algebra structure $\{m_i\}$ on $M$ with $m_1=0, m_2=μ$, is degenerate. △ Less

Submitted 21 October, 2002; originally announced October 2002.

MSC Class: 55S30; 55S35; 16E40

Journal ref: Proc. of A. Razmadze Math. Inst., 91 (1988), 20-27

The twisted Cartesian model for the double path fibration

Authors: Tornike Kadeishvili, Samson Saneblidze

Abstract: In the paper the notion of truncating twisting function from a cubical set to a permutahedral set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a permutocubical set that models in particular the path fibration on a loop space. The chain complex of this twisted Cartesian product in fact is a comultiplicative twisted tensor product of cu… ▽ More In the paper the notion of truncating twisting function from a cubical set to a permutahedral set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a permutocubical set that models in particular the path fibration on a loop space. The chain complex of this twisted Cartesian product in fact is a comultiplicative twisted tensor product of cubical chains of base and permutahedral chains of fibre. This construction is formalized as a theory of twisted tensor products for Hirsch algebras. △ Less

Submitted 1 October, 2004; v1 submitted 15 October, 2002; originally announced October 2002.

Comments: 37 pages, 8 figures, This final version (10-01-04) clarifies a number of issues in earlier version and includes computational examples

MSC Class: 55R05; 55P35; 55U05; 52B05; 05A18; 05A19

A cubical model for a fibration

Authors: Tornike Kadeishvili, Samson Saneblidze

Abstract: In the paper the notion of truncating twisting function $τ:X\to Q$ from a simplicial set $X$ to a cubical set $Q$ and the corresponding notion of twisted Cartesian product of these sets $X\times_τQ$ are introduced. The latter becomes a cubical set whose chain complex coincides with the standard twisted tensor product $C_*(X)\otimes_{τ_*}C_*(Q)$. This construction together with the theory of twis… ▽ More In the paper the notion of truncating twisting function $τ:X\to Q$ from a simplicial set $X$ to a cubical set $Q$ and the corresponding notion of twisted Cartesian product of these sets $X\times_τQ$ are introduced. The latter becomes a cubical set whose chain complex coincides with the standard twisted tensor product $C_*(X)\otimes_{τ_*}C_*(Q)$. This construction together with the theory of twisted tensor products for homotopy G-algebras allows to obtain multiplicative models for fibrations. △ Less

Submitted 21 September, 2004; v1 submitted 1 October, 2002; originally announced October 2002.

Comments: 15 pages, 1 figure

MSC Class: 55R05; 55P35; 55U05; 52B05; 05A18; 05A19

Cochain operations defining Steenrod $\cup_i$-products in the bar construction

Authors: T. Kadeishvili

Abstract: The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar construction. The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar construction. △ Less

Submitted 1 July, 2002; originally announced July 2002.

MSC Class: 55P48; 57T30 (Primary); 55S10 (Secondary)