|
Weyl Integration Formula
In mathematics, the Weyl integration formula, introduced by Hermann Weyl, is an integration formula for a compact connected Lie group ''G'' in terms of a maximal torus ''T''. Precisely, it says there exists a real-valued continuous function ''u'' on ''T'' such that for every class function ''f'' on ''G'': :\int_G f(g) \, dg = \int_T f(t) u(t) \, dt. Moreover, u is explicitly given as: u = , \delta , ^2 / \# W where W = N_G(T)/T is the Weyl group determined by ''T'' and :\delta(t) = \prod_ \left( e^ - e^ \right), the product running over the positive roots of ''G'' relative to ''T''. More generally, if f is only a continuous function, then :\int_G f(g) \, dg = \int_T \left( \int_G f(gtg^) \, dg \right) u(t) \, dt. The formula can be used to derive the Weyl character formula. (The theory of Verma modules, on the other hand, gives a purely algebraic derivation of the Weyl character formula.) Derivation Consider the map :q : G/T \times T \to G, \, (gT, t) \mapsto gtg^. The Weyl g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hermann Weyl
Hermann Klaus Hugo Weyl, (; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is associated with the University of Göttingen tradition of mathematics, represented by Carl Friedrich Gauss, David Hilbert and Hermann Minkowski. His research has had major significance for theoretical physics as well as purely mathematical disciplines such as number theory. He was one of the most influential mathematicians of the twentieth century, and an important member of the Institute for Advanced Study during its early years. Weyl contributed to an exceptionally wide range of mathematical fields, including works on space, time, matter, philosophy, logic, symmetry and the history of mathematics. He was one of the first to conceive of combining general relativity with the laws of electromagnetism. Freeman Dyson wrote that Weyl alone bore ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integration (mathematics)
In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with differentiation, integration is a fundamental, essential operation of calculus,Integral calculus is a very well established mathematical discipline for which there are many sources. See and , for example. and serves as a tool to solve problems in mathematics and physics involving the area of an arbitrary shape, the length of a curve, and the volume of a solid, among others. The integrals enumerated here are those termed definite integrals, which can be interpreted as the signed area of the region in the plane that is bounded by the graph of a given function between two points in the real line. Conventionally, areas above the horizontal axis of the plane are positive while areas below are negative. Integrals also refer to the concept of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maximal Torus
In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups. A torus in a compact Lie group ''G'' is a compact, connected, abelian Lie subgroup of ''G'' (and therefore isomorphic to the standard torus T''n''). A maximal torus is one which is maximal among such subgroups. That is, ''T'' is a maximal torus if for any torus ''T''′ containing ''T'' we have ''T'' = ''T''′. Every torus is contained in a maximal torus simply by dimensional considerations. A noncompact Lie group need not have any nontrivial tori (e.g. R''n''). The dimension of a maximal torus in ''G'' is called the rank of ''G''. The rank is well-defined since all maximal tori turn out to be conjugate. For semisimple groups the rank is equal to the number of nodes in the associated Dynkin diagram. Examples The unitary group U(''n'') has as a maximal torus the subgroup of all diagonal matrices. That is, : T = \left\. ''T'' is clearl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class Function
In mathematics, especially in the fields of group theory and representation theory of groups, a class function is a function on a group ''G'' that is constant on the conjugacy classes of ''G''. In other words, it is invariant under the conjugation map on ''G''. Such functions play a basic role in representation theory. Characters The character of a linear representation of ''G'' over a field ''K'' is always a class function with values in ''K''. The class functions form the center of the group ring ''K'' 'G'' Here a class function ''f'' is identified with the element \sum_ f(g) g. Inner products The set of class functions of a group ''G'' with values in a field ''K'' form a ''K''-vector space. If ''G'' is finite and the characteristic of the field does not divide the order of ''G'', then there is an inner product defined on this space defined by \langle \phi , \psi \rangle = \frac \sum_ \phi(g) \psi(g^) where , ''G'', denotes the order of ''G''. The set of irred ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weyl Group
In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections through the hyperplanes orthogonal to the roots, and as such is a finite reflection group. In fact it turns out that ''most'' finite reflection groups are Weyl groups. Abstractly, Weyl groups are finite Coxeter groups, and are important examples of these. The Weyl group of a semisimple Lie group, a semisimple Lie algebra, a semisimple linear algebraic group, etc. is the Weyl group of the root system of that group or algebra. Definition and examples Let \Phi be a root system in a Euclidean space V. For each root \alpha\in\Phi, let s_\alpha denote the reflection about the hyperplane perpendicular to \alpha, which is given explicitly as :s_\alpha(v)=v-2\frac\alpha, where (\cdot,\cdot) is the inner product on V. The Weyl group W of \Phi is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weyl Character Formula
In mathematics, the Weyl character formula in representation theory describes the character theory, characters of irreducible representations of compact Lie groups in terms of their highest weights. It was proved by . There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the Compact_group#Representation_theory_of_a_connected_compact_Lie_group, representation theory of connected compact Lie groups, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation. Important consequences of the character formula are the Weyl dimension formula and the Kostant_partition_function, Kostant multiplicity formula. By definition, the character \chi of a representation \pi of ''G'' is the trace of a matrix, trace of \pi(g), as a function of a group element g\in G. The irreducible representations in this case ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Verma Module
Verma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics. Verma modules can be used in the classification of irreducible representations of a complex semisimple Lie algebra. Specifically, although Verma modules themselves are infinite dimensional, quotients of them can be used to construct finite-dimensional representations with highest weight \lambda, where \lambda is dominant and integral. Their homomorphisms correspond to invariant differential operators over flag manifolds. Informal construction We can explain the idea of a Verma module as follows. Let \mathfrak be a semisimple Lie algebra (over \mathbb, for simplicity). Let \mathfrak be a fixed Cartan subalgebra of \mathfrak and let R be the associated root system. Let R^+ be a fixed set of positive roots. For each \alpha\in R^+, choose a nonzero element X_\alpha for the corresponding root space \mathfrak_\alpha and a nonzero element Y_\alpha in the root ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Length Of A Weyl Group Element
In mathematics, the length of an element ''w'' in a Weyl group ''W'', denoted by ''l''(''w''), is the smallest number ''k'' so that ''w'' is a product of ''k'' reflections by simple roots. (So, the notion depends on the choice of a positive Weyl chamber.) In particular, a simple reflection has length one. The function ''l'' is then an integer-valued function of ''W''; it is a length function In the mathematical field of geometric group theory, a length function is a function that assigns a number to each element of a group. Definition A length function ''L'' : ''G'' → R+ on a group ''G'' is a function satisfy ... of ''W''. It follows immediately from the definition that ''l''(''w''−1) = ''l''(''w'') and that ''l''(''ww'''−1) ≤ ''l''(''w'') + ''l''(''w' ''). References * {{cite book, last1=Kac, first1=Victor G., title=Infinite dimensional Lie algebras, date=1994, publisher=Cambridge University Press, location=Cambridge, isbn=9780521466936, ed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weight Lattice
In the mathematical field of representation theory, a weight of an algebra ''A'' over a field F is an algebra homomorphism from ''A'' to F, or equivalently, a one-dimensional representation of ''A'' over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space. Motivation and general concept Given a set ''S'' of n\times n matrices over the same field, each of which is diagonalizable, and any two of which commute, it is always possible to simultaneously diagonalize all of the elements of ''S''.In fact, given a set of commuting matrices over an algebraically closed field, they are simultaneously triangularizable, without needing to assume that they are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonality Relation
In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined (up to isomorphism) by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of modular representations. Applications Characters of irreducible representations encode many important prop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.png "Click for more on -> Weyl Group")
