Originally this was the first video in the series, but I really want to give a convincing enough motivation for the series, and introduce the notation SO(n) and SU(n) beforehand. P.S. Haven’t had the best of luck with the KZread algorithm lately, and I honestly don’t know what I could do / what I have done wrong at this point. It seems that you guys really enjoyed it, but KZread is really reluctant to push out to non-subscribers / less avid subscribers, so the overall performance is much worse than the other recent videos not in this series. If you genuinely enjoy this video series so far (and I promise the series is only going to get better), please do like, **make sure the bell is on**, and share, and perhaps if able, support on Patreon :)

@lele-mw2nk

9 ай бұрын

Non subscriber(not anymore) here, really liked the video even tho some stuff went a bid over my head, gonna watch the other videos that come before this and rewatch this one :)

@eammonful

9 ай бұрын

Have you tried tagging one of the videos with #Some3 ? Because Im subscribed to a nunch of channels that post those I get suggestions from channels that didnt

@ProCoderIO

9 ай бұрын

Maybe algorithm dings you for the breaks you take doing school? Anyway, I usually have to stop what I’m doing to catch up when you post something. Also, my interest in SO and SU were certainly stoked considering EigenChris did several videos on these groups in the midst of his spinor series. Cheers!

@cleon_teunissen

9 ай бұрын

I think it is essential to not go into a thinking mode along the lines of 'have I done something wrong to displease the algorithm'. It seems to me that the youtube algorithm puts us mortals in the same position as, say, the human protagonists in ancient greek mythology. In ancient greek mythology the Gods are totally unpredictable, acting on whim. The humans have no agency. But the humans keep falling for the belief that somehow they do have some agency. Tragedy ensues. Presumably: if the working of the algorithm would be public then that would give bad actors opportuniy go all in on gaming the system. Presumably that is why the youtube management doesn't give any information about the algorithm. All you can do, it seems, is communicate to viewers the thing that you communicated in your pinned message: the trends you see in the youtube analytics. All you can do, it seems, is to try and crowd source support. Individually you have no agency.

@misterlau5246

9 ай бұрын

Yt demonetises a video because GROUPS? Nice, group theory. I grew to fancy abstract maths. For 3D animations the abstract approach is very good too. Always, groups are like sets on steroids. Now now, I want to watch Riemannian mannigfaltigkeit Yes we are going there. Did you cover before Riemannian Surfaces? Cause this is a little bit of a pickle, anyways, mine is U(1)xSU(2)xSU(3) DEGREES of freedom yeah, we get 8D Transforming to 9 in atomic nucleus, 8 gluons. In general relativity, of course it's manifolding every point and we can have the velocities defined by angles, "boosts" in this model. In quantum, basically a special relativity or Lorentz covariant application, in a Hilbert space, differentiable... Operators, matrices. Always, linear álgebra and transformations. Since we have things like spin, with a period of 4pi,i it's easier to work like this. Hamiltonian=total energy =1, in a vector space we can put operations on, and we have here tangents to represent points. Tangent bundles, those are of course differentiable manifolds, like vector bundles, vector fibers, except each fiber is a vector space 😳🤯🤓🖖🎶

The quality of this series is out of this world

@chriskindler10

9 ай бұрын

it‘s pretty crazy yes

@balasubr2252

9 ай бұрын

Well illustrated and explained 😊for non math non nerds!!

You are a god among men. The "quantum leap" that people like you are making for accessible, highly specified education is truly going to transform the world. You are contributing massively to the next generation of highly skilled and motivated mathematicians and physicists. I cannot thank you enough for making this. I'd place this series up there with eigenchris's content which is the single largest complement i currently know how to give. Please continue this series. I will consume every video you make like a swarm of locusts at harvest time. Thank

@mathemaniac

9 ай бұрын

Thank you so much for the compliment, but I feel quite uneasy when you say "you are a god among men."

@t0k4m4k7

9 ай бұрын

@@mathemaniacI think that the ability of explaining math is way more uncommon than mathematical genius. You really are the prometheus of math

@RafaxDRufus

9 ай бұрын

@@t0k4m4k7 without the infinite torture, hopefully

@user-ob2zz2zk2x

5 ай бұрын

it is so ugly to describe a creature as god ! this is so horrible blaspheme , I call you to be a Muslim..to know the purpose of life

@user-ob2zz2zk2x

5 ай бұрын

@@mathemaniac You should reject this kind of hyperbole praise This is a blatant transgression against the status of the Creator, Glory be to Him..and it is so ugly blaspheme I take this opportunity to invite you to look at the evidence of Islam, and I promise you that you will discover the truth in it brighter than the sun, with one condition: that you look at Islam and its evidence without previous stereotypes. I mean without biased preconception

Great video. Well done. A thing I thought of. When you introduced the concept of a manifold, I noticed that you gave a couple of examples. A tip in such situations is to also consider giving a counter example, like a space with at least one point that is not deformable to a line or a plane etc. Counter examples can be just as important to learning a concept as positive examples and that’s an instance where I would have found it very useful. Just a friendly tip, use it if it resonates with your vision, otherwise feel free to ignore it! Once again, great work here!

@mathemaniac

9 ай бұрын

Yes, I originally thought about that, using a "cross" / "double cone", but for some reason just couldn't fit into the script in a natural way. To be very honest, the definition of manifolds would be one of the least important things here, because, well, we usually wouldn't even try to prove the Lie groups are manifolds in a very rigorous way. To actually prove that SO(n) or SU(n) is a manifold, you most likely need to learn differential geometry to a certain level (say knowing preimage theorem), which I don't think is too necessary for understanding Lie theory anyway.

@HyperFocusMarshmallow

9 ай бұрын

@@mathemaniac Thanks for sharing a bit of your thinking on the matter! You’re the best person to decide on what level you want to do things. To add a bit to the conversation, for each subtopic you have a few different pieces to decide the level of depth to aim for and how much time to spend. For manifolds there is the definition itself; how to work with it or how to motivate or prove specific instances; and finally example instances to give a boost to intuition. One can probably vary the level of depth for each of those pieces somewhat independently. Say, with the informal definition “it locally looks like line/plane/hyperplane” a counter example might be as you said a cone or a point connecting three curves or whatever which wouldn’t have to take a lot of time in a video (though might take time to put in). That might help give the right intuition for the informal definition without needing to aim for rigor. A more formal definition might be a choice for another type of video; and maybe showing how to prove that a certain topological space (which wasn’t even mentioned) is a topological manifold is yet a different kind of video. Even then it would probably be overkill to do proofs for all relevant standard examples since the work would be very repetitive. I think it’s good that there can be videos online at a whole range of different levels on all those points and you’ve clearly considered where to put the effort. Thanks again!

Came for lie theory, stayed for tits group Comment for the algorithm

This is a very beautiful explanation of Lie Algebra

Simply fantastic. Finally youtube mathematics at a higher level

The explanation of the relationship between the Lie Algebra and Lie Group and how the tangent map and exponentiation are used is brilliant. I never really did get all this back when I was studying Quantum, but this explanation alone was immensely insightful. Thank you for the fantastic work, eagerly looking forward to the rest of the series.

Thank you so much for taking the time to make this series. I've seen bits and pieces of this theory a lot of places, but never an overview of how it all fits together. Looking forward to more!

The Jacobi Identity is very poorly motivated in most textbooks I've read. It's usually just handed to you. This is the first time something has forced me to recognise that it comes from the requirement of the exponential map to generate a group. So thanks

It makes me so happy that 3b1b's video style is everywhere now

@molybd3num823

9 ай бұрын

surprisingly, mathemaniac doesn't even use manin

I don’t like, or comment, or share anything on any platform ever… but this series/work is outstanding and exactly what I needed to understand before applying to graduate school. I’ll do whatever you need to widen its reach! Thank you for this incredible work of art🎉🎊

This is absolutely fantastic, as someone working on quantum information theory this gives so much insight and makes things so much clearer than any book. Cant wait for the rest of the series!!

Exceptional video. Came in contact with Lie theory a couple of years ago. If I were to have seen this back then, it would definitely have helped in clearing up the big picture 10x faster than I did.

Excellent video. I think it's hard to learn Lie Theory coming from a purely "calculatory" (i.e. physics) context because you miss the motive for its original inception. Your over-arcing metaphor -- the utility of creating a coordinate system for group transformations by implementing manifold theory -- is a perfect introductory frame. And you illustrate it simply and beautifully. Really appreciate you!

Im doing a lot of group theory and lie algebra for my robotics project and this video is full of big and small "eureka" moments for me. You've just earned a subscriber, sir

Really looking forward to the rest of this series! I was trying to learn about Lie theory earlier this summer, and there was not many resources online to do so, but this is great!

This is absolutely amazing. I am taking a course on Lie Groups and Lie Algebras at the moment and was struggling to see the big picture of it. This was just perfect. Thank you!!!

I had skimmed over some videos about Lie theory before, but it all flew over my head and seemed too complicated. This was very accessible and gave me a clear idea of what the Lie algebra actually is. Thank you very much and I look forward to the rest of the series :)

