Loop Group
In mathematics, a loop group is a Group (mathematics), group of Loop (topology), loops in a topological group ''G'' with multiplication defined pointwise. Definition In its most general form a loop group is a group of continuous mappings from a manifold to a topological group . More specifically, let , the circle in the complex plane, and let denote the Topological space, space of Continuous function (topology), continuous maps , i.e. :LG = \, equipped with the compact-open topology. An element of is called a ''loop'' in . Pointwise multiplication of such loops gives the structure of a topological group. Parametrize with , :\gamma:\theta \in S^1 \mapsto \gamma(\theta) \in G, and define multiplication in by :(\gamma_1 \gamma_2)(\theta) \equiv \gamma_1(\theta)\gamma_2(\theta). Associativity follows from associativity in . The inverse is given by :\gamma^:\gamma^(\theta) \equiv \gamma(\theta)^, and the identity by :e:\theta \mapsto e \in G. The space is called the free ... [...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]   |
|
Loop Space
In topology, a branch of mathematics, the loop space Ω''X'' of a pointed topological space ''X'' is the space of (based) loops in ''X'', i.e. continuous pointed maps from the pointed circle ''S''1 to ''X'', equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an ''A''∞-space. That is, the multiplication is homotopy-coherently associative. The set of path components of Ω''X'', i.e. the set of based-homotopy equivalence classes of based loops in ''X'', is a group, the fundamental group ''π''1(''X''). The iterated loop spaces of ''X'' are formed by applying Ω a number of times. There is an analogous construction for topological spaces without basepoint. The free loop space of a topological space ''X'' is the space of maps from the circle ''S''1 to ''X'' with the compact-open topology. The free loop space of ''X'' is often denoted by \mathcalX. As a functor, the free loop space construction is righ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quasigroup
In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible. Quasigroups differ from groups mainly in that they need not be associative and need not have an identity element. A quasigroup with an identity element is called a loop. Definitions There are at least two structurally equivalent formal definitions of quasigroup. One defines a quasigroup as a set with one binary operation, and the other, from universal algebra, defines a quasigroup as having three primitive operations. The homomorphic image of a quasigroup defined with a single binary operation, however, need not be a quasigroup. We begin with the first definition. Algebra A quasigroup is a non-empty set ''Q'' with a binary operation ∗ (that is, a magma, indicating that a quasigroup has to satisfy closure property), obeying the Latin square property. This states that, for each ''a'' and ''b'' in ''Q'', there exist uniqu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Loop Algebra
In mathematics, loop algebras are certain types of Lie algebras, of particular interest in theoretical physics. Definition For a Lie algebra \mathfrak over a field K, if K ,t^/math> is the space of Laurent polynomials, then L\mathfrak := \mathfrak\otimes K ,t^ with the inherited bracket \otimes t^m, Y\otimes t^n= ,Yotimes t^. Geometric definition If \mathfrak is a Lie algebra, the tensor product of \mathfrak with , the algebra of (complex) smooth functions over the circle manifold (equivalently, smooth complex-valued periodic functions of a given period), \mathfrak\otimes C^\infty(S^1), is an infinite-dimensional Lie algebra with the Lie bracket given by _1\otimes f_1,g_2 \otimes f_2 _1,g_2otimes f_1 f_2. Here and are elements of \mathfrak and and are elements of . This isn't precisely what would correspond to the direct product of infinitely many copies of \mathfrak, one for each point in , because of the smoothness restriction. Instead, it can be thought of in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Loop Space
In topology, a branch of mathematics, the loop space Ω''X'' of a pointed topological space ''X'' is the space of (based) loops in ''X'', i.e. continuous pointed maps from the pointed circle ''S''1 to ''X'', equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an ''A''∞-space. That is, the multiplication is homotopy-coherently associative. The set of path components of Ω''X'', i.e. the set of based-homotopy equivalence classes of based loops in ''X'', is a group, the fundamental group ''π''1(''X''). The iterated loop spaces of ''X'' are formed by applying Ω a number of times. There is an analogous construction for topological spaces without basepoint. The free loop space of a topological space ''X'' is the space of maps from the circle ''S''1 to ''X'' with the compact-open topology. The free loop space of ''X'' is often denoted by \mathcalX. As a functor, the free loop space construction is righ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Oxford University Press
Oxford University Press (OUP) is the university press of the University of Oxford. It is the largest university press in the world, and its printing history dates back to the 1480s. Having been officially granted the legal right to print books by decree in 1586, it is the second oldest university press after Cambridge University Press. It is a department of the University of Oxford and is governed by a group of 15 academics known as the Delegates of the Press, who are appointed by the vice-chancellor of the University of Oxford. The Delegates of the Press are led by the Secretary to the Delegates, who serves as OUP's chief executive and as its major representative on other university bodies. Oxford University Press has had a similar governance structure since the 17th century. The press is located on Walton Street, Oxford, opposite Somerville College, in the inner suburb of Jericho. For the last 500 years, OUP has primarily focused on the publication of pedagogical texts and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
ScienceDirect
ScienceDirect is a website which provides access to a large bibliographic database of scientific and medical publications of the Dutch publisher Elsevier. It hosts over 18 million pieces of content from more than 4,000 academic journals and 30,000 e-books of this publisher. The access to the full-text requires subscription, while the bibliographic metadata is free to read. ScienceDirect is operated by Elsevier. It was launched in March 1997. Usage The journals are grouped into four main sections: ''Physical Sciences and Engineering'', ''Life Sciences'', ''Health Sciences'', and ''Social Sciences and Humanities''. Article abstracts are freely available, and access to their full texts (in PDF and, for newer publications, also HTML) generally requires a subscription or pay-per-view purchase unless the content is freely available in open access. Subscriptions to the overall offering hosted on ScienceDirect, rather than to specific titles it carries, are usually acquired through a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Karen Uhlenbeck
Karen Keskulla Uhlenbeck (born August 24, 1942) is an American mathematician and one of the founders of modern geometric analysis. She is a professor emeritus of mathematics at the University of Texas at Austin, where she held the Sid W. Richardson Foundation Regents Chair. She is currently a distinguished visiting professor at the Institute for Advanced Study and a visiting senior research scholar at Princeton University. Uhlenbeck was elected to the American Philosophical Society in 2007. She won the 2019 Abel Prize for "her pioneering achievements in geometric partial differential equations, gauge theory, and integrable systems, and for the fundamental impact of her work on analysis, geometry and mathematical physics." She is the first, and so far only, woman to win the prize since its inception in 2003. She donated half of the prize money to organizations which promote more engagement of women in research mathematics. Life and career Uhlenbeck was born in Cleveland, Ohio, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Chuu-Lian Terng
Chuu-Lian Terng () is a Taiwanese-American mathematician. Her research areas are differential geometry and integrable systems, with particular interests in completely integrable Hamiltonian partial differential equations and their relations to differential geometry, the geometry and topology of submanifolds in symmetric spaces, and the geometry of isometric actions. Education and career She received her B.S. from National Taiwan University in 1971 and her Ph.D. from Brandeis University in 1976 under the supervision of Richard Palais, whom she later married. She is currently a professor emerita at the University of California at Irvine. She was a professor at Northeastern University for many years. Before joining Northeastern, she spent two years at the University of California, Berkeley and four years at Princeton University. She also spent two years at the Institute for Advanced Study (IAS) in Princeton and two years at the Max-Planck Institute in Bonn, Germany. Terng has been a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Soliton
In mathematics and physics, a soliton or solitary wave is a self-reinforcing wave packet that maintains its shape while it propagates at a constant velocity. Solitons are caused by a cancellation of nonlinear and dispersive effects in the medium. (Dispersive effects are a property of certain systems where the speed of a wave depends on its frequency.) Solitons are the solutions of a widespread class of weakly nonlinear dispersive partial differential equations describing physical systems. The soliton phenomenon was first described in 1834 by John Scott Russell (1808–1882) who observed a solitary wave in the Union Canal in Scotland. He reproduced the phenomenon in a wave tank and named it the "Wave of Translation". Definition A single, consensus definition of a soliton is difficult to find. ascribe three properties to solitons: # They are of permanent form; # They are localized within a region; # They can interact with other solitons, and emerge from the collision unchanged, e ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bäcklund Transform
In mathematics, Bäcklund transforms or Bäcklund transformations (named after the Swedish mathematician Albert Victor Bäcklund) relate partial differential equations and their solutions. They are an important tool in soliton theory and integrable systems. A Bäcklund transform is typically a system of first order partial differential equations relating two functions, and often depending on an additional parameter. It implies that the two functions separately satisfy partial differential equations, and each of the two functions is then said to be a Bäcklund transformation of the other. A Bäcklund transform which relates solutions of the ''same'' equation is called an invariant Bäcklund transform or auto-Bäcklund transform. If such a transform can be found, much can be deduced about the solutions of the equation especially if the Bäcklund transform contains a parameter. However, no systematic way of finding Bäcklund transforms is known. History Bäcklund transforms have t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Homotopy
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (, ; , ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |