Results 1  10
of
13
Introduction to Ainfinity algebras and modules
, 1999
"... These are slightly expanded notes of four introductory talks on ..."
Abstract

Cited by 66 (4 self)
 Add to MetaCart
These are slightly expanded notes of four introductory talks on
Strong homotopy algebras of a Kähler manifold
 math.AG/9809172, Int. Math. Res. Notices
, 1999
"... It is shown that any compact Kähler manifold M gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the Dolbeault complex. In these algebras the product of two harmonic differ ..."
Abstract

Cited by 59 (6 self)
 Add to MetaCart
It is shown that any compact Kähler manifold M gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the Dolbeault complex. In these algebras the product of two harmonic differential forms is again harmonic. If M happens to be a CalabiYau manifold, there exists a third strongly homotopy algebra closely related to the BarannikovKontsevich extended moduli space of complex structures. 1
Differential invariants and curved BernsteinGelfandGelfand sequences
 Jour. Reine Angew. Math
"... Abstract. We give a simple construction of the BernsteinGelfandGelfand sequences of natural differential operators on a manifold equipped with a parabolic geometry. This method permits us to define the additional structure of a bilinear differential “cup product ” on this sequence, satisfying a Le ..."
Abstract

Cited by 45 (2 self)
 Add to MetaCart
Abstract. We give a simple construction of the BernsteinGelfandGelfand sequences of natural differential operators on a manifold equipped with a parabolic geometry. This method permits us to define the additional structure of a bilinear differential “cup product ” on this sequence, satisfying a Leibniz rule up to curvature terms. It is not associative, but is part of an A∞algebra of multilinear differential operators, which we also obtain explicitly. We illustrate the construction in the case of conformal differential geometry, where the cup product provides a widereaching generalization of helicity raising and lowering for conformally invariant field equations.
Ainfinity structure on Extalgebras
, 2006
"... Abstract. Let A be a connected graded algebra and let E denote its Extalgebra i Exti A (kA, kA). There is a natural A∞structure on E, and we prove that this structure is mainly determined by the relations of A. In particular, the coefficients of the A∞products mn restricted to the tensor powers of ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
Abstract. Let A be a connected graded algebra and let E denote its Extalgebra i Exti A (kA, kA). There is a natural A∞structure on E, and we prove that this structure is mainly determined by the relations of A. In particular, the coefficients of the A∞products mn restricted to the tensor powers of Ext1 A (kA, kA) give the coefficients of the relations of A. We also relate the mn’s to Massey products.
AInfinity Algebras in Representation Theory
, 2001
"... We give a brief introduction to A1algebras and show three contexts in which they appear in representation theory: the study of Yoneda algebras and Koszulity, the description of categories of ltered modules and the description of triangulated categories. Contents 1. Denitions, the bar construction, ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
We give a brief introduction to A1algebras and show three contexts in which they appear in representation theory: the study of Yoneda algebras and Koszulity, the description of categories of ltered modules and the description of triangulated categories. Contents 1. Denitions, the bar construction, the minimality theorem 1 2. Yoneda algebras, Koszulity and ltered modules 5 3. Description of triangulated categories 8 References 10 1. Definitions, the bar construction, the minimality theorem 1.1. Ainnity algebras and morphisms. We refer to [11] for a list of references and a topological motivation for the following denition: Let k be a eld. An A1  algebra over k is a Zgraded vector space A = M p2Z A p endowed with graded maps (=homogeneous klinear maps) mn : A
DIFFERENTIAL EQUATIONS, SPENCER COHOMOLOGY, AND COMPUTING RESOLUTIONS
 GEORGIAN MATH. J., VOL. 9, NO. 4, 2002, 723772
, 2002
"... We propose a new point of view of the Spencer cohomology appearing in the formal theory of differential equations based on a dual approach via comodules. It allows us to relate the Spencer cohomology with standard constructions in homological algebra and, in particular, to express it as a Cotor. We ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We propose a new point of view of the Spencer cohomology appearing in the formal theory of differential equations based on a dual approach via comodules. It allows us to relate the Spencer cohomology with standard constructions in homological algebra and, in particular, to express it as a Cotor. We discuss concrete methods for its construction based on homological perturbation theory.
Computing Resolutions over Finite pGroups
, 2000
"... . A uniform and constructive approach for the computation of resolutions and for (co)homology computations for any nite pgroup is detailed. The resolutions we construct ([32]) are, as vector spaces, as small as the minimal resolution of IFp over the elementary abelian pgroup of the same order as t ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
. A uniform and constructive approach for the computation of resolutions and for (co)homology computations for any nite pgroup is detailed. The resolutions we construct ([32]) are, as vector spaces, as small as the minimal resolution of IFp over the elementary abelian pgroup of the same order as the group under study. Our implementations are based on the development of sophisticated algebraic data structures. Applications to calculating functional cocycles are given and the possibility of constructing interesting codes using such methods is presented. 1 Introduction In this paper, we present a uniform constructive approach to calculating relatively small resolutions over nite pgroups. The algorithm we use comes from [32, 8.1.8 and the penultimate paragraph of 9.4]. There has been a massive amount of work done on the structure of pgroups since the beginning of group theory. A good introduction is [22]. We combine mathematical and computer methods to construct the uniform resolut...
Homological Computations for pGroups
"... A uniform and constructive approach for the computation of resolutions and for (co)homology computations for any nite pgroup is detailed. The resolutions we construct ([29]) are, as vector spaces, as small as the minimal resolution of IFp over the elementary abelian pgroup of the same order as the ..."
Abstract
 Add to MetaCart
A uniform and constructive approach for the computation of resolutions and for (co)homology computations for any nite pgroup is detailed. The resolutions we construct ([29]) are, as vector spaces, as small as the minimal resolution of IFp over the elementary abelian pgroup of the same order as the group under study. Our implementations are based on the development of sophisticated algebraic data structures. Applications to calculating functional cocycles are given and the possibility of constructing interesting codes using such methods is presented. 1
von M.Sc. Mikael VejdemoJohansson
, 1980
"... Computation of A ∞ algebras in group cohomology Dissertation zur Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.) ..."
Abstract
 Add to MetaCart
Computation of A ∞ algebras in group cohomology Dissertation zur Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.)
BLACKBOX COMPUTATION OF A∞ALGEBRAS
, 807
"... Abstract. Kadeishvili’s proof of the minimality theorem (Kadeishvili, T.; On the homology theory of fiber spaces, Russian Math. Surveys 35 (3) 1980) induces an algorithm for the inductive computation of an A∞algebra structure on the homology of a dgalgebra. In this paper, we prove that for one cla ..."
Abstract
 Add to MetaCart
Abstract. Kadeishvili’s proof of the minimality theorem (Kadeishvili, T.; On the homology theory of fiber spaces, Russian Math. Surveys 35 (3) 1980) induces an algorithm for the inductive computation of an A∞algebra structure on the homology of a dgalgebra. In this paper, we prove that for one class of dgalgebras, the resulting computation will generate a complete A∞algebra structure after a finite amount of computational work. Ainfinity, strong homotopy associativity, inductive computation 17A42; 1704 1.