Non-commutative Harmonic Analysis
   HOME
*





Non-commutative Harmonic Analysis
In mathematics, noncommutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups that are not commutative. Since locally compact abelian groups have a well-understood theory, Pontryagin duality, which includes the basic structures of Fourier series and Fourier transforms, the major business of non-commutative harmonic analysis is usually taken to be the extension of the theory to all groups ''G'' that are locally compact. The case of compact groups is understood, qualitatively and after the Peter–Weyl theorem from the 1920s, as being generally analogous to that of finite groups and their character theory. The main task is therefore the case of ''G'' that is locally compact, not compact and not commutative. The interesting examples include many Lie groups, and also algebraic groups over p-adic fields. These examples are of interest and frequently applied in mathematical physics, and contemporary number theory, particularly auto ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


picture info

Mathematical Physics
Mathematical physics refers to the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the development of mathematical methods suitable for such applications and for the formulation of physical theories". An alternative definition would also include those mathematics that are inspired by physics (also known as physical mathematics). Scope There are several distinct branches of mathematical physics, and these roughly correspond to particular historical periods. Classical mechanics The rigorous, abstract and advanced reformulation of Newtonian mechanics adopting the Lagrangian mechanics and the Hamiltonian mechanics even in the presence of constraints. Both formulations are embodied in analytical mechanics and lead to understanding the deep interplay of the notions of symmetry (physics), symmetry and conservation law, con ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Langlands Program
In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by , it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics." The Langlands program consists of some very complicated theoretical abstractions, which can be difficult even for specialist mathematicians to grasp. To oversimplify, the fundamental lemma of the project posits a direct connection between the generalized fundamental representation of a finite field with its group extension to the automorphic forms under which it is invariant. This is accomplished through abstraction to higher dimensional integrati ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Selberg Trace Formula
In mathematics, the Selberg trace formula, introduced by , is an expression for the character of the unitary representation of a Lie group on the space of square-integrable functions, where is a cofinite discrete group. The character is given by the trace of certain functions on . The simplest case is when is cocompact, when the representation breaks up into discrete summands. Here the trace formula is an extension of the Frobenius formula for the character of an induced representation of finite groups. When is the cocompact subgroup of the real numbers , the Selberg trace formula is essentially the Poisson summation formula. The case when is not compact is harder, because there is a continuous spectrum, described using Eisenstein series. Selberg worked out the non-compact case when is the group ; the extension to higher rank groups is the Arthur–Selberg trace formula. When is the fundamental group of a Riemann surface, the Selberg trace formula describes the spectru ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Solvable Lie Group
In mathematics, a Lie algebra \mathfrak is solvable if its derived series terminates in the zero subalgebra. The ''derived Lie algebra'' of the Lie algebra \mathfrak is the subalgebra of \mathfrak, denoted : mathfrak,\mathfrak/math> that consists of all linear combinations of Lie brackets of pairs of elements of \mathfrak. The ''derived series'' is the sequence of subalgebras : \mathfrak \geq mathfrak,\mathfrak\geq \mathfrak,\mathfrak mathfrak,\mathfrak \geq [ \mathfrak,\mathfrak mathfrak,\mathfrak, \mathfrak,\mathfrak mathfrak,\mathfrak] \geq ... If the derived series eventually arrives at the zero subalgebra, then the Lie algebra is called solvable. The derived series for Lie algebras is analogous to the derived series for commutator subgroups in group theory, and solvable Lie algebras are analogs of solvable groups. Any nilpotent Lie algebra_is_a_fortiori.html" ;"title="mathfrak,\mathfrak ... is a fortiori">mathfrak,\mathfrak ... is a fortiori solvable but the converse is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Semisimple 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 semisimple Lie algebras. Reductive groups over an arbitrary field are harder to classify, but for many fields such as the real numbers R or a number ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Plancherel Theorem
In mathematics, the Plancherel theorem (sometimes called the Parseval–Plancherel identity) is a result in harmonic analysis, proven by Michel Plancherel in 1910. It states that the integral of a function's squared modulus is equal to the integral of the squared modulus of its frequency spectrum. That is, if f(x) is a function on the real line, and \widehat(\xi) is its frequency spectrum, then A more precise formulation is that if a function is in both Lp spaces L^1(\mathbb) and L^2(\mathbb), then its Fourier transform is in L^2(\mathbb), and the Fourier transform map is an isometry with respect to the ''L''2 norm. This implies that the Fourier transform map restricted to L^1(\mathbb) \cap L^2(\mathbb) has a unique extension to a linear isometric map L^2(\mathbb) \mapsto L^2(\mathbb), sometimes called the Plancherel transform. This isometry is actually a unitary map. In effect, this makes it possible to speak of Fourier transforms of quadratically integrable functions. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Hull-kernel Topology
In mathematics, the spectrum of a C*-algebra or dual of a C*-algebra ''A'', denoted ''Â'', is the set of unitary equivalence classes of irreducible *-representations of ''A''. A *-representation π of ''A'' on a Hilbert space ''H'' is irreducible if, and only if, there is no closed subspace ''K'' different from ''H'' and which is invariant under all operators π(''x'') with ''x'' ∈ ''A''. We implicitly assume that irreducible representation means ''non-null'' irreducible representation, thus excluding trivial (i.e. identically 0) representations on one-dimensional spaces. As explained below, the spectrum ''Â'' is also naturally a topological space; this is similar to the notion of the spectrum of a ring. One of the most important applications of this concept is to provide a notion of dual object for any locally compact group. This dual object is suitable for formulating a Fourier transform and a Plancherel theorem for unimodular separable locally compact groups of type I ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Unitary Dual
In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in case ''G'' is a locally compact ( Hausdorff) topological group and the representations are strongly continuous. The theory has been widely applied in quantum mechanics since the 1920s, particularly influenced by Hermann Weyl's 1928 book ''Gruppentheorie und Quantenmechanik''. One of the pioneers in constructing a general theory of unitary representations, for any group ''G'' rather than just for particular groups useful in applications, was George Mackey. Context in harmonic analysis The theory of unitary representations of topological groups is closely connected with harmonic analysis. In the case of an abelian group ''G'', a fairly complete picture of the representation theory of ''G'' is given by Pontryagin duality. In general, the unitary equ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Direct Integral
In mathematics and functional analysis a direct integral is a generalization of the concept of direct sum. The theory is most developed for direct integrals of Hilbert spaces and direct integrals of von Neumann algebras. The concept was introduced in 1949 by John von Neumann in one of the papers in the series ''On Rings of Operators''. One of von Neumann's goals in this paper was to reduce the classification of (what are now called) von Neumann algebras on separable Hilbert spaces to the classification of so-called factors. Factors are analogous to full matrix algebras over a field, and von Neumann wanted to prove a continuous analogue of the Artin–Wedderburn theorem classifying semi-simple rings. Results on direct integrals can be viewed as generalizations of results about finite-dimensional C*-algebras of matrices; in this case the results are easy to prove directly. The infinite-dimensional case is complicated by measure-theoretic technicalities. Direct integral theory was als ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Unitary Representation
In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in case ''G'' is a locally compact ( Hausdorff) topological group and the representations are strongly continuous. The theory has been widely applied in quantum mechanics since the 1920s, particularly influenced by Hermann Weyl's 1928 book ''Gruppentheorie und Quantenmechanik''. One of the pioneers in constructing a general theory of unitary representations, for any group ''G'' rather than just for particular groups useful in applications, was George Mackey. Context in harmonic analysis The theory of unitary representations of topological groups is closely connected with harmonic analysis. In the case of an abelian group ''G'', a fairly complete picture of the representation theory of ''G'' is given by Pontryagin duality. In general, the unitary equ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Von Neumann Group Algebra
In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra. Von Neumann algebras were originally introduced by John von Neumann, motivated by his study of single operators, group representations, ergodic theory and quantum mechanics. His double commutant theorem shows that the analytic definition is equivalent to a purely algebraic definition as an algebra of symmetries. Two basic examples of von Neumann algebras are as follows: *The ring L^\infty(\mathbb R) of essentially bounded measurable functions on the real line is a commutative von Neumann algebra, whose elements act as multiplication operators by pointwise multiplication on the Hilbert space L^2(\mathbb R) of square-integrable functions. *The algebra \mathcal B(\mathcal H) of all bounded operators on a Hilbert space \mathcal H is a von Neumann algebra, no ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]