Both sides previous revision Previous revision Next revision | Previous revision | ||
advanced_tools:group_theory:representation_theory [2017/12/17 12:34] jakobadmin |
advanced_tools:group_theory:representation_theory [2020/12/05 18:07] (current) edi [Concrete] |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Representation Theory ====== | ====== Representation Theory ====== | ||
- | <tabbox Why is it interesting?> | ||
- | In physics, we are usually interested in what a [[advanced_tools:group_theory|group]] actually does. A group is an abstract object, but representation theory allows us to derive how a group actually acts on a system. | + | <tabbox Intuitive> |
- | + | <blockquote>geometry asks, “Given a geometric object X, what is its group of | |
- | In addition, representation theory is what allows us to understand [[advanced_notions:elementary_particles|elementary particles]]. For example, by using the tools of representation theory to analyze the Lorentz group (=the fundamental spacetime symmetry group), we learn what kind of elementary particles can exist in nature. Moreover, representation theory is crucial to understand what [[basic_notions:spin|spin]] is, which is one of the most important [[basic_notions:quantum_numbers|quantum numbers]]. | + | symmetries?” Representation theory reverses the question to “Given a group G, what objects X |
- | + | does it act on?” and attempts to answer this question by classifying such X up to isomorphism." [[https://math.berkeley.edu/~teleman/math/RepThry.pdf|Source]]</blockquote> | |
- | + | ||
- | <tabbox Layman> | + | |
- | + | ||
- | <note tip> | + | |
- | Explanations in this section should contain no formulas, but instead colloquial things like you would hear them during a coffee break or at a cocktail party. | + | |
- | </note> | + | |
| | ||
- | <tabbox Student> | + | <tabbox Concrete> |
- | + | ||
- | <WRAP tip>**Basic idea:** | + | |
- | "//geometry asks, “Given a geometric object X, what is its group of | + | |
- | symmetries?” Representation theory reverses the question to “Given a group G, what objects X | + | |
- | does it act on?” and attempts to answer this question by classifying such X up to isomorphism.//" from https://math.berkeley.edu/~teleman/math/RepThry.pdf</WRAP> | + | |
A Lie group is in abstract terms a manifold, which obeys the group axioms. A **representation** is a special type of map $R$ from this manifold to the linear operators of some vector space. The map must obey the condition | A Lie group is in abstract terms a manifold, which obeys the group axioms. A **representation** is a special type of map $R$ from this manifold to the linear operators of some vector space. The map must obey the condition | ||
Line 37: | Line 25: | ||
Another possibility is given by the Weyl character formula. This formula allows to compute the "character" of a group. A "character" is a function that yields a number for each group element. Thus, one can compute which representation one is dealing with by computing this "character" function. If two representations that could be constructed very differently are actually the same their character functions are the same. | Another possibility is given by the Weyl character formula. This formula allows to compute the "character" of a group. A "character" is a function that yields a number for each group element. Thus, one can compute which representation one is dealing with by computing this "character" function. If two representations that could be constructed very differently are actually the same their character functions are the same. | ||
+ | |||
+ | ---- | ||
+ | |||
+ | The diagram below is a graphical illustration of representation theory. | ||
+ | |||
+ | At the top left is the (abstract) Lie group. To the right are two matrix representations of this group; one is k dimensional and one is r dimensional. A group can have any number of representations, but only two are shown for illustration. Below the group is the (abstract) Lie algebra together with two of its matrix representations. The Lie-group and the Lie-algebra representations act on the vector spaces on the far right. These vector spaces are also called representation spaces to distinguish them from other vector spaces (such as the Lie algebra). The dimensionality of the representation equals the dimensionality of the representation space it acts on. | ||
+ | |||
+ | [{{ :lie_groups_and_reps.jpg?nolink }}] | ||
+ | |||
+ | For a more detailed explanation of this diagram and much more, see [[https://esackinger.wordpress.com/|Fun with Symmetry]]. | ||
---- | ---- | ||
Line 46: | Line 44: | ||
- | <tabbox Researcher> | + | <tabbox Abstract> |
- | <note tip> | ||
- | The motto in this section is: //the higher the level of abstraction, the better//. | ||
- | </note> | ||
+ | Mathematically a representation is a homomorphism from the group to the group of automorphisms of something. | ||
| | ||
- | <tabbox Examples> | + | <tabbox Why is it interesting?> |
- | --> Example1# | ||
- | + | In physics, we are usually interested in what a [[advanced_tools:group_theory|group]] actually does. A group is an abstract object, but representation theory allows us to derive how a group actually acts on a system. | |
- | <-- | + | |
- | --> Example2:# | + | In addition, representation theory is what allows us to understand [[advanced_notions:elementary_particles|elementary particles]]. For example, by using the tools of representation theory to analyze the Lorentz group (=the fundamental spacetime symmetry group), we learn what kind of elementary particles can exist in nature. Moreover, representation theory is crucial to understand what [[basic_notions:spin|spin]] is, which is one of the most important [[basic_notions:quantum_numbers|quantum numbers]]. |
- | |||
- | <-- | ||
- | |||
- | <tabbox FAQ> | ||
- | | ||
- | <tabbox History> | ||
</tabbox> | </tabbox> | ||