|
Umbral Moonshine
In mathematics, umbral moonshine is a mysterious connection between Niemeier lattices and Ramanujan's mock theta functions. It is a generalization of the Mathieu moonshine phenomenon connecting representations of the Mathieu group M24 with K3 surfaces. Mathieu moonshine The prehistory of Mathieu moonshine starts with a theorem of Mukai, asserting that any group of symplectic automorphisms of a K3 surface embeds in the Mathieu group M23. The moonshine observation arose from physical considerations: any K3 sigma-model conformal field theory has an action of the N=(4,4) superconformal algebra, arising from a hyperkähler structure. When computed the first few terms of the decomposition of the elliptic genus of a K3 CFT into characters of the N=(4,4) superconformal algebra, they found that the multiplicities matched well with simple combinations of representations of M24. However, by the Mukai–Kondo classification, there is no faithful action of this group on any K3 surfac ... [...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] |
Niemeier Lattice
In mathematics, a Niemeier lattice is one of the 24 positive definite even unimodular lattices of rank 24, which were classified by . gave a simplified proof of the classification. has a sentence mentioning that he found more than 10 such lattices, but gives no further details. One example of a Niemeier lattice is the Leech lattice. Classification Niemeier lattices are usually labelled by the Dynkin diagram of their root systems. These Dynkin diagrams have rank either 0 or 24, and all of their components have the same Coxeter number. (The Coxeter number, at least in these cases, is the number of roots divided by the dimension.) There are exactly 24 Dynkin diagrams with these properties, and there turns out to be a unique Niemeier lattice for each of these Dynkin diagrams. The complete list of Niemeier lattices is given in the following table. In the table, :''G''0 is the order of the group generated by reflections :''G''1 is the order of the group of automorphisms fixing a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mock Theta Function
In mathematics, a mock modular form is the holomorphic part of a harmonic weak Maass form, and a mock theta function is essentially a mock modular form of weight . The first examples of mock theta functions were described by Srinivasa Ramanujan in his last 1920 letter to G. H. Hardy and in his lost notebook. Sander Zwegers discovered that adding certain non-holomorphic functions to them turns them into harmonic weak Maass forms. History Ramanujan's 12 January 1920 letter to Hardy listed 17 examples of functions that he called mock theta functions, and his lost notebook contained several more examples. (Ramanujan used the term "theta function" for what today would be called a modular form.) Ramanujan pointed out that they have an asymptotic expansion at the cusps, similar to that of modular forms of weight , possibly with poles at cusps, but cannot be expressed in terms of "ordinary" theta functions. He called functions with similar properties "mock theta functions". Zwegers lat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathieu Group M24
In the area of modern algebra known as group theory, the Mathieu group ''M24'' is a sporadic simple group of order : 21033571123 = 244823040 : ≈ 2. History and properties ''M24'' is one of the 26 sporadic groups and was introduced by . It is a 5-transitive permutation group on 24 objects. The Schur multiplier and the outer automorphism group are both trivial. The Mathieu groups can be constructed in various ways. Initially, Mathieu and others constructed them as permutation groups. It was difficult to see that M24 actually existed, that its generators did not just generate the alternating group A24. The matter was clarified when Ernst Witt constructed M24 as the automorphism (symmetry) group of an S(5,8,24) Steiner system W24 (the Witt design). M24 is the group of permutations that map every block in this design to some other block. The subgroups M23 and M22 then are easily defined to be the stabilizers of a single point and a pair of points respectiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K3 Surface
In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface :x^4+y^4+z^4+w^4=0 in complex projective 3-space. Together with two-dimensional compact complex tori, K3 surfaces are the Calabi–Yau manifolds (and also the hyperkähler manifolds) of dimension two. As such, they are at the center of the classification of algebraic surfaces, between the positively curved del Pezzo surfaces (which are easy to classify) and the negatively curved surfaces of general type (which are essentially unclassifiable). K3 surfaces can be considered the simplest algebraic varieti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Superconformal Algebra
In theoretical physics, the superconformal algebra is a graded Lie algebra or superalgebra that combines the conformal algebra and supersymmetry. In two dimensions, the superconformal algebra is infinite-dimensional. In higher dimensions, superconformal algebras are finite-dimensional and generate the superconformal group (in two Euclidean dimensions, the Lie superalgebra does not generate any Lie supergroup). Superconformal algebra in dimension greater than 2 The conformal group of the (p+q)-dimensional space \mathbb^ is SO(p+1,q+1) and its Lie algebra is \mathfrak(p+1,q+1). The superconformal algebra is a Lie superalgebra containing the bosonic factor \mathfrak(p+1,q+1) and whose odd generators transform in spinor representations of \mathfrak(p+1,q+1). Given Kač's classification of finite-dimensional simple Lie superalgebras, this can only happen for small values of p and q. A (possibly incomplete) list is * \mathfrak^*(2N, 2,2) in 3+0D thanks to \mathfrak(2,2)\simeq\math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Faithful Action
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectomorphism
In mathematics, a symplectomorphism or symplectic map is an isomorphism in the category of symplectic manifolds. In classical mechanics, a symplectomorphism represents a transformation of phase space that is volume-preserving and preserves the symplectic structure of phase space, and is called a canonical transformation. Formal definition A diffeomorphism between two symplectic manifolds f: (M,\omega) \rightarrow (N,\omega') is called a symplectomorphism if :f^*\omega'=\omega, where f^* is the pullback of f. The symplectic diffeomorphisms from M to M are a (pseudo-)group, called the symplectomorphism group (see below). The infinitesimal version of symplectomorphisms gives the symplectic vector fields. A vector field X \in \Gamma^(TM) is called symplectic if :\mathcal_X\omega=0. Also, X is symplectic iff the flow \phi_t: M\rightarrow M of X is a symplectomorphism for every t. These vector fields build a Lie subalgebra of \Gamma^(TM). Here, \Gamma^(TM) is the set of smooth vector ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that defines a distance function for which the space is a complete metric space. The earliest Hilbert spaces were studied from this point of view in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the term ''Hilbert space'' for the abstract concept that under ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Miranda Cheng
Miranda Chih-Ning Cheng (Chinese: 程之寧; born 6 June 1979, Taipei) is a Taiwanese-born and Dutch-educated mathematician and theoretical physicist who works as an assistant professor at the University of Amsterdam.Curriculum vitae retrieved 2016-08-02. She is known for formulating the conjectures and for her work on the connections between s and .. ...
|
Leech Lattice
In mathematics, the Leech lattice is an even unimodular lattice Λ24 in 24-dimensional Euclidean space, which is one of the best models for the kissing number problem. It was discovered by . It may also have been discovered (but not published) by Ernst Witt in 1940. Characterization The Leech lattice Λ24 is the unique lattice in 24-dimensional Euclidean space, E24, with the following list of properties: *It is unimodular; i.e., it can be generated by the columns of a certain 24×24 matrix with determinant 1. *It is even; i.e., the square of the length of each vector in Λ24 is an even integer. *The length of every non-zero vector in Λ24 is at least 2. The last condition is equivalent to the condition that unit balls centered at the points of Λ24 do not overlap. Each is tangent to 196,560 neighbors, and this is known to be the largest number of non-overlapping 24-dimensional unit balls that can simultaneously touch a single unit ball. This arrangement of 196,560 un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