I've been watching maths videos on youtube for many years now and from many different maths youtubers, having done 2 A-Levels in Maths back at college just over 20 years ago, For some reason youtube has never promoted any of your videos to me before, as far as I know, even though you've been a channel for about 4 years. I think this Lie Group series might be going a bit outside of my comfort zone in terms of my level of maths, although I was able to grasp a fair bit of what you were explaining, but I see there are at least a few other videos that I think I would be able to better follow, so I'll be sure to getting watching them as and when I can. I also subscribed and rang the bell etc, having previously not only been a non-subscriber but one who was completely unaware of your existence.

Thank you! I've been interested in this subject for some time, but can only get superficially deep with my current background. This video was a wonderful synopsis of everything I've been able to find so far, presented in a much more digestible and intuitive way. I'm looking forward to exploring it more deeply... hopefully we casual learners can still keep up as you zoom in.

The series everyone has been waiting for! So great!

i barely have any higher maths learning but you're still able to explain and prove in ways where it makes sense and i (despite having only vague/hazy visual imagination) can even figure out how to animate what I'm seeing, finding out a few moments later that you've animated them the same way i anticipated. so your words and proofs are buttressing visual/representative "math sense" in me despite not only the information gap between me and you, but also an ability gap (I'm autistic, "Level 2" so my intellectual domains vary distinctively in terms of limits and strengths). You're doing a great thing, skillfully.

Thank you so much for explaining the exponential map, i spent hours looking for an explanation of the name or how it should be understood, and the best i got was "it is called the exponetial map in analogy to the exponential function," and it wasn't until this video that I actually had a good understanding of what was happening. So thank you

Loving this mini-series! Lots! And ... what seems really really good is tying together different cultures in mathematics such as, of course, algebra and group theory and manifolds and topology and analysis and (best of all?) differential geometry Thank you for providing very interesting explanations of wonders of math.

@mathemaniac

9 ай бұрын

I agree on your "best of all".

Wow, this video totally enhanced my understanding of Lie theory. I was always puzzled through books. But now, many things are clear. Thank you so much. Looking forward to seeing the rest of the videos ☺️

Wow! ❤ I had been thinking of something discrete that looked like this, and now you've connected my mundane efforts to all this richness of expression!!! I began with Galois fields and equal subdivisions of the straight angle to make the points I needed to say in the context of my research. All the while, I was talking in terms of Lie groups but at the foundational level.

Wow, a whole series is coming! That's highLie appreciated.

I'm studying particle physics and you make my life easier on a daily basis. Thanks for your perfect videos

seriously, reading math topics on wiki is the most intimidating thing in the world

I rarely give the "oh, this made things so clear!!1" comments on videos, because usually they don't fit me (though they can communicate things in a new and interesting way). This video is an exception. I'd been exposed to Lie groups and Lie algebras before and had some idea of the Lie bracket, but i couldn't for the life of me understand the actual connection between a Lie group and its associated Lie algebra. That changed today with your video. Of course the actual topic is so much simpler than it's usually described. The part about the Lie algebra being the tangent space actually made things harder to understand for me since I didn't realize it was specifically the tangent space at the identity. In fact, since the identity isn't actually contained in the Lie algebra, I think it would honestly make more sense to me to just give the two as completely separate manifolds, with the exponential as the map between them. The key point in the Lie theory is then little more than the generalization of the power law to non-commutative Lie groups, and the bracket is just a primitive used to define said generalization. Then you can do algebra on the curved Lie group without leaving the Lie algebra (though it does still seem to require an infinite sum, so there'd still be value in working in the Lie group).

@scollyer.tuition

9 ай бұрын

I had been wondering about the infinite sum in the Lie algebra - does it cause any problems in practise with questions of convergence, or even computing its value?

This is the best presentation I have ever seen on the Lie groups and Lie algebras.

Loved the perfect rundown of groups and manifolds

Your explanation is unmatchable!!!! 🔥🔥🔥🔥🔥🔥

Literally the first time I have given a shit about lie algebras, after 20 years of studiously ignoring them and doing applied category theory in my software development/computational geometry work. Now I wonder what all I've been missing! Subscribed, and ready for more amazing lectures!

This was a really lovely video. As a physcist who once had to join between more maths or more physics, perhaps had I watched something like this back then it might have changed my choice. Can't wait for next one!!

@mathemaniac

9 ай бұрын

Well I am a mathematician turned physicist :)

I'm curious about something. Towards the end of this video, you mentioned simple groups and simple Lie algebras and exceptional Lie algebras. I've known about all of these for some time, but now I wonder if there's more of a connection between them than just a useful analogy. I'm intrigued by the facts that simple groups can be divided into 18 infinite families and 26 or 27 sporadic ones, and similarly, simple Lie algebra can be divided into 4 infinite families and 5 exceptional ones. Are there any deeper connections between simple groups and simple Lie algebras than the ones you mentioned? For instance, is there a deep connection between the monster group and E8, and does this have anything to do with Monstrous Moonshine?

Awesome! Looking forward to the rest of the videos in the series.

This is an amazing video! Please let me know when the next Lie group video is online!

I dont think you are telling the truth

@user-yo3dz8in8f

Ай бұрын

I love this

@IRealyLoveSoup

10 күн бұрын

@@user-yo3dz8in8fsure….

Perfectly timed for @Eigenchris’s video!

Exceptional work! Could you show the connection of SU(3) and Gell-Mann's baryon octets?

I am excited for the rest of this series!

Thank you! Super clear explanation! Can't wait for the next video!

Excellent video, I am a student studying Lie Theory and it's really satisfying seeing E8 explained

Jesus man you surprise me again with such a simplified view of this topic, where one sees only symbols after symbols a collective ugly mess, you make it delightful!! I don't believe this!! Spectacular. Watching your videos for me special occasion, switch off all light, put the headphone, start the video for a beautiful journey....

Thank you for the amazing video, and all the references in the description!

this was amazing! thank you for the ride through math castle!

You are definitely a descendant of the great Marius Sophus Lie...good sir! Your exposition & pedagogical skills deserve all the plaudits one can bestow. Very glad this came up as a recommendation....worhty of subscription indeed!

Beautifully explained presentation! @mathemaniac on this subject, have you ever come across the paper by Doran, Hestenes, Sommen, and Acker titled "Lie groups as Spin Groups", where apparently the authors show that "every Lie algebra can be represented as a bivector algebra; hence every Lie group can be represented as a spin group"?

Isn’t there no bijection from a sphere to a plane? Curious about your analogy of Lie algebra when looking at the sphere globe and the plane map. Thanks in advance for any further clarification

Well made video, was accessible to me as someone who is not familiar with manifolds or lie algebras. Waiting for the next video in the series =)

Truly insightful. I wonder if an analogy can be made between the motivation for Lie algebra and that for linear algebra/matrices. A lot of textbooks on linear algebra start with matrices & determinants and delay the discussion of linear transforms, possibly because matrix calculations are more "tangible" while linear transforms are more "abstract" in some way. You can easily calculate things to get meaningful results once you grasp the basic rules. But it's the linear transforms that are the true objects of interest, while the matrices seem to be the tools invented to study linear transforms. As I delved deeper into the study of physics, my appreciation of the significance of linear transforms grew. I have not studied Lie theory, but from what I learned in this video, it seems to follow the same logic. Lie groups (like linear transforms) are difficult to deal with on their own, so we turn to Lie algebra (like matrices) which allow for easier and more straightforward calculation. Is this so?

Awesome video as always! However, I'd like to add one small detail. When talking about Lie algebras around 11:30 one must be careful to not confuse the way shown with 'simply taking the imaginary part'. There is a reason why he said: we *correspond* it to a point on the Lie group. This detail can be a stumbling block for those not listening carefully like me for example.

This is one of my favorite series and is a fun part of maths to learn.

Excellent explanation of Lie groups and Lie algebras! Like most physics grad students, I was introduced to these back in physics grad school about 40 years ago, but they were never explained that well to me and ever since then, I never felt I had a good handle on them. However, now I think I do, due to your very clear and intuitive explanation. Great job!

@apoorvmishra6992

7 ай бұрын

Damn!! You must be really old...

@dcterr1

6 ай бұрын

@@apoorvmishra6992 I'm 61, though I wouldn't consider that "really old" these days! How old are you?

@apoorvmishra6992

6 ай бұрын

Yeah I was just kidding. No one is old, until they consider themselves one. I'm 22 and preparing for entrances to get into a good university to pursue Masters in physics. Nice knowing another physicist.

@dcterr1

6 ай бұрын

@@apoorvmishra6992 Same here! Best of luck to you! I'm happy to help you with physics if you need a tutor.

@apoorvmishra6992

6 ай бұрын

@@dcterr1 Thanks for the offer Sir. I can really use your help as I've self learned physics so far and want to study Lie Theory to get a deeper understanding of Spinors. Maybe you teaching me would make the process faster.

If you are able to build an intuitive understanding of the monster group, you’ll be my hero.

Wow! This Nicely explains many things from prelim Quantum mechanics. I realised the connection between Generators of rotation and the rotations themselves and why the generators are exponentiated..❤

As a PhD phsyics student, thank you so much for helping visualize this

Exceptionally well explained! 🏆🙏

Thank you so much. Very helpful. Looking forward to the rest of these videos

Sir, please make a playlist about *Essence of Real Analysis* your video is helpful for us. ❤

Thanks! Excellent presentation.

Thx. Tried and failed to understand this in the past. Good motivator overview.

One of my favorite channels :) 😊

More work needs to be done on this important topic. Thanks for simplifying.

This was interesting, I remember first trying to look into these topics and being amazed, this just reinforces that! Higher level physics and theoretical physicist use these, or at least have it in their tool box.

thanks, it great... Note that I've seen some course applying Lie theory to robotics, not QM. It is much easier to use Lie Algebra for control-command, kalman filters... - an old, no more student (do you think it is reasonable to try a master in QM for my retirement ?)

19:15 - The French pronunciation is more like "teets", to rhyme with "sweets". I tired your pronunciation once in a lecture and someone corrected me.

@mathemaniac

9 ай бұрын

Oh right - I should probably check my eyes when I glossed over the IPA given - it was /i/ and not /ɪ/.

One of the greatest videos.....awesome...thank you for your contribution..👌👌👏👏👏👏👏👍👍👍

I came across this vid by accident, understood 40% of it at best. Had a blast

A video of the highest quality of this kind!

Amazing video! Thank you for sharing

Very nice video!!!! An obvious idea for a future video: "defining" the Lie bracket using the BCH makes the Lie bracket look like something pretty hard to grasp precisely, but in reality it's not. You can draw Lie brackets of vector fields on a manifold in general, then (left or whatever) invariant vector fields on the Lie group. Everything in this story is sufficiently geometric to be drawable. It's challenging, but with your animation skills I think it can be done and I think it would be of interest both to people who are learning the basics and to people who already know this stuff pretty well.

@mathemaniac

9 ай бұрын

While here I used the BCH as a motivation for why we consider the Lie algebra, I didn't plan to use BCH to introduce it in that future video. Many people use commutators, which I think isn't strong enough of a motivation because it isn't immediately obvious why commutators are useful. Yes, I understand that we can use vector fields on a manifold, because Lie brackets are also just something that we could use on a manifold, but I am not planning to use it, but rather, if we are thinking about matrix Lie groups, we have a bit of nice intuition for what [X,Y] should be. This intuition, by the way, would tell you why tr(AB) = tr(BA).

Pictures are scary but we're familiar with unit circle which has natural coordinates. The way we can make sense of these groups is via coordinates.

I'm impressed and not for the reason you might think. Out of the hundreds of people on KZread that fail using the word "basically" in the correct way, YOU used it in the correct way. It means you REALLY DO know what you are talking about! BTW I already subscribed long ago but I never made a comment until now.

Math ppl could come up with any random name composed of and i would totally buy that it's an actual field of study. Graph theory, group theory, knot theory, field theory, ring theory, etc. Wouldn't be surprised if a Pumpkin theory existed

This is such a well made video!!

Beautiful exposition, thank you...

Wonderful video! Thank you for making this!

Such a revelation! Thank you!

Cool 😎 I am glad you started this series 🙂👏

well, SO(3) as a ball... well, you just have to imagine such a ball, that has each pair of it's opposite points glued together. For example, rotation around Z axis for Pi clockwise and rotation for Pi counterclockwise - is the same rotation; so in this model you have to glue the point at top of the ball with the point at the bottom; and the same goes for each other possible rotation axis. Quite an interesting ball :) Something resembeling a projective plane :)

Outstanding. Thank you.

"Nice explanation, even for a layman" This reminds me of Quote: "If you can't explain it to a six year old, you don't understand it yourself ~ Albert Einstein"

Excellent work

really love this vid

What a wonderful video!!!

Nice material! Many concepts to follow. 💭

genius man continue please

Great video! Thank you

Brilliant explanation 👏

This video was very helpful for me!

We need a deeper consideration of Boolean pairs by Mr. Tits. I definitely favor a hands-on approach.

We are waiting for the next installment ❤❤

Just one point is not obvious. We have said that each vector in tangent space correspond to a point in manifold. Is this only valid in a small region around the point through which the tangent space passes, or is it valid for all tangent vectors and all points in manifold?

Beautiful teach

I accidentally left the "translate automatically into German" on, and it translated "Lie Theory" as "Lügentheorie" ^^

i love these videos

waiting for the next video ! ! !