|
Unitarian Trick
In mathematics, the unitarian trick is a device in the representation theory of Lie groups, introduced by for the special linear group and by Hermann Weyl for general semisimple groups. It applies to show that the representation theory of some group ''G'' is in a qualitative way controlled by that of some other compact group ''K''. An important example is that in which ''G'' is the complex general linear group, and ''K'' the unitary group acting on vectors of the same size. From the fact that the representations of ''K'' are completely reducible, the same is concluded for those of ''G'', at least in finite dimensions. The relationship between ''G'' and ''K'' that drives this connection is traditionally expressed in the terms that the Lie algebra of ''K'' is a real form of that of ''G''. In the theory of algebraic groups, the relationship can also be put that ''K'' is a dense subset of ''G'', for the Zariski topology. The trick works for reductive Lie groups, of which an importa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reductive Lie Group
In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group ''GL''(''n'') of invertible matrices, the special orthogonal group ''SO''(''n''), and the symplectic group ''Sp''(2''n''). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive. Claude Chevalley showed that the classification of reductive groups is the same over any algebraically closed field. In particular, the simple algebraic groups are classified by Dynkin diagrams, as in the theory of compact Lie groups or complex Lie algebra, complex semisimple Lie algebras. Reductive groups over an arbitrary field are harder to classify, but for many fields such as the real ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Real Form
In mathematics, the notion of a real form relates objects defined over the Field (algebra), field of Real number, real and Complex number, complex numbers. A real Lie algebra ''g''0 is called a real form of a complex Lie algebra ''g'' if ''g'' is the complexification of ''g''0: : \mathfrak\simeq\mathfrak_0\otimes_\mathbb. The notion of a real form can also be defined for complex Lie groups. Real forms of complex semisimple Lie groups and Lie algebras have been completely classified by Élie Cartan. Real forms for Lie groups and algebraic groups Using the Lie correspondence, Lie correspondence between Lie groups and Lie algebras, the notion of a real form can be defined for Lie groups. In the case of linear algebraic groups, the notions of complexification and real form have a natural description in the language of algebraic geometry. Classification Just as complex semisimple Lie algebras are classified by Dynkin diagrams, the real forms of a semisimple Lie algebra are c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Issai Schur
Issai Schur (10 January 1875 – 10 January 1941) was a Russian mathematician who worked in Germany for most of his life. He studied at the University of Berlin. He obtained his doctorate in 1901, became lecturer in 1903 and, after a stay at the University of Bonn, professor in 1919. As a student of Ferdinand Georg Frobenius, he worked on group representations (the subject with which he is most closely associated), but also in combinatorics and number theory and even theoretical physics. He is perhaps best known today for his result on the existence of the Schur decomposition and for his work on group representations (Schur's lemma). Schur published under the name of both I. Schur, and J. Schur, the latter especially in ''Journal für die reine und angewandte Mathematik''. This has led to some confusion. Childhood Issai Schur was born into a Jewish family, the son of the businessman Moses Schur and his wife Golde Schur (née Landau). He was born in Mogilev on the Dnieper R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact. The orthogonal group in dimension has two connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant . This group is also called the rotation group, generalizing the fact that in dimensions 2 and 3, its elements are the usual ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Lie Group
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory. In the following we will assume all groups are Hausdorff spaces. Compact Lie groups Lie groups form a class of topological groups, and the compact Lie groups have a particularly well-developed theory. Basic examples of compact Lie groups include * the circle group T and the torus groups T''n'', * the orthogonal group O(''n''), the special orthogonal group SO(''n'') and its covering spin group Spin(''n''), * the unitary group U(''n'') and the special unitary group SU(''n''), * the compact forms of the exceptional Lie groups: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adolf Hurwitz
Adolf Hurwitz (; 26 March 1859 – 18 November 1919) was a German mathematician who worked on algebra, analysis, geometry and number theory. Early life He was born in Hildesheim, then part of the Kingdom of Hanover, to a Jewish family and died in Zürich, in Switzerland. His father Salomon Hurwitz, a merchant, was not wealthy. Hurwitz's mother, Elise Wertheimer, died when he was three years old. Family records indicate that he had siblings and cousins, but their names have yet to be confirmed except for an older brother, Julius, with whom he developed an arithmetical theory for complex continued fractions circa 1890. Hurwitz entered the in Hildesheim in 1868. He was taught mathematics there by Hermann Schubert. Schubert persuaded Hurwitz's father to allow him to attend university, and arranged for Hurwitz to study with Felix Klein at Munich. Salomon Hurwitz could not afford to send his son to university, but his friend, Mr. Edwards, assisted financially. Educational career H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Cover
A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete space D and for every x \in X an open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exists the covering \pi:X \rightarrow X with \pi(x)=x, which is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Lie Algebra
In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form, κ(x,y) = tr(ad(''x'')ad(''y'')), is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable ideals; * the radical (maximal solvable ideal) of \mathfrak g is zero. Significance The significance of semisimplicity comes firstly from the Levi decomposition, which states that every finite dimensional Lie algebra is the semidirect product of a solvable ideal (its radical) and a semisimple algebra. In particular, there is no nonzero Lie algebra that is both solvable and semisimple. Semisimple Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Reducibility
In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of ''simple'' objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context. For example, if ''G'' is a finite group, then a nontrivial finite-dimensional representation ''V'' over a field is said to be ''simple'' if the only subrepresentations it contains are either or ''V'' (these are also called irreducible representations). Now Maschke's theorem says that any finite-dimensional representation of a finite group is a direct sum of simple representations (provided the characteristic of the base field does not divide the order of the group). So in the case of finite groups with this condition, every finite-dimensional representation is semi-simple. Es ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Lie Group
In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form, κ(x,y) = tr(ad(''x'')ad(''y'')), is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable ideals; * the radical (maximal solvable ideal) of \mathfrak g is zero. Significance The significance of semisimplicity comes firstly from the Levi decomposition, which states that every finite dimensional Lie algebra is the semidirect product of a solvable ideal (its radical) and a semisimple algebra. In particular, there is no nonzero Lie algebra that is both solvable and semisimple. Semisimple Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zariski Topology
In algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in the real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space. The Zariski topology allows tools from topology to be used to study algebraic varieties, even when the underlying field is not a topological field. This is one of the basic ideas of scheme theory, which allows one to build general algebraic varieties by gluing together affine varieties in a way similar to that in manifold theory, where manifolds are built by gluing together charts, which are open subsets of real affine spaces. The Zariski topology of an algebraic variety is the topology whose closed sets are the algebraic subsets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
