|
Kirillov Orbit Theory
In mathematics, the orbit method (also known as the Kirillov theory, the method of coadjoint orbits and by a few similar names) establishes a correspondence between irreducible unitary representations of a Lie group and its coadjoint orbits: orbits of the action of the group on the dual space of its Lie algebra. The theory was introduced by for nilpotent groups and later extended by Bertram Kostant, Louis Auslander, Lajos Pukánszky and others to the case of solvable groups. Roger Howe found a version of the orbit method that applies to ''p''-adic Lie groups. David Vogan proposed that the orbit method should serve as a unifying principle in the description of the unitary duals of real reductive Lie groups. Relation with symplectic geometry One of the key observations of Kirillov was that coadjoint orbits of a Lie group ''G'' have natural structure of symplectic manifolds whose symplectic structure is invariant under ''G''. If an orbit is the phase space of a ''G''-invaria ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Quantization
In mathematical physics, geometric quantization is a mathematical approach to defining a quantum theory corresponding to a given classical theory. It attempts to carry out quantization, for which there is in general no exact recipe, in such a way that certain analogies between the classical theory and the quantum theory remain manifest. For example, the similarity between the Heisenberg equation in the Heisenberg picture of quantum mechanics and the Hamilton equation in classical physics should be built in. Origins One of the earliest attempts at a natural quantization was Weyl quantization, proposed by Hermann Weyl in 1927. Here, an attempt is made to associate a quantum-mechanical observable (a self-adjoint operator on a Hilbert space) with a real-valued function on classical phase space. The position and momentum in this phase space are mapped to the generators of the Heisenberg group, and the Hilbert space appears as a group representation of the Heisenberg group. In 1946, H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that are used to distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a subspace of X. Some related but stronger conditions are path connected, simply connected, and n-connected. Another related notion is ''locally connected'', which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. Some authors exclude the empty set (with its unique topology) as a connected space, but this article does not follow that practice. For a topologi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponential Map (Lie Theory)
In the theory of Lie groups, the exponential map is a map from the Lie algebra \mathfrak g of a Lie group G to the group, which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups. The ordinary exponential function of mathematical analysis is a special case of the exponential map when G is the multiplicative group of positive real numbers (whose Lie algebra is the additive group of all real numbers). The exponential map of a Lie group satisfies many properties analogous to those of the ordinary exponential function, however, it also differs in many important respects. Definitions Let G be a Lie group and \mathfrak g be its Lie algebra (thought of as the tangent space to the identity element of G). The exponential map is a map :\exp\colon \mathfrak g \to G which can be defined in several different ways. The typical modern definition is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobian Matrix And Determinant
In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as input as the number of vector components of its output, its determinant is referred to as the Jacobian determinant. Both the matrix and (if applicable) the determinant are often referred to simply as the Jacobian in literature. Suppose is a function such that each of its first-order partial derivatives exist on . This function takes a point as input and produces the vector as output. Then the Jacobian matrix of is defined to be an matrix, denoted by , whose th entry is \mathbf J_ = \frac, or explicitly :\mathbf J = \begin \dfrac & \cdots & \dfrac \end = \begin \nabla^ f_1 \\ \vdots \\ \nabla^ f_m \end = \begin \dfrac & \cdots & \dfrac\\ \vdots & \ddots & \vdots\\ \dfrac & \cdots ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Support (mathematics)
In mathematics, the support of a real-valued function f is the subset of the function domain containing the elements which are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used very widely in mathematical analysis. Formulation Suppose that f : X \to \R is a real-valued function whose domain is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirac Delta Function
In mathematics, the Dirac delta distribution ( distribution), also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one. The current understanding of the unit impulse is as a linear functional that maps every continuous function (e.g., f(x)) to its value at zero of its domain (f(0)), or as the weak limit of a sequence of bump functions (e.g., \delta(x) = \lim_ \frace^), which are zero over most of the real line, with a tall spike at the origin. Bump functions are thus sometimes called "approximate" or "nascent" delta distributions. The delta function was introduced by physicist Paul Dirac as a tool for the normalization of state vectors. It also has uses in probability theory and signal processing. Its validity was disputed until Laurent Schwartz developed the theory of distributions where it is defined as a linear form acting on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexandre Kirillov
Alexandre Aleksandrovich Kirillov (russian: Алекса́ндр Алекса́ндрович Кири́ллов, born 1936) is a Soviet and Russian mathematician, known for his works in the fields of representation theory, topological groups and Lie groups. In particular he introduced the orbit method into representation theory. He is an emeritus professor at the University of Pennsylvania. Career Kirillov studied at Moscow State University where he was a student of Israel Gelfand. His Ph.D. (kandidat) dissertation ''Unitary representations of nilpotent Lie groups'' was published in 1962. He was awarded the degree of Doctor of Science. At the time he was the youngest Doctor of Science in the Soviet Union. He worked at the Moscow State University until 1994 when he became the Francis J. Carey Professor of Mathematics at the University of Pennsylvania. During his school years, Kirillov was a winner of many mathematics competitions, and he is still an active organizer of Russian ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russia
Russia (, , ), or the Russian Federation, is a List of transcontinental countries, transcontinental country spanning Eastern Europe and North Asia, Northern Asia. It is the List of countries and dependencies by area, largest country in the world, with its internationally recognised territory covering , and encompassing one-eighth of Earth's inhabitable landmass. Russia extends across Time in Russia, eleven time zones and shares Borders of Russia, land boundaries with fourteen countries, more than List of countries and territories by land borders, any other country but China. It is the List of countries and dependencies by population, world's ninth-most populous country and List of European countries by population, Europe's most populous country, with a population of 146 million people. The country's capital and List of cities and towns in Russia by population, largest city is Moscow, the List of European cities by population within city limits, largest city entirely within E ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irreducible Representation
In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W), with W \subset V closed under the action of \. Every finite-dimensional unitary representation on a Hilbert space V is the direct sum of irreducible representations. Irreducible representations are always indecomposable (i.e. cannot be decomposed further into a direct sum of representations), but converse may not hold, e.g. the two-dimensional representation of the real numbers acting by upper triangular unipotent matrices is indecomposable but reducible. History Group representation theory was generalized by Richard Brauer from the 1940s to give modular representation theory, in which the matrix operators act on a vector space over a field K of arbitrary characteristic, rather than a vector space over the field of real numbers or o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinitesimal Character
In mathematics, the infinitesimal character of an irreducible representation ρ of a semisimple Lie group ''G'' on a vector space ''V'' is, roughly speaking, a mapping to scalars that encodes the process of first differentiating and then diagonalizing the representation. It therefore is a way of extracting something essential from the representation ρ by two successive linearizations. Formulation The infinitesimal character is the linear form on the center ''Z'' of the universal enveloping algebra of the Lie algebra of ''G'' that the representation induces. This construction relies on some extended version of Schur's lemma to show that any ''z'' in ''Z'' acts on ''V'' as a scalar, which by abuse of notation could be written ρ(''z''). In more classical language, ''z'' is a differential operator, constructed from the infinitesimal transformations which are induced on ''V'' by the Lie algebra of ''G''. The effect of Schur's lemma is to force all ''v'' in ''V'' to be simultaneous e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Space
In mathematics, any vector space ''V'' has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on ''V'', together with the vector space structure of pointwise addition and scalar multiplication by constants. The dual space as defined above is defined for all vector spaces, and to avoid ambiguity may also be called the . When defined for a topological vector space, there is a subspace of the dual space, corresponding to continuous linear functionals, called the ''continuous dual space''. Dual vector spaces find application in many branches of mathematics that use vector spaces, such as in tensor analysis with finite-dimensional vector spaces. When applied to vector spaces of functions (which are typically infinite-dimensional), dual spaces are used to describe measures, distributions, and Hilbert spaces. Consequently, the dual space is an important concept in functional analysis. Early terms for ''dual'' include ''polarer Raum'' ahn 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
