Monster Lie Algebra
   HOME
*





Monster Lie Algebra
In mathematics, the monster Lie algebra is an infinite-dimensional generalized Kac–Moody algebra acted on by the monster group, which was used to prove the monstrous moonshine conjectures. Structure The monster Lie algebra ''m'' is a ''Z2''-graded Lie algebra. The piece of degree (''m'', ''n'') has dimension ''c''''mn'' if (''m'', ''n'') ≠ (0, 0) and dimension 2 if (''m'', ''n'') = (0, 0). The integers ''cn'' are the coefficients of ''q''''n'' of the ''j''-invariant as elliptic modular function ::j(q) -744 = + 196884 q + 21493760 q^2 + \cdots. The Cartan subalgebra is the 2-dimensional subspace of degree (0, 0), so the monster Lie algebra has rank 2. The monster Lie algebra has just one real simple root, given by the vector (1, −1), and the Weyl group has order 2, and acts by mapping (''m'', ''n'') to (''n'', ''m''). The imaginary simple roots are the vectors (1, ''n'') for ''n'' = 1, 2, 3, ...
[...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

Simple Root (root System)
In mathematics, a root system is a configuration of vectors in a Euclidean space satisfying certain geometrical properties. The concept is fundamental in the theory of Lie groups and Lie algebras, especially the classification and representation theory of semisimple Lie algebras. Since Lie groups (and some analogues such as algebraic groups) and Lie algebras have become important in many parts of mathematics during the twentieth century, the apparently special nature of root systems belies the number of areas in which they are applied. Further, the classification scheme for root systems, by Dynkin diagrams, occurs in parts of mathematics with no overt connection to Lie theory (such as singularity theory). Finally, root systems are important for their own sake, as in spectral graph theory. Definitions and examples As a first example, consider the six vectors in 2-dimensional Euclidean space, R2, as shown in the image at the right; call them roots. These vectors span the whole s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

String Theory
In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and interact with each other. On distance scales larger than the string scale, a string looks just like an ordinary particle, with its mass, charge, and other properties determined by the vibrational state of the string. In string theory, one of the many vibrational states of the string corresponds to the graviton, a quantum mechanical particle that carries the gravitational force. Thus, string theory is a theory of quantum gravity. String theory is a broad and varied subject that attempts to address a number of deep questions of fundamental physics. String theory has contributed a number of advances to mathematical physics, which have been applied to a variety of problems in black hole physics, early universe cosmology, nuclear physics, and conde ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Goddard–Thorn Theorem
In mathematics, and in particular in the mathematical background of string theory, the Goddard–Thorn theorem (also called the no-ghost theorem) is a theorem describing properties of a functor that quantizes bosonic strings. It is named after Peter Goddard and Charles Thorn. The name "no-ghost theorem" stems from the fact that in the original statement of the theorem, the natural inner product induced on the output vector space is positive definite. Thus, there were no so-called ghosts ( Pauli–Villars ghosts), or vectors of negative norm. The name "no-ghost theorem" is also a word play on the no-go theorem of quantum mechanics. Formalism There are two naturally isomorphic functors that are typically used to quantize bosonic strings. In both cases, one starts with positive-energy representations of the Virasoro algebra of central charge 26, equipped with Virasoro-invariant bilinear forms, and ends up with vector spaces equipped with bilinear forms. Here, "Virasoro-invar ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Monster Vertex Algebra
The monster vertex algebra (or moonshine module) is a vertex algebra acted on by the monster group that was constructed by Igor Frenkel, James Lepowsky, and Arne Meurman. R. Borcherds used it to prove the monstrous moonshine conjectures, by applying the Goddard–Thorn theorem of string theory to construct the monster Lie algebra, an infinite-dimensional generalized Kac–Moody algebra acted on by the monster. The Griess algebra is the same as the degree 2 piece of the monster vertex algebra, and the Griess product is one of the vertex algebra products. It can be constructed as conformal field theory describing 24 free bosons compactified on the torus induced by the Leech lattice and orbifold In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space which is locally a finite group quotient of a Euclidean space. D ...ed by the two-element reflection group. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Don Zagier
Don Bernard Zagier (born 29 June 1951) is an American-German mathematician whose main area of work is number theory. He is currently one of the directors of the Max Planck Institute for Mathematics in Bonn, Germany. He was a professor at the ''Collège de France'' in Paris from 2006 to 2014. Since October 2014, he is also a Distinguished Staff Associate at the International Centre for Theoretical Physics (ICTP). Background Zagier was born in Heidelberg, West Germany. His mother was a psychiatrist, and his father was the dean of instruction at the American College of Switzerland. His father held five different citizenships, and he spent his youth living in many different countries. After finishing high school (at age 13) and attending Winchester College for a year, he studied for three years at MIT, completing his bachelor's and master's degrees and being named a Putnam Fellow in 1967 at the age of 16. He then wrote a doctoral dissertation on characteristic classes under Friedrich ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Simon P
Simon may refer to: People * Simon (given name), including a list of people and fictional characters with the given name Simon * Simon (surname), including a list of people with the surname Simon * Eugène Simon, French naturalist and the genus authority ''Simon'' * Tribe of Simeon, one of the twelve tribes of Israel Places * Şimon ( hu, links=no, Simon), a village in Bran Commune, Braşov County, Romania * Șimon, a right tributary of the river Turcu in Romania Arts, entertainment, and media Films * ''Simon'' (1980 film), starring Alan Arkin * ''Simon'' (2004 film), Dutch drama directed by Eddy Terstall Games * ''Simon'' (game), a popular computer game * Simon Says, children's game Literature * ''Simon'' (Sutcliff novel), a children's historical novel written by Rosemary Sutcliff * Simon (Sand novel), an 1835 novel by George Sand * ''Simon Necronomicon'' (1977), a purported grimoire written by an unknown author, with an introduction by a man identified only as "Simon ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Denominator Formula
A fraction (from la, fractus, "broken") represents a part of a whole or, more generally, any number of equal parts. When spoken in everyday English, a fraction describes how many parts of a certain size there are, for example, one-half, eight-fifths, three-quarters. A ''common'', ''vulgar'', or ''simple'' fraction (examples: \tfrac and \tfrac) consists of a numerator, displayed above a line (or before a slash like ), and a non-zero denominator, displayed below (or after) that line. Numerators and denominators are also used in fractions that are not ''common'', including compound fractions, complex fractions, and mixed numerals. In positive common fractions, the numerator and denominator are natural numbers. The numerator represents a number of equal parts, and the denominator indicates how many of those parts make up a unit or a whole. The denominator cannot be zero, because zero parts can never make up a whole. For example, in the fraction , the numerator 3 indicates that the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Weyl Group
In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections through the hyperplanes orthogonal to the roots, and as such is a finite reflection group. In fact it turns out that ''most'' finite reflection groups are Weyl groups. Abstractly, Weyl groups are finite Coxeter groups, and are important examples of these. The Weyl group of a semisimple Lie group, a semisimple Lie algebra, a semisimple linear algebraic group, etc. is the Weyl group of the root system of that group or algebra. Definition and examples Let \Phi be a root system in a Euclidean space V. For each root \alpha\in\Phi, let s_\alpha denote the reflection about the hyperplane perpendicular to \alpha, which is given explicitly as :s_\alpha(v)=v-2\frac\alpha, where (\cdot,\cdot) is the inner product on V. The Weyl group W of \Phi is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Cartan Subalgebra
In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra \mathfrak of a Lie algebra \mathfrak that is self-normalising (if ,Y\in \mathfrak for all X \in \mathfrak, then Y \in \mathfrak). They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra \mathfrak over a field of characteristic 0 . In a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero (e.g., a Cartan subalgebra is the same thing as a maximal abelian subalgebra consisting of elements ''x'' such that the adjoint endomorphism \operatorname(x) : \mathfrak \to \mathfrak is semisimple (i.e., diagonalizable). Sometimes this characterization is simply taken as the definition of a Cartan subalgebra.pg 231 In general, a subalgebra is called toral if it consists of semisimple elements. Over an algebraically closed field, a toral subalgebra is automatically abelian. Thus, over ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Infinite-dimensional
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension. For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say V is if the dimension of V is finite, and if its dimension is infinite. The dimension of the vector space V over the field F can be written as \dim_F(V) or as : F read "dimension of V over F". When F can be inferred from context, \dim(V) is typically written. Examples The vector space \R^3 has \left\ as a standard basis, and therefore \dim_(\R^3) = 3. More generally, \dim_(\R^n) = n, and even more generally, \dim_(F^n) = n for any field F. The complex numbers \Complex are both a real and complex vector space; we have ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Elliptic Modular Function
In mathematics, Felix Klein's -invariant or function, regarded as a function of a complex variable , is a modular function of weight zero for defined on the upper half-plane of complex numbers. It is the unique such function which is holomorphic away from a simple pole at the cusp such that :j\left(e^\right) = 0, \quad j(i) = 1728 = 12^3. Rational functions of are modular, and in fact give all modular functions. Classically, the -invariant was studied as a parameterization of elliptic curves over , but it also has surprising connections to the symmetries of the Monster group (this connection is referred to as monstrous moonshine). Definition The -invariant can be defined as a function on the upper half-plane :j(\tau) = 1728 \frac = 1728 \frac = 1728 \frac with the third definition implying j(\tau) can be expressed as a cube, also since 1728 = 12^3. The given functions are the modular discriminant \Delta(\tau) = g_2(\tau)^3 - 27g_3(\tau)^2 = (2\pi)^\,\eta^(\tau) ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]