Sean Downes
Sean Downes
  • Видео 130
  • Просмотров 41 199
Representations of the Virasoro Algebra on Heisenberg Modules
This one took a while! And it's LONG! But I do the whole calculation explicitly so hopefully this is a good reference for you folks. Blog post on this material to come soon.
References
*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*
FLM
www.google.com/books/edition/Vertex_Operator_Algebras_and_the_Monster/
You might also try Victor Kac' and friend's book:
www.worldscientific.com/worldscibooks/10.1142/8882
Also check out Michio Kaku's book QFT: A Modern Perspective. (no seriously. its really good. There's some complaint about his treatment of spinors, but that's a common bit of trouble but it's got a lot of great material inside)
*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*
The Pasayten Inst...
Просмотров: 565

Видео

The Virasoro Algebra and Laurent Polynomials
Просмотров 7612 года назад
We derive the most general form of the Virasoro Algebra from the algebra of derivations of Laurent polynomials.We then related this to the Lie algebra of vector fields on the unit circle. We close with some comments about the convention representation of the Lie bracket and how to think about the central charge. We basically forge a union between FLM and Kac' treatment of this topic with some s...
Three Confusing Points about Operators on Heisenberg Modules
Просмотров 1292 года назад
We review some specific ideas about operators on Heisenberg Modules. Specifically, M, the irreducible module bestowed upon us as a result of the Stone von Neumann theorem. #1 : Which grading do we use for M? #2 : What is the difference between M and End(M)? #3 : What exactly do you mean by summability? Timestamps *^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^* 1:28 : Quick reminder definition...
A Heisenberg Functor
Просмотров 1672 года назад
We build canonical heisenberg algebras from finite dimensional vector spaces. It's fun. Plus, we'll need this class of heisenberg algebra in what follows. Timestamps *^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^* 1:33 : Vector Spaces as Abelian Lie Algebras 1:55 : The Affine Lie algebra construction 2:12 : Extended Affine Lie algebras 2:28 : Lie brackets for these constructions 3:56 : Commut...
Heisenberg Modules and QFT
Просмотров 2132 года назад
A quick review of irreducible representations for heisenberg algebras! T Timestamps *^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^* 1:03 : The Harmonic Oscillator (again!) 1:40 : The Fock Space / Hilbert Space / Module for the Harmonic Oscillator 2:45 : The Vacuum Conditions 3:30 : Fun Fact #1 : Vacuum vectors 4:08 : Fun Fact #2 : Consequences of the Algebraic Stone von Neumann Theorem and Ir...
Three Fun Facts about Heisenberg Algebras
Просмотров 2652 года назад
To get ready for chapter 4 of FLM, we should probably review some highlights from our study of Heisenberg algebras. There are a few specific items to discuss, and we briefly tie these ideas into the formalism used in QFT. Timestamps *^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^* 1:47 : Definition of a Lie algebra ideal 2:02 : Definition of the commutator ideal and a heisenberg algebra 2:58 :...
The Mapping Between Lorentz Transformations and Conformal Isometries
Просмотров 3272 года назад
Finally! I managed to get this one out the door. We look at the explicit mappings between SO(1,3) transformations in Minkowski space and the conformal isometries of the plane. References *^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^* Here's my blog post on the matter: www.seanfor.science/home/conformal-transformations-and-the-sphere The first few pages of Ginsparg's Notes on Conformal Field ...
Physics After Dark : Lambda 0 Baryon Decays
Просмотров 5342 года назад
So... I've got a podcast - the Field Guide to Particle Physics - and I'm about to launch Season 2. (links at the bottom). It's all about Strangeness. Technical strangeness. As in, the strange quark. I had to RELEARN a bunch of technical stuff while writing up the podcast episode on the Lambda 0 baryon: Flavor Changing Neutral Currents, the GIM mechanism, and all that jazz. Here's my technical r...
The Light Cone and the Conformal Structure of the Sphere
Просмотров 2482 года назад
Snow finally came to the valley! I’ve tried to talk about this for a while, but the videos kept being too long. I figured it best to just do a simple episode about Minkowski space to sketch the main idea, and introduce some of the geometry we’ll need later. For a written perspective, out our notes: www.seanfor.science/home/the-light-cone-and-the-conformal-structure-of-the-sphere *^*^*^*^*^*^*^*...
The Stereographic Projection as a Conformal Isometry
Просмотров 2632 года назад
Wow that one took me a long time! Three separate tries! Check out our reference material here: www.seanfor.science/home/the-stereographic-projection-as-a-conformal-isometry Here are our notes on the subject: www.seanfor.science/home/the-stereographic-projection-as-a-conformal-isometry For more details on representation theory, generally, feel free to follow along here: pasayten.org/applied-repr...
The Stereographic Projection
Просмотров 2202 года назад
Wow that one took me a long time! Three separate tries! Check out our reference material here: www.seanfor.science/home/stereographic-projection Here's our written notes on this topic: www.seanfor.science/home/stereographic-projection For more details on representation theory, generally, feel free to follow along here: pasayten.org/applied-representation-theory The Field Guide to Particle Physi...
The Lie Algebra of Conformal Isometries of Pseudo-Euclidean Space
Просмотров 2152 года назад
This is based on some work we did in the last video. Notes for that work are here: www.seanfor.science/home/conformal-isometries-of-pseudo-euclidean-space For details on abstract index notation, see: www.seanfor.science/home/a-primer-on-index-notation For more details on representation theory, generally, feel free to follow along here: pasayten.org/applied-representation-theory The Field Guide ...
Conformal Isometries of Pseudo-Euclidean Space
Просмотров 2372 года назад
Here's the blog post with some notes associated to this video: www.seanfor.science/home/conformal-isometries-of-pseudo-euclidean-space For details on abstract index notation, see: www.seanfor.science/home/a-primer-on-index-notation For more details on representation theory, generally, feel free to follow along here: pasayten.org/applied-representation-theory The Field Guide to Particle Physics ...
The Methow Fires and comments on Unitary Representations of sl2R and the Virasoro Algebra
Просмотров 662 года назад
Hey Friends! Thanks for sticking around! It's been a while. We've had a ton of fires in the Methow Valley this summer and I'm finally crawling out from under the rock that this summer put over me. I'm excited to talk more about the physics of vertex operator algebras, otherwise known as conformal field theory. There's plenty of goodness to go around, especially as it pertains to representation ...
SL2R and the Open Disk
Просмотров 2643 года назад
Today we're looking at the Cayley Transform! Specifically in the context of the upper half plane, and the actions of SL2R, of course. All from the Eastern slopes of the beautiful, North Cascade mountains! We prove three silly claims. The first two are meant to be constructive reviews of the material we've seen in recent videos. 1. The action of SL2C is transitive on the Riemann Sphere. 2. The U...
Motivation for Möbius Transformations
Просмотров 3903 года назад
Motivation for Möbius Transformations
On the Continuous Series of Oscillator Representations of the Lie algebra sl2R
Просмотров 2273 года назад
On the Continuous Series of Oscillator Representations of the Lie algebra sl2R
Concrete Representations of the Lie algebra sl2R
Просмотров 5313 года назад
Concrete Representations of the Lie algebra sl2R
The 8_6 Knot
Просмотров 1243 года назад
The 8_6 Knot
The 8_5 Knot
Просмотров 983 года назад
The 8_5 Knot
Episode 039 : Realization of sl2^ with Twisted Vertex Operators
Просмотров 1173 года назад
Episode 039 : Realization of sl2^ with Twisted Vertex Operators
The 8_4 Knot
Просмотров 793 года назад
The 8_4 Knot
The 8_3 Knot
Просмотров 613 года назад
The 8_3 Knot
A Proof Concerning SL2Z
Просмотров 1413 года назад
A Proof Concerning SL2Z
The 8_2 Knot
Просмотров 763 года назад
The 8_2 Knot
The 8_1 Knot
Просмотров 1103 года назад
The 8_1 Knot
A First Look at SL2Z
Просмотров 2093 года назад
A First Look at SL2Z
Unitary Representations of SL2R (and SU1,1 and Sp2R)
Просмотров 2873 года назад
Unitary Representations of SL2R (and SU1,1 and Sp2R)
Unitary Representations of SU2 via Tensor Products
Просмотров 4543 года назад
Unitary Representations of SU2 via Tensor Products
Episode 038 : Normal Ordering and a sketch of Wick's Theorem
Просмотров 2403 года назад
Episode 038 : Normal Ordering and a sketch of Wick's Theorem

Комментарии

  • @point73.
    @point73. 12 дней назад

    At 1:07 I think you accidentally labeled the left one a '6_2' even though it's actually a 6_1, and mislabaled the right one a '5_2' knot even though it's actually a 6_2

  • @point73.
    @point73. 12 дней назад

    I accidentally tied a 6_2 knot and I don't really know how I got there?

  • @HarryStoltz
    @HarryStoltz 16 дней назад

    Awesome video!

  • @k3n807
    @k3n807 Месяц назад

    What Should We Name It? 😅

  • @tim_sulim
    @tim_sulim 3 месяца назад

    What is meant starting from 3:42 is that f is injective and g is surjective. The maps i and s are too, but they themselves are not interesting.

  • @portport
    @portport 3 месяца назад

    here from Michael Penn :)

  • @manjurana297
    @manjurana297 4 месяца назад

    Make more knot vids 😢

    • @SeanDownes
      @SeanDownes 4 месяца назад

      Good to hear! Working on it. I really want them to tie into each other, so to speak. That's the challenging bit.

  • @J_psi0
    @J_psi0 5 месяцев назад

    This is very important for quantum physics, as (generally), the J_3 is the z component of the angular momentum, Q is the total angular momentum, and its respective quantum numbers are the z component of the angular momentum (m) and the azimuthal quantum number (q). The J_+ and J_- are the step-up and step-down operators, respectively.

  • @AkamiChannel
    @AkamiChannel 5 месяцев назад

    I love your videos. Thank you.

    • @SeanDownes
      @SeanDownes 4 месяца назад

      Thanks for watching!

  • @phonglevan7564
    @phonglevan7564 6 месяцев назад

    Love this. Can you explain the invariant metric in SL_2R, how the "1/y^2" appear in this? Thank you.

    • @SeanDownes
      @SeanDownes 4 месяца назад

      Deleted the earlier response because I misunderstood your question. But! This is still a good one. What I haven't done in this series is connect the stereographic projection to the mobius transformation. The basic idea here is that SO(2) should be rotating the two complex coordinates in C^2 that we started with, and follow that mapping all the way down to the upper half plane. Let me think about a good way to communicate that calculation specifically in a video. Lots of connections to highlight about all that 19th century mathematics!

  • @AkamiChannel
    @AkamiChannel 6 месяцев назад

    And the journey begins...

  • @AkamiChannel
    @AkamiChannel 6 месяцев назад

    No comments 😭. This channel is very helpful! After occasionally perusing your content now and then and realizing that I kept coming back, I finally bought Vertex Operator Algebras and the Monster and it arrived 2 days ago! Really excited to go through it!

    • @SeanDownes
      @SeanDownes 4 месяца назад

      Niiice. At least two of the three authors jives with my understanding pretty well. I'm overdue for doing chapter 4 videos. I want to get them done this summer.

  • @cogitoergocogito5032
    @cogitoergocogito5032 7 месяцев назад

    you're a total genius sir, wow

  • @cogitoergocogito5032
    @cogitoergocogito5032 7 месяцев назад

    somehow this makes total straight forward sense like peeling an orange. please make more vids

  • @EleneDB
    @EleneDB 9 месяцев назад

    Can you please tell me how Alexander Briggs notation woeks please?

  • @42fatfish
    @42fatfish 10 месяцев назад

    Bowline for the win!

  • @UncoveredTruths
    @UncoveredTruths 10 месяцев назад

    awesome, thank you :)

  • @adamdean4398
    @adamdean4398 11 месяцев назад

    Hey. Very informative. However for those who are trying to make these knots for a class activity it is hard to follow making the knot. I would recommend a slower step by step approach pausing so that the audience can see each step, your hands sometimes block the view and make it difficult to follow. But thank you for this very informative video.

  • @thormcneely8081
    @thormcneely8081 11 месяцев назад

    I miss these knot videos

    • @SeanDownes
      @SeanDownes 4 месяца назад

      Me too. Although I gotta say they're kind of mind bending to make. Vaughn Jones must have just thought so much differently than the rest of us.

  • @mortimertz6660
    @mortimertz6660 Год назад

    Thank you. I had a blast learning from your videos on the representation of su(2). I only wish if you could also have a video on Principal G-bundles and group of gauge transfromations.

    • @SeanDownes
      @SeanDownes 10 месяцев назад

      Great suggestion! There's a bit of complexity associated to the added structure there, but we'll need it for studying gauge theory. I'm working on some notes that might be relevant for this on BRST quantization(thelaboratory.substack.com). Right now it doesn't include YM theory but it's definitely in the works:

    • @mortimertz6660
      @mortimertz6660 10 месяцев назад

      @@SeanDownes looking forward to it.

  • @mathwizards6785
    @mathwizards6785 Год назад

    how can we extend it into n dimensional can we?

    • @SeanDownes
      @SeanDownes 10 месяцев назад

      Wikipedia has a pretty good demonstration of this! The basic point and formulae are the same. Schematically you can think of it as just spherical polar coordinates in n-dimensions. Of course the metric on the chosen n-dimensional hyperplane of R^n+1 (where the n-sphere sits that you are projecting from) will be somewhat different. But again, I'd refer you to that wikipedia entry for precise details!

  • @ARBB1
    @ARBB1 Год назад

    Nice video man. I liked the little intro you made.

    • @SeanDownes
      @SeanDownes 10 месяцев назад

      Glad you liked it

  • @ARBB1
    @ARBB1 Год назад

    Thanks for the video!

    • @SeanDownes
      @SeanDownes 10 месяцев назад

      You're welcome!

  • @TrailersReheard
    @TrailersReheard Год назад

    Haha! I stumbled on this representation playing around yesterday. Took me a little too long to realize what the hell was "wrong" with it.

  • @user-ki2zu8om2q
    @user-ki2zu8om2q Год назад

    I hope you can publish a series of VOA videos. The specific conclusion process one step by one step is included. Because I think your lessons are better than Richard Borcherds (Berkeley). You can make me have a clear mind but Richard Borcherds can't.

    • @SeanDownes
      @SeanDownes 10 месяцев назад

      This is a tough subject to make clear. I think part of that awkwardness involves trying to avoid going into functional analysis. Kac's Bombay lectures (2nd edition) makes it pretty clear that the original work on the subject evolved greatly when going from the first (original) half to the second. I can't decide if going the CFT route or the VOA route makes more sense at this point, or if I'm really going to have to dive into analysis. Suffice it to say I'm working through it, still trying to find the best approach.

  • @user-ki2zu8om2q
    @user-ki2zu8om2q Год назад

    You are a really interesting man you can bring me a unique lesson. I am the first to learn math in a valley,not a classroom.

  • @GeoffryGifari
    @GeoffryGifari Год назад

    hmmm if i want to dig deeper into casimir operators, which videos do you recommend?

    • @SeanDownes
      @SeanDownes Год назад

      Good question. I don't know of any videos that study the general case, whereas the semi-simple case amounts to nothing more than symmetric, homogenous polynomials in the basis elements of the Lie algebra (although the commutator can be used to muck that structure up a bit, per our discussion of SU(1,1) in later videos). The main idea is that you'll want to look at the center of the Universal Enveloping algebra (see ruclips.net/video/kKieyZw31_k/видео.html ), which gets tricky if said algebra has nontrivial abelian subalgebras. THAT SAID. Heisenberg algebras are a fairly simple - and common - use case, which afford a pretty simple example of such an operator: "hbar" and all polynomial powers thereof. This might be a fun discussion to generalize out to a full video!

  • @luisgarabito8805
    @luisgarabito8805 Год назад

    huh?

    • @SeanDownes
      @SeanDownes Год назад

      Fun applications of lattices no. Did something not come across clearly?

  • @tanchienhao
    @tanchienhao Год назад

    This answered a question I had thought of today! Thanks for motivating inner products!!

    • @SeanDownes
      @SeanDownes Год назад

      Nice! Glad it could help!

  • @tanchienhao
    @tanchienhao Год назад

    Awesome series! Is the playlist ordered such that we should watch in that order?

    • @SeanDownes
      @SeanDownes Год назад

      Thank you! They were really fun to make. There's not really a particular ordering, more like a clustering. I've tried coming up with a specific ordering but really it's more about exploring different ideas. There is SO MUCH there. I'm putting together some more videos now and can try to revisit to think about ordering or referring back to some of the older videos.

    • @tanchienhao
      @tanchienhao Год назад

      @@SeanDownes sure! I really look forward to your new videos, very unique style too! Thank you for creating golden content

  • @tanchienhao
    @tanchienhao Год назад

    Awesome series! Thanks

  • @mikewasinger9029
    @mikewasinger9029 Год назад

    I like the way you present this. Thanks.

  • @SeanDownes
    @SeanDownes Год назад

    A fellow asked a question about computing the "writhe" of the trefoil, although that comment seems to be missing now. FWIW, the easiest way is probably to project the knot down into a series of crossing, give the knot an orientation ( pick a direction an ant would walk along it, say), and then look to see if the crossings are positive or negative. This is typically defined by rotating the two-dimensional projection of the crossing so that both arrows associated to the crossing are pointed up *after* the crossing. It can be tricky to do this, so it helps to draw a lot of arrow heads and rotate the paper around. Defining which is positive or negative (whether the left or right strand is on top) is a matter of convention. Once you set that convention your results should agree with everyone else's up to an overall minus sign. For the specific case of the trefoil, all the crossing have the same sign, so it has three.

  • @gulmurodorazmatov2971
    @gulmurodorazmatov2971 Год назад

    Hi, it is really useful lesson. Can you make some lesson about characteristically nilpotent lie algebras?. I think this part of lie algebras is very important.

    • @SeanDownes
      @SeanDownes Год назад

      I'm quite behind - as you probably noticed - but I've got a section planned on 2-cocycles which might be a good context for something along those lines. Thanks for that! I'll see what we can put together.

    • @gulmurodorazmatov2971
      @gulmurodorazmatov2971 Год назад

      @@SeanDownes Thanks a lot, 2-cocycles also would be really useful for us👍

  • @AkamiChannel
    @AkamiChannel Год назад

    This stuff is very helpful, thank you!

  • @AkamiChannel
    @AkamiChannel Год назад

    This one was a little fast. I can't remember what an adjoint is.

  • @AkamiChannel
    @AkamiChannel Год назад

    There is also a 7 dimensional cross product.

  • @AkamiChannel
    @AkamiChannel Год назад

    Note that an exception is made for 0 when talking about the existence of inverses as a requirement for a field.

  • @AkamiChannel
    @AkamiChannel Год назад

    Excited! Thanks! 🎉

  • @torydavis10
    @torydavis10 Год назад

    Please don't let this die! subbed

    • @SeanDownes
      @SeanDownes Год назад

      Thanks Tory. Whew okay I guess I’ll make more knot videos now! 😅

    • @Carl_with_a_k_
      @Carl_with_a_k_ Год назад

      I love knots

  • @astra0508
    @astra0508 Год назад

    Hi, why is a Lie algebra ideal not necessarily a Lie subalgebra? Surely the condition for it to be an ideal necessarily makes it a subalgebra.

    • @SeanDownes
      @SeanDownes Год назад

      You are correct! Thank you. An ideal of a Lie algebra is a lie subalgebra! I probably misspoke in the video. Often this comes up when talking about associative algebras. The ideal of an associative algebra need not be a subalgebra as it might not contain the identity element, for example.

    • @astra0508
      @astra0508 Год назад

      @@SeanDownes Ah I see. And if the identity element is contained in an ideal, then it contains the entire associative algebra too right?

    • @SeanDownes
      @SeanDownes Год назад

      Yes! so long as we’re clear about fixing the underlying field. For those who are curious: Let D be (left) ideal of an associative algebra A, and let DA be the linear span of products da, d in D, a in A. Then DA is contained in D by hypothesis. Now suppose 1 is in D, therefore any a in A must also be in D. Hence D = A. The case of right ideals follow similarly. For the physicists in the audience, it’s particularly clarifying to consider the algebra of diagonal matrices. Thank you for your question!

  • @shoopinc
    @shoopinc 2 года назад

    That's right

  • @anandarunakumar6819
    @anandarunakumar6819 2 года назад

    How do you prove elegantly an inverse projection case where 2 curves cross each other at a point of intersection preserves conformality? My calculations are ugly enough to obscure. There has to be a nicer way to do this.

  • @theodriggers549
    @theodriggers549 2 года назад

    Request: The Unknot

  • @Rachel-gp7br
    @Rachel-gp7br 2 года назад

    Thanks for showing more of the calculations! Can the next video be of the same calculation, but for the different representation if there is time for it?

  • @ezzbassem4620
    @ezzbassem4620 2 года назад

    You are a sparkling star, btw i hope your finger is better

  • @mathilike9460
    @mathilike9460 2 года назад

    Really fun video!

  • @NoNTr1v1aL
    @NoNTr1v1aL 2 года назад

    Absolutely amazing video!

  • @ARBB1
    @ARBB1 2 года назад

    Nice work.

  • @EdwinSteiner
    @EdwinSteiner 2 года назад

    Great video! I'm looking forward to more content about vertex algebras, etc. I just uploaded a video on the topic myself, about the physics of the vertex algebra of one free boson: ruclips.net/video/uukBDltkDz0/видео.html It is meant to be the first part of a series approaching this topic from the side of CFT/string theory.