|
Coarse Moduli Space
In mathematics, a moduli scheme is a moduli space that exists in the category of schemes developed by Alexander Grothendieck. Some important moduli problems of algebraic geometry can be satisfactorily solved by means of scheme theory alone, while others require some extension of the 'geometric object' concept (algebraic spaces, algebraic stacks of Michael Artin). History Work of Grothendieck and David Mumford (see geometric invariant theory) opened up this area in the early 1960s. The more algebraic and abstract approach to moduli problems is to set them up as a representable functor question, then apply a criterion that singles out the representable functors for schemes. When this programmatic approach works, the result is a ''fine moduli scheme''. Under the influence of more geometric ideas, it suffices to find a scheme that gives the correct geometric points. This is more like the classical idea that the moduli problem is to express the algebraic structure naturally coming w ... [...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] |
Geometric Invariant Theory
In mathematics, geometric invariant theory (or GIT) is a method for constructing quotients by Group action (mathematics), group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper in classical invariant theory. Geometric invariant theory studies an Group action (mathematics), action of a group on an algebraic variety (or scheme (mathematics), scheme) and provides techniques for forming the 'quotient' of by as a scheme with reasonable properties. One motivation was to construct moduli spaces in algebraic geometry as quotients of schemes parametrizing marked objects. In the 1970s and 1980s the theory developed interactions with symplectic geometry and equivariant topology, and was used to construct moduli spaces of objects in differential geometry, such as instantons and monopole (mathematics), monopoles. Background Invariant theory is concerned with a Group action (mathematics), group actio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Instanton Bundle
An instanton (or pseudoparticle) is a notion appearing in theoretical and mathematical physics. An instanton is a classical solution to equations of motion with a finite, non-zero action, either in quantum mechanics or in quantum field theory. More precisely, it is a solution to the equations of motion of the classical field theory on a Euclidean spacetime. In such quantum theories, solutions to the equations of motion may be thought of as critical points of the action. The critical points of the action may be local maxima of the action, local minima, or saddle points. Instantons are important in quantum field theory because: * they appear in the path integral as the leading quantum corrections to the classical behavior of a system, and * they can be used to study the tunneling behavior in various systems such as a Yang–Mills theory. Relevant to dynamics, families of instantons permit that instantons, i.e. different critical points of the equation of motion, be related to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semistable Vector Bundle
In mathematics, a stable vector bundle is a (holomorphic or algebraic) vector bundle that is stable in the sense of geometric invariant theory. Any holomorphic vector bundle may be built from stable ones using Harder–Narasimhan filtration. Stable bundles were defined by David Mumford in and later built upon by David Gieseker, Fedor Bogomolov, Thomas Bridgeland and many others. Motivation One of the motivations for analyzing stable vector bundles is their nice behavior in families. In fact, Moduli spaces of stable vector bundles can be constructed using the Quot scheme in many cases, whereas the stack of vector bundles \mathbfGL_n is an Artin stack whose underlying set is a single point. Here's an example of a family of vector bundles which degenerate poorly. If we tensor the Euler sequence of \mathbb^1 by \mathcal(1) there is an exact sequence0 \to \mathcal(-1) \to \mathcal\oplus \mathcal \to \mathcal(1) \to 0which represents a non-zero element in v \in \text^1(\mathcal(1),\m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Vector Bundle
In mathematics, a stable vector bundle is a (holomorphic or algebraic) vector bundle that is stable in the sense of geometric invariant theory. Any holomorphic vector bundle may be built from stable ones using Harder–Narasimhan filtration. Stable bundles were defined by David Mumford in and later built upon by David Gieseker, Fedor Bogomolov, Thomas Bridgeland and many others. Motivation One of the motivations for analyzing stable vector bundles is their nice behavior in families. In fact, Moduli spaces of stable vector bundles can be constructed using the Quot scheme in many cases, whereas the stack of vector bundles \mathbfGL_n is an Artin stack whose underlying set is a single point. Here's an example of a family of vector bundles which degenerate poorly. If we tensor the Euler sequence of \mathbb^1 by \mathcal(1) there is an exact sequence0 \to \mathcal(-1) \to \mathcal\oplus \mathcal \to \mathcal(1) \to 0which represents a non-zero element in v \in \text^1(\mathcal(1),\m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
étale Covering , or online commerce
{{disambig ...
In mathematics, more specifically in algebra, the adjective étale refers to several closely related concepts: * Étale morphism ** Formally étale morphism * Étale cohomology * Étale topology * Étale fundamental group * Étale group scheme * Étale algebra Other * Étale (mountain) in Savoie and Haute-Savoie, France See also * Étalé space * Etail Online shopping is a form of electronic commerce which allows consumers to directly buy goods or services from a seller over the Internet using a web browser or a mobile app. Consumers find a product of interest by visiting the website of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field Of Algebraic Numbers
An algebraic number is a number that is a root of a non-zero polynomial in one variable with integer (or, equivalently, rational) coefficients. For example, the golden ratio, (1 + \sqrt)/2, is an algebraic number, because it is a root of the polynomial . That is, it is a value for x for which the polynomial evaluates to zero. As another example, the complex number 1 + i is algebraic because it is a root of . All integers and rational numbers are algebraic, as are all roots of integers. Real and complex numbers that are not algebraic, such as and , are called transcendental numbers. The set of algebraic numbers is countably infinite and has measure zero in the Lebesgue measure as a subset of the uncountable complex numbers. In that sense, almost all complex numbers are transcendental. Examples * All rational numbers are algebraic. Any rational number, expressed as the quotient of an integer and a (non-zero) natural number , satisfies the above definition, because is the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Belyi's Theorem
In mathematics, Belyi's theorem on algebraic curves states that any non-singular algebraic curve ''C'', defined by algebraic number coefficients, represents a compact Riemann surface which is a ramified covering of the Riemann sphere, ramified at three points only. This is a result of G. V. Belyi from 1979. At the time it was considered surprising, and it spurred Grothendieck to develop his theory of dessins d'enfant, which describes non-singular algebraic curves over the algebraic numbers using combinatorial data. Quotients of the upper half-plane It follows that the Riemann surface in question can be taken to be the quotient :''H''/Γ (where ''H'' is the upper half-plane and Γ is a subgroup of finite index in the modular group) compactified by cusps. Since the modular group has non-congruence subgroups, it is ''not'' the conclusion that any such curve is a modular curve. Belyi functions A Belyi function is a holomorphic map from a compact Riemann surface ''S'' to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
János Kollár
János Kollár (born 7 June 1956) is a Hungarian mathematician, specializing in algebraic geometry. Professional career Kollár began his studies at the Eötvös University in Budapest and later received his PhD at Brandeis University in 1984 under the direction of Teruhisa Matsusaka with a thesis on canonical threefolds. He was Junior Fellow at Harvard University from 1984 to 1987 and professor at the University of Utah from 1987 until 1999. Currently, he is professor at Princeton University. Contributions Kollár is known for his contributions to the minimal model program for threefolds and hence the compactification of moduli of algebraic surfaces, for pioneering the notion of rational connectedness (''i.e.'' extending the theory of rationally connected varieties for varieties over the complex field to varieties over local fields), and finding counterexamples to a conjecture of John Nash. (In 1952 Nash conjectured a converse to a famous theorem he proved, and Kollár w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-projective
In mathematics, a quasi-projective variety in algebraic geometry is a locally closed subset of a projective variety, i.e., the intersection inside some projective space of a Zariski-open and a Zariski-closed subset. A similar definition is used in scheme theory, where a ''quasi-projective scheme'' is a locally closed subscheme of some projective space. Relationship to affine varieties An affine space is a Zariski-open subset of a projective space, and since any closed affine subset U can be expressed as an intersection of the projective completion \bar and the affine space embedded in the projective space, this implies that any affine variety is quasiprojective. There are locally closed subsets of projective space that are not affine, so that quasi-projective is more general than affine. Taking the complement of a single point in projective space of dimension at least 2 gives a non-affine quasi-projective variety. This is also an example of a quasi-projective variety that is neithe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Matsusaka's Big Theorem
In algebraic geometry, given an ample line bundle ''L'' on a compact complex manifold ''X'', Matsusaka's big theorem gives an integer ''m'', depending only on the Hilbert polynomial of ''L'', such that the tensor power ''L''''n'' is very ample for ''n'' ≥ ''m''. The theorem was proved by Teruhisa Matsusaka in 1972 and named by Lieberman and Mumford in 1975. The theorem has an application to the theory of Hilbert scheme In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a d ...s. Notes Algebraic geometry {{algebraic-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
