|
Lie Supergroup
The concept of supergroup is a generalization of that of group. In other words, every supergroup carries a natural group structure, but there may be more than one way to structure a given group as a supergroup. A supergroup is like a Lie group in that there is a well defined notion of smooth function defined on them. However the functions may have even and odd parts. Moreover, a supergroup has a super Lie algebra which plays a role similar to that of a Lie algebra for Lie groups in that they determine most of the representation theory and which is the starting point for classification. Details More formally, a Lie supergroup is a supermanifold ''G'' together with a multiplication morphism \mu :G \times G\rightarrow G, an inversion morphism i : G \rightarrow G and a unit morphism e: 1 \rightarrow G which makes ''G'' a group object in the category of supermanifolds. This means that, formulated as commutative diagrams, the usual associativity and inversion axioms of a group continue ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalization
A generalization is a form of abstraction whereby common properties of specific instances are formulated as general concepts or claims. Generalizations posit the existence of a domain or set of elements, as well as one or more common characteristics shared by those elements (thus creating a conceptual model). As such, they are the essential basis of all valid deductive inferences (particularly in logic, mathematics and science), where the process of verification is necessary to determine whether a generalization holds true for any given situation. Generalization can also be used to refer to the process of identifying the parts of a whole, as belonging to the whole. The parts, which might be unrelated when left on their own, may be brought together as a group, hence belonging to the whole by establishing a common relation between them. However, the parts cannot be generalized into a whole—until a common relation is established among ''all'' parts. This does not mean that the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Algebra
In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously a ( unital associative) algebra and a (counital coassociative) coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antihomomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations. Hopf algebras occur naturally in algebraic topology, where they originated and are related to the H-space concept, in group scheme theory, in group theory (via the concept of a group ring), and in numerous other places, making them probably the most familiar type of bialgebra. Hopf algebras are also studied in their own right, with much work on specific classes of examples on the one hand and classification problems o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supersymmetry
Supersymmetry is a Theory, theoretical framework in physics that suggests the existence of a symmetry between Particle physics, particles with integer Spin (physics), spin (''bosons'') and particles with half-integer spin (''fermions''). It proposes that for every known particle, there exists a partner particle with different spin properties. There have been multiple experiments on supersymmetry that have failed to provide evidence that it exists in nature. If evidence is found, supersymmetry could help explain certain phenomena, such as the nature of dark matter and the hierarchy problem in particle physics. A supersymmetric theory is a theory in which the equations for force and the equations for matter are identical. In theoretical physics, theoretical and mathematical physics, any theory with this property has the ''principle of supersymmetry'' (SUSY). Dozens of supersymmetric theories exist. In theory, supersymmetry is a type of Spacetime symmetries, spacetime symmetry betwe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NLab
The ''n''Lab is a wiki for research-level notes, expositions and collaborative work, including original research, in mathematics, physics, and philosophy, with a focus on methods from type theory, category theory, and homotopy theory. The ''n''Lab espouses the "''n''-point of view" (a deliberate pun on Wikipedia's "neutral point of view") that type theory, homotopy theory, category theory, and higher category theory provide a useful unifying viewpoint for mathematics, physics and philosophy. The ''n'' in ''n''-point of view could refer to either ''n''-categories as found in higher category theory, ''n''-groupoids as found in both homotopy theory and higher category theory, or ''n''-types as found in homotopy type theory. Overview The ''n''Lab was originally conceived to provide a repository for ideas (and even new research) generated in the comments on posts at the ''n''-Category Café, a group blog run (at the time) by John C. Baez, David Corfield and Urs Schreiber. Eventua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Super-Poincaré Algebra
In theoretical physics, a super-Poincaré algebra is an extension of the Poincaré algebra to incorporate supersymmetry, a relation between bosons and fermions. They are examples of supersymmetry algebras (without central charges or internal symmetries), and are Lie superalgebras. Thus a super-Poincaré algebra is a Z2-graded vector space with a graded Lie bracket such that the even part is a Lie algebra containing the Poincaré algebra, and the odd part is built from spinors on which there is an anticommutation relation with values in the even part. Informal sketch The Poincaré algebra describes the isometries of Minkowski spacetime. From the representation theory of the Lorentz group, it is known that the Lorentz group admits two inequivalent complex spinor representations, dubbed 2 and \overline.The barred representations are conjugate linear while the unbarred ones are complex linear. The numeral refers to the dimension of the representation space. Another more common no ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supercharge
In theoretical physics, a supercharge is a generator of supersymmetry transformations. It is an example of the general notion of a charge (physics), charge in physics. Supercharge, denoted by the symbol Q, is an operator which transforms bosons into fermions, and vice versa. Since the supercharge operator changes a particle with Spin (physics), spin one-half to a particle with Spin (physics), spin one or zero, the supercharge itself is a spinor that carries one half unit of spin. Depending on the context, supercharges may also be called ''Grassmann variables'' or ''Grassmann directions''; they are generators of the exterior algebra of anti-commuting numbers, the Grassmann numbers. All these various usages are essentially synonymous; they refer to the \mathbb_2 signed set, grading between bosons and fermions, or equivalently, the grading between ''c-numbers'' and ''a-numbers''. Calling it a charge emphasizes the notion of a symmetry at work. Commutation Supercharge is described b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Varieties
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a smooth projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for research on other topics in algebraic geometry and number theory. An abelian variety can be defined by equations having coefficients in any field; the variety is then said to be defined ''over'' that field. Historically the first abelian varieties to be studied were those defined over the field of complex numbers. Such abelian varieties turn out to be exactly those Complex torus, complex tori that can be holomorphic, holomorphically embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which is important also from the viewpoint of number theory. L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scheme (mathematics)
In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations and define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise '' Éléments de géométrie algébrique'' (EGA); one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Schemes elaborate the fundamental idea that an a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Varieties
In algebraic geometry, an affine variety or affine algebraic variety is a certain kind of algebraic variety that can be described as a subset of an affine space. More formally, an affine algebraic set is the set of the common zeros over an algebraically closed field of some family of polynomials in the polynomial ring k _1, \ldots,x_n An affine variety is an affine algebraic set which is not the union of two smaller algebraic sets; algebraically, this means that (the radical of) the ideal generated by the defining polynomials is prime. One-dimensional affine varieties are called affine algebraic curves, while two-dimensional ones are affine algebraic surfaces. Some texts use the term ''variety'' for any algebraic set, and ''irreducible variety'' an algebraic set whose defining ideal is prime (affine variety in the above sense). In some contexts (see, for example, Hilbert's Nullstellensatz), it is useful to distinguish the field in which the coefficients are considered, from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Superalgebra
In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a \Z/2\Z grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. The notion of \Z/2\Z grading used here is distinct from a second \Z/2\Z grading having cohomological origins. A graded Lie algebra (say, graded by \Z or \N) that is anticommutative and has a graded Jacobi identity also has a \Z/2\Z grading; this is the "rolling up" of the algebra into odd and even parts. This rolling-up is not normally referred to as "super". Thus, supergraded Lie superalgebras carry a ''pair'' of \Z/2\Zgradations: one of which is supersymmetric, and the other is classical. Pierre Deligne calls the supersymmetric one the ''super gradation'', and the classical one the ''cohomological gradation''. These two gradations must be compatible, and there is often disagreement as to how they should be regarded. Definition Formally, a Lie superalgebra is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Enveloping Algebra
In mathematics, the universal enveloping algebra of a Lie algebra is the unital associative algebra whose representations correspond precisely to the representations of that Lie algebra. Universal enveloping algebras are used in the representation theory of Lie groups and Lie algebras. For example, Verma modules can be constructed as quotients of the universal enveloping algebra. In addition, the enveloping algebra gives a precise definition for the Casimir operators. Because Casimir operators commute with all elements of a Lie algebra, they can be used to classify representations. The precise definition also allows the importation of Casimir operators into other areas of mathematics, specifically, those that have a differential algebra. They also play a central role in some recent developments in mathematics. In particular, their dual provides a commutative example of the objects studied in non-commutative geometry, the quantum groups. This dual can be shown, by the Gelf ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a ''module'' also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operations of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
