|
Stable Map
In mathematics, specifically in symplectic topology and algebraic geometry, one can construct the moduli space of stable maps, satisfying specified conditions, from Riemann surfaces into a given symplectic manifold. This moduli space is the essence of the Gromov–Witten invariants, which find application in enumerative geometry and type IIA string theory. The idea of stable map was proposed by Maxim Kontsevich around 1992 and published in . Because the construction is lengthy and difficult, it is carried out here rather than in the Gromov–Witten invariants article itself. The moduli space of smooth pseudoholomorphic curves Fix a closed symplectic manifold X with symplectic form \omega. Let g and n be natural numbers (including zero) and A a two-dimensional homology class in X. Then one may consider the set of pseudoholomorphic curves :((C, j), f, (x_1, \ldots, x_n))\, where (C, j) is a smooth, closed Riemann surface of genus g with n marked points x_1, \ldots, x_n, and :f : ... [...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] |
Euler Characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by \chi ( Greek lower-case letter chi). The Euler characteristic was originally defined for polyhedra and used to prove various theorems about them, including the classification of the Platonic solids. It was stated for Platonic solids in 1537 in an unpublished manuscript by Francesco Maurolico. Leonhard Euler, for whom the concept is named, introduced it for convex polyhedra more generally but failed to rigorously prove that it is an invariant. In modern mathematics, the Euler characteristic arises from homology and, more abstractly, homological algebra. Polyhedra The Euler characteristic \chi was classically defined for the surfaces of polyhedra, acc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all rational numbers, also referred to as "the rationals", the field of rationals or the field of rational numbers is usually denoted by boldface , or blackboard bold \mathbb. A rational number is a real number. The real numbers that are rational are those whose decimal expansion either terminates after a finite number of digits (example: ), or eventually begins to repeat the same finite sequence of digits over and over (example: ). This statement is true not only in base 10, but also in every other integer base, such as the binary and hexadecimal ones (see ). A real number that is not rational is called irrational. Irrational numbers include , , , and . Since the set of rational numbers is countable, and the set of real numbers is uncountable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deligne–Mumford Moduli Space Of Curves
In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem. The most basic problem is that of moduli of smooth complete curves of a fixed genus. Over the field of complex numbers these correspond precisely to compact Riemann surfaces of the given genus, for which Bernhard Riemann proved the first results about moduli spaces, in particular their dimensions ("number of parameters on which the complex structure depends"). Moduli stacks of stable curves The moduli stack \mathcal_ classifies families of smooth projective curves, together with their isomorphisms. When g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lp Space
In mathematics, the spaces are function spaces defined using a natural generalization of the Norm (mathematics)#p-norm, -norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue , although according to the Nicolas Bourbaki, Bourbaki group they were first introduced by Frigyes Riesz . spaces form an important class of Banach spaces in functional analysis, and of topological vector spaces. Because of their key role in the mathematical analysis of measure and probability spaces, Lebesgue spaces are used also in the theoretical discussion of problems in physics, statistics, economics, finance, engineering, and other disciplines. Applications Statistics In statistics, measures of central tendency and statistical dispersion, such as the mean, median, and standard deviation, are defined in terms of metrics, and measures of central tendency can be characterized as Central tendency#Solutions to variational problems, solutions to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topologic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. Definitions of orbifold have been given several times: by Ichirô Satake in the context of automorphic forms in the 1950s under the name ''V-manifold''; by William Thurston in the context of the geometry of 3-manifolds in the 1970s when he coined the name ''orbifold'', after a vote by his students; and by André Haefliger in the 1980s in the context of Mikhail Gromov's programme on CAT(k) spaces under the name ''orbihedron''. Historically, orbifolds arose first as surfaces with singular points long before they were formally defined. One of the first classical examples arose in the theory of modular forms with the action of the modular group \mathrm(2,\Z) on the upper half-plane: a version of the Riemann–Roch theorem holds after the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Regularity
In the theory of partial differential equations, a partial differential operator P defined on an open subset :U \subset^n is called hypoelliptic if for every distribution u defined on an open subset V \subset U such that Pu is C^\infty (smooth), u must also be C^\infty. If this assertion holds with C^\infty replaced by real-analytic, then P is said to be ''analytically hypoelliptic''. Every elliptic operator with C^\infty coefficients is hypoelliptic. In particular, the Laplacian is an example of a hypoelliptic operator (the Laplacian is also analytically hypoelliptic). In addition, the operator for the heat equation (P(u)=u_t - k\,\Delta u\,) :P= \partial_t - k\,\Delta_x\, (where k>0) is hypoelliptic but not elliptic. However, the operator for the wave equation The (two-way) wave equation is a second-order linear partial differential equation for the description of waves or standing wave fields — as they occur in classical physics — such as mechanical waves ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Banach Manifold
In mathematics, a Banach manifold is a manifold modeled on Banach spaces. Thus it is a topological space in which each point has a neighbourhood homeomorphic to an open set in a Banach space (a more involved and formal definition is given below). Banach manifolds are one possibility of extending manifolds to infinite dimensions. A further generalisation is to Fréchet manifolds, replacing Banach spaces by Fréchet spaces. On the other hand, a Hilbert manifold is a special case of a Banach manifold in which the manifold is locally modeled on Hilbert spaces. Definition Let X be a set. An atlas of class C^r, r \geq 0, on X is a collection of pairs (called charts) \left(U_i, \varphi_i\right), i \in I, such that # each U_i is a subset of X and the union of the U_i is the whole of X; # each \varphi_i is a bijection from U_i onto an open subset \varphi_i\left(U_i\right) of some Banach space E_i, and for any indices i \text j, \varphi_i\left(U_i \cap U_j\right) is open in E_i; # the c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sard's Theorem
In mathematics, Sard's theorem, also known as Sard's lemma or the Morse–Sard theorem, is a result in mathematical analysis that asserts that the set of critical values (that is, the image of the set of critical points) of a smooth function ''f'' from one Euclidean space or manifold to another is a null set, i.e., it has Lebesgue measure 0. This makes the set of critical values "small" in the sense of a generic property. The theorem is named for Anthony Morse and Arthur Sard. Statement More explicitly, let :f\colon \mathbb^n \rightarrow \mathbb^m be C^k, (that is, k times continuously differentiable), where k\geq \max\. Let X \subset \mathbb R^n denote the ''critical set'' of f, which is the set of points x\in \mathbb^n at which the Jacobian matrix of f has rank [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
