This shows you the differences between two versions of the page.
Next revision | Previous revision Last revision Both sides next revision | ||
advanced_tools:group_theory:representation_theory [2017/12/17 12:33] jakobadmin created |
advanced_tools:group_theory:representation_theory [2018/04/09 15:58] tesmitekle [Intuitive] |
||
---|---|---|---|
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 | ||
+ | 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 Concrete> | ||
- | 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]]. | + | 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 |
+ | $$ R(gh) = R(g) R(h), $$ | ||
+ | where $g$ and $h$ are elements of the group. This means the map must preserve the product structure of the group and the mathematically notion for such a map is **homomorphism**. | ||
+ | **In practice a representation is a map that maps each element of the abstract group onto a matrix.** (Matrices are linear operators over a vector space.) | ||
- | <tabbox Layman> | + | (There are other representations, where the group elements aren't given as matrices, but in physics matrix representations are most of the time sufficient). |
- | <note tip> | + | Take note that it is possible to introduce a more general notion, called a **realisation of the group**. A realisation maps the group elements onto the (not necessarily linear) operators over an arbitrary (no necessary vector-)space. However, in physics we usually only deal with representations, because our physical objects live in vector spaces. |
- | 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> | + | |
- | <note tip> | + | ** Characterization of Representations ** |
- | In this section things should be explained by analogy and with pictures and, if necessary, some formulas. | + | |
- | </note> | + | |
- | + | ||
- | <tabbox Researcher> | + | |
- | <note tip> | + | One way to label representations is by using the [[advanced_tools:group_theory:casimir_operators|Casimir Operators]]. |
- | The motto in this section is: //the higher the level of abstraction, the better//. | + | |
- | </note> | + | |
- | + | 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. | |
- | <tabbox Examples> | + | |
- | --> Example1# | + | ---- |
- | + | For more details, take a look at | |
- | <-- | + | * [[http://jakobschwichtenberg.com/short-introduction-motivation-representation-theory/|Short Introduction to and Motivation for Representation Theory]] |
- | + | * [[http://jakobschwichtenberg.com/adjoint-representation/|What’s so special about the adjoint representation of a Lie group?]] | |
- | --> Example2:# | + | * http://www.damtp.cam.ac.uk/user/ch558/pdf/Representations.pdf |
- | <-- | + | <tabbox Abstract> |
- | <tabbox FAQ> | + | |
+ | Mathematically a representation is a homomorphism from the group to the group of automorphisms of something. | ||
| | ||
- | <tabbox History> | + | <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. | ||
+ | |||
+ | 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> | </tabbox> | ||