Generalization of orthogonal group to preserve different bilinear forms. Important because the Lorentz group is .
Definition of the indefinite orthogonal group by
Ciro Santilli 35 Updated 2025-02-26 +Created 1970-01-01
Given a matrix with metric signature containing positive and negative entries, the indefinite orthogonal group is the set of all matrices that preserve the associated bilinear form, i.e.:Note that if , we just have the standard dot product, and that subcase corresponds to the following definition of the orthogonal group: Section "The orthogonal group is the group of all matrices that preserve the dot product".
As shown at all indefinite orthogonal groups of matrices of equal metric signature are isomorphic, due to the Sylvester's law of inertia, only the metric signature of matters. E.g., if we take two different matrices with the same metric signature such as:and:both produce isomorphic spaces. So it is customary to just always pick the matrix with only +1 and -1 as entries.
Indefinite special orthogonal group by
Ciro Santilli 35 Updated 2025-02-26 +Created 1970-01-01
Like the special orthogonal group is to the orthogonal group, is the subset of with determinant equal to exactly 1.
Basically, a "representation" means associating each group element as an invertible matrices, i.e. a matrix in (possibly some subset of) , that has the same properties as the group.
Or in other words, associating to the more abstract notion of a group more concrete objects with which we are familiar (e.g. a matrix).
Each such matrix then represents one specific element of the group.
This is basically what everyone does (or should do!) when starting to study Lie groups: we start looking at matrix Lie groups, which are very concrete.
Or more precisely, mapping each group element to a linear map over some vector field (which can be represented by a matrix infinite dimension), in a way that respects the group operations:
As shown at Physics from Symmetry by Jakob Schwichtenberg (2015)
- page 51, a representation is not unique, we can even use matrices of different dimensions to represent the same group
- 3.6 classifies the representations of . There is only one possibility per dimension!
- 3.7 "The Lorentz Group O(1,3)" mentions that even for a "simple" group such as the Lorentz group, not all representations can be described in terms of matrices, and that we can construct such representations with the help of Lie group theory, and that they have fundamental physical application
Bibliography:
- www.youtube.com/watch?v=9rDzaKASMTM "RT1: Representation Theory Basics" by MathDoctorBob (2011). Too much theory, give me the motivation!
- www.quantamagazine.org/the-useless-perspective-that-transformed-mathematics-20200609 The "Useless" Perspective That Transformed Mathematics by Quanta Magazine (2020). Maybe there is something in there amidst the "the reader might not know what a matrix is" stuff.
Classification of simple Lie groups by
Ciro Santilli 35 Updated 2025-02-26 +Created 1970-01-01
A bit like the classification of simple finite groups, they also have a few sporadic groups! Not as spectacular since as usual continuous problems are simpler than discrete ones, but still, not bad.
An Introduction to Tensors and Group Theory for Physicists by Nadir Jeevanjee (2011) by
Ciro Santilli 35 Updated 2025-02-26 +Created 1970-01-01
This does not seem to go deep into the Standard Model as Physics from Symmetry by Jakob Schwichtenberg (2015), appears to focus more on more basic applications.
But because it is more basic, it does explain some things quite well.
Lie Groups, Physics, and Geometry by Robert Gilmore (2008) by
Ciro Santilli 35 Updated 2025-02-26 +Created 1970-01-01
The author seems to have uploaded the entire book by chapters at: www.physics.drexel.edu/~bob/LieGroups.html
And the author is the cutest: www.physics.drexel.edu/~bob/Personal.html.
Overview:
- Chapter 3: gives a bunch of examples of important matrix Lie groups. These are done by imposing certain types of constraints on the general linear group, to obtain subgroups of the general linear group. Feels like the start of a classification
- Chapter 4: defines Lie algebra. Does some basic examples with them, but not much of deep interest, that is mostl left for Chapter 7
- Chapter 5: calculates the Lie algebra for all examples from chapter 3
- Chapter 6: don't know
- Chapter 7: describes how the exponential map links Lie algebras to Lie groups
Naive Lie theory by John Stillwell (2008) by
Ciro Santilli 35 Updated 2025-02-26 +Created 1970-01-01
Lie Algebras In Particle Physics by Howard Georgi (1999) by
Ciro Santilli 35 Updated 2025-02-26 +Created 1970-01-01
Pinned article: ourbigbook/introduction-to-the-ourbigbook-project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivative - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 4. Visual Studio Code extension tree navigation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.Video 4. OurBigBook Visual Studio Code extension editing and navigation demo. Source. - Internal cross file references done right:
- Infinitely deep tables of contents:
Figure 6. Dynamic article tree with infinitely deep table of contents.Live URL: ourbigbook.com/cirosantilli/chordateDescendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact