[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 92 KB, 488x720, 1465233931875.jpg [View same] [iqdb] [saucenao] [google]
8403989 No.8403989 [Reply] [Original]

A math PhD student in my insistute is organizing a reading group ablut operads (for homotopy theory - we read "the geometry of iterated loop spaces" by May)
I'm a physicist and feel I'm lacking in motivation for this abstraction - anybody here like operads and whats to tell me why?

https://en.m.wikipedia.org/wiki/Operad_theory

>> No.8403993

>physicist

>> No.8404677

anyone?

>> No.8404698
File: 154 KB, 850x848, 32457898.jpg [View same] [iqdb] [saucenao] [google]
8404698

The thing with stuff like this is that the machinery and abstraction may seem terrible, but when the preliminary work is done, they start spitting out results with minimal work. I haven't yet looked into operads enough to say anything about them, but the whole field of algebraic topology should be a good motivator for you.

You should look at it from a model making physicist's perspective. To get a functioning model that isn't too painful to use, one must remove unnecessary information. When modeling a car going on a road, not every single little crack in the asphalt can be taken into account. The use of such constructions in mathematics is similar. There is a lot of redundant stuff shrouding the essential properties. When things are generalized, they are translated into another language/formalism in a way that inessential stuff gets lots in the translation.

I hope you can get some motivation from this viewpoint.

>> No.8405523

>>8404698
Thanks for the general motivational approach. I was more looking for what they are useful in general, other than classifying stuff in topology for the sake of classifying stuff.

>> No.8405621
File: 208 KB, 450x450, 1378352156846.png [View same] [iqdb] [saucenao] [google]
8405621

>>8405523
Well, consider this: if there is some useful property related to the operads, classifying spaces with respect to equivalence in terms of operads allows one to reduce may problems solvable using operads to the simple case.

You mentioned homotopy theory, so I will give an example out of there regarding the usefulness of classifying spaces. A torus with one point removed looks scary, but it is really just homotopy equivalent to the wedge of two circles. Now, every homotopy invariant property of these two spaces is the same, so instead of popping holes in one's donut, one can consider a space more accessible. Similarly, properties invariant under operad isomorphisms (whatever they are called) will be the same for any two spaces with isomorphic operad systems.