Comments for The Infinite Seminar http://infinity.blogseminar.net Blogging ... up to homotopy. Wed, 19 Nov 2008 15:10:02 +0000 http://wordpress.org/?v=2.5 Comment on Associahedral diagonals by Andy Tonks http://infinity.blogseminar.net/2007/11/09/associahedral-diagonals/#comment-227 Andy Tonks Wed, 23 Jul 2008 17:39:58 +0000 http://infinity.blogseminar.net/2007/11/09/associahedral-diagonals/#comment-227 I have some <a href="http://immagalvez.org/diagonal-talk.html" rel="nofollow">talks </a> on Stasheff associahedron and permutohedron diagonals if you are interested, dating back to at least 2002. I have some talks on Stasheff associahedron and permutohedron diagonals if you are interested, dating back to at least 2002.

]]> Comment on Blackbox computation of A-infinity structures by Mikael Vejdemo Johansson http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-214 Mikael Vejdemo Johansson Thu, 27 Mar 2008 17:35:27 +0000 http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-214 $H^{*}(C_{5},Z/5)$ would indeed have arity up to 5, but it is a much more subtle interplay than just group order. For instance, my and Ainhoas results show that $H^{*}(C_{n}\times C_{n},Z/p)$ has unbounded structures with respect to the arity. So group order is far from the only factor in determining these structures. H *(C 5 ,Z/5 ) would indeed have arity up to 5, but it is a much more subtle interplay than just group order. For instance, my and Ainhoas results show that H *(C n×C n,Z/p) has unbounded structures with respect to the arity. So group order is far from the only factor in determining these structures.

]]> Comment on Blackbox computation of A-infinity structures by Jim Stasheff http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-213 Jim Stasheff Thu, 27 Mar 2008 16:00:10 +0000 http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-213 Mikael wrote: This example shows us that the only higher products and quasi-isomorphism components that do not vanish in H *(C 3,Z/3) have arity 2 and 3. Is it that arity greater than 3 is prohibited by the order of the group? e.g. would H *(C 5,Z/5) have arity up to 5? Mikael wrote:

This example shows us that the only higher products and quasi-isomorphism components that do not vanish in H *(C 3,Z/3) have arity 2 and 3.

Is it that arity greater than 3 is prohibited
by the order of the group?
e.g. would H *(C 5,Z/5) have arity up to 5?

]]> Comment on Blackbox computation of A-infinity structures by Mikael Vejdemo Johansson http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-196 Mikael Vejdemo Johansson Sat, 09 Feb 2008 11:50:22 +0000 http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-196 Actually, it occurred to me. When computing Ext(k,k) over a group ring, we have the obvious way to construct, step by step, a minimal resolution. From the minimal resolution, we can deduce generators and relations. And we know when we have it all, as it were, by virtue of the Carlson/Benson stopping criteria. For monomial rings, I know that there are good methods to get hold of the Poincare-Betti series given a presentation of the ring. And certainly, with an initial portion of a minimal resolution computed, it is easy to start constructing a finite presentation. However, I haven't heard of anything resembling these stopping criteria. John: are you able to sit down with a ring presentation (local, monomial, Adams graded - throw any nicety properties you want at it ;) and work out a finite presentation of Ext(k,k) as a k-algebra from it? Or is the obsession with Poincare-Betti series I remember rooted in ring structures being too difficult to get hold of? Actually, it occurred to me. When computing Ext(k,k) over a group ring, we have the obvious way to construct, step by step, a minimal resolution. From the minimal resolution, we can deduce generators and relations. And we know when we have it all, as it were, by virtue of the Carlson/Benson stopping criteria.

For monomial rings, I know that there are good methods to get hold of the Poincare-Betti series given a presentation of the ring. And certainly, with an initial portion of a minimal resolution computed, it is easy to start constructing a finite presentation. However, I haven’t heard of anything resembling these stopping criteria.

John: are you able to sit down with a ring presentation (local, monomial, Adams graded - throw any nicety properties you want at it ;) and work out a finite presentation of Ext(k,k) as a k-algebra from it? Or is the obsession with Poincare-Betti series I remember rooted in ring structures being too difficult to get hold of?

]]> Comment on Blackbox computation of A-infinity structures by Mikael Vejdemo Johansson http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-195 Mikael Vejdemo Johansson Sat, 09 Feb 2008 00:08:14 +0000 http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-195 I'm using the Magma modules built by Jon F. Carlson for computing the cohomology data. Of course, once the homological algebra handling in Magma gets expanded to handle non-group-algebra rings, there's nothing that prevents my code from working with those - however, the homological algebra code currently in there is built for the express purpose of computing group cohomology rings, and functions such as computing projective resolution and computing cohomology ring generators and relations only work if the BasicAlgebra (the data type for path algebra quotients) is a group ring. I’m using the Magma modules built by Jon F. Carlson for computing the cohomology data. Of course, once the homological algebra handling in Magma gets expanded to handle non-group-algebra rings, there’s nothing that prevents my code from working with those - however, the homological algebra code currently in there is built for the express purpose of computing group cohomology rings, and functions such as computing projective resolution and computing cohomology ring generators and relations only work if the BasicAlgebra (the data type for path algebra quotients) is a group ring.

]]> Comment on Blackbox computation of A-infinity structures by John Palmieri http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-194 John Palmieri Fri, 08 Feb 2008 19:38:11 +0000 http://infinity.blogseminar.net/2008/02/06/blackbox-computation-of-a-infinity-structures/#comment-194 Looks fun. I suppose it requires a group as input. Would it be conceivable to put in other sorts of augmented algebras instead, to find A-infinity structures on their Ext algebras? (I've never used Magma, so I don't know how much you're using already existing Ext calculations, versus writing your own.) Looks fun. I suppose it requires a group as input. Would it be conceivable to put in other sorts of augmented algebras instead, to find A-infinity structures on their Ext algebras?

(I’ve never used Magma, so I don’t know how much you’re using already existing Ext calculations, versus writing your own.)

]]> Comment on Last week on the arXiv by jim stasheff http://infinity.blogseminar.net/2007/07/30/last-week-on-the-arxiv/#comment-158 jim stasheff Wed, 14 Nov 2007 14:48:12 +0000 http://infinity.blogseminar.net/2007/07/30/last-week-on-the-arxiv/#comment-158 It would be good to have Last week on the arXiv as a regular feature except identified as e.g. Week of Nov 12-18 on the arXiv It would be good to have
Last week on the arXiv
as a regular feature
except identified as e.g.
Week of Nov 12-18 on the arXiv

]]> Comment on Overview of the computation of A-infinity structures by jim stasheff http://infinity.blogseminar.net/2007/08/29/overview-of-the-computation-of-a-infinity-structures/#comment-133 jim stasheff Mon, 01 Oct 2007 01:26:09 +0000 http://infinity.blogseminar.net/2007/08/29/overview-of-the-computation-of-a-infinity-structures/#comment-133 Apologies ! You may have been looking at me but RSS wasn't alerting me. will try to set it up * again* Apologies
! You may have been looking at me
but RSS wasn’t alerting me.

will try to set it up * again*

]]> Comment on Computational projects by jim stasheff http://infinity.blogseminar.net/2007/09/27/computational-projects/#comment-132 jim stasheff Mon, 01 Oct 2007 01:24:46 +0000 http://infinity.blogseminar.net/2007/09/27/computational-projects/#comment-132 All I saw was some raw data ABOUT the file? was it suposed to be a link? All I saw was some raw data ABOUT the file?
was it suposed to be a link?

]]> Comment on A infinity at the Secret Blogging Seminar by A.J. Tolland http://infinity.blogseminar.net/2007/09/21/a-infinity-at-the-secret-blogging-seminar/#comment-89 A.J. Tolland Fri, 21 Sep 2007 01:27:56 +0000 http://infinity.blogseminar.net/2007/09/21/a-infinity-at-the-secret-blogging-seminar/#comment-89 In the interests of precision: The notes are mine, and the seminar was given by Kevin Costello. Peter Teichner is the seminar organizer. In the interests of precision:

The notes are mine, and the seminar was given by Kevin Costello. Peter Teichner is the seminar organizer.

]]>