HOME





Moduli Space
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme (mathematics), scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects (e.g., the smooth algebraic curves of a fixed genus (topology), genus) can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space. In this context, the term "modulus" is used synonymously with "parameter"; moduli spaces were first understood as spaces of parameters rather than as spaces of objects. A variant of moduli spaces is formal moduli. Bernhard Riemann first used the term "moduli" in 1857. Motivation Moduli spaces are spaces of solutions of geometric classification problems. That is, the points of a moduli space corr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Grassmannian
In mathematics, the Grassmannian \mathbf_k(V) (named in honour of Hermann Grassmann) is a differentiable manifold that parameterizes the set of all k-dimension (vector space), dimensional linear subspaces of an n-dimensional vector space V over a field (mathematics), field K that has a differentiable structure. For example, the Grassmannian \mathbf_1(V) is the space of lines through the origin in V, so it is the same as the projective space \mathbf(V) of one dimension lower than V. When V is a real number, real or complex number, complex vector space, Grassmannians are compact space, compact smooth manifolds, of dimension k(n-k). In general they have the structure of a nonsingular projective algebraic variety. The earliest work on a non-trivial Grassmannian is due to Julius Plücker, who studied the set of projective lines in real projective 3-space, which is equivalent to \mathbf_2(\mathbf^4), parameterizing them by what are now called Plücker coordinates. (See below.) Herma ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Modular Form
In mathematics, a modular form is a holomorphic function on the complex upper half-plane, \mathcal, that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modular forms has origins in complex analysis, with important connections with number theory. Modular forms also appear in other areas, such as algebraic topology, sphere packing, and string theory. Modular form theory is a special case of the more general theory of automorphic forms, which are functions defined on Lie groups that transform nicely with respect to the action of certain discrete subgroups, generalizing the example of the modular group \mathrm_2(\mathbb Z) \subset \mathrm_2(\mathbb R). Every modular form is attached to a Galois representation. The term "modular form", as a systematic description, is usually attributed to Erich Hecke. The importance of modular forms across multiple field of mathematics has been humorously re ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Elliptic Curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions for: :y^2 = x^3 + ax + b for some coefficients and in . The curve is required to be non-singular, which means that the curve has no cusps or self-intersections. (This is equivalent to the condition , that is, being square-free in .) It is always understood that the curve is really sitting in the projective plane, with the point being the unique point at infinity. Many sources define an elliptic curve to be simply a curve given by an equation of this form. (When the coefficient field has characteristic 2 or 3, the above equation is not quite general enough to include all non-singular cubic cu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Moduli Of Algebraic 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]  




Algebraic Space
In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer étale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the étale topology. The resulting category of algebraic spaces extends the category of schemes and allows one to carry out several natural constructions that are used in the construction of moduli spaces but are not always possible in the smaller category of schemes, such as taking the quotient of a free action by a finite group (cf. the Keel–Mori theorem). Definition There are two common ways to define algebraic spaces: they can be defined as either quotients ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Fibred Category
Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which ''inverse images'' (or ''pull-backs'') of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space ''X'' to another topological space ''Y'' is associated the pullback functor taking bundles on ''Y'' to bundles on ''X''. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar setups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibered categories are used to define stacks, which are fibered categories (over a site) with "descent". Fibrations also play an important role in categorical semantics of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In an algebraic structure such as a group, a ring, or vector space, an ''automorphism'' is simply a bijective homomorphism of an object into itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) More generally, for an object in some category, an automorphism is a morphism of the object to itself that has an inverse morphism; that is, a morphism f: X\to X is an automorphism if there is a morphism g: X\to X such that g\circ f= f\circ g = \operatorname _X, where \operatorname _X is the identity ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Representable Functor
In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i.e. sets and functions) allowing one to utilize, as much as possible, knowledge about the category of sets in other settings. From another point of view, representable functors for a category ''C'' are the functors ''given'' with ''C''. Their theory is a vast generalisation of upper sets in posets, and Yoneda's representability theorem generalizes Cayley's theorem in group theory. Definition Let C be a locally small category and let Set be the category of sets. For each object ''A'' of C let Hom(''A'',–) be the hom functor that maps object ''X'' to the set Hom(''A'',''X''). A functor ''F'' : C → Set is said to be representable if it is naturally isomorphic to Hom(''A'',–) for some object ''A'' of C. A representation of ''F'' is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Pullback (category Theory)
In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit (category theory), limit of a diagram (category theory), diagram consisting of two morphisms and with a common codomain. The pullback is written :. Usually the morphisms and are omitted from the notation, and then the pullback is written :. The pullback comes equipped with two natural morphisms and . The pullback of two morphisms and need not exist, but if it does, it is essentially uniquely defined by the two morphisms. In many situations, may intuitively be thought of as consisting of pairs of elements with in , in , and . For the general definition, a universal property is used, which essentially expresses the fact that the pullback is the "most general" way to complete the two given morphisms to a commutative diagram, commutative square. The Dual (category theory), dual concept of the pullback is the ''Pushout ( ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Universal Bundle
In mathematics, the universal bundle in the theory of fiber bundles with structure group a given topological group , is a specific bundle over a classifying space , such that every bundle with the given structure group over is a pullback by means of a continuous map . Existence of a universal bundle In the CW complex category When the definition of the classifying space takes place within the homotopy category of CW complexes, existence theorems for universal bundles arise from Brown's representability theorem. For compact Lie groups We will first prove: :Proposition. Let be a compact Lie group. There exists a contractible space on which acts freely. The projection is a -principal fibre bundle. Proof. There exists an injection of into a unitary group for big enough. If we find then we can take to be . The construction of is given in classifying space for . The following Theorem is a corollary of the above Proposition. :Theorem. If is a paracompact manifold and i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Tautological Bundle
In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of k- dimensional subspaces of V, given a point in the Grassmannian corresponding to a k-dimensional vector subspace W \subseteq V, the fiber over W is the subspace W itself. In the case of projective space the tautological bundle is known as the tautological line bundle. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles. Because of this, the tautological bundle is important in the study of characteristic classes. Tautological bundles are constructed both in algebraic topology and in algebraic geometry. In algebraic geometry, the tautological line bundle (as invertible sheaf) is :\mathcal_(-1), the dual of the hyperplane bundle or Serre's twisting sheaf \mathcal_(1). The hyp ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]