Introduction E9F5FC Understandable FFFFFF Questions FFFFC0 Notes EEEEEE Software 
Book.LieTheory istorijaRodyti nežymius pakeitimus  Rodyti galutinio teksto pakeitimus 2018 gruodžio 09 d., 21:49
atliko 
Ištrintos 3036 eilutės:
http://math.stackexchange.com/questions/1764025/intuitiveexplanationfortheconnectionbetweenliegroupsandprojectivespace/1765772 http://math.ucr.edu/home/baez/octonions/node13.html [[https://en.m.wikipedia.org/wiki/Classical_group discussion of forms]] Pridėta 62 eilutė:
[[https://en.m.wikipedia.org/wiki/Classical_group Classical group: Discussion of forms]] Pridėta 64 eilutė:
* [[http://math.stackexchange.com/questions/1764025/intuitiveexplanationfortheconnectionbetweenliegroupsandprojectivespace/1765772  Intuitive explanation for the connection between Lie Groups and projective spaces over R, C, and H]] Pakeistos 7576 eilutės iš
** [[http://math.ucr.edu/home/baez/octonions/  Octonions]] į:
** [[http://math.ucr.edu/home/baez/octonions/  Octonions]] by John Baez *** [[http://math.ucr.edu/home/baez/octonions/node13.html  Octonions and Exceptional Lie Algebras]] 2018 gruodžio 09 d., 21:35
atliko 
Ištrintos 426 eilutės:
* Interpret the Lie product as vector subtraction. Subtraction is nonassociative and this introduces a duality between substraction of a sum and substraction of an alternating sum. Is this perhaps related to the Koblantz conjecture? '''Study''' * What constrains a root system? so that it is not the whole root lattice? * Define the positive definite matrix S intuitively. Interpret its constraints in terms of systems of simple equations. Relate those equations to Dynkin diagrams. * Imagine how the root systems for the A, B, C and D series complete the A chain. * Imagine how 3 series, how 3 dimensions come together in one dimension. * Why can't 4 or more dimensions come together in one dimension? * Consider the algebraic meaning of the various connections between dimensions. How do they relate to the Lie bracket? And to transpositions? Defining the composition of group elements and also their inverses? * Why is it important that the Cartan matrix be invertible? S positive definite? * How is the Cartan matrix related to the matrix defined by the orthogonal basis underlying the fundamental roots? Or to the linear logical equations that result from the equation xT S T = 0? * Intuitively, why is the Cartan matrix not invertible if the chain is a loop? or has B, C, D type endings at both ends? In what sense is a signal propagated across the entire chain? Is it the propagation of slack? * Imagine the ways of extending a perspective and not running into trouble, not collapsing a perspective. What is a perspective? * Do the chains relate to chains of set inclusion and the problems of extending them? (no cycles, etc. all the ways things can go wrong?) * The characteristic polynomial {$\det (\mathrm{ad}_L x  t)$} whose roots are the roots. * Can consider how to summarize the constraints on the Dynkin diagrams. Ways to expand from one node. From two linked nodes. And so on. * Suppose the chain is a broken loop! (Or has its node at infinity?) Can it be recovered, extended, etc.? * Can we have a Dynkin diagram (Cartan matrix) where two nodes are linked by arrows (steps) in both directions? But that is what we have. * Study: [[https://en.wikipedia.org/wiki/Spectral_graph_theory  spectral graph theory]]. Pakeista 11 eilutė iš:
į:
Think about [[https://en.wikipedia.org/wiki/Spectral_graph_theory  spectral graph theory]]. Is it relevant for Dynkin diagrams? 2018 lapkričio 16 d., 14:02
atliko 
Pridėtos 6062 eilutės:
VGTU * [[https://ebookcentral.proquest.com/lib/vgtulibraryebooks/detail.action?docID=731187  Lectures on Advanced Mathematical Methods for Physicists]], Sunil Mukhi and N. Mukunda 2018 spalio 19 d., 21:19
atliko 
Pridėta 26 eilutė:
* Study: [[https://en.wikipedia.org/wiki/Spectral_graph_theory  spectral graph theory]]. 2018 balandžio 07 d., 10:25
atliko 
Pridėtos 47 eilutės:
'''Explore ideas''' * Interpret the Lie product as vector subtraction. Subtraction is nonassociative and this introduces a duality between substraction of a sum and substraction of an alternating sum. Is this perhaps related to the Koblantz conjecture? 2018 vasario 20 d., 16:35
atliko 
Pridėta 87 eilutė:
* [[https://www.classe.cornell.edu/~pt267/files/BSMclub/Nic_12Nov12.pdf  Dynkin Diagrams or Everything You Ever Wanted to Know About Lie Algebras (But Were Too Busy To Ask)]] Nicolas ReyLe Lorier 2018 vasario 05 d., 08:31
atliko 
Pakeistos 4245 eilutės iš
* [[ į:
* [[http://www.perimeterinstitute.ca/videolibrary  Perimeter Institute]] search "Lie Algebras" ** Maite Dupuis ** Gang Xu ** Freddy Cachazo Pridėta 47 eilutė:
2018 vasario 04 d., 11:34
atliko 
Pakeistos 2325 eilutės iš
Universal hyperbolic geometry į:
[[Universal hyperbolic geometry]]: Relationships with Lie theory. 2018 vasario 04 d., 11:32
atliko 
Pridėtos 2223 eilutės:
Write down all of the results of Universal Hyperbolic Geometry. Organize them and interpret them in terms of matrices and my own Lie theory. 2018 vasario 04 d., 11:31
atliko 
Pridėtos 2728 eilutės:
The link between projective geometry and fractions (as equivalence classes). 2018 vasario 04 d., 11:25
atliko 
Pridėta 26 eilutė:
* Universal circle (the wall between inside and outside  is it the wall between propagation forwards and reflection back?) and ...? 2018 vasario 04 d., 11:05
atliko 
Pridėtos 2225 eilutės:
Universal hyperbolic geometry: Relationships with Lie theory. * Perpendicularity and the Lie bracket. * Orthocenters and the Jacobi identity. 2018 vasario 04 d., 11:01
atliko 
Pridėta 29 eilutė:
** [[https://www.youtube.com/watch?v=N2T0bg_DJLQ&index=11&t=1s&list=PLC37ED4C488778E7E  9: Duality and Perpendicularity]] 2018 vasario 04 d., 08:41
atliko 
Pridėta 34 eilutė:
* [[https://www.youtube.com/watch?v=eKtoEJgGN6E  M.S.Raghunathan. Lie Groups]] 2018 vasario 04 d., 08:31
atliko 
Pakeistos 7273 eilutės iš
į:
* [[http://www.ias.ac.in/public/Resources/Other_Publications/Overview/Current_Trends/627633.pdf  Lie groups and algebraic groups]], introductory paper by M.S.Raghunathan, T.N.Venkataramana Pridėta 91 eilutė:
2018 vasario 03 d., 20:28
atliko 
Pridėta 95 eilutė:
* [[https://bookstore.ams.org/stml81/  From Groups to Geometry and Back]] 2018 vasario 03 d., 20:27
atliko 
Pridėta 95 eilutė:
* [[https://bookstore.ams.org/stml79/  Matrix Groups for Undergraduates]] 2018 vasario 03 d., 20:23
atliko 
Pridėtos 2829 eilutės:
* [[https://www.youtube.com/playlist?list=PLC37ED4C488778E7E  Norman Wildberger: Universal Hyperbolic Geometry]] ** [[https://www.youtube.com/watch?v=f68eYuDCsjw&t=549s&list=PLC37ED4C488778E7E&index=21  19: The J function, sl(2) and the Jacobi identity]] Ištrintos 4041 eilutės:
'''References''' 2018 vasario 03 d., 19:16
atliko 
Pakeistos 2733 eilutės iš
į:
Videos to study * [[https://www.youtube.com/watch?v=q1riFCCsUU4  Gang Xu: Lie groups and Lie algebras]] * [[https://www.youtube.com/playlist?list=PLCFDAC024C6B67171&fea%C2%ADture=plcp  David Tong: Quantum Field Theory]] * [[https://www.youtube.com/playlist?list=PLoCsWIeFNq5v4tYjF9AugZeLPszwo2tC3  Paul Langacker: The Standard Model]] * [[https://www.perimeterinstitute.ca/videolibrary  Perimeter Institute]] Ištrintos 6772 eilutės:
Videos to study * [[https://www.youtube.com/watch?v=q1riFCCsUU4  Gang Xu: Lie groups and Lie algebras]] * [[https://www.youtube.com/playlist?list=PLCFDAC024C6B67171&fea%C2%ADture=plcp  David Tong: Quantum Field Theory]] * [[https://www.youtube.com/playlist?list=PLoCsWIeFNq5v4tYjF9AugZeLPszwo2tC3  Paul Langacker: The Standard Model]] * [[https://www.perimeterinstitute.ca/videolibrary  Perimeter Institute]] 2018 vasario 03 d., 19:15
atliko 
Pridėta 71 eilutė:
* [[https://en.wikipedia.org/wiki/Symmetric_space#Classification_result  Wikipedia: Symmetric Spaces]] and their classification. 2018 vasario 03 d., 19:06
atliko 
Pridėtos 34 eilutės:
>>bgcolor=#FFFFC0<< Pakeistos 2376 eilutės iš
I am studying the possible root systems. They seem to describe the ways of relating two dimensions. A dimension can be considered the simplest root system, with 2 roots, opposite to each other. Instead of roots, I think we should think of oriented dimensions acting as oriented mirrors, omirrors. And we can consider the Weyl chamber with regard to which all such omirrors are oriented. Each dimension is perhaps a slot defined by the Lie algebra for a continuous parameter in a Lie group. Thus the Lie algebra explains how the parameters in a Lie group are related with each other. Each node in a Dynkin diagram is an omirror but also each edge in the Dynkin diagram is an omirror across which one node is reflected to another. The reflection may be twodirectional in the case of a single bond (120 degrees) or onedirectional in the case of a double bond (135 degrees) or triple bond (150 degrees). The Cartan matrix gives the freedom of the root b in the direction of root a, that is the reflective distance between b and b in terms of a. This distance is positive (2) in the case of a itself, because a The relationship between two fundamental roots defining two dimensions is given by the number of times one root can be added to the other and still be a root. If the angle is 90 degrees  0 times, 120 degrees  1 time, 135 degrees  2 times, 150 degrees  3 times. Thus if two dimensions are not directly connected, then they can be considered separated by 90 degrees, but otherwise there are three ways they may be connected. Two dimensions may not be directly connected but yet be indirectly connected by way of another dimension. The principal way this occurs is through another dimension that is 120 degrees separated from one root and likewise 120 degrees separated from the other root. The other two roots can then be separated from each other by 90 degrees. We may imagine that 120 degrees is the square root of 90 degrees, in this sense. That is why this is not possible for other degrees, because it needs to be symmetrical going in both directions. Thus this is the way that we can have unbounded chains of dimensions, with adjacent dimensions separated by 120 degrees, and all other dimensions separated by 90 degrees. I can try to visualize such a chain by relabeling dimensions, that is, "forgetting" old dimensions and considering them as new dimensions. So this chain defines the Aseries. We can think of it as transmitting a signal. If we start with onedimension at one end, then the Aseries can end in four ways at the other end. These are the classical Lie groups. Also, the onedimension can lead to a double bond which must end symmetrically, yielding F4. Otherwise, there may be three series coming together into one dimension. These may describe a "coincidence" of three signals coming together. The possible lengths of the series are determined by the equation 1/p Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. One test, in particular, is whether the rows are linearly independent, as they are in the case of a cycle (add all rows and you get 0). The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula {$d_{n If we build up a Dynkin diagram (and Cartan matrix), then a single edge applies the recursion above  if the last two states differ by +1, then so will the next one, and if the last two states are equal, then likewise the next state will be equal. A double edge, if applied as above, will yield 0 if the two states are equal. For groups the important point is that, where RT is R transpose, R*RT = 1 iff the inner product (and lengths) is preserved. And this is the "shortcut" that makes it possible to take the inverse in the group. So the possible Lie groups are given by the possible inner products. The Cartan matrix M is DS where S is positive definite because the simple roots span all of Euclidean space. This is not the case when we have a cycle or other configuration where the determinant is 0 and so the whole space is not spanned. By continuity looking at the product of eigenvalues, if one is negative, then in order for it to become positive, it would have to pass zero, which means that the eigenvectors could not have spanned the whole space (?) The constraints on Acycles and Aloops are logical but the constraining equations allowing G2 are geometrical based on the possible legs for a right triangle. Symplectic algebras involve pairs of dimensions  perhaps because the extra root is longer by 2. Whereas the even orthogonal algebras A classical group is a group that preserves a bilinear or sesquilinear form on finitedimensional vector spaces over R, C or H. A form {{math''φ'': ''V'' × ''V'' → ''F''}} on some finitedimensional right vector space over {{math''F'' {{=}} '''R''', '''C'''}}, or {{math'''H'''}} is * bilinear if: ${\varphi(x\alpha, y\beta) = \alpha\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.}$ *sesquilinear if: ${\varphi(x\alpha, y\beta) = \bar{\alpha}\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.}$ Metric preserving groups. Groups preserving: * bilinear symmetric metrics are called orthogonal * bilinear antisymmetric metrics are called * sesquilinear metrics are called unitary * special orthogonal are groups preserving bilinear symmetric metrics and also volumes * special symplectic are groups preserving bilinear antisymmetric metrics and also volumes * unitarysymplectic groups are the intersection of U(2N) and Sp(2N) and are isomorphic with unitary groups in a Quaternion space USp(2N) ~ U(N,H) Sum of epsiloni equals zero because of the trace. Note that the sum changes size as i grows but it's still zero. It is shifting like the center of the simplex. Fundamental roots are raising and lowering operators for a root lattice. (You stay within the lattice.) If you start with the "lowest weight" combination, then you can get Zero and all of the negative roots as well. There is a lowest maximal weight from we can go back (negatively) to each fundamental root. (?) So a root system is simply the components of the lowest maximal weight (the opposite of zero). This means we have a finite closed system (a building block) for the lattice (similarly to the cube for the usual grid, or other polytopes). When is that true? How does that extend? In each root direction? Bond strength shows the amount of raising and lowering that is possible. Lattice generated by independent vectors. Not interesting. All the same, get a cube. It's interesting when we get repetition. Lattice generated by independent vectors embedded in a smaller space is more interesting. This is the fundamental task of geometry and likewise of neurons, to economize. How small can the space be? And there is an underlying space epsilon1, epsilon2... and how are these spaces related? Measure how much compression there is. They are and must be integers. Consider if we have n*alpha + m*beta = 0, what does that say about theta? Roots ei  ej are the perspective that opposites coexist. Whereas ei or ei+ej mean it's all the same? And are the classical groups given by a foursome of representations for relating these two perspectives? >>bgcolor=#EEEEEE<< į:
>><< [++References++] Pridėtos 98153 eilutės:
[++Notes++] '''Root systems''' I am studying the possible root systems. They seem to describe the ways of relating two dimensions. A dimension can be considered the simplest root system, with 2 roots, opposite to each other. Instead of roots, I think we should think of oriented dimensions acting as oriented mirrors, omirrors. And we can consider the Weyl chamber with regard to which all such omirrors are oriented. Each dimension is perhaps a slot defined by the Lie algebra for a continuous parameter in a Lie group. Thus the Lie algebra explains how the parameters in a Lie group are related with each other. Each node in a Dynkin diagram is an omirror but also each edge in the Dynkin diagram is an omirror across which one node is reflected to another. The reflection may be twodirectional in the case of a single bond (120 degrees) or onedirectional in the case of a double bond (135 degrees) or triple bond (150 degrees). The Cartan matrix gives the freedom of the root b in the direction of root a, that is the reflective distance between b and b in terms of a. This distance is positive (2) in the case of a itself, because a + 2a = a. We can think of this as the measure of increasing freedom inherent in each independent dimension. Otherwise, for b it is negative, either 1, 2, 3. We can think of this as the measure of decreasing freedom because it is the link that relates two dimensions. (Why is this more negative as the span increases?) The determinant of the Cartan matrix needs to be positive because it is a positive definite matrix. This means that the positive freedom (increasing slack) has to be greater than the negative freedom (decreasing slack). This is why the maximum is 3 and 4 is ruled out because the determinant would be 0 = 2*2  1*4. The relationship between two fundamental roots defining two dimensions is given by the number of times one root can be added to the other and still be a root. If the angle is 90 degrees  0 times, 120 degrees  1 time, 135 degrees  2 times, 150 degrees  3 times. Thus if two dimensions are not directly connected, then they can be considered separated by 90 degrees, but otherwise there are three ways they may be connected. Two dimensions may not be directly connected but yet be indirectly connected by way of another dimension. The principal way this occurs is through another dimension that is 120 degrees separated from one root and likewise 120 degrees separated from the other root. The other two roots can then be separated from each other by 90 degrees. We may imagine that 120 degrees is the square root of 90 degrees, in this sense. That is why this is not possible for other degrees, because it needs to be symmetrical going in both directions. Thus this is the way that we can have unbounded chains of dimensions, with adjacent dimensions separated by 120 degrees, and all other dimensions separated by 90 degrees. I can try to visualize such a chain by relabeling dimensions, that is, "forgetting" old dimensions and considering them as new dimensions. So this chain defines the Aseries. We can think of it as transmitting a signal. If we start with onedimension at one end, then the Aseries can end in four ways at the other end. These are the classical Lie groups. Also, the onedimension can lead to a double bond which must end symmetrically, yielding F4. Otherwise, there may be three series coming together into one dimension. These may describe a "coincidence" of three signals coming together. The possible lengths of the series are determined by the equation 1/p + 1/q + 1/r > 1, yielding the D and E series. Finally, two dimensions may be related by a triple bond, yielding G2. Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. One test, in particular, is whether the rows are linearly independent, as they are in the case of a cycle (add all rows and you get 0). The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula {$d_{n+1}=2d_{n}d_{n1}$}, which is to say, they obey the arithmetic mean {$d_{n}=(d_{n1}+d_{n+1})/2$}. The initial conditions for An are A0=2 and A1=3 so they continue increasing by 1. The same recursion formula holds if we start our chain with initial conditions B0=2 and B1=2 and then we get that the determinant Bn=2. Similarly, we have C0=2, C1=2, Cn=2 and D0=4, D1=4, Dn=4. Now if we have a B or C type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=2d_{z}2d_{z1}$} which yields 0 for B, C type endings. Similarly, if we have a D type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=4d_{z}4d_{z1}$} which yields 0. If we build up a Dynkin diagram (and Cartan matrix), then a single edge applies the recursion above  if the last two states differ by +1, then so will the next one, and if the last two states are equal, then likewise the next state will be equal. A double edge, if applied as above, will yield 0 if the two states are equal. For groups the important point is that, where RT is R transpose, R*RT = 1 iff the inner product (and lengths) is preserved. And this is the "shortcut" that makes it possible to take the inverse in the group. So the possible Lie groups are given by the possible inner products. The Cartan matrix M is DS where S is positive definite because the simple roots span all of Euclidean space. This is not the case when we have a cycle or other configuration where the determinant is 0 and so the whole space is not spanned. By continuity looking at the product of eigenvalues, if one is negative, then in order for it to become positive, it would have to pass zero, which means that the eigenvectors could not have spanned the whole space (?) The constraints on Acycles and Aloops are logical but the constraining equations allowing G2 are geometrical based on the possible legs for a right triangle. Symplectic algebras involve pairs of dimensions  perhaps because the extra root is longer by 2. Whereas the even orthogonal algebras A classical group is a group that preserves a bilinear or sesquilinear form on finitedimensional vector spaces over R, C or H. A form {{math''φ'': ''V'' × ''V'' → ''F''}} on some finitedimensional right vector space over {{math''F'' {{=}} '''R''', '''C'''}}, or {{math'''H'''}} is * bilinear if: ${\varphi(x\alpha, y\beta) = \alpha\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.}$ *sesquilinear if: ${\varphi(x\alpha, y\beta) = \bar{\alpha}\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.}$ Metric preserving groups. Groups preserving: * bilinear symmetric metrics are called orthogonal * bilinear antisymmetric metrics are called * sesquilinear metrics are called unitary * special orthogonal are groups preserving bilinear symmetric metrics and also volumes * special symplectic are groups preserving bilinear antisymmetric metrics and also volumes * unitarysymplectic groups are the intersection of U(2N) and Sp(2N) and are isomorphic with unitary groups in a Quaternion space USp(2N) ~ U(N,H) Sum of epsiloni equals zero because of the trace. Note that the sum changes size as i grows but it's still zero. It is shifting like the center of the simplex. Fundamental roots are raising and lowering operators for a root lattice. (You stay within the lattice.) If you start with the "lowest weight" combination, then you can get Zero and all of the negative roots as well. There is a lowest maximal weight from we can go back (negatively) to each fundamental root. (?) So a root system is simply the components of the lowest maximal weight (the opposite of zero). This means we have a finite closed system (a building block) for the lattice (similarly to the cube for the usual grid, or other polytopes). When is that true? How does that extend? In each root direction? Bond strength shows the amount of raising and lowering that is possible. Lattice generated by independent vectors. Not interesting. All the same, get a cube. It's interesting when we get repetition. Lattice generated by independent vectors embedded in a smaller space is more interesting. This is the fundamental task of geometry and likewise of neurons, to economize. How small can the space be? And there is an underlying space epsilon1, epsilon2... and how are these spaces related? Measure how much compression there is. They are and must be integers. Consider if we have n*alpha + m*beta = 0, what does that say about theta? Roots ei  ej are the perspective that opposites coexist. Whereas ei or ei+ej mean it's all the same? And are the classical groups given by a foursome of representations for relating these two perspectives? >>bgcolor=#EEEEEE<< 2018 vasario 03 d., 18:38
atliko 
Pakeistos 116117 eilutės iš
į:
Short texts * [[http://www.math.columbia.edu/~woit/wordpress/?p=9222  Peter Voit on the most important Lie groups and Lie algebras for physics]] 2018 vasario 03 d., 18:30
atliko 
Pakeistos 133136 eilutės iš
į:
Online books * [[http://www.math.columbia.edu/~woit/QM/qmbook.pdf  Quantum Theory, Groups and Representations: An Introduction]], Peter Woit. Concrete examples. Tensors, symplectic geometry, Clifford algebras and geometry. Print books 2018 sausio 28 d., 19:49
atliko 
Pridėta 134 eilutė:
* [[https://smile.amazon.com/LieGroupsIntroductionAnthonyKnapp/dp/0817642595/ref=smi_www_rco2_go_smi_g3499214142?_encoding=UTF8&%2AVersion%2A=1&%2Aentries%2A=0&ie=UTF8  Knapp. Lie Groups Beyond an Introduction]] Geometry 2018 sausio 27 d., 18:37
atliko 
Pridėtos 218222 eilutės:
'''Notes''' Jacobi identity  constraint on nonassociativity  arises from commutator anticommutativity  arises from commutator  relates duality of order of elements with a duality of positive and negative signs 2018 sausio 22 d., 16:48
atliko 
Pridėtos 116117 eilutės:
Pridėtos 132139 eilutės:
Textbooks * [[https://www.amazon.com/IntroductionQuantumStudentEconomyFrontiers/dp/0813350190  Peskin, Schroder: An Introduction to Quantum Field Theory]] * [[https://fliptomato.wordpress.com/2006/12/30/fromgriffithstopeskinalitreviewforbeginners/  Reviews of Quantum Field Theory books]] Lectures * [[http://www.damtp.cam.ac.uk/user/tong/teaching.html  David Tong: Physics]] * [[http://www.damtp.cam.ac.uk/user/tong/qft.html  David Tong: Quantum Field Theory]] 2018 sausio 22 d., 15:00
atliko 
Pridėta 112 eilutė:
* [[https://www.youtube.com/playlist?list=PLCFDAC024C6B67171&fea%C2%ADture=plcp  David Tong: Quantum Field Theory]] 2018 sausio 22 d., 14:56
atliko 
Pridėtos 109113 eilutės:
Videos to study * [[https://www.youtube.com/watch?v=q1riFCCsUU4  Gang Xu: Lie groups and Lie algebras]] * [[https://www.youtube.com/playlist?list=PLoCsWIeFNq5v4tYjF9AugZeLPszwo2tC3  Paul Langacker: The Standard Model]] * [[https://www.perimeterinstitute.ca/videolibrary  Perimeter Institute]] 2018 sausio 22 d., 14:09
atliko 
Pakeistos 107108 eilutės iš
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_24_Notes.pdf  Lecture 24 — Finite dimensional gmodules over a SemiSimple Lie algebra]] į:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_24_Notes.pdf  Lecture 24 — Finite dimensional gmodules over a SemiSimple Lie algebra]] 2018 sausio 22 d., 14:09
atliko 
Pakeista 90 eilutė iš:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_7_Notes.pdf  Lecture 7 į:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_7_Notes.pdf  Lecture 7 — Zariski Topology and Regular Elements]] Pakeista 102 eilutė iš:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_19_Notes.pdf  Lecture į:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_19_Notes.pdf  Lecture 19 — Classification of simple finite dimensional Lie algebras over F]] 2018 sausio 22 d., 13:49
atliko 
Pakeista 94 eilutė iš:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_11_Notes.pdf  į:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_11_Notes.pdf  Lecture 11 — The Radical and Semisimple Lie Algebras]] 2018 sausio 22 d., 13:48
atliko 
Pakeistos 103108 eilutės iš
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_20_Notes.pdf  * * * * * [[http://math.mit.edu/classes/18.745/Notes/Lecture_25_Notes.pdf  į:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_20_Notes.pdf  Lecture 20 — Explicitly constructing Exceptional Lie Algebras]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_21_Notes.pdf  Lecture 21 — The Weyl Group of a Root System]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_22_Notes.pdf  Lecture 22 — The Universal Enveloping Algebra]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_23_Notes.pdf  Lecture 23 — Decomposition of Semisimple Lie Algebras]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_24_Notes.pdf  Lecture 24 — Finite dimensional gmodules over a SemiSimple Lie algebra]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_25_Notes.pdf  Lecture 25 —Dimensions and Characters of Semisimple Lie Algebras]] 2018 sausio 22 d., 13:46
atliko 
Pakeistos 8587 eilutės iš
į:
* [[http://math.mit.edu/classes/18.745/Notes/Lecture_2_Notes.pdf  Lecture 2 — Some Sources of Lie Algebras]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_3_Notes.pdf  Lecture 3 — Engel’s Theorem]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_4_Notes.pdf  Lecture 4 — Nilpotent and Solvable Lie Algebras]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_5_Notes.pdf  Lecture 5 — Lie’s Theorem]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_6_Notes.pdf  Lecture 6 — Generalized Eigenspaces & Generalized Weight Spaces]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_7_Notes.pdf  Lecture 7  Zariski Topology and Regular Elements]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_8_Notes.pdf  Lecture 8 — Cartan Subalgebra]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_9_Notes.pdf  Lecture 9 — Chevalley’s Theorem]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_10_Notes.pdf  Lecture 10 — Trace Form & Cartan’s criterion]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_11_Notes.pdf  http://math.mit.edu/classes/18.745/Notes/Lecture_11_Notes.pdf]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_12_Notes.pdf  Lecture 12 — Structure Theory of Semisimple Lie Algebras (I)]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_13_Notes.pdf  Lecture 13 — Structure Theory of Semisimple Lie Algebras II]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_14_Notes.pdf  Lecture 14 — The Structure of Semisimple Lie Algebras III]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_15_Notes.pdf  Lecture 15 — Classical (Semi) Simple Lie Algebras and Root Systems]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_16_Notes.pdf  Lecture 16 — Root Systems and Root Lattices]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_17_Notes.pdf  Lecture 17 — Cartan Matrices and Dynkin Diagrams]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_18_Notes.pdf  Lecture 18 — Classification of Dynkin Diagrams]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_19_Notes.pdf  Lecture: 19 Classification of simple finite dimensional Lie algebras over F]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_20_Notes.pdf  ]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_21_Notes.pdf  ]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_22_Notes.pdf  ]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_23_Notes.pdf  ]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_24_Notes.pdf  ]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_25_Notes.pdf  ]] 2018 sausio 22 d., 12:33
atliko 
Pakeistos 8182 eilutės iš
** į:
'''References''' [[http://math.mit.edu/classes/18.745/classnotes.html  Victor Kac: Introduction to Lie Algebras]] * [[http://math.mit.edu/classes/18.745/Notes/Lecture_1_Notes.pdf  Lecture 1 — Basic Definitions (I)]] 2018 sausio 21 d., 18:53
atliko  2018 sausio 21 d., 14:36
atliko 
Pakeistos 15 eilutės iš
See: [[Math]], [[ I am trying to understand Lie groups and algebras because they are central to all of mathematics. Also, it seems that the four classical Lie groups/algebras describe four basic geometries in my diagram of ways of figuring things out. In particular, I wonder why, intuitively, there are four classical Lie groups/algebras. į:
See: [[Math]], [[Classical Lie groups]], [[Tensor]] 2017 sausio 31 d., 20:45
atliko 
Pridėtos 2223 eilutės:
* Suppose the chain is a broken loop! (Or has its node at infinity?) Can it be recovered, extended, etc.? * Can we have a Dynkin diagram (Cartan matrix) where two nodes are linked by arrows (steps) in both directions? But that is what we have. 2017 sausio 31 d., 20:41
atliko 
Pridėta 21 eilutė:
* Can consider how to summarize the constraints on the Dynkin diagrams. Ways to expand from one node. From two linked nodes. And so on. 2017 sausio 31 d., 20:39
atliko 
Pakeista 72 eilutė iš:
Roots ei  ej are the perspective that opposites coexist. Whereas ei or ei+ej mean it's all the same? į:
Roots ei  ej are the perspective that opposites coexist. Whereas ei or ei+ej mean it's all the same? And are the classical groups given by a foursome of representations for relating these two perspectives? 2017 sausio 31 d., 20:38
atliko 
Pridėtos 7172 eilutės:
Roots ei  ej are the perspective that opposites coexist. Whereas ei or ei+ej mean it's all the same? 2017 sausio 31 d., 20:32
atliko 
Pridėta 9 eilutė:
* What constrains a root system? so that it is not the whole root lattice? 2017 sausio 29 d., 10:29
atliko 
Pridėtos 6869 eilutės:
Lattice generated by independent vectors. Not interesting. All the same, get a cube. It's interesting when we get repetition. Lattice generated by independent vectors embedded in a smaller space is more interesting. This is the fundamental task of geometry and likewise of neurons, to economize. How small can the space be? And there is an underlying space epsilon1, epsilon2... and how are these spaces related? Measure how much compression there is. They are and must be integers. Consider if we have n*alpha + m*beta = 0, what does that say about theta? 2017 sausio 29 d., 10:19
atliko 
Pridėtos 6267 eilutės:
Fundamental roots are raising and lowering operators for a root lattice. (You stay within the lattice.) If you start with the "lowest weight" combination, then you can get Zero and all of the negative roots as well. There is a lowest maximal weight from we can go back (negatively) to each fundamental root. (?) So a root system is simply the components of the lowest maximal weight (the opposite of zero). This means we have a finite closed system (a building block) for the lattice (similarly to the cube for the usual grid, or other polytopes). When is that true? How does that extend? In each root direction? Bond strength shows the amount of raising and lowering that is possible. 2017 sausio 28 d., 00:01
atliko 
Pridėtos 6061 eilutės:
Sum of epsiloni equals zero because of the trace. Note that the sum changes size as i grows but it's still zero. It is shifting like the center of the simplex. 2017 sausio 27 d., 20:09
atliko 
Pridėtos 4659 eilutės:
Symplectic algebras involve pairs of dimensions  perhaps because the extra root is longer by 2. Whereas the even orthogonal algebras A classical group is a group that preserves a bilinear or sesquilinear form on finitedimensional vector spaces over R, C or H. A form {{math''φ'': ''V'' × ''V'' → ''F''}} on some finitedimensional right vector space over {{math''F'' {{=}} '''R''', '''C'''}}, or {{math'''H'''}} is * bilinear if: ${\varphi(x\alpha, y\beta) = \alpha\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.}$ *sesquilinear if: ${\varphi(x\alpha, y\beta) = \bar{\alpha}\varphi(x, y)\beta, \quad \forall x,y \in V, \forall \alpha,\beta \in F.}$ Metric preserving groups. Groups preserving: * bilinear symmetric metrics are called orthogonal * bilinear antisymmetric metrics are called * sesquilinear metrics are called unitary * special orthogonal are groups preserving bilinear symmetric metrics and also volumes * special symplectic are groups preserving bilinear antisymmetric metrics and also volumes * unitarysymplectic groups are the intersection of U(2N) and Sp(2N) and are isomorphic with unitary groups in a Quaternion space USp(2N) ~ U(N,H) 2017 sausio 23 d., 23:58
atliko 
Pridėta 15 eilutė:
* How is the Cartan matrix related to the matrix defined by the orthogonal basis underlying the fundamental roots? Or to the linear logical equations that result from the equation xT S T = 0? 2017 sausio 23 d., 23:56
atliko 
Pakeistos 1617 eilutės iš
* Imagine the ways of extending a perspective and not running into trouble į:
* Imagine the ways of extending a perspective and not running into trouble, not collapsing a perspective. What is a perspective? * Do the chains relate to chains of set inclusion and the problems of extending them? (no cycles, etc. all the ways things can go wrong?) 2017 sausio 23 d., 00:42
atliko 
Pakeista 54 eilutė iš:
** į:
** [[http://math.mit.edu/classes/18.745/classnotes.html  Victor Kac: Introduction to Lie Algebras]] 2017 sausio 22 d., 23:22
atliko 
Pridėta 55 eilutė:
** [[http://math.stackexchange.com/questions/1764025/intuitiveexplanationfortheconnectionbetweenliegroupsandprojectivespace  Intuitive explanation for the connection between Lie Groups and projective spaces over R, C, and H]] 2017 sausio 20 d., 13:45
atliko 
Pridėtos 4243 eilutės:
The constraints on Acycles and Aloops are logical but the constraining equations allowing G2 are geometrical based on the possible legs for a right triangle. 2017 sausio 20 d., 13:42
atliko 
Pridėta 9 eilutė:
* Define the positive definite matrix S intuitively. Interpret its constraints in terms of systems of simple equations. Relate those equations to Dynkin diagrams. Pakeista 14 eilutė iš:
* Why is it important that the Cartan matrix be invertible? positive definite? į:
* Why is it important that the Cartan matrix be invertible? S positive definite? 2017 sausio 20 d., 13:27
atliko 
Pakeista 40 eilutė iš:
The Cartan matrix is positive definite because the simple roots span all of Euclidean space. This is not the case when we have a cycle or other configuration where the determinant is 0 and so the whole space is not spanned. By continuity looking at the product of eigenvalues, if one is negative, then in order for it to become positive, it would have to pass zero, which means that the eigenvectors could not have spanned the whole space (?) į:
The Cartan matrix M is DS where S is positive definite because the simple roots span all of Euclidean space. This is not the case when we have a cycle or other configuration where the determinant is 0 and so the whole space is not spanned. By continuity looking at the product of eigenvalues, if one is negative, then in order for it to become positive, it would have to pass zero, which means that the eigenvectors could not have spanned the whole space (?) 2017 sausio 20 d., 12:18
atliko 
Pakeistos 4041 eilutės iš
The Cartan matrix is positive definite because the simple roots span all of Euclidean space. This is not the case when we have a cycle or other configuration where the determinant is 0 and so the whole space is not spanned. į:
The Cartan matrix is positive definite because the simple roots span all of Euclidean space. This is not the case when we have a cycle or other configuration where the determinant is 0 and so the whole space is not spanned. By continuity looking at the product of eigenvalues, if one is negative, then in order for it to become positive, it would have to pass zero, which means that the eigenvectors could not have spanned the whole space (?) 2017 sausio 20 d., 12:08
atliko 
Pridėtos 3941 eilutės:
The Cartan matrix is positive definite because the simple roots span all of Euclidean space. This is not the case when we have a cycle or other configuration where the determinant is 0 and so the whole space is not spanned. 2017 sausio 20 d., 11:52
atliko 
Pakeista 13 eilutė iš:
* Why is it important that the Cartan matrix be invertible? į:
* Why is it important that the Cartan matrix be invertible? positive definite? 2017 sausio 20 d., 11:50
atliko 
Pakeista 14 eilutė iš:
* Intuitively, why is the Cartan matrix not invertible if the chain is a loop? or has B, C, D type endings at both ends? In what sense is a į:
* Intuitively, why is the Cartan matrix not invertible if the chain is a loop? or has B, C, D type endings at both ends? In what sense is a signal propagated across the entire chain? Is it the propagation of slack? 2017 sausio 20 d., 11:44
atliko 
Pridėta 49 eilutė:
** [[[http://math.mit.edu/classes/18.745/classnotes.html  Victor Kac: Introduction to Lie Algebras]] 2017 sausio 19 d., 00:03
atliko 
Pakeistos 1011 eilutės iš
* Imagine how 3 series į:
* Imagine how 3 series, how 3 dimensions come together in one dimension. * Why can't 4 or more dimensions come together in one dimension? Pakeista 14 eilutė iš:
* Intuitively, why is the Cartan matrix not invertible if the chain is a loop? or has B, C, D type endings at both ends? In what sense is a single propagated across the entire chain? į:
* Intuitively, why is the Cartan matrix not invertible if the chain is a loop? or has B, C, D type endings at both ends? In what sense is a single propagated across the entire chain? Is it the propagation of slack? 2017 sausio 18 d., 23:57
atliko 
Pakeista 25 eilutė iš:
į:
The Cartan matrix gives the freedom of the root b in the direction of root a, that is the reflective distance between b and b in terms of a. This distance is positive (2) in the case of a itself, because a + 2a = a. We can think of this as the measure of increasing freedom inherent in each independent dimension. Otherwise, for b it is negative, either 1, 2, 3. We can think of this as the measure of decreasing freedom because it is the link that relates two dimensions. (Why is this more negative as the span increases?) The determinant of the Cartan matrix needs to be positive because it is a positive definite matrix. This means that the positive freedom (increasing slack) has to be greater than the negative freedom (decreasing slack). This is why the maximum is 3 and 4 is ruled out because the determinant would be 0 = 2*2  1*4. 2017 sausio 17 d., 18:29
atliko 
Pakeista 37 eilutė iš:
į:
For groups the important point is that, where RT is R transpose, R*RT = 1 iff the inner product (and lengths) is preserved. And this is the "shortcut" that makes it possible to take the inverse in the group. So the possible Lie groups are given by the possible inner products. 2017 sausio 17 d., 14:50
atliko 
Pakeistos 1920 eilutės iš
I am studying the possible root systems. They seem to describe the ways of relating two dimensions. A dimension can be considered the simplest root system, with 2 roots, opposite to each other. The relationship between two fundamental roots defining two dimensions is given by the number of times one root can be added to the other and still be a root. If the angle is 90 degrees  0 times, 120 degrees  1 time, 135 degrees  2 times, 150 degrees  3 times. Thus if two dimensions are not directly connected, then they can be considered separated by 90 degrees, but otherwise there are three ways they may be connected. į:
I am studying the possible root systems. They seem to describe the ways of relating two dimensions. A dimension can be considered the simplest root system, with 2 roots, opposite to each other. Instead of roots, I think we should think of oriented dimensions acting as oriented mirrors, omirrors. And we can consider the Weyl chamber with regard to which all such omirrors are oriented. Each dimension is perhaps a slot defined by the Lie algebra for a continuous parameter in a Lie group. Thus the Lie algebra explains how the parameters in a Lie group are related with each other. Each node in a Dynkin diagram is an omirror but also each edge in the Dynkin diagram is an omirror across which one node is reflected to another. The reflection may be twodirectional in the case of a single bond (120 degrees) or onedirectional in the case of a double bond (135 degrees) or triple bond (150 degrees). The relationship between two fundamental roots defining two dimensions is given by the number of times one root can be added to the other and still be a root. If the angle is 90 degrees  0 times, 120 degrees  1 time, 135 degrees  2 times, 150 degrees  3 times. Thus if two dimensions are not directly connected, then they can be considered separated by 90 degrees, but otherwise there are three ways they may be connected. Pridėtos 3637 eilutės:
2017 sausio 16 d., 18:37
atliko 
Pridėtos 2627 eilutės:
If we build up a Dynkin diagram (and Cartan matrix), then a single edge applies the recursion above  if the last two states differ by +1, then so will the next one, and if the last two states are equal, then likewise the next state will be equal. A double edge, if applied as above, will yield 0 if the two states are equal. 2017 sausio 16 d., 17:59
atliko 
Pakeista 25 eilutė iš:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. One test, in particular, is whether the rows are linearly independent, as they are in the case of a cycle (add all rows and you get 0). The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula d_{n+1}=2d_{n}d_{n1}, which is to say, they obey the arithmetic mean {$d_{n}=(d_{n1}+d_{n+1})/2$}. The initial conditions for An are A0=2 and A1=3 so they continue increasing by 1. The same recursion formula holds if we start our chain with initial conditions B0=2 and B1=2 and then we get that the determinant Bn=2. Similarly, we have C0=2, C1=2, Cn=2 and D0=4, D1=4, Dn=4. Now if we have a B or C type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=2d_{z}2d_{z1}$} which yields 0 for B, C type endings. Similarly, if we have a D type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=4d_{z}4d_{z1}$} which yields 0. į:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. One test, in particular, is whether the rows are linearly independent, as they are in the case of a cycle (add all rows and you get 0). The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula {$d_{n+1}=2d_{n}d_{n1}$}, which is to say, they obey the arithmetic mean {$d_{n}=(d_{n1}+d_{n+1})/2$}. The initial conditions for An are A0=2 and A1=3 so they continue increasing by 1. The same recursion formula holds if we start our chain with initial conditions B0=2 and B1=2 and then we get that the determinant Bn=2. Similarly, we have C0=2, C1=2, Cn=2 and D0=4, D1=4, Dn=4. Now if we have a B or C type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=2d_{z}2d_{z1}$} which yields 0 for B, C type endings. Similarly, if we have a D type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=4d_{z}4d_{z1}$} which yields 0. 2017 sausio 16 d., 17:56
atliko  2017 sausio 16 d., 17:38
atliko 
Pakeista 25 eilutė iš:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. į:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. One test, in particular, is whether the rows are linearly independent, as they are in the case of a cycle (add all rows and you get 0). The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula d_{n+1}=2d_{n}d_{n1}, which is to say, they obey the arithmetic mean {$d_{n}=(d_{n1}+d_{n+1})/2$}. The initial conditions for An are A0=2 and A1=3 so they continue increasing by 1. The same recursion formula holds if we start our chain with initial conditions B0=2 and B1=2 and then we get that the determinant Bn=2. Similarly, we have C0=2, C1=2, Cn=2 and D0=4, D1=4, Dn=4. Now if we have a B or C type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=2d_{z}2d_{z1}$} which yields 0 for B, C type endings. Similarly, if we have a D type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=4d_{z}4d_{z1}$} which yields 0. 2017 sausio 16 d., 17:31
atliko 
Pridėtos 1214 eilutės:
* Why is it important that the Cartan matrix be invertible? * Intuitively, why is the Cartan matrix not invertible if the chain is a loop? or has B, C, D type endings at both ends? In what sense is a single propagated across the entire chain? * Imagine the ways of extending a perspective and not running into trouble. What is a perspective? 2017 sausio 16 d., 17:26
atliko 
Pakeista 22 eilutė iš:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula d_{n+1}=2d_{n}d_{n1}, which is to say, they obey the arithmetic mean d_{n}=(d_{n1}+d_{n+1})/2. The initial conditions for An are A0=2 and A1=3 so they continue increasing by 1. The same recursion formula holds if we start our chain with initial conditions B0=2 and B1=2 and then we get that the determinant Bn=2. Similarly, we have C0=2, C1=2, Cn=2 and D0=4, D1=4, Dn=4. Now if we have a B or C type ending at the other end of the chain, then the recursion formula switches to d_{z+1}=2d_{z}2d_{z1} which yields 0 for B, C type endings. Similarly, if we have a D type ending at the other end of the chain, then the recursion formula switches to d_{z+1}=4d_{z}4d_{z1} which yields 0. į:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula d_{n+1}=2d_{n}d_{n1}, which is to say, they obey the arithmetic mean {$d_{n}=(d_{n1}+d_{n+1})/2$}. The initial conditions for An are A0=2 and A1=3 so they continue increasing by 1. The same recursion formula holds if we start our chain with initial conditions B0=2 and B1=2 and then we get that the determinant Bn=2. Similarly, we have C0=2, C1=2, Cn=2 and D0=4, D1=4, Dn=4. Now if we have a B or C type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=2d_{z}2d_{z1}$} which yields 0 for B, C type endings. Similarly, if we have a D type ending at the other end of the chain, then the recursion formula switches to {$d_{z+1}=4d_{z}4d_{z1}$} which yields 0. 2017 sausio 16 d., 17:26
atliko 
Pakeista 22 eilutė iš:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. į:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. This is to say that the Cartan matrix needs to be invertible. I think that if the Cartan matrix for a subdiagram is singular, then it is also for the diagram. The determinant {$d_{n}$} of the Cartan matrix for An (the chain) is given by the recursion formula d_{n+1}=2d_{n}d_{n1}, which is to say, they obey the arithmetic mean d_{n}=(d_{n1}+d_{n+1})/2. The initial conditions for An are A0=2 and A1=3 so they continue increasing by 1. The same recursion formula holds if we start our chain with initial conditions B0=2 and B1=2 and then we get that the determinant Bn=2. Similarly, we have C0=2, C1=2, Cn=2 and D0=4, D1=4, Dn=4. Now if we have a B or C type ending at the other end of the chain, then the recursion formula switches to d_{z+1}=2d_{z}2d_{z1} which yields 0 for B, C type endings. Similarly, if we have a D type ending at the other end of the chain, then the recursion formula switches to d_{z+1}=4d_{z}4d_{z1} which yields 0. 2017 sausio 16 d., 09:36
atliko 
Pridėtos 2122 eilutės:
Dynkin diagrams not allowed are those for which the Cartan matrix of a Dynkin subdiagram has determinant zero. 2017 sausio 14 d., 20:39
atliko 
Pridėta 11 eilutė:
* Consider the algebraic meaning of the various connections between dimensions. How do they relate to the Lie bracket? And to transpositions? Defining the composition of group elements and also their inverses? 2017 sausio 14 d., 19:41
atliko 
Pakeista 19 eilutė iš:
So this chain defines the Aseries. We can think of it as transmitting a signal. If we start with onedimension at one end, then the Aseries can end in four ways at the other end. These are the classical Lie groups. Also, the onedimension can lead to a double bond which must end symmetrically, yielding F4. Otherwise, there may be three series coming together into one dimension. The possible lengths of the series are determined by the equation 1/p + 1/q + 1/r > 1, yielding the D and E series. Finally, two dimensions may be related by a triple bond, yielding G2. į:
So this chain defines the Aseries. We can think of it as transmitting a signal. If we start with onedimension at one end, then the Aseries can end in four ways at the other end. These are the classical Lie groups. Also, the onedimension can lead to a double bond which must end symmetrically, yielding F4. Otherwise, there may be three series coming together into one dimension. These may describe a "coincidence" of three signals coming together. The possible lengths of the series are determined by the equation 1/p + 1/q + 1/r > 1, yielding the D and E series. Finally, two dimensions may be related by a triple bond, yielding G2. 2017 sausio 14 d., 19:17
atliko 
Pridėta 10 eilutė:
* Imagine how 3 series come together in one dimension. 2017 sausio 14 d., 19:17
atliko 
Pridėta 9 eilutė:
* Imagine how the root systems for the A, B, C and D series complete the A chain. Pakeistos 1418 eilutės iš
I am studying the possible root systems. They seem to describe the ways of relating two dimensions. A dimension can be considered the simplest root system, with 2 roots, opposite to each other. į:
I am studying the possible root systems. They seem to describe the ways of relating two dimensions. A dimension can be considered the simplest root system, with 2 roots, opposite to each other. The relationship between two fundamental roots defining two dimensions is given by the number of times one root can be added to the other and still be a root. If the angle is 90 degrees  0 times, 120 degrees  1 time, 135 degrees  2 times, 150 degrees  3 times. Thus if two dimensions are not directly connected, then they can be considered separated by 90 degrees, but otherwise there are three ways they may be connected. Two dimensions may not be directly connected but yet be indirectly connected by way of another dimension. The principal way this occurs is through another dimension that is 120 degrees separated from one root and likewise 120 degrees separated from the other root. The other two roots can then be separated from each other by 90 degrees. We may imagine that 120 degrees is the square root of 90 degrees, in this sense. That is why this is not possible for other degrees, because it needs to be symmetrical going in both directions. Thus this is the way that we can have unbounded chains of dimensions, with adjacent dimensions separated by 120 degrees, and all other dimensions separated by 90 degrees. I can try to visualize such a chain by relabeling dimensions, that is, "forgetting" old dimensions and considering them as new dimensions. So this chain defines the Aseries. We can think of it as transmitting a signal. If we start with onedimension at one end, then the Aseries can end in four ways at the other end. These are the classical Lie groups. Also, the onedimension can lead to a double bond which must end symmetrically, yielding F4. Otherwise, there may be three series coming together into one dimension. The possible lengths of the series are determined by the equation 1/p + 1/q + 1/r > 1, yielding the D and E series. Finally, two dimensions may be related by a triple bond, yielding G2. 2017 sausio 14 d., 18:50
atliko 
Pakeista 9 eilutė iš:
* The characteristic polynomial $ į:
* The characteristic polynomial {$\det (\mathrm{ad}_L x  t)$} whose roots are the roots. 2017 sausio 14 d., 18:48
atliko 
Pakeista 9 eilutė iš:
* The characteristic polynomial <math>\det (\mathrm{ad}_L x  t)</math> whose roots are the roots. į:
* The characteristic polynomial $<math>\det (\mathrm{ad}_L x  t)</math>$ whose roots are the roots. 2017 sausio 14 d., 18:48
atliko 
Pridėtos 213 eilutės:
I am trying to understand Lie groups and algebras because they are central to all of mathematics. Also, it seems that the four classical Lie groups/algebras describe four basic geometries in my diagram of ways of figuring things out. In particular, I wonder why, intuitively, there are four classical Lie groups/algebras. '''Study''' * The characteristic polynomial <math>\det (\mathrm{ad}_L x  t)</math> whose roots are the roots. '''Root systems''' I am studying the possible root systems. They seem to describe the ways of relating two dimensions. A dimension can be considered the simplest root system, with 2 roots, opposite to each other. 2016 gruodžio 13 d., 22:36
atliko 
Pridėtos 1102 eilutės:
See: [[Math]], [[Tensor]] >>bgcolor=#EEEEEE<< http://math.stackexchange.com/questions/1764025/intuitiveexplanationfortheconnectionbetweenliegroupsandprojectivespace/1765772 http://math.ucr.edu/home/baez/octonions/node13.html [[https://en.m.wikipedia.org/wiki/Classical_group discussion of forms]] * Lie group ir algebra teorijos ** [[https://en.wikipedia.org/wiki/Coxeter_group  Finite Coxeter group properties]] žiūrėti lentelę ** pradedant tensoriais ** [[http://math.ucr.edu/home/baez/qgfall2008/  Lie theory through examples]] ** http://link.springer.com/book/10.1007%2F9781461209799 ** [[http://arxiv.org/pdf/0902.0431v1  Exceptional Lie groups]] ** [[http://math.ucr.edu/home/baez/octonions/  Octonions]] ** http://phyweb.lbl.gov/~rncahn/www/liealgebras/texall.pdf ** [[http://www.nbi.dk/GroupTheory/  Group theory]], representation theory of Symmetric group ** [[https://en.wikipedia.org/wiki/Symmetric_space  Symmetric space]], including modern classification by Huang and Leung. ** [[https://en.wikipedia.org/wiki/Amplituhedron  Amplituhedron]], [[http://www.preposterousuniverse.com/blog/2014/03/31/guestpostjaroslavtrnkaontheamplituhedron/  post by Jaroslav Trnka]] related to walks on trees? [[http://susy2013.ictp.it/video/05_Friday/2013_08_30_ArkaniHamed_43.html  video]] * Root systems: Lie algebrų rūšių pagrindas * [[http://www.continuummechanics.org  Continuum mechanics]] Lie Bracket: * Remiasi tuo, kad summing over permutations of 1 yield 0. [x,x]=0 * Summing over permutations of 2 yields 0. [x,y]+[y,x]=0 * Summing over permutations of 3 yields 0. [x,[y,z]] + [y,[z,x]] + [z,[x,y]]=0 That's true writing out [x,y]=xyyx and summing out you get a positive and a negative term for each permutation. But also true in the brackets directly permuting cyclically. What would it look like to sum over permutations of 4? Lie groups and Lie algebras * ways of breaking up an identity into two elements that are inverses of each other * orthogonal: symmetric transposes of each other * unitary: conjugate transposes of each other * symplectic: antisymmetric transposes of each other * [[https://en.m.wikipedia.org/wiki/Unitary_group#2outof3_property  two out of three property]] At the level of forms, this can be seen by decomposing a Hermitian form into its real and imaginary parts: the real part is symmetric (orthogonal), and the imaginary part is skewsymmetric (symplectic)—and these are related by the complex structure (which is the compatibility).  Today I watched video "J2 Unitary Groups" from doctorphys series on "Theoretical Physics" at YouTube. https://www.youtube.com/playlist?list=PL54DF0652B30D99A4 I appreciate that he actually calculates some small, concrete examples, which is what I try to do, too. And then he made an extra remark which made things click for me. He explained for a particular matrix that when you take the inverse, it's just like reversing the direction of the angle. So I want to apply that insight and write up my thoughts on making sense of the classical Lie groups. I will start by describing what they are. First, I will explain what a "group" is. In math, a group is at work/play whenever we think/talk about actions. For example, imagine a drawing in the plane. Let's establish some point in the drawing where we pin it down to the plane. Then we can rotate that picture by X degrees. Let's say, for the sake of concreteness, that X is an integer from 0 to 359. Then the rotations are "actions" in that they can be: * added: rotations by X and by Y can be added to get a rotation by X+Y * it's associative (you can insert parentheses as you prefer): rotating by ((X+Y)+Z) = rotating by (X + (Y+Z)) * there's an action which does nothing, leaves things be, namely the "identity" action 0 * you can undo each action. Rotation by X (say 40 degrees) can be undone by some other rotation (320 degrees = 40 degrees). We call this a "group" of actions (elements, operators, etc.) You can have subgroups. So if we restrict ourselves to rotations by multiples of 5 degrees (5, 10, 15...) we will have the 60 rotations we need for the minute hand of an oldfashioned, predigital clock. If we restrict ourselves to rotations of 30 degrees (30, 60, 90...) we will have the 12 rotations we need for the hour hand of that same clock. If we restrict to rotations of 90 degrees (0, 90, 180, 270), then we have the 4 rotations which would keep our drawing unchanged if it was a square. This is called a "symmetry group" but the others are symmetry groups, too, for the right objects. If we restrict to rotations of 72 degrees, then we have the 5 rotations that would keep a pentagon unchanged. This last subgroup would be special because it doesn't have any subgroups, partly because 5 is a prime number. Such subgroups are valued as building blocks for more complicated groups. All of these groups are "commutative" because rotating by X and by Y is the same as rotating by Y and then by X. But there are groups which are not commutative. Let's take the 4 rotations (0, 90, 180, 270) of the square in the plane and let's add a reflection R that flips the square over on that plane. Then it turns out that we have a group of 8 actions and we have, for example, that 90 + R does not equal R + 90. You can imagine noncommutativity is typical when you play with a Rubik's cube (the order of the actions matters). All of these groups are finite. But we can also have infinite groups. Imagine if we rotated by any real number of degrees. These rotations happen to also be continuous, which is not trivial to make rigorous, but I think basically here boils down to the fact that we can make infinitesimal, that is, itsy bitsy rotations, as small as we want. So then we have a Lie group. You can imagine that Lie groups are important in physics because we live in a world where actions can be subtle and continuous. The "building blocks" of the Lie groups have been classified. There are four families of groups, An, Bn, Cn, Dn, where n is any natural number. These are called the classical Lie groups. There are also five exceptional Lie groups. I would like to intuitively, qualitatively understand the essence of those classical groups, so I could feel what makes them different and what they share in common. I have failed to find any such exposition. But I think I'm getting closer. These classical Lie groups are known as the unitary (An), orthogonal (odd and even, Bn and Dn) and symplectic (Cn). These can all be thought of as groups of matrices. Each matrix can be thought of as an action, as a rule which tells you how to break up one vector into components, modify those components, and then output a new vector. These rules can be composed just like actions. In general, matrices and matrix multiplication are used to describe explicitly a group's actions and how they are composed. This is called a group representation. It's a bit like writing down the multiplication table of a group. Mathematicians study the restrictions on the types of tables possible and can determine from that the nature of the group, for example, how it breaks down into subgroups. The numbers in these matrices can be complex numbers. Now for me the key distinction seems to be that in each group there is a special way to imagine how an action is undone. In other words, there is a special relation between a matrix and its inverse. You undo an action: * in a unitary group, by taking the conjugate transpose of its matrix. * in an orthogonal group, by taking the symmetric transpose of its matrix. * in a symplectic group, by taking the antisymmetric transpose of its matrix. What is a transpose? An NxN matrix is a set of rules which takes a column vector (of N components) as the input and outputs a row vector (of N components). Then the transpose is the same set of rules but just reorganized so that the input is a row vector and the matrix outputs a column vector. That will be important if we think in terms of tensors where the row vectors and the column vectors are the extremes of topdown thinking and bottomup thinking in building a coordinate space. So this is what the classical Lie groups all have in common. Where they differ is on how they modify the transpose so that the group's action is undone.  Joe, Kirby, I'm thinking that this distinction between ratios and products comes up as the distinction between "contravariants" and "covariants". And I'm imagining that a (p,q) tensor tells you that p dimensions are to be understood in terms of "division" (contravariants, as with vectors) and q dimensions are to be understood in terms of "multiplication" (covariants, as with covectors  reflections). I'm still trying to figure it out. For example, if you have an answer A = 5 / 7 then on the one hand you are dividing, and in fact, the denominator 1/7 is the "unit", that is, the "denominated" whereas the 5 is the amount, the "numerated". If you want the fraction to stay the same then you have to multiply the top and bottom by the same. I mean to say that I don't understand but I think that tensors are relevant to this question. The link between difference/sum and ratio/product is given by the exponential/logarithm function. In particular, the Lie group G and the Lie algebra A are related by: e**A = G So this is a key equation for relating the discrete world (Lie algebra A) and the continuous world (Lie group G). Addition/subtraction in the discrete world is matched by multiplication/division in the continuous world. The equation above involves matrices. In general, there is the very meaningful "polar decomposition" of matrices: M = P U = P e**iH analogous to polar coordinates for a complex number: z = R e**i t P is a positive semidefinite Hermitian matrix, which means that all of its eigenvalues are nonnegative real numbers, which means that the effect of the matrix P is simply to distort the lengths of vectors in various directions (which is analogous to R). U is a unitary matrix, which means that it preserves lengths but may be a rotation, for example, as given by the Hermitian matrix H, whose eigenvalues are real. Well, for Lie groups (continuous groups) to exist their actions (their elements) need to have counteractions, that is, inverses. And when those actions are described as matrices, it turns out that there can't be any radial component P. That is, the matrix can't stretch vectors bigger or smaller. Otherwise, apparently, the action would rip the group apart, it would not be continuous. All that can exist is the angular component. In other words, the volumes (bound by a set of vectors) have to be preserved. These volumes are given by the determinant, which I think detects what is "inside" the volume and what is "outside" of it. The determinant has to be nonzero (so that the volume doesn't collapse, and thus the matrix is reversible), but also it has to have absolute value 1 (so that there is no stretching bigger or smaller). We can also relate this to Cramer's rule for calculating the inverse of the matrix, where the denominator is the determinant, and thus in our case there is no denominator to speak of. What this means is that for Lie groups there is always a "short cut" for calculating the inverse of the action. In the case of the circle group, for example, it means that an action doesn't have to be thought of as a big matrix that needs to be inverted. Instead, in that case we can think of the action as rotating by an angle, and the inverse is simply rotating back. Thus these "short cuts" are given by the adjoint matrix. For example, for unitary matrices the short cut for calculating the inverses is to take the conjugate transpose. So now I'm trying to understand what "short cuts" are allowed. That apparently classifies the Lie groups. The way that classification is made is instead to look at the Lie algebras. Instead of looking at multiplication (in Lie groups) we look at addition (in Lie algebras). The addition is I think described by crystallographic lattices, which is where the tetrahedral vs. Euclidean geometries come up, for example. And so it is possible to calculate the limited possibilities for the geometry. So I will try to figure that out and report back. A related way to understand this is to look at the "normal forms" preserved by the Lie groups. I suppose this means that each Lie group preserves not only the lengths (and volumes) but something more precise. There aren't many possibiities, though. >><< 
LieTheoryNaujausi pakeitimai 
Puslapis paskutinį kartą pakeistas 2018 gruodžio 09 d., 21:49
