Homotopy theory | Homological algebra | Algebraic geometry | Algebra | Homotopical algebra

Homotopy associative algebra

In mathematics, an algebra such as has multiplication whose associativity is well-defined on the nose. This means for any real numbers we have . But, there are algebras which are not necessarily associative, meaning if then in general. There is a notion of algebras, called -algebras, which still have a property on the multiplication which still acts like the first relation, meaning associativity holds, but only holds up to a homotopy, which is a way to say after an operation "compressing" the information in the algebra, the multiplication is associative. This means although we get something which looks like the second equation, the one of inequality, we actually get equality after "compressing" the information in the algebra. The study of -algebras is a subset of homotopical algebra, where there is a homotopical notion of associative algebras through a differential graded algebra with a multiplication operation and a series of higher homotopies giving the failure for the multiplication to be associative. Loosely, an -algebra is a -graded vector space over a field with a series of operations on the -th tensor powers of . The corresponds to a chain complex differential, is the multiplication map, and the higher are a measure of the failure of associativity of the . When looking at the underlying cohomology algebra , the map should be an associative map. Then, these higher maps should be interpreted as higher homotopies, where is the failure of to be associative, is the failure for to be higher associative, and so forth. Their structure was originally discovered by Jim Stasheff while studying A∞-spaces, but this was interpreted as a purely algebraic structure later on. These are spaces equipped with maps that are associative only up to homotopy, and the A∞ structure keeps track of these homotopies, homotopies of homotopies, and so forth. They are ubiquitous in homological mirror symmetry because of their necessity in defining the structure of the Fukaya category of D-branes on a Calabi–Yau manifold who have only a homotopy associative structure. (Wikipedia).

Video thumbnail

Homomorphisms in abstract algebra

In this video we add some more definition to our toolbox before we go any further in our study into group theory and abstract algebra. The definition at hand is the homomorphism. A homomorphism is a function that maps the elements for one group to another whilst maintaining their structu

From playlist Abstract algebra

Video thumbnail

Homotopy

Homotopy elements in the homotopy group π₂(S²) ≅ ℤ. Roman Gassmann and Tabea Méndez suggested some improvements to my original ideas.

From playlist Algebraic Topology

Video thumbnail

Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS

The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t

From playlist Introduction to Homotopy Theory

Video thumbnail

Group Homomorphisms - Abstract Algebra

A group homomorphism is a function between two groups that identifies similarities between them. This essential tool in abstract algebra lets you find two groups which are identical (but may not appear to be), only similar, or completely different from one another. Homomorphisms will be

From playlist Abstract Algebra

Video thumbnail

Homotopy Group - (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine

(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math April 11, 2013 In this general survey talk, we will describe an approach to doing homotopy theory within Univalent Foundations. Whereas classical homotopy theory may be des

From playlist Mathematics

Video thumbnail

Homomorphisms in abstract algebra examples

Yesterday we took a look at the definition of a homomorphism. In today's lecture I want to show you a couple of example of homomorphisms. One example gives us a group, but I take the time to prove that it is a group just to remind ourselves of the properties of a group. In this video th

From playlist Abstract algebra

Video thumbnail

Lie Groups and Lie Algebras: Lesson 34 -Introduction to Homotopy

Lie Groups and Lie Algebras: Introduction to Homotopy In order to proceed with Gilmore's study of Lie groups and Lie algebras we now need a concept from algebraic topology. That concept is the notion of homotopy and the Fundamental Group of a topological space. In this lecture we provide

From playlist Lie Groups and Lie Algebras

Video thumbnail

Lie Algebras and Homotopy Theory - Jacob Lurie

Members' Seminar Topic: Lie Algebras and Homotopy Theory Speaker: Jacob Lurie Affiliation: Professor, School of Mathematics Date: November 11, 2019 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Lecture 11: Negative Topological cyclic homology

Correction: In the definition of stable ∞-categories at the very beginning, we forgot the condition that C has a zero object, i.e. the initial and terminal objects agree via the canonical morphism between them. Sorry for the confusion! In this video we define negative topological cyclic h

From playlist Topological Cyclic Homology

Video thumbnail

James Stasheff (8/31/22): Homotopy coherence - theme and variations

This survey will be semi-historical and idiosyncratic with the topics covered determined by the knowledge and taste of the authors, but we hope it will provide some links that may not be common knowledge between the various aspects of the theory of homotopy coherence and, in particular, to

From playlist AATRN 2022

Video thumbnail

Computing homology groups | Algebraic Topology | NJ Wildberger

The definition of the homology groups H_n(X) of a space X, say a simplicial complex, is quite abstract: we consider the complex of abelian groups generated by vertices, edges, 2-dim faces etc, then define boundary maps between them, then take the quotient of kernels mod boundaries at each

From playlist Algebraic Topology

Video thumbnail

Winter School JTP: Introduction to A-infinity structures, Bernhard Keller, Lecture 1

In this minicourse, we will present basic results on A-infinity algebras, their modules and their derived categories. We will start with two motivating problems from representation theory. Then we will briefly present the topological origin of A-infinity structures. We will then define and

From playlist Winter School on “Connections between representation Winter School on “Connections between representation theory and geometry"

Video thumbnail

Homotopy animation

An interesting homotopy (in fact, an ambient isotopy) of two surfaces.

From playlist Algebraic Topology

Video thumbnail

Yonatan Harpaz - New perspectives in hermitian K-theory I

For questions and discussions of the lecture please go to our discussion forum: https://www.uni-muenster.de/TopologyQA/index.php?qa=k%26l-conference This lecture is part of the event "New perspectives on K- and L-theory", 21-25 September 2020, hosted by Mathematics Münster: https://go.wwu

From playlist New perspectives on K- and L-theory

Video thumbnail

Christoph Winges: Automorphisms of manifolds and the Farrell Jones conjectures

The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Building on previous work of Bartels, Lück, Reich and others studying the algebraic K-theory and L-theory of discrete group rings, the validity of the Farrell-Jones Conjecture has be

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Duality In Higher Categories II by Pranav Pandit

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Georg Tamme: Differential algebraic K theory

The lecture was held within the framework of the Hausdorff Trimester Program: Non-commutative Geometry and its Applications and the Workshop: Number theory and non-commutative geometry 28.11.2014

From playlist HIM Lectures: Trimester Program "Non-commutative Geometry and its Applications"

Video thumbnail

Ulrich Pennig: "Fell bundles, Dixmier-Douady theory and higher twists"

Actions of Tensor Categories on C*-algebras 2021 "Fell bundles, Dixmier-Douady theory and higher twists" Ulrich Pennig - Cardiff University, School of Mathematics Abstract: Classical Dixmier-Douady theory gives a full classification of C*-algebra bundles with compact operators as fibres

From playlist Actions of Tensor Categories on C*-algebras 2021

Video thumbnail

Stable Homotopy Seminar, 1: Introduction and Motivation

We describe some features that the category of spectra is expected to have, and some ideas from topology it's expected to generalize. Along the way, we review the Freudenthal suspension theorem, and the definition of a generalized cohomology theory. ~~~~~~~~~~~~~~~~======================

From playlist Stable Homotopy Seminar

Video thumbnail

Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie

Short talks by postdoctoral members Topic: Homotopy type theory: working invariantly in homotopy theory Speaker: Guillaume Brunerie Affiliation: Member, School of Mathematics Date: September 26, 2017 For more videos, please visit http://video.ias.edu

From playlist Mathematics

Related pages

Associahedron | H-space | Homotopy | Associative algebra | Product rule | Yoneda product | Algebraic variety | Massey product | Homotopical algebra | Derived noncommutative algebraic geometry | A∞-operad | Chain complex | Regular sequence | Derived algebraic geometry | Homological mirror symmetry | Mirror symmetry conjecture | De Rham cohomology | Associative property | Singular homology | Fukaya category | Čech cohomology | Hochschild homology | Inequality (mathematics) | Koszul algebra | Calabi–Yau manifold | Homotopy Lie algebra